derivative of cos(y) + 3 = xy^3 - 4x