reg is_xor msd_2 msd_2 msd_2 "([1,0,1]|[0,1,1]|[0,0,0]|[1,1,0])*"; reg is_a048718 msd_2 "(0*0001)*0*"; eval formulas "Ax $is_a048718(x) => $is_xor(x,14*x,15*x) & $is_xor(3*x,9*x,10*x) & $is_xor(3*x,13*x,14*x) & $is_xor(5*x,9*x,12*x) & $is_xor(5*x,11*x,14*x) & $is_xor(6*x,11*x,13*x) & $is_xor(7*x,9*x,14*x) & $is_xor(7*x,10*x,13*x) & $is_xor(7*x,11*x,12*x) & $is_xor(12*x,21*x,25*x) & $is_xor(12*x,37*x,41*x)":