Mul Add Pow Mul Mul -3 pi atan x0 Add -1 acot Add x0 x5 x0 -1 
Mul -1 Add Mul Pow Mul Mul -3 pi atan x0 Add Add -1 acot Add x0 x5 -1 Add Mul Add -1 acot Add x0 x5 Mul Mul -3 pi Pow Add 1 Mul x0 x0 -1 Mul Mul Mul Mul -3 pi atan x0 log Mul Mul -3 pi atan x0 Mul -1 Pow Add 1 Mul Add x0 x5 Add x0 x5 -1 1 