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