Print suggestions about failed but near-successful rewrite rules #228
Description
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)