Mul Pow atanh Mul x0 cosh Mul tanh x0 x0 -2 Add 3.52532008581609 Mul pi E 
Mul Add 3.52532008581609 Mul pi E Mul Pow atanh Mul x0 cosh Mul tanh x0 x0 3 Mul -2 Mul Add cosh Mul tanh x0 x0 Mul x0 Mul sinh Mul tanh x0 x0 Add Mul x0 Pow sech x0 2 tanh x0 Pow Add 1 Mul -1 Mul Mul x0 cosh Mul tanh x0 x0 Mul x0 cosh Mul tanh x0 x0 -1 