1 var 47
2 var 47
3 add 47 1 -2
4 eq 1 -2 3
5 eq 1 3 -2 

6 zero 47
7 eq 1 1 6

8 eq 1 4 7
9 eq 1 5 7

10 or 1 -8 -9
11 root 1 10