canonical_simplify.cc 27.4 KB