exp Pow x0 Pow Add -1 acosh acosh x0 sec x5 
Mul exp Pow x0 Pow Add -1 acosh acosh x0 sec x5 Mul Pow x0 Add Pow Add -1 acosh acosh x0 sec x5 -1 Add Pow Add -1 acosh acosh x0 sec x5 Mul Mul x0 log x0 Mul Pow Add -1 acosh acosh x0 Add sec x5 -1 Mul sec x5 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul sqrt Add acosh x0 -1 sqrt Add 1 acosh x0 -1 