acosh Mul cosh Mul Add E x0 x4 Mul 5 x0 
Mul Add Mul Mul 5 x0 Mul sinh Mul Add E x0 x4 x4 Mul cosh Mul Add E x0 x4 5 Pow Mul sqrt Add Mul cosh Mul Add E x0 x4 Mul 5 x0 -1 sqrt Add 1 Mul cosh Mul Add E x0 x4 Mul 5 x0 -1 