Pow Add x3 Mul Pow atan coth acoth x7 x0 sqrt Add x4 Add sin x0 -1 -4.67824944560336 
Mul Pow Add x3 Mul Pow atan coth acoth x7 x0 sqrt Add x4 Add sin x0 -1 -5.67824944560336 Mul -4.67824944560336 Add Mul sqrt Add x4 Add sin x0 -1 Mul Pow atan coth acoth x7 Add x0 -1 Mul atan coth acoth x7 log atan coth acoth x7 Mul Pow atan coth acoth x7 x0 Mul Pow Mul 2 sqrt Add x4 Add sin x0 -1 -1 cos x0 