F(x) such that F'(x) = cos x and F(0) = 3