cos(x) xcos(y)-y