The innards of simp

Stream: new members

[Victor Miller]

simp is very useful to get rid of tedium, but is there a way to get simp to tell you what steps it's actually taken?

[Kevin Buzzard]

squeeze_simp

[Bryan Gin-ge Chen]

or set_option trace.simplify.rewrite true. See this page on the simplifier (written by Kevin, I think).

[Kevin Buzzard]

...when I didn't know anything about simp. That page desperately needs updating! It's on my job list...