Pow Pow Mul x0 acosh Add sec x0 x7 x0 Add Mul x0 log Pow x5 Mul x0 -5 Mul x0 acos E 
Mul Pow Pow Mul x0 acosh Add sec x0 x7 x0 Add Add Mul x0 log Pow x5 Mul x0 -5 Mul x0 acos E -1 Add Mul Add Mul x0 log Pow x5 Mul x0 -5 Mul x0 acos E Mul Pow Mul x0 acosh Add sec x0 x7 Add x0 -1 Add Mul x0 Add acosh Add sec x0 x7 Mul x0 Mul Mul tan x0 sec x0 Pow Mul sqrt Add Add sec x0 x7 -1 sqrt Add 1 Add sec x0 x7 -1 Mul Mul x0 acosh Add sec x0 x7 log Mul x0 acosh Add sec x0 x7 Mul Mul Pow Mul x0 acosh Add sec x0 x7 x0 log Pow Mul x0 acosh Add sec x0 x7 x0 Add Add log Pow x5 Mul x0 -5 Mul x0 Mul Mul Pow x5 Add Mul x0 -5 -1 Mul Mul x5 log x5 -5 Pow Pow x5 Mul x0 -5 -1 acos E 