diff((sin(x) * x^2) / (1 + tan(cot(x))))