Pow acot x6 Pow Pow Pow x3 x0 x0 x0 
Mul Pow acot x6 Add Pow Pow Pow x3 x0 x0 x0 -1 Mul Mul acot x6 log acot x6 Mul Pow Pow Pow x3 x0 x0 Add x0 -1 Add Mul x0 Mul Pow Pow x3 x0 Add x0 -1 Add Mul x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x3 x0 log Pow x3 x0 Mul Pow Pow x3 x0 x0 log Pow Pow x3 x0 x0 