1 var 8 v1
2 zero 8
3 eq 1 1 -2
4 root 1 3