Add super-simplification

Bench: 1036509