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