solve x'=1+(cos(x))^2