1 var 5
2 mul 5 1 1
3 constd 5 31
4 eq 1 2 3
5 root 1 4