csch Pow x3 sqrt Add x0 Add E x0 
Mul Mul Mul -1 coth Pow x3 sqrt Add x0 Add E x0 csch Pow x3 sqrt Add x0 Add E x0 Mul Pow x3 Add sqrt Add x0 Add E x0 -1 Mul Mul x3 log x3 Mul Pow Mul 2 sqrt Add x0 Add E x0 -1 2 