Now the theory is complete!
Check out the new solver which gives no gimmick solutions. Pretty much all solutions are reasonably distinct. Except solutions like 4 * 6 *7 / 7 and 4 * 6 + 7 – 7 are treated as distinct solutions.
I think it’s debatable if they are different and I will just leave them as is.
Will update all other pages to reflect the completeness of the solver.
Edit: On second thought, 4 * 6 * 7 / 7 and 4 * 6 + 7 – 7 should be treated as the same solution, will finish this over the weekend.