Herbie run

Date:Saturday, June 29th, 2024
Commit:903258ad on fix-regimes-can-split
Hostname:nightly with Racket 8.11.1
Seed:2024181
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.1min)

sample1.0min (24.9%)

Memory
243.0MiB live, 46 771.4MiB allocated
Samples
21.0s48 838×1valid
13.2s14 630×5exit
9.7s109 055×0valid
2.3s7 227×2valid
559.0ms3 877×0invalid
191.0ms1 243×0exit
Precisions
Click to see histograms. Total time spent on operations: 39.6s
ival-tan: 7.8s (19.6% of total)
ival-exp: 5.2s (13.2% of total)
...in/eval/compile.rkt:111:19: 5.2s (13.1% of total)
ival-pow: 3.8s (9.7% of total)
ival-cos: 3.8s (9.7% of total)
ival-mult: 2.4s (6.1% of total)
adjust: 1.7s (4.4% of total)
ival-log: 1.3s (3.3% of total)
ival-sqrt: 1.2s (3% of total)
ival-add: 1.0s (2.6% of total)
ival-fmod: 803.0ms (2% of total)
ival-sub: 667.0ms (1.7% of total)
ival-sin: 664.0ms (1.7% of total)
ival-<=: 649.0ms (1.6% of total)
ival-div: 632.0ms (1.6% of total)
ival-acos: 582.0ms (1.5% of total)
ival-pow2: 462.0ms (1.2% of total)
ival-sinh: 416.0ms (1% of total)
ival-==: 391.0ms (1% of total)
ival-neg: 154.0ms (0.4% of total)
ival-hypot: 143.0ms (0.4% of total)
ival-and: 117.0ms (0.3% of total)
ival-true: 95.0ms (0.2% of total)
ival-assert: 73.0ms (0.2% of total)
ival-<: 61.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 60.0ms (0.2% of total)
ival-atan: 47.0ms (0.1% of total)
ival-or: 36.0ms (0.1% of total)
ival->=: 29.0ms (0.1% of total)
ival->: 18.0ms (0% of total)
Bogosity

soundness42.8s (17.4%)

Memory
-51.0MiB live, 14 472.6MiB allocated
Rules
19 989×log1p-expm1-u
18 134×fma-define
16 142×expm1-log1p-u
14 552×fmm-def
13 278×associate-*r*
Stop Event
70×node limit
14×fuel
6×saturated
6×done
5×unsound
Compiler

Compiled 13 492 to 3 533 computations (73.8% saved)

simplify40.1s (16.3%)

Memory
153.6MiB live, 25 219.2MiB allocated
Algorithm
162×egg-herbie
Rules
48 689×fma-define
41 971×fmm-def
25 695×distribute-lft-in
22 273×distribute-rgt-in
20 893×associate-*r*
Stop Event
87×node limit
65×saturated
10×unsound
Counts
33 313 → 29 216

rewrite21.5s (8.7%)

Memory
409.1MiB live, 12 585.7MiB allocated
Algorithm
70×batch-egg-rewrite
Rules
38 592×log1p-expm1-u
33 578×expm1-log1p-u
16 060×pow1
15 731×add-exp-log
15 480×add-log-exp
Stop Event
70×node limit
Counts
628 → 22 655

prune21.3s (8.6%)

Memory
-495.3MiB live, 16 987.2MiB allocated
Counts
47 793 → 1 928
Compiler

Compiled 71 181 to 37 840 computations (46.8% saved)

localize17.0s (6.9%)

Memory
369.9MiB live, 13 175.4MiB allocated
Samples
4.7s5 006×1valid
1.8s11 710×0valid
1.3s783×2valid
1.3s193×5exit
132.0ms392×0invalid
112.0ms92×1invalid
57.0ms256×0exit
Compiler

Compiled 9 282 to 1 449 computations (84.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.4s
ival-cos: 1.1s (14.2% of total)
ival-mult: 801.0ms (10.8% of total)
ival-log: 732.0ms (9.9% of total)
ival-asin: 621.0ms (8.4% of total)
ival-exp: 540.0ms (7.3% of total)
ival-add: 524.0ms (7.1% of total)
ival-pow: 489.0ms (6.6% of total)
ival-div: 444.0ms (6% of total)
adjust: 300.0ms (4% of total)
ival-fmod: 279.0ms (3.8% of total)
ival-sin: 271.0ms (3.6% of total)
ival-tan: 236.0ms (3.2% of total)
ival-sub: 186.0ms (2.5% of total)
ival-expm1: 171.0ms (2.3% of total)
ival-pow2: 123.0ms (1.7% of total)
ival-sqrt: 118.0ms (1.6% of total)
...in/eval/compile.rkt:111:19: 116.0ms (1.6% of total)
ival-neg: 96.0ms (1.3% of total)
ival-log1p: 70.0ms (0.9% of total)
ival-cbrt: 67.0ms (0.9% of total)
ival-acos: 51.0ms (0.7% of total)
ival-sinh: 38.0ms (0.5% of total)
ival-hypot: 35.0ms (0.5% of total)
...in/eval/compile.rkt:110:19: 15.0ms (0.2% of total)
ival-fabs: 15.0ms (0.2% of total)
ival-true: 15.0ms (0.2% of total)
ival-pi: 8.0ms (0.1% of total)
ival-assert: 7.0ms (0.1% of total)
ival-e: 6.0ms (0.1% of total)
ival-atan: 3.0ms (0% of total)

regimes9.2s (3.7%)

Memory
43.3MiB live, 10 608.9MiB allocated
Counts
4 525 → 166
Calls

55 calls:

1.2s
a
1.0s
r
875.0ms
b
640.0ms
w
622.0ms
x
Compiler

Compiled 1 930 to 1 368 computations (29.1% saved)

preprocess9.0s (3.7%)

Memory
-155.0MiB live, 3 835.2MiB 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 120 to 3 246 computations (54.4% saved)

eval8.7s (3.5%)

Memory
429.2MiB live, 11 663.3MiB allocated
Compiler

Compiled 1 074 256 to 158 128 computations (85.3% saved)

series5.5s (2.2%)

Memory
-585.5MiB live, 5 586.2MiB allocated
Counts
628 → 10 658
Calls

2571 calls:

TimeVariablePointExpression
355.0ms
z
@inf
(log (+ 1 (- (tan (+ y z)) (- (tan a) x))))
297.0ms
a
@-inf
(log (+ 1 (/ (sin b) (fabs (cos (+ b a))))))
295.0ms
x
@inf
(log (/ (sinh x) x))
289.0ms
b
@inf
(log (+ 1 (/ (sin b) (fabs (cos (+ b a))))))
256.0ms
w
@-inf
(/ (+ (* l (* (+ (log l) (* w (* (log l) (+ 1/2 (* (log l) 1/2))))) w)) l) (exp w))

analyze4.1s (1.6%)

Memory
12.3MiB live, 4 960.0MiB 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)

explain3.8s (1.5%)

Memory
45.7MiB live, 3 580.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue5460
cos.f64#fsensitivity4980
-.f64#fcancellation3341
sqrt.f64#fuflow-rescue3140
/.f64#fn/o2610
acos.f64(acos.f64 (-.f64 #s(literal 1 binary64) x))sensitivity2560
log.f64(log.f64 (/.f64 (sinh.f64 x) x))sensitivity2490
tan.f64(tan.f64 (+.f64 y z))sensitivity1950
pow.f64(pow.f64 l (exp.f64 w))sensitivity11014
*.f64#fn*o530
*.f64#fu*o330
*.f64#fn*u220
-.f64(-.f64 (*.f64 a a) (*.f64 b b))nan-rescue170
↳(*.f64 a a)overflow100
↳(*.f64 b b)overflow17
log.f64(log.f64 (/.f64 (sinh.f64 x) x))oflow-rescue60
↳(sinh.f64 x)overflow6
↳(/.f64 (sinh.f64 x) x)overflow6
Confusion
Predicted +Predicted -
+2160259
-6602041
Precision
0.7659574468085106
Recall
0.8929309632079372
Confusion?
Predicted +Predicted MaybePredicted -
+21602257
-660162025
Precision?
0.7618040873854828
Recall?
0.8937577511368334
Freqs
test
numberfreq
02300
12748
270
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+1800
-002
Precision?
1.0
Recall?
1.0
Samples
923.0ms3 044×1valid
672.0ms6 660×0valid
463.0ms94×5exit
136.0ms442×2valid
Compiler

Compiled 1 288 to 560 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-cos: 477.0ms (30.2% of total)
ival-mult: 376.0ms (23.8% of total)
ival-sub: 204.0ms (12.9% of total)
ival-tan: 83.0ms (5.3% of total)
ival-log: 67.0ms (4.2% of total)
ival-sqrt: 51.0ms (3.2% of total)
adjust: 46.0ms (2.9% of total)
ival-exp: 44.0ms (2.8% of total)
ival-sin: 34.0ms (2.2% of total)
ival-fmod: 34.0ms (2.2% of total)
ival-add: 33.0ms (2.1% of total)
ival-div: 29.0ms (1.8% of total)
ival-pow2: 23.0ms (1.5% of total)
ival-acos: 19.0ms (1.2% of total)
ival-sinh: 18.0ms (1.1% of total)
ival-pow: 9.0ms (0.6% of total)
ival-hypot: 9.0ms (0.6% of total)
ival-true: 8.0ms (0.5% of total)
ival-neg: 5.0ms (0.3% of total)
ival-assert: 4.0ms (0.3% of total)
ival-atan: 3.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 2.0ms (0.1% of total)

bsearch2.2s (0.9%)

Memory
1.2MiB live, 1 950.5MiB allocated
Algorithm
43×binary-search
2×left-value
Stop Event
38×narrow-enough
5×predicate-same
Samples
786.0ms1 602×1valid
593.0ms3 838×0valid
305.0ms204×5exit
43.0ms80×2valid
23.0ms328×0exit
Compiler

Compiled 8 278 to 5 966 computations (27.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-tan: 494.0ms (39.3% of total)
ival-exp: 223.0ms (17.7% of total)
ival-mult: 114.0ms (9.1% of total)
ival-pow: 104.0ms (8.3% of total)
ival-add: 82.0ms (6.5% of total)
ival-div: 78.0ms (6.2% of total)
adjust: 39.0ms (3.1% of total)
ival-cos: 39.0ms (3.1% of total)
ival-sin: 24.0ms (1.9% of total)
ival-neg: 20.0ms (1.6% of total)
ival-fmod: 14.0ms (1.1% of total)
ival-sub: 12.0ms (1% of total)
ival-true: 5.0ms (0.4% of total)
ival-sqrt: 4.0ms (0.3% of total)
ival-assert: 3.0ms (0.2% of total)
ival-pow2: 2.0ms (0.2% of total)
...in/eval/compile.rkt:110:19: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

Profiling

Loading profile data...