Print suggestions about failed but near-successful rewrite rules

[kmyk]

Description / 説明

Print something like "if the AST were a little different, this optimization would succeed".
Similar to #227

OEIS や Wolfram Alpha みたいな使い方を目指すなら、どういう非自明な最適化がかかったかという log が見れると嬉しそう（あとは、これは難しいと思うが、もう少し違う式木だったらこういう最適化ができてた、みたいなのが出力されるようになるとかなり協力？）

— りあん (@rian_tkb) September 8, 2021

(@riantkb)

Motivation / 動機