Lauseke on cos x cos y.