Pow x6 Pow Pow Mul cot atan x6 x0 x0 -2 
Mul Pow x6 Add Pow Pow Mul cot atan x6 x0 x0 -2 -1 Mul Mul x6 log x6 Mul Pow Pow Mul cot atan x6 x0 x0 3 Mul -2 Mul Pow Mul cot atan x6 x0 Add x0 -1 Add Mul x0 cot atan x6 Mul Mul cot atan x6 x0 log Mul cot atan x6 x0 