1 var 1 
2 var 32
3 var 32
4 cond 32 1 2 3
5 eq 1 -4 2
 
6 eq 1 2 -3 
7 and 1 -1 6
8 eq 1 5 7

9 eq 1 2 -4
10 eq 1 7 9

11 or 1 -8 -10
12 root 1 11