$${sin'(x) = cos(x)}$$