felem_diff_zero107
felem_diff_zero107(beta, x_out);
felem_diff_zero107(ftmp4, ftmp3);
felem_diff_zero107(ftmp5, ftmp6);
felem_diff_zero107(ftmp3, x_out);