Finding Product and Sum Patterns in non-commutative settings | Synapse