Mul Mul x0 Mul sech x0 x1 Mul sqrt exp Pow pi atanh x0 -3 
Add Mul Mul sqrt exp Pow pi atanh x0 -3 Add Mul sech x0 x1 Mul x0 Mul x1 Mul tanh x0 Mul -1 sech x0 Mul Mul x0 Mul sech x0 x1 Mul -3 Mul Pow Mul 2 sqrt exp Pow pi atanh x0 -1 Mul exp Pow pi atanh x0 Mul Pow pi Add atanh x0 -1 Mul Mul pi log pi Pow Add 1 Mul -1 Mul x0 x0 -1 