/ 1 for Or(And(a = 0, b = 0), And(a = 0, a = b, b = 0), And(a = 0, a = -b, b = 0), And(a = 0, a = -b, a = b, b = 0))
|
| 2 2
|cos (b) sin (b) cos(b)*sin(b)
|------- + ------- + ------------- for Or(And(a = 0, a = -b), And(a = 0, a = b), And(a = -b, a = b), And(a = b, b = 0), And(a = -b, b = 0), And(a = 0, a = -b, a = b), And(a = -b, a = b, b = 0), a = -b, a = b)
< 2 2 2*b
|
|a*cos(b)*sin(a) b*cos(a)*sin(b)
|--------------- - --------------- otherwise
| 2 2 2 2
\ a - b a - b
{ 1 for ( a = 0 ∧ b = 0 ) ∨ ( a = 0 ∧ a = b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ a = b ∧ b = 0 ) sin 2 ( b ) 2 + cos 2 ( b ) 2 + sin ( b ) cos ( b ) 2 b for ( a = 0 ∧ a = − b ) ∨ ( a = 0 ∧ a = b ) ∨ ( a = − b ∧ a = b ) ∨ ( a = b ∧ b = 0 ) ∨ ( a = − b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ a = b ) ∨ ( a = − b ∧ a = b ∧ b = 0 ) ∨ a = − b ∨ a = b a sin ( a ) cos ( b ) a 2 − b 2 − b sin ( b ) cos ( a ) a 2 − b 2 otherwise \begin{cases} 1 & \text{for}\: \left(a = 0 \wedge b = 0\right) \vee \left(a = 0 \wedge a = b \wedge b = 0\right) \vee \left(a = 0 \wedge a = - b \wedge b = 0\right) \vee \left(a = 0 \wedge a = - b \wedge a = b \wedge b = 0\right) \\\frac{\sin^{2}{\left(b \right)}}{2} + \frac{\cos^{2}{\left(b \right)}}{2} + \frac{\sin{\left(b \right)} \cos{\left(b \right)}}{2 b} & \text{for}\: \left(a = 0 \wedge a = - b\right) \vee \left(a = 0 \wedge a = b\right) \vee \left(a = - b \wedge a = b\right) \vee \left(a = b \wedge b = 0\right) \vee \left(a = - b \wedge b = 0\right) \vee \left(a = 0 \wedge a = - b \wedge a = b\right) \vee \left(a = - b \wedge a = b \wedge b = 0\right) \vee a = - b \vee a = b \\\frac{a \sin{\left(a \right)} \cos{\left(b \right)}}{a^{2} - b^{2}} - \frac{b \sin{\left(b \right)} \cos{\left(a \right)}}{a^{2} - b^{2}} & \text{otherwise} \end{cases} ⎩ ⎨ ⎧ 1 2 s i n 2 ( b ) + 2 c o s 2 ( b ) + 2 b s i n ( b ) c o s ( b ) a 2 − b 2 a s i n ( a ) c o s ( b ) − a 2 − b 2 b s i n ( b ) c o s ( a ) for ( a = 0 ∧ b = 0 ) ∨ ( a = 0 ∧ a = b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ a = b ∧ b = 0 ) for ( a = 0 ∧ a = − b ) ∨ ( a = 0 ∧ a = b ) ∨ ( a = − b ∧ a = b ) ∨ ( a = b ∧ b = 0 ) ∨ ( a = − b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ a = b ) ∨ ( a = − b ∧ a = b ∧ b = 0 ) ∨ a = − b ∨ a = b otherwise
=
/ 1 for Or(And(a = 0, b = 0), And(a = 0, a = b, b = 0), And(a = 0, a = -b, b = 0), And(a = 0, a = -b, a = b, b = 0))
|
| 2 2
|cos (b) sin (b) cos(b)*sin(b)
|------- + ------- + ------------- for Or(And(a = 0, a = -b), And(a = 0, a = b), And(a = -b, a = b), And(a = b, b = 0), And(a = -b, b = 0), And(a = 0, a = -b, a = b), And(a = -b, a = b, b = 0), a = -b, a = b)
< 2 2 2*b
|
|a*cos(b)*sin(a) b*cos(a)*sin(b)
|--------------- - --------------- otherwise
| 2 2 2 2
\ a - b a - b
{ 1 for ( a = 0 ∧ b = 0 ) ∨ ( a = 0 ∧ a = b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ a = b ∧ b = 0 ) sin 2 ( b ) 2 + cos 2 ( b ) 2 + sin ( b ) cos ( b ) 2 b for ( a = 0 ∧ a = − b ) ∨ ( a = 0 ∧ a = b ) ∨ ( a = − b ∧ a = b ) ∨ ( a = b ∧ b = 0 ) ∨ ( a = − b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ a = b ) ∨ ( a = − b ∧ a = b ∧ b = 0 ) ∨ a = − b ∨ a = b a sin ( a ) cos ( b ) a 2 − b 2 − b sin ( b ) cos ( a ) a 2 − b 2 otherwise \begin{cases} 1 & \text{for}\: \left(a = 0 \wedge b = 0\right) \vee \left(a = 0 \wedge a = b \wedge b = 0\right) \vee \left(a = 0 \wedge a = - b \wedge b = 0\right) \vee \left(a = 0 \wedge a = - b \wedge a = b \wedge b = 0\right) \\\frac{\sin^{2}{\left(b \right)}}{2} + \frac{\cos^{2}{\left(b \right)}}{2} + \frac{\sin{\left(b \right)} \cos{\left(b \right)}}{2 b} & \text{for}\: \left(a = 0 \wedge a = - b\right) \vee \left(a = 0 \wedge a = b\right) \vee \left(a = - b \wedge a = b\right) \vee \left(a = b \wedge b = 0\right) \vee \left(a = - b \wedge b = 0\right) \vee \left(a = 0 \wedge a = - b \wedge a = b\right) \vee \left(a = - b \wedge a = b \wedge b = 0\right) \vee a = - b \vee a = b \\\frac{a \sin{\left(a \right)} \cos{\left(b \right)}}{a^{2} - b^{2}} - \frac{b \sin{\left(b \right)} \cos{\left(a \right)}}{a^{2} - b^{2}} & \text{otherwise} \end{cases} ⎩ ⎨ ⎧ 1 2 s i n 2 ( b ) + 2 c o s 2 ( b ) + 2 b s i n ( b ) c o s ( b ) a 2 − b 2 a s i n ( a ) c o s ( b ) − a 2 − b 2 b s i n ( b ) c o s ( a ) for ( a = 0 ∧ b = 0 ) ∨ ( a = 0 ∧ a = b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ a = b ∧ b = 0 ) for ( a = 0 ∧ a = − b ) ∨ ( a = 0 ∧ a = b ) ∨ ( a = − b ∧ a = b ) ∨ ( a = b ∧ b = 0 ) ∨ ( a = − b ∧ b = 0 ) ∨ ( a = 0 ∧ a = − b ∧ a = b ) ∨ ( a = − b ∧ a = b ∧ b = 0 ) ∨ a = − b ∨ a = b otherwise
Piecewise((1, ((a = 0)∧(b = 0))∨((a = 0)∧(a = b)∧(b = 0))∨((a = 0)∧(b = 0)∧(a = -b))∨((a = 0)∧(a = b)∧(b = 0)∧(a = -b))), (cos(b)^2/2 + sin(b)^2/2 + cos(b)*sin(b)/(2*b), (a = b)∨(a = -b)∨((a = 0)∧(a = b))∨((a = b)∧(b = 0))∨((a = 0)∧(a = -b))∨((a = b)∧(a = -b))∨((b = 0)∧(a = -b))∨((a = 0)∧(a = b)∧(a = -b))∨((a = b)∧(b = 0)∧(a = -b))), (a*cos(b)*sin(a)/(a^2 - b^2) - b*cos(a)*sin(b)/(a^2 - b^2), True))