Mul 3 Add x0 acos Pow x0 Pow Add x0 2 acosh E 
Mul 3 Add 1 Mul -1 Mul Mul Pow x0 Add Pow Add x0 2 acosh E -1 Add Pow Add x0 2 acosh E Mul Mul x0 log x0 Mul Pow Add x0 2 Add acosh E -1 acosh E Pow sqrt Add 1 Mul -1 Mul Pow x0 Pow Add x0 2 acosh E Pow x0 Pow Add x0 2 acosh E -1 