log Mul Mul Mul Mul -2 x0 x0 tanh x0 cosh cos sqrt coth pi 
Mul Mul cosh cos sqrt coth pi Add Mul tanh x0 Add Mul x0 -2 Mul -2 x0 Mul Mul Mul -2 x0 x0 Pow sech x0 2 Pow Mul Mul Mul Mul -2 x0 x0 tanh x0 cosh cos sqrt coth pi -1 