t9=C_a_i_flonum_times(&a,2,t6,t6);
t10=C_a_i_flonum_times(&a,2,t7,t7);
t11=C_a_i_flonum_difference(&a,2,t9,t10);
av2[1]=C_a_i_flonum_plus(&a,2,t11,t8);