Herbie run

Date:Wednesday, January 31st, 2024
Commit:fcee7d92 on artem-tuning-64start-20-128-512-1024-2048
Hostname:nightly with Racket 8.11.1
Seed:2024031
Parameters:256 points for 4 iterations
Flags:
reduce: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: 11.7min)

eval2.4min (20.4%)

Results
Compiler

Compiled 4257344 to 2927732 computations (31.2% saved)

localize2.4min (20.2%)

Compiler

Compiled 39035 to 21654 computations (44.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-pow, time spent: 30.8s, 28.0% of total-time
Operation ival-mult, time spent: 20.1s, 18.0% of total-time
Operation ival-div, time spent: 11.4s, 10.0% of total-time
Operation ival-sub, time spent: 11.1s, 10.0% of total-time
Operation ival-add, time spent: 10.7s, 10.0% of total-time
Operation ival-fma, time spent: 6.6s, 6.0% of total-time
Operation ival-tan, time spent: 5.1s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.5s, 3.0% of total-time
Operation const, time spent: 3.3s, 3.0% of total-time
Operation ival-asin, time spent: 1.9s, 2.0% of total-time
Operation ival-cos, time spent: 1.6s, 1.0% of total-time
Operation ival-acos, time spent: 1.0s, 1.0% of total-time
Operation ival-log, time spent: 797.0ms, 1.0% of total-time
Operation ival-exp, time spent: 718.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 674.0ms, 1.0% of total-time
Operation ival-sin, time spent: 455.0ms, 0.0% of total-time
Operation ival-neg, time spent: 432.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 420.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 293.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 151.0ms, 0.0% of total-time
Operation ival-pi, time spent: 68.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 9.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

sample2.3min (19.3%)

Results
51.8s170804×0valid
17.7s65435×0invalid
12.1s42097×0infinite
8.5s18576×1valid
8.8s9600×2valid
5.6s6031×3valid
5.2s5777×2invalid
5.7s5286×4valid
2.0s3321×1invalid
1.3s1641×3invalid
1.8s1038×3infinite
459.0ms874×1infinite
850.0ms624×5valid
359.0ms559×2infinite
1.8s447×4infinite
60.0ms255×0unsamplable
24.0ms10×5exit
Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 17.9s, 21.0% of total-time
Operation ival-sub, time spent: 13.7s, 16.0% of total-time
Operation ival-div, time spent: 11.7s, 14.0% of total-time
Operation ival-add, time spent: 10.4s, 12.0% of total-time
Operation ival-pow, time spent: 8.1s, 10.0% of total-time
Operation ival-tan, time spent: 4.3s, 5.0% of total-time
Operation ival-sqrt, time spent: 4.3s, 5.0% of total-time
Operation ival-sin, time spent: 3.8s, 5.0% of total-time
Operation ival-exp, time spent: 3.1s, 4.0% of total-time
Operation const, time spent: 1.9s, 2.0% of total-time
Operation ival-cos, time spent: 1.2s, 1.0% of total-time
Operation ival-neg, time spent: 1.1s, 1.0% of total-time
Operation ival-acos, time spent: 816.0ms, 1.0% of total-time
Operation ival-log, time spent: 728.0ms, 1.0% of total-time
Operation ival-pi, time spent: 454.0ms, 1.0% of total-time
Operation ival-asin, time spent: 367.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 255.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 162.0ms, 0.0% of total-time
Operation ival-<, time spent: 93.0ms, 0.0% of total-time
Operation ival-and, time spent: 17.0ms, 0.0% of total-time
Bogosity

soundness1.3min (11.2%)

Rules
167042×fma-def
133644×times-frac
117854×associate-*r*
91202×log-prod
87094×associate-*l*
Stop Event
2×saturated
313×node limit
4×unsound
Compiler

Compiled 29822 to 18681 computations (37.4% saved)

regimes44.3s (6.3%)

Counts
7416 → 718
Calls

148 calls:

3.8s
l
2.4s
t
2.0s
NdChar
2.0s
KbT
1.7s
mu
Compiler

Compiled 7942 to 6124 computations (22.9% saved)

simplify40.1s (5.7%)

Algorithm
146×egg-herbie
Rules
91604×fma-def
79178×times-frac
67274×associate-*r*
57280×log-prod
57064×associate-*l*
Stop Event
30×saturated
116×node limit
28×fuel
2×done
Counts
59693 → 47156
Compiler

Compiled 10819 to 7399 computations (31.6% saved)

preprocess28.3s (4%)

Algorithm
31×egg-herbie
Rules
40752×fma-def
16598×fma-neg
15324×div-sub
14446×distribute-lft-neg-in
13254×associate-/l*
Stop Event
4×saturated
27×node limit
Compiler

Compiled 50204 to 30932 computations (38.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.8s
Operation ival-sub, time spent: 2.3s, 18.0% of total-time
Operation ival-mult, time spent: 2.3s, 18.0% of total-time
Operation ival-pow, time spent: 1.8s, 14.0% of total-time
Operation ival-div, time spent: 1.7s, 13.0% of total-time
Operation ival-add, time spent: 1.5s, 12.0% of total-time
Operation ival-exp, time spent: 762.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 539.0ms, 4.0% of total-time
Operation ival-tan, time spent: 520.0ms, 4.0% of total-time
Operation const, time spent: 332.0ms, 3.0% of total-time
Operation ival-cos, time spent: 304.0ms, 2.0% of total-time
Operation ival-sin, time spent: 292.0ms, 2.0% of total-time
Operation ival-neg, time spent: 144.0ms, 1.0% of total-time
Operation ival-log, time spent: 112.0ms, 1.0% of total-time
Operation ival-hypot, time spent: 54.0ms, 0.0% of total-time
Operation ival-acos, time spent: 38.0ms, 0.0% of total-time
Operation ival-pi, time spent: 22.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

rewrite25.1s (3.6%)

Algorithm
116×batch-egg-rewrite
Rules
58934×log1p-expm1-u
43617×expm1-log1p-u
41812×expm1-udef
38906×log1p-udef
32318×log-prod
Stop Event
114×node limit
2×unsound
Counts
1163 → 33119

prune23.6s (3.4%)

Counts
80342 → 2771
Compiler

Compiled 122278 to 87477 computations (28.5% saved)

bsearch20.2s (2.9%)

Algorithm
347×binary-search
63×left-value
Stop Event
11×predicate-same
336×narrow-enough
Results
11.2s32137×0valid
2.1s7862×0invalid
2.2s6562×0infinite
1.1s2209×2valid
918.0ms1921×1valid
86.0ms145×1infinite
116.0ms141×3valid
68.0ms101×2invalid
19.0ms26×3invalid
24.0ms25×3infinite
9.0ms21×1invalid
7.0ms12×2infinite
Compiler

Compiled 98343 to 76422 computations (22.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.1s
Operation ival-add, time spent: 2.3s, 21.0% of total-time
Operation ival-mult, time spent: 2.0s, 18.0% of total-time
Operation ival-sub, time spent: 1.7s, 16.0% of total-time
Operation ival-div, time spent: 1.6s, 14.0% of total-time
Operation ival-pow, time spent: 1.1s, 10.0% of total-time
Operation ival-sqrt, time spent: 390.0ms, 4.0% of total-time
Operation ival-cos, time spent: 388.0ms, 4.0% of total-time
Operation ival-sin, time spent: 332.0ms, 3.0% of total-time
Operation const, time spent: 270.0ms, 2.0% of total-time
Operation ival-tan, time spent: 256.0ms, 2.0% of total-time
Operation ival-neg, time spent: 230.0ms, 2.0% of total-time
Operation ival-exp, time spent: 206.0ms, 2.0% of total-time
Operation ival-hypot, time spent: 190.0ms, 2.0% of total-time
Operation ival-asin, time spent: 76.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 26.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

analyze12.1s (1.7%)

Algorithm
31×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%98.2%1.8%0%0%0%0
23%22.6%75.6%1.8%0%0%0%1
24.2%23.3%73.2%1.8%0%1.6%0%2
29.6%27.4%65.2%1.8%0%5.6%0%3
33.6%30.4%60.2%1.8%0%7.3%0.4%4
35.9%32.4%57.9%1.8%0%7.3%0.6%5
40.2%36.2%53.8%1.8%0%7.5%0.7%6
45.3%40.3%48.7%1.8%0%8.1%1.1%7
47.6%41.8%45.9%1.8%0%9.4%1.2%8
50.6%44.1%43.1%1.8%0%9.7%1.2%9
51.7%44.9%41.9%1.8%0%10.1%1.3%10
53.4%46%40.1%1.8%0%10.7%1.3%11
55.2%47.2%38.3%1.8%0%11.3%1.4%12
Compiler

Compiled 845 to 604 computations (28.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.3s
Operation ival-pow, time spent: 3.0s, 37.0% of total-time
Operation ival-mult, time spent: 1.8s, 21.0% of total-time
Operation ival-div, time spent: 986.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 763.0ms, 9.0% of total-time
Operation ival-sub, time spent: 382.0ms, 5.0% of total-time
Operation ival-add, time spent: 346.0ms, 4.0% of total-time
Operation ival-sin, time spent: 253.0ms, 3.0% of total-time
Operation ival-tan, time spent: 167.0ms, 2.0% of total-time
Operation const, time spent: 131.0ms, 2.0% of total-time
Operation ival-acos, time spent: 125.0ms, 2.0% of total-time
Operation ival-neg, time spent: 100.0ms, 1.0% of total-time
Operation ival-exp, time spent: 69.0ms, 1.0% of total-time
Operation ival-asin, time spent: 58.0ms, 1.0% of total-time
Operation ival-cos, time spent: 37.0ms, 0.0% of total-time
Operation ival-pi, time spent: 24.0ms, 0.0% of total-time
Operation ival-log, time spent: 20.0ms, 0.0% of total-time
Operation ival-<, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time
Operation ival-and, time spent: 3.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 0.0ms, 0.0% of total-time

series10.2s (1.5%)

Counts
1163 → 26574
Calls

8013 calls:

TimeVariablePointExpression
288.0ms
f
@0
(/.f64 (*.f64 4 (-.f64 (log.f64 (/.f64 2 (*.f64 (PI.f64) 1/2))) (log.f64 f))) (PI.f64))
164.0ms
n
@0
(pow.f64 (/.f64 (pow.f64 (*.f64 2 (*.f64 (PI.f64) n)) (/.f64 (-.f64 1 k) 4)) (pow.f64 k 1/4)) 2)
158.0ms
k
@-inf
(*.f64 a (pow.f64 k m))
157.0ms
h
@0
(+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (/.f64 d D) (/.f64 d D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M))))
110.0ms
d
@-inf
(sqrt.f64 (*.f64 (fma.f64 (/.f64 (/.f64 c0 w) h) (*.f64 (/.f64 d D) (/.f64 d D)) M) (-.f64 (*.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (/.f64 (/.f64 c0 w) h)) M)))

end62.0ms (0%)

Profiling

Loading profile data...