fe51_sq
fe51_sq(t0, z);
fe51_sq(t1, t0);
fe51_sq(t1, t1);
fe51_sq(t2, t0);
fe51_sq(t2, t1);
fe51_sq(t2, t2);
fe51_sq(t2, t1);
fe51_sq(t2, t2);
fe51_sq(t3, t2);
fe51_sq(t3, t3);
fe51_sq(t2, t2);
fe51_sq(t2, t1);
fe51_sq(t2, t2);
fe51_sq(t3, t2);
fe51_sq(t3, t3);
fe51_sq(t2, t2);
fe51_sq(t1, t1);
fe51_sq(tmp0, tmp1);
fe51_sq(tmp1, x2);
fe51_sq(z2, z2);
fe51_sq(x3, x3);