/ 1 for Or(And(a = 0, f = 0), And(a = 0, a = -I*f, f = 0), And(a = 0, a = I*f, f = 0), And(a = 0, a = -I*f, a = I*f, f = 0))
|
| I*f I*f I*f
| cos(f)*e e *sin(f) I*e *sin(f)
| ----------- + ----------- - ------------- for Or(And(a = 0, a = -I*f), And(a = -I*f, a = I*f), And(a = -I*f, f = 0), And(a = 0, a = -I*f, a = I*f), And(a = -I*f, a = I*f, f = 0), a = -I*f)
| 2 2*f 2
|
| -I*f -I*f -I*f
⎩⎨⎧1−2ieifsin(f)+2eifcos(f)+2feifsin(f)2ie−ifsin(f)+2e−ifcos(f)+2fe−ifsin(f)−a2ea+f2eaacos(f)+a2+f2a+a2ea+f2eafsin(f)for(a=0∧f=0)∨(a=0∧a=−if∧f=0)∨(a=0∧a=if∧f=0)∨(a=0∧a=−if∧a=if∧f=0)for(a=0∧a=−if)∨(a=−if∧a=if)∨(a=−if∧f=0)∨(a=0∧a=−if∧a=if)∨(a=−if∧a=if∧f=0)∨a=−iffor(a=0∧a=if)∨(a=if∧f=0)∨a=ifotherwise
=
/ 1 for Or(And(a = 0, f = 0), And(a = 0, a = -I*f, f = 0), And(a = 0, a = I*f, f = 0), And(a = 0, a = -I*f, a = I*f, f = 0))
|
| I*f I*f I*f
| cos(f)*e e *sin(f) I*e *sin(f)
| ----------- + ----------- - ------------- for Or(And(a = 0, a = -I*f), And(a = -I*f, a = I*f), And(a = -I*f, f = 0), And(a = 0, a = -I*f, a = I*f), And(a = -I*f, a = I*f, f = 0), a = -I*f)
| 2 2*f 2
|
| -I*f -I*f -I*f
⎩⎨⎧1−2ieifsin(f)+2eifcos(f)+2feifsin(f)2ie−ifsin(f)+2e−ifcos(f)+2fe−ifsin(f)−a2ea+f2eaacos(f)+a2+f2a+a2ea+f2eafsin(f)for(a=0∧f=0)∨(a=0∧a=−if∧f=0)∨(a=0∧a=if∧f=0)∨(a=0∧a=−if∧a=if∧f=0)for(a=0∧a=−if)∨(a=−if∧a=if)∨(a=−if∧f=0)∨(a=0∧a=−if∧a=if)∨(a=−if∧a=if∧f=0)∨a=−iffor(a=0∧a=if)∨(a=if∧f=0)∨a=ifotherwise
Piecewise((1, ((a = 0)∧(f = 0))∨((a = 0)∧(f = 0)∧(a = i*f))∨((a = 0)∧(f = 0)∧(a = -i*f))∨((a = 0)∧(f = 0)∧(a = i*f)∧(a = -i*f))), (cos(f)*exp(i*f)/2 + exp(i*f)*sin(f)/(2*f) - i*exp(i*f)*sin(f)/2, (a = -i*f)∨((a = 0)∧(a = -i*f))∨((f = 0)∧(a = -i*f))∨((a = i*f)∧(a = -i*f))∨((a = 0)∧(a = i*f)∧(a = -i*f))∨((f = 0)∧(a = i*f)∧(a = -i*f))), (cos(f)*exp(-i*f)/2 + i*exp(-i*f)*sin(f)/2 + exp(-i*f)*sin(f)/(2*f), (a = i*f)∨((a = 0)∧(a = i*f))∨((f = 0)∧(a = i*f))), (a/(a^2 + f^2) + f*sin(f)/(a^2*exp(a) + f^2*exp(a)) - a*cos(f)/(a^2*exp(a) + f^2*exp(a)), True))