A computational reflection based solver for expressions involving Z (but tunable) - View it on GitHub