Herbie run

Date:Friday, June 28th, 2024
Commit:698d17c4 on main
Hostname:nightly with Racket 8.11.1
Seed:2024180
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: 4.5min)

sample1.2min (27.6%)

Memory
110.2MiB live, 52 215.8MiB allocated
Samples
26.8s48 391×1valid
13.2s14 508×5exit
10.8s109 371×0valid
2.8s7 358×2valid
615.0ms3 944×0invalid
93.0ms1 141×0exit
Precisions
Click to see histograms. Total time spent on operations: 46.3s
...in/eval/compile.rkt:105:19: 10.0s (21.6% of total)
ival-tan: 7.0s (15.2% of total)
ival-exp: 5.1s (11.1% of total)
ival-pow: 4.0s (8.7% of total)
ival-cos: 3.5s (7.7% of total)
ival-mult: 2.6s (5.7% of total)
ival-add: 2.3s (5% of total)
adjust: 2.3s (4.9% of total)
ival-log: 1.5s (3.2% of total)
ival-fmod: 1.2s (2.5% of total)
ival-div: 1.1s (2.3% of total)
ival-sqrt: 1.0s (2.2% of total)
ival-sin: 853.0ms (1.8% of total)
ival-sub: 728.0ms (1.6% of total)
ival-<=: 607.0ms (1.3% of total)
ival-sinh: 553.0ms (1.2% of total)
ival-acos: 444.0ms (1% of total)
ival-pow2: 408.0ms (0.9% of total)
ival-neg: 219.0ms (0.5% of total)
ival-hypot: 152.0ms (0.3% of total)
ival-and: 115.0ms (0.2% of total)
ival-==: 114.0ms (0.2% of total)
ival-true: 100.0ms (0.2% of total)
ival-<: 75.0ms (0.2% of total)
ival-assert: 74.0ms (0.2% of total)
...in/eval/compile.rkt:104:19: 66.0ms (0.1% of total)
ival-atan: 49.0ms (0.1% of total)
ival-or: 36.0ms (0.1% of total)
ival->=: 27.0ms (0.1% of total)
ival->: 20.0ms (0% of total)
Bogosity

simplify43.4s (16.1%)

Memory
206.3MiB live, 24 745.7MiB allocated
Algorithm
153×egg-herbie
Rules
46 441×fma-define
39 024×fmm-def
24 429×distribute-lft-in
23 127×times-frac
22 528×distribute-rgt-in
Stop Event
85×node limit
61×saturated
7×unsound
Counts
32 627 → 28 480

soundness42.6s (15.9%)

Memory
-24.4MiB live, 13 139.8MiB allocated
Rules
19 992×log1p-expm1-u
15 458×fma-define
13 824×expm1-log1p-u
11 623×associate-*r*
10 832×times-frac
Stop Event
61×node limit
10×fuel
10×done
6×saturated
3×unsound
Compiler

Compiled 12 530 to 3 830 computations (69.4% saved)

rewrite39.6s (14.7%)

Memory
-85.2MiB live, 11 822.3MiB allocated
Algorithm
65×batch-egg-rewrite
Rules
36 006×log1p-expm1-u
27 543×expm1-log1p-u
16 062×pow1
14 952×add-exp-log
14 558×unpow-prod-down
Stop Event
65×node limit
Counts
609 → 21 769

localize16.7s (6.2%)

Memory
278.4MiB live, 15 158.0MiB allocated
Samples
5.3s1 062×2valid
2.9s218×5exit
2.3s11 749×0valid
2.3s3 433×1valid
496.0ms49×3valid
208.0ms825×0invalid
18.0ms2×4valid
12.0ms70×0exit
Compiler

Compiled 8 019 to 1 304 computations (83.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0s
ival-pow: 3.4s (27.8% of total)
ival-log: 2.9s (24.1% of total)
ival-exp: 966.0ms (8% of total)
ival-cos: 830.0ms (6.9% of total)
ival-fmod: 754.0ms (6.3% of total)
ival-mult: 472.0ms (3.9% of total)
ival-div: 461.0ms (3.8% of total)
ival-add: 335.0ms (2.8% of total)
ival-sub: 296.0ms (2.5% of total)
adjust: 270.0ms (2.2% of total)
ival-pow2: 218.0ms (1.8% of total)
ival-tan: 204.0ms (1.7% of total)
ival-cbrt: 148.0ms (1.2% of total)
ival-sqrt: 146.0ms (1.2% of total)
...in/eval/compile.rkt:105:19: 141.0ms (1.2% of total)
ival-sin: 138.0ms (1.1% of total)
ival-e: 66.0ms (0.5% of total)
ival-acos: 66.0ms (0.5% of total)
ival-log1p: 61.0ms (0.5% of total)
ival-sinh: 56.0ms (0.5% of total)
ival-asin: 39.0ms (0.3% of total)
ival-expm1: 37.0ms (0.3% of total)
ival-hypot: 27.0ms (0.2% of total)
ival-neg: 21.0ms (0.2% of total)
ival-true: 15.0ms (0.1% of total)
...in/eval/compile.rkt:104:19: 14.0ms (0.1% of total)
ival-assert: 7.0ms (0.1% of total)
ival-pi: 4.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)
ival-atan: 3.0ms (0% of total)

prune12.7s (4.7%)

Memory
-388.8MiB live, 17 050.2MiB allocated
Counts
48 694 → 1 819
Compiler

Compiled 63 263 to 34 736 computations (45.1% saved)

eval11.1s (4.1%)

Memory
351.7MiB live, 12 000.0MiB allocated
Compiler

Compiled 1 083 162 to 165 341 computations (84.7% saved)

regimes10.1s (3.8%)

Memory
41.9MiB live, 12 136.3MiB allocated
Counts
4 371 → 168
Calls

55 calls:

1.2s
a
1.1s
x
978.0ms
(tan.f64 a)
865.0ms
b
543.0ms
r
Compiler

Compiled 2 177 to 1 556 computations (28.5% saved)

analyze4.9s (1.8%)

Memory
-128.8MiB live, 4 730.2MiB allocated
Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
28.8%21.3%52.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.2%0%6
71.1%51.1%20.8%26.3%0%1.9%0%7
72.1%51.6%20%26.3%0%2.1%0%8
74.4%53%18.2%26.3%0%2.5%0%9
75.8%53.9%17.2%26.3%0%2.6%0%10
76.6%54.3%16.6%26.3%0%2.8%0%11
77.3%54.8%16.1%26.3%0%2.9%0%12
Compiler

Compiled 279 to 216 computations (22.6% saved)

series4.5s (1.7%)

Memory
21.0MiB live, 5 409.6MiB allocated
Counts
609 → 10 858
Calls

2634 calls:

TimeVariablePointExpression
170.0ms
x
@-inf
(log (fmod (exp x) (sqrt (cos x))))
121.0ms
z
@inf
(- (tan (+ y z)) (tan a))
121.0ms
hi
@-inf
(log (+ 1 (fabs (- (exp (/ (+ x lo) hi)) 1))))
115.0ms
b
@-inf
(log (* r (sin b)))
96.0ms
x
@0
(log (- (pow (cbrt (* (PI) 1/2)) 3) (asin (- 1 x))))

explain4.0s (1.5%)

Memory
-37.4MiB live, 3 347.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5430
cos.f64#fsensitivity5010
-.f64#fcancellation3330
sqrt.f64#fuflow-rescue3190
/.f64#fn/o2590
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2540
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2480
tan.f64(tan.f64 (+.f64 y z))sensitivity1920
pow.f64(pow.f64 l (exp.f64 w))sensitivity12010
*.f64#fn*o660
*.f64#fu*o270
*.f64#fn*u190
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue120
↳(*.f64 a a)overflow111
↳(*.f64 b b)overflow12
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue60
↳(sinh.f64 x)overflow6
↳(/.f64 (sinh.f64 x) x)overflow6
exp.f64(exp.f64 (neg.f64 w))sensitivity11
+.f64(+.f64 x (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)))cancellation11
Confusion
Predicted +Predicted -
+2159265
-6792017
Precision
0.7607470049330515
Recall
0.8906765676567657
Confusion?
Predicted +Predicted MaybePredicted -
+21591264
-679112006
Precision?
0.7578947368421053
Recall?
0.8910891089108911
Freqs
test
numberfreq
02282
12777
259
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
624.0ms3 044×1valid
385.0ms6 636×0valid
289.0ms464×2valid
241.0ms96×5exit
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
ival-cos: 255.0ms (25% of total)
ival-sinh: 163.0ms (16% of total)
ival-mult: 69.0ms (6.8% of total)
ival-log: 62.0ms (6.1% of total)
ival-sqrt: 58.0ms (5.7% of total)
adjust: 53.0ms (5.2% of total)
ival-exp: 52.0ms (5.1% of total)
ival-tan: 45.0ms (4.4% of total)
ival-sub: 35.0ms (3.4% of total)
ival-add: 35.0ms (3.4% of total)
ival-div: 35.0ms (3.4% of total)
ival-sin: 35.0ms (3.4% of total)
ival-fmod: 35.0ms (3.4% of total)
ival-pow2: 22.0ms (2.2% of total)
ival-acos: 19.0ms (1.9% of total)
ival-hypot: 15.0ms (1.5% of total)
ival-pow: 11.0ms (1.1% of total)
ival-true: 9.0ms (0.9% of total)
ival-neg: 6.0ms (0.6% of total)
ival-assert: 4.0ms (0.4% of total)
ival-atan: 3.0ms (0.3% of total)
...in/eval/compile.rkt:104:19: 2.0ms (0.2% of total)

preprocess3.6s (1.3%)

Memory
-40.8MiB live, 3 741.8MiB allocated
Algorithm
20×egg-herbie
Rules
5 179×fmm-def
5 054×fma-define
1 627×distribute-rgt-in
1 585×distribute-lft-in
1 517×unsub-neg
Stop Event
18×saturated
2×node limit
Compiler

Compiled 7 220 to 3 436 computations (52.4% saved)

bsearch1.6s (0.6%)

Memory
-5.8MiB live, 2 002.6MiB allocated
Algorithm
42×binary-search
6×left-value
Stop Event
39×narrow-enough
3×predicate-same
Samples
829.0ms2 674×1valid
444.0ms2 462×0valid
49.0ms41×5exit
Compiler

Compiled 8 419 to 5 984 computations (28.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 615.0ms
ival-tan: 164.0ms (26.7% of total)
adjust: 82.0ms (13.3% of total)
ival-cos: 79.0ms (12.8% of total)
ival-sin: 64.0ms (10.4% of total)
ival-exp: 54.0ms (8.8% of total)
ival-add: 54.0ms (8.8% of total)
ival-mult: 39.0ms (6.3% of total)
ival-pow: 26.0ms (4.2% of total)
ival-div: 22.0ms (3.6% of total)
ival-sub: 15.0ms (2.4% of total)
ival-pow2: 5.0ms (0.8% of total)
ival-true: 4.0ms (0.7% of total)
ival-neg: 4.0ms (0.7% of total)
ival-assert: 2.0ms (0.3% of total)
...in/eval/compile.rkt:104:19: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

Profiling

Loading profile data...