sinh cosh Mul Mul acos sec x0 Add x7 x0 acosh x0 
Mul cosh cosh Mul Mul acos sec x0 Add x7 x0 acosh x0 Mul sinh Mul Mul acos sec x0 Add x7 x0 acosh x0 Add Mul acosh x0 Add Mul Add x7 x0 Mul -1 Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul sec x0 sec x0 -1 acos sec x0 Mul Mul acos sec x0 Add x7 x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 