1 var 4
2 constd 4 3
3 one 4
4 mul 4 1 2
5 eq 1 3 4
6 root 1 5