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

9 eq 1 3 4
10 eq 1 7 9

11 or 1 -8 -10
12 root 1 11