1 var 1
2 constd 2 1
3 constd 2 2
4 cond 2 1 2 3
5 var 2
6 eq 1 -4 5
7 root 1 6