Mul x0 Mul Pow x0 acot Add Mul pi Mul Add x6 x0 x7 3 x5 
Add Mul Pow x0 acot Add Mul pi Mul Add x6 x0 x7 3 x5 Mul x0 Mul x5 Mul Pow x0 Add acot Add Mul pi Mul Add x6 x0 x7 3 -1 Add acot Add Mul pi Mul Add x6 x0 x7 3 Mul Mul x0 log x0 Mul -1 Mul Mul pi x7 Pow Add 1 Mul Add Mul pi Mul Add x6 x0 x7 3 Add Mul pi Mul Add x6 x0 x7 3 -1 