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