What is the antiderivative of h(x) = cos x?