sech Add Mul x0 exp Mul x0 Add -5 Pow x0 sec x6 atan acosh x5 
Mul Mul tanh Add Mul x0 exp Mul x0 Add -5 Pow x0 sec x6 atan acosh x5 Mul -1 sech Add Mul x0 exp Mul x0 Add -5 Pow x0 sec x6 atan acosh x5 Add exp Mul x0 Add -5 Pow x0 sec x6 Mul x0 Mul exp Mul x0 Add -5 Pow x0 sec x6 Add Add -5 Pow x0 sec x6 Mul x0 Mul Pow x0 Add sec x6 -1 sec x6 