1 var 1
2 var 1
3 var 1 
4 and 1 2 3
5 or 1 2 3
6 and 1 -4 5 
7 eq 1 1 6 
8 root 1 7