TrigIdentity

Problem - 2293
Compute $$\sin^2 80^\circ -\sin^2 40^\circ +\sqrt{3}\sin 40^\circ \cos 80^\circ $$

report an error