HomeIsabelle/Phabricator

Reduce the multiplier for inlining in the simplifier.