*** Welcome to piglix ***

Double-angle formulae

...