fe_mul_ttt
fe_mul_ttt(&t0, &t0, &t1);
fe_mul_ttt(&t1, &t1, &t2);
fe_mul_ttt(&t1, &t2, &t1);
fe_mul_ttt(&t2, &t2, &t1);
fe_mul_ttt(&t2, &t3, &t2);
fe_mul_ttt(&t1, &t2, &t1);
fe_mul_ttt(&t2, &t2, &t1);
fe_mul_ttt(&t2, &t3, &t2);
fe_mul_ttt(&t1, &t2, &t1);
fe_mul_ttt(out, &t1, &t0);
fe_mul_ttt(&x2, &tmp1, &tmp0);
fe_mul_ttt(&z3, &x1, &z2);
fe_mul_ttt(&x2, &x2, &z2);