Mul Pow x5 x5 Mul x0 Add x0 exp Add atan x0 sec Mul x0 atanh Add acosh x0 E 
Mul Pow x5 x5 Add Add x0 exp Add atan x0 sec Mul x0 atanh Add acosh x0 E Mul x0 Add 1 Mul exp Add atan x0 sec Mul x0 atanh Add acosh x0 E Add Pow Add 1 Mul x0 x0 -1 Mul Mul tan Mul x0 atanh Add acosh x0 E sec Mul x0 atanh Add acosh x0 E Add atanh Add acosh x0 E Mul x0 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul -1 Mul Add acosh x0 E Add acosh x0 E -1 