Herbie run

Date:Wednesday, August 7th, 2024
Commit:5f42bdd1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024220
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: 41.5min)

simplify10.4min (25.1%)

Memory
1 407.0MiB live, 691 241.1MiB allocated
Algorithm
2 129×egg-herbie
Rules
13 725 038×lower-fma.f32
13 721 648×lower-fma.f64
5 250 062×lower-*.f32
5 242 500×lower-*.f64
2 993 998×lower-+.f32
Stop Event
2 777×iter limit
1 213×node limit
929×saturated
Counts
350 304 → 342 123

rewrite7.0min (16.8%)

Memory
-111.6MiB live, 506 545.2MiB allocated
Algorithm
930×batch-egg-rewrite
Rules
5 158 314×lower-fma.f32
5 154 944×lower-fma.f64
3 937 698×lower-*.f32
3 930 222×lower-*.f64
3 308 106×lower-/.f32
Stop Event
1 909×iter limit
904×node limit
17×saturated
16×unsound
Counts
11 433 → 488 816

sample5.6min (13.6%)

Memory
169.7MiB live, 398 122.5MiB allocated
Samples
3.3min2 147 009×0valid
22.0s67 618×1valid
19.3s63 901×0invalid
1.5s1 205×5exit
1.5s5 637×2valid
763.0ms1 803×1invalid
434.0ms393×4exit
163.0ms599×3valid
2.0ms19×1exit
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult: 46.8s (29.2% of total)
ival-div: 34.6s (21.6% of total)
ival-sub: 20.0s (12.5% of total)
ival-add: 19.6s (12.2% of total)
ival-log: 9.9s (6.2% of total)
ival-sqrt: 5.9s (3.7% of total)
const: 5.4s (3.3% of total)
adjust: 3.5s (2.2% of total)
ival-sin: 3.4s (2.2% of total)
ival-exp: 3.0s (1.8% of total)
ival-cos: 2.9s (1.8% of total)
ival-true: 1.6s (1% of total)
exact: 1.0s (0.7% of total)
ival-assert: 935.0ms (0.6% of total)
ival-tan: 474.0ms (0.3% of total)
ival-cosh: 373.0ms (0.2% of total)
ival-hypot: 195.0ms (0.1% of total)
ival-fabs: 189.0ms (0.1% of total)
ival-acos: 177.0ms (0.1% of total)
ival-sinh: 131.0ms (0.1% of total)
ival-tanh: 89.0ms (0.1% of total)
Bogosity

soundness5.2min (12.6%)

Memory
-426.6MiB live, 172 335.1MiB allocated
Rules
8 143 222×lower-fma.f32
8 141 818×lower-fma.f64
4 266 198×lower-*.f32
4 262 630×lower-*.f64
2 352 094×lower-/.f32
Stop Event
1 427×iter limit
957×node limit
143×fuel
126×done
20×saturated
4×unsound
Compiler

Compiled 157 437 to 71 816 computations (54.4% saved)

eval3.1min (7.4%)

Memory
4 607.4MiB live, 244 616.8MiB allocated
Compiler

Compiled 24 909 547 to 1 651 831 computations (93.4% saved)

prune2.7min (6.4%)

Memory
-5 240.5MiB live, 230 861.6MiB allocated
Counts
925 786 → 14 826
Compiler

Compiled 572 629 to 287 693 computations (49.8% saved)

regimes2.0min (4.7%)

Memory
-446.7MiB live, 132 043.7MiB allocated
Counts
46 316 → 4 916
Calls

511 calls:

23.1s
y
13.7s
x
9.8s
z
9.1s
(exp.f64 (*.f64 y y))
6.3s
t
Compiler

Compiled 78 405 to 58 546 computations (25.3% saved)

localize1.9min (4.5%)

Memory
295.7MiB live, 145 744.3MiB allocated
Samples
51.8s219 706×0valid
9.3s10 986×1valid
3.1s2 739×2valid
1.2s3 013×0invalid
329.0ms700×0exit
232.0ms268×3valid
211.0ms390×2exit
153.0ms211×1exit
39.0ms49×1invalid
26.0ms13×5exit
6.0ms5×4valid
Compiler

Compiled 142 328 to 22 650 computations (84.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.2s
ival-mult: 15.6s (34.5% of total)
ival-div: 7.5s (16.5% of total)
ival-add: 6.5s (14.4% of total)
ival-sub: 3.6s (7.9% of total)
const: 3.0s (6.7% of total)
ival-log: 2.0s (4.5% of total)
adjust: 1.6s (3.5% of total)
ival-cos: 1.2s (2.6% of total)
ival-sin: 908.0ms (2% of total)
ival-neg: 688.0ms (1.5% of total)
ival-sqrt: 592.0ms (1.3% of total)
ival-pow: 474.0ms (1% of total)
ival-pow2: 345.0ms (0.8% of total)
ival-exp: 330.0ms (0.7% of total)
exact: 228.0ms (0.5% of total)
ival-true: 195.0ms (0.4% of total)
ival-log1p: 167.0ms (0.4% of total)
ival-assert: 102.0ms (0.2% of total)
ival-sinh: 65.0ms (0.1% of total)
ival-fabs: 62.0ms (0.1% of total)
ival-tan: 37.0ms (0.1% of total)
ival-expm1: 36.0ms (0.1% of total)
ival-cosh: 28.0ms (0.1% of total)
ival-hypot: 23.0ms (0.1% of total)
ival-acos: 15.0ms (0% of total)
ival-tanh: 12.0ms (0% of total)
ival-asin: 5.0ms (0% of total)
ival-pi: 2.0ms (0% of total)

preprocess1.5min (3.6%)

Memory
1 364.1MiB live, 91 185.8MiB 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 172 884 to 47 058 computations (72.8% saved)

explain46.6s (1.9%)

Memory
-696.9MiB live, 57 484.8MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15721
/.f64#fo/n12850
sqrt.f64#foflow-rescue7820
/.f64#fo/o5890
-.f64#fcancellation5715
+.f64#fnan-rescue5040
*.f64#fn*o5000
-.f64#fnan-rescue4850
/.f64#fn/o3700
cos.f64#fsensitivity3621
+.f64#fcancellation3252
/.f64#fu/n2770
sin.f64#fsensitivity2050
*.f64#fn*u1790
cos.f64#foflow-rescue1470
/.f64#fn/u1320
log.f64#foflow-rescue990
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity860
/.f64#fu/u820
log.f64#fuflow-rescue680
sqrt.f64#fuflow-rescue430
exp.f64#fsensitivity360
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue320
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow32
↳(*.f64 y #s(literal 2 binary64))overflow1
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue320
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow32
↳(*.f64 y #s(literal 2 binary64))overflow1
*.f64#fo*u240
Confusion
Predicted +Predicted -
+6178192
-174360751
Precision
0.7799520262593107
Recall
0.9698587127158556
Confusion?
Predicted +Predicted MaybePredicted -
+61785187
-1743460747
Precision?
0.7796973518284994
Recall?
0.9706436420722135
Freqs
test
numberfreq
060943
17154
2691
359
413
52
62
Total Confusion?
Predicted +Predicted MaybePredicted -
+13901
-30126
Precision?
0.9788732394366197
Recall?
0.9928571428571429
Samples
15.0s130 562×0valid
2.1s5 920×1valid
679.0ms1 150×2valid
95.0ms96×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.9s
ival-mult: 3.5s (35.5% of total)
ival-sub: 1.5s (15% of total)
ival-add: 1.3s (13% of total)
ival-div: 906.0ms (9.1% of total)
ival-log: 734.0ms (7.4% of total)
adjust: 451.0ms (4.5% of total)
const: 342.0ms (3.4% of total)
ival-cos: 311.0ms (3.1% of total)
ival-sqrt: 250.0ms (2.5% of total)
ival-sin: 223.0ms (2.2% of total)
ival-true: 117.0ms (1.2% of total)
ival-exp: 96.0ms (1% of total)
exact: 67.0ms (0.7% of total)
ival-assert: 57.0ms (0.6% of total)
ival-cosh: 18.0ms (0.2% of total)
ival-tan: 11.0ms (0.1% of total)
ival-fabs: 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: 5.0ms (0.1% of total)

series35.8s (1.4%)

Memory
82.5MiB live, 42 708.5MiB allocated
Counts
11 433 → 350 304
Calls

36414 calls:

TimeVariablePointExpression
1.9s
y
@0
(* y (+ (- 1 z) (log z)))
232.0ms
x
@0
(/ (* x (exp (- (+ (* y (log z)) (* (- t 1) (log a))) b))) y)
228.0ms
y
@-inf
(* x (log y))
199.0ms
i
@inf
(* t i)
197.0ms
z
@0
(+ x (- y z))

bsearch30.4s (1.2%)

Memory
-17.4MiB live, 40 305.5MiB allocated
Algorithm
1 612×binary-search
1 140×left-value
Stop Event
1 589×narrow-enough
23×predicate-same
Samples
17.2s131 581×0valid
1.2s4 035×1valid
190.0ms2 801×0invalid
31.0ms150×2valid
28.0ms106×1invalid
6.0ms10×3valid
Compiler

Compiled 455 772 to 306 042 computations (32.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.4s
ival-mult: 5.1s (41.2% of total)
ival-sub: 2.3s (18.5% of total)
ival-add: 1.4s (11.3% of total)
ival-div: 817.0ms (6.6% of total)
ival-log: 558.0ms (4.5% of total)
ival-sin: 446.0ms (3.6% of total)
ival-cos: 395.0ms (3.2% of total)
ival-sqrt: 393.0ms (3.2% of total)
const: 359.0ms (2.9% of total)
ival-exp: 203.0ms (1.6% of total)
adjust: 188.0ms (1.5% of total)
ival-true: 102.0ms (0.8% of total)
ival-assert: 56.0ms (0.5% of total)
exact: 50.0ms (0.4% of total)
ival-tanh: 12.0ms (0.1% of total)
ival-cosh: 11.0ms (0.1% of total)
ival-sinh: 4.0ms (0% of total)

analyze18.4s (0.7%)

Memory
-258.9MiB live, 25 222.7MiB 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)

end2.0ms (0%)

Memory
4.9MiB live, 4.5MiB allocated

Profiling

Loading profile data...