Herbie run

Date:Thursday, August 22nd, 2024
Commit:0a751149 on faster-egg
Hostname:nightly with Racket 8.11.1
Seed:2024235
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.5min)

soundness5.6min (15.9%)

Memory
-359.3MiB live, 161 653.0MiB allocated
Rules
8 152 134×lower-fma.f32
8 150 924×lower-fma.f64
4 329 834×lower-*.f32
4 326 398×lower-*.f64
2 372 824×lower-/.f32
Stop Event
1 416×iter limit
962×node limit
150×fuel
119×done
21×saturated
3×unsound
Compiler

Compiled 165 162 to 75 117 computations (54.5% saved)

simplify5.6min (15.8%)

Memory
2 655.5MiB live, 282 891.2MiB allocated
Algorithm
2 121×egg-herbie
Rules
13 755 930×lower-fma.f32
13 752 672×lower-fma.f64
5 245 498×lower-*.f32
5 237 888×lower-*.f64
3 008 090×lower-+.f32
Stop Event
2 764×iter limit
1 222×node limit
913×saturated
Counts
354 192 → 346 022

sample5.5min (15.6%)

Memory
689.5MiB live, 373 097.4MiB allocated
Samples
3.2min2 147 297×0valid
20.9s67 379×1valid
9.9s64 613×0invalid
1.5s5 609×2valid
1.4s372×4exit
965.0ms1 244×5exit
387.0ms1 768×1invalid
150.0ms578×3valid
2.0ms16×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-mult: 45.2s (31.5% of total)
ival-sub: 22.4s (15.6% of total)
ival-add: 19.6s (13.7% of total)
ival-div: 16.4s (11.4% of total)
ival-log: 9.7s (6.8% of total)
const: 7.1s (4.9% of total)
ival-sqrt: 5.2s (3.6% of total)
ival-sin: 3.5s (2.4% of total)
ival-cos: 3.0s (2.1% of total)
adjust: 2.9s (2% of total)
ival-exp: 2.2s (1.6% of total)
ival-true: 1.7s (1.2% of total)
ival-fabs: 1.1s (0.8% of total)
exact: 1.0s (0.7% of total)
ival-assert: 857.0ms (0.6% of total)
ival-hypot: 375.0ms (0.3% of total)
ival-tan: 316.0ms (0.2% of total)
ival-cosh: 302.0ms (0.2% of total)
ival-acos: 230.0ms (0.2% of total)
ival-sinh: 123.0ms (0.1% of total)
ival-tanh: 118.0ms (0.1% of total)
Bogosity

rewrite4.1min (11.5%)

Memory
124.4MiB live, 243 491.5MiB allocated
Rules
5 063 054×lower-fma.f32
5 059 814×lower-fma.f64
3 966 670×lower-*.f32
3 959 170×lower-*.f64
3 363 974×lower-/.f32
Stop Event
1 892×iter limit
900×node limit
17×saturated
17×unsound
Counts
11 459 → 490 891

prune4.0min (11.2%)

Memory
-4 924.6MiB live, 280 451.9MiB allocated
Counts
921 061 → 14 665
Compiler

Compiled 560 319 to 285 542 computations (49% saved)

eval3.4min (9.7%)

Memory
3 262.5MiB live, 232 136.1MiB allocated
Compiler

Compiled 24 313 915 to 1 632 151 computations (93.3% saved)

localize1.9min (5.3%)

Memory
-333.2MiB live, 133 519.2MiB allocated
Samples
57.0s219 599×0valid
9.6s11 304×1valid
4.1s2 990×2valid
747.0ms1 995×0invalid
316.0ms212×1invalid
271.0ms289×3valid
110.0ms348×0exit
85.0ms162×2exit
78.0ms138×1exit
19.0ms11×5exit
9.0ms8×4valid
Compiler

Compiled 139 142 to 22 658 computations (83.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.8s
ival-mult: 17.8s (36.5% of total)
ival-div: 8.1s (16.7% of total)
ival-add: 7.5s (15.3% of total)
ival-sub: 3.5s (7.2% of total)
const: 2.6s (5.3% of total)
adjust: 2.0s (4.1% of total)
ival-log: 1.5s (3.1% of total)
ival-cos: 1.5s (3% of total)
ival-sin: 795.0ms (1.6% of total)
ival-neg: 761.0ms (1.6% of total)
ival-sqrt: 690.0ms (1.4% of total)
ival-pow: 609.0ms (1.2% of total)
ival-exp: 303.0ms (0.6% of total)
exact: 223.0ms (0.5% of total)
ival-true: 188.0ms (0.4% of total)
ival-assert: 153.0ms (0.3% of total)
ival-acos: 106.0ms (0.2% of total)
ival-log1p: 91.0ms (0.2% of total)
ival-tan: 84.0ms (0.2% of total)
ival-pow2: 73.0ms (0.1% of total)
ival-expm1: 56.0ms (0.1% of total)
ival-fabs: 34.0ms (0.1% of total)
ival-cosh: 25.0ms (0.1% of total)
ival-sinh: 17.0ms (0% of total)
ival-hypot: 16.0ms (0% of total)
ival-tanh: 14.0ms (0% of total)
ival-asin: 6.0ms (0% of total)
ival-pi: 4.0ms (0% of total)
ival-copysign: 2.0ms (0% of total)

regimes1.7min (4.8%)

Memory
-215.2MiB live, 126 123.0MiB allocated
Counts
44 434 → 4 996
Calls

511 calls:

15.2s
x
14.3s
y
10.3s
z
6.2s
t
3.9s
a
Compiler

Compiled 77 726 to 58 031 computations (25.3% saved)

preprocess1.2min (3.4%)

Memory
613.2MiB live, 68 788.9MiB allocated
Algorithm
269×egg-herbie
Rules
845 124×lower-fma.f64
845 124×lower-fma.f32
193 164×unsub-neg
192 664×lower-*.f32
191 630×lower-*.f64
Stop Event
538×iter limit
394×saturated
144×node limit
Compiler

Compiled 181 705 to 51 576 computations (71.6% saved)

series51.5s (2.4%)

Memory
-565.2MiB live, 60 124.0MiB allocated
Counts
11 459 → 354 192
Calls

36651 calls:

TimeVariablePointExpression
382.0ms
x
@-inf
(* y x)
359.0ms
z
@0
(/ 1 (+ (* (/ 1/3 b) a) (* (cos (- y (/ (* z t) 3))) (* (sqrt x) 2))))
344.0ms
y
@inf
(log (* (* (sqrt x) 2) (cos (- y (/ (* z t) 3)))))
288.0ms
y
@-inf
(* (/ y t) 60)
243.0ms
y
@0
(/ 1 (cos (/ (pow (exp -1) (log y)) (pow (exp -1) (log (* 1/2 x))))))

explain43.8s (2.1%)

Memory
-544.8MiB live, 50 971.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15676
/.f64#fo/n11970
sqrt.f64#foflow-rescue7850
-.f64#fcancellation59510
/.f64#fo/o5830
+.f64#fnan-rescue5140
*.f64#fn*o4770
-.f64#fnan-rescue4590
cos.f64#fsensitivity3641
/.f64#fn/o3580
+.f64#fcancellation2980
/.f64#fu/n2660
sin.f64#fsensitivity2190
*.f64#fn*u1590
/.f64#fn/u1490
cos.f64#foflow-rescue1380
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity940
log.f64#foflow-rescue880
log.f64#fuflow-rescue850
/.f64#fu/u800
sqrt.f64#fuflow-rescue460
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue420
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow42
exp.f64#fsensitivity305
*.f64#fo*u260
*.f64#fu*o20
Confusion
Predicted +Predicted -
+6087174
-171360890
Precision
0.7803846153846153
Recall
0.9722089123143268
Confusion?
Predicted +Predicted MaybePredicted -
+60872172
-17132160869
Precision?
0.7783459031062252
Recall?
0.9725283501038173
Freqs
test
numberfreq
061064
17026
2706
350
415
53
Total Confusion?
Predicted +Predicted MaybePredicted -
+13300
-11134
Precision?
0.9851851851851852
Recall?
1.0
Samples
13.0s130 572×0valid
2.2s5 854×1valid
793.0ms1 192×2valid
64.0ms110×3valid
Compiler

Compiled 25 261 to 8 402 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
ival-mult: 2.9s (31.1% of total)
ival-div: 1.3s (14.4% of total)
ival-add: 1.1s (11.3% of total)
ival-sub: 971.0ms (10.5% of total)
ival-log: 961.0ms (10.4% of total)
adjust: 418.0ms (4.5% of total)
ival-sqrt: 361.0ms (3.9% of total)
const: 304.0ms (3.3% of total)
ival-cos: 295.0ms (3.2% of total)
ival-sin: 259.0ms (2.8% of total)
ival-exp: 135.0ms (1.5% of total)
ival-true: 114.0ms (1.2% of total)
exact: 60.0ms (0.6% of total)
ival-assert: 55.0ms (0.6% of total)
ival-fabs: 20.0ms (0.2% of total)
ival-tan: 12.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

bsearch30.6s (1.4%)

Memory
445.0MiB live, 37 213.9MiB allocated
Algorithm
1 549×binary-search
1 289×left-value
Stop Event
1 519×narrow-enough
30×predicate-same
Samples
16.4s124 970×0valid
1.2s3 388×1valid
324.0ms4 523×0invalid
44.0ms110×1invalid
24.0ms137×2valid
3.0ms17×3valid
Compiler

Compiled 419 111 to 283 874 computations (32.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
ival-mult: 5.7s (47.7% of total)
ival-sub: 2.2s (18.4% of total)
ival-add: 1.4s (11.2% of total)
ival-div: 808.0ms (6.7% of total)
ival-log: 515.0ms (4.3% of total)
const: 244.0ms (2% of total)
ival-sqrt: 237.0ms (2% of total)
ival-sin: 234.0ms (1.9% of total)
ival-exp: 194.0ms (1.6% of total)
ival-cos: 167.0ms (1.4% of total)
adjust: 119.0ms (1% of total)
ival-true: 93.0ms (0.8% of total)
ival-assert: 51.0ms (0.4% of total)
exact: 43.0ms (0.4% of total)
ival-tanh: 13.0ms (0.1% of total)
ival-cosh: 12.0ms (0.1% of total)
ival-sinh: 1.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)

analyze18.9s (0.9%)

Memory
128.8MiB live, 22 005.0MiB 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)

start4.0ms (0%)

Memory
9.7MiB live, 9.3MiB allocated

end2.0ms (0%)

Memory
5.2MiB live, 4.4MiB allocated

Profiling

Loading profile data...