acosh Pow Add -2 x0 acosh Add Add Mul log x5 sqrt Add x0 x2 2 tanh Mul atan x0 x0 
Mul Mul Pow Add -2 x0 Add acosh Add Add Mul log x5 sqrt Add x0 x2 2 tanh Mul atan x0 x0 -1 Add acosh Add Add Mul log x5 sqrt Add x0 x2 2 tanh Mul atan x0 x0 Mul Mul Add -2 x0 log Add -2 x0 Mul Add Mul log x5 Pow Mul 2 sqrt Add x0 x2 -1 Mul Pow sech Mul atan x0 x0 2 Add Mul x0 Pow Add 1 Mul x0 x0 -1 atan x0 Pow Mul sqrt Add Add Add Mul log x5 sqrt Add x0 x2 2 tanh Mul atan x0 x0 -1 sqrt Add 1 Add Add Mul log x5 sqrt Add x0 x2 2 tanh Mul atan x0 x0 -1 Pow Mul sqrt Add Pow Add -2 x0 acosh Add Add Mul log x5 sqrt Add x0 x2 2 tanh Mul atan x0 x0 -1 sqrt Add 1 Pow Add -2 x0 acosh Add Add Mul log x5 sqrt Add x0 x2 2 tanh Mul atan x0 x0 -1 