Add 5 Pow sinh Add Mul asech Add atan exp Pow x5 x0 Mul x5 acosh x0 -4 Pow sec x0 pi -5 
Mul Pow sinh Add Mul asech Add atan exp Pow x5 x0 Mul x5 acosh x0 -4 Pow sec x0 pi 6 Mul -5 Mul cosh Add Mul asech Add atan exp Pow x5 x0 Mul x5 acosh x0 -4 Pow sec x0 pi Add Mul -4 Mul Add Mul Mul exp Pow x5 x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Add 1 Mul exp Pow x5 x0 exp Pow x5 x0 -1 Mul x5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul Add atan exp Pow x5 x0 Mul x5 acosh x0 Add atan exp Pow x5 x0 Mul x5 acosh x0 sqrt Add 1 Mul -1 Pow Mul Add atan exp Pow x5 x0 Mul x5 acosh x0 Add atan exp Pow x5 x0 Mul x5 acosh x0 -1 -1 Mul Pow sec x0 Add pi -1 Mul pi Mul tan x0 sec x0 