Pow Pow acot Mul -1 x6 x0 Mul x1 Mul -2 Pow x0 pi 
Mul Pow Pow acot Mul -1 x6 x0 Add Mul x1 Mul -2 Pow x0 pi -1 Add Mul Mul x1 Mul -2 Pow x0 pi Mul Pow acot Mul -1 x6 Add x0 -1 Mul acot Mul -1 x6 log acot Mul -1 x6 Mul Mul Pow acot Mul -1 x6 x0 log Pow acot Mul -1 x6 x0 Mul x1 Mul -2 Mul Pow x0 Add pi -1 pi 