Herbie run

Date:Wednesday, January 31st, 2024
Commit:c25f4985 on artem-tuning-128start-20-256-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.6%)

Results
Compiler

Compiled 4358214 to 2993307 computations (31.3% saved)

localize2.4min (20.3%)

Compiler

Compiled 39201 to 21666 computations (44.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-pow, time spent: 29.1s, 26.0% of total-time
Operation ival-mult, time spent: 19.8s, 17.0% of total-time
Operation ival-sub, time spent: 13.1s, 12.0% of total-time
Operation ival-add, time spent: 11.6s, 10.0% of total-time
Operation ival-div, time spent: 11.5s, 10.0% of total-time
Operation ival-fma, time spent: 6.2s, 5.0% of total-time
Operation ival-tan, time spent: 5.3s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.7s, 3.0% of total-time
Operation const, time spent: 3.4s, 3.0% of total-time
Operation ival-asin, time spent: 2.8s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-acos, time spent: 1.2s, 1.0% of total-time
Operation ival-exp, time spent: 852.0ms, 1.0% of total-time
Operation ival-log, time spent: 788.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 500.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 489.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 478.0ms, 0.0% of total-time
Operation ival-sin, time spent: 412.0ms, 0.0% of total-time
Operation ival-neg, time spent: 333.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 135.0ms, 0.0% of total-time
Operation ival-pi, time spent: 77.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 13.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 0.0% of total-time

sample2.2min (18.8%)

Results
54.3s176674×0valid
17.3s65865×0invalid
11.4s42186×0infinite
6.7s14429×1valid
8.4s10035×2valid
6.1s6348×2invalid
5.9s5161×4valid
4.0s4177×3valid
2.1s3102×1invalid
1.8s929×3infinite
685.0ms863×3invalid
406.0ms763×1infinite
699.0ms755×2infinite
859.0ms539×5valid
1.1s288×4infinite
160.0ms239×0unsamplable
6.0ms5×5exit
Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-mult, time spent: 17.0s, 21.0% of total-time
Operation ival-sub, time spent: 12.8s, 16.0% of total-time
Operation ival-div, time spent: 11.1s, 14.0% of total-time
Operation ival-add, time spent: 10.4s, 13.0% of total-time
Operation ival-pow, time spent: 7.1s, 9.0% of total-time
Operation ival-sqrt, time spent: 4.4s, 5.0% of total-time
Operation ival-sin, time spent: 4.1s, 5.0% of total-time
Operation ival-tan, time spent: 3.5s, 4.0% of total-time
Operation ival-exp, time spent: 3.2s, 4.0% of total-time
Operation const, time spent: 1.9s, 2.0% of total-time
Operation ival-cos, time spent: 1.3s, 2.0% of total-time
Operation ival-acos, time spent: 1.2s, 1.0% of total-time
Operation ival-pi, time spent: 1.1s, 1.0% of total-time
Operation ival-neg, time spent: 1.0s, 1.0% of total-time
Operation ival-log, time spent: 833.0ms, 1.0% of total-time
Operation ival-hypot, time spent: 247.0ms, 0.0% of total-time
Operation ival-asin, time spent: 224.0ms, 0.0% of total-time
Operation ival-<, time spent: 98.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 88.0ms, 0.0% of total-time
Operation ival-and, time spent: 18.0ms, 0.0% of total-time
Bogosity

soundness1.3min (11.2%)

Rules
163122×fma-def
134412×times-frac
117540×associate-*r*
87730×log-prod
86150×associate-*l*
Stop Event
2×saturated
310×node limit
4×unsound
Compiler

Compiled 28796 to 17976 computations (37.6% saved)

regimes43.7s (6.2%)

Counts
7377 → 734
Calls

148 calls:

3.4s
l
2.7s
t
2.0s
EDonor
1.8s
x
1.8s
NdChar
Compiler

Compiled 7921 to 6104 computations (22.9% saved)

simplify40.0s (5.7%)

Algorithm
147×egg-herbie
Rules
94182×fma-def
77680×times-frac
67822×associate-*r*
57556×associate-*l*
56782×log-prod
Stop Event
30×saturated
117×node limit
28×fuel
2×done
Counts
60187 → 47890
Compiler

Compiled 11159 to 7576 computations (32.1% saved)

preprocess27.0s (3.8%)

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 51924 to 31978 computations (38.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.5s
Operation ival-mult, time spent: 2.3s, 20.0% of total-time
Operation ival-add, time spent: 1.8s, 16.0% of total-time
Operation ival-sub, time spent: 1.8s, 15.0% of total-time
Operation ival-div, time spent: 1.5s, 13.0% of total-time
Operation ival-pow, time spent: 1.1s, 10.0% of total-time
Operation ival-exp, time spent: 719.0ms, 6.0% of total-time
Operation ival-tan, time spent: 582.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 494.0ms, 4.0% of total-time
Operation const, time spent: 334.0ms, 3.0% of total-time
Operation ival-cos, time spent: 267.0ms, 2.0% of total-time
Operation ival-sin, time spent: 234.0ms, 2.0% of total-time
Operation ival-neg, time spent: 144.0ms, 1.0% of total-time
Operation ival-log, time spent: 102.0ms, 1.0% of total-time
Operation ival-hypot, time spent: 100.0ms, 1.0% of total-time
Operation ival-pi, time spent: 37.0ms, 0.0% of total-time
Operation ival-acos, time spent: 33.0ms, 0.0% of total-time
Operation ival-asin, time spent: 14.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time

rewrite25.5s (3.6%)

Algorithm
117×batch-egg-rewrite
Rules
58932×log1p-expm1-u
43738×expm1-log1p-u
41984×expm1-udef
39082×log1p-udef
32670×log-prod
Stop Event
115×node limit
2×unsound
Counts
1165 → 33534

bsearch22.5s (3.2%)

Algorithm
360×binary-search
65×left-value
Stop Event
11×predicate-same
349×narrow-enough
Results
11.4s31766×0valid
2.7s8008×0invalid
2.4s7290×0infinite
1.2s2172×2valid
598.0ms1646×1valid
644.0ms521×4valid
325.0ms392×3valid
333.0ms189×5valid
80.0ms180×1infinite
73.0ms108×2invalid
98.0ms80×2infinite
36.0ms41×3infinite
15.0ms40×1invalid
62.0ms11×4infinite
Compiler

Compiled 101349 to 78552 computations (22.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
Operation ival-mult, time spent: 2.6s, 21.0% of total-time
Operation ival-add, time spent: 2.4s, 20.0% of total-time
Operation ival-div, time spent: 1.9s, 16.0% of total-time
Operation ival-sub, time spent: 1.8s, 15.0% of total-time
Operation ival-pow, time spent: 1.2s, 10.0% of total-time
Operation ival-sqrt, time spent: 523.0ms, 4.0% of total-time
Operation ival-sin, time spent: 371.0ms, 3.0% of total-time
Operation ival-tan, time spent: 298.0ms, 2.0% of total-time
Operation const, time spent: 290.0ms, 2.0% of total-time
Operation ival-neg, time spent: 206.0ms, 2.0% of total-time
Operation ival-cos, time spent: 178.0ms, 1.0% of total-time
Operation ival-hypot, time spent: 174.0ms, 1.0% of total-time
Operation ival-exp, time spent: 170.0ms, 1.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 5.0ms, 0.0% of total-time
Operation ival-pi, time spent: 1.0ms, 0.0% of total-time

prune22.1s (3.1%)

Counts
83131 → 2806
Compiler

Compiled 126545 to 90439 computations (28.5% saved)

analyze12.2s (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.6s
Operation ival-pow, time spent: 3.2s, 37.0% of total-time
Operation ival-mult, time spent: 1.9s, 22.0% of total-time
Operation ival-div, time spent: 1.0s, 12.0% of total-time
Operation ival-sqrt, time spent: 619.0ms, 7.0% of total-time
Operation ival-sub, time spent: 384.0ms, 4.0% of total-time
Operation ival-add, time spent: 334.0ms, 4.0% of total-time
Operation ival-sin, time spent: 275.0ms, 3.0% of total-time
Operation ival-cos, time spent: 186.0ms, 2.0% of total-time
Operation ival-acos, time spent: 178.0ms, 2.0% of total-time
Operation ival-tan, time spent: 164.0ms, 2.0% of total-time
Operation const, time spent: 145.0ms, 2.0% of total-time
Operation ival-neg, time spent: 76.0ms, 1.0% of total-time
Operation ival-exp, time spent: 71.0ms, 1.0% of total-time
Operation ival-pi, time spent: 48.0ms, 1.0% of total-time
Operation ival-asin, time spent: 38.0ms, 0.0% of total-time
Operation ival-<, time spent: 21.0ms, 0.0% of total-time
Operation ival-log, time spent: 20.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 12.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

series11.3s (1.6%)

Counts
1165 → 26653
Calls

8049 calls:

TimeVariablePointExpression
466.0ms
v
@-inf
(-.f64 (exp.f64 (log1p.f64 (acos.f64 (+.f64 (*.f64 4 (+.f64 (pow.f64 v 2) (pow.f64 v 4))) -1)))) 1)
349.0ms
EAccept
@0
(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (+.f64 mu (+.f64 EDonor (-.f64 Vef Ec))) KbT)))) (/.f64 KbT (/.f64 EAccept NaChar)))
325.0ms
F
@-inf
(*.f64 (pow.f64 l 3) (-.f64 (*.f64 (/.f64 F (pow.f64 (PI.f64) 2)) (-.f64 (*.f64 1/120 (pow.f64 (PI.f64) 5)) (fma.f64 -1/2 (*.f64 (*.f64 (pow.f64 (PI.f64) 3) 1/3) (pow.f64 (PI.f64) 2)) (*.f64 (pow.f64 (PI.f64) 5) 1/24)))) (*.f64 (/.f64 F (pow.f64 (PI.f64) 3)) (pow.f64 (*.f64 (pow.f64 (PI.f64) 3) 1/3) 2))))
318.0ms
k
@inf
(pow.f64 (/.f64 2 (/.f64 (/.f64 k n) (PI.f64))) 3/2)
213.0ms
n
@0
(pow.f64 (*.f64 (*.f64 2 (PI.f64)) n) (/.f64 (-.f64 1 k) 2))

end19.0ms (0%)

Profiling

Loading profile data...