Is this something like a superoptimizer? looks cool!