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