Double angle cos. Dotatoc pet. Dott perone oculista. Double angle trig identities.