cosh acosh Mul Add x0 acsch x3 7.38905609893065 
Mul sinh acosh Mul Add x0 acsch x3 7.38905609893065 Mul 7.38905609893065 Pow Mul sqrt Add Mul Add x0 acsch x3 7.38905609893065 -1 sqrt Add 1 Mul Add x0 acsch x3 7.38905609893065 -1 