Have you used this and got the answer? Just saying this because I tried doing tan^2(x) = .... (expanding the tan(x-a)tan(x-b)) and then subbing this tan squared value into tan2x = 2tanx / 1-tan^2(x) . It ends up like a mess up of terms of tanx, tana, tanb which seems unsolvable and it doesnt...