Simplify cos(x)-sin(x)tan(x)