1 var 1
2 eq 1 1 -1
3 root 1 2