Prove the following: 23. tan 4x = 4tanx (1-tan^2x) / 1-6 tan^2 x + tan^4 x