Simpler 4x4 determinant