Pow x7 Add Mul atan x6 Pow log x0 Pow Pow x0 -1 -3 Pow Pow acot Add x3 6 x1 x0 
Mul Pow x7 Add Add Mul atan x6 Pow log x0 Pow Pow x0 -1 -3 Pow Pow acot Add x3 6 x1 x0 -1 Mul Mul x7 log x7 Add Mul atan x6 Mul Pow log x0 Add Pow Pow x0 -1 -3 -1 Add Mul Pow Pow x0 -1 -3 Pow x0 -1 Mul Mul log x0 log log x0 Mul Pow Pow x0 -1 4 Mul -3 Mul Pow x0 2 -1 Mul Pow Pow acot Add x3 6 x1 Add x0 -1 Mul Pow acot Add x3 6 x1 log Pow acot Add x3 6 x1 