817   felem ftmp, ftmp2;  in felem_inv()  local
872   felem_reduce(ftmp2, tmp); /* 2^64 - 2^0 */  in felem_inv()
874     felem_square(tmp, ftmp2);  in felem_inv()
875     felem_reduce(ftmp2, tmp);  in felem_inv()
877   felem_mul(tmp, ftmp2, e16);  in felem_inv()
878   felem_reduce(ftmp2, tmp); /* 2^80 - 2^0 */  in felem_inv()
880     felem_square(tmp, ftmp2);  in felem_inv()
881     felem_reduce(ftmp2, tmp);  in felem_inv()
883   felem_mul(tmp, ftmp2, e8);  in felem_inv()
884   felem_reduce(ftmp2, tmp); /* 2^88 - 2^0 */  in felem_inv()
886     felem_square(tmp, ftmp2);  in felem_inv()
887     felem_reduce(ftmp2, tmp);  in felem_inv()
889   felem_mul(tmp, ftmp2, e4);  in felem_inv()
890   felem_reduce(ftmp2, tmp); /* 2^92 - 2^0 */  in felem_inv()
891   felem_square(tmp, ftmp2);  in felem_inv()
892   felem_reduce(ftmp2, tmp); /* 2^93 - 2^1 */  in felem_inv()
893   felem_square(tmp, ftmp2);  in felem_inv()
894   felem_reduce(ftmp2, tmp); /* 2^94 - 2^2 */  in felem_inv()
895   felem_mul(tmp, ftmp2, e2);  in felem_inv()
896   felem_reduce(ftmp2, tmp); /* 2^94 - 2^0 */  in felem_inv()
897   felem_square(tmp, ftmp2);  in felem_inv()
898   felem_reduce(ftmp2, tmp); /* 2^95 - 2^1 */  in felem_inv()
899   felem_square(tmp, ftmp2);  in felem_inv()
900   felem_reduce(ftmp2, tmp); /* 2^96 - 2^2 */  in felem_inv()
901   felem_mul(tmp, ftmp2, in);  in felem_inv()
902   felem_reduce(ftmp2, tmp); /* 2^96 - 3 */  in felem_inv()
904   felem_mul(tmp, ftmp2, ftmp);  in felem_inv()
925   felem delta, gamma, beta, alpha, ftmp, ftmp2;  in point_double()  local
930   felem_assign(ftmp2, x_in);  in point_double()
952   felem_sum(ftmp2, delta);  in point_double()
954   felem_scalar(ftmp2, 3);  in point_double()
956   felem_mul(tmp, ftmp, ftmp2);  in point_double()
1046   felem ftmp, ftmp2, ftmp3, ftmp4, ftmp5, ftmp6, x_out, y_out, z_out;  in point_add()  local
1065     felem_reduce(ftmp2, tmp);  in point_add()
1067     felem_shrink(small2, ftmp2);  in point_add()
1085     felem_sum(ftmp2, ftmp);  in point_add()
1087     felem_diff(ftmp5, ftmp2);  in point_add()
1092     felem_reduce(ftmp2, tmp);  in point_add()
1095     felem_mul(tmp, y1, ftmp2);  in point_add()
1161   felem_reduce(ftmp2, tmp);  in point_add()
1172   felem_sum(ftmp4, ftmp2);  in point_add()
1181   felem_mul(tmp2, ftmp6, ftmp2);  in point_add()