{\displaystyle \mathrm {coversin} \;\theta =1-\sin \theta }