add version of simplification that prints steps as they happen for debugging
add version of simplification that prints steps as they happen for debugging
shinnya/jhc-mirror,shinnya/jhc-mirror,hvr/jhc,hvr/jhc,shinnya/jhc-mirror,hvr/jhc,hvr/jhc,shinnya/jhc-mirror