Fast Three-Level Logic Minimization Based on Autosymmetry