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