Add x0 Pow x4 acot Pow Pow log Add x7 3 x0 x0 
Add 1 Mul Pow x4 Add acot Pow Pow log Add x7 3 x0 x0 -1 Mul Mul x4 log x4 Mul -1 Mul Mul Pow Pow log Add x7 3 x0 Add x0 -1 Add Mul x0 Mul Pow log Add x7 3 Add x0 -1 Mul log Add x7 3 log log Add x7 3 Mul Pow log Add x7 3 x0 log Pow log Add x7 3 x0 Pow Add 1 Mul Pow Pow log Add x7 3 x0 x0 Pow Pow log Add x7 3 x0 x0 -1 