Mul 32 csch sqrt Mul Pow sin x0 x7 atan x2 
Mul 32 Mul Mul Mul -1 coth sqrt Mul Pow sin x0 x7 atan x2 csch sqrt Mul Pow sin x0 x7 atan x2 Mul Pow Mul 2 sqrt Mul Pow sin x0 x7 atan x2 -1 Mul atan x2 Mul Pow sin x0 Add x7 -1 Mul x7 cos x0 