Mul Mul x3 Mul sqrt Pow Mul Add x0 x0 Mul -3 x0 Add acot x0 3125 x7 x1 
Mul x1 Mul x3 Mul x7 Mul Pow Mul 2 sqrt Pow Mul Add x0 x0 Mul -3 x0 Add acot x0 3125 -1 Mul Pow Mul Add x0 x0 Mul -3 x0 Add Add acot x0 3125 -1 Add Mul Add acot x0 3125 Add Mul Mul -3 x0 2 Mul Add x0 x0 -3 Mul Mul Mul Add x0 x0 Mul -3 x0 log Mul Add x0 x0 Mul -3 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 