cosh cosh Add acosh x0 Mul x0 tan atanh Add asech x0 x6 
Mul sinh cosh Add acosh x0 Mul x0 tan atanh Add asech x0 x6 Mul sinh Add acosh x0 Mul x0 tan atanh Add asech x0 x6 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add tan atanh Add asech x0 x6 Mul x0 Mul Pow sec atanh Add asech x0 x6 2 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul Add asech x0 x6 Add asech x0 x6 -1 