1 var 4
2 mul 4 1 1
3 constd 4 9
4 eq 1 2 3
5 umulo 1 1 1
6 and 1 4 -5
7 root 1 6