csch sqrt Mul Mul x0 Add x7 atan E -3 
Mul Mul Mul -1 coth sqrt Mul Mul x0 Add x7 atan E -3 csch sqrt Mul Mul x0 Add x7 atan E -3 Mul Pow Mul 2 sqrt Mul Mul x0 Add x7 atan E -3 -1 Mul -3 Add x7 atan E 