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