acot Pow Add Pow E 2 -2 Mul Pow x0 Add Add x0 Mul -1 atan x2 x0 2 
Mul -1 Mul Mul Pow Add Pow E 2 -2 Add Mul Pow x0 Add Add x0 Mul -1 atan x2 x0 2 -1 Mul Mul Add Pow E 2 -2 log Add Pow E 2 -2 Mul 2 Mul Pow x0 Add Add Add x0 Mul -1 atan x2 x0 -1 Add Add Add x0 Mul -1 atan x2 x0 Mul Mul x0 log x0 2 Pow Add 1 Mul Pow Add Pow E 2 -2 Mul Pow x0 Add Add x0 Mul -1 atan x2 x0 2 Pow Add Pow E 2 -2 Mul Pow x0 Add Add x0 Mul -1 atan x2 x0 2 -1 