Find indefinite integral of $\cos x$ (#549)