\frac{d}{dx} sin x = cos x