1 var 32
2 var 32
3 ones 32
4 xnor 32 1 2
5 eq 1 3 4
6 ne 1 1 2
7 and 1 5 6
8 root 1 7