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