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