Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/ein16/synth/d2/stash/results_ty.txt
ViewVC logotype

Diff of /branches/ein16/synth/d2/stash/results_ty.txt

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 4263, Mon Jul 25 23:52:25 2016 UTC revision 4272, Tue Jul 26 16:50:46 2016 UTC
# Line 82  Line 82 
82          -F_v3_d3|t_0__14_7_          -F_v3_d3|t_0__14_7_
83  slicet0_neg |0_15  slicet0_neg |0_15
84  slicet1_neg |0_16  slicet1_neg |0_16
85    addition_neg |0_17
86            -F_sc_d1,F_sc_d1|t_0__17_0_
87            -F_sc_d2,F_sc_d2|t_0__17_1_
88            -F_v2_d2,F_v2_d2|t_0__17_2_
89            -F_v3_d2,F_v3_d2|t_0__17_3_
90            -F_m2x2_d2,F_m2x2_d2|t_0__17_4_
91            -F_sc_d3,F_sc_d3|t_0__17_5_
92            -F_v2_d3,F_v2_d3|t_0__17_6_
93            -F_v3_d3,F_v3_d3|t_0__17_7_
94            -F_m2x2_d3,F_m2x2_d3|t_0__17_8_
95    subtraction_neg |0_18
96            -F_sc_d1,F_sc_d1|t_0__18_0_
97            -F_sc_d2,F_sc_d2|t_0__18_1_
98            -F_v2_d2,F_v2_d2|t_0__18_2_
99            -F_v3_d2,F_v3_d2|t_0__18_3_
100            -F_m2x2_d2,F_m2x2_d2|t_0__18_4_
101            -F_sc_d3,F_sc_d3|t_0__18_5_
102            -F_v2_d3,F_v2_d3|t_0__18_6_
103            -F_v3_d3,F_v3_d3|t_0__18_7_
104            -F_m2x2_d3,F_m2x2_d3|t_0__18_8_
105    cross product_neg |0_19
106            -F_v2_d2,F_v2_d2|t_0__19_2_
107            -F_v3_d3,F_v3_d3|t_0__19_7_
108    outer product_neg |0_20
109            -F_v2_d2,F_v2_d2|t_0__20_2_
110            -F_v3_d2,F_v2_d2|t_0__20_3_
111            -F_m2x2_d2,F_v2_d2|t_0__20_4_
112            -F_v2_d2,F_v3_d2|t_0__20_2_
113            -F_v3_d2,F_v3_d2|t_0__20_3_
114            -F_v2_d2,F_m2x2_d2|t_0__20_2_
115            -F_v2_d3,F_v2_d3|t_0__20_6_
116            -F_v3_d3,F_v2_d3|t_0__20_7_
117            -F_m2x2_d3,F_v2_d3|t_0__20_8_
118            -F_v2_d3,F_v3_d3|t_0__20_6_
119            -F_v3_d3,F_v3_d3|t_0__20_7_
120            -F_v2_d3,F_m2x2_d3|t_0__20_6_
121    inner product_neg |0_21
122            -F_v2_d2,F_v2_d2|t_0__21_2_
123            -F_m2x2_d2,F_v2_d2|t_0__21_4_
124            -F_v3_d2,F_v3_d2|t_0__21_3_
125            -F_v2_d2,F_m2x2_d2|t_0__21_2_
126            -F_m2x2_d2,F_m2x2_d2|t_0__21_4_
127            -F_v2_d3,F_v2_d3|t_0__21_6_
128            -F_m2x2_d3,F_v2_d3|t_0__21_8_
129            -F_v3_d3,F_v3_d3|t_0__21_7_
130            -F_v2_d3,F_m2x2_d3|t_0__21_6_
131            -F_m2x2_d3,F_m2x2_d3|t_0__21_8_
132    multiplication_neg |0_22
133            -F_sc_d1,F_sc_d1|t_0__22_0_
134            -F_sc_d2,F_sc_d2|t_0__22_1_
135            -F_v2_d2,F_sc_d2|t_0__22_2_
136            -F_v3_d2,F_sc_d2|t_0__22_3_
137            -F_m2x2_d2,F_sc_d2|t_0__22_4_
138            -F_sc_d2,F_v2_d2|t_0__22_1_
139            -F_sc_d2,F_v3_d2|t_0__22_1_
140            -F_sc_d2,F_m2x2_d2|t_0__22_1_
141            -F_sc_d3,F_sc_d3|t_0__22_5_
142            -F_v2_d3,F_sc_d3|t_0__22_6_
143            -F_v3_d3,F_sc_d3|t_0__22_7_
144            -F_m2x2_d3,F_sc_d3|t_0__22_8_
145            -F_sc_d3,F_v2_d3|t_0__22_5_
146            -F_sc_d3,F_v3_d3|t_0__22_5_
147            -F_sc_d3,F_m2x2_d3|t_0__22_5_
148    division_neg |0_23
149            -F_sc_d1,F_sc_d1|t_0__23_0_
150            -F_sc_d2,F_sc_d2|t_0__23_1_
151            -F_v2_d2,F_sc_d2|t_0__23_2_
152            -F_v3_d2,F_sc_d2|t_0__23_3_
153            -F_m2x2_d2,F_sc_d2|t_0__23_4_
154            -F_sc_d3,F_sc_d3|t_0__23_5_
155            -F_v2_d3,F_sc_d3|t_0__23_6_
156            -F_v3_d3,F_sc_d3|t_0__23_7_
157            -F_m2x2_d3,F_sc_d3|t_0__23_8_
158    modulate_neg |0_24
159            -F_v2_d2,F_v2_d2|t_0__24_2_
160            -F_v3_d2,F_v3_d2|t_0__24_3_
161            -F_m2x2_d2,F_m2x2_d2|t_0__24_4_
162            -F_v2_d3,F_v2_d3|t_0__24_6_
163            -F_v3_d3,F_v3_d3|t_0__24_7_
164            -F_m2x2_d3,F_m2x2_d3|t_0__24_8_
165    op_doubledot_neg |0_25
166            -F_m2x2_d2,F_m2x2_d2|t_0__25_4_
167            -F_m2x2_d3,F_m2x2_d3|t_0__25_8_
168    
169  norm |1  norm |1
170  neg_norm |1_0  neg_norm |1_0
# Line 146  Line 229 
229  slicev1_norm |1_14  slicev1_norm |1_14
230  slicet0_norm |1_15  slicet0_norm |1_15
231  slicet1_norm |1_16  slicet1_norm |1_16
232    addition_norm |1_17
233            -F_sc_d1,F_sc_d1|t_1__17_0_
234            -F_sc_d2,F_sc_d2|t_1__17_1_
235            -F_v2_d2,F_sc_d2|t_1__17_2_
236            -F_v3_d2,F_sc_d2|t_1__17_3_
237            -F_m2x2_d2,F_sc_d2|t_1__17_4_
238            -F_sc_d3,F_sc_d3|t_1__17_5_
239            -F_v2_d3,F_sc_d3|t_1__17_6_
240            -F_v3_d3,F_sc_d3|t_1__17_7_
241            -F_m2x2_d3,F_sc_d3|t_1__17_8_
242    subtraction_norm |1_18
243            -F_sc_d1,F_sc_d1|t_1__18_0_
244            -F_sc_d2,F_sc_d2|t_1__18_1_
245            -F_v2_d2,F_sc_d2|t_1__18_2_
246            -F_v3_d2,F_sc_d2|t_1__18_3_
247            -F_m2x2_d2,F_sc_d2|t_1__18_4_
248            -F_sc_d3,F_sc_d3|t_1__18_5_
249            -F_v2_d3,F_sc_d3|t_1__18_6_
250            -F_v3_d3,F_sc_d3|t_1__18_7_
251            -F_m2x2_d3,F_sc_d3|t_1__18_8_
252    cross product_norm |1_19
253    outer product_norm |1_20
254    inner product_norm |1_21
255    multiplication_norm |1_22
256            -F_sc_d1,F_sc_d1|t_1__22_0_
257            -F_sc_d2,F_sc_d2|t_1__22_1_
258            -F_v2_d2,F_sc_d2|t_1__22_2_
259            -F_v3_d2,F_sc_d2|t_1__22_3_
260            -F_m2x2_d2,F_sc_d2|t_1__22_4_
261            -F_sc_d2,F_v2_d2|t_1__22_1_
262            -F_v2_d2,F_v2_d2|t_1__22_2_
263            -F_v3_d2,F_v2_d2|t_1__22_3_
264            -F_m2x2_d2,F_v2_d2|t_1__22_4_
265            -F_sc_d2,F_v3_d2|t_1__22_1_
266            -F_v2_d2,F_v3_d2|t_1__22_2_
267            -F_v3_d2,F_v3_d2|t_1__22_3_
268            -F_m2x2_d2,F_v3_d2|t_1__22_4_
269            -F_sc_d2,F_m2x2_d2|t_1__22_1_
270            -F_v2_d2,F_m2x2_d2|t_1__22_2_
271            -F_v3_d2,F_m2x2_d2|t_1__22_3_
272            -F_m2x2_d2,F_m2x2_d2|t_1__22_4_
273            -F_sc_d3,F_sc_d3|t_1__22_5_
274            -F_v2_d3,F_sc_d3|t_1__22_6_
275            -F_v3_d3,F_sc_d3|t_1__22_7_
276            -F_m2x2_d3,F_sc_d3|t_1__22_8_
277            -F_sc_d3,F_v2_d3|t_1__22_5_
278            -F_v2_d3,F_v2_d3|t_1__22_6_
279            -F_v3_d3,F_v2_d3|t_1__22_7_
280            -F_m2x2_d3,F_v2_d3|t_1__22_8_
281            -F_sc_d3,F_v3_d3|t_1__22_5_
282            -F_v2_d3,F_v3_d3|t_1__22_6_
283            -F_v3_d3,F_v3_d3|t_1__22_7_
284            -F_m2x2_d3,F_v3_d3|t_1__22_8_
285            -F_sc_d3,F_m2x2_d3|t_1__22_5_
286            -F_v2_d3,F_m2x2_d3|t_1__22_6_
287            -F_v3_d3,F_m2x2_d3|t_1__22_7_
288            -F_m2x2_d3,F_m2x2_d3|t_1__22_8_
289    division_norm |1_23
290            -F_sc_d1,F_sc_d1|t_1__23_0_
291            -F_sc_d2,F_sc_d2|t_1__23_1_
292            -F_v2_d2,F_sc_d2|t_1__23_2_
293            -F_v3_d2,F_sc_d2|t_1__23_3_
294            -F_m2x2_d2,F_sc_d2|t_1__23_4_
295            -F_sc_d3,F_sc_d3|t_1__23_5_
296            -F_v2_d3,F_sc_d3|t_1__23_6_
297            -F_v3_d3,F_sc_d3|t_1__23_7_
298            -F_m2x2_d3,F_sc_d3|t_1__23_8_
299    modulate_norm |1_24
300    op_doubledot_norm |1_25
301    
302  normalize |2  normalize |2
303  neg_normalize |2_0  neg_normalize |2_0
# Line 228  Line 380 
380          -F_v3_d3|t_2__14_7_          -F_v3_d3|t_2__14_7_
381  slicet0_normalize |2_15  slicet0_normalize |2_15
382  slicet1_normalize |2_16  slicet1_normalize |2_16
383    addition_normalize |2_17
384            -F_sc_d1,F_sc_d1|t_2__17_0_
385            -F_sc_d2,F_sc_d2|t_2__17_1_
386            -F_v2_d2,F_v2_d2|t_2__17_2_
387            -F_v3_d2,F_v3_d2|t_2__17_3_
388            -F_m2x2_d2,F_m2x2_d2|t_2__17_4_
389            -F_sc_d3,F_sc_d3|t_2__17_5_
390            -F_v2_d3,F_v2_d3|t_2__17_6_
391            -F_v3_d3,F_v3_d3|t_2__17_7_
392            -F_m2x2_d3,F_m2x2_d3|t_2__17_8_
393    subtraction_normalize |2_18
394            -F_sc_d1,F_sc_d1|t_2__18_0_
395            -F_sc_d2,F_sc_d2|t_2__18_1_
396            -F_v2_d2,F_v2_d2|t_2__18_2_
397            -F_v3_d2,F_v3_d2|t_2__18_3_
398            -F_m2x2_d2,F_m2x2_d2|t_2__18_4_
399            -F_sc_d3,F_sc_d3|t_2__18_5_
400            -F_v2_d3,F_v2_d3|t_2__18_6_
401            -F_v3_d3,F_v3_d3|t_2__18_7_
402            -F_m2x2_d3,F_m2x2_d3|t_2__18_8_
403    cross product_normalize |2_19
404            -F_v2_d2,F_v2_d2|t_2__19_2_
405            -F_v3_d3,F_v3_d3|t_2__19_7_
406    outer product_normalize |2_20
407            -F_v2_d2,F_v2_d2|t_2__20_2_
408            -F_v3_d2,F_v2_d2|t_2__20_3_
409            -F_m2x2_d2,F_v2_d2|t_2__20_4_
410            -F_v2_d2,F_v3_d2|t_2__20_2_
411            -F_v3_d2,F_v3_d2|t_2__20_3_
412            -F_v2_d2,F_m2x2_d2|t_2__20_2_
413            -F_v2_d3,F_v2_d3|t_2__20_6_
414            -F_v3_d3,F_v2_d3|t_2__20_7_
415            -F_m2x2_d3,F_v2_d3|t_2__20_8_
416            -F_v2_d3,F_v3_d3|t_2__20_6_
417            -F_v3_d3,F_v3_d3|t_2__20_7_
418            -F_v2_d3,F_m2x2_d3|t_2__20_6_
419    inner product_normalize |2_21
420            -F_v2_d2,F_v2_d2|t_2__21_2_
421            -F_m2x2_d2,F_v2_d2|t_2__21_4_
422            -F_v3_d2,F_v3_d2|t_2__21_3_
423            -F_v2_d2,F_m2x2_d2|t_2__21_2_
424            -F_m2x2_d2,F_m2x2_d2|t_2__21_4_
425            -F_v2_d3,F_v2_d3|t_2__21_6_
426            -F_m2x2_d3,F_v2_d3|t_2__21_8_
427            -F_v3_d3,F_v3_d3|t_2__21_7_
428            -F_v2_d3,F_m2x2_d3|t_2__21_6_
429            -F_m2x2_d3,F_m2x2_d3|t_2__21_8_
430    multiplication_normalize |2_22
431            -F_sc_d1,F_sc_d1|t_2__22_0_
432            -F_sc_d2,F_sc_d2|t_2__22_1_
433            -F_v2_d2,F_sc_d2|t_2__22_2_
434            -F_v3_d2,F_sc_d2|t_2__22_3_
435            -F_m2x2_d2,F_sc_d2|t_2__22_4_
436            -F_sc_d2,F_v2_d2|t_2__22_1_
437            -F_sc_d2,F_v3_d2|t_2__22_1_
438            -F_sc_d2,F_m2x2_d2|t_2__22_1_
439            -F_sc_d3,F_sc_d3|t_2__22_5_
440            -F_v2_d3,F_sc_d3|t_2__22_6_
441            -F_v3_d3,F_sc_d3|t_2__22_7_
442            -F_m2x2_d3,F_sc_d3|t_2__22_8_
443            -F_sc_d3,F_v2_d3|t_2__22_5_
444            -F_sc_d3,F_v3_d3|t_2__22_5_
445            -F_sc_d3,F_m2x2_d3|t_2__22_5_
446    division_normalize |2_23
447            -F_sc_d1,F_sc_d1|t_2__23_0_
448            -F_sc_d2,F_sc_d2|t_2__23_1_
449            -F_v2_d2,F_sc_d2|t_2__23_2_
450            -F_v3_d2,F_sc_d2|t_2__23_3_
451            -F_m2x2_d2,F_sc_d2|t_2__23_4_
452            -F_sc_d3,F_sc_d3|t_2__23_5_
453            -F_v2_d3,F_sc_d3|t_2__23_6_
454            -F_v3_d3,F_sc_d3|t_2__23_7_
455            -F_m2x2_d3,F_sc_d3|t_2__23_8_
456    modulate_normalize |2_24
457            -F_v2_d2,F_v2_d2|t_2__24_2_
458            -F_v3_d2,F_v3_d2|t_2__24_3_
459            -F_m2x2_d2,F_m2x2_d2|t_2__24_4_
460            -F_v2_d3,F_v2_d3|t_2__24_6_
461            -F_v3_d3,F_v3_d3|t_2__24_7_
462            -F_m2x2_d3,F_m2x2_d3|t_2__24_8_
463    op_doubledot_normalize |2_25
464            -F_m2x2_d2,F_m2x2_d2|t_2__25_4_
465            -F_m2x2_d3,F_m2x2_d3|t_2__25_8_
466    
467  trace |3  trace |3
468  neg_trace |3_0  neg_trace |3_0
# Line 257  Line 492 
492  slicev1_trace |3_14  slicev1_trace |3_14
493  slicet0_trace |3_15  slicet0_trace |3_15
494  slicet1_trace |3_16  slicet1_trace |3_16
495    addition_trace |3_17
496            -F_m2x2_d2,F_sc_d2|t_3__17_0_
497            -F_m2x2_d3,F_sc_d3|t_3__17_1_
498    subtraction_trace |3_18
499            -F_m2x2_d2,F_sc_d2|t_3__18_0_
500            -F_m2x2_d3,F_sc_d3|t_3__18_1_
501    cross product_trace |3_19
502    outer product_trace |3_20
503    inner product_trace |3_21
504    multiplication_trace |3_22
505            -F_m2x2_d2,F_sc_d2|t_3__22_0_
506            -F_m2x2_d2,F_v2_d2|t_3__22_0_
507            -F_m2x2_d2,F_v3_d2|t_3__22_0_
508            -F_m2x2_d2,F_m2x2_d2|t_3__22_0_
509            -F_m2x2_d3,F_sc_d3|t_3__22_1_
510            -F_m2x2_d3,F_v2_d3|t_3__22_1_
511            -F_m2x2_d3,F_v3_d3|t_3__22_1_
512            -F_m2x2_d3,F_m2x2_d3|t_3__22_1_
513    division_trace |3_23
514            -F_m2x2_d2,F_sc_d2|t_3__23_0_
515            -F_m2x2_d3,F_sc_d3|t_3__23_1_
516    modulate_trace |3_24
517    op_doubledot_trace |3_25
518    
519  transpose |4  transpose |4
520  neg_transpose |4_0  neg_transpose |4_0
# Line 294  Line 552 
552  slicev1_transpose |4_14  slicev1_transpose |4_14
553  slicet0_transpose |4_15  slicet0_transpose |4_15
554  slicet1_transpose |4_16  slicet1_transpose |4_16
555    addition_transpose |4_17
556            -F_m2x2_d2,F_m2x2_d2|t_4__17_0_
557            -F_m2x2_d3,F_m2x2_d3|t_4__17_1_
558    subtraction_transpose |4_18
559            -F_m2x2_d2,F_m2x2_d2|t_4__18_0_
560            -F_m2x2_d3,F_m2x2_d3|t_4__18_1_
561    cross product_transpose |4_19
562    outer product_transpose |4_20
563            -F_m2x2_d2,F_v2_d2|t_4__20_0_
564            -F_m2x2_d3,F_v2_d3|t_4__20_1_
565    inner product_transpose |4_21
566            -F_m2x2_d2,F_v2_d2|t_4__21_0_
567            -F_m2x2_d2,F_m2x2_d2|t_4__21_0_
568            -F_m2x2_d3,F_v2_d3|t_4__21_1_
569            -F_m2x2_d3,F_m2x2_d3|t_4__21_1_
570    multiplication_transpose |4_22
571            -F_m2x2_d2,F_sc_d2|t_4__22_0_
572            -F_m2x2_d3,F_sc_d3|t_4__22_1_
573    division_transpose |4_23
574            -F_m2x2_d2,F_sc_d2|t_4__23_0_
575            -F_m2x2_d3,F_sc_d3|t_4__23_1_
576    modulate_transpose |4_24
577            -F_m2x2_d2,F_m2x2_d2|t_4__24_0_
578            -F_m2x2_d3,F_m2x2_d3|t_4__24_1_
579    op_doubledot_transpose |4_25
580            -F_m2x2_d2,F_m2x2_d2|t_4__25_0_
581            -F_m2x2_d3,F_m2x2_d3|t_4__25_1_
582    
583  det |5  det |5
584  neg_det |5_0  neg_det |5_0
# Line 323  Line 608 
608  slicev1_det |5_14  slicev1_det |5_14
609  slicet0_det |5_15  slicet0_det |5_15
610  slicet1_det |5_16  slicet1_det |5_16
611    addition_det |5_17
612            -F_m2x2_d2,F_sc_d2|t_5__17_0_
613            -F_m2x2_d3,F_sc_d3|t_5__17_1_
614    subtraction_det |5_18
615            -F_m2x2_d2,F_sc_d2|t_5__18_0_
616            -F_m2x2_d3,F_sc_d3|t_5__18_1_
617    cross product_det |5_19
618    outer product_det |5_20
619    inner product_det |5_21
620    multiplication_det |5_22
621            -F_m2x2_d2,F_sc_d2|t_5__22_0_
622            -F_m2x2_d2,F_v2_d2|t_5__22_0_
623            -F_m2x2_d2,F_v3_d2|t_5__22_0_
624            -F_m2x2_d2,F_m2x2_d2|t_5__22_0_
625            -F_m2x2_d3,F_sc_d3|t_5__22_1_
626            -F_m2x2_d3,F_v2_d3|t_5__22_1_
627            -F_m2x2_d3,F_v3_d3|t_5__22_1_
628            -F_m2x2_d3,F_m2x2_d3|t_5__22_1_
629    division_det |5_23
630            -F_m2x2_d2,F_sc_d2|t_5__23_0_
631            -F_m2x2_d3,F_sc_d3|t_5__23_1_
632    modulate_det |5_24
633    op_doubledot_det |5_25
634    
635  probe |6  probe |6
636  neg_probe |6_0  neg_probe |6_0
# Line 405  Line 713 
713          -F_v3_d3|t_6__14_7_          -F_v3_d3|t_6__14_7_
714  slicet0_probe |6_15  slicet0_probe |6_15
715  slicet1_probe |6_16  slicet1_probe |6_16
716    addition_probe |6_17
717            -F_sc_d1,F_sc_d1|t_6__17_0_
718            -F_sc_d2,F_sc_d2|t_6__17_1_
719            -F_v2_d2,F_v2_d2|t_6__17_2_
720            -F_v3_d2,F_v3_d2|t_6__17_3_
721            -F_m2x2_d2,F_m2x2_d2|t_6__17_4_
722            -F_sc_d3,F_sc_d3|t_6__17_5_
723            -F_v2_d3,F_v2_d3|t_6__17_6_
724            -F_v3_d3,F_v3_d3|t_6__17_7_
725            -F_m2x2_d3,F_m2x2_d3|t_6__17_8_
726    subtraction_probe |6_18
727            -F_sc_d1,F_sc_d1|t_6__18_0_
728            -F_sc_d2,F_sc_d2|t_6__18_1_
729            -F_v2_d2,F_v2_d2|t_6__18_2_
730            -F_v3_d2,F_v3_d2|t_6__18_3_
731            -F_m2x2_d2,F_m2x2_d2|t_6__18_4_
732            -F_sc_d3,F_sc_d3|t_6__18_5_
733            -F_v2_d3,F_v2_d3|t_6__18_6_
734            -F_v3_d3,F_v3_d3|t_6__18_7_
735            -F_m2x2_d3,F_m2x2_d3|t_6__18_8_
736    cross product_probe |6_19
737            -F_v2_d2,F_v2_d2|t_6__19_2_
738            -F_v3_d3,F_v3_d3|t_6__19_7_
739    outer product_probe |6_20
740            -F_v2_d2,F_v2_d2|t_6__20_2_
741            -F_v3_d2,F_v2_d2|t_6__20_3_
742            -F_m2x2_d2,F_v2_d2|t_6__20_4_
743            -F_v2_d2,F_v3_d2|t_6__20_2_
744            -F_v3_d2,F_v3_d2|t_6__20_3_
745            -F_v2_d2,F_m2x2_d2|t_6__20_2_
746            -F_v2_d3,F_v2_d3|t_6__20_6_
747            -F_v3_d3,F_v2_d3|t_6__20_7_
748            -F_m2x2_d3,F_v2_d3|t_6__20_8_
749            -F_v2_d3,F_v3_d3|t_6__20_6_
750            -F_v3_d3,F_v3_d3|t_6__20_7_
751            -F_v2_d3,F_m2x2_d3|t_6__20_6_
752    inner product_probe |6_21
753            -F_v2_d2,F_v2_d2|t_6__21_2_
754            -F_m2x2_d2,F_v2_d2|t_6__21_4_
755            -F_v3_d2,F_v3_d2|t_6__21_3_
756            -F_v2_d2,F_m2x2_d2|t_6__21_2_
757            -F_m2x2_d2,F_m2x2_d2|t_6__21_4_
758            -F_v2_d3,F_v2_d3|t_6__21_6_
759            -F_m2x2_d3,F_v2_d3|t_6__21_8_
760            -F_v3_d3,F_v3_d3|t_6__21_7_
761            -F_v2_d3,F_m2x2_d3|t_6__21_6_
762            -F_m2x2_d3,F_m2x2_d3|t_6__21_8_
763    multiplication_probe |6_22
764            -F_sc_d1,F_sc_d1|t_6__22_0_
765            -F_sc_d2,F_sc_d2|t_6__22_1_
766            -F_v2_d2,F_sc_d2|t_6__22_2_
767            -F_v3_d2,F_sc_d2|t_6__22_3_
768            -F_m2x2_d2,F_sc_d2|t_6__22_4_
769            -F_sc_d2,F_v2_d2|t_6__22_1_
770            -F_sc_d2,F_v3_d2|t_6__22_1_
771            -F_sc_d2,F_m2x2_d2|t_6__22_1_
772            -F_sc_d3,F_sc_d3|t_6__22_5_
773            -F_v2_d3,F_sc_d3|t_6__22_6_
774            -F_v3_d3,F_sc_d3|t_6__22_7_
775            -F_m2x2_d3,F_sc_d3|t_6__22_8_
776            -F_sc_d3,F_v2_d3|t_6__22_5_
777            -F_sc_d3,F_v3_d3|t_6__22_5_
778            -F_sc_d3,F_m2x2_d3|t_6__22_5_
779    division_probe |6_23
780            -F_sc_d1,F_sc_d1|t_6__23_0_
781            -F_sc_d2,F_sc_d2|t_6__23_1_
782            -F_v2_d2,F_sc_d2|t_6__23_2_
783            -F_v3_d2,F_sc_d2|t_6__23_3_
784            -F_m2x2_d2,F_sc_d2|t_6__23_4_
785            -F_sc_d3,F_sc_d3|t_6__23_5_
786            -F_v2_d3,F_sc_d3|t_6__23_6_
787            -F_v3_d3,F_sc_d3|t_6__23_7_
788            -F_m2x2_d3,F_sc_d3|t_6__23_8_
789    modulate_probe |6_24
790            -F_v2_d2,F_v2_d2|t_6__24_2_
791            -F_v3_d2,F_v3_d2|t_6__24_3_
792            -F_m2x2_d2,F_m2x2_d2|t_6__24_4_
793            -F_v2_d3,F_v2_d3|t_6__24_6_
794            -F_v3_d3,F_v3_d3|t_6__24_7_
795            -F_m2x2_d3,F_m2x2_d3|t_6__24_8_
796    op_doubledot_probe |6_25
797            -F_m2x2_d2,F_m2x2_d2|t_6__25_4_
798            -F_m2x2_d3,F_m2x2_d3|t_6__25_8_
799    
800  grad |7  grad |7
801  neg_grad |7_0  neg_grad |7_0
# Line 447  Line 838 
838          -F_sc_d3|t_7__14_2_          -F_sc_d3|t_7__14_2_
839  slicet0_grad |7_15  slicet0_grad |7_15
840  slicet1_grad |7_16  slicet1_grad |7_16
841    addition_grad |7_17
842            -F_sc_d1,F_sc_d1|t_7__17_0_
843            -F_sc_d2,F_v2_d2|t_7__17_1_
844            -F_sc_d3,F_v3_d3|t_7__17_2_
845    subtraction_grad |7_18
846            -F_sc_d1,F_sc_d1|t_7__18_0_
847            -F_sc_d2,F_v2_d2|t_7__18_1_
848            -F_sc_d3,F_v3_d3|t_7__18_2_
849    cross product_grad |7_19
850            -F_sc_d2,F_v2_d2|t_7__19_1_
851            -F_sc_d3,F_v3_d3|t_7__19_2_
852    outer product_grad |7_20
853            -F_sc_d2,F_v2_d2|t_7__20_1_
854            -F_sc_d2,F_v3_d2|t_7__20_1_
855            -F_sc_d2,F_m2x2_d2|t_7__20_1_
856            -F_sc_d3,F_v2_d3|t_7__20_2_
857            -F_sc_d3,F_v3_d3|t_7__20_2_
858    inner product_grad |7_21
859            -F_sc_d2,F_v2_d2|t_7__21_1_
860            -F_sc_d2,F_m2x2_d2|t_7__21_1_
861            -F_sc_d3,F_v3_d3|t_7__21_2_
862    multiplication_grad |7_22
863            -F_sc_d1,F_sc_d1|t_7__22_0_
864            -F_sc_d2,F_sc_d2|t_7__22_1_
865            -F_sc_d3,F_sc_d3|t_7__22_2_
866    division_grad |7_23
867            -F_sc_d1,F_sc_d1|t_7__23_0_
868            -F_sc_d2,F_sc_d2|t_7__23_1_
869            -F_sc_d3,F_sc_d3|t_7__23_2_
870    modulate_grad |7_24
871            -F_sc_d2,F_v2_d2|t_7__24_1_
872            -F_sc_d3,F_v3_d3|t_7__24_2_
873    op_doubledot_grad |7_25
874    
875  div |8  div |8
876  neg_div |8_0  neg_div |8_0
# Line 476  Line 900 
900  slicev1_div |8_14  slicev1_div |8_14
901  slicet0_div |8_15  slicet0_div |8_15
902  slicet1_div |8_16  slicet1_div |8_16
903    addition_div |8_17
904            -F_v2_d2,F_sc_d2|t_8__17_0_
905            -F_v3_d3,F_sc_d3|t_8__17_1_
906    subtraction_div |8_18
907            -F_v2_d2,F_sc_d2|t_8__18_0_
908            -F_v3_d3,F_sc_d3|t_8__18_1_
909    cross product_div |8_19
910    outer product_div |8_20
911    inner product_div |8_21
912    multiplication_div |8_22
913            -F_v2_d2,F_sc_d2|t_8__22_0_
914            -F_v2_d2,F_v2_d2|t_8__22_0_
915            -F_v2_d2,F_v3_d2|t_8__22_0_
916            -F_v2_d2,F_m2x2_d2|t_8__22_0_
917            -F_v3_d3,F_sc_d3|t_8__22_1_
918            -F_v3_d3,F_v2_d3|t_8__22_1_
919            -F_v3_d3,F_v3_d3|t_8__22_1_
920            -F_v3_d3,F_m2x2_d3|t_8__22_1_
921    division_div |8_23
922            -F_v2_d2,F_sc_d2|t_8__23_0_
923            -F_v3_d3,F_sc_d3|t_8__23_1_
924    modulate_div |8_24
925    op_doubledot_div |8_25
926    
927  curl |9  curl |9
928  neg_curl |9_0  neg_curl |9_0
# Line 509  Line 956 
956          -F_v3_d3|t_9__14_1_          -F_v3_d3|t_9__14_1_
957  slicet0_curl |9_15  slicet0_curl |9_15
958  slicet1_curl |9_16  slicet1_curl |9_16
959    addition_curl |9_17
960            -F_v2_d2,F_sc_d2|t_9__17_0_
961            -F_v3_d3,F_v3_d3|t_9__17_1_
962    subtraction_curl |9_18
963            -F_v2_d2,F_sc_d2|t_9__18_0_
964            -F_v3_d3,F_v3_d3|t_9__18_1_
965    cross product_curl |9_19
966            -F_v3_d3,F_v3_d3|t_9__19_1_
967    outer product_curl |9_20
968            -F_v3_d3,F_v2_d3|t_9__20_1_
969            -F_v3_d3,F_v3_d3|t_9__20_1_
970    inner product_curl |9_21
971            -F_v3_d3,F_v3_d3|t_9__21_1_
972    multiplication_curl |9_22
973            -F_v2_d2,F_sc_d2|t_9__22_0_
974            -F_v2_d2,F_v2_d2|t_9__22_0_
975            -F_v2_d2,F_v3_d2|t_9__22_0_
976            -F_v2_d2,F_m2x2_d2|t_9__22_0_
977            -F_v3_d3,F_sc_d3|t_9__22_1_
978    division_curl |9_23
979            -F_v2_d2,F_sc_d2|t_9__23_0_
980            -F_v3_d3,F_sc_d3|t_9__23_1_
981    modulate_curl |9_24
982            -F_v3_d3,F_v3_d3|t_9__24_1_
983    op_doubledot_curl |9_25
984    
985  jacob |10  jacob |10
986  neg_jacob |10_0  neg_jacob |10_0
# Line 546  Line 1018 
1018  slicev1_jacob |10_14  slicev1_jacob |10_14
1019  slicet0_jacob |10_15  slicet0_jacob |10_15
1020  slicet1_jacob |10_16  slicet1_jacob |10_16
1021    addition_jacob |10_17
1022            -F_v2_d2,F_m2x2_d2|t_10__17_0_
1023    subtraction_jacob |10_18
1024            -F_v2_d2,F_m2x2_d2|t_10__18_0_
1025    cross product_jacob |10_19
1026    outer product_jacob |10_20
1027            -F_v2_d2,F_v2_d2|t_10__20_0_
1028            -F_v3_d3,F_v3_d3|t_10__20_1_
1029    inner product_jacob |10_21
1030            -F_v2_d2,F_v2_d2|t_10__21_0_
1031            -F_v2_d2,F_m2x2_d2|t_10__21_0_
1032            -F_v3_d3,F_v3_d3|t_10__21_1_
1033    multiplication_jacob |10_22
1034            -F_v2_d2,F_sc_d2|t_10__22_0_
1035            -F_v3_d3,F_sc_d3|t_10__22_1_
1036    division_jacob |10_23
1037            -F_v2_d2,F_sc_d2|t_10__23_0_
1038            -F_v3_d3,F_sc_d3|t_10__23_1_
1039    modulate_jacob |10_24
1040            -F_v2_d2,F_m2x2_d2|t_10__24_0_
1041    op_doubledot_jacob |10_25
1042            -F_v2_d2,F_m2x2_d2|t_10__25_0_
1043    
1044  slicem0 |11  slicem0 |11
1045  neg_slicem0 |11_0  neg_slicem0 |11_0
# Line 580  Line 1074 
1074          -F_m2x2_d3|t_11__14_1_          -F_m2x2_d3|t_11__14_1_
1075  slicet0_slicem0 |11_15  slicet0_slicem0 |11_15
1076  slicet1_slicem0 |11_16  slicet1_slicem0 |11_16
1077    addition_slicem0 |11_17
1078            -F_m2x2_d2,F_v2_d2|t_11__17_0_
1079            -F_m2x2_d3,F_v2_d3|t_11__17_1_
1080    subtraction_slicem0 |11_18
1081            -F_m2x2_d2,F_v2_d2|t_11__18_0_
1082            -F_m2x2_d3,F_v2_d3|t_11__18_1_
1083    cross product_slicem0 |11_19
1084            -F_m2x2_d2,F_v2_d2|t_11__19_0_
1085    outer product_slicem0 |11_20
1086            -F_m2x2_d2,F_v2_d2|t_11__20_0_
1087            -F_m2x2_d2,F_v3_d2|t_11__20_0_
1088            -F_m2x2_d2,F_m2x2_d2|t_11__20_0_
1089            -F_m2x2_d3,F_v2_d3|t_11__20_1_
1090            -F_m2x2_d3,F_v3_d3|t_11__20_1_
1091            -F_m2x2_d3,F_m2x2_d3|t_11__20_1_
1092    inner product_slicem0 |11_21
1093            -F_m2x2_d2,F_v2_d2|t_11__21_0_
1094            -F_m2x2_d2,F_m2x2_d2|t_11__21_0_
1095            -F_m2x2_d3,F_v2_d3|t_11__21_1_
1096            -F_m2x2_d3,F_m2x2_d3|t_11__21_1_
1097    multiplication_slicem0 |11_22
1098            -F_m2x2_d2,F_sc_d2|t_11__22_0_
1099            -F_m2x2_d3,F_sc_d3|t_11__22_1_
1100    division_slicem0 |11_23
1101            -F_m2x2_d2,F_sc_d2|t_11__23_0_
1102            -F_m2x2_d3,F_sc_d3|t_11__23_1_
1103    modulate_slicem0 |11_24
1104            -F_m2x2_d2,F_v2_d2|t_11__24_0_
1105            -F_m2x2_d3,F_v2_d3|t_11__24_1_
1106    op_doubledot_slicem0 |11_25
1107    
1108  slicem1 |12  slicem1 |12
1109  neg_slicem1 |12_0  neg_slicem1 |12_0
# Line 614  Line 1138 
1138          -F_m2x2_d3|t_12__14_1_          -F_m2x2_d3|t_12__14_1_
1139  slicet0_slicem1 |12_15  slicet0_slicem1 |12_15
1140  slicet1_slicem1 |12_16  slicet1_slicem1 |12_16
1141    addition_slicem1 |12_17
1142            -F_m2x2_d2,F_v2_d2|t_12__17_0_
1143            -F_m2x2_d3,F_v2_d3|t_12__17_1_
1144    subtraction_slicem1 |12_18
1145            -F_m2x2_d2,F_v2_d2|t_12__18_0_
1146            -F_m2x2_d3,F_v2_d3|t_12__18_1_
1147    cross product_slicem1 |12_19
1148            -F_m2x2_d2,F_v2_d2|t_12__19_0_
1149    outer product_slicem1 |12_20
1150            -F_m2x2_d2,F_v2_d2|t_12__20_0_
1151            -F_m2x2_d2,F_v3_d2|t_12__20_0_
1152            -F_m2x2_d2,F_m2x2_d2|t_12__20_0_
1153            -F_m2x2_d3,F_v2_d3|t_12__20_1_
1154            -F_m2x2_d3,F_v3_d3|t_12__20_1_
1155            -F_m2x2_d3,F_m2x2_d3|t_12__20_1_
1156    inner product_slicem1 |12_21
1157            -F_m2x2_d2,F_v2_d2|t_12__21_0_
1158            -F_m2x2_d2,F_m2x2_d2|t_12__21_0_
1159            -F_m2x2_d3,F_v2_d3|t_12__21_1_
1160            -F_m2x2_d3,F_m2x2_d3|t_12__21_1_
1161    multiplication_slicem1 |12_22
1162            -F_m2x2_d2,F_sc_d2|t_12__22_0_
1163            -F_m2x2_d3,F_sc_d3|t_12__22_1_
1164    division_slicem1 |12_23
1165            -F_m2x2_d2,F_sc_d2|t_12__23_0_
1166            -F_m2x2_d3,F_sc_d3|t_12__23_1_
1167    modulate_slicem1 |12_24
1168            -F_m2x2_d2,F_v2_d2|t_12__24_0_
1169            -F_m2x2_d3,F_v2_d3|t_12__24_1_
1170    op_doubledot_slicem1 |12_25
1171    
1172  slicev0 |13  slicev0 |13
1173  neg_slicev0 |13_0  neg_slicev0 |13_0
# Line 653  Line 1207 
1207  slicev1_slicev0 |13_14  slicev1_slicev0 |13_14
1208  slicet0_slicev0 |13_15  slicet0_slicev0 |13_15
1209  slicet1_slicev0 |13_16  slicet1_slicev0 |13_16
1210    addition_slicev0 |13_17
1211            -F_v2_d2,F_sc_d2|t_13__17_0_
1212            -F_v3_d2,F_sc_d2|t_13__17_1_
1213            -F_v2_d3,F_sc_d3|t_13__17_2_
1214            -F_v3_d3,F_sc_d3|t_13__17_3_
1215    subtraction_slicev0 |13_18
1216            -F_v2_d2,F_sc_d2|t_13__18_0_
1217            -F_v3_d2,F_sc_d2|t_13__18_1_
1218            -F_v2_d3,F_sc_d3|t_13__18_2_
1219            -F_v3_d3,F_sc_d3|t_13__18_3_
1220    cross product_slicev0 |13_19
1221    outer product_slicev0 |13_20
1222    inner product_slicev0 |13_21
1223    multiplication_slicev0 |13_22
1224            -F_v2_d2,F_sc_d2|t_13__22_0_
1225            -F_v3_d2,F_sc_d2|t_13__22_1_
1226            -F_v2_d2,F_v2_d2|t_13__22_0_
1227            -F_v3_d2,F_v2_d2|t_13__22_1_
1228            -F_v2_d2,F_v3_d2|t_13__22_0_
1229            -F_v3_d2,F_v3_d2|t_13__22_1_
1230            -F_v2_d2,F_m2x2_d2|t_13__22_0_
1231            -F_v3_d2,F_m2x2_d2|t_13__22_1_
1232            -F_v2_d3,F_sc_d3|t_13__22_2_
1233            -F_v3_d3,F_sc_d3|t_13__22_3_
1234            -F_v2_d3,F_v2_d3|t_13__22_2_
1235            -F_v3_d3,F_v2_d3|t_13__22_3_
1236            -F_v2_d3,F_v3_d3|t_13__22_2_
1237            -F_v3_d3,F_v3_d3|t_13__22_3_
1238            -F_v2_d3,F_m2x2_d3|t_13__22_2_
1239            -F_v3_d3,F_m2x2_d3|t_13__22_3_
1240    division_slicev0 |13_23
1241            -F_v2_d2,F_sc_d2|t_13__23_0_
1242            -F_v3_d2,F_sc_d2|t_13__23_1_
1243            -F_v2_d3,F_sc_d3|t_13__23_2_
1244            -F_v3_d3,F_sc_d3|t_13__23_3_
1245    modulate_slicev0 |13_24
1246    op_doubledot_slicev0 |13_25
1247    
1248  slicev1 |14  slicev1 |14
1249  neg_slicev1 |14_0  neg_slicev1 |14_0
# Line 692  Line 1283 
1283  slicev1_slicev1 |14_14  slicev1_slicev1 |14_14
1284  slicet0_slicev1 |14_15  slicet0_slicev1 |14_15
1285  slicet1_slicev1 |14_16  slicet1_slicev1 |14_16
1286    addition_slicev1 |14_17
1287            -F_v2_d2,F_sc_d2|t_14__17_0_
1288            -F_v3_d2,F_sc_d2|t_14__17_1_
1289            -F_v2_d3,F_sc_d3|t_14__17_2_
1290            -F_v3_d3,F_sc_d3|t_14__17_3_
1291    subtraction_slicev1 |14_18
1292            -F_v2_d2,F_sc_d2|t_14__18_0_
1293            -F_v3_d2,F_sc_d2|t_14__18_1_
1294            -F_v2_d3,F_sc_d3|t_14__18_2_
1295            -F_v3_d3,F_sc_d3|t_14__18_3_
1296    cross product_slicev1 |14_19
1297    outer product_slicev1 |14_20
1298    inner product_slicev1 |14_21
1299    multiplication_slicev1 |14_22
1300            -F_v2_d2,F_sc_d2|t_14__22_0_
1301            -F_v3_d2,F_sc_d2|t_14__22_1_
1302            -F_v2_d2,F_v2_d2|t_14__22_0_
1303            -F_v3_d2,F_v2_d2|t_14__22_1_
1304            -F_v2_d2,F_v3_d2|t_14__22_0_
1305            -F_v3_d2,F_v3_d2|t_14__22_1_
1306            -F_v2_d2,F_m2x2_d2|t_14__22_0_
1307            -F_v3_d2,F_m2x2_d2|t_14__22_1_
1308            -F_v2_d3,F_sc_d3|t_14__22_2_
1309            -F_v3_d3,F_sc_d3|t_14__22_3_
1310            -F_v2_d3,F_v2_d3|t_14__22_2_
1311            -F_v3_d3,F_v2_d3|t_14__22_3_
1312            -F_v2_d3,F_v3_d3|t_14__22_2_
1313            -F_v3_d3,F_v3_d3|t_14__22_3_
1314            -F_v2_d3,F_m2x2_d3|t_14__22_2_
1315            -F_v3_d3,F_m2x2_d3|t_14__22_3_
1316    division_slicev1 |14_23
1317            -F_v2_d2,F_sc_d2|t_14__23_0_
1318            -F_v3_d2,F_sc_d2|t_14__23_1_
1319            -F_v2_d3,F_sc_d3|t_14__23_2_
1320            -F_v3_d3,F_sc_d3|t_14__23_3_
1321    modulate_slicev1 |14_24
1322    op_doubledot_slicev1 |14_25
1323    
1324  slicet0 |15  slicet0 |15
1325  neg_slicet0 |15_0  neg_slicet0 |15_0
# Line 711  Line 1339 
1339  slicev1_slicet0 |15_14  slicev1_slicet0 |15_14
1340  slicet0_slicet0 |15_15  slicet0_slicet0 |15_15
1341  slicet1_slicet0 |15_16  slicet1_slicet0 |15_16
1342    addition_slicet0 |15_17
1343    subtraction_slicet0 |15_18
1344    cross product_slicet0 |15_19
1345    outer product_slicet0 |15_20
1346    inner product_slicet0 |15_21
1347    multiplication_slicet0 |15_22
1348    division_slicet0 |15_23
1349    modulate_slicet0 |15_24
1350    op_doubledot_slicet0 |15_25
1351    
1352  slicet1 |16  slicet1 |16
1353  neg_slicet1 |16_0  neg_slicet1 |16_0
# Line 730  Line 1367 
1367  slicev1_slicet1 |16_14  slicev1_slicet1 |16_14
1368  slicet0_slicet1 |16_15  slicet0_slicet1 |16_15
1369  slicet1_slicet1 |16_16  slicet1_slicet1 |16_16
1370    addition_slicet1 |16_17
1371    subtraction_slicet1 |16_18
1372    cross product_slicet1 |16_19
1373    outer product_slicet1 |16_20
1374    inner product_slicet1 |16_21
1375    multiplication_slicet1 |16_22
1376    division_slicet1 |16_23
1377    modulate_slicet1 |16_24
1378    op_doubledot_slicet1 |16_25
1379    
1380  addition |17  addition |17
1381  neg_addition |17_0  neg_addition |17_0
# Line 821  Line 1467 
1467          -F_m2x2_d2,N_m2x2|t_17__3_13_          -F_m2x2_d2,N_m2x2|t_17__3_13_
1468          -N_m2x2,F_m2x2_d2|t_17__3_14_          -N_m2x2,F_m2x2_d2|t_17__3_14_
1469          -F_m2x2_d3,F_m2x2_d3|t_17__3_24_          -F_m2x2_d3,F_m2x2_d3|t_17__3_24_
1470            -F_m2x2_d3,N_m2x2|t_17__3_25_
1471            -N_m2x2,F_m2x2_d3|t_17__3_26_
1472    transpose_addition |17_4
1473            -F_m2x2_d2,F_m2x2_d2|t_17__4_12_
1474            -F_m2x2_d2,N_m2x2|t_17__4_13_
1475            -N_m2x2,F_m2x2_d2|t_17__4_14_
1476            -F_m2x2_d3,F_m2x2_d3|t_17__4_24_
1477            -F_m2x2_d3,N_m2x2|t_17__4_25_
1478            -N_m2x2,F_m2x2_d3|t_17__4_26_
1479    det_addition |17_5
1480            -F_m2x2_d2,F_m2x2_d2|t_17__5_12_
1481            -F_m2x2_d2,N_m2x2|t_17__5_13_
1482            -N_m2x2,F_m2x2_d2|t_17__5_14_
1483            -F_m2x2_d3,F_m2x2_d3|t_17__5_24_
1484            -F_m2x2_d3,N_m2x2|t_17__5_25_
1485            -N_m2x2,F_m2x2_d3|t_17__5_26_
1486    probe_addition |17_6
1487            -F_sc_d1,F_sc_d1|t_17__6_0_
1488            -F_sc_d1,N_sc|t_17__6_1_
1489            -N_sc,F_sc_d1|t_17__6_2_
1490            -F_sc_d2,F_sc_d2|t_17__6_3_
1491            -F_sc_d2,N_sc|t_17__6_4_
1492            -N_sc,F_sc_d2|t_17__6_5_
1493            -F_v2_d2,F_v2_d2|t_17__6_6_
1494            -F_v2_d2,N_v2|t_17__6_7_
1495            -N_v2,F_v2_d2|t_17__6_8_
1496            -F_v3_d2,F_v3_d2|t_17__6_9_
1497            -F_v3_d2,N_v3|t_17__6_10_
1498            -N_v3,F_v3_d2|t_17__6_11_
1499            -F_m2x2_d2,F_m2x2_d2|t_17__6_12_
1500            -F_m2x2_d2,N_m2x2|t_17__6_13_
1501            -N_m2x2,F_m2x2_d2|t_17__6_14_
1502            -F_sc_d3,F_sc_d3|t_17__6_15_
1503            -F_sc_d3,N_sc|t_17__6_16_
1504            -N_sc,F_sc_d3|t_17__6_17_
1505            -F_v2_d3,F_v2_d3|t_17__6_18_
1506            -F_v2_d3,N_v2|t_17__6_19_
1507            -N_v2,F_v2_d3|t_17__6_20_
1508            -F_v3_d3,F_v3_d3|t_17__6_21_
1509            -F_v3_d3,N_v3|t_17__6_22_
1510            -N_v3,F_v3_d3|t_17__6_23_
1511            -F_m2x2_d3,F_m2x2_d3|t_17__6_24_
1512            -F_m2x2_d3,N_m2x2|t_17__6_25_
1513            -N_m2x2,F_m2x2_d3|t_17__6_26_
1514    grad_addition |17_7
1515            -F_sc_d1,F_sc_d1|t_17__7_0_
1516            -F_sc_d1,N_sc|t_17__7_1_
1517            -N_sc,F_sc_d1|t_17__7_2_
1518            -F_sc_d2,F_sc_d2|t_17__7_3_
1519            -F_sc_d2,N_sc|t_17__7_4_
1520            -N_sc,F_sc_d2|t_17__7_5_
1521            -F_sc_d3,F_sc_d3|t_17__7_15_
1522            -F_sc_d3,N_sc|t_17__7_16_
1523            -N_sc,F_sc_d3|t_17__7_17_
1524    div_addition |17_8
1525            -F_v2_d2,F_v2_d2|t_17__8_6_
1526            -F_v2_d2,N_v2|t_17__8_7_
1527            -N_v2,F_v2_d2|t_17__8_8_
1528            -F_v3_d3,F_v3_d3|t_17__8_21_
1529            -F_v3_d3,N_v3|t_17__8_22_
1530            -N_v3,F_v3_d3|t_17__8_23_
1531    curl_addition |17_9
1532            -F_v2_d2,F_v2_d2|t_17__9_6_
1533            -F_v2_d2,N_v2|t_17__9_7_
1534            -N_v2,F_v2_d2|t_17__9_8_
1535            -F_v3_d3,F_v3_d3|t_17__9_21_
1536            -F_v3_d3,N_v3|t_17__9_22_
1537            -N_v3,F_v3_d3|t_17__9_23_
1538    jacob_addition |17_10
1539            -F_v2_d2,F_v2_d2|t_17__10_6_
1540            -F_v2_d2,N_v2|t_17__10_7_
1541            -N_v2,F_v2_d2|t_17__10_8_
1542            -F_v3_d3,F_v3_d3|t_17__10_21_
1543            -F_v3_d3,N_v3|t_17__10_22_
1544            -N_v3,F_v3_d3|t_17__10_23_
1545    slicem0_addition |17_11
1546            -F_m2x2_d2,F_m2x2_d2|t_17__11_12_
1547            -F_m2x2_d2,N_m2x2|t_17__11_13_
1548            -N_m2x2,F_m2x2_d2|t_17__11_14_
1549            -F_m2x2_d3,F_m2x2_d3|t_17__11_24_
1550            -F_m2x2_d3,N_m2x2|t_17__11_25_
1551            -N_m2x2,F_m2x2_d3|t_17__11_26_
1552    slicem1_addition |17_12
1553            -F_m2x2_d2,F_m2x2_d2|t_17__12_12_
1554            -F_m2x2_d2,N_m2x2|t_17__12_13_
1555            -N_m2x2,F_m2x2_d2|t_17__12_14_
1556            -F_m2x2_d3,F_m2x2_d3|t_17__12_24_
1557            -F_m2x2_d3,N_m2x2|t_17__12_25_
1558            -N_m2x2,F_m2x2_d3|t_17__12_26_
1559    slicev0_addition |17_13
1560            -F_v2_d2,F_v2_d2|t_17__13_6_
1561            -F_v2_d2,N_v2|t_17__13_7_
1562            -N_v2,F_v2_d2|t_17__13_8_
1563            -F_v3_d2,F_v3_d2|t_17__13_9_
1564            -F_v3_d2,N_v3|t_17__13_10_
1565            -N_v3,F_v3_d2|t_17__13_11_
1566            -F_v2_d3,F_v2_d3|t_17__13_18_
1567            -F_v2_d3,N_v2|t_17__13_19_
1568            -N_v2,F_v2_d3|t_17__13_20_
1569            -F_v3_d3,F_v3_d3|t_17__13_21_
1570            -F_v3_d3,N_v3|t_17__13_22_
1571            -N_v3,F_v3_d3|t_17__13_23_
1572    slicev1_addition |17_14
1573            -F_v2_d2,F_v2_d2|t_17__14_6_
1574            -F_v2_d2,N_v2|t_17__14_7_
1575            -N_v2,F_v2_d2|t_17__14_8_
1576            -F_v3_d2,F_v3_d2|t_17__14_9_
1577            -F_v3_d2,N_v3|t_17__14_10_
1578            -N_v3,F_v3_d2|t_17__14_11_
1579            -F_v2_d3,F_v2_d3|t_17__14_18_
1580            -F_v2_d3,N_v2|t_17__14_19_
1581            -N_v2,F_v2_d3|t_17__14_20_
1582            -F_v3_d3,F_v3_d3|t_17__14_21_
1583            -F_v3_d3,N_v3|t_17__14_22_
1584            -N_v3,F_v3_d3|t_17__14_23_
1585    slicet0_addition |17_15
1586    slicet1_addition |17_16
1587    addition_addition |17_17
1588            -F_sc_d1,F_sc_d1,F_sc_d1|t_17__17_0_
1589            -F_sc_d1,N_sc,F_sc_d1|t_17__17_1_
1590            -N_sc,F_sc_d1,F_sc_d1|t_17__17_2_
1591            -F_sc_d2,F_sc_d2,F_sc_d2|t_17__17_3_
1592            -F_sc_d2,N_sc,F_sc_d2|t_17__17_4_
1593            -N_sc,F_sc_d2,F_sc_d2|t_17__17_5_
1594            -F_v2_d2,F_v2_d2,F_v2_d2|t_17__17_6_
1595            -F_v2_d2,N_v2,F_v2_d2|t_17__17_7_
1596            -N_v2,F_v2_d2,F_v2_d2|t_17__17_8_
1597            -F_v3_d2,F_v3_d2,F_v3_d2|t_17__17_9_
1598            -F_v3_d2,N_v3,F_v3_d2|t_17__17_10_
1599            -N_v3,F_v3_d2,F_v3_d2|t_17__17_11_
1600            -F_m2x2_d2,F_m2x2_d2,F_m2x2_d2|t_17__17_12_
1601            -F_m2x2_d2,N_m2x2,F_m2x2_d2|t_17__17_13_
1602            -N_m2x2,F_m2x2_d2,F_m2x2_d2|t_17__17_14_
1603            -F_sc_d3,F_sc_d3,F_sc_d3|t_17__17_15_
1604            -F_sc_d3,N_sc,F_sc_d3|t_17__17_16_
1605            -N_sc,F_sc_d3,F_sc_d3|t_17__17_17_
1606            -F_v2_d3,F_v2_d3,F_v2_d3|t_17__17_18_
1607            -F_v2_d3,N_v2,F_v2_d3|t_17__17_19_
1608            -N_v2,F_v2_d3,F_v2_d3|t_17__17_20_
1609            -F_v3_d3,F_v3_d3,F_v3_d3|t_17__17_21_
1610            -F_v3_d3,N_v3,F_v3_d3|t_17__17_22_
1611            -N_v3,F_v3_d3,F_v3_d3|t_17__17_23_
1612            -F_m2x2_d3,F_m2x2_d3,F_m2x2_d3|t_17__17_24_
1613            -F_m2x2_d3,N_m2x2,F_m2x2_d3|t_17__17_25_
1614            -N_m2x2,F_m2x2_d3,F_m2x2_d3|t_17__17_26_
1615    subtraction_addition |17_18
1616            -F_sc_d1,F_sc_d1,F_sc_d1|t_17__18_0_
1617            -F_sc_d1,N_sc,F_sc_d1|t_17__18_1_
1618            -N_sc,F_sc_d1,F_sc_d1|t_17__18_2_
1619            -F_sc_d2,F_sc_d2,F_sc_d2|t_17__18_3_
1620            -F_sc_d2,N_sc,F_sc_d2|t_17__18_4_
1621            -N_sc,F_sc_d2,F_sc_d2|t_17__18_5_
1622            -F_v2_d2,F_v2_d2,F_v2_d2|t_17__18_6_
1623            -F_v2_d2,N_v2,F_v2_d2|t_17__18_7_
1624            -N_v2,F_v2_d2,F_v2_d2|t_17__18_8_
1625            -F_v3_d2,F_v3_d2,F_v3_d2|t_17__18_9_
1626            -F_v3_d2,N_v3,F_v3_d2|t_17__18_10_
1627            -N_v3,F_v3_d2,F_v3_d2|t_17__18_11_
1628            -F_m2x2_d2,F_m2x2_d2,F_m2x2_d2|t_17__18_12_
1629            -F_m2x2_d2,N_m2x2,F_m2x2_d2|t_17__18_13_
1630            -N_m2x2,F_m2x2_d2,F_m2x2_d2|t_17__18_14_
1631            -F_sc_d3,F_sc_d3,F_sc_d3|t_17__18_15_
1632            -F_sc_d3,N_sc,F_sc_d3|t_17__18_16_
1633            -N_sc,F_sc_d3,F_sc_d3|t_17__18_17_
1634            -F_v2_d3,F_v2_d3,F_v2_d3|t_17__18_18_
1635            -F_v2_d3,N_v2,F_v2_d3|t_17__18_19_
1636            -N_v2,F_v2_d3,F_v2_d3|t_17__18_20_
1637            -F_v3_d3,F_v3_d3,F_v3_d3|t_17__18_21_
1638            -F_v3_d3,N_v3,F_v3_d3|t_17__18_22_
1639            -N_v3,F_v3_d3,F_v3_d3|t_17__18_23_
1640            -F_m2x2_d3,F_m2x2_d3,F_m2x2_d3|t_17__18_24_
1641            -F_m2x2_d3,N_m2x2,F_m2x2_d3|t_17__18_25_
1642            -N_m2x2,F_m2x2_d3,F_m2x2_d3|t_17__18_26_
1643    cross product_addition |17_19
1644            -F_v2_d2,F_v2_d2,F_v2_d2|t_17__19_6_
1645            -F_v2_d2,N_v2,F_v2_d2|t_17__19_7_
1646            -N_v2,F_v2_d2,F_v2_d2|t_17__19_8_
1647            -F_v3_d3,F_v3_d3,F_v3_d3|t_17__19_21_
1648            -F_v3_d3,N_v3,F_v3_d3|t_17__19_22_
1649            -N_v3,F_v3_d3,F_v3_d3|t_17__19_23_
1650    outer product_addition |17_20
1651            -F_v2_d2,F_v2_d2,F_v2_d2|t_17__20_6_
1652            -F_v2_d2,N_v2,F_v2_d2|t_17__20_7_
1653            -N_v2,F_v2_d2,F_v2_d2|t_17__20_8_
1654            -F_v3_d2,F_v3_d2,F_v2_d2|t_17__20_9_
1655            -F_v3_d2,N_v3,F_v2_d2|t_17__20_10_
1656            -N_v3,F_v3_d2,F_v2_d2|t_17__20_11_
1657            -F_m2x2_d2,F_m2x2_d2,F_v2_d2|t_17__20_12_
1658            -F_m2x2_d2,N_m2x2,F_v2_d2|t_17__20_13_
1659            -N_m2x2,F_m2x2_d2,F_v2_d2|t_17__20_14_
1660            -F_v2_d2,F_v2_d2,F_v3_d2|t_17__20_6_
1661            -F_v2_d2,N_v2,F_v3_d2|t_17__20_7_
1662            -N_v2,F_v2_d2,F_v3_d2|t_17__20_8_
1663            -F_v3_d2,F_v3_d2,F_v3_d2|t_17__20_9_
1664            -F_v3_d2,N_v3,F_v3_d2|t_17__20_10_
1665            -N_v3,F_v3_d2,F_v3_d2|t_17__20_11_
1666            -F_v2_d2,F_v2_d2,F_m2x2_d2|t_17__20_6_
1667            -F_v2_d2,N_v2,F_m2x2_d2|t_17__20_7_
1668            -N_v2,F_v2_d2,F_m2x2_d2|t_17__20_8_
1669            -F_v2_d3,F_v2_d3,F_v2_d3|t_17__20_18_
1670            -F_v2_d3,N_v2,F_v2_d3|t_17__20_19_
1671            -N_v2,F_v2_d3,F_v2_d3|t_17__20_20_
1672            -F_v3_d3,F_v3_d3,F_v2_d3|t_17__20_21_
1673            -F_v3_d3,N_v3,F_v2_d3|t_17__20_22_
1674            -N_v3,F_v3_d3,F_v2_d3|t_17__20_23_
1675            -F_m2x2_d3,F_m2x2_d3,F_v2_d3|t_17__20_24_
1676            -F_m2x2_d3,N_m2x2,F_v2_d3|t_17__20_25_
1677            -N_m2x2,F_m2x2_d3,F_v2_d3|t_17__20_26_
1678            -F_v2_d3,F_v2_d3,F_v3_d3|t_17__20_18_
1679            -F_v2_d3,N_v2,F_v3_d3|t_17__20_19_
1680            -N_v2,F_v2_d3,F_v3_d3|t_17__20_20_
1681            -F_v3_d3,F_v3_d3,F_v3_d3|t_17__20_21_
1682            -F_v3_d3,N_v3,F_v3_d3|t_17__20_22_
1683            -N_v3,F_v3_d3,F_v3_d3|t_17__20_23_
1684            -F_v2_d3,F_v2_d3,F_m2x2_d3|t_17__20_18_
1685            -F_v2_d3,N_v2,F_m2x2_d3|t_17__20_19_
1686            -N_v2,F_v2_d3,F_m2x2_d3|t_17__20_20_
1687    inner product_addition |17_21
1688            -F_v2_d2,F_v2_d2,F_v2_d2|t_17__21_6_
1689            -F_v2_d2,N_v2,F_v2_d2|t_17__21_7_
1690            -N_v2,F_v2_d2,F_v2_d2|t_17__21_8_
1691            -F_m2x2_d2,F_m2x2_d2,F_v2_d2|t_17__21_12_
1692            -F_m2x2_d2,N_m2x2,F_v2_d2|t_17__21_13_
1693            -N_m2x2,F_m2x2_d2,F_v2_d2|t_17__21_14_
1694            -F_v3_d2,F_v3_d2,F_v3_d2|t_17__21_9_
1695            -F_v3_d2,N_v3,F_v3_d2|t_17__21_10_
1696            -N_v3,F_v3_d2,F_v3_d2|t_17__21_11_
1697            -F_v2_d2,F_v2_d2,F_m2x2_d2|t_17__21_6_
1698            -F_v2_d2,N_v2,F_m2x2_d2|t_17__21_7_
1699            -N_v2,F_v2_d2,F_m2x2_d2|t_17__21_8_
1700            -F_m2x2_d2,F_m2x2_d2,F_m2x2_d2|t_17__21_12_
1701            -F_m2x2_d2,N_m2x2,F_m2x2_d2|t_17__21_13_
1702            -N_m2x2,F_m2x2_d2,F_m2x2_d2|t_17__21_14_
1703            -F_v2_d3,F_v2_d3,F_v2_d3|t_17__21_18_
1704            -F_v2_d3,N_v2,F_v2_d3|t_17__21_19_
1705            -N_v2,F_v2_d3,F_v2_d3|t_17__21_20_
1706            -F_m2x2_d3,F_m2x2_d3,F_v2_d3|t_17__21_24_
1707            -F_m2x2_d3,N_m2x2,F_v2_d3|t_17__21_25_
1708            -N_m2x2,F_m2x2_d3,F_v2_d3|t_17__21_26_
1709            -F_v3_d3,F_v3_d3,F_v3_d3|t_17__21_21_
1710            -F_v3_d3,N_v3,F_v3_d3|t_17__21_22_
1711            -N_v3,F_v3_d3,F_v3_d3|t_17__21_23_
1712            -F_v2_d3,F_v2_d3,F_m2x2_d3|t_17__21_18_
1713            -F_v2_d3,N_v2,F_m2x2_d3|t_17__21_19_
1714            -N_v2,F_v2_d3,F_m2x2_d3|t_17__21_20_
1715            -F_m2x2_d3,F_m2x2_d3,F_m2x2_d3|t_17__21_24_
1716            -F_m2x2_d3,N_m2x2,F_m2x2_d3|t_17__21_25_
1717            -N_m2x2,F_m2x2_d3,F_m2x2_d3|t_17__21_26_
1718    multiplication_addition |17_22
1719            -F_sc_d1,F_sc_d1,F_sc_d1|t_17__22_0_
1720            -F_sc_d1,N_sc,F_sc_d1|t_17__22_1_
1721            -N_sc,F_sc_d1,F_sc_d1|t_17__22_2_
1722            -F_sc_d2,F_sc_d2,F_sc_d2|t_17__22_3_
1723            -F_sc_d2,N_sc,F_sc_d2|t_17__22_4_
1724            -N_sc,F_sc_d2,F_sc_d2|t_17__22_5_
1725            -F_v2_d2,F_v2_d2,F_sc_d2|t_17__22_6_
1726            -F_v2_d2,N_v2,F_sc_d2|t_17__22_7_
1727            -N_v2,F_v2_d2,F_sc_d2|t_17__22_8_
1728            -F_v3_d2,F_v3_d2,F_sc_d2|t_17__22_9_
1729            -F_v3_d2,N_v3,F_sc_d2|t_17__22_10_
1730            -N_v3,F_v3_d2,F_sc_d2|t_17__22_11_
1731            -F_m2x2_d2,F_m2x2_d2,F_sc_d2|t_17__22_12_
1732            -F_m2x2_d2,N_m2x2,F_sc_d2|t_17__22_13_
1733            -N_m2x2,F_m2x2_d2,F_sc_d2|t_17__22_14_
1734            -F_sc_d2,F_sc_d2,F_v2_d2|t_17__22_3_
1735            -F_sc_d2,N_sc,F_v2_d2|t_17__22_4_
1736            -N_sc,F_sc_d2,F_v2_d2|t_17__22_5_
1737            -F_sc_d2,F_sc_d2,F_v3_d2|t_17__22_3_
1738            -F_sc_d2,N_sc,F_v3_d2|t_17__22_4_
1739            -N_sc,F_sc_d2,F_v3_d2|t_17__22_5_
1740            -F_sc_d2,F_sc_d2,F_m2x2_d2|t_17__22_3_
1741            -F_sc_d2,N_sc,F_m2x2_d2|t_17__22_4_
1742            -N_sc,F_sc_d2,F_m2x2_d2|t_17__22_5_
1743            -F_sc_d3,F_sc_d3,F_sc_d3|t_17__22_15_
1744            -F_sc_d3,N_sc,F_sc_d3|t_17__22_16_
1745            -N_sc,F_sc_d3,F_sc_d3|t_17__22_17_
1746            -F_v2_d3,F_v2_d3,F_sc_d3|t_17__22_18_
1747            -F_v2_d3,N_v2,F_sc_d3|t_17__22_19_
1748            -N_v2,F_v2_d3,F_sc_d3|t_17__22_20_
1749            -F_v3_d3,F_v3_d3,F_sc_d3|t_17__22_21_
1750            -F_v3_d3,N_v3,F_sc_d3|t_17__22_22_
1751            -N_v3,F_v3_d3,F_sc_d3|t_17__22_23_
1752            -F_m2x2_d3,F_m2x2_d3,F_sc_d3|t_17__22_24_
1753            -F_m2x2_d3,N_m2x2,F_sc_d3|t_17__22_25_
1754            -N_m2x2,F_m2x2_d3,F_sc_d3|t_17__22_26_
1755            -F_sc_d3,F_sc_d3,F_v2_d3|t_17__22_15_
1756            -F_sc_d3,N_sc,F_v2_d3|t_17__22_16_
1757            -N_sc,F_sc_d3,F_v2_d3|t_17__22_17_
1758            -F_sc_d3,F_sc_d3,F_v3_d3|t_17__22_15_
1759            -F_sc_d3,N_sc,F_v3_d3|t_17__22_16_
1760            -N_sc,F_sc_d3,F_v3_d3|t_17__22_17_
1761            -F_sc_d3,F_sc_d3,F_m2x2_d3|t_17__22_15_
1762            -F_sc_d3,N_sc,F_m2x2_d3|t_17__22_16_
1763            -N_sc,F_sc_d3,F_m2x2_d3|t_17__22_17_
1764    division_addition |17_23
1765            -F_sc_d1,F_sc_d1,F_sc_d1|t_17__23_0_
1766            -F_sc_d1,N_sc,F_sc_d1|t_17__23_1_
1767            -N_sc,F_sc_d1,F_sc_d1|t_17__23_2_
1768            -F_sc_d2,F_sc_d2,F_sc_d2|t_17__23_3_
1769            -F_sc_d2,N_sc,F_sc_d2|t_17__23_4_
1770            -N_sc,F_sc_d2,F_sc_d2|t_17__23_5_
1771            -F_v2_d2,F_v2_d2,F_sc_d2|t_17__23_6_
1772            -F_v2_d2,N_v2,F_sc_d2|t_17__23_7_
1773            -N_v2,F_v2_d2,F_sc_d2|t_17__23_8_
1774            -F_v3_d2,F_v3_d2,F_sc_d2|t_17__23_9_
1775            -F_v3_d2,N_v3,F_sc_d2|t_17__23_10_
1776            -N_v3,F_v3_d2,F_sc_d2|t_17__23_11_
1777            -F_m2x2_d2,F_m2x2_d2,F_sc_d2|t_17__23_12_
1778            -F_m2x2_d2,N_m2x2,F_sc_d2|t_17__23_13_
1779            -N_m2x2,F_m2x2_d2,F_sc_d2|t_17__23_14_
1780            -F_sc_d3,F_sc_d3,F_sc_d3|t_17__23_15_
1781            -F_sc_d3,N_sc,F_sc_d3|t_17__23_16_
1782            -N_sc,F_sc_d3,F_sc_d3|t_17__23_17_
1783            -F_v2_d3,F_v2_d3,F_sc_d3|t_17__23_18_
1784            -F_v2_d3,N_v2,F_sc_d3|t_17__23_19_
1785            -N_v2,F_v2_d3,F_sc_d3|t_17__23_20_
1786            -F_v3_d3,F_v3_d3,F_sc_d3|t_17__23_21_
1787            -F_v3_d3,N_v3,F_sc_d3|t_17__23_22_
1788            -N_v3,F_v3_d3,F_sc_d3|t_17__23_23_
1789            -F_m2x2_d3,F_m2x2_d3,F_sc_d3|t_17__23_24_
1790            -F_m2x2_d3,N_m2x2,F_sc_d3|t_17__23_25_
1791            -N_m2x2,F_m2x2_d3,F_sc_d3|t_17__23_26_
1792    modulate_addition |17_24
1793            -F_v2_d2,F_v2_d2,F_v2_d2|t_17__24_6_
1794            -F_v2_d2,N_v2,F_v2_d2|t_17__24_7_
1795            -N_v2,F_v2_d2,F_v2_d2|t_17__24_8_
1796            -F_v3_d2,F_v3_d2,F_v3_d2|t_17__24_9_
1797            -F_v3_d2,N_v3,F_v3_d2|t_17__24_10_
1798            -N_v3,F_v3_d2,F_v3_d2|t_17__24_11_
1799            -F_m2x2_d2,F_m2x2_d2,F_m2x2_d2|t_17__24_12_
1800            -F_m2x2_d2,N_m2x2,F_m2x2_d2|t_17__24_13_
1801            -N_m2x2,F_m2x2_d2,F_m2x2_d2|t_17__24_14_
1802            -F_v2_d3,F_v2_d3,F_v2_d3|t_17__24_18_
1803            -F_v2_d3,N_v2,F_v2_d3|t_17__24_19_
1804            -N_v2,F_v2_d3,F_v2_d3|t_17__24_20_
1805            -F_v3_d3,F_v3_d3,F_v3_d3|t_17__24_21_
1806            -F_v3_d3,N_v3,F_v3_d3|t_17__24_22_
1807            -N_v3,F_v3_d3,F_v3_d3|t_17__24_23_
1808            -F_m2x2_d3,F_m2x2_d3,F_m2x2_d3|t_17__24_24_
1809            -F_m2x2_d3,N_m2x2,F_m2x2_d3|t_17__24_25_
1810            -N_m2x2,F_m2x2_d3,F_m2x2_d3|t_17__24_26_
1811    op_doubledot_addition |17_25
1812            -F_m2x2_d2,F_m2x2_d2,F_m2x2_d2|t_17__25_12_
1813            -F_m2x2_d2,N_m2x2,F_m2x2_d2|t_17__25_13_
1814            -N_m2x2,F_m2x2_d2,F_m2x2_d2|t_17__25_14_
1815            -F_m2x2_d3,F_m2x2_d3,F_m2x2_d3|t_17__25_24_
1816            -F_m2x2_d3,N_m2x2,F_m2x2_d3|t_17__25_25_
1817            -N_m2x2,F_m2x2_d3,F_m2x2_d3|t_17__25_26_
1818    
1819    subtraction |18
1820    neg_subtraction |18_0
1821            -F_sc_d1,F_sc_d1|t_18__0_0_
1822            -F_sc_d1,N_sc|t_18__0_1_
1823            -N_sc,F_sc_d1|t_18__0_2_
1824            -F_sc_d2,F_sc_d2|t_18__0_3_
1825            -F_sc_d2,N_sc|t_18__0_4_
1826            -N_sc,F_sc_d2|t_18__0_5_
1827            -F_v2_d2,F_v2_d2|t_18__0_6_
1828            -F_v2_d2,N_v2|t_18__0_7_
1829            -N_v2,F_v2_d2|t_18__0_8_
1830            -F_v3_d2,F_v3_d2|t_18__0_9_
1831            -F_v3_d2,N_v3|t_18__0_10_
1832            -N_v3,F_v3_d2|t_18__0_11_
1833            -F_m2x2_d2,F_m2x2_d2|t_18__0_12_
1834            -F_m2x2_d2,N_m2x2|t_18__0_13_
1835            -N_m2x2,F_m2x2_d2|t_18__0_14_
1836            -F_sc_d3,F_sc_d3|t_18__0_15_
1837            -F_sc_d3,N_sc|t_18__0_16_
1838            -N_sc,F_sc_d3|t_18__0_17_
1839            -F_v2_d3,F_v2_d3|t_18__0_18_
1840            -F_v2_d3,N_v2|t_18__0_19_
1841            -N_v2,F_v2_d3|t_18__0_20_
1842            -F_v3_d3,F_v3_d3|t_18__0_21_
1843            -F_v3_d3,N_v3|t_18__0_22_
1844            -N_v3,F_v3_d3|t_18__0_23_
1845            -F_m2x2_d3,F_m2x2_d3|t_18__0_24_
1846            -F_m2x2_d3,N_m2x2|t_18__0_25_
1847            -N_m2x2,F_m2x2_d3|t_18__0_26_
1848    norm_subtraction |18_1
1849            -F_sc_d1,F_sc_d1|t_18__1_0_
1850            -F_sc_d1,N_sc|t_18__1_1_
1851            -N_sc,F_sc_d1|t_18__1_2_
1852            -F_sc_d2,F_sc_d2|t_18__1_3_
1853            -F_sc_d2,N_sc|t_18__1_4_
1854            -N_sc,F_sc_d2|t_18__1_5_
1855            -F_v2_d2,F_v2_d2|t_18__1_6_
1856            -F_v2_d2,N_v2|t_18__1_7_
1857            -N_v2,F_v2_d2|t_18__1_8_
1858            -F_v3_d2,F_v3_d2|t_18__1_9_
1859            -F_v3_d2,N_v3|t_18__1_10_
1860            -N_v3,F_v3_d2|t_18__1_11_
1861            -F_m2x2_d2,F_m2x2_d2|t_18__1_12_
1862            -F_m2x2_d2,N_m2x2|t_18__1_13_
1863            -N_m2x2,F_m2x2_d2|t_18__1_14_
1864            -F_sc_d3,F_sc_d3|t_18__1_15_
1865            -F_sc_d3,N_sc|t_18__1_16_
1866            -N_sc,F_sc_d3|t_18__1_17_
1867            -F_v2_d3,F_v2_d3|t_18__1_18_
1868            -F_v2_d3,N_v2|t_18__1_19_
1869            -N_v2,F_v2_d3|t_18__1_20_
1870            -F_v3_d3,F_v3_d3|t_18__1_21_
1871            -F_v3_d3,N_v3|t_18__1_22_
1872            -N_v3,F_v3_d3|t_18__1_23_
1873            -F_m2x2_d3,F_m2x2_d3|t_18__1_24_
1874            -F_m2x2_d3,N_m2x2|t_18__1_25_
1875            -N_m2x2,F_m2x2_d3|t_18__1_26_
1876    normalize_subtraction |18_2
1877            -F_sc_d1,F_sc_d1|t_18__2_0_
1878            -F_sc_d1,N_sc|t_18__2_1_
1879            -N_sc,F_sc_d1|t_18__2_2_
1880            -F_sc_d2,F_sc_d2|t_18__2_3_
1881            -F_sc_d2,N_sc|t_18__2_4_
1882            -N_sc,F_sc_d2|t_18__2_5_
1883            -F_v2_d2,F_v2_d2|t_18__2_6_
1884            -F_v2_d2,N_v2|t_18__2_7_
1885            -N_v2,F_v2_d2|t_18__2_8_
1886            -F_v3_d2,F_v3_d2|t_18__2_9_
1887            -F_v3_d2,N_v3|t_18__2_10_
1888            -N_v3,F_v3_d2|t_18__2_11_
1889            -F_m2x2_d2,F_m2x2_d2|t_18__2_12_
1890            -F_m2x2_d2,N_m2x2|t_18__2_13_
1891            -N_m2x2,F_m2x2_d2|t_18__2_14_
1892            -F_sc_d3,F_sc_d3|t_18__2_15_
1893            -F_sc_d3,N_sc|t_18__2_16_
1894            -N_sc,F_sc_d3|t_18__2_17_
1895            -F_v2_d3,F_v2_d3|t_18__2_18_
1896            -F_v2_d3,N_v2|t_18__2_19_
1897            -N_v2,F_v2_d3|t_18__2_20_
1898            -F_v3_d3,F_v3_d3|t_18__2_21_
1899            -F_v3_d3,N_v3|t_18__2_22_
1900            -N_v3,F_v3_d3|t_18__2_23_
1901            -F_m2x2_d3,F_m2x2_d3|t_18__2_24_
1902            -F_m2x2_d3,N_m2x2|t_18__2_25_
1903            -N_m2x2,F_m2x2_d3|t_18__2_26_
1904    trace_subtraction |18_3
1905            -F_m2x2_d2,F_m2x2_d2|t_18__3_12_
1906            -F_m2x2_d2,N_m2x2|t_18__3_13_
1907            -N_m2x2,F_m2x2_d2|t_18__3_14_
1908            -F_m2x2_d3,F_m2x2_d3|t_18__3_24_
1909            -F_m2x2_d3,N_m2x2|t_18__3_25_
1910            -N_m2x2,F_m2x2_d3|t_18__3_26_
1911    transpose_subtraction |18_4
1912            -F_m2x2_d2,F_m2x2_d2|t_18__4_12_
1913            -F_m2x2_d2,N_m2x2|t_18__4_13_
1914            -N_m2x2,F_m2x2_d2|t_18__4_14_
1915            -F_m2x2_d3,F_m2x2_d3|t_18__4_24_
1916            -F_m2x2_d3,N_m2x2|t_18__4_25_
1917            -N_m2x2,F_m2x2_d3|t_18__4_26_
1918    det_subtraction |18_5
1919            -F_m2x2_d2,F_m2x2_d2|t_18__5_12_
1920            -F_m2x2_d2,N_m2x2|t_18__5_13_
1921            -N_m2x2,F_m2x2_d2|t_18__5_14_
1922            -F_m2x2_d3,F_m2x2_d3|t_18__5_24_
1923            -F_m2x2_d3,N_m2x2|t_18__5_25_
1924            -N_m2x2,F_m2x2_d3|t_18__5_26_
1925    probe_subtraction |18_6
1926            -F_sc_d1,F_sc_d1|t_18__6_0_
1927            -F_sc_d1,N_sc|t_18__6_1_
1928            -N_sc,F_sc_d1|t_18__6_2_
1929            -F_sc_d2,F_sc_d2|t_18__6_3_
1930            -F_sc_d2,N_sc|t_18__6_4_
1931            -N_sc,F_sc_d2|t_18__6_5_
1932            -F_v2_d2,F_v2_d2|t_18__6_6_
1933            -F_v2_d2,N_v2|t_18__6_7_
1934            -N_v2,F_v2_d2|t_18__6_8_
1935            -F_v3_d2,F_v3_d2|t_18__6_9_
1936            -F_v3_d2,N_v3|t_18__6_10_
1937            -N_v3,F_v3_d2|t_18__6_11_
1938            -F_m2x2_d2,F_m2x2_d2|t_18__6_12_
1939            -F_m2x2_d2,N_m2x2|t_18__6_13_
1940            -N_m2x2,F_m2x2_d2|t_18__6_14_
1941            -F_sc_d3,F_sc_d3|t_18__6_15_
1942            -F_sc_d3,N_sc|t_18__6_16_
1943            -N_sc,F_sc_d3|t_18__6_17_
1944            -F_v2_d3,F_v2_d3|t_18__6_18_
1945            -F_v2_d3,N_v2|t_18__6_19_
1946            -N_v2,F_v2_d3|t_18__6_20_
1947            -F_v3_d3,F_v3_d3|t_18__6_21_
1948            -F_v3_d3,N_v3|t_18__6_22_
1949            -N_v3,F_v3_d3|t_18__6_23_
1950            -F_m2x2_d3,F_m2x2_d3|t_18__6_24_
1951            -F_m2x2_d3,N_m2x2|t_18__6_25_
1952            -N_m2x2,F_m2x2_d3|t_18__6_26_
1953    grad_subtraction |18_7
1954            -F_sc_d1,F_sc_d1|t_18__7_0_
1955            -F_sc_d1,N_sc|t_18__7_1_
1956            -N_sc,F_sc_d1|t_18__7_2_
1957            -F_sc_d2,F_sc_d2|t_18__7_3_
1958            -F_sc_d2,N_sc|t_18__7_4_
1959            -N_sc,F_sc_d2|t_18__7_5_
1960            -F_sc_d3,F_sc_d3|t_18__7_15_
1961            -F_sc_d3,N_sc|t_18__7_16_
1962            -N_sc,F_sc_d3|t_18__7_17_
1963    div_subtraction |18_8
1964            -F_v2_d2,F_v2_d2|t_18__8_6_
1965            -F_v2_d2,N_v2|t_18__8_7_
1966            -N_v2,F_v2_d2|t_18__8_8_
1967            -F_v3_d3,F_v3_d3|t_18__8_21_
1968            -F_v3_d3,N_v3|t_18__8_22_
1969            -N_v3,F_v3_d3|t_18__8_23_
1970    curl_subtraction |18_9
1971            -F_v2_d2,F_v2_d2|t_18__9_6_
1972            -F_v2_d2,N_v2|t_18__9_7_
1973            -N_v2,F_v2_d2|t_18__9_8_
1974            -F_v3_d3,F_v3_d3|t_18__9_21_
1975            -F_v3_d3,N_v3|t_18__9_22_
1976            -N_v3,F_v3_d3|t_18__9_23_
1977    jacob_subtraction |18_10
1978            -F_v2_d2,F_v2_d2|t_18__10_6_
1979            -F_v2_d2,N_v2|t_18__10_7_
1980            -N_v2,F_v2_d2|t_18__10_8_
1981            -F_v3_d3,F_v3_d3|t_18__10_21_
1982            -F_v3_d3,N_v3|t_18__10_22_
1983            -N_v3,F_v3_d3|t_18__10_23_
1984    slicem0_subtraction |18_11
1985            -F_m2x2_d2,F_m2x2_d2|t_18__11_12_
1986            -F_m2x2_d2,N_m2x2|t_18__11_13_
1987            -N_m2x2,F_m2x2_d2|t_18__11_14_
1988            -F_m2x2_d3,F_m2x2_d3|t_18__11_24_
1989            -F_m2x2_d3,N_m2x2|t_18__11_25_
1990            -N_m2x2,F_m2x2_d3|t_18__11_26_
1991    slicem1_subtraction |18_12
1992            -F_m2x2_d2,F_m2x2_d2|t_18__12_12_
1993            -F_m2x2_d2,N_m2x2|t_18__12_13_
1994            -N_m2x2,F_m2x2_d2|t_18__12_14_
1995            -F_m2x2_d3,F_m2x2_d3|t_18__12_24_
1996            -F_m2x2_d3,N_m2x2|t_18__12_25_
1997            -N_m2x2,F_m2x2_d3|t_18__12_26_
1998    slicev0_subtraction |18_13
1999            -F_v2_d2,F_v2_d2|t_18__13_6_
2000            -F_v2_d2,N_v2|t_18__13_7_
2001            -N_v2,F_v2_d2|t_18__13_8_
2002            -F_v3_d2,F_v3_d2|t_18__13_9_
2003            -F_v3_d2,N_v3|t_18__13_10_
2004            -N_v3,F_v3_d2|t_18__13_11_
2005            -F_v2_d3,F_v2_d3|t_18__13_18_
2006            -F_v2_d3,N_v2|t_18__13_19_
2007            -N_v2,F_v2_d3|t_18__13_20_
2008            -F_v3_d3,F_v3_d3|t_18__13_21_
2009            -F_v3_d3,N_v3|t_18__13_22_
2010            -N_v3,F_v3_d3|t_18__13_23_
2011    slicev1_subtraction |18_14
2012            -F_v2_d2,F_v2_d2|t_18__14_6_
2013            -F_v2_d2,N_v2|t_18__14_7_
2014            -N_v2,F_v2_d2|t_18__14_8_
2015            -F_v3_d2,F_v3_d2|t_18__14_9_
2016            -F_v3_d2,N_v3|t_18__14_10_
2017            -N_v3,F_v3_d2|t_18__14_11_
2018            -F_v2_d3,F_v2_d3|t_18__14_18_
2019            -F_v2_d3,N_v2|t_18__14_19_
2020            -N_v2,F_v2_d3|t_18__14_20_
2021            -F_v3_d3,F_v3_d3|t_18__14_21_
2022            -F_v3_d3,N_v3|t_18__14_22_
2023            -N_v3,F_v3_d3|t_18__14_23_
2024    slicet0_subtraction |18_15
2025    slicet1_subtraction |18_16
2026    addition_subtraction |18_17
2027            -F_sc_d1,F_sc_d1,F_sc_d1|t_18__17_0_
2028            -F_sc_d1,N_sc,F_sc_d1|t_18__17_1_
2029            -N_sc,F_sc_d1,F_sc_d1|t_18__17_2_
2030            -F_sc_d2,F_sc_d2,F_sc_d2|t_18__17_3_
2031            -F_sc_d2,N_sc,F_sc_d2|t_18__17_4_
2032            -N_sc,F_sc_d2,F_sc_d2|t_18__17_5_
2033            -F_v2_d2,F_v2_d2,F_v2_d2|t_18__17_6_
2034            -F_v2_d2,N_v2,F_v2_d2|t_18__17_7_
2035            -N_v2,F_v2_d2,F_v2_d2|t_18__17_8_
2036            -F_v3_d2,F_v3_d2,F_v3_d2|t_18__17_9_
2037            -F_v3_d2,N_v3,F_v3_d2|t_18__17_10_
2038            -F_m2x2_d3,F_m2x2_d3|t_6__21_8_
2039    multiplication_probe |6_22
2040            -F_sc_d1,F_sc_d1|t_6__22_0_
2041            -F_sc_d2,F_sc_d2|t_6__22_1_
2042            -F_v2_d2,F_sc_d2|t_6__22_2_
2043            -F_v3_d2,F_sc_d2|t_6__22_3_
2044            -F_m2x2_d2,F_sc_d2|t_6__22_4_
2045            -F_sc_d2,F_v2_d2|t_6__22_1_
2046            -F_sc_d2,F_v3_d2|t_6__22_1_
2047            -F_sc_d2,F_m2x2_d2|t_6__22_1_
2048            -F_sc_d3,F_sc_d3|t_6__22_5_

Legend:
Removed from v.4263  
changed lines
  Added in v.4272

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0