exp: <a href="Expression.html" name="provingground.learning.Expression" id="provingground.learning.Expression" class="extype">Expression</a></span>, <span name="cutoff">cutoff: <span name="scala.Double" class="extype">Double</span></span>)</span><span class="result">: <span name="scala.Predef.Map" class="extype">Map</span>[<a href="Expression.html" name="provingground.learning.Expression" id="provingground.learning.Expression" class="extype">Expression</a>, <span name="scala.Double" class="extype">Double</s