Symbol: nn_compute_redc1_coefs