1 var 32
2 constd 32 14
3 constd 32 23
4 constd 32 37

5 add 32 1 2
6 add 32 5 3

7 add 32 1 4
8 eq 1 6 7


9 add 32 3 5 
10 eq 1 9 7

11 or 1 -8 -10
12 root 1 11