How do you prove cosx - sinx - cos^3x/cosx = sin^2x - tanx?