Herbie run

Date:Wednesday, June 5th, 2024
Commit:8a54fd57 on main
Hostname:nightly with Racket 8.11.1
Seed:2024157
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.3min)

simplify14.5s (18.7%)

Algorithm
66×egg-herbie
Rules
26001×fmm-def
21591×fma-define
13526×times-frac
10756×*-commutative
10423×distribute-lft-in
Stop Event
28×saturated
38×node limit
Counts
15468 → 14158

sample14.5s (18.6%)

Results
8.8s70244×0valid
1.7s4056×2valid
432.0ms1930×0invalid
0.0ms4×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.3s
ival-mult: 2.0s (31.5% of total)
ival-div: 1.3s (21% of total)
ival-sub: 670.0ms (10.6% of total)
ival-sqrt: 607.0ms (9.6% of total)
ival-neg: 365.0ms (5.8% of total)
ival-fabs: 327.0ms (5.2% of total)
ival-add: 259.0ms (4.1% of total)
adjust: 128.0ms (2% of total)
ival-if: 110.0ms (1.7% of total)
ival-true: 110.0ms (1.7% of total)
ival->=: 108.0ms (1.7% of total)
ival-log: 106.0ms (1.7% of total)
ival-assert: 79.0ms (1.2% of total)
const: 74.0ms (1.2% of total)
ival-exp: 68.0ms (1.1% of total)
Bogosity

localize10.6s (13.7%)

Results
2.9s5644×0valid
2.7s663×2valid
1.1s611×1valid
845.0ms377×0invalid
628.0ms81×5exit
319.0ms48×3valid
Compiler

Compiled 6149 to 733 computations (88.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 561.0ms (16.7% of total)
adjust: 506.0ms (15% of total)
ival-div: 493.0ms (14.7% of total)
ival-pow: 491.0ms (14.6% of total)
ival-sub: 254.0ms (7.6% of total)
ival-if: 201.0ms (6% of total)
ival-sqrt: 171.0ms (5.1% of total)
ival-fma: 157.0ms (4.7% of total)
ival-add: 135.0ms (4% of total)
ival-log1p: 106.0ms (3.2% of total)
ival->=: 69.0ms (2.1% of total)
ival-log: 41.0ms (1.2% of total)
...c/correct-round.rkt:168:19: 38.0ms (1.1% of total)
ival-neg: 36.0ms (1.1% of total)
ival-cbrt: 33.0ms (1% of total)
const: 21.0ms (0.6% of total)
ival-exp: 14.0ms (0.4% of total)
ival-true: 12.0ms (0.4% of total)
ival-fabs: 10.0ms (0.3% of total)
ival-assert: 9.0ms (0.3% of total)
ival-expm1: 4.0ms (0.1% of total)

soundness8.8s (11.4%)

Rules
9589×fma-define
8061×fmm-def
7157×times-frac
5831×log1p-expm1-u
5830×*-commutative
Stop Event
3×saturated
3×fuel
27×node limit
6×done
Compiler

Compiled 6028 to 1736 computations (71.2% saved)

rewrite6.7s (8.6%)

Algorithm
28×batch-egg-rewrite
Rules
16980×log1p-expm1-u
12512×expm1-log1p-u
8002×pow1
7423×add-exp-log
6655×add-log-exp
Stop Event
28×node limit
Counts
282 → 8872

eval6.2s (7.9%)

Compiler

Compiled 749147 to 86473 computations (88.5% saved)

prune5.9s (7.6%)

Counts
21617 → 362
Compiler

Compiled 17467 to 9394 computations (46.2% saved)

explain3.9s (5.1%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue2690
-.f64#fcancellation1220
+.f64#fcancellation1180
sqrt.f64#fuflow-rescue620
/.f64#fn/u220
/.f64#fu/n190
-.f64#fnan-rescue180
*.f64(*.f64 (/.f64 x y) z)n*o90
*.f64(*.f64 (/.f64 x y) z)n*u60
Confusion
Predicted +Predicted -
+27412
-2471771
Precision
0.525911708253359
Recall
0.958041958041958
Confusion?
Predicted +Predicted MaybePredicted -
+274012
-24701771
Precision?
0.525911708253359
Recall?
0.958041958041958
Freqs
test
numberfreq
01783
1400
2118
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+400
-005
Precision?
1.0
Recall?
1.0
Results
1.3s3684×0valid
1.3s688×2valid
126.0ms214×1valid
83.0ms22×3valid
Compiler

Compiled 1276 to 388 computations (69.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 767.0ms
adjust: 352.0ms (45.9% of total)
ival-mult: 91.0ms (11.9% of total)
ival->=: 67.0ms (8.7% of total)
ival-div: 66.0ms (8.6% of total)
ival-sub: 62.0ms (8.1% of total)
ival-sqrt: 38.0ms (5% of total)
ival-neg: 22.0ms (2.9% of total)
ival-add: 21.0ms (2.7% of total)
ival-if: 12.0ms (1.6% of total)
ival-log: 7.0ms (0.9% of total)
ival-true: 7.0ms (0.9% of total)
ival-fabs: 6.0ms (0.8% of total)
const: 5.0ms (0.7% of total)
ival-assert: 5.0ms (0.7% of total)
ival-exp: 4.0ms (0.5% of total)

series2.0s (2.5%)

Counts
282 → 6596
Calls

1695 calls:

TimeVariablePointExpression
137.0ms
a
@-inf
(/ 1 (/ (+ b (sqrt (+ (* c (* a -4)) (pow b 2)))) (* c -2)))
101.0ms
c
@0
(sqrt (+ (* c (* a -4)) (* b b)))
74.0ms
c
@-inf
(/ a (* -1/2 (+ b (sqrt (+ (* c (* a -4)) (pow b 2))))))
63.0ms
b
@inf
(+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))
62.0ms
a
@inf
(if (>= b 0) (/ (* c -2) (+ b b)) (/ (- (sqrt (* c (* -4 a))) b) (* 2 a)))

preprocess1.9s (2.5%)

Algorithm
9×egg-herbie
Rules
3285×fmm-def
2845×fma-define
1495×times-frac
1467×div-sub
1176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3520 to 1176 computations (66.6% saved)

bsearch1.1s (1.4%)

Algorithm
52×binary-search
4×left-value
Stop Event
8×predicate-same
44×narrow-enough
Results
745.0ms6000×0valid
37.0ms287×0invalid
18.0ms64×2valid
Compiler

Compiled 12876 to 8797 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 540.0ms
ival-div: 162.0ms (30% of total)
ival-mult: 119.0ms (22% of total)
ival-add: 101.0ms (18.7% of total)
ival-sub: 50.0ms (9.3% of total)
ival-fabs: 22.0ms (4.1% of total)
ival-neg: 20.0ms (3.7% of total)
ival-sqrt: 19.0ms (3.5% of total)
ival->=: 14.0ms (2.6% of total)
ival-if: 11.0ms (2% of total)
ival-true: 9.0ms (1.7% of total)
ival-assert: 7.0ms (1.3% of total)
const: 6.0ms (1.1% of total)
adjust: 2.0ms (0.4% of total)

regimes846.0ms (1.1%)

Counts
793 → 114
Calls

26 calls:

122.0ms
x
114.0ms
y
96.0ms
b
61.0ms
a
55.0ms
c
Compiler

Compiled 638 to 425 computations (33.4% saved)

analyze696.0ms (0.9%)

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 153 to 106 computations (30.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...