Herbie run

Date:Saturday, June 29th, 2024
Commit:903258ad on fix-regimes-can-split
Hostname:nightly with Racket 8.11.1
Seed:2024181
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: 35.2min)

simplify7.8min (22.3%)

Memory
-3 068.2MiB live, 428 283.5MiB allocated
Algorithm
2 111×egg-herbie
Rules
712 926×fma-define
598 422×fmm-def
391 650×times-frac
353 144×distribute-lft-in
350 050×associate-*r*
Stop Event
1 332×node limit
772×saturated
7×unsound
Counts
512 981 → 439 697

sample5.7min (16.1%)

Memory
693.2MiB live, 404 175.1MiB allocated
Samples
3.5min2 145 708×0valid
22.4s65 626×1valid
9.7s64 531×0invalid
2.5s8 323×2valid
1.8s1 584×5exit
791.0ms1 205×3valid
333.0ms1 721×1invalid
1.0ms2×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 51.4s (34.2% of total)
ival-sub: 22.1s (14.7% of total)
ival-add: 19.9s (13.2% of total)
ival-div: 17.8s (11.9% of total)
ival-log: 9.8s (6.5% of total)
ival-sqrt: 6.5s (4.3% of total)
...in/eval/compile.rkt:111:19: 5.9s (3.9% of total)
ival-sin: 5.5s (3.7% of total)
ival-cos: 3.2s (2.2% of total)
ival-exp: 1.9s (1.3% of total)
adjust: 1.9s (1.2% of total)
ival-true: 1.7s (1.1% of total)
ival-assert: 874.0ms (0.6% of total)
...in/eval/compile.rkt:110:19: 643.0ms (0.4% of total)
ival-tan: 330.0ms (0.2% of total)
ival-cosh: 183.0ms (0.1% of total)
ival-acos: 170.0ms (0.1% of total)
ival-fabs: 167.0ms (0.1% of total)
ival-hypot: 162.0ms (0.1% of total)
ival-sinh: 135.0ms (0.1% of total)
ival-tanh: 77.0ms (0.1% of total)
Bogosity

soundness4.5min (12.7%)

Memory
-305.7MiB live, 227 713.1MiB allocated
Rules
263 439×fma-define
227 691×fmm-def
195 342×log1p-expm1-u
167 333×times-frac
154 853×associate-*r*
Stop Event
812×node limit
156×fuel
113×done
81×saturated
6×unsound
Compiler

Compiled 147 566 to 49 982 computations (66.1% saved)

rewrite4.0min (11.4%)

Memory
157.9MiB live, 207 888.2MiB allocated
Algorithm
908×batch-egg-rewrite
Rules
604 243×log1p-expm1-u
458 069×expm1-log1p-u
185 299×pow1
174 673×add-exp-log
166 854×add-log-exp
Stop Event
904×node limit
2×saturated
2×unsound
Counts
8 868 → 298 444

prune2.8min (8%)

Memory
-2 623.5MiB live, 238 751.9MiB allocated
Counts
595 283 → 14 558
Compiler

Compiled 478 240 to 285 497 computations (40.3% saved)

eval2.2min (6.3%)

Memory
3 111.4MiB live, 171 311.2MiB allocated
Compiler

Compiled 12 389 453 to 2 069 739 computations (83.3% saved)

localize1.9min (5.3%)

Memory
1 652.8MiB live, 136 808.0MiB allocated
Samples
51.3s219 065×0valid
8.1s8 529×1valid
3.3s1 724×5exit
3.1s7 754×0invalid
1.2s1 286×2valid
343.0ms401×0exit
175.0ms242×3valid
92.0ms90×1invalid
8.0ms7×1exit
8.0ms6×4valid
Compiler

Compiled 112 481 to 19 622 computations (82.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 42.7s
ival-mult: 13.9s (32.6% of total)
ival-div: 7.2s (16.8% of total)
ival-add: 4.7s (11.1% of total)
ival-sub: 3.2s (7.5% of total)
...in/eval/compile.rkt:111:19: 2.8s (6.5% of total)
ival-pow: 2.1s (5% of total)
ival-log: 1.9s (4.5% of total)
ival-cos: 1.2s (2.7% of total)
ival-sqrt: 1.1s (2.5% of total)
adjust: 876.0ms (2.1% of total)
ival-neg: 742.0ms (1.7% of total)
ival-pow2: 655.0ms (1.5% of total)
ival-sin: 551.0ms (1.3% of total)
ival-cbrt: 326.0ms (0.8% of total)
ival-exp: 237.0ms (0.6% of total)
ival-log1p: 222.0ms (0.5% of total)
ival-expm1: 209.0ms (0.5% of total)
ival-true: 201.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 149.0ms (0.3% of total)
ival-hypot: 135.0ms (0.3% of total)
ival-tan: 101.0ms (0.2% of total)
ival-assert: 99.0ms (0.2% of total)
ival-cosh: 25.0ms (0.1% of total)
ival-fabs: 20.0ms (0% of total)
ival-acos: 19.0ms (0% of total)
ival-sinh: 10.0ms (0% of total)
ival-tanh: 9.0ms (0% of total)

regimes1.4min (4.1%)

Memory
-2.3MiB live, 113 933.9MiB allocated
Counts
38 066 → 4 934
Calls

511 calls:

13.5s
y
12.9s
x
11.9s
z
6.8s
t
4.0s
a
Compiler

Compiled 46 747 to 36 829 computations (21.2% saved)

bsearch1.3min (3.7%)

Memory
-136.5MiB live, 97 677.9MiB allocated
Algorithm
2 565×binary-search
257×left-value
Stop Event
2 525×narrow-enough
40×predicate-same
Samples
49.1s315 268×0valid
2.4s7 028×1valid
835.0ms10 301×0invalid
151.0ms797×2valid
105.0ms772×1invalid
5.0ms27×3valid
Compiler

Compiled 578 101 to 434 102 computations (24.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.3s
ival-mult: 14.0s (39.5% of total)
ival-sub: 7.4s (20.8% of total)
ival-add: 4.8s (13.5% of total)
ival-div: 2.8s (8% of total)
...in/eval/compile.rkt:111:19: 2.2s (6.3% of total)
ival-log: 1.3s (3.7% of total)
ival-sqrt: 738.0ms (2.1% of total)
ival-sin: 660.0ms (1.9% of total)
ival-cos: 388.0ms (1.1% of total)
ival-true: 303.0ms (0.9% of total)
adjust: 252.0ms (0.7% of total)
ival-exp: 185.0ms (0.5% of total)
ival-fabs: 134.0ms (0.4% of total)
ival-assert: 130.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 98.0ms (0.3% of total)
ival-sinh: 13.0ms (0% of total)
ival-tanh: 11.0ms (0% of total)
ival-cosh: 4.0ms (0% of total)

preprocess1.3min (3.6%)

Memory
-817.9MiB live, 69 246.5MiB allocated
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 140 454 to 55 610 computations (60.4% saved)

series1.1min (3.1%)

Memory
645.3MiB live, 77 543.1MiB allocated
Counts
8 868 → 214 537
Calls

51012 calls:

TimeVariablePointExpression
529.0ms
x
@0
(pow x 1/4)
504.0ms
y
@-inf
(+ x (* y (- z x)))
496.0ms
x
@0
(- x (* (/ 1 t) (log (+ 1 (* y z)))))
420.0ms
t
@0
(* (/ 1 t) (log (+ 1 (* y z))))
407.0ms
x
@-inf
(sqrt (* y (* (cbrt x) (sqrt (cbrt x)))))

explain48.6s (2.3%)

Memory
858.9MiB live, 61 008.2MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15513
/.f64#fo/n12030
sqrt.f64#foflow-rescue8000
-.f64#fcancellation61210
/.f64#fo/o5970
*.f64#fn*o5240
+.f64#fnan-rescue4940
-.f64#fnan-rescue4630
cos.f64#fsensitivity3520
/.f64#fn/o3440
+.f64#fcancellation3095
/.f64#fu/n2650
sin.f64#fsensitivity2400
*.f64#fn*u1690
cos.f64#foflow-rescue1420
/.f64#fn/u1180
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity951
/.f64#fu/u890
log.f64#foflow-rescue850
log.f64#fuflow-rescue770
sqrt.f64#fuflow-rescue510
exp.f64#fsensitivity352
*.f64#fo*u350
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue320
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow32
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue320
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow32
*.f64(*.f64 (*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64)))) (exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64))))u*o10
↳(*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64))))underflow2
↳(exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64)))overflow134
↳(/.f64 (*.f64 t t) #s(literal 2 binary64))overflow70
↳(*.f64 t t)overflow70
Confusion
Predicted +Predicted -
+6077200
-173360854
Precision
0.7781049935979514
Recall
0.968137645371993
Confusion?
Predicted +Predicted MaybePredicted -
+60773197
-17331860836
Precision?
0.7764014812922998
Recall?
0.9686155806914131
Freqs
test
numberfreq
061054
17012
2715
365
413
54
61
Total Confusion?
Predicted +Predicted MaybePredicted -
+13102
-11134
Precision?
0.9849624060150376
Recall?
0.9849624060150376
Samples
14.8s130 604×0valid
2.1s5 904×1valid
383.0ms1 010×2valid
155.0ms208×3valid
1.0ms2×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 10.3s
ival-mult: 4.0s (38.6% of total)
ival-add: 1.4s (14% of total)
ival-div: 1.4s (13.1% of total)
ival-sub: 1.1s (10.9% of total)
ival-log: 768.0ms (7.4% of total)
ival-sqrt: 300.0ms (2.9% of total)
...in/eval/compile.rkt:111:19: 280.0ms (2.7% of total)
adjust: 264.0ms (2.6% of total)
ival-cos: 226.0ms (2.2% of total)
ival-sin: 191.0ms (1.9% of total)
ival-true: 120.0ms (1.2% of total)
ival-exp: 85.0ms (0.8% of total)
ival-assert: 55.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 39.0ms (0.4% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-tan: 11.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-tanh: 10.0ms (0.1% of total)
ival-acos: 9.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)

analyze23.3s (1.1%)

Memory
-159.2MiB live, 25 693.6MiB allocated
Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.8%46.8%53.1%0.1%0%0%0%1
50.5%50.1%49.2%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 977 computations (14% saved)

end1.0ms (0%)

Memory
4.7MiB live, 4.5MiB allocated

Profiling

Loading profile data...