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