acot Pow x7 Add acot x1 Pow x0 x1 
Mul -1 Mul Mul Pow x7 Add Add acot x1 Pow x0 x1 -1 Mul Mul x7 log x7 Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul Pow x7 Add acot x1 Pow x0 x1 Pow x7 Add acot x1 Pow x0 x1 -1 