Mul Pow x3 x0 Mul Add x3 acot Add Pow Mul pi Pow Mul x5 x0 x6 Add 3 x0 Mul Mul x3 5 Pow x5 x1 -3 
Add Mul Mul Add x3 acot Add Pow Mul pi Pow Mul x5 x0 x6 Add 3 x0 Mul Mul x3 5 Pow x5 x1 -3 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Pow x3 x0 Mul -3 Mul -1 Mul Mul Pow Mul pi Pow Mul x5 x0 x6 Add Add 3 x0 -1 Add Mul Add 3 x0 Mul pi Mul Pow Mul x5 x0 Add x6 -1 Mul x6 x5 Mul Mul pi Pow Mul x5 x0 x6 log Mul pi Pow Mul x5 x0 x6 Pow Add 1 Mul Add Pow Mul pi Pow Mul x5 x0 x6 Add 3 x0 Mul Mul x3 5 Pow x5 x1 Add Pow Mul pi Pow Mul x5 x0 x6 Add 3 x0 Mul Mul x3 5 Pow x5 x1 -1 