Mul x0 sqrt exp Pow x0 Mul -4 acosh Add x0 5 
Add sqrt exp Pow x0 Mul -4 acosh Add x0 5 Mul x0 Mul Pow Mul 2 sqrt exp Pow x0 Mul -4 acosh Add x0 5 -1 Mul exp Pow x0 Mul -4 acosh Add x0 5 Mul Pow x0 Add Mul -4 acosh Add x0 5 -1 Add Mul -4 acosh Add x0 5 Mul Mul x0 log x0 Mul -4 Pow Mul sqrt Add Add x0 5 -1 sqrt Add 1 Add x0 5 -1 