acot Pow x1 Pow Mul exp Add x0 Mul x0 x2 x0 acos Add -1 E 
Mul -1 Mul Mul Pow x1 Add Pow Mul exp Add x0 Mul x0 x2 x0 acos Add -1 E -1 Mul Mul x1 log x1 Mul Pow Mul exp Add x0 Mul x0 x2 x0 Add acos Add -1 E -1 Mul acos Add -1 E Add Mul x0 Mul exp Add x0 Mul x0 x2 Add 1 x2 exp Add x0 Mul x0 x2 Pow Add 1 Mul Pow x1 Pow Mul exp Add x0 Mul x0 x2 x0 acos Add -1 E Pow x1 Pow Mul exp Add x0 Mul x0 x2 x0 acos Add -1 E -1 