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