Mul csch acosh pi Add Pow log pi x0 Mul 7 Pow tanh Mul x0 x0 Mul -2 x0 
Mul csch acosh pi Add Mul Pow log pi Add x0 -1 Mul log pi log log pi Mul 7 Mul Pow tanh Mul x0 x0 Add Mul -2 x0 -1 Add Mul Mul -2 x0 Mul Pow sech Mul x0 x0 2 Add x0 x0 Mul Mul tanh Mul x0 x0 log tanh Mul x0 x0 -2 