Double-angle formula