cosh acosh Mul -0.523598775598299 Pow sec x1 Mul x0 x1 
Mul sinh acosh Mul -0.523598775598299 Pow sec x1 Mul x0 x1 Mul Mul -0.523598775598299 Mul Pow sec x1 Add Mul x0 x1 -1 Mul Mul sec x1 log sec x1 x1 Pow Mul sqrt Add Mul -0.523598775598299 Pow sec x1 Mul x0 x1 -1 sqrt Add 1 Mul -0.523598775598299 Pow sec x1 Mul x0 x1 -1 