Brilliant.
guess you derive this result from the inspiration of 1988.A.5. haha. Two months ago I struggled to explain the wield phenomenon between the tannθ and the binomial expansion.(just forget to use complex numbers----though it's just the knowledge of FP2...