diff((sin(x)%20*%20x%5E2)%20/%20(1%20%2B%20tan(cot(x))))
Want to compute something more complicated? Try a full Python/SymPy console at SymPy Live.