sinh Mul x0 acosh Mul Add x0 Add sec x1 x0 2 
Mul cosh Mul x0 acosh Mul Add x0 Add sec x1 x0 2 Add acosh Mul Add x0 Add sec x1 x0 2 Mul x0 Mul 4 Pow Mul sqrt Add Mul Add x0 Add sec x1 x0 2 -1 sqrt Add 1 Mul Add x0 Add sec x1 x0 2 -1 