Le formule di Werner trasformano un prodotto di seni e coseni in una somma; le formule di prostaferesi compiono il movimento inverso, da somma a prodotto. Entrambe si ricavano dalle formule di addizione e sono strumenti preziosi: la prostaferesi, in particolare, permette di scomporre in fattori una somma di funzioni goniometriche, riducendo molte equazioni alla legge di annullamento del prodotto.