Triple-angle formula