Mul Add Mul E x7 E Pow sqrt x0 acosh Add x0 x0 
Mul Add Mul E x7 E Mul Pow sqrt x0 Add acosh Add x0 x0 -1 Add Mul acosh Add x0 x0 Pow Mul 2 sqrt x0 -1 Mul Mul sqrt x0 log sqrt x0 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 