Cosine of a difference of angles