Herbie run

Date:Thursday, June 13th, 2024
Commit:63d27371 on web-cleanup
Hostname:nightly with Racket 8.11.1
Seed:2024165
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: 36.4min)

simplify7.9min (21.7%)

Algorithm
2 116×egg-herbie
Rules
740 887×fma-define
637 686×fmm-def
376 381×times-frac
361 903×associate-*r*
350 721×distribute-lft-in
Stop Event
1 343×node limit
765×saturated
8×unsound
Counts
519 501 → 442 046

sample6.5min (17.8%)

Samples
4.1min2 145 993×0valid
25.3s65 566×1valid
11.8s64 400×0invalid
3.3s8 130×2valid
2.6s1 539×5exit
883.0ms1 173×3valid
417.0ms1 715×1invalid
0.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult: 55.0s (33.4% of total)
ival-sub: 25.0s (15.2% of total)
ival-add: 22.3s (13.5% of total)
ival-div: 22.2s (13.4% of total)
ival-log: 10.4s (6.3% of total)
ival-sqrt: 6.4s (3.9% of total)
...in/eval/compile.rkt:71:19: 5.9s (3.6% of total)
ival-sin: 4.2s (2.5% of total)
ival-cos: 3.8s (2.3% of total)
adjust: 2.2s (1.3% of total)
ival-exp: 2.0s (1.2% of total)
ival-true: 1.9s (1.2% of total)
ival-assert: 1.3s (0.8% of total)
...in/eval/compile.rkt:70:19: 674.0ms (0.4% of total)
ival-cosh: 556.0ms (0.3% of total)
ival-tan: 394.0ms (0.2% of total)
ival-fabs: 236.0ms (0.1% of total)
ival-acos: 202.0ms (0.1% of total)
ival-sinh: 197.0ms (0.1% of total)
ival-tanh: 174.0ms (0.1% of total)
Bogosity

soundness4.6min (12.6%)

Rules
266 691×fma-define
234 357×fmm-def
190 028×log1p-expm1-u
162 070×associate-*r*
152 082×times-frac
Stop Event
812×node limit
158×fuel
111×done
82×saturated
6×unsound
Compiler

Compiled 153 264 to 51 924 computations (66.1% saved)

rewrite3.9min (10.7%)

Algorithm
910×batch-egg-rewrite
Rules
617 599×log1p-expm1-u
468 878×expm1-log1p-u
182 571×pow1
172 961×add-exp-log
165 610×add-log-exp
Stop Event
906×node limit
2×saturated
2×unsound
Counts
8 977 → 304 563

prune2.7min (7.4%)

Counts
591 413 → 14 615
Compiler

Compiled 473 412 to 283 529 computations (40.1% saved)

localize2.2min (6.1%)

Samples
1.1min219 420×0valid
11.7s7 925×1valid
5.7s2 824×5exit
3.0s8 303×0invalid
1.6s1 106×2valid
246.0ms275×3valid
38.0ms19×4valid
Compiler

Compiled 112 601 to 19 543 computations (82.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.5s
ival-mult: 13.6s (29.8% of total)
ival-div: 7.8s (17.1% of total)
ival-add: 4.6s (10% of total)
ival-sub: 3.7s (8.1% of total)
ival-pow: 3.5s (7.6% of total)
adjust: 2.6s (5.7% of total)
...in/eval/compile.rkt:71:19: 2.2s (4.9% of total)
ival-log: 2.0s (4.5% of total)
ival-fma: 1.3s (2.8% of total)
ival-sqrt: 1.1s (2.4% of total)
ival-cos: 639.0ms (1.4% of total)
ival-sin: 598.0ms (1.3% of total)
ival-neg: 471.0ms (1% of total)
ival-cbrt: 367.0ms (0.8% of total)
ival-true: 224.0ms (0.5% of total)
...in/eval/compile.rkt:70:19: 159.0ms (0.3% of total)
ival-exp: 159.0ms (0.3% of total)
ival-assert: 158.0ms (0.3% of total)
ival-log1p: 140.0ms (0.3% of total)
ival-expm1: 104.0ms (0.2% of total)
ival-hypot: 53.0ms (0.1% of total)
ival-tan: 47.0ms (0.1% of total)
ival-fabs: 20.0ms (0% of total)
ival-cosh: 20.0ms (0% of total)
ival-sinh: 16.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival-acos: 7.0ms (0% of total)
ival-e: 2.0ms (0% of total)

eval2.2min (5.9%)

Compiler

Compiled 12 245 683 to 2 045 534 computations (83.3% saved)

regimes1.5min (4.1%)

Counts
41 205 → 5 206
Calls

511 calls:

14.4s
x
13.9s
y
10.6s
z
7.3s
t
4.5s
a
Compiler

Compiled 48 756 to 38 513 computations (21% saved)

bsearch1.4min (4%)

Algorithm
2 682×binary-search
332×left-value
Stop Event
2 646×narrow-enough
36×predicate-same
Samples
54.6s328 202×0valid
3.1s7 470×1valid
967.0ms10 224×0invalid
288.0ms612×2valid
3.0ms14×1invalid
1.0ms4×3valid
Compiler

Compiled 606 729 to 455 919 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 37.6s
ival-mult: 15.5s (41.2% of total)
ival-sub: 6.3s (16.8% of total)
ival-add: 4.7s (12.5% of total)
ival-div: 3.7s (9.7% of total)
...in/eval/compile.rkt:71:19: 2.3s (6.1% of total)
ival-log: 2.0s (5.4% of total)
ival-cos: 635.0ms (1.7% of total)
ival-sin: 630.0ms (1.7% of total)
ival-sqrt: 553.0ms (1.5% of total)
ival-exp: 328.0ms (0.9% of total)
ival-true: 292.0ms (0.8% of total)
ival-assert: 196.0ms (0.5% of total)
adjust: 189.0ms (0.5% of total)
ival-fabs: 133.0ms (0.4% of total)
...in/eval/compile.rkt:70:19: 103.0ms (0.3% of total)
ival-tanh: 7.0ms (0% of total)
ival-sinh: 6.0ms (0% of total)
ival-tan: 3.0ms (0% of total)
ival-cosh: 1.0ms (0% of total)

preprocess1.2min (3.3%)

Algorithm
269×egg-herbie
Rules
137 764×fmm-def
117 089×fma-define
51 035×unsub-neg
50 338×sub-neg
47 100×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 153 360 to 59 320 computations (61.3% saved)

series1.1min (2.9%)

Counts
8 977 → 214 938
Calls

51372 calls:

TimeVariablePointExpression
595.0ms
x
@-inf
(* x (* 2 (log (sqrt x))))
529.0ms
y
@0
(* x (pow (sqrt (- (log (neg x)) (log (neg y)))) 2))
510.0ms
z
@0
(/ (log (+ 1 (* y (- (exp z) 1)))) (* t x))
452.0ms
x
@0
(log (+ 1 (log (/ x y))))
409.0ms
y
@-inf
(cbrt (- 1 y))

explain52.4s (2.4%)

Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15661
/.f64#fo/n11030
sqrt.f64#foflow-rescue7760
/.f64#fo/o6080
-.f64#fcancellation5807
+.f64#fnan-rescue5120
*.f64#fn*o4540
-.f64#fnan-rescue4440
cos.f64#fsensitivity3391
/.f64#fn/o3330
+.f64#fcancellation3062
/.f64#fu/n2800
sin.f64#fsensitivity2210
cos.f64#foflow-rescue1610
*.f64#fn*u1500
/.f64#fn/u1390
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity950
log.f64#foflow-rescue930
/.f64#fu/u920
log.f64#fuflow-rescue620
sqrt.f64#fuflow-rescue460
*.f64#fo*u400
exp.f64#fsensitivity283
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue280
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow28
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue280
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow28
*.f64#fu*o40
Confusion
Predicted +Predicted -
+5929203
-168761045
Precision
0.7784926470588235
Recall
0.9668949771689498
Confusion?
Predicted +Predicted MaybePredicted -
+59297196
-16871061035
Precision?
0.7776758810428402
Recall?
0.9680365296803652
Freqs
test
numberfreq
061248
16857
2675
364
412
57
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13300
-21133
Precision?
0.9779411764705882
Recall?
1.0
Samples
16.9s130 564×0valid
2.8s6 000×1valid
591.0ms1 026×2valid
63.0ms132×3valid
6.0ms6×4valid
Compiler

Compiled 29 004 to 10 844 computations (62.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
ival-mult: 3.2s (34.9% of total)
ival-sub: 1.3s (14.5% of total)
ival-div: 1.3s (13.9% of total)
ival-add: 1.0s (10.9% of total)
ival-log: 842.0ms (9.1% of total)
adjust: 339.0ms (3.7% of total)
...in/eval/compile.rkt:71:19: 279.0ms (3% of total)
ival-sin: 192.0ms (2.1% of total)
ival-sqrt: 177.0ms (1.9% of total)
ival-cos: 158.0ms (1.7% of total)
ival-true: 133.0ms (1.4% of total)
ival-assert: 86.0ms (0.9% of total)
ival-exp: 72.0ms (0.8% of total)
...in/eval/compile.rkt:70:19: 42.0ms (0.5% of total)
ival-cosh: 19.0ms (0.2% of total)
ival-tan: 11.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-acos: 5.0ms (0.1% of total)

analyze21.5s (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 3 462 to 2 980 computations (13.9% saved)

end1.0ms (0%)

Profiling

Loading profile data...