1 var 1
2 var 1
3 mul 1 1 2
4 and 1 1 2
5 eq 1 3 4
6 root 1 -5