Pow acoth Mul cosh pi x0 csch coth sinh Mul pi csch Mul 4 tanh x3 
Mul Pow acoth Mul cosh pi x0 Add csch coth sinh Mul pi csch Mul 4 tanh x3 -1 Mul csch coth sinh Mul pi csch Mul 4 tanh x3 Mul cosh pi Pow Add 1 Mul -1 Mul Mul cosh pi x0 Mul cosh pi x0 -1 