Pow Mul x1 x0 acoth cosh Pow pi x0 
Mul Pow Mul x1 x0 Add acoth cosh Pow pi x0 -1 Add Mul acoth cosh Pow pi x0 x1 Mul Mul Mul x1 x0 log Mul x1 x0 Mul Mul sinh Pow pi x0 Mul Pow pi Add x0 -1 Mul pi log pi Pow Add 1 Mul -1 Mul cosh Pow pi x0 cosh Pow pi x0 -1 