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

6 zero 47
7 eq 1 2 6

8 eq 1 4 7
9 eq 1 5 7

10 or 1 -8 -9
11 root 1 10