1 var 4 
2 var 4 
3 var 4 
4 and 4 1 2
5 and 4 1 3
6 eq 1 4 5

7 eq 1 2 3
8 eq 1 6 7
9 root 1 -8