The functions sin : R → R and cos : R → R are everywhere
differentiable and
1:(sin x) ‘= cos x,
2:(cos x) ‘= −sin x