INORDER = a b c d f g h; OUTORDER = f0 f1; f0 = n_n17 + n_n0; f1 = n_n2 + n_n1; n_n15 = d*[37]; n_n16 = f*[38]; n_n14 = h*[39]; n_n0 = [40] + n_n14; n_n1 = n_n12 + n_n13; n_n2 = [43] + n_n9; n_n13 = !a*!b; n_n12 = !a*f; n_n10 = !f*[41]; n_n11 = !f*!g; n_n9 = f*[42]; n_n17 = a*b; [37] = !c*!b; [38] = d*c; [39] = !f*b; [40] = n_n15 + n_n16; [41] = b*a; [42] = !d*!b; [43] = n_n11 + n_n10;