In principle this could even be simplified to:

    -cos(x)*sec(x + y)*sin(y)