Mul x0 atan Mul -3 Add x1 Pow atan Add x0 x0 Add x0 Mul Pow 3 Mul x0 Add x0 x0 acot x2 
Add atan Mul -3 Add x1 Pow atan Add x0 x0 Add x0 Mul Pow 3 Mul x0 Add x0 x0 acot x2 Mul x0 Mul Mul -3 Mul Pow atan Add x0 x0 Add Add x0 Mul Pow 3 Mul x0 Add x0 x0 acot x2 -1 Add Mul Add x0 Mul Pow 3 Mul x0 Add x0 x0 acot x2 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul atan Add x0 x0 log atan Add x0 x0 Add 1 Mul acot x2 Mul Pow 3 Add Mul x0 Add x0 x0 -1 Mul 4.09861228866811 Add Add x0 x0 Mul x0 2 Pow Add 1 Mul Mul -3 Add x1 Pow atan Add x0 x0 Add x0 Mul Pow 3 Mul x0 Add x0 x0 acot x2 Mul -3 Add x1 Pow atan Add x0 x0 Add x0 Mul Pow 3 Mul x0 Add x0 x0 acot x2 -1 