1 var 32 x0
2 var 32 x1
3 var 32 y0
4 var 32 y1
5 eq 1 1 3
6 eq 1 2 4
7 constd 32 2
9 mul 32 2 7
10 cond 32 6 9 7
11 mul 32 1 10
12 cond 32 5 11 7
13 constd 32 1
14 cond 32 6 4 13
15 mul 32 3 14
16 cond 32 5 15 13
17 mul 32 7 16
18 eq 1 12 17
19 root 1 -18