| $${seed}_{(0,0)}^{0} \\leftarrow_{} 1664525 {seed}_{(0,0)}^{0} + 1013904223$$ |
| $${seed}_{(0,0)}^{1} \\leftarrow_{} 1664525 {seed}_{(0,0)}^{1} + 1013904223$$ |
| $${seed}_{(0,0)}^{2} \\leftarrow_{} 1664525 {seed}_{(0,0)}^{2} + 1013904223$$ |
| $$rand_{0} \\leftarrow_{} \\operatorname{CastFunc}{\\left(\\frac{{seed}_{(0,0)}^{0}}{4294967295},\\text{BasicType} \\right)}$$ |
| $$rand_{1} \\leftarrow_{} \\operatorname{CastFunc}{\\left(\\frac{{seed}_{(0,0)}^{1}}{4294967295},\\text{BasicType} \\right)}$$ |
| $$rand_{2} \\leftarrow_{} \\operatorname{CastFunc}{\\left(\\frac{{seed}_{(0,0)}^{2}}{4294967295},\\text{BasicType} \\right)}$$ |
| $${dbg}_{(0,0)} \\leftarrow_{} \\operatorname{CastFunc}{\\left(\\frac{{seed}_{(0,0)}^{0}}{4294967295},\\text{BasicType} \\right)}$$ |
| $$\\xi_{1} \\leftarrow_{} 0.6$$ |
| $$\\xi_{2} \\leftarrow_{} 1.8$$ |
| $$\\xi_{3} \\leftarrow_{} 0.0018$$ |
| $$\\xi_{4} \\leftarrow_{} 0.8$$ |
| $$\\xi_{5} \\leftarrow_{} 0.2$$ |
| $$\\xi_{6} \\leftarrow_{} \\frac{1}{2}$$ |
| $$\\xi_{7} \\leftarrow_{} \\frac{1}{4}$$ |
| $$partial_{m m1 e 0} \\leftarrow_{} f_{3} + f_{5} + f_{7}$$ |
| $$partial_{m 0 e 0} \\leftarrow_{} f_{0} + f_{1} + f_{2}$$ |
| $$partial_{m 1 e 0} \\leftarrow_{} f_{4} + f_{6} + f_{8}$$ |
| $$partial_{m m1 e 1} \\leftarrow_{} f_{5} - f_{7}$$ |
| $$partial_{m 0 e 1} \\leftarrow_{} f_{1} - f_{2}$$ |
| $$partial_{m 1 e 1} \\leftarrow_{} f_{6} - f_{8}$$ |
| $$partial_{m m1 e 2} \\leftarrow_{} f_{5} + f_{7}$$ |
| $$partial_{m 0 e 2} \\leftarrow_{} f_{1} + f_{2}$$ |
| $$partial_{m 1 e 2} \\leftarrow_{} f_{6} + f_{8}$$ |
| $$m_{00} \\leftarrow_{} partial_{m 0 e 0} + partial_{m 1 e 0} + partial_{m m1 e 0}$$ |
| $$m_{10} \\leftarrow_{} partial_{m 1 e 0} - partial_{m m1 e 0}$$ |
| $$m_{01} \\leftarrow_{} partial_{m 0 e 1} + partial_{m 1 e 1} + partial_{m m1 e 1}$$ |
| $$m_{20} \\leftarrow_{} partial_{m 1 e 0} + partial_{m m1 e 0}$$ |
| $$m_{02} \\leftarrow_{} partial_{m 0 e 2} + partial_{m 1 e 2} + partial_{m m1 e 2}$$ |
| $$m_{11} \\leftarrow_{} partial_{m 1 e 1} - partial_{m m1 e 1}$$ |
| $$m_{21} \\leftarrow_{} partial_{m 1 e 1} + partial_{m m1 e 1}$$ |
| $$m_{12} \\leftarrow_{} partial_{m 1 e 2} - partial_{m m1 e 2}$$ |
| $$m_{22} \\leftarrow_{} partial_{m 1 e 2} + partial_{m m1 e 2}$$ |
| $$M_{post 0} \\leftarrow_{} 1.0 m_{00}$$ |
| $$M_{post 1} \\leftarrow_{} 1.0 m_{10}$$ |
| $$M_{post 2} \\leftarrow_{} 1.0 m_{01}$$ |
| $$M_{post 3} \\leftarrow_{} m_{00} \\xi_{1} + m_{10}^{2} \\xi_{2} - m_{20} \\xi_{4} + rand_{0} \\xi_{3}$$ |
| $$M_{post 4} \\leftarrow_{} m_{00} \\xi_{1} + m_{01}^{2} \\xi_{2} - m_{02} \\xi_{4} + rand_{0} \\xi_{3}$$ |
| $$M_{post 5} \\leftarrow_{} m_{01} m_{10} \\xi_{2} - m_{11} \\xi_{4} + rand_{0} \\xi_{3}$$ |
| $$M_{post 6} \\leftarrow_{} m_{01} m_{10}^{2} \\xi_{2} + m_{01} \\xi_{1} - m_{21} \\xi_{4} + rand_{1} \\xi_{3}$$ |
| $$M_{post 7} \\leftarrow_{} m_{01}^{2} m_{10} \\xi_{2} + m_{10} \\xi_{1} - m_{12} \\xi_{4} + rand_{1} \\xi_{3}$$ |
| $$M_{post 8} \\leftarrow_{} m_{00} \\xi_{5} + m_{01}^{2} m_{10}^{2} \\xi_{2} - m_{22} \\xi_{4} + rand_{1} \\xi_{3} + \\xi_{1} \\left(m_{01}^{2} + m_{10}^{2}\\right)$$ |
| $$sub_{k to f 10} \\leftarrow_{} \\xi_{6} \\left(M_{post 4} - M_{post 8}\\right)$$ |
| $$sub_{k to f 11} \\leftarrow_{} \\xi_{6} \\left(M_{post 2} - M_{post 6}\\right)$$ |
| $$sub_{k to f 12} \\leftarrow_{} \\xi_{6} \\left(M_{post 3} - M_{post 8}\\right)$$ |
| $$sub_{k to f 13} \\leftarrow_{} \\xi_{6} \\left(- M_{post 1} + M_{post 7}\\right)$$ |
| $$sub_{k to f 14} \\leftarrow_{} \\xi_{7} \\left(- M_{post 5} + M_{post 8}\\right)$$ |
| $$sub_{k to f 15} \\leftarrow_{} \\xi_{7} \\left(M_{post 6} - M_{post 7}\\right)$$ |
| $$sub_{k to f 16} \\leftarrow_{} \\xi_{7} \\left(M_{post 5} + M_{post 8}\\right)$$ |
| $$sub_{k to f 17} \\leftarrow_{} \\xi_{7} \\left(M_{post 6} + M_{post 7}\\right)$$ |