sin Pow acos x0 asech Pow acosh Add acosh x7 Add exp sec x0 x4 x1 
Mul cos Pow acos x0 asech Pow acosh Add acosh x7 Add exp sec x0 x4 x1 Mul Pow acos x0 Add asech Pow acosh Add acosh x7 Add exp sec x0 x4 x1 -1 Add Mul asech Pow acosh Add acosh x7 Add exp sec x0 x4 x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acos x0 log acos x0 Mul Mul Pow acosh Add acosh x7 Add exp sec x0 x4 Add x1 -1 Mul x1 Mul Mul exp sec x0 Mul tan x0 sec x0 Pow Mul sqrt Add Add acosh x7 Add exp sec x0 x4 -1 sqrt Add 1 Add acosh x7 Add exp sec x0 x4 -1 Pow Mul Mul Pow acosh Add acosh x7 Add exp sec x0 x4 x1 Pow acosh Add acosh x7 Add exp sec x0 x4 x1 sqrt Add 1 Mul -1 Pow Mul Pow acosh Add acosh x7 Add exp sec x0 x4 x1 Pow acosh Add acosh x7 Add exp sec x0 x4 x1 -1 -1 