/ 1 for Or(And(a = 0, b = 0), And(a = 0, a = -I*b, b = 0), And(a = 0, a = I*b, b = 0), And(a = 0, a = -I*b, a = I*b, b = 0))
|
| I*b I*b I*b
| I cos(b)*e I*e *sin(b) I*cos(b)*e
| --- + ----------- - ------------- - ------------- for Or(And(a = 0, a = -I*b), And(a = -I*b, a = I*b), And(a = -I*b, b = 0), And(a = 0, a = -I*b, a = I*b), And(a = -I*b, a = I*b, b = 0), a = -I*b)
| 2*b 2 2 2*b
|
| -I*b -I*b -I*b
⎩⎨⎧1−2ieibsin(b)+2eibcos(b)−2bieibcos(b)+2bi2ie−ibsin(b)+2e−ibcos(b)−2bi+2bie−ibcos(b)−a2ea+b2eaacos(b)+a2+b2a+a2ea+b2eabsin(b)for(a=0∧b=0)∨(a=0∧a=−ib∧b=0)∨(a=0∧a=ib∧b=0)∨(a=0∧a=−ib∧a=ib∧b=0)for(a=0∧a=−ib)∨(a=−ib∧a=ib)∨(a=−ib∧b=0)∨(a=0∧a=−ib∧a=ib)∨(a=−ib∧a=ib∧b=0)∨a=−ibfor(a=0∧a=ib)∨(a=ib∧b=0)∨a=ibotherwise
=
/ 1 for Or(And(a = 0, b = 0), And(a = 0, a = -I*b, b = 0), And(a = 0, a = I*b, b = 0), And(a = 0, a = -I*b, a = I*b, b = 0))
|
| I*b I*b I*b
| I cos(b)*e I*e *sin(b) I*cos(b)*e
| --- + ----------- - ------------- - ------------- for Or(And(a = 0, a = -I*b), And(a = -I*b, a = I*b), And(a = -I*b, b = 0), And(a = 0, a = -I*b, a = I*b), And(a = -I*b, a = I*b, b = 0), a = -I*b)
| 2*b 2 2 2*b
|
| -I*b -I*b -I*b
⎩⎨⎧1−2ieibsin(b)+2eibcos(b)−2bieibcos(b)+2bi2ie−ibsin(b)+2e−ibcos(b)−2bi+2bie−ibcos(b)−a2ea+b2eaacos(b)+a2+b2a+a2ea+b2eabsin(b)for(a=0∧b=0)∨(a=0∧a=−ib∧b=0)∨(a=0∧a=ib∧b=0)∨(a=0∧a=−ib∧a=ib∧b=0)for(a=0∧a=−ib)∨(a=−ib∧a=ib)∨(a=−ib∧b=0)∨(a=0∧a=−ib∧a=ib)∨(a=−ib∧a=ib∧b=0)∨a=−ibfor(a=0∧a=ib)∨(a=ib∧b=0)∨a=ibotherwise
Piecewise((1, ((a = 0)∧(b = 0))∨((a = 0)∧(b = 0)∧(a = i*b))∨((a = 0)∧(b = 0)∧(a = -i*b))∨((a = 0)∧(b = 0)∧(a = i*b)∧(a = -i*b))), (i/(2*b) + cos(b)*exp(i*b)/2 - i*exp(i*b)*sin(b)/2 - i*cos(b)*exp(i*b)/(2*b), (a = -i*b)∨((a = 0)∧(a = -i*b))∨((b = 0)∧(a = -i*b))∨((a = i*b)∧(a = -i*b))∨((a = 0)∧(a = i*b)∧(a = -i*b))∨((b = 0)∧(a = i*b)∧(a = -i*b))), (cos(b)*exp(-i*b)/2 - i/(2*b) + i*exp(-i*b)*sin(b)/2 + i*cos(b)*exp(-i*b)/(2*b), (a = i*b)∨((a = 0)∧(a = i*b))∨((b = 0)∧(a = i*b))), (a/(a^2 + b^2) + b*sin(b)/(a^2*exp(a) + b^2*exp(a)) - a*cos(b)/(a^2*exp(a) + b^2*exp(a)), True))