Herbie run

Date:Thursday, July 4th, 2024
Commit:333f5f95 on zane-job-places
Hostname:nightly with Racket 8.11.1
Seed:2024186
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.6min (21.6%)

Memory
-574.5MiB live, 432 373.6MiB allocated
Algorithm
2 103×egg-herbie
Rules
713 857×fma-define
587 506×fmm-def
368 670×times-frac
352 000×distribute-lft-in
333 438×associate-*r*
Stop Event
1 327×node limit
770×saturated
6×unsound
Counts
511 938 → 440 868

sample5.7min (16.2%)

Memory
553.5MiB live, 407 252.0MiB allocated
Samples
3.5min2 145 478×0valid
26.4s68 824×1valid
10.0s64 476×0invalid
2.1s5 889×2valid
1.4s1 204×5exit
505.0ms1 816×1invalid
321.0ms377×4exit
317.0ms672×3valid
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 48.1s (31% of total)
ival-sub: 22.8s (14.7% of total)
ival-add: 22.2s (14.3% of total)
ival-div: 19.7s (12.7% of total)
ival-log: 10.9s (7% of total)
...in/eval/compile.rkt:111:19: 6.1s (3.9% of total)
ival-sqrt: 6.0s (3.9% of total)
ival-sin: 5.3s (3.4% of total)
ival-cos: 3.5s (2.2% of total)
adjust: 2.7s (1.7% of total)
ival-exp: 2.2s (1.4% of total)
ival-true: 1.7s (1.1% of total)
ival-assert: 943.0ms (0.6% of total)
...in/eval/compile.rkt:110:19: 697.0ms (0.4% of total)
ival-cosh: 679.0ms (0.4% of total)
ival-acos: 544.0ms (0.4% of total)
ival-tanh: 350.0ms (0.2% of total)
ival-tan: 334.0ms (0.2% of total)
ival-fabs: 220.0ms (0.1% of total)
ival-sinh: 196.0ms (0.1% of total)
ival-hypot: 136.0ms (0.1% of total)
Bogosity

soundness4.7min (13.4%)

Memory
10.5MiB live, 235 002.0MiB allocated
Rules
270 049×fma-define
229 549×fmm-def
201 319×log1p-expm1-u
161 950×times-frac
159 319×associate-*r*
Stop Event
820×node limit
153×fuel
116×done
85×saturated
5×unsound
Compiler

Compiled 153 787 to 51 816 computations (66.3% saved)

rewrite4.0min (11.3%)

Memory
788.9MiB live, 209 441.0MiB allocated
Algorithm
903×batch-egg-rewrite
Rules
603 229×log1p-expm1-u
447 824×expm1-log1p-u
186 422×pow1
178 639×add-exp-log
169 920×add-log-exp
Stop Event
899×node limit
3×unsound
1×saturated
Counts
8 960 → 296 279

prune2.8min (7.9%)

Memory
-3 374.2MiB live, 237 194.3MiB allocated
Counts
595 512 → 14 333
Compiler

Compiled 466 974 to 278 894 computations (40.3% saved)

eval2.3min (6.5%)

Memory
3 652.9MiB live, 174 621.4MiB allocated
Compiler

Compiled 12 508 434 to 2 073 396 computations (83.4% saved)

localize1.9min (5.4%)

Memory
187.8MiB live, 140 962.7MiB allocated
Samples
49.8s218 311×0valid
8.2s7 540×1valid
3.2s1 797×2valid
2.8s7 348×0invalid
2.2s1 254×5exit
985.0ms460×1exit
625.0ms413×2exit
453.0ms191×4exit
208.0ms220×3valid
152.0ms642×0exit
123.0ms146×1invalid
11.0ms8×3exit
5.0ms6×4valid
Compiler

Compiled 113 490 to 19 742 computations (82.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.0s
ival-mult: 13.4s (30.4% of total)
ival-div: 8.6s (19.5% of total)
ival-add: 5.2s (11.8% of total)
ival-sub: 3.3s (7.6% of total)
ival-log: 2.5s (5.7% of total)
...in/eval/compile.rkt:111:19: 2.2s (4.9% of total)
ival-pow: 1.7s (4% of total)
adjust: 1.3s (3% of total)
ival-pow2: 1.1s (2.5% of total)
ival-cos: 984.0ms (2.2% of total)
ival-sin: 702.0ms (1.6% of total)
ival-sqrt: 695.0ms (1.6% of total)
ival-neg: 458.0ms (1% of total)
ival-cbrt: 323.0ms (0.7% of total)
ival-expm1: 294.0ms (0.7% of total)
ival-exp: 269.0ms (0.6% of total)
ival-log1p: 213.0ms (0.5% of total)
ival-true: 205.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 165.0ms (0.4% of total)
ival-assert: 106.0ms (0.2% of total)
ival-tanh: 60.0ms (0.1% of total)
ival-hypot: 55.0ms (0.1% of total)
ival-acos: 41.0ms (0.1% of total)
ival-cosh: 30.0ms (0.1% of total)
ival-tan: 30.0ms (0.1% of total)
ival-sinh: 29.0ms (0.1% of total)
ival-fabs: 22.0ms (0% of total)

regimes1.6min (4.5%)

Memory
-384.3MiB live, 122 528.5MiB allocated
Counts
40 077 → 5 140
Calls

511 calls:

18.1s
x
14.2s
y
12.2s
z
8.2s
t
4.7s
a
Compiler

Compiled 48 956 to 38 460 computations (21.4% saved)

bsearch1.3min (3.6%)

Memory
586.9MiB live, 90 651.6MiB allocated
Algorithm
2 648×binary-search
318×left-value
Stop Event
2 603×narrow-enough
45×predicate-same
Samples
46.9s317 815×0valid
2.9s9 803×1valid
476.0ms5 765×0invalid
53.0ms320×2valid
8.0ms30×3valid
Compiler

Compiled 566 038 to 424 082 computations (25.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 32.2s
ival-mult: 12.9s (40% of total)
ival-sub: 6.1s (19.1% of total)
ival-add: 3.7s (11.5% of total)
ival-div: 3.4s (10.6% of total)
...in/eval/compile.rkt:111:19: 1.6s (4.8% of total)
ival-log: 1.5s (4.6% of total)
ival-sqrt: 750.0ms (2.3% of total)
ival-sin: 517.0ms (1.6% of total)
ival-cos: 435.0ms (1.4% of total)
ival-exp: 385.0ms (1.2% of total)
adjust: 319.0ms (1% of total)
ival-true: 253.0ms (0.8% of total)
ival-assert: 141.0ms (0.4% of total)
...in/eval/compile.rkt:110:19: 105.0ms (0.3% of total)
ival-tanh: 88.0ms (0.3% of total)
ival-fabs: 12.0ms (0% of total)
ival-cosh: 6.0ms (0% of total)
ival-tan: 3.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)

preprocess1.2min (3.5%)

Memory
-919.3MiB live, 70 230.8MiB 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 150 226 to 58 232 computations (61.2% saved)

series1.1min (3.2%)

Memory
-323.0MiB live, 81 562.0MiB allocated
Counts
8 960 → 215 659
Calls

52008 calls:

TimeVariablePointExpression
438.0ms
x
@0
(* (cosh x) y)
412.0ms
y
@0
(* (* y (cbrt z)) (cbrt (sqrt z)))
357.0ms
y
@-inf
(log (* z y))
346.0ms
y
@0
(/ (+ x (/ (- (* y z) x) (* z t))) (+ x 1))
343.0ms
x
@0
(pow x 1/4)

explain44.3s (2.1%)

Memory
950.1MiB live, 61 232.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15923
/.f64#fo/n11480
sqrt.f64#foflow-rescue7650
-.f64#fcancellation6056
*.f64#fn*o5520
/.f64#fo/o5430
+.f64#fnan-rescue4450
-.f64#fnan-rescue4280
/.f64#fn/o3460
+.f64#fcancellation3312
cos.f64#fsensitivity3261
/.f64#fu/n2540
sin.f64#fsensitivity2152
*.f64#fn*u1970
/.f64#fn/u1410
cos.f64#foflow-rescue1410
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity1011
log.f64#foflow-rescue890
/.f64#fu/u860
log.f64#fuflow-rescue750
sqrt.f64#fuflow-rescue510
*.f64#fo*u400
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue310
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow31
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue310
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow31
exp.f64#fsensitivity284
*.f64#fu*o30
Confusion
Predicted +Predicted -
+6010183
-169260979
Precision
0.780316800830953
Recall
0.9704505086387857
Confusion?
Predicted +Predicted MaybePredicted -
+60107176
-16921360966
Precision?
0.7792022792022792
Recall?
0.9715808170515098
Freqs
test
numberfreq
061162
16912
2731
346
413
Total Confusion?
Predicted +Predicted MaybePredicted -
+13900
-10129
Precision?
0.9928571428571429
Recall?
1.0
Samples
13.4s130 504×0valid
2.3s5 890×1valid
1.1s1 214×2valid
36.0ms116×3valid
1.0ms2×4valid
1.0ms2×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.1s
ival-mult: 2.5s (27.2% of total)
ival-div: 1.4s (15.2% of total)
ival-add: 1.2s (13.5% of total)
ival-sub: 1.1s (12.5% of total)
ival-log: 832.0ms (9.1% of total)
ival-cos: 654.0ms (7.2% of total)
...in/eval/compile.rkt:111:19: 362.0ms (4% of total)
adjust: 239.0ms (2.6% of total)
ival-sin: 186.0ms (2% of total)
ival-sqrt: 161.0ms (1.8% of total)
ival-true: 122.0ms (1.3% of total)
ival-exp: 104.0ms (1.1% of total)
ival-tan: 68.0ms (0.7% of total)
ival-assert: 62.0ms (0.7% of total)
...in/eval/compile.rkt:110:19: 43.0ms (0.5% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-hypot: 9.0ms (0.1% of total)
ival-sinh: 8.0ms (0.1% of total)
ival-tanh: 6.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

analyze19.3s (0.9%)

Memory
-142.6MiB live, 25 336.1MiB 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.5MiB live, 4.2MiB allocated

Profiling

Loading profile data...