Pow Add sqrt Add x0 x0 csch Pow x0 x3 atan x5 
Mul Pow Add sqrt Add x0 x0 csch Pow x0 x3 Add atan x5 -1 Mul atan x5 Add Mul Pow Mul 2 sqrt Add x0 x0 -1 2 Mul Mul Mul -1 coth Pow x0 x3 csch Pow x0 x3 Mul Pow x0 Add x3 -1 x3 