/ 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 2
| cos (b) sin (b) cos(b)*sin(b)
|- ------- - ------- + ------------- 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 2 2*b
|
| 2 2
< cos (b) sin (b) cos(b)*sin(b)
| ------- + ------- - ------------- for Or(And(a = 0, a = b), And(a = b, b = 0), a = b)
| 2 2 2*b
|
| b*cos(b)*sin(a) a*cos(a)*sin(b)
| --------------- - --------------- otherwise
| 2 2 2 2
| a - b a - b
\
⎩⎨⎧0−2sin2(b)−2cos2(b)+2bsin(b)cos(b)2sin2(b)+2cos2(b)−2bsin(b)cos(b)−a2−b2asin(b)cos(a)+a2−b2bsin(a)cos(b)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=−bfor(a=0∧a=b)∨(a=b∧b=0)∨a=botherwise
=
/ 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 2
| cos (b) sin (b) cos(b)*sin(b)
|- ------- - ------- + ------------- 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 2 2*b
|
| 2 2
< cos (b) sin (b) cos(b)*sin(b)
| ------- + ------- - ------------- for Or(And(a = 0, a = b), And(a = b, b = 0), a = b)
| 2 2 2*b
|
| b*cos(b)*sin(a) a*cos(a)*sin(b)
| --------------- - --------------- otherwise
| 2 2 2 2
| a - b a - b
\
⎩⎨⎧0−2sin2(b)−2cos2(b)+2bsin(b)cos(b)2sin2(b)+2cos2(b)−2bsin(b)cos(b)−a2−b2asin(b)cos(a)+a2−b2bsin(a)cos(b)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=−bfor(a=0∧a=b)∨(a=b∧b=0)∨a=botherwise
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))), (-cos(b)^2/2 - sin(b)^2/2 + cos(b)*sin(b)/(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))), (cos(b)^2/2 + sin(b)^2/2 - cos(b)*sin(b)/(2*b), (a = b)∨((a = 0)∧(a = b))∨((a = b)∧(b = 0))), (b*cos(b)*sin(a)/(a^2 - b^2) - a*cos(a)*sin(b)/(a^2 - b^2), True))