How do you prove #cot2x = (1+cos4x) / (sin4x)#?