Mul Pow x0 Add -1 Mul Mul 3 Add Mul x0 x0 4 Pow tan acot Add Mul pi Add x3 x0 -1 x0 -5 
Mul -5 Mul Pow x0 Add Add -1 Mul Mul 3 Add Mul x0 x0 4 Pow tan acot Add Mul pi Add x3 x0 -1 x0 -1 Add Add -1 Mul Mul 3 Add Mul x0 x0 4 Pow tan acot Add Mul pi Add x3 x0 -1 x0 Mul Mul x0 log x0 Add Mul Pow tan acot Add Mul pi Add x3 x0 -1 x0 Mul 3 Add x0 x0 Mul Mul 3 Add Mul x0 x0 4 Mul Pow tan acot Add Mul pi Add x3 x0 -1 Add x0 -1 Add Mul x0 Mul Pow sec acot Add Mul pi Add x3 x0 -1 2 Mul -1 Mul pi Pow Add 1 Mul Add Mul pi Add x3 x0 -1 Add Mul pi Add x3 x0 -1 -1 Mul tan acot Add Mul pi Add x3 x0 -1 log tan acot Add Mul pi Add x3 x0 -1 