1 var 4 
2 var 2 
3 var 2 
4 srl 4 1 2
5 srl 4 1 3
6 eq 1 4 5

7 eq 1 2 3
8 eq 1 6 7
9 root 1 -8