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