Lauseke on
cos
x
cos
y
.