Mul Pow x7 Mul cosh sec x0 asinh sec Mul Add -1 x0 x0 Add Add -2 x0 x0 
Add Mul Add Add -2 x0 x0 Mul Pow x7 Add Mul cosh sec x0 asinh sec Mul Add -1 x0 x0 -1 Mul Mul x7 log x7 Add Mul asinh sec Mul Add -1 x0 x0 Mul sinh sec x0 Mul tan x0 sec x0 Mul cosh sec x0 Mul Mul Mul tan Mul Add -1 x0 x0 sec Mul Add -1 x0 x0 Add x0 Add -1 x0 Pow sqrt Add 1 Mul sec Mul Add -1 x0 x0 sec Mul Add -1 x0 x0 -1 Mul Pow x7 Mul cosh sec x0 asinh sec Mul Add -1 x0 x0 2 