exp Mul E Mul acosh Add -4 Add Mul Mul 4 Mul Mul 5 x0 -0.909297426825682 x0 E -5 
Mul exp Mul E Mul acosh Add -4 Add Mul Mul 4 Mul Mul 5 x0 -0.909297426825682 x0 E -5 Mul E Mul -5 Mul Add Mul x0 8.09070257317432 Mul 4 Mul Mul 5 x0 -0.909297426825682 Pow Mul sqrt Add Add -4 Add Mul Mul 4 Mul Mul 5 x0 -0.909297426825682 x0 E -1 sqrt Add 1 Add -4 Add Mul Mul 4 Mul Mul 5 x0 -0.909297426825682 x0 E -1 