/ 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))
|
| 2 2
| cos (b) sin (b) 2 2*cos(b) cos(b)*sin(b)
| 1 + ------- + ------- - - + -------- - ------------- for Or(And(a = 0, a = -I*b), And(a = 0, a = I*b), And(a = 0, a = -I*b, a = I*b), a = 0)
| 2 2 b b 2*b
|
| 2 2 -2*I*b -I*b
| cos (b) sin (b) -I*b I -I*b I*e cos(b)*sin(b) I*e *sin(b)
| ------- + ------- - e *sin(b) - --- + I*cos(b)*e + --------- - ------------- - -------------- for Or(And(a = -I*b, a = I*b), And(a = -I*b, b = 0), And(a = -I*b, a = I*b, b = 0), a = -I*b)
| 2 2 2*b 2*b 2*b b
|
| 2 2 2*I*b I*b
< cos (b) sin (b) I I*b I*b I*e cos(b)*sin(b) I*e *sin(b)
| ------- + ------- + --- - e *sin(b) - I*cos(b)*e - -------- - ------------- + ------------- for Or(And(a = I*b, b = 0), a = I*b)
| 2 2 2*b 2*b 2*b b
|
| 2*a
| 1 e
| - --- + ---- for b = 0
| 2*a 2*a
|
| 3 3 2*a 2 2 3 2 3 2 2 2*a 3 2 3 2 3 2 2 a 2 a
| b b *e b*a 4*a*b a*b *cos (b) a*b *sin (b) b*a *e b*a *cos (b) b*a *sin (b) a *cos(b)*sin(b) a*b *cos(b)*sin(b) 4*b*a *e *sin(b) 4*a*b *cos(b)*e
|- --------------- + --------------- - --------------- - --------------- + --------------- + --------------- + --------------- + --------------- + --------------- - ---------------- - ------------------ - ---------------- + ---------------- otherwise
| 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
\ 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a
⎩⎨⎧12sin2(b)+2cos2(b)+1−2bsin(b)cos(b)+b2cos(b)−b22sin2(b)+2cos2(b)−e−ibsin(b)+ie−ibcos(b)−2bsin(b)cos(b)−2bi−bie−ibsin(b)+2bie−2ib−eibsin(b)−ieibcos(b)+2sin2(b)+2cos2(b)−2bie2ib+bieibsin(b)−2bsin(b)cos(b)+2bi2ae2a−2a12a3b+2ab3a3bsin2(b)+2a3b+2ab3a3bcos2(b)−2a3b+2ab3a3sin(b)cos(b)+2a3b+2ab3a2be2a−2a3b+2ab34a2beasin(b)−2a3b+2ab3a2b+2a3b+2ab3ab3sin2(b)+2a3b+2ab3ab3cos2(b)+2a3b+2ab34ab2eacos(b)−2a3b+2ab3ab2sin(b)cos(b)−2a3b+2ab34ab2+2a3b+2ab3b3e2a−2a3b+2ab3b3for(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=0∧a=ib)∨(a=0∧a=−ib∧a=ib)∨a=0for(a=−ib∧a=ib)∨(a=−ib∧b=0)∨(a=−ib∧a=ib∧b=0)∨a=−ibfor(a=ib∧b=0)∨a=ibforb=0otherwise
=
/ 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))
|
| 2 2
| cos (b) sin (b) 2 2*cos(b) cos(b)*sin(b)
| 1 + ------- + ------- - - + -------- - ------------- for Or(And(a = 0, a = -I*b), And(a = 0, a = I*b), And(a = 0, a = -I*b, a = I*b), a = 0)
| 2 2 b b 2*b
|
| 2 2 -2*I*b -I*b
| cos (b) sin (b) -I*b I -I*b I*e cos(b)*sin(b) I*e *sin(b)
| ------- + ------- - e *sin(b) - --- + I*cos(b)*e + --------- - ------------- - -------------- for Or(And(a = -I*b, a = I*b), And(a = -I*b, b = 0), And(a = -I*b, a = I*b, b = 0), a = -I*b)
| 2 2 2*b 2*b 2*b b
|
| 2 2 2*I*b I*b
< cos (b) sin (b) I I*b I*b I*e cos(b)*sin(b) I*e *sin(b)
| ------- + ------- + --- - e *sin(b) - I*cos(b)*e - -------- - ------------- + ------------- for Or(And(a = I*b, b = 0), a = I*b)
| 2 2 2*b 2*b 2*b b
|
| 2*a
| 1 e
| - --- + ---- for b = 0
| 2*a 2*a
|
| 3 3 2*a 2 2 3 2 3 2 2 2*a 3 2 3 2 3 2 2 a 2 a
| b b *e b*a 4*a*b a*b *cos (b) a*b *sin (b) b*a *e b*a *cos (b) b*a *sin (b) a *cos(b)*sin(b) a*b *cos(b)*sin(b) 4*b*a *e *sin(b) 4*a*b *cos(b)*e
|- --------------- + --------------- - --------------- - --------------- + --------------- + --------------- + --------------- + --------------- + --------------- - ---------------- - ------------------ - ---------------- + ---------------- otherwise
| 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
\ 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a 2*a*b + 2*b*a
⎩⎨⎧12sin2(b)+2cos2(b)+1−2bsin(b)cos(b)+b2cos(b)−b22sin2(b)+2cos2(b)−e−ibsin(b)+ie−ibcos(b)−2bsin(b)cos(b)−2bi−bie−ibsin(b)+2bie−2ib−eibsin(b)−ieibcos(b)+2sin2(b)+2cos2(b)−2bie2ib+bieibsin(b)−2bsin(b)cos(b)+2bi2ae2a−2a12a3b+2ab3a3bsin2(b)+2a3b+2ab3a3bcos2(b)−2a3b+2ab3a3sin(b)cos(b)+2a3b+2ab3a2be2a−2a3b+2ab34a2beasin(b)−2a3b+2ab3a2b+2a3b+2ab3ab3sin2(b)+2a3b+2ab3ab3cos2(b)+2a3b+2ab34ab2eacos(b)−2a3b+2ab3ab2sin(b)cos(b)−2a3b+2ab34ab2+2a3b+2ab3b3e2a−2a3b+2ab3b3for(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=0∧a=ib)∨(a=0∧a=−ib∧a=ib)∨a=0for(a=−ib∧a=ib)∨(a=−ib∧b=0)∨(a=−ib∧a=ib∧b=0)∨a=−ibfor(a=ib∧b=0)∨a=ibforb=0otherwise
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))), (1 + cos(b)^2/2 + sin(b)^2/2 - 2/b + 2*cos(b)/b - cos(b)*sin(b)/(2*b), (a = 0)∨((a = 0)∧(a = i*b))∨((a = 0)∧(a = -i*b))∨((a = 0)∧(a = i*b)∧(a = -i*b))), (cos(b)^2/2 + sin(b)^2/2 - exp(-i*b)*sin(b) - i/(2*b) + i*cos(b)*exp(-i*b) + i*exp(-2*i*b)/(2*b) - cos(b)*sin(b)/(2*b) - i*exp(-i*b)*sin(b)/b, (a = -i*b)∨((b = 0)∧(a = -i*b))∨((a = i*b)∧(a = -i*b))∨((b = 0)∧(a = i*b)∧(a = -i*b))), (cos(b)^2/2 + sin(b)^2/2 + i/(2*b) - exp(i*b)*sin(b) - i*cos(b)*exp(i*b) - i*exp(2*i*b)/(2*b) - cos(b)*sin(b)/(2*b) + i*exp(i*b)*sin(b)/b, (a = i*b)∨((b = 0)∧(a = i*b))), (-1/(2*a) + exp(2*a)/(2*a), b = 0), (-b^3/(2*a*b^3 + 2*b*a^3) + b^3*exp(2*a)/(2*a*b^3 + 2*b*a^3) - b*a^2/(2*a*b^3 + 2*b*a^3) - 4*a*b^2/(2*a*b^3 + 2*b*a^3) + a*b^3*cos(b)^2/(2*a*b^3 + 2*b*a^3) + a*b^3*sin(b)^2/(2*a*b^3 + 2*b*a^3) + b*a^2*exp(2*a)/(2*a*b^3 + 2*b*a^3) + b*a^3*cos(b)^2/(2*a*b^3 + 2*b*a^3) + b*a^3*sin(b)^2/(2*a*b^3 + 2*b*a^3) - a^3*cos(b)*sin(b)/(2*a*b^3 + 2*b*a^3) - a*b^2*cos(b)*sin(b)/(2*a*b^3 + 2*b*a^3) - 4*b*a^2*exp(a)*sin(b)/(2*a*b^3 + 2*b*a^3) + 4*a*b^2*cos(b)*exp(a)/(2*a*b^3 + 2*b*a^3), True))