simplifier has a 4x4 version : https://simplifier.neocities.org/4x4