1 var 1
2 var 1
3 eq 1 1 -2
4 root 1 3
5 zero 1
6 eq 1 5 -2
7 root 1 6
8 ult 1 1 -2
9 eq 1 -2 5
10 and 1 8 9
11 root 1 10