diff --git a/docs/beta/code/Alhazen.py b/docs/beta/code/Alhazen.py index b644e703..3c029382 100755 --- a/docs/beta/code/Alhazen.py +++ b/docs/beta/code/Alhazen.py @@ -3,7 +3,7 @@ # "Learning from Failures" - a chapter of "The Debugging Book" # Web site: https://www.debuggingbook.org/html/Alhazen.html -# Last change: 2025-01-07 10:36:36+01:00 +# Last change: 2025-01-07 11:04:38+01:00 # # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security # Copyright (c) 2018-2020 Saarland University, authors, and contributors @@ -76,10 +76,10 @@ There is also a text version available, with much fewer (but hopefully still essential) details: >>> print(alhazen.friendly_decision_tree()) -if <= 3.5000: - if == 'sqrt': - if <= -11.0000: - if <= 72.9000: +if <= 4.5000: + if <= 42.1500: + if == 'sqrt': + if <= -11.9137: BUG else: NO_BUG @@ -2002,7 +2002,9 @@ def friendly_decision_tree(self, tree = None): print(alhazen.friendly_decision_tree()) import inspect -print(inspect.getsource(task_sqrt)) + +if __name__ == '__main__': + print(inspect.getsource(task_sqrt)) ## Lessons Learned ## --------------- diff --git a/docs/beta/code/Tours.py b/docs/beta/code/Tours.py index 07fff1bb..b3f5c224 100755 --- a/docs/beta/code/Tours.py +++ b/docs/beta/code/Tours.py @@ -3,7 +3,7 @@ # "Tours through the Book" - a chapter of "The Debugging Book" # Web site: https://www.debuggingbook.org/html/Tours.html -# Last change: 2025-01-07 10:34:29+01:00 +# Last change: 2025-01-07 11:01:55+01:00 # # Copyright (c) 2021-2023 CISPA Helmholtz Center for Information Security # Copyright (c) 2018-2020 Saarland University, authors, and contributors diff --git a/docs/beta/dist/debuggingbook-1.2.4.tar.gz b/docs/beta/dist/debuggingbook-1.2.4.tar.gz index 56ee17bd..d03aab39 100644 Binary files a/docs/beta/dist/debuggingbook-1.2.4.tar.gz and b/docs/beta/dist/debuggingbook-1.2.4.tar.gz differ diff --git a/docs/beta/dist/debuggingbook-code.zip b/docs/beta/dist/debuggingbook-code.zip index b8527c3f..6498747c 100644 Binary files a/docs/beta/dist/debuggingbook-code.zip and b/docs/beta/dist/debuggingbook-code.zip differ diff --git a/docs/beta/dist/debuggingbook-notebooks.zip b/docs/beta/dist/debuggingbook-notebooks.zip index ba185ec5..3bb6fbda 100644 Binary files a/docs/beta/dist/debuggingbook-notebooks.zip and b/docs/beta/dist/debuggingbook-notebooks.zip differ diff --git a/docs/beta/html/00_Table_of_Contents.html b/docs/beta/html/00_Table_of_Contents.html index d9b9e727..82b077f7 100644 --- a/docs/beta/html/00_Table_of_Contents.html +++ b/docs/beta/html/00_Table_of_Contents.html @@ -12311,7 +12311,7 @@

Inspecting Call St The content of this project is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. The source code that is part of the content, as well as the source code used to format and display that content is licensed under the MIT License. -Last change: 2025-01-07 10:37:54+01:00 • +Last change: 2025-01-07 11:05:13+01:00 • Cite • Imprint

@@ -12327,7 +12327,7 @@

Inspecting Call St

How to Cite this Work

-Andreas Zeller: "The Debugging Book". In Andreas Zeller, "The Debugging Book", https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html. Retrieved 2025-01-07 10:37:54+01:00. +Andreas Zeller: "The Debugging Book". In Andreas Zeller, "The Debugging Book", https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html. Retrieved 2025-01-07 11:05:13+01:00. 

 @incollection{debuggingbook2025:00_Table_of_Contents,
@@ -12337,9 +12337,9 @@ 
How to Cite this Work

     year = {2025},
     publisher = {CISPA Helmholtz Center for Information Security},
     howpublished = {\url{https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html}},
-    note = {Retrieved 2025-01-07 10:37:54+01:00},
+    note = {Retrieved 2025-01-07 11:05:13+01:00},
     url = {https://www.debuggingbook.org/beta/html/00_Table_of_Contents.html},
-    urldate = {2025-01-07 10:37:54+01:00}
+    urldate = {2025-01-07 11:05:13+01:00}
 }
diff --git a/docs/beta/html/Alhazen.html b/docs/beta/html/Alhazen.html index 1b34af5a..475f42d9 100644 --- a/docs/beta/html/Alhazen.html +++ b/docs/beta/html/Alhazen.html @@ -12077,145 +12077,145 @@ - + Tree - + 0 - -<lead-digit> <= 3.5 -gini = 0.5 -samples = 709 -value = [1.0, 1.0] -class = BUG + +<lead-digit> <= 4.5 +gini = 0.5 +samples = 1270 +value = [1.0, 1.0] +class = NO_BUG 1 - -<function> == 'sqrt' <= 0.5 -gini = 0.378 -samples = 262 -value = [1.0, 0.339] -class = BUG + +<value> <= 42.15 +gini = 0.341 +samples = 391 +value = [1.0, 0.278] +class = BUG 0->1 - - -True + + +True - + -14 - -gini = 0.0 -samples = 447 -value = [0.0, 0.661] -class = NO_BUG +12 + +gini = -0.0 +samples = 879 +value = [0.0, 0.722] +class = NO_BUG - + -0->14 - - -False +0->12 + + +False 2 - -gini = 0.0 -samples = 146 -value = [0.0, 0.216] -class = NO_BUG + +<function> == 'sqrt' <= 0.5 +gini = 0.179 +samples = 186 +value = [1.0, 0.11] +class = BUG 1->2 - - + + - + + +9 + +gini = 0.0 +samples = 205 +value = [0.0, 0.168] +class = NO_BUG + + + +1->9 + + + + -5 - -<term> <= -11.0 -gini = 0.195 -samples = 116 -value = [1.0, 0.123] -class = BUG +3 + +gini = -0.0 +samples = 97 +value = [0.0, 0.08] +class = NO_BUG - + -1->5 - - +2->3 + + - + -6 - -<value> <= 72.9 -gini = 0.071 -samples = 59 -value = [1.0, 0.038] -class = BUG +4 + +<term> <= -11.914 +gini = 0.057 +samples = 89 +value = [1.0, 0.03] +class = BUG - + -5->6 - - - - - -11 - -gini = 0.0 -samples = 57 -value = [0.0, 0.084] -class = NO_BUG - - - -5->11 - - +2->4 + + - + -7 - -gini = -0.0 -samples = 33 -value = [1.0, 0.0] -class = BUG +5 + +gini = 0.0 +samples = 52 +value = [1.0, 0.0] +class = BUG - + -6->7 - - +4->5 + + 8 - -gini = 0.0 -samples = 26 -value = [0.0, 0.038] -class = NO_BUG + +gini = -0.0 +samples = 37 +value = [0.0, 0.03] +class = NO_BUG - + -6->8 - - +4->8 + + @@ -12236,10 +12236,10 @@ The saturation of nodes also indicates purity – the higher the saturation, the higher the purity.

There is also a text version available, with much fewer (but hopefully still essential) details:

>>> print(alhazen.friendly_decision_tree())
-if <lead-digit> <= 3.5000:
-  if <function> == 'sqrt':
-    if <term> <= -11.0000:
-      if <value> <= 72.9000:
+if <lead-digit> <= 4.5000:
+  if <value> <= 42.1500:
+    if <function> == 'sqrt':
+      if <term> <= -11.9137:
         BUG
       else:
         NO_BUG
@@ -13636,8 +13636,8 @@
  num(<value>),
  num(<lead-digit>),
  num(<digit>),
- num(<integer>),
- num(<digits>)]
+ num(<digits>),
+ num(<integer>)]
@@ -13713,8 +13713,8 @@ '<value>', '<lead-digit>', '<digit>', - '<integer>', - '<digits>'] + '<digits>', + '<integer>'] @@ -13833,8 +13833,8 @@ num(<value>) num(<lead-digit>) num(<digit>) - num(<integer>) num(<digits>) + num(<integer>) @@ -13859,8 +13859,8 @@ 900.00 9.0 0.0 - 900.0 0.0 + 900.0 1 @@ -13883,8 +13883,8 @@ 24.00 2.0 4.0 - 24.0 4.0 + 24.0 2 @@ -13907,8 +13907,8 @@ 3.14 NaN 4.0 - 3.0 14.0 + 3.0 @@ -14016,8 +14016,8 @@ num(<value>): 900.0 num(<lead-digit>): 9.0 num(<digit>): 0.0 - num(<integer>): 900.0 num(<digits>): 0.0 + num(<integer>): 900.0 Features of sin(24): exists(<start>): 1 exists(<start> == <function>(<term>)): 1 @@ -14063,8 +14063,8 @@ num(<value>): 24.0 num(<lead-digit>): 2.0 num(<digit>): 4.0 - num(<integer>): 24.0 num(<digits>): 4.0 + num(<integer>): 24.0 Features of cos(-3.14): exists(<start>): 1 exists(<start> == <function>(<term>)): 1 @@ -14110,8 +14110,8 @@ num(<value>): 3.14 num(<lead-digit>): nan num(<digit>): 4.0 - num(<integer>): 3.0 num(<digits>): 14.0 + num(<integer>): 3.0 @@ -16004,12 +16004,12 @@
-
function-sqrt <= 0.5
-function-sqrt > 0.5, number <= 13.0
-function-sqrt > 0.5, number > 13.0
-function-sqrt > 0.5
+
function-sqrt > 0.5
 function-sqrt <= 0.5, number > 13.0
+function-sqrt <= 0.5
 function-sqrt <= 0.5, number <= 13.0
+function-sqrt > 0.5, number <= 13.0
+function-sqrt > 0.5, number > 13.0
@@ -17130,592 +17130,659 @@
-
Features: exists(<start>), <start> == '<function>(<term>)', exists(<function>), <function> == 'sqrt', <function> == 'tan', <function> == 'cos', <function> == 'sin', exists(<term>), <term> == '-<value>', <term> == '<value>', exists(<value>), <value> == '<integer>.<digits>', <value> == '<integer>', exists(<integer>), <integer> == '<lead-digit><digits>', <integer> == '<digit>', exists(<digits>), <digits> == '<digit><digits>', <digits> == '<digit>', exists(<lead-digit>), <lead-digit> == '1', <lead-digit> == '2', <lead-digit> == '3', <lead-digit> == '4', <lead-digit> == '5', <lead-digit> == '6', <lead-digit> == '7', <lead-digit> == '8', <lead-digit> == '9', exists(<digit>), <digit> == '0', <digit> == '1', <digit> == '2', <digit> == '3', <digit> == '4', <digit> == '5', <digit> == '6', <digit> == '7', <digit> == '8', <digit> == '9', <term>, <value>, <lead-digit>, <digit>, <integer>, <digits>
+
Features: exists(<start>), <start> == '<function>(<term>)', exists(<function>), <function> == 'sqrt', <function> == 'tan', <function> == 'cos', <function> == 'sin', exists(<term>), <term> == '-<value>', <term> == '<value>', exists(<value>), <value> == '<integer>.<digits>', <value> == '<integer>', exists(<integer>), <integer> == '<lead-digit><digits>', <integer> == '<digit>', exists(<digits>), <digits> == '<digit><digits>', <digits> == '<digit>', exists(<lead-digit>), <lead-digit> == '1', <lead-digit> == '2', <lead-digit> == '3', <lead-digit> == '4', <lead-digit> == '5', <lead-digit> == '6', <lead-digit> == '7', <lead-digit> == '8', <lead-digit> == '9', exists(<digit>), <digit> == '0', <digit> == '1', <digit> == '2', <digit> == '3', <digit> == '4', <digit> == '5', <digit> == '6', <digit> == '7', <digit> == '8', <digit> == '9', <term>, <value>, <lead-digit>, <digit>, <digits>, <integer>
 
 Iteration #1
   Decision Tree:
-    if exists(<lead-digit>):
+    if <digit> == '6':
       BUG
     else:
       NO_BUG
 
   New input specifications:
-    exists(<lead-digit>)
-    exists(<lead-digit>)
+    <digit> == '6'
+    <digit> == '6'
   New samples:
-    sqrt(-5), sin(87)
+    cos(-163), sqrt(8.90)
 
 Iteration #2
   Decision Tree:
-    if <digits> <= 6.5000:
+    if <digits> <= 34.5000:
       BUG
     else:
       NO_BUG
 
   New input specifications:
-    <digits> <= 6.5
-    <digits> > 6.5
+    <digits> <= 34.5
+    <digits> > 34.5
   New samples:
-    tan(30), tan(-856427.34926)
+    sin(19), tan(-856427.34926)
 
 Iteration #3
   Decision Tree:
-    if <lead-digit> <= 2.0000:
+    if <digits> <= 7.5000:
       BUG
     else:
       NO_BUG
 
   New input specifications:
-    <lead-digit> > 2.0
-    <lead-digit> <= 2.0
+    <digits> > 7.5
+    <digits> <= 7.5
   New samples:
-    cos(6726.274), sin(-230)
+    tan(-7.83), tan(-7.3)
 
 Iteration #4
   Decision Tree:
-    if <lead-digit> == '1':
-      BUG
+    if <digits> <= 7.5000:
+      if <term> <= -11.6500:
+        BUG
+      else:
+        NO_BUG
     else:
       NO_BUG
 
   New input specifications:
-    <lead-digit> == '1'
-    <lead-digit> == '1'
+    <digits> <= 7.5 and <term> > -11.650000095367432
+    <digits> > 7.5 and <term> <= -11.650000095367432
+    <digits> > 7.5
+    <digits> <= 7.5
+    <digits> > 7.5 and <term> > -11.650000095367432
+    <digits> <= 7.5 and <term> <= -11.650000095367432
   New samples:
-    sin(13), sin(9.0)
+    tan(-8.3), sin(-97.442), tan(4.9), sin(46), tan(276), sin(-94.3)
 
 Iteration #5
   Decision Tree:
-    if <lead-digit> == '1':
-      if <function> == 'sqrt':
+    if <function> == 'sqrt':
+      if <term> <= -6.0000:
         BUG
       else:
         NO_BUG
     else:
-      if exists(<digits>):
-        NO_BUG
-      else:
-        NO_BUG
+      NO_BUG
 
   New input specifications:
-    exists(<digits>) and <lead-digit> == '1'
-    exists(<digits>) and <lead-digit> == '1'
-    <function> == 'sqrt' and <lead-digit> == '1'
-    <function> == 'sqrt' and <lead-digit> == '1'
-    <function> == 'sqrt' and <lead-digit> == '1'
-    exists(<digits>) and <lead-digit> == '1'
-    exists(<digits>) and <lead-digit> == '1'
-    <function> == 'sqrt' and <lead-digit> == '1'
+    <function> == 'sqrt' and <term> > -6.0
+    <function> == 'sqrt' and <term> > -6.0
+    <function> == 'sqrt' and <term> <= -6.0
+    <function> == 'sqrt'
+    <function> == 'sqrt'
+    <function> == 'sqrt' and <term> <= -6.0
   New samples:
-    tan(4.9), sin(15.1), tan(-66.4333), sqrt(-7441), sqrt(148.3), tan(1), sqrt(-7), sin(-158.672), sqrt(-3), tan(4), sqrt(2), cos(2), sin(-6), sqrt(-7), sin(-143.1), sin(-195), tan(-9), sin(-7), sqrt(2), sqrt(0), sin(-5), sin(-4), sqrt(-6), sqrt(3), sin(-9), tan(11.3571), cos(6), sin(-125.98), cos(0), sqrt(-1), tan(-7), sin(-12)
+    sqrt(8.2), tan(1), sin(-81), cos(578.4776), sqrt(-7), sqrt(-8)
 
 Iteration #6
   Decision Tree:
-    if <digits> <= 6.5000:
-      if <digits> <= 5.5000:
-        if <value> <= 10.5000:
-          NO_BUG
-        else:
-          NO_BUG
-      else:
+    if <lead-digit> == '1':
+      if <function> == 'sqrt':
         BUG
-    else:
-      if <digit> == '4':
-        NO_BUG
       else:
         NO_BUG
+    else:
+      NO_BUG
 
   New input specifications:
-    <digit> == '4' and <digits> > 6.5
-    <digits> <= 5.5 and <value> <= 10.5
-    <digit> == '4' and <digits> <= 6.5
-    <digits> > 5.5 and <value> <= 10.5
-    <digits> > 5.5 and <value> > 10.5
-    <digits> <= 5.5 and <value> > 10.5
-    <digit> == '4' and <digits> > 6.5
-    <digit> == '4' and <digits> <= 6.5
+    <function> == 'sqrt' and <lead-digit> == '1'
+    <function> == 'sqrt' and <lead-digit> == '1'
+    <lead-digit> == '1'
+    <function> == 'sqrt' and <lead-digit> == '1'
+    <function> == 'sqrt' and <lead-digit> == '1'
+    <lead-digit> == '1'
   New samples:
-    tan(-83.667), tan(-1.2), tan(74), tan(2.874), sin(16246.3), sin(43), tan(895949), cos(-7.1)
+    sin(125964698), sqrt(1.8), tan(-8), sqrt(12.86), sin(2), cos(14102)
 
 Iteration #7
   Decision Tree:
-    if <digits> <= 6.5000:
-      if <digit> == '6':
+    if <lead-digit> <= 1.5000:
+      if <digits> <= 7.5000:
         BUG
       else:
         NO_BUG
     else:
-      if <value> == '<integer>.<digits>':
+      if <digit> == '7':
         NO_BUG
       else:
         NO_BUG
 
   New input specifications:
-    <value> == '<integer>.<digits>' and <digits> > 6.5
-    <value> == '<integer>.<digits>' and <digits> > 6.5
-    <digit> == '6' and <digits> > 6.5
-    <digit> == '6' and <digits> <= 6.5
-    <value> == '<integer>.<digits>' and <digits> <= 6.5
-    <digit> == '6' and <digits> > 6.5
-    <value> == '<integer>.<digits>' and <digits> <= 6.5
-    <digit> == '6' and <digits> <= 6.5
+    <digits> <= 7.5 and <lead-digit> <= 1.5
+    <digit> == '7' and <lead-digit> <= 1.5
+    <digits> <= 7.5 and <lead-digit> > 1.5
+    <digit> == '7' and <lead-digit> > 1.5
+    <digits> > 7.5 and <lead-digit> > 1.5
+    <digits> > 7.5 and <lead-digit> <= 1.5
+    <digit> == '7' and <lead-digit> > 1.5
+    <digit> == '7' and <lead-digit> <= 1.5
   New samples:
-    sqrt(-4231), sqrt(-9.8189), tan(5.8), tan(46), sin(-7.3), tan(6.227), sin(45), sin(-9.2)
+    sqrt(11.7), cos(-1720.499), tan(-30.4), tan(37), sqrt(-40.94), tan(-1538.5), sqrt(-989), sqrt(-1686)
 
 Iteration #8
   Decision Tree:
-    if <lead-digit> <= 1.5000:
-      if <function> == 'sqrt':
-        if <digit> == '6':
-          BUG
-        else:
-          NO_BUG
+    if <function> == 'sqrt':
+      if <value> <= 14.4300:
+        NO_BUG
       else:
-        if <value> == '<integer>':
-          NO_BUG
+        if <value> <= 514.9700:
+          BUG
         else:
           NO_BUG
     else:
-      if <digit> == '8':
-        NO_BUG
-      else:
-        NO_BUG
+      NO_BUG
 
   New input specifications:
-    <digit> == '6' and <function> == 'sqrt' and <lead-digit> <= 1.5
-    <digit> == '8' and <lead-digit> > 1.5
-    <digit> == '6' and <function> == 'sqrt' and <lead-digit> > 1.5
-    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> <= 1.5
-    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> > 1.5
-    <digit> == '8' and <lead-digit> <= 1.5
-    <digit> == '6' and <function> == 'sqrt' and <lead-digit> <= 1.5
-    <digit> == '8' and <lead-digit> > 1.5
-    <digit> == '6' and <function> == 'sqrt' and <lead-digit> > 1.5
-    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> <= 1.5
-    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> > 1.5
-    <digit> == '8' and <lead-digit> <= 1.5
+    <function> == 'sqrt' and <value> > 514.9699993133545
+    <function> == 'sqrt' and <value> <= 514.9699993133545
+    <function> == 'sqrt' and <value> > 514.9699993133545
+    <function> == 'sqrt' and <value> <= 14.429999828338623
+    <function> == 'sqrt' and <value> <= 14.429999828338623
+    <function> == 'sqrt'
+    <function> == 'sqrt'
+    <function> == 'sqrt' and <value> > 14.429999828338623
   New samples:
-    sqrt(-1), sqrt(8), sqrt(2), sqrt(3.2), sqrt(7.29), sqrt(177.86), sqrt(-2.4), sqrt(-0.72), sqrt(5.14), sqrt(-4.5), sqrt(8.8979), tan(12), sqrt(98), sqrt(8.202), cos(11), sqrt(-2.34791), sqrt(-851.7), sqrt(1), sqrt(-0), sin(-17), sqrt(-5), sqrt(3.4), sqrt(-949.18), sqrt(-9.7), sqrt(-4.3), tan(-12), sqrt(-20.90), sqrt(34293.162), sin(-198), cos(712091.34), sqrt(19), cos(11.516695), sqrt(1983.482), sqrt(2.967855), sqrt(6), sqrt(56.9), sqrt(-846.4), sqrt(3358.16567), sin(29.8), sqrt(77949.0997235), cos(-18.6), sin(6989), sin(182.41)
+    sqrt(-830), sqrt(6), sin(992), cos(-5.0), sqrt(7), tan(9), sqrt(4571), sqrt(56.9)
 
 Iteration #9
   Decision Tree:
-    if <term> <= -14.0000:
-      if <term> <= -43.6666:
+    if <term> <= -12.1500:
+      if <term> <= -60.9700:
         NO_BUG
       else:
-        if <function> == 'sqrt':
-          BUG
-        else:
+        if <digit> <= 5.0000:
           NO_BUG
+        else:
+          BUG
     else:
-      if <lead-digit> == '7':
-        NO_BUG
-      else:
-        NO_BUG
+      NO_BUG
 
   New input specifications:
-    <lead-digit> == '7' and <term> > -14.0
-    <lead-digit> == '7' and <term> <= -14.0
-    <term> > -43.66664791107178
-    <lead-digit> == '7' and <term> > -14.0
-    <lead-digit> == '7' and <term> <= -14.0
-    <term> <= -43.66664791107178
+    <term> <= -60.96999931335449
+    <term> > -12.150000095367432
+    <term> > -60.96999931335449
+    <term> <= -12.150000095367432
   New samples:
-    tan(798.38), sin(788.5), sin(79.1), cos(-97), cos(-84), sin(-151.74), tan(-14.7), sqrt(-25334.88), sqrt(-18), cos(-90.64), cos(-66.13), sqrt(-61056.0), sin(7499), cos(-452.2), sqrt(-1234782.3), sin(-449756), cos(-319.8), sin(-31115.15), sin(-904), tan(-1153.8289), sin(-49), tan(-4872), sqrt(33), tan(7.03), sin(-18.2586321), cos(-386.0)
+    sqrt(-654), sin(3), sin(-8), tan(-27.17)
 
 Iteration #10
   Decision Tree:
-    if <lead-digit> <= 2.5000:
-      if <function> == 'sqrt':
-        if <value> <= 84.6000:
-          if <term> <= 1.5000:
-            BUG
-          else:
-            NO_BUG
-        else:
-          NO_BUG
+    if <term> <= -12.1500:
+      if <term> <= -60.9700:
+        NO_BUG
       else:
-        if <digit> == '3':
+        if <function> == 'tan':
           NO_BUG
         else:
-          NO_BUG
+          BUG
     else:
       NO_BUG
 
   New input specifications:
-    <digit> == '3' and <function> == 'sqrt' and <lead-digit> <= 2.5
-    <digit> == '3' and <function> == 'sqrt' and <lead-digit> <= 2.5
-    <function> == 'sqrt' and <lead-digit> <= 2.5 and <term> <= 1.5 and <value> > 84.60000133514404
-    <function> == 'sqrt' and <lead-digit> <= 2.5 and <term> > 1.5 and <value> <= 84.60000133514404
-    <lead-digit> > 2.5
-    <function> == 'sqrt' and <lead-digit> > 2.5 and <value> <= 84.60000133514404
-    <function> == 'sqrt' and <lead-digit> <= 2.5 and <value> <= 84.60000133514404
-    <function> == 'sqrt' and <lead-digit> <= 2.5 and <term> <= 1.5 and <value> <= 84.60000133514404
-    <function> == 'sqrt' and <lead-digit> > 2.5 and <term> <= 1.5 and <value> <= 84.60000133514404
-    <digit> == '3' and <function> == 'sqrt' and <lead-digit> > 2.5
-    <function> == 'sqrt' and <lead-digit> <= 2.5 and <term> > 1.5 and <value> > 84.60000133514404
-    <function> == 'sqrt' and <lead-digit> > 2.5 and <term> > 1.5 and <value> <= 84.60000133514404
-    <lead-digit> <= 2.5
-    <function> == 'sqrt' and <lead-digit> <= 2.5 and <value> > 84.60000133514404
-    <function> == 'sqrt' and <lead-digit> > 2.5 and <term> <= 1.5 and <value> > 84.60000133514404
-    <function> == 'sqrt' and <lead-digit> > 2.5 and <term> > 1.5 and <value> > 84.60000133514404
-    <function> == 'sqrt' and <lead-digit> > 2.5 and <value> > 84.60000133514404
-    <digit> == '3' and <function> == 'sqrt' and <lead-digit> > 2.5
+    <term> <= -60.96999931335449
+    <term> > -12.150000095367432
+    <term> > -60.96999931335449
+    <term> <= -12.150000095367432
   New samples:
-    cos(13), cos(-29), sqrt(206), sqrt(-21.210), sqrt(13172.9), sqrt(-580), tan(-233.1637), sin(-2036), tan(12.4), sqrt(42.2), cos(11), tan(26.4), sqrt(60.8), sqrt(4), sqrt(57), sqrt(8), sqrt(66), sqrt(9.4), sqrt(8.72), sqrt(89.5), sqrt(-50), sqrt(-24), sqrt(-0), cos(-15.5), tan(-24), sqrt(-26573.52), sqrt(-6), sqrt(-4.3), sqrt(0), sqrt(1), sqrt(-2.7), sqrt(-53.3), sin(31.74), sqrt(209), cos(58.7), tan(73.8), sqrt(-81), sqrt(5.856), sqrt(2.493), sqrt(22.8218), sqrt(9), tan(37.5), sqrt(-35.183421), sqrt(-77.28), sqrt(689.2), sqrt(586), sin(34.56), sqrt(22.95), sqrt(6.7), sqrt(11.6533), sqrt(-20900), sqrt(-90), sqrt(540), sqrt(908), sin(-936)
+    cos(-89), sin(-4.8), tan(6), cos(-62.1)
 
 Iteration #11
   Decision Tree:
-    if <term> <= -15.7500:
-      if <term> <= -42.0917:
-        NO_BUG
-      else:
+    if <term> <= -12.1500:
+      if <integer> <= 51.0000:
         if <function> == 'sqrt':
-          if <value> <= 17.0000:
-            BUG
-          else:
-            BUG
+          BUG
         else:
           NO_BUG
+      else:
+        NO_BUG
     else:
       NO_BUG
 
   New input specifications:
-    <term> <= -15.75
-    <term> <= -42.09171104431152
-    <term> > -42.09171104431152
-    <term> > -15.75
+    <function> == 'sqrt' and <integer> > 51.0 and <term> <= -12.150000095367432
+    <function> == 'sqrt' and <integer> <= 51.0 and <term> > -12.150000095367432
+    <function> == 'sqrt' and <integer> > 51.0 and <term> > -12.150000095367432
+    <term> <= -12.150000095367432
+    <integer> > 51.0 and <term> > -12.150000095367432
+    <integer> <= 51.0 and <term> <= -12.150000095367432
+    <term> > -12.150000095367432
+    <function> == 'sqrt' and <integer> > 51.0 and <term> > -12.150000095367432
+    <integer> > 51.0 and <term> <= -12.150000095367432
+    <function> == 'sqrt' and <integer> <= 51.0 and <term> > -12.150000095367432
+    <function> == 'sqrt' and <integer> <= 51.0 and <term> <= -12.150000095367432
+    <function> == 'sqrt' and <integer> <= 51.0 and <term> <= -12.150000095367432
+    <function> == 'sqrt' and <integer> > 51.0 and <term> <= -12.150000095367432
   New samples:
-    sqrt(-8995), cos(-804167687.8), sqrt(1512691.22), cos(6.77)
+    tan(-91139.9733), cos(7.59), sqrt(61.09), tan(-350), sqrt(656.7), sqrt(-16.2), cos(-6.491), tan(85), sqrt(-65), sqrt(5.5), tan(-39.77), sqrt(2.1), sqrt(-831.9), sqrt(31), sqrt(4.1217), sqrt(7), sqrt(-2.7), sqrt(7.09), sqrt(-9), sin(-13.5), sqrt(-9), sqrt(1.9), sin(-25.0), sqrt(9), sqrt(-7.17945), sqrt(7.11), sqrt(-87), sqrt(3), sqrt(-8.30), sqrt(-93.91), sqrt(-9.0499), tan(-29), sqrt(4.95), sqrt(-3), sqrt(-596.2)
 
 Iteration #12
   Decision Tree:
-    if <term> <= -15.7500:
-      if <term> <= -42.0917:
-        NO_BUG
+    if <lead-digit> <= 4.5000:
+      if <function> == 'sqrt':
+        if <term> <= -2.1500:
+          if <term> <= -863.4700:
+            NO_BUG
+          else:
+            BUG
+        else:
+          NO_BUG
       else:
-        if <function> == 'sqrt':
-          BUG
+        if <digit> == '3':
+          NO_BUG
         else:
           NO_BUG
     else:
       NO_BUG
 
   New input specifications:
-    <term> <= -15.75
-    <term> <= -42.09171104431152
-    <term> > -42.09171104431152
-    <term> > -15.75
+    <digit> == '3' and <function> == 'sqrt' and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> <= -863.4699993133545
+    <lead-digit> <= 4.5
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> > -863.4699993133545
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> <= -2.1500000953674316
+    <lead-digit> > 4.5
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> <= -863.4699993133545
+    <digit> == '3' and <function> == 'sqrt' and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> > -863.4699993133545
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> <= -2.1500000953674316
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> > -2.1500000953674316
+    <digit> == '3' and <function> == 'sqrt' and <lead-digit> > 4.5
+    <digit> == '3' and <function> == 'sqrt' and <lead-digit> > 4.5
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> > -2.1500000953674316
   New samples:
-    cos(-51), sqrt(-91705.70), sqrt(-9.8417), cos(-7)
+    tan(-186.5), sqrt(-451750.63), sqrt(-94.5), sqrt(-844.3), sqrt(-630), sqrt(-81), sqrt(-90), cos(-6536.38), sqrt(-713.457), tan(-286.462), sqrt(-15), sqrt(-57.0906), sqrt(657.3), sqrt(167), sqrt(-20), sqrt(17.9), sin(-29713538), sqrt(-25.63), sqrt(15.1), sqrt(-37.2), sqrt(-157.4), sqrt(-31), cos(-27719790.4), sin(-32.73), sqrt(50), sqrt(-30.40), sqrt(57), tan(58.4), sin(-903050), sqrt(190.15)
 
 Iteration #13
   Decision Tree:
-    if <term> <= -15.7500:
-      if <integer> <= 42.0000:
-        if <function> == 'sqrt':
-          BUG
+    if <lead-digit> <= 4.5000:
+      if <function> == 'sqrt':
+        if <term> <= -1.6500:
+          if <value> <= 99.1700:
+            BUG
+          else:
+            if <value> == '<integer>':
+              NO_BUG
+            else:
+              NO_BUG
         else:
-          NO_BUG
+          if <digits> == '<digit><digits>':
+            NO_BUG
+          else:
+            NO_BUG
       else:
-        if <term> <= -402701231.1250:
+        if <term> == '<value>':
           NO_BUG
         else:
           NO_BUG
     else:
-      NO_BUG
+      if <digits>:
+        NO_BUG
+      else:
+        NO_BUG
 
   New input specifications:
-    <function> == 'sqrt' and <integer> > 42.0 and <term> > -15.75
-    <function> == 'sqrt' and <integer> <= 42.0 and <term> > -15.75
-    <function> == 'sqrt' and <integer> > 42.0 and <term> > -15.75
-    <integer> <= 42.0 and <term> <= -402701231.125
-    <function> == 'sqrt' and <integer> > 42.0 and <term> <= -15.75
-    <term> <= -15.75
-    <function> == 'sqrt' and <integer> <= 42.0 and <term> > -15.75
-    <function> == 'sqrt' and <integer> <= 42.0 and <term> <= -15.75
-    <function> == 'sqrt' and <integer> > 42.0 and <term> <= -15.75
-    <function> == 'sqrt' and <integer> <= 42.0 and <term> <= -15.75
-    <integer> > 42.0 and <term> <= -402701231.125
-    <term> > -15.75
-    <integer> > 42.0 and <term> > -402701231.125
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316 and <value> > 99.16999626159668
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> > 4.5 and <term> <= -1.6500000953674316 and <value> <= 99.16999626159668
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> > 4.5 and <term> <= -1.6500000953674316 and <value> > 99.16999626159668
+    <digits> == '<digit><digits>' and <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316 and <value> <= 99.16999626159668
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> > 4.5 and <term> <= -1.6500000953674316 and <value> > 99.16999626159668
+    <digits> > 0.5 and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316 and <value> > 99.16999626159668
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> <= -1.6500000953674316 and <value> > 99.16999626159668
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> <= 4.5 and <term> > -1.6500000953674316 and <value> > 99.16999626159668
+    <function> == 'sqrt' and <term> == '<value>' and <lead-digit> > 4.5
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> > 4.5 and <term> > -1.6500000953674316 and <value> > 99.16999626159668
+    <digits> == '<digit><digits>' and <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316
+    <digits> == '<digit><digits>' and <function> == 'sqrt' and <lead-digit> > 4.5 and <term> > -1.6500000953674316
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> <= 4.5 and <term> > -1.6500000953674316 and <value> > 99.16999626159668
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316 and <value> <= 99.16999626159668
+    <digits> == '<digit><digits>' and <function> == 'sqrt' and <lead-digit> > 4.5 and <term> > -1.6500000953674316
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> > 4.5 and <term> <= -1.6500000953674316 and <value> <= 99.16999626159668
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316 and <value> > 99.16999626159668
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> > -1.6500000953674316 and <value> <= 99.16999626159668
+    <digits> > 0.5 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <term> == '<value>' and <lead-digit> <= 4.5
+    <digits> == '<digit><digits>' and <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> > -1.6500000953674316
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316 and <value> <= 99.16999626159668
+    <digits> == '<digit><digits>' and <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> > -1.6500000953674316
+    <digits> == '<digit><digits>' and <function> == 'sqrt' and <lead-digit> > 4.5 and <term> <= -1.6500000953674316
+    <digits> <= 0.5 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> <= -1.6500000953674316 and <value> <= 99.16999626159668
+    <function> == 'sqrt' and <term> == '<value>' and <lead-digit> > 4.5
+    <digits> <= 0.5 and <lead-digit> <= 4.5
+    <digits> == '<digit><digits>' and <function> == 'sqrt' and <lead-digit> > 4.5 and <term> <= -1.6500000953674316
+    <function> == 'sqrt' and <term> == '<value>' and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <value> == '<integer>' and <lead-digit> > 4.5 and <term> > -1.6500000953674316 and <value> > 99.16999626159668
   New samples:
-    sin(95), sqrt(7.3), sqrt(4421), tan(-3), cos(6.7832), tan(34.3), tan(7.0), tan(-9), sqrt(-0.4960), tan(-0.51), sqrt(1), cos(-3), sin(-7), sqrt(0.7234333), sqrt(4.0189450), tan(-8), sqrt(-6.8), cos(3.2), sqrt(3.7), sqrt(7.025), sqrt(-5.2349), cos(8), cos(6.24), cos(-8), sqrt(3.1), cos(17.39), tan(-6.86), sin(-38), tan(-5.3), sqrt(-15.9), sqrt(-4), tan(-1.753), sin(8), sin(11), cos(33), sqrt(31.51), sqrt(-4.2), tan(6.3), tan(37), sin(-0.26), sqrt(-5.25), cos(-8.97), cos(-5.992), tan(-4.4), sqrt(-1), cos(9.8), sqrt(1), cos(3.0), sqrt(-3.7), sqrt(6.0), sin(40.891), sqrt(3), tan(-33), tan(7.58489), tan(-6.8), tan(-8), sqrt(8.2204), tan(6.7851), cos(1), tan(4), sqrt(-5.754), sin(2.6833), cos(-2), tan(2), sin(-279), sqrt(-69.7), cos(7.99), sqrt(-29.67), sqrt(-57.5), cos(-0.3), tan(-7), cos(-4), sin(-7.5), tan(6), sin(-0), cos(-779), cos(-3), cos(3), cos(-2.5373), cos(-8), sin(-1939), tan(5.6), cos(-211.25), tan(-9.978), sin(-7478.1), cos(9), tan(0.661), cos(-3), sin(9), tan(1.5), sin(-9.92), tan(-3867), tan(-0.951231), sin(31), tan(-600.471), sin(4), sin(5.4), tan(3.9166), sin(4.6), sin(0), tan(-448), sin(4), cos(-645), tan(-3.03), sin(-7.51), sin(0.6), cos(9.209), cos(-4), tan(2.5), cos(-60166146.5), sin(2.3), cos(-46), cos(6.7866), sin(-6.5), tan(4), tan(-8), sin(-58), cos(-6.1), tan(-90866), cos(-40460), tan(-8342), tan(2.5), sin(-9), tan(-5.5), tan(4), cos(-9.9), tan(2.4), tan(-65.04), sin(99), cos(-79235), tan(-788), sqrt(-3722), cos(-625), cos(-758.9), cos(123), cos(-61095896), sqrt(-85), tan(67.930), sqrt(926), cos(-967), cos(-397534.8), sqrt(-3225), sin(-78.4), tan(32817.5), cos(9177.211961), sin(-92.9160), tan(277.4), sin(525.96), tan(69), sqrt(-75.7), cos(9116.48), tan(613358.2952688005), tan(96), cos(-84), sqrt(-6853.5418911), cos(-422.2), sqrt(871.80), sin(861.22), tan(-445737.6), sin(-77.753640), cos(-43.7), sqrt(75), sin(34011), sin(51), tan(-248), cos(81), tan(91.17551719), cos(327), sqrt(807.6), tan(68.3584), sin(-5364), sqrt(91.153), tan(68410.0), cos(95)
+    sqrt(-160.737), sqrt(-74), sqrt(-837739), sin(-11.9), sqrt(-67), cos(-28), sqrt(-65), sqrt(-2), sin(-14), sqrt(-68), sqrt(-53), cos(-11), sqrt(-3), sqrt(-9), sqrt(-6.502), sqrt(-88.74), sqrt(-4), sin(-22.93187), cos(-29.7), tan(-30.0), sqrt(-75.1130), sqrt(-6.5), tan(-29.37), sqrt(-58), sqrt(-88), sqrt(-7.298), sqrt(-9.9), tan(-32.293806), sqrt(44), sqrt(-5.46), tan(-532.50), sin(-7803.04), sqrt(-10178.7107), sqrt(-4500.81), tan(-48.970), sqrt(-39790), sqrt(-8171), tan(244), sqrt(2597.81), sqrt(-252802), tan(-79.8), sqrt(534883.0467), sqrt(-14981), sqrt(871.80), sqrt(143.8823), sqrt(23.73), sqrt(-2264.9658), tan(-45.7), sqrt(36.5), sqrt(-1162.64), sqrt(48.3), sin(-22.6), cos(-11.887), sqrt(-8.6173), sqrt(27.23), sqrt(-4.825), sqrt(63), sqrt(-60.0), sqrt(-44912393.45), sqrt(38), sqrt(62.9), sin(1864), sqrt(488), tan(-36), sqrt(-30.78), sqrt(-427), sqrt(-6), sqrt(-8), sqrt(30), sqrt(42.4), cos(-73535.8), cos(-578), sqrt(94.76), cos(-84.59), sqrt(839), sqrt(653.7943), sqrt(-21.881), sin(-65704), tan(-6201), sqrt(-31.146), sqrt(-85), sin(-6171), tan(-766.7), tan(-5460.24), sqrt(66301), sqrt(-55.0), cos(63), sin(-735), tan(-70.8), cos(-51), cos(-84.60), sqrt(-97.168), sqrt(-87), tan(-743), sqrt(966), tan(83.8), cos(52.579), cos(51), sqrt(920.3), sin(76), sin(-5071.2), sqrt(-753.661), cos(660), sin(7178), sin(-8069.2), sqrt(-97.7), sqrt(3.00), cos(-8799.19), sin(65.31), cos(53.7), sqrt(-867), sin(67864.0), sin(-6.0), tan(5321.2), cos(3.0), sin(57), tan(9155.0), sqrt(56.3), cos(-68), sin(735), cos(86), sqrt(7667.0), sin(96), sqrt(-50.8), sin(838.9), tan(-2674.49), cos(3721676.4), sqrt(39), cos(-17), cos(118.3), cos(15), sqrt(-37), sin(-3500), tan(-111), tan(23.778), sqrt(-487), sqrt(1857.62), sin(-2203.072803694), tan(25.210), sqrt(28), cos(25.1579585), sqrt(-238), sqrt(-17), cos(-47.701), sin(2524), tan(3759), sqrt(-20.9), sin(-15), sqrt(-21), sin(-12), sqrt(-77.0), sin(-370), sqrt(853265.1), sqrt(99), cos(56412), sqrt(65), sqrt(1630)
 
 Iteration #14
   Decision Tree:
-    if <lead-digit> <= 3.5000:
+    if <lead-digit> <= 4.5000:
       if <function> == 'sqrt':
-        if <term> == '-<value>':
-          if <term> <= -1630.0917:
-            NO_BUG
-          else:
+        if <integer> <= 41.0000:
+          if <term> == '-<value>':
             BUG
-        else:
-          if exists(<lead-digit>):
-            NO_BUG
           else:
             NO_BUG
+        else:
+          NO_BUG
       else:
         NO_BUG
     else:
-      if <lead-digit> == '4':
-        NO_BUG
-      else:
-        NO_BUG
+      NO_BUG
 
   New input specifications:
-    <function> == 'sqrt' and <term> == '-<value>' and <lead-digit> <= 3.5 and <term> <= -1630.0917110443115
-    <function> == 'sqrt' and exists(<lead-digit>) and <term> == '-<value>' and <lead-digit> <= 3.5
-    <function> == 'sqrt' and exists(<lead-digit>) and <term> == '-<value>' and <lead-digit> > 3.5
-    <lead-digit> == '4' and <lead-digit> > 3.5
-    <function> == 'sqrt' and <term> == '-<value>' and <lead-digit> > 3.5 and <term> > -1630.0917110443115
-    <function> == 'sqrt' and <lead-digit> > 3.5
-    <function> == 'sqrt' and <term> == '-<value>' and <lead-digit> <= 3.5 and <term> > -1630.0917110443115
-    <function> == 'sqrt' and <lead-digit> <= 3.5
-    <function> == 'sqrt' and exists(<lead-digit>) and <term> == '-<value>' and <lead-digit> > 3.5
-    <lead-digit> == '4' and <lead-digit> > 3.5
-    <lead-digit> == '4' and <lead-digit> <= 3.5
-    <function> == 'sqrt' and exists(<lead-digit>) and <term> == '-<value>' and <lead-digit> <= 3.5
-    <function> == 'sqrt' and <term> == '-<value>' and <lead-digit> <= 3.5 and <term> > -1630.0917110443115
-    <function> == 'sqrt' and exists(<lead-digit>) and <term> == '-<value>' and <lead-digit> <= 3.5
-    <function> == 'sqrt' and exists(<lead-digit>) and <term> == '-<value>' and <lead-digit> <= 3.5
-    <function> == 'sqrt' and <term> == '-<value>' and <lead-digit> > 3.5 and <term> <= -1630.0917110443115
-    <lead-digit> == '4' and <lead-digit> <= 3.5
-    <function> == 'sqrt' and <lead-digit> <= 3.5
-    <function> == 'sqrt' and <term> == '-<value>' and <lead-digit> <= 3.5 and <term> <= -1630.0917110443115
+    <function> == 'sqrt' and <integer> > 41.0 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <lead-digit> > 4.5
+    <function> == 'sqrt' and <term> == '-<value>' and <integer> > 41.0 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <term> == '-<value>' and <integer> > 41.0 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <term> == '-<value>' and <integer> <= 41.0 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <integer> <= 41.0 and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <term> == '-<value>' and <integer> <= 41.0 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <term> == '-<value>' and <integer> <= 41.0 and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <integer> > 41.0 and <lead-digit> <= 4.5
+    <lead-digit> <= 4.5
+    <function> == 'sqrt' and <term> == '-<value>' and <integer> > 41.0 and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <integer> <= 41.0 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <term> == '-<value>' and <integer> > 41.0 and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <term> == '-<value>' and <integer> <= 41.0 and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <lead-digit> <= 4.5
+    <lead-digit> > 4.5
   New samples:
-    sqrt(-14007), sqrt(37), sqrt(8), sqrt(41), sqrt(78.94), sqrt(6), sqrt(2.946), sqrt(9), sqrt(5), sqrt(89.7), sqrt(768), sqrt(4), sqrt(97.6), sqrt(82101.89), tan(-5126.642), sqrt(-50), sin(-91.63), sqrt(-18.8), sqrt(-30.78), sqrt(86.2), tan(-4299), sqrt(-226.9), sqrt(9.198), sqrt(26), sqrt(6.798), sqrt(0), sqrt(7), sqrt(351), sqrt(-37), sqrt(-2), sqrt(-4.0889617), sqrt(-1), sqrt(-3.31), sqrt(-1), sqrt(-4), sqrt(-238), sqrt(-17), sqrt(-20.9), sqrt(-21), sqrt(-6.269), sqrt(-9), sqrt(-4), sqrt(-2239), sqrt(-23.556), sqrt(-9357.495957044), cos(18), cos(-3819.4), sin(-19), cos(162), cos(26.02), tan(16271.18324), tan(-497.8105), sin(-1884.585), cos(-3129.89), cos(-22.2), tan(-19.1607), sqrt(1630), tan(1498.30), sin(-31), sin(-3817456.3), tan(332.9), sin(31), sin(35.11), sin(13), tan(29.23), tan(-36.4858), cos(-4475.148), sqrt(-42), tan(-26.33), sin(27.77), sqrt(20681.3), sqrt(138.8), sqrt(269.50), sqrt(2037.7)
+    sqrt(82), sin(-95396), sqrt(8175501), sqrt(-5038.7441), sqrt(-9), sqrt(-2.2), sqrt(-9.088), sqrt(-52), sqrt(-6.813), sqrt(-7), sqrt(-2.1), sqrt(-35), sqrt(-867105552.6), sqrt(14.47), sqrt(6), sqrt(5.2), sqrt(64.19574829), sqrt(6.7), sqrt(1), sqrt(93), sqrt(5.2), sqrt(8.27), sqrt(97), sqrt(9), sqrt(0.680), sqrt(64.578), sqrt(4), sqrt(752.6), sqrt(-29.593), sqrt(309.0), cos(14.008), sqrt(-263), sqrt(91), sqrt(-4.88), sqrt(-15.92), sqrt(-9), sqrt(-54.03), sqrt(-6.62522), sqrt(0), sqrt(-0.5109), sqrt(9.28), sqrt(-2), sqrt(-9231.1301), sqrt(-5.47), sqrt(53.9), sqrt(-5.6), sqrt(9705), sqrt(-91), sqrt(38), sqrt(7), sqrt(36.4), sqrt(-15), sqrt(8), sqrt(4.52), sqrt(-897.3), sqrt(124), sqrt(28), sqrt(-26), sin(-45), tan(-95)
 
 Iteration #15
   Decision Tree:
-    if <term> <= -15.7000:
-      if <value> <= 42.8500:
+    if <lead-digit> <= 4.5000:
+      if <integer> <= 41.0000:
         if <function> == 'sqrt':
-          BUG
-        else:
-          NO_BUG
-      else:
-        if <lead-digit> == '1':
-          NO_BUG
+          if <term> <= -1.6500:
+            if <lead-digit> == '3':
+              BUG
+            else:
+              BUG
+          else:
+            NO_BUG
         else:
           NO_BUG
-    else:
-      if <function> == 'tan':
-        NO_BUG
       else:
         NO_BUG
+    else:
+      NO_BUG
 
   New input specifications:
-    <lead-digit> == '1' and <term> > -15.699999809265137 and <value> <= 42.85000038146973
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> > 42.85000038146973
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> > 42.85000038146973
-    <lead-digit> == '1' and <term> > -15.699999809265137 and <value> > 42.85000038146973
-    <lead-digit> == '1' and <term> <= -15.699999809265137 and <value> <= 42.85000038146973
-    <lead-digit> == '1' and <term> > -15.699999809265137 and <value> <= 42.85000038146973
-    <function> == 'tan' and <term> > -15.699999809265137
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> <= 42.85000038146973
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> > 42.85000038146973
-    <lead-digit> == '1' and <term> > -15.699999809265137 and <value> > 42.85000038146973
-    <function> == 'tan' and <term> <= -15.699999809265137
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> <= 42.85000038146973
-    <lead-digit> == '1' and <term> <= -15.699999809265137 and <value> <= 42.85000038146973
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> > 42.85000038146973
-    <function> == 'tan' and <term> <= -15.699999809265137
-    <lead-digit> == '1' and <term> <= -15.699999809265137 and <value> > 42.85000038146973
-    <function> == 'tan' and <term> > -15.699999809265137
-    <lead-digit> == '1' and <term> <= -15.699999809265137 and <value> > 42.85000038146973
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> <= 42.85000038146973
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> <= 42.85000038146973
+    <integer> <= 41.0 and <lead-digit> <= 4.5
+    <lead-digit> <= 4.5
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> <= 41.0 and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316
+    <function> == 'sqrt' and <integer> <= 41.0 and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <integer> > 41.0 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <integer> <= 41.0 and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> > 41.0 and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> > 41.0 and <lead-digit> <= 4.5 and <term> > -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> <= 41.0 and <lead-digit> > 4.5 and <term> <= -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> <= 41.0 and <lead-digit> <= 4.5 and <term> > -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> > 41.0 and <lead-digit> <= 4.5 and <term> > -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> > 41.0 and <lead-digit> > 4.5 and <term> <= -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> > 41.0 and <lead-digit> > 4.5 and <term> <= -1.6500000953674316
+    <lead-digit> > 4.5
+    <function> == 'sqrt' and <integer> > 41.0 and <lead-digit> <= 4.5 and <term> > -1.6500000953674316
+    <integer> > 41.0 and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <integer> <= 41.0 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> > 41.0 and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> <= 41.0 and <lead-digit> > 4.5 and <term> <= -1.6500000953674316
+    <function> == 'sqrt' and <integer> <= 41.0 and <lead-digit> <= 4.5 and <term> > -1.6500000953674316
+    <function> == 'sqrt' and <integer> <= 41.0 and <lead-digit> > 4.5 and <term> > -1.6500000953674316
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> <= 41.0 and <lead-digit> <= 4.5 and <term> > -1.6500000953674316
+    <function> == 'sqrt' and <integer> > 41.0 and <lead-digit> > 4.5 and <term> > -1.6500000953674316
+    <integer> > 41.0 and <lead-digit> > 4.5
+    <function> == 'sqrt' and <integer> > 41.0 and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <lead-digit> == '3' and <integer> <= 41.0 and <lead-digit> <= 4.5 and <term> <= -1.6500000953674316
   New samples:
-    sin(13), sqrt(7965.0965), tan(115.162), tan(257856.2335), tan(-22.02), cos(-5.92), sqrt(5.940), sin(-5), sin(-38403.17), cos(18929.8), cos(-55.146062), sqrt(-36.4), cos(-16.028), sqrt(-68), tan(-68146.4), sqrt(-88), tan(-5), tan(-14445), cos(-33.093), sqrt(-0.6)
+    sin(-35.3), sqrt(-11.64), sqrt(-31), sin(12.9), sin(877.45120), cos(-32.1), sqrt(-216559.3), sqrt(-8.10), sqrt(-3.2), sqrt(-2669.0), cos(-37.3), sqrt(-44.62), sqrt(-2.47), cos(-23.8), sqrt(-2.0), tan(-35.05095), sqrt(-275.768), sqrt(4511.36), sqrt(-90), sqrt(-66.4), sqrt(-6), sqrt(-99), sqrt(-8.4), sqrt(-11), sqrt(11), sqrt(-36.8), cos(33.943), tan(34.4), sqrt(-38.34275), sqrt(307), sqrt(31.23), sin(357.1), sqrt(185), sqrt(-7011), sqrt(-80968.7), sqrt(-660099.98511), cos(713), sqrt(3544504515.2), sqrt(-273), tan(-5.4), tan(6), tan(5), tan(60), sin(25), sin(6.8), sin(-80), tan(9.29), sin(4), tan(-3.92), tan(-7.3), cos(69), sin(-0), sin(3), cos(-4), cos(-0), tan(-5), tan(-3), sin(-7805.9), sin(8.1), cos(0.1), tan(-9.4), sin(7), cos(98.34), tan(56), cos(2), sin(-9), tan(-5.34), sin(73), tan(9.5663), tan(-88), tan(-9144), sin(3.54104), sin(91677.42), cos(4.9), cos(52), cos(0), tan(-2), cos(-8.0), tan(-8.9), tan(36.2), sin(-18), tan(3.4), cos(-7.7081), sin(-75), tan(-6513.5838), tan(-66.1), cos(-7507080), tan(-26.9), tan(-5414065.9), tan(-5690.9), tan(-0), cos(-52), tan(25.391), sin(-550.916), cos(-33.5), cos(-701), sin(-5), sin(-89), tan(5.7), cos(-3.3853), tan(-5.6880), cos(39.9), cos(-11), cos(-0.6), sin(6.617), sqrt(-4307.0), sin(-323.24), sqrt(-5), sqrt(-57), sqrt(-4), sin(-35.2), sqrt(-13), sqrt(-7), sqrt(-8), sqrt(-10.2), sin(-35.1), sqrt(-356), sqrt(37), sqrt(-17.381), sqrt(-9.9), sqrt(3), tan(40.7), sqrt(-0.95), sqrt(7), sqrt(0), cos(21.7), sqrt(-0), sqrt(-16), sqrt(7), sqrt(1.2), sqrt(995), sqrt(6), sqrt(2.1), sqrt(7), sqrt(1), sqrt(2), sqrt(3), sqrt(89), sqrt(5), sqrt(2), sqrt(31.4), sqrt(0), sqrt(21), sqrt(905.0), cos(-723.7), sin(-49.311), sqrt(-8.61), sqrt(-3.4), sqrt(-43.4), sqrt(-6), sqrt(12.172), sqrt(-2.896), sqrt(-8), sqrt(-5), sqrt(-46.0), sin(-40.8056), sqrt(-2)
 
 Iteration #16
   Decision Tree:
-    if <term> <= -15.7000:
-      if <value> <= 42.8500:
-        if <function> == 'sqrt':
-          BUG
+    if <lead-digit> <= 4.5000:
+      if <function> == 'sqrt':
+        if <term> <= -12.3200:
+          if <term> <= -42.1700:
+            NO_BUG
+          else:
+            if <value> <= 14.0000:
+              BUG
+            else:
+              BUG
         else:
-          NO_BUG
+          if <term> <= -11.3200:
+            NO_BUG
+          else:
+            NO_BUG
       else:
-        if <term> <= -432631788.0000:
-          NO_BUG
-        else:
-          NO_BUG
+        NO_BUG
     else:
-      NO_BUG
+      if <value> <= 0.0500:
+        NO_BUG
+      else:
+        NO_BUG
 
   New input specifications:
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> > 42.85000038146973
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> <= 42.85000038146973
-    <term> <= -432631788.0 and <value> > 42.85000038146973
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> > 42.85000038146973
-    <term> <= -15.699999809265137
-    <term> > -15.699999809265137
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> <= 42.85000038146973
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> > 42.85000038146973
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> <= 42.85000038146973
-    <term> > -432631788.0 and <value> > 42.85000038146973
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> > 42.85000038146973
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> <= 42.85000038146973
-    <term> <= -432631788.0 and <value> <= 42.85000038146973
+    <function> == 'sqrt' and <lead-digit> > 4.5
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> > -11.320000171661377
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> <= -11.320000171661377
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> <= -42.170000076293945
+    <function> == 'sqrt' and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> > -11.320000171661377
+    <lead-digit> <= 4.5 and <value> <= 0.05000000074505806
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> > -42.170000076293945
+    <lead-digit> <= 4.5 and <value> > 0.05000000074505806
+    <function> == 'sqrt' and <lead-digit> > 4.5 and <term> > -42.170000076293945
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> <= -42.170000076293945
+    <function> == 'sqrt' and <lead-digit> <= 4.5 and <term> <= -11.320000171661377
+    <function> == 'sqrt' and <lead-digit> <= 4.5
+    <lead-digit> > 4.5 and <value> > 0.05000000074505806
+    <lead-digit> > 4.5 and <value> <= 0.05000000074505806
   New samples:
-    sqrt(217), sqrt(-35), sin(-329.2883), tan(190966212.8), sin(995.287), cos(-8551), tan(-474.5), cos(-96), cos(-68.306), cos(-4897.7), sqrt(-5771.08), sqrt(8214.8), sin(-2988), sqrt(-769), cos(95), tan(-84), sin(-730), sqrt(-54.7), sin(-218.4), tan(-425), tan(-27208106.6537), tan(-48.77), sqrt(-61), tan(-81.1), sqrt(-80), sqrt(4511.36), sin(3856529), sin(-56), cos(774.1), tan(70), sqrt(-1667.1), sin(44), cos(-504679), sqrt(87.71), tan(61), cos(-53423), cos(-95), sqrt(-2898), cos(-75), tan(-229), sin(4758), sin(1264.2), sqrt(83.7), cos(-95.7), sqrt(-90), sqrt(-66.4), cos(254288), tan(-18.8), sin(8.36002), cos(-9), sin(-72307), cos(-18.9), tan(-93.3), sqrt(-87.3), sqrt(0), tan(-2), tan(34.8), cos(-5.5606), tan(-5.10), tan(3.10), cos(-6.8), sqrt(8), cos(-30.1), cos(-1), tan(0.73), cos(-9), tan(-5.481), sqrt(-7), cos(-7.10), sqrt(40), sqrt(-0.87), tan(2), sqrt(0), sin(3), sin(4), sqrt(2), cos(-25), tan(-5.40), tan(5.8), sin(3.6), tan(-8), sin(9), tan(39), tan(3.3), cos(8.5), sqrt(39.8), sin(6.8618), sin(5), cos(6.2950), sin(-2), tan(6.4352), cos(-42), sqrt(40), cos(-4), sqrt(-1), sqrt(7.897), cos(4), tan(-8.71), tan(-17), sqrt(0), sin(-7), sqrt(7.07), sin(2), tan(4.2920), cos(2.2), cos(4.3), cos(7), tan(9), cos(8.59), cos(-1.1), tan(18.8)
+    sin(-584.0), sqrt(99943022), sqrt(-740), sqrt(-47), sin(-6188.36), cos(-9247.0), cos(-75), sin(-565212.0), sqrt(70), sqrt(55), sin(-88.3525), tan(-56), sqrt(6753.75), sqrt(74.22), sqrt(-479.3), tan(-813), cos(-831966.79), sqrt(-350.1), sqrt(-39245.5), sqrt(26), cos(-366288162.6), sqrt(31.64), cos(-36.46), sin(-101.51), sin(-26), sqrt(20), cos(-206.902), sqrt(-129164.8), tan(-25), sin(27), tan(-0), sin(-49.62), sqrt(32), tan(-345), cos(-24), sqrt(-11627.4333), tan(246), cos(17.7), sqrt(-36), cos(16), tan(-39), sin(161), sqrt(17), tan(-47687), sqrt(14523320), cos(44528.3), sin(-2701), sqrt(-38), sqrt(20), sin(27.96), sqrt(767.205), sqrt(-184.108), sqrt(-4704560.3), cos(250.91), sqrt(77.5446), tan(0), sqrt(80.5), tan(-0), sin(-70788), sqrt(0), cos(0), sqrt(84), sqrt(-53340), cos(59.9), sqrt(0), sin(833), cos(-66.3897), tan(-86.5), tan(-94), cos(-55917.210), sqrt(65), sqrt(-701), sqrt(-76198), sqrt(-842), tan(-0), tan(6952), sin(68.63), sin(-0), sqrt(99), sin(90)
 
 Iteration #17
   Decision Tree:
-    if <term> <= -15.7000:
-      if <integer> <= 42.5000:
-        if <function> == 'sqrt':
-          if <digit> <= 1.5000:
+    if <lead-digit> <= 3.5000:
+      if <function> == 'sqrt':
+        if <term> <= -12.3200:
+          if <value> <= 97.8714:
             BUG
           else:
+            if <digit> == '2':
+              NO_BUG
+            else:
+              NO_BUG
+        else:
+          NO_BUG
+      else:
+        NO_BUG
+    else:
+      if <lead-digit> <= 4.5000:
+        if <integer> <= 41.0000:
+          if <function> == 'sqrt':
             BUG
+          else:
+            if <term> == '<value>':
+              NO_BUG
+            else:
+              NO_BUG
         else:
-          if <digit> == '2':
+          if <value> <= 42.9000:
             NO_BUG
           else:
             NO_BUG
       else:
-        NO_BUG
-    else:
-      NO_BUG
+        if <digit> == '5':
+          NO_BUG
+        else:
+          NO_BUG
 
   New input specifications:
-    <integer> > 42.5 and <term> > -15.699999809265137
-    <digit> == '2' and <function> == 'sqrt' and <integer> > 42.5 and <term> > -15.699999809265137
-    <digit> == '2' and <function> == 'sqrt' and <integer> <= 42.5 and <term> <= -15.699999809265137
-    <function> == 'sqrt' and <digit> > 1.5 and <integer> > 42.5 and <term> <= -15.699999809265137
-    <function> == 'sqrt' and <digit> > 1.5 and <integer> <= 42.5 and <term> > -15.699999809265137
-    <integer> > 42.5 and <term> <= -15.699999809265137
-    <function> == 'sqrt' and <digit> > 1.5 and <integer> <= 42.5 and <term> <= -15.699999809265137
-    <digit> == '2' and <function> == 'sqrt' and <integer> > 42.5 and <term> > -15.699999809265137
-    <function> == 'sqrt' and <digit> <= 1.5 and <integer> <= 42.5 and <term> <= -15.699999809265137
-    <term> <= -15.699999809265137
-    <term> > -15.699999809265137
-    <digit> == '2' and <function> == 'sqrt' and <integer> <= 42.5 and <term> <= -15.699999809265137
-    <integer> <= 42.5 and <term> <= -15.699999809265137
-    <digit> == '2' and <function> == 'sqrt' and <integer> > 42.5 and <term> <= -15.699999809265137
-    <digit> == '2' and <function> == 'sqrt' and <integer> > 42.5 and <term> <= -15.699999809265137
-    <function> == 'sqrt' and <digit> <= 1.5 and <integer> > 42.5 and <term> <= -15.699999809265137
-    <function> == 'sqrt' and <digit> <= 1.5 and <integer> <= 42.5 and <term> > -15.699999809265137
-    <digit> == '2' and <function> == 'sqrt' and <integer> <= 42.5 and <term> > -15.699999809265137
-    <digit> == '2' and <function> == 'sqrt' and <integer> <= 42.5 and <term> > -15.699999809265137
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> > 3.5 and <term> > -12.320000171661377 and <value> > 97.87137222290039
+    <function> == 'sqrt' and <lead-digit> <= 3.5
+    <digit> == '5' and <lead-digit> <= 4.5
+    <function> == 'sqrt' and <lead-digit> <= 3.5
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> > 3.5 and <term> <= -12.320000171661377 and <value> > 97.87137222290039
+    <function> == 'sqrt' and <lead-digit> > 3.5
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> > 3.5 and <term> <= -12.320000171661377 and <value> <= 97.87137222290039
+    <function> == 'sqrt' and <lead-digit> > 3.5 and <term> <= -12.320000171661377 and <value> <= 97.87137222290039
+    <digit> == '5' and <lead-digit> > 4.5
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> > -12.320000171661377 and <value> > 97.87137222290039
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> > 3.5 and <term> > -12.320000171661377 and <value> > 97.87137222290039
+    <function> == 'sqrt' and <lead-digit> > 3.5 and <term> <= -12.320000171661377 and <value> > 97.87137222290039
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> > 3.5 and <term> <= -12.320000171661377 and <value> <= 97.87137222290039
+    <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> <= -12.320000171661377 and <value> <= 97.87137222290039
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> > -12.320000171661377 and <value> > 97.87137222290039
+    <function> == 'sqrt' and <lead-digit> > 3.5 and <term> > -12.320000171661377
+    <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> <= -12.320000171661377
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> <= -12.320000171661377 and <value> <= 97.87137222290039
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> > 3.5 and <term> <= -12.320000171661377 and <value> > 97.87137222290039
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> <= -12.320000171661377 and <value> > 97.87137222290039
+    <digit> == '5' and <lead-digit> > 4.5
+    <digit> == '5' and <lead-digit> <= 4.5
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> <= -12.320000171661377 and <value> <= 97.87137222290039
+    <function> == 'sqrt' and <lead-digit> > 3.5 and <term> <= -12.320000171661377
+    <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> > -12.320000171661377
+    <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> <= -12.320000171661377 and <value> > 97.87137222290039
+    <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> > -12.320000171661377 and <value> <= 97.87137222290039
+    <digit> == '2' and <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> <= -12.320000171661377 and <value> > 97.87137222290039
   New samples:
-    tan(89313), cos(439), cos(-2.5), tan(-17), sin(9.2), sin(-52045.4), tan(-41.10), sin(-27), cos(-372), sin(2.5), sin(-0.92), sin(-513302.1), cos(-3.846802), tan(-9.7624), tan(-0.23), sqrt(-72), sqrt(-11.7), cos(-2247), sqrt(-23.68), sin(242), sqrt(0), sqrt(1), sqrt(-1), cos(-61.16), cos(979), cos(-40.3), cos(-42), cos(-6907.8), tan(-5422.8), sqrt(-51724), sqrt(-413), tan(-90), sqrt(-43.6), tan(-81), sqrt(-96.26), sqrt(2.7), sqrt(9.3), sin(-0), sin(-1), sqrt(-2.286), sqrt(-5), sqrt(7), cos(0), sqrt(-6), sqrt(60), sqrt(-7.715), sqrt(37), sqrt(6.3), sin(-0), sqrt(-8), sqrt(-8), sqrt(9), tan(-0), sqrt(-8), sqrt(-3), sqrt(-6.6), cos(5.7), tan(4.278)
+    sqrt(52869), tan(-32), tan(-217763.1506), sqrt(-28092831.582), sqrt(872043.7), sqrt(564.28474), sqrt(-950.1), sqrt(-7733470), sqrt(4828.1), cos(588), sqrt(-9283071), sqrt(-22.7), sin(-52.30), tan(-74), sin(-81), cos(-76.3), sqrt(-80136), cos(-62), sqrt(62.8), sin(-75), sin(-67), tan(-40), sin(-56), sqrt(31395.08), cos(151972), sin(22457.9050), tan(2626), sqrt(96902.1249), cos(3443.2), sqrt(812), sin(175405720.87), sqrt(7019.9), sqrt(-8104), sqrt(-79.4), sqrt(-25.0), sqrt(3191), sqrt(709), sin(-322488.0), cos(-24.42), sqrt(33), sqrt(-562.3), sin(-355.75), sqrt(21.8), tan(-18656.6), cos(-19), cos(-15.4681), sqrt(-96), cos(-1098), cos(-19.4), sqrt(-22), sqrt(-419.467), sqrt(-249.11), sqrt(95.67), sqrt(11.2), tan(-23.30), sqrt(-44.3), sqrt(-78.0), sqrt(-76), sin(-24), sqrt(-1651533.3), tan(-24), sin(-34.5), sqrt(35.99), cos(-13), sqrt(-29831), sqrt(-385), cos(-21), sqrt(-54), cos(-36.58), sqrt(-82), sqrt(27.827), sqrt(-128374.92579), sqrt(21), sqrt(30211993), sqrt(-16586), cos(-35227020), sqrt(-832.9)
 
 Iteration #18
   Decision Tree:
-    if <term> <= -15.7000:
-      if <term> <= -42.8000:
-        if <lead-digit> == '9':
-          NO_BUG
+    if <lead-digit> <= 3.5000:
+      if <function> == 'sqrt':
+        if <term> <= -12.3200:
+          if <term> <= -97.8714:
+            NO_BUG
+          else:
+            BUG
         else:
           NO_BUG
       else:
-        if <function> == 'sqrt':
-          BUG
+        if <function> == 'tan':
+          NO_BUG
         else:
-          if <digit> == '4':
+          NO_BUG
+    else:
+      if <lead-digit> == '4':
+        if <integer> <= 41.0000:
+          if <value> <= 40.8728:
+            if <digit> == '8':
+              NO_BUG
+            else:
+              NO_BUG
+          else:
+            BUG
+        else:
+          if <digits> <= 4.5000:
             NO_BUG
           else:
             NO_BUG
-    else:
-      if <lead-digit> <= 1.5000:
-        NO_BUG
       else:
-        NO_BUG
+        if <term> <= -438194303.5000:
+          NO_BUG
+        else:
+          NO_BUG
 
   New input specifications:
-    <lead-digit> == '9' and <term> > -42.79999923706055
-    <lead-digit> == '9' and <term> > -42.79999923706055
-    <lead-digit> > 1.5 and <term> > -15.699999809265137
-    <lead-digit> == '9' and <term> <= -42.79999923706055
-    <lead-digit> > 1.5 and <term> <= -15.699999809265137
-    <lead-digit> <= 1.5 and <term> <= -15.699999809265137
-    <lead-digit> == '9' and <term> <= -42.79999923706055
-    <lead-digit> <= 1.5 and <term> > -15.699999809265137
+    <digit> == '8' and <lead-digit> == '4' and <integer> <= 41.0 and <lead-digit> > 3.5 and <value> <= 40.872798919677734
+    <digit> == '8' and <lead-digit> == '4' and <integer> > 41.0 and <lead-digit> > 3.5 and <value> > 40.872798919677734
+    <lead-digit> == '4' and <digits> <= 4.5 and <integer> > 41.0 and <lead-digit> <= 3.5
+    <function> == 'sqrt' and <lead-digit> > 3.5 and <term> <= -97.87137222290039
+    <function> == 'sqrt' and <function> == 'tan' and <lead-digit> > 3.5
+    <lead-digit> == '4' and <integer> > 41.0 and <lead-digit> > 3.5 and <value> > 40.872798919677734
+    <lead-digit> == '4' and <digits> <= 4.5 and <integer> > 41.0 and <lead-digit> > 3.5
+    <lead-digit> == '4' and <integer> <= 41.0 and <lead-digit> > 3.5 and <value> > 40.872798919677734
+    <digit> == '8' and <lead-digit> == '4' and <integer> > 41.0 and <lead-digit> > 3.5 and <value> <= 40.872798919677734
+    <digit> == '8' and <lead-digit> == '4' and <integer> > 41.0 and <lead-digit> > 3.5 and <value> <= 40.872798919677734
+    <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> <= -97.87137222290039
+    <lead-digit> == '4' and <lead-digit> <= 3.5 and <term> > -438194303.5
+    <lead-digit> == '4' and <digits> > 4.5 and <integer> > 41.0 and <lead-digit> > 3.5
+    <digit> == '8' and <lead-digit> == '4' and <integer> <= 41.0 and <lead-digit> > 3.5 and <value> <= 40.872798919677734
+    <digit> == '8' and <lead-digit> == '4' and <integer> <= 41.0 and <lead-digit> > 3.5 and <value> > 40.872798919677734
+    <lead-digit> == '4' and <integer> > 41.0 and <lead-digit> <= 3.5 and <value> > 40.872798919677734
+    <function> == 'sqrt' and <lead-digit> > 3.5 and <term> > -12.320000171661377
+    <digit> == '8' and <lead-digit> == '4' and <integer> <= 41.0 and <lead-digit> <= 3.5 and <value> <= 40.872798919677734
+    <lead-digit> == '4' and <lead-digit> > 3.5 and <term> > -438194303.5
+    <lead-digit> == '4' and <digits> <= 4.5 and <integer> <= 41.0 and <lead-digit> > 3.5
+    <lead-digit> == '4' and <integer> <= 41.0 and <lead-digit> <= 3.5 and <value> > 40.872798919677734
+    <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> <= -12.320000171661377
+    <lead-digit> == '4' and <digits> > 4.5 and <integer> <= 41.0 and <lead-digit> > 3.5
+    <function> == 'sqrt' and <function> == 'tan' and <lead-digit> <= 3.5
+    <digit> == '8' and <lead-digit> == '4' and <integer> <= 41.0 and <lead-digit> <= 3.5 and <value> <= 40.872798919677734
+    <digit> == '8' and <lead-digit> == '4' and <integer> > 41.0 and <lead-digit> <= 3.5 and <value> <= 40.872798919677734
+    <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> > -97.87137222290039
+    <digit> == '8' and <lead-digit> == '4' and <integer> > 41.0 and <lead-digit> <= 3.5 and <value> <= 40.872798919677734
+    <function> == 'sqrt' and <function> == 'tan' and <lead-digit> > 3.5
+    <digit> == '8' and <lead-digit> == '4' and <integer> > 41.0 and <lead-digit> > 3.5 and <value> > 40.872798919677734
+    <function> == 'sqrt' and <lead-digit> > 3.5 and <term> <= -12.320000171661377
+    <lead-digit> == '4' and <lead-digit> > 3.5 and <term> <= -438194303.5
+    <digit> == '8' and <lead-digit> == '4' and <integer> <= 41.0 and <lead-digit> > 3.5 and <value> > 40.872798919677734
+    <function> == 'sqrt' and <lead-digit> <= 3.5 and <term> > -12.320000171661377
+    <function> == 'sqrt' and <lead-digit> > 3.5 and <term> > -97.87137222290039
+    <function> == 'sqrt' and <function> == 'tan' and <lead-digit> <= 3.5
+    <lead-digit> == '4' and <digits> > 4.5 and <integer> > 41.0 and <lead-digit> <= 3.5
+    <lead-digit> == '4' and <integer> <= 41.0 and <lead-digit> > 3.5 and <value> <= 40.872798919677734
+    <lead-digit> == '4' and <lead-digit> <= 3.5 and <term> <= -438194303.5
   New samples:
-    sqrt(93), sin(-0), sqrt(77.5446), tan(-94), cos(-62.0835), tan(-17), sin(-896.80144), sqrt(178)
+    cos(8), sin(-8.8), tan(-7.238), sqrt(46.6589), tan(9.80), tan(8.1), tan(4.5133886), tan(2.18), cos(-48), cos(-8.3), tan(-31.80), sqrt(-9.287895), cos(-28), tan(-8.9), cos(28), sqrt(8.34), tan(-8.8), sin(985), sqrt(-889), tan(-5408.1), sin(474), sin(-82.4818), cos(-406), tan(838.4), tan(-49), cos(-610.082), tan(-459), tan(58), tan(-88), cos(-46.49), tan(94.38), tan(-768), sqrt(-42), sqrt(-44), tan(44), sqrt(-58587451.89616), sin(51087), tan(44.06), cos(4086641), tan(84), sin(-63), tan(-4044.0), cos(-4723.4), tan(-81), cos(-91.3), cos(-51.2), sin(-475.14), cos(-487.27), tan(444.1), tan(-463), sin(-44.282), tan(-486.4), sin(-44.84), sqrt(-417), sqrt(492), sqrt(-3978), sqrt(-2145.66), cos(434), sin(43), tan(7), cos(9.7), sqrt(0.09), sqrt(2), cos(3), sin(4), tan(-2.9), sqrt(9.133729), tan(4.393540), sqrt(1.95), cos(2.0), sqrt(7.4), tan(-1.0), tan(-0.4), sin(-9.57), sqrt(9.34), tan(-7.2), tan(0), cos(-495), cos(9.55700700254), tan(-1.22), sin(-0), sqrt(-17), cos(-463.22044), sqrt(-5), sin(9), sqrt(4), sqrt(-34), sqrt(1.57), sin(4), cos(-16), tan(-1), sin(470662), cos(-25), sin(-2.4), sin(-0), sin(1), tan(-32.45), cos(6.4), cos(-25), cos(5), cos(-47597), cos(-4.6095), tan(5.0), sqrt(-43.49), sqrt(-4), sin(-3.4), cos(-2.513), sqrt(-4.44), sqrt(-47), cos(442), cos(49.6), tan(2072), sin(1936), sin(148.1), tan(-449), tan(-275), sin(2069.6), tan(-388.3911), tan(2334468.77), sin(-444.380), cos(441), sqrt(-4763), tan(-288), cos(-239), sqrt(52), tan(8), sqrt(-8.713), sqrt(-27.4), sin(8.893), tan(26), tan(-2.830), sin(-9.81), sqrt(-8.643), sin(1.8), sqrt(-8.032), cos(21.1), sin(-20), tan(-8.9), sqrt(14.4), tan(-29.5), sqrt(13), sqrt(29), cos(55.10), sqrt(8.3), sin(-7.0), sin(-91), cos(71), sqrt(2.2), sin(-40141), sin(31), cos(4879.9), cos(-82), sqrt(-4995), cos(61), sqrt(4.4), cos(9.2), cos(5.3), sin(-2.3), sqrt(2.2), sqrt(4.1), cos(-23), sqrt(7.0), sin(9.3), tan(21.0), cos(-427.4), sqrt(376), tan(-47.16017), tan(1074), sin(3766.55), sin(-15), cos(31), cos(214.1), cos(-261.3), sqrt(3223.8), tan(-12), sin(205.66), cos(-22.28), tan(-48), sqrt(-2803), sin(31.1), tan(42), sin(432.8), tan(35), cos(32.8), cos(-49.50), sqrt(-29.38), sqrt(425), tan(47), sin(42580.2), sqrt(48), cos(-49.1), tan(339.6), sin(-24.0), sin(-36), sin(26), tan(-36), tan(-19.09), cos(19.67), sqrt(-40), sin(-25.3), cos(26), sqrt(-263.0), cos(-27), tan(-200.000), sqrt(26147), sin(-35.1), cos(43), tan(-220.5), tan(-24612), sqrt(-16.25), sin(-21.35), tan(-46), tan(-4399), cos(35), cos(45), sqrt(269347), sin(3864), tan(48.272), tan(-1273.48), sqrt(-34.786), sqrt(-25.948322), cos(-2841), sin(1480.14), tan(-53.994), sin(-45), sqrt(-62), sin(58), cos(-9800), sqrt(571), tan(61.71), sqrt(837535159.386617), sin(-59.35009), sqrt(-992564), sin(55.5), sqrt(-85), sin(-61.0291), tan(-843.0), tan(-67.14), sin(9218.7), sin(-573.5), tan(-995.820), sin(7694), sin(-55), sqrt(5109.1), sqrt(84.9), sqrt(-51906418), cos(-80), cos(59), tan(90608), tan(-766), tan(-695), tan(50951.2), sqrt(5867.278), tan(-48), sqrt(479.30171938), sqrt(14), sqrt(-65), sin(23.3), sqrt(391848.738), tan(-276.3), tan(-4805509), sqrt(-4043.9), sqrt(48851.23), sin(-107), sqrt(-1848.07), sin(-222), cos(2766.2), tan(1719.5), sqrt(-266), tan(273.0), cos(36137.7), tan(-445059.8), tan(264.32), tan(22039), sin(41), sqrt(-294), cos(14), sqrt(19197.0), sqrt(-23.0), cos(216), cos(-276.26), tan(-13.697), cos(-394.802402), sqrt(-38.2), sin(-13), sqrt(20.723), sin(-17.3), cos(193.38), sin(241.1), sqrt(-23), tan(-30254.1), cos(163.5), tan(-363.6), sin(-18.31), sin(-191), cos(-163.0), sin(-383.05)
 
 Iteration #19
   Decision Tree:
-    if <term> <= -15.7000:
-      if <value> <= 42.8000:
+    if <term> <= -12.5000:
+      if <term> <= -42.7000:
+        if <digits>:
+          NO_BUG
+        else:
+          NO_BUG
+      else:
         if <function> == 'sqrt':
           BUG
         else:
-          if <digit> == '3':
+          if <digit> == '0':
             NO_BUG
           else:
             NO_BUG
-      else:
-        if <digit> == '0':
-          NO_BUG
-        else:
-          NO_BUG
     else:
       NO_BUG
 
   New input specifications:
-    <digit> == '0' and <term> <= -15.699999809265137 and <value> <= 42.79999923706055
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> > 42.79999923706055
-    <digit> == '3' and <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> > 42.79999923706055
-    <digit> == '0' and <term> > -15.699999809265137 and <value> <= 42.79999923706055
-    <digit> == '0' and <term> <= -15.699999809265137 and <value> > 42.79999923706055
-    <term> <= -15.699999809265137
-    <digit> == '3' and <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> <= 42.79999923706055
-    <digit> == '0' and <term> > -15.699999809265137 and <value> > 42.79999923706055
-    <digit> == '3' and <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> > 42.79999923706055
-    <term> > -15.699999809265137
-    <digit> == '0' and <term> > -15.699999809265137 and <value> > 42.79999923706055
-    <digit> == '3' and <function> == 'sqrt' and <term> > -15.699999809265137 and <value> > 42.79999923706055
-    <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> <= 42.79999923706055
-    <digit> == '3' and <function> == 'sqrt' and <term> > -15.699999809265137 and <value> <= 42.79999923706055
-    <digit> == '3' and <function> == 'sqrt' and <term> > -15.699999809265137 and <value> > 42.79999923706055
-    <digit> == '0' and <term> > -15.699999809265137 and <value> <= 42.79999923706055
-    <digit> == '3' and <function> == 'sqrt' and <term> > -15.699999809265137 and <value> <= 42.79999923706055
-    <digit> == '0' and <term> <= -15.699999809265137 and <value> <= 42.79999923706055
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> <= 42.79999923706055
-    <digit> == '3' and <function> == 'sqrt' and <term> <= -15.699999809265137 and <value> <= 42.79999923706055
-    <function> == 'sqrt' and <term> > -15.699999809265137 and <value> > 42.79999923706055
-    <digit> == '0' and <term> <= -15.699999809265137 and <value> > 42.79999923706055
+    <digits> <= 0.5 and <term> > -42.70000076293945
+    <digits> > 0.5 and <term> > -42.70000076293945
+    <term> > -12.5
+    <digits> <= 0.5 and <term> <= -42.70000076293945
+    <term> <= -12.5
+    <digits> > 0.5 and <term> <= -42.70000076293945
   New samples:
-    tan(-27), sqrt(-246.597), cos(-36861.3), tan(3), sin(-986840), cos(-39.9), sin(-28.0), sqrt(77), tan(-472), cos(8.41), sqrt(8017.8), cos(401.96328), sqrt(-30.97), sin(2.2934), tan(204), sin(1.0), cos(-6), tan(-40), sqrt(6), sin(-22.53), sqrt(199.1), sin(-129)
+    cos(2.0), cos(702.88), sin(-2), sqrt(-59), cos(-72), sqrt(-551220.4), sqrt(-393.01), cos(-693), sqrt(-47), cos(-612), cos(-611.398222), tan(-274.0), cos(-7.0), cos(-47.5), tan(-97743.4), sqrt(-965), tan(-892702), tan(-231), cos(-36), sin(-91)
 
 Iteration #20
   Decision Tree:
-    if <term> <= -15.7000:
-      if <integer> <= 42.5000:
+    if <term> <= -12.5000:
+      if <term> <= -42.7000:
+        NO_BUG
+      else:
         if <function> == 'sqrt':
-          if <integer> <= 15.5000:
-            BUG
-          else:
-            BUG
+          BUG
         else:
           NO_BUG
-      else:
-        NO_BUG
     else:
       NO_BUG
 
   New input specifications:
-    <function> == 'sqrt' and <integer> > 15.5 and <term> <= -15.699999809265137
-    <integer> > 42.5 and <term> > -15.699999809265137
-    <function> == 'sqrt' and <integer> > 42.5 and <term> > -15.699999809265137
-    <function> == 'sqrt' and <integer> > 15.5 and <term> > -15.699999809265137
-    <integer> > 42.5 and <term> <= -15.699999809265137
-    <function> == 'sqrt' and <integer> <= 42.5 and <term> <= -15.699999809265137
-    <term> <= -15.699999809265137
-    <term> > -15.699999809265137
-    <function> == 'sqrt' and <integer> <= 15.5 and <term> <= -15.699999809265137
-    <function> == 'sqrt' and <integer> > 42.5 and <term> <= -15.699999809265137
-    <integer> <= 42.5 and <term> <= -15.699999809265137
-    <function> == 'sqrt' and <integer> <= 42.5 and <term> > -15.699999809265137
-    <function> == 'sqrt' and <integer> <= 15.5 and <term> > -15.699999809265137
+    <term> > -42.70000076293945
+    <term> > -12.5
+    <term> <= -12.5
+    <term> <= -42.70000076293945
   New samples:
-    sqrt(-41.80), sin(62), tan(43748.5), sqrt(75.3), sin(-654), cos(-18), tan(-47), tan(4.4), sqrt(-20.83), sqrt(-1), sqrt(7), sqrt(-9), sqrt(1.6), sqrt(-77.10), sqrt(8.8), sqrt(6.58), sqrt(2.56473), sqrt(4.89651), sqrt(6.5), sqrt(-54.776), sqrt(-74.4), sqrt(3.9), sqrt(-49989.2), sqrt(9.09), sqrt(-75), sqrt(-1), tan(-967), cos(-19.99), sin(2), sqrt(-4)
+    sin(0), tan(8150), cos(-329), sqrt(-4485.4715)
@@ -18162,10 +18229,10 @@ /* fitted */ background-color: var(--sklearn-color-fitted-level-3); } -
DecisionTreeClassifier(class_weight={'BUG': 0.05,
-                                     'NO_BUG': 0.0015698587127158557},
-                       max_depth=5)
In a Jupyter environment, please rerun this cell to show the HTML representation or trust the notebook.
On GitHub, the HTML representation is unable to render, please try loading this page with nbviewer.org.
@@ -11156,18 +11156,18 @@

A Sample Run @@ -11175,18 +11175,18 @@

A Sample Run

@@ -11194,18 +11194,18 @@

A Sample Run

@@ -11213,18 +11213,25 @@

A Sample Run

@@ -11232,30 +11239,25 @@

A Sample Run @@ -11263,33 +11265,25 @@

A Sample Run @@ -11297,30 +11291,30 @@

A Sample Run @@ -11328,40 +11322,30 @@

A Sample Run @@ -11369,31 +11353,26 @@

A Sample Run @@ -11401,52 +11380,26 @@

A Sample Run - - @@ -11454,29 +11407,35 @@

A Sample Run @@ -11484,65 +11443,48 @@

A Sample Run @@ -11550,26 +11492,32 @@

A Sample Run @@ -11607,26 +11569,23 @@

A Sample Run @@ -11635,26 +11594,23 @@

A Sample Run @@ -11662,38 +11618,60 @@

A Sample Run + + @@ -11701,26 +11679,32 @@

A Sample Run @@ -11729,25 +11713,21 @@

A Sample Run @@ -11755,29 +11735,44 @@

A Sample Run @@ -11786,14 +11781,34 @@

A Sample Run @@ -11801,26 +11816,44 @@

A Sample Run @@ -11829,28 +11862,45 @@

A Sample Run @@ -11858,44 +11908,67 @@

A Sample Run + + @@ -11903,7 +11976,7 @@

A Sample Run @@ -12356,10 +12429,10 @@

A Sample Run¶ /* fitted */ background-color: var(--sklearn-color-fitted-level-3); } -
DecisionTreeClassifier(class_weight={'BUG': 0.05,
-                                     'NO_BUG': 0.0015698587127158557},
-                       max_depth=5)
In a Jupyter environment, please rerun this cell to show the HTML representation or trust the notebook.
On GitHub, the HTML representation is unable to render, please try loading this page with nbviewer.org.
+
-
+