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: 37.8min)

simplify7.4min (19.7%)

Algorithm
2096×egg-herbie
Rules
710197×fma-define
603869×fmm-def
367844×times-frac
353536×distribute-lft-in
334399×associate-*r*
Stop Event
769×saturated
1321×node limit
6×unsound
Counts
508071 → 431504

sample7.2min (19.1%)

Results
4.8min2145880×0valid
26.8s65639×1valid
13.4s64185×0invalid
3.3s8192×2valid
2.4s1657×5exit
1.2s1151×3valid
639.0ms1772×1invalid
1.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 3.0min
ival-mult: 1.0min (34% of total)
ival-sub: 24.3s (13.5% of total)
ival-add: 24.0s (13.3% of total)
ival-div: 21.3s (11.8% of total)
ival-log: 12.1s (6.7% of total)
...c/correct-round.rkt:168:19: 7.0s (3.9% of total)
ival-sqrt: 6.6s (3.7% of total)
ival-sin: 5.1s (2.9% of total)
ival-cos: 4.7s (2.6% of total)
adjust: 3.4s (1.9% of total)
ival-true: 3.3s (1.9% of total)
ival-assert: 2.4s (1.3% of total)
ival-exp: 1.7s (0.9% of total)
const: 1.4s (0.7% of total)
ival-tan: 533.0ms (0.3% of total)
ival-cosh: 395.0ms (0.2% of total)
ival-sinh: 239.0ms (0.1% of total)
ival-fabs: 209.0ms (0.1% of total)
ival-acos: 181.0ms (0.1% of total)
ival-tanh: 170.0ms (0.1% of total)
Bogosity

soundness4.6min (12.1%)

Rules
260446×fma-define
232336×fmm-def
199639×log1p-expm1-u
154838×times-frac
154224×associate-*r*
Stop Event
87×saturated
816×node limit
150×fuel
5×unsound
119×done
Compiler

Compiled 148114 to 50860 computations (65.7% saved)

rewrite3.9min (10.4%)

Algorithm
898×batch-egg-rewrite
Rules
613336×log1p-expm1-u
456084×expm1-log1p-u
183566×pow1
175908×add-exp-log
167948×add-log-exp
Stop Event
1×saturated
895×node limit
2×unsound
Counts
8847 → 293795

localize3.1min (8.2%)

Results
1.8min217248×0valid
17.9s8916×1valid
14.9s2889×5exit
5.7s7250×0invalid
3.0s1251×2valid
363.0ms214×3valid
103.0ms48×1invalid
27.0ms8×4valid
Compiler

Compiled 110931 to 19308 computations (82.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.7s
ival-mult: 14.5s (26.9% of total)
ival-div: 7.6s (14.2% of total)
ival-pow: 5.6s (10.4% of total)
ival-add: 4.6s (8.6% of total)
ival-sub: 3.4s (6.4% of total)
adjust: 3.2s (6% of total)
...c/correct-round.rkt:168:19: 2.8s (5.1% of total)
ival-log: 2.7s (5% of total)
ival-exp: 2.1s (3.9% of total)
ival-fma: 1.7s (3.2% of total)
ival-sqrt: 1.1s (2% of total)
ival-neg: 787.0ms (1.5% of total)
ival-cos: 722.0ms (1.3% of total)
ival-sin: 641.0ms (1.2% of total)
ival-cbrt: 398.0ms (0.7% of total)
ival-true: 398.0ms (0.7% of total)
const: 341.0ms (0.6% of total)
ival-assert: 279.0ms (0.5% of total)
ival-log1p: 226.0ms (0.4% of total)
ival-expm1: 201.0ms (0.4% of total)
ival-cosh: 136.0ms (0.3% of total)
ival-fabs: 85.0ms (0.2% of total)
ival-hypot: 77.0ms (0.1% of total)
ival-tan: 47.0ms (0.1% of total)
ival-sinh: 43.0ms (0.1% of total)
ival-acos: 18.0ms (0% of total)
ival-e: 9.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)
ival-asin: 2.0ms (0% of total)
ival-pi: 1.0ms (0% of total)

prune2.7min (7.2%)

Counts
578748 → 14733
Compiler

Compiled 480795 to 289027 computations (39.9% saved)

eval2.0min (5.4%)

Compiler

Compiled 11872276 to 2010062 computations (83.1% saved)

bsearch1.5min (4%)

Algorithm
2592×binary-search
288×left-value
Stop Event
42×predicate-same
2550×narrow-enough
Results
1.0min314820×0valid
4.8s9523×1valid
1.1s7663×0invalid
188.0ms699×2valid
35.0ms78×3valid
35.0ms115×1invalid
Compiler

Compiled 575744 to 432996 computations (24.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 40.9s
ival-mult: 17.3s (42.2% of total)
ival-sub: 7.1s (17.4% of total)
ival-add: 5.3s (13.1% of total)
ival-div: 3.9s (9.6% of total)
ival-log: 1.8s (4.4% of total)
...c/correct-round.rkt:168:19: 1.6s (3.8% of total)
ival-sqrt: 937.0ms (2.3% of total)
ival-sin: 588.0ms (1.4% of total)
adjust: 569.0ms (1.4% of total)
ival-true: 481.0ms (1.2% of total)
ival-cos: 450.0ms (1.1% of total)
ival-assert: 350.0ms (0.9% of total)
ival-exp: 278.0ms (0.7% of total)
const: 193.0ms (0.5% of total)
ival-fabs: 25.0ms (0.1% of total)
ival-tanh: 10.0ms (0% of total)
ival-cosh: 7.0ms (0% of total)
ival-sinh: 2.0ms (0% of total)

regimes1.4min (3.8%)

Counts
39635 → 5038
Calls

511 calls:

13.0s
y
12.6s
x
11.8s
z
6.4s
t
5.1s
a
Compiler

Compiled 48708 to 38405 computations (21.2% saved)

preprocess1.3min (3.3%)

Algorithm
269×egg-herbie
Rules
137764×fmm-def
117089×fma-define
51035×unsub-neg
50338×sub-neg
47100×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 146222 to 57284 computations (60.8% saved)

series1.1min (2.9%)

Counts
8847 → 214276
Calls

51339 calls:

TimeVariablePointExpression
2.6s
x
@0
(* (* (- y x) 6) (- 2/3 z))
555.0ms
x
@0
(* x (* 3 (log (cbrt (/ x y)))))
469.0ms
x
@0
(* x (log y))
331.0ms
x
@0
(* x (neg (log (/ y x))))
304.0ms
y
@0
(/ (+ (* y z) (* t (neg a))) j)

explain1.1min (2.8%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15593
/.f64#fo/n11520
sqrt.f64#foflow-rescue7800
-.f64#fcancellation6068
/.f64#fo/o5460
*.f64#fn*o5120
+.f64#fnan-rescue4740
-.f64#fnan-rescue4390
cos.f64#fsensitivity3582
/.f64#fn/o3410
+.f64#fcancellation3062
/.f64#fu/n2620
sin.f64#fsensitivity2081
*.f64#fn*u1550
cos.f64#foflow-rescue1330
/.f64#fn/u1300
/.f64#fu/u950
log.f64#foflow-rescue880
log.f64#fuflow-rescue840
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity840
sqrt.f64#fuflow-rescue560
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue360
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow36
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue360
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow36
exp.f64#fsensitivity332
*.f64#fo*u260
*.f64#fu*o20
Confusion
Predicted +Predicted -
+5923189
-172861024
Precision
0.7741471703045354
Recall
0.96907722513089
Confusion?
Predicted +Predicted MaybePredicted -
+59232187
-17281761007
Precision?
0.772490221642764
Recall?
0.9694044502617801
Freqs
test
numberfreq
061213
16888
2693
355
413
52
Total Confusion?
Predicted +Predicted MaybePredicted -
+13410
-10133
Precision?
0.9926470588235294
Recall?
1.0
Results
28.3s130484×0valid
3.9s6050×1valid
1.1s1018×2valid
419.0ms170×3valid
3.0ms4×5exit
1.0ms2×4valid
Compiler

Compiled 29004 to 10844 computations (62.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.9s
ival-mult: 3.2s (27.1% of total)
ival-add: 1.7s (13.9% of total)
ival-sub: 1.6s (13.5% of total)
ival-div: 1.6s (13% of total)
ival-log: 1.1s (9.1% of total)
adjust: 667.0ms (5.6% of total)
...c/correct-round.rkt:168:19: 630.0ms (5.3% of total)
ival-sqrt: 329.0ms (2.8% of total)
ival-cos: 301.0ms (2.5% of total)
ival-true: 229.0ms (1.9% of total)
ival-sin: 211.0ms (1.8% of total)
ival-assert: 156.0ms (1.3% of total)
const: 85.0ms (0.7% of total)
ival-exp: 84.0ms (0.7% of total)
ival-fabs: 45.0ms (0.4% of total)
ival-sinh: 13.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-tan: 12.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 5.0ms (0% of total)

analyze25.3s (1.1%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.3%0.1%0%5.6%0%8
84.3%79.3%14.7%0.1%0%5.9%0%9
85.9%80.5%13.2%0.1%0%6.2%0%10
88.5%82.8%10.8%0.1%0%6.2%0%11
89.6%83.6%9.8%0.1%0%6.5%0%12
Compiler

Compiled 3462 to 2980 computations (13.9% saved)

end1.0ms (0%)

Profiling

Loading profile data...