Pow Mul x0 sec Pow x7 exp tan Mul Add x0 Pow x0 acosh Pow x0 x4 x4 x7 
Mul Pow Mul x0 sec Pow x7 exp tan Mul Add x0 Pow x0 acosh Pow x0 x4 x4 Add x7 -1 Mul x7 Add sec Pow x7 exp tan Mul Add x0 Pow x0 acosh Pow x0 x4 x4 Mul x0 Mul Mul tan Pow x7 exp tan Mul Add x0 Pow x0 acosh Pow x0 x4 x4 sec Pow x7 exp tan Mul Add x0 Pow x0 acosh Pow x0 x4 x4 Mul Pow x7 Add exp tan Mul Add x0 Pow x0 acosh Pow x0 x4 x4 -1 Mul Mul x7 log x7 Mul exp tan Mul Add x0 Pow x0 acosh Pow x0 x4 x4 Mul Pow sec Mul Add x0 Pow x0 acosh Pow x0 x4 x4 2 Mul x4 Add 1 Mul Pow x0 Add acosh Pow x0 x4 -1 Add acosh Pow x0 x4 Mul Mul x0 log x0 Mul Mul Pow x0 Add x4 -1 x4 Pow Mul sqrt Add Pow x0 x4 -1 sqrt Add 1 Pow x0 x4 -1 