acot Pow Mul -3 Add x0 acos Pow x1 1.29507576202311 x0 
Mul -1 Mul Mul Pow Mul -3 Add x0 acos Pow x1 1.29507576202311 Add x0 -1 Add Mul x0 -3 Mul Mul -3 Add x0 acos Pow x1 1.29507576202311 log Mul -3 Add x0 acos Pow x1 1.29507576202311 Pow Add 1 Mul Pow Mul -3 Add x0 acos Pow x1 1.29507576202311 x0 Pow Mul -3 Add x0 acos Pow x1 1.29507576202311 x0 -1 