acot Mul x0 Add x0 Mul Pow Add x0 -3 x2 Add sin x0 pi 
Mul -1 Mul Add Add x0 Mul Pow Add x0 -3 x2 Add sin x0 pi Mul x0 Add 1 Add Mul Add sin x0 pi Mul Pow Add x0 -3 Add x2 -1 x2 Mul Pow Add x0 -3 x2 cos x0 Pow Add 1 Mul Mul x0 Add x0 Mul Pow Add x0 -3 x2 Add sin x0 pi Mul x0 Add x0 Mul Pow Add x0 -3 x2 Add sin x0 pi -1 