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