Mul sqrt Mul x6 x7 sech Mul x0 Mul sinh x0 Pow pi x0 
Mul sqrt Mul x6 x7 Mul Mul tanh Mul x0 Mul sinh x0 Pow pi x0 Mul -1 sech Mul x0 Mul sinh x0 Pow pi x0 Add Mul sinh x0 Pow pi x0 Mul x0 Add Mul Pow pi x0 cosh x0 Mul sinh x0 Mul Pow pi Add x0 -1 Mul pi log pi 