Herbie run

Date:Saturday, May 25th, 2024
Commit:445b0ec4 on explanations-trifurcate
Hostname:nightly with Racket 8.11.1
Seed:2024146
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 1.2min)

sample14.7s (20.5%)

Results
9.0s70155×0valid
2.8s4137×2valid
269.0ms2044×0invalid
1.0ms12×1valid
Precisions
Click to see histograms. Total time spent on operations: 8.8s
ival-mult: 3.3s (38.2% of total)
ival-div: 1.7s (19% of total)
ival-sub: 1.5s (17.4% of total)
ival-sqrt: 860.0ms (9.8% of total)
ival-add: 286.0ms (3.3% of total)
ival-if: 233.0ms (2.7% of total)
ival-neg: 231.0ms (2.6% of total)
const: 118.0ms (1.3% of total)
ival-log: 107.0ms (1.2% of total)
backward-pass: 106.0ms (1.2% of total)
ival-fabs: 106.0ms (1.2% of total)
ival->=: 102.0ms (1.2% of total)
ival-exp: 83.0ms (0.9% of total)
Bogosity

simplify13.7s (19.1%)

Algorithm
66×egg-herbie
Rules
23810×fma-define
23169×fma-neg
12540×times-frac
11522×distribute-lft-in
10674×distribute-rgt-in
Stop Event
28×saturated
38×node limit
Counts
15089 → 14071

soundness8.7s (12.1%)

Rules
10164×fma-define
8396×fma-neg
7789×log1p-expm1-u
6781×times-frac
6703×*-commutative
Stop Event
3×saturated
4×fuel
30×node limit
5×done
Compiler

Compiled 7653 to 2022 computations (73.6% saved)

rewrite8.0s (11.1%)

Algorithm
28×batch-egg-rewrite
Rules
17155×log1p-expm1-u
11443×expm1-log1p-u
7345×pow1
7182×add-exp-log
6576×add-log-exp
Stop Event
28×node limit
Counts
275 → 8694

localize6.2s (8.7%)

Results
1.5s5921×0valid
1.4s565×2valid
510.0ms249×1valid
481.0ms584×0invalid
291.0ms57×5exit
240.0ms31×3valid
20.0ms12×1invalid
17.0ms5×2invalid
Compiler

Compiled 6480 to 704 computations (89.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-mult: 467.0ms (19% of total)
ival-pow: 405.0ms (16.4% of total)
ival-div: 400.0ms (16.2% of total)
backward-pass: 246.0ms (10% of total)
ival-if: 243.0ms (9.9% of total)
ival-sqrt: 203.0ms (8.2% of total)
ival-sub: 122.0ms (5% of total)
ival-add: 115.0ms (4.7% of total)
ival-fma: 82.0ms (3.3% of total)
ival-hypot: 34.0ms (1.4% of total)
ival-neg: 33.0ms (1.3% of total)
const: 24.0ms (1% of total)
...c/correct-round.rkt:121:19: 20.0ms (0.8% of total)
ival-cbrt: 20.0ms (0.8% of total)
ival->=: 13.0ms (0.5% of total)
ival-fabs: 11.0ms (0.4% of total)
ival-log: 11.0ms (0.4% of total)
ival-exp: 8.0ms (0.3% of total)
ival-log1p: 3.0ms (0.1% of total)
ival-expm1: 2.0ms (0.1% of total)

prune5.9s (8.2%)

Counts
23242 → 388
Compiler

Compiled 21731 to 11301 computations (48% saved)

eval5.4s (7.5%)

Compiler

Compiled 831409 to 89826 computations (89.2% saved)

series2.8s (3.9%)

Counts
275 → 6395
Calls

1677 calls:

TimeVariablePointExpression
573.0ms
n
@0
(/ (+ f n) (neg f))
140.0ms
c
@0
(/ (* 2 c) (exp (log (- (sqrt (+ (* b b) (* (sqrt (* -4 (* c a))) (sqrt (* -4 (* c a)))))) b))))
122.0ms
c
@inf
(/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
109.0ms
x
@-inf
(log x)
108.0ms
c
@-inf
(if (>= b 0) (* (/ (+ b (sqrt (+ (* b b) (* (* (sqrt (* -4 a)) (sqrt c)) (* (sqrt (* -4 a)) (sqrt c)))))) -2) (/ 1 a)) (/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))))

preprocess1.9s (2.6%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3506 to 1048 computations (70.1% saved)

explain1.8s (2.5%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2590
-.f64#fcancellation1160
+.f64#fcancellation1110
sqrt.f64#fuflow-rescue650
/.f64#fn/u230
-.f64#fnan-rescue210
/.f64#fu/n210
*.f64(*.f64 (/.f64 x y) z)n*u110
*.f64(*.f64 (/.f64 x y) z)n*o90
Confusion
Predicted +Predicted -
+2889
-2341773
Precision
0.5517241379310345
Recall
0.9696969696969697
Confusion?
Predicted +Predicted MaybePredicted -
+28809
-23401773
Precision?
0.5517241379310345
Recall?
0.9696969696969697
Freqs
test
numberfreq
01782
1416
298
38
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Results
422.0ms3718×0valid
387.0ms698×2valid
117.0ms186×1valid
4.0ms6×3valid
Compiler

Compiled 1292 to 370 computations (71.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 566.0ms
ival-mult: 205.0ms (36.2% of total)
ival-div: 120.0ms (21.2% of total)
ival-sub: 55.0ms (9.7% of total)
backward-pass: 54.0ms (9.5% of total)
ival-sqrt: 40.0ms (7.1% of total)
ival-neg: 21.0ms (3.7% of total)
ival-add: 21.0ms (3.7% of total)
ival-if: 12.0ms (2.1% of total)
const: 9.0ms (1.6% of total)
ival->=: 9.0ms (1.6% of total)
ival-fabs: 9.0ms (1.6% of total)
ival-log: 6.0ms (1.1% of total)
ival-exp: 5.0ms (0.9% of total)

regimes971.0ms (1.4%)

Counts
807 → 102
Calls

26 calls:

226.0ms
c
130.0ms
x
106.0ms
b
79.0ms
a
63.0ms
y
Compiler

Compiled 614 to 408 computations (33.6% saved)

bsearch949.0ms (1.3%)

Algorithm
43×binary-search
3×left-value
Stop Event
11×predicate-same
32×narrow-enough
Results
648.0ms4544×0valid
19.0ms136×0invalid
12.0ms48×2valid
Compiler

Compiled 10623 to 7017 computations (33.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 430.0ms
ival-div: 187.0ms (43.5% of total)
ival-mult: 72.0ms (16.7% of total)
ival-fabs: 54.0ms (12.6% of total)
ival-sub: 32.0ms (7.4% of total)
ival-add: 32.0ms (7.4% of total)
ival-sqrt: 17.0ms (4% of total)
ival-neg: 12.0ms (2.8% of total)
ival-if: 8.0ms (1.9% of total)
ival->=: 8.0ms (1.9% of total)
const: 7.0ms (1.6% of total)
backward-pass: 2.0ms (0.5% of total)

analyze769.0ms (1.1%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 361.0ms
ival-mult: 117.0ms (32.4% of total)
ival-if: 73.0ms (20.2% of total)
ival-sub: 45.0ms (12.5% of total)
ival-div: 38.0ms (10.5% of total)
ival-sqrt: 23.0ms (6.4% of total)
ival-add: 19.0ms (5.3% of total)
ival->=: 18.0ms (5% of total)
ival-neg: 16.0ms (4.4% of total)
const: 7.0ms (1.9% of total)
ival-fabs: 3.0ms (0.8% of total)
backward-pass: 1.0ms (0.3% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...