fsquare_fsquare_times
fsquare_fsquare_times(a0, z, 1);
fsquare_fsquare_times(t00, a0, 2);
fsquare_fsquare_times(t00, a0, 1);
fsquare_fsquare_times(t00, b0, 5);
fsquare_fsquare_times(t01, b1, 10);
fsquare_fsquare_times(t01, c0, 20);
fsquare_fsquare_times(t01, b1, 50);
fsquare_fsquare_times(t0, c, 100);
fsquare_fsquare_times(x3, xxprime, 1);
fsquare_fsquare_times(zzzprime, zzprime, 1);
fsquare_fsquare_times(xx0, x, 1);
fsquare_fsquare_times(zz0, z, 1);