1 var 8 
2 var 8
3 var 1
4 var 1
5 cond 8 3 2 1
6 cond 8 4 5 2

7 and 1 -3 4
8 cond 8 7 1 2

9 eq 1 6 8 
10 root 1 -9