Herbie run

Date:Thursday, May 16th, 2024
Commit:dfe0ce1c on explanations-table
Hostname:nightly with Racket 8.11.1
Seed:2024137
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)

simplify14.1s (19%)

Algorithm
72×egg-herbie
Rules
23454×fma-define
22552×fma-neg
12553×times-frac
11623×distribute-lft-in
10688×distribute-rgt-in
Stop Event
31×saturated
41×node limit
Counts
15524 → 14441

sample12.6s (16.9%)

Results
7.5s70196×0valid
1.8s4103×2valid
349.0ms1975×0invalid
1.0ms5×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 1.7s (26.4% of total)
ival-div: 1.3s (21.1% of total)
ival-sqrt: 750.0ms (11.8% of total)
ival-sub: 737.0ms (11.6% of total)
ival-neg: 454.0ms (7.1% of total)
ival-fabs: 386.0ms (6.1% of total)
ival-add: 236.0ms (3.7% of total)
ival-if: 173.0ms (2.7% of total)
ival->=: 161.0ms (2.5% of total)
ival-exp: 118.0ms (1.9% of total)
const: 116.0ms (1.8% of total)
ival-log: 104.0ms (1.6% of total)
backward-pass: 102.0ms (1.6% of total)
Bogosity

soundness9.0s (12.1%)

Rules
10345×fma-define
8952×fma-neg
6348×times-frac
5204×distribute-lft-in
4857×*-commutative
Stop Event
3×saturated
28×node limit
4×fuel
5×done
Compiler

Compiled 7697 to 2184 computations (71.6% saved)

rewrite8.6s (11.6%)

Algorithm
31×batch-egg-rewrite
Rules
18004×log1p-expm1-u
14560×expm1-log1p-u
8256×pow1
7507×add-exp-log
6823×prod-diff
Stop Event
31×node limit
Counts
288 → 9141

prune7.0s (9.4%)

Counts
23960 → 436
Compiler

Compiled 23531 to 12345 computations (47.5% saved)

localize6.8s (9.1%)

Results
1.6s485×2valid
1.4s6749×0valid
518.0ms125×5exit
515.0ms477×0invalid
481.0ms289×1valid
260.0ms67×3valid
Compiler

Compiled 6319 to 734 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.8s
ival-div: 577.0ms (20.8% of total)
ival-pow: 513.0ms (18.5% of total)
ival-mult: 391.0ms (14.1% of total)
ival-sub: 331.0ms (11.9% of total)
backward-pass: 255.0ms (9.2% of total)
ival-add: 176.0ms (6.3% of total)
ival-sqrt: 113.0ms (4.1% of total)
ival-fma: 113.0ms (4.1% of total)
ival-if: 82.0ms (3% of total)
...c/correct-round.rkt:121:19: 38.0ms (1.4% of total)
ival-exp: 38.0ms (1.4% of total)
ival-neg: 33.0ms (1.2% of total)
ival-log: 30.0ms (1.1% of total)
const: 25.0ms (0.9% of total)
ival-hypot: 19.0ms (0.7% of total)
ival->=: 17.0ms (0.6% of total)
ival-cbrt: 9.0ms (0.3% of total)
ival-fabs: 9.0ms (0.3% of total)
ival-e: 4.0ms (0.1% of total)

eval5.9s (7.9%)

Compiler

Compiled 798602 to 93270 computations (88.3% saved)

series2.5s (3.4%)

Counts
288 → 6383
Calls

1620 calls:

TimeVariablePointExpression
583.0ms
x
@-inf
(/ (- (* x (- x 1/2)) 1/8) x)
108.0ms
c
@-inf
(/ (+ b (+ b (/ (* (* a c) -2) b))) a)
63.0ms
c
@0
(/ (+ b (sqrt (+ (* c (* a -4)) (* b b)))) a)
60.0ms
b
@0
(sqrt (+ (* c (* a -4)) (pow b 2)))
56.0ms
c
@inf
(/ (* 2 c) (* 2 (+ (* a (/ c b)) (neg b))))

explain2.1s (2.8%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2480
-.f64#fcancellation1240
+.f64#fcancellation1190
sqrt.f64#fuflow-rescue760
-.f64#fnan-rescue250
/.f64#fu/n210
/.f64#fn/u180
*.f64(*.f64 (/.f64 x y) z)n*o160
*.f64(*.f64 (/.f64 x y) z)n*u50
exp.f64(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))sensitivity10
Confusion
Predicted +Predicted -
+29712
-2161779
Precision
0.5789473684210527
Recall
0.9611650485436893
Confusion?
Predicted +Predicted MaybePredicted -
+297012
-21601779
Precision?
0.5789473684210527
Recall?
0.9611650485436893
Freqs
test
numberfreq
01791
1388
2110
315
Total Confusion?
Predicted +Predicted MaybePredicted -
+500
-004
Precision?
1.0
Recall?
1.0
Results
565.0ms682×2valid
472.0ms3702×0valid
85.0ms218×1valid
4.0ms6×3valid
Compiler

Compiled 1292 to 370 computations (71.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 534.0ms
ival->=: 123.0ms (23.1% of total)
backward-pass: 89.0ms (16.7% of total)
ival-mult: 84.0ms (15.7% of total)
ival-div: 67.0ms (12.6% of total)
ival-sub: 47.0ms (8.8% of total)
ival-sqrt: 41.0ms (7.7% of total)
ival-neg: 24.0ms (4.5% of total)
ival-add: 19.0ms (3.6% of total)
ival-if: 15.0ms (2.8% of total)
const: 8.0ms (1.5% of total)
ival-fabs: 6.0ms (1.1% of total)
ival-log: 6.0ms (1.1% of total)
ival-exp: 4.0ms (0.7% of total)

preprocess1.8s (2.5%)

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 3252 to 1100 computations (66.2% saved)

regimes1.8s (2.4%)

Counts
791 → 106
Calls

26 calls:

742.0ms
x
135.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
112.0ms
b
101.0ms
(-.f64 a b)
89.0ms
(/.f64 #s(literal 1 binary64) x)
Compiler

Compiled 636 to 425 computations (33.2% saved)

bsearch1.3s (1.7%)

Algorithm
47×binary-search
2×left-value
Stop Event
6×predicate-same
41×narrow-enough
Results
594.0ms5168×0valid
88.0ms312×0invalid
20.0ms96×2valid
Compiler

Compiled 11546 to 7678 computations (33.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 374.0ms
ival-mult: 135.0ms (36.1% of total)
ival-div: 82.0ms (21.9% of total)
ival-sub: 42.0ms (11.2% of total)
ival-add: 30.0ms (8% of total)
ival-neg: 18.0ms (4.8% of total)
ival-sqrt: 17.0ms (4.5% of total)
ival-fabs: 15.0ms (4% of total)
ival->=: 11.0ms (2.9% of total)
ival-if: 10.0ms (2.7% of total)
const: 9.0ms (2.4% of total)
backward-pass: 3.0ms (0.8% of total)

analyze881.0ms (1.2%)

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: 499.0ms
ival-mult: 144.0ms (28.9% of total)
ival-div: 107.0ms (21.5% of total)
ival-sub: 81.0ms (16.2% of total)
ival-neg: 74.0ms (14.8% of total)
ival-add: 22.0ms (4.4% of total)
ival-sqrt: 22.0ms (4.4% of total)
ival-if: 15.0ms (3% of total)
ival->=: 14.0ms (2.8% of total)
ival-fabs: 11.0ms (2.2% of total)
const: 6.0ms (1.2% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...