Add x0 Add -3 Pow Mul x7 Pow Add Mul Mul pi 3.04283521277141 x0 acot x2 x0 x2 
Add 1 Mul Pow Mul x7 Pow Add Mul Mul pi 3.04283521277141 x0 acot x2 x0 Add x2 -1 Mul x2 Mul x7 Mul Pow Add Mul Mul pi 3.04283521277141 x0 acot x2 Add x0 -1 Add Mul x0 Mul pi 3.04283521277141 Mul Add Mul Mul pi 3.04283521277141 x0 acot x2 log Add Mul Mul pi 3.04283521277141 x0 acot x2 