atanh Mul Add -5 tan acoth exp Pow asec acosh Add log x0 E Pow x0 Add x0 x2 x4 
Mul Mul x4 Mul Pow sec acoth exp Pow asec acosh Add log x0 E Pow x0 Add x0 x2 2 Mul Mul exp Pow asec acosh Add log x0 E Pow x0 Add x0 x2 Mul Pow asec acosh Add log x0 E Add Pow x0 Add x0 x2 -1 Add Mul Pow x0 Add x0 x2 Mul Mul Pow x0 -1 Pow Mul sqrt Add Add log x0 E -1 sqrt Add 1 Add log x0 E -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acosh Add log x0 E acosh Add log x0 E -1 acosh Add log x0 E acosh Add log x0 E -1 Mul Mul asec acosh Add log x0 E log asec acosh Add log x0 E Mul Pow x0 Add Add x0 x2 -1 Add Add x0 x2 Mul x0 log x0 Pow Add 1 Mul -1 Mul exp Pow asec acosh Add log x0 E Pow x0 Add x0 x2 exp Pow asec acosh Add log x0 E Pow x0 Add x0 x2 -1 Pow Add 1 Mul -1 Mul Mul Add -5 tan acoth exp Pow asec acosh Add log x0 E Pow x0 Add x0 x2 x4 Mul Add -5 tan acoth exp Pow asec acosh Add log x0 E Pow x0 Add x0 x2 x4 -1 