You can do this with GeneXproTools and it is very simple. For that you must know how to perform basic manipulations in Karva notation. In the online tutorial Karva Notation: The Native Language of GeneXproTools you can find some tips. The most important though, is to write the equation as a tree and then linearize the tree by writing down all its elements from top to bottom and from left to right. After that you’ll be able to create a valid seed program and introduce it through the Change Seed Window and then run it just as you run any other program.