y' +y*cos(x) = sin(x) * cos(x) with y(0) = 1