="mi">15</span><span class="p">),&amp;</span>
<span class="w">           </span><span class="p">&amp;</span><span class="w"> </span><span class="s1">&#39;checking CI&#39;</span><span class="p">,</span><span class="n">dnum0</span><span class="p">(</span><span class="s1">&#39;CI&#39;</span><span class="p">)</span><span class="o">+</span><span class="n">bug</span><span class="p">,</span><span class="n">dnum0</span><span class="p">(</span><span class="s1">&#39;10*sin(3.1416/4)&#39;</span><span class="p">)</span