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