Herbie run

Date:Thursday, August 1st, 2024
Commit:9d1b2398 on HEAD
Hostname:nightly with Racket 8.11.1
Seed:2024214
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: 42.5min)

simplify10.3min (24.2%)

Memory
-862.9MiB live, 670 981.5MiB allocated
Algorithm
2 155×egg-herbie
Rules
13 049 620×lower-fma.f32
13 046 352×lower-fma.f64
5 075 834×lower-*.f32
5 068 224×lower-*.f64
2 775 502×lower-+.f32
Stop Event
2 804×iter limit
1 155×node limit
1 025×saturated
Counts
248 352 → 241 929

rewrite7.2min (16.9%)

Memory
2 129.7MiB live, 489 806.7MiB allocated
Algorithm
943×batch-egg-rewrite
Rules
5 404 760×lower-fma.f32
5 401 494×lower-fma.f64
3 899 394×lower-*.f32
3 891 906×lower-*.f64
3 188 944×lower-/.f32
Stop Event
1 937×iter limit
899×node limit
41×saturated
17×unsound
Counts
9 415 → 560 716

soundness5.9min (14%)

Memory
319.5MiB live, 185 012.6MiB allocated
Rules
8 619 946×lower-fma.f32
8 618 368×lower-fma.f64
4 556 530×lower-*.f32
4 552 446×lower-*.f64
2 536 108×lower-/.f32
Stop Event
1 538×iter limit
1 009×node limit
160×fuel
109×done
17×saturated
5×unsound
Compiler

Compiled 154 976 to 76 295 computations (50.8% saved)

sample5.8min (13.6%)

Memory
44.4MiB live, 388 686.9MiB allocated
Samples
3.2min2 146 924×0valid
21.6s67 650×1valid
19.1s63 622×0invalid
3.1s1 200×5exit
1.4s5 696×2valid
1.2s415×4exit
457.0ms1 721×1invalid
192.0ms590×3valid
2.0ms19×1exit
1.0ms4×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 58.3s (37.3% of total)
ival-sub: 19.9s (12.7% of total)
ival-add: 18.9s (12.1% of total)
ival-div: 18.8s (12.1% of total)
ival-log: 9.4s (6% of total)
const: 5.6s (3.6% of total)
ival-sqrt: 5.4s (3.4% of total)
ival-sin: 4.8s (3.1% of total)
ival-cos: 3.6s (2.3% of total)
ival-exp: 3.2s (2.1% of total)
adjust: 2.8s (1.8% of total)
ival-true: 1.7s (1.1% of total)
exact: 1.0s (0.7% of total)
ival-assert: 854.0ms (0.5% of total)
ival-cosh: 516.0ms (0.3% of total)
ival-hypot: 312.0ms (0.2% of total)
ival-fabs: 260.0ms (0.2% of total)
ival-tan: 230.0ms (0.1% of total)
ival-sinh: 224.0ms (0.1% of total)
ival-acos: 172.0ms (0.1% of total)
ival-tanh: 87.0ms (0.1% of total)
Bogosity

prune2.9min (6.9%)

Memory
-4 570.7MiB live, 235 224.2MiB allocated
Counts
892 109 → 15 543
Compiler

Compiled 541 291 to 294 742 computations (45.5% saved)

eval2.9min (6.7%)

Memory
5 380.2MiB live, 233 068.1MiB allocated
Compiler

Compiled 23 375 410 to 1 786 819 computations (92.4% saved)

regimes2.4min (5.6%)

Memory
-1 030.4MiB live, 143 059.4MiB allocated
Counts
50 963 → 5 219
Calls

511 calls:

24.4s
x
16.0s
y
10.5s
t
10.1s
z
9.5s
(*.f64 y y)
Compiler

Compiled 80 925 to 60 200 computations (25.6% saved)

localize1.5min (3.5%)

Memory
-1 723.7MiB live, 117 916.5MiB allocated
Samples
44.5s227 272×0valid
6.1s8 222×1valid
2.2s2 267×2valid
616.0ms351×5exit
567.0ms2 324×0invalid
343.0ms390×0exit
264.0ms300×3valid
73.0ms279×1exit
2.0ms3×4valid
Compiler

Compiled 103 881 to 19 248 computations (81.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 34.2s
ival-mult: 11.7s (34.1% of total)
ival-add: 5.9s (17.4% of total)
ival-div: 5.9s (17.1% of total)
const: 2.6s (7.7% of total)
ival-sub: 2.0s (6% of total)
ival-cos: 1.1s (3.1% of total)
adjust: 1.0s (3.1% of total)
ival-log: 821.0ms (2.4% of total)
ival-neg: 641.0ms (1.9% of total)
ival-sin: 628.0ms (1.8% of total)
ival-sqrt: 525.0ms (1.5% of total)
ival-pow: 291.0ms (0.9% of total)
ival-true: 194.0ms (0.6% of total)
exact: 183.0ms (0.5% of total)
ival-exp: 152.0ms (0.4% of total)
ival-tan: 120.0ms (0.4% of total)
ival-assert: 94.0ms (0.3% of total)
ival-log1p: 87.0ms (0.3% of total)
ival-hypot: 55.0ms (0.2% of total)
ival-pow2: 50.0ms (0.1% of total)
ival-fabs: 21.0ms (0.1% of total)
ival-cosh: 15.0ms (0% of total)
ival-acos: 15.0ms (0% of total)
ival-tanh: 12.0ms (0% of total)
ival-sinh: 10.0ms (0% of total)
ival-expm1: 6.0ms (0% of total)
ival-asin: 3.0ms (0% of total)
ival-pi: 2.0ms (0% of total)

preprocess1.5min (3.5%)

Memory
426.9MiB live, 94 249.6MiB 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 169 464 to 48 942 computations (71.1% saved)

explain45.8s (1.8%)

Memory
-326.8MiB live, 56 319.0MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f64#fsensitivity15793
/.f64#fo/n11690
sqrt.f64#foflow-rescue8030
-.f64#fcancellation6066
/.f64#fo/o5730
*.f64#fn*o5130
+.f64#fnan-rescue4840
-.f64#fnan-rescue4570
/.f64#fn/o3640
cos.f64#fsensitivity3461
+.f64#fcancellation3125
/.f64#fu/n2440
sin.f64#fsensitivity2201
*.f64#fn*u1700
cos.f64#foflow-rescue1470
/.f64#fn/u1330
/.f64#fu/u920
log.f64#foflow-rescue850
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))sensitivity821
log.f64#fuflow-rescue660
sqrt.f64#fuflow-rescue410
*.f64#fo*u390
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue300
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow30
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue300
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow30
exp.f64(exp.f64 (-.f64 (+.f64 (*.f64 y (log.f64 z)) (*.f64 (-.f64 t #s(literal 1 binary64)) (log.f64 a))) b))sensitivity277
*.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*o20
↳(*.f64 (-.f64 (*.f64 x #s(literal 1/2 binary64)) y) (sqrt.f64 (*.f64 z #s(literal 2 binary64))))underflow3
↳(exp.f64 (/.f64 (*.f64 t t) #s(literal 2 binary64)))overflow132
↳(/.f64 (*.f64 t t) #s(literal 2 binary64))overflow78
↳(*.f64 t t)overflow78
Confusion
Predicted +Predicted -
+6020199
-171860927
Precision
0.7779788058929956
Recall
0.968001286380447
Confusion?
Predicted +Predicted MaybePredicted -
+60208191
-17181760910
Precision?
0.776503928893469
Recall?
0.9692876668274643
Freqs
test
numberfreq
061126
16973
2686
357
415
56
81
Total Confusion?
Predicted +Predicted MaybePredicted -
+13710
-32126
Precision?
0.965034965034965
Recall?
1.0
Samples
13.7s130 530×0valid
2.2s5 858×1valid
510.0ms1 256×2valid
23.0ms82×3valid
1.0ms2×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 9.2s
ival-mult: 2.7s (29.5% of total)
ival-div: 1.5s (16.6% of total)
ival-sub: 1.3s (13.8% of total)
ival-add: 1.1s (12% of total)
ival-log: 751.0ms (8.2% of total)
adjust: 429.0ms (4.7% of total)
const: 348.0ms (3.8% of total)
ival-sin: 308.0ms (3.3% of total)
ival-cos: 167.0ms (1.8% of total)
ival-sqrt: 165.0ms (1.8% of total)
ival-true: 119.0ms (1.3% of total)
ival-exp: 115.0ms (1.2% of total)
exact: 59.0ms (0.6% of total)
ival-assert: 54.0ms (0.6% of total)
ival-cosh: 15.0ms (0.2% of total)
ival-fabs: 11.0ms (0.1% of total)
ival-tan: 10.0ms (0.1% of total)
ival-sinh: 10.0ms (0.1% of total)
ival-hypot: 8.0ms (0.1% of total)
ival-tanh: 7.0ms (0.1% of total)
ival-acos: 4.0ms (0% of total)

bsearch34.8s (1.4%)

Memory
811.3MiB live, 38 190.3MiB allocated
Algorithm
1 710×binary-search
1 243×left-value
Stop Event
1 673×narrow-enough
37×predicate-same
Samples
20.1s135 299×0valid
1.1s4 023×1valid
283.0ms3 454×0invalid
17.0ms98×2valid
1.0ms4×3valid
Compiler

Compiled 411 557 to 300 882 computations (26.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.8s
ival-mult: 6.1s (41% of total)
ival-sub: 3.1s (20.7% of total)
ival-add: 1.4s (9.5% of total)
ival-cos: 1.2s (8.1% of total)
ival-div: 971.0ms (6.6% of total)
ival-log: 629.0ms (4.3% of total)
const: 421.0ms (2.8% of total)
ival-sin: 323.0ms (2.2% of total)
adjust: 286.0ms (1.9% of total)
ival-sqrt: 129.0ms (0.9% of total)
ival-true: 104.0ms (0.7% of total)
ival-exp: 79.0ms (0.5% of total)
ival-assert: 54.0ms (0.4% of total)
exact: 48.0ms (0.3% of total)
ival-tanh: 10.0ms (0.1% of total)
ival-cosh: 10.0ms (0.1% of total)
ival-fabs: 3.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)

series32.7s (1.3%)

Memory
395.7MiB live, 42 097.8MiB allocated
Counts
9 415 → 248 352
Calls

45006 calls:

TimeVariablePointExpression
319.0ms
a
@-inf
(/ (* (pow a t) (* (/ 1 a) x)) (* y (exp b)))
299.0ms
y
@0
(* y (log y))
225.0ms
y
@inf
(/ (- (pow (+ (* z (log (+ 1 (neg y)))) (* x (log y))) 3) (* t (* t t))) (+ (* t (+ (* z (log (+ 1 (neg y)))) (+ (* x (log y)) t))) (pow (+ (* z (log (+ 1 (neg y)))) (* x (log y))) 2)))
223.0ms
t
@-inf
(/ (* y t) a)
192.0ms
b
@0
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

analyze16.9s (0.7%)

Memory
69.0MiB live, 24 686.9MiB 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.8MiB live, 4.4MiB allocated

Profiling

Loading profile data...