How do you find the differential dy of the function y=2x-cot^2x?