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