dsolve({diff(x(t),t) = y(t)^2-cos(x(t)), diff(y(t),t) = -y(t)*sin(x(t))})