Mul -4 Add tan Pow x0 sech acoth Mul acos x3 x0 5 
Mul -4 Mul Pow sec Pow x0 sech acoth Mul acos x3 x0 2 Mul Pow x0 Add sech acoth Mul acos x3 x0 -1 Add sech acoth Mul acos x3 x0 Mul Mul x0 log x0 Mul Mul tanh acoth Mul acos x3 x0 Mul -1 sech acoth Mul acos x3 x0 Mul acos x3 Pow Add 1 Mul -1 Mul Mul acos x3 x0 Mul acos x3 x0 -1 