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