Pow Add x0 4 Pow x0 Mul Add atan x1 sech x7 sech acoth exp x0 
Mul Pow Add x0 4 Add Pow x0 Mul Add atan x1 sech x7 sech acoth exp x0 -1 Add Pow x0 Mul Add atan x1 sech x7 sech acoth exp x0 Mul Mul Add x0 4 log Add x0 4 Mul Pow x0 Add Mul Add atan x1 sech x7 sech acoth exp x0 -1 Add Mul Add atan x1 sech x7 sech acoth exp x0 Mul Mul x0 log x0 Mul Add atan x1 sech x7 Mul Mul tanh acoth exp x0 Mul -1 sech acoth exp x0 Mul exp x0 Pow Add 1 Mul -1 Mul exp x0 exp x0 -1 