sech Mul x0 Pow pi Add Mul pi x0 Add coth cos x1 x0 
Mul Mul tanh Mul x0 Pow pi Add Mul pi x0 Add coth cos x1 x0 Mul -1 sech Mul x0 Pow pi Add Mul pi x0 Add coth cos x1 x0 Add Pow pi Add Mul pi x0 Add coth cos x1 x0 Mul x0 Mul Pow pi Add Add Mul pi x0 Add coth cos x1 x0 -1 Mul Mul pi log pi Add pi 1 