Huge AKS speedup: binary segmentation for polynomial multiplication