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