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