1 var 1
2 var 1
3 var 1
4 var 1
5 add 1 -2 3
6 add 1 5 -4
7 eq 1 1 6
8 add 1 -3 4
9 eq 1 2 8
10 eq 1 3 -4
11 const 1 0
12 eq 1 4 11
13 and 1 7 9 
14 and 1 10 12
15 and 1 13 14
16 root 1 15