Add x0 Add 1 Mul sqrt Mul x4 sech Pow pi log x0 acosh Mul -2 x2 
Add 1 Mul acosh Mul -2 x2 Mul Pow Mul 2 sqrt Mul x4 sech Pow pi log x0 -1 Mul x4 Mul Mul tanh Pow pi log x0 Mul -1 sech Pow pi log x0 Mul Pow pi Add log x0 -1 Mul Mul pi log pi Pow x0 -1 