point_add_and_double
point_add_and_double(init1, p01_tmp11, tmp2);
point_add_and_double(init1, p01_tmp12, tmp2);