acot Pow Mul Pow acos E x0 0.995054753686730 x0 
Mul -1 Mul Mul Pow Mul Pow acos E x0 0.995054753686730 Add x0 -1 Add Mul x0 Mul 0.995054753686730 Mul Pow acos E Add x0 -1 Mul acos E log acos E Mul Mul Pow acos E x0 0.995054753686730 log Mul Pow acos E x0 0.995054753686730 Pow Add 1 Mul Pow Mul Pow acos E x0 0.995054753686730 x0 Pow Mul Pow acos E x0 0.995054753686730 x0 -1 