canonical_simplify.cc 35.3 KB