Oh, this is great! Some time ago I tried to hand optimize S4 group multiplication. S4 group elements are representable on 5 bits, so it is a 10 bit -> 5 bit fun

Oh, this is great! Some time ago I tried to hand optimize S4 group multiplication. S4 group elements are representable on 5 bits, so it is a 10 bit -> 5 bit function. Directly optimizing it on Karnaugh maps is infeasible. I managed by breaking it down to Z2, Z3 and V4. I would love to unleash a bruteforce optimization on it.