Show tan3x = (3 tanx - tan^3x)/(1 - 3 tan^2x)