sinh Mul x0 cosh Pow asec Pow Mul x2 x0 x1 x0 
Mul cosh Mul x0 cosh Pow asec Pow Mul x2 x0 x1 x0 Add cosh Pow asec Pow Mul x2 x0 x1 x0 Mul x0 Mul sinh Pow asec Pow Mul x2 x0 x1 x0 Mul Pow asec Pow Mul x2 x0 x1 Add x0 -1 Add Mul x0 Mul Mul Pow Mul x2 x0 Add x1 -1 Mul x1 x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul x2 x0 x1 Pow Mul x2 x0 x1 -1 Pow Mul x2 x0 x1 Pow Mul x2 x0 x1 -1 Mul asec Pow Mul x2 x0 x1 log asec Pow Mul x2 x0 x1 