cosh acosh Mul asech Mul sqrt exp x0 3 1.55740772465490 
Mul sinh acosh Mul asech Mul sqrt exp x0 3 1.55740772465490 Mul Mul 1.55740772465490 Mul Mul 3 Mul Pow Mul 2 sqrt exp x0 -1 exp x0 Pow Mul Mul Mul sqrt exp x0 3 Mul sqrt exp x0 3 sqrt Add 1 Mul -1 Pow Mul Mul sqrt exp x0 3 Mul sqrt exp x0 3 -1 -1 Pow Mul sqrt Add Mul asech Mul sqrt exp x0 3 1.55740772465490 -1 sqrt Add 1 Mul asech Mul sqrt exp x0 3 1.55740772465490 -1 