Herbie run

Date:Saturday, February 10th, 2024
Commit:07c2ca6e on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024041
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: 26.8min)

localize7.9min (29.5%)

Results
Compiler

Compiled 86943 to 47254 computations (45.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.6min
Operation ival-sin, time spent: 3.3min, 50.0% of total-time
Operation ival-mult, time spent: 43.3s, 11.0% of total-time
Operation ival-cos, time spent: 39.8s, 10.0% of total-time
Operation ival-pow, time spent: 38.6s, 10.0% of total-time
Operation ival-div, time spent: 27.5s, 7.0% of total-time
Operation ival-log, time spent: 6.6s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.4s, 2.0% of total-time
Operation ival-add, time spent: 6.3s, 2.0% of total-time
Operation ival-sub, time spent: 5.0s, 1.0% of total-time
Operation ival-exp, time spent: 4.0s, 1.0% of total-time
Operation const, time spent: 3.8s, 1.0% of total-time
Operation ival-fma, time spent: 2.4s, 1.0% of total-time
Operation ival-atan2, time spent: 2.3s, 1.0% of total-time
Operation ival-hypot, time spent: 2.2s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.9s, 0.0% of total-time
Operation ival-log1p, time spent: 1.8s, 0.0% of total-time
Operation ival-atan, time spent: 1.2s, 0.0% of total-time
Operation ival-expm1, time spent: 1.0s, 0.0% of total-time
Operation ival-pi, time spent: 527.0ms, 0.0% of total-time
Operation ival-neg, time spent: 492.0ms, 0.0% of total-time
Operation ival-tan, time spent: 452.0ms, 0.0% of total-time
Operation ival-acos, time spent: 388.0ms, 0.0% of total-time
Operation ival-asin, time spent: 198.0ms, 0.0% of total-time
Operation ival-remainder, time spent: 115.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 64.0ms, 0.0% of total-time

sample7.7min (28.6%)

Results
1.3min298923×256valid
40.0s45782×512valid
6.5s27366×256infinite
5.4s27308×256invalid
6.9s26304×256unsamplable
20.5s25556×1024valid
2.6min16879×8192exit
29.1s11009×2048valid
51.8s7378×4096valid
5.8s5913×512infinite
1.4s1670×1024invalid
1.3s1153×2048invalid
713.0ms1116×512invalid
19.2s1098×8192valid
104.0ms892×256precondition
2.6s646×2048infinite
1.3s504×1024infinite
3.4s446×4096infinite
6.0ms7×512unsamplable
7.0ms4×1024unsamplable
10.0ms1×4096unsamplable
Precisions
Click to see histograms. Total time spent on operations: 6.1min
Operation ival-pow, time spent: 2.5min, 41.0% of total-time
Operation ival-sin, time spent: 47.0s, 13.0% of total-time
Operation ival-mult, time spent: 40.0s, 11.0% of total-time
Operation ival-cos, time spent: 34.0s, 9.0% of total-time
Operation ival-div, time spent: 30.5s, 8.0% of total-time
Operation ival-exp, time spent: 10.8s, 3.0% of total-time
Operation ival-log, time spent: 10.8s, 3.0% of total-time
Operation ival-add, time spent: 10.0s, 3.0% of total-time
Operation ival-sub, time spent: 8.7s, 2.0% of total-time
Operation ival-sqrt, time spent: 6.9s, 2.0% of total-time
Operation const, time spent: 3.5s, 1.0% of total-time
Operation ival-neg, time spent: 2.7s, 1.0% of total-time
Operation ival-<, time spent: 2.6s, 1.0% of total-time
Operation ival-atan2, time spent: 1.9s, 1.0% of total-time
Operation ival-atan, time spent: 1.1s, 0.0% of total-time
Operation ival-pi, time spent: 1.1s, 0.0% of total-time
Operation ival-acos, time spent: 901.0ms, 0.0% of total-time
Operation ival-tan, time spent: 687.0ms, 0.0% of total-time
Operation ival-and, time spent: 504.0ms, 0.0% of total-time
Operation ival-asin, time spent: 334.0ms, 0.0% of total-time
Operation ival-<=, time spent: 297.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 221.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 81.0ms, 0.0% of total-time
Operation ival-==, time spent: 2.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Bogosity

eval2.3min (8.5%)

Compiler

Compiled 6584152 to 3812384 computations (42.1% saved)

preprocess2.0min (7.6%)

Algorithm
51×egg-herbie
Rules
76366×fma-def
27106×div-sub
26806×fma-neg
24952×sub-neg
22390×distribute-lft-in
Stop Event
8×saturated
43×node limit
Results
Compiler

Compiled 77110 to 46812 computations (39.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4min
Operation ival-sin, time spent: 22.8s, 27.0% of total-time
Operation ival-cos, time spent: 17.0s, 20.0% of total-time
Operation ival-mult, time spent: 14.4s, 17.0% of total-time
Operation ival-div, time spent: 12.2s, 15.0% of total-time
Operation ival-pow, time spent: 8.1s, 10.0% of total-time
Operation ival-add, time spent: 2.0s, 2.0% of total-time
Operation ival-sub, time spent: 1.8s, 2.0% of total-time
Operation ival-sqrt, time spent: 1.6s, 2.0% of total-time
Operation const, time spent: 977.0ms, 1.0% of total-time
Operation ival-tan, time spent: 642.0ms, 1.0% of total-time
Operation ival-log, time spent: 577.0ms, 1.0% of total-time
Operation ival-exp, time spent: 261.0ms, 0.0% of total-time
Operation ival-neg, time spent: 202.0ms, 0.0% of total-time
Operation ival-atan, time spent: 199.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 177.0ms, 0.0% of total-time
Operation ival-pi, time spent: 111.0ms, 0.0% of total-time
Operation ival-acos, time spent: 69.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 69.0ms, 0.0% of total-time
Operation ival-asin, time spent: 37.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 8.0ms, 0.0% of total-time

soundness1.7min (6.4%)

Rules
274612×fma-def
159952×associate-*r*
132204×times-frac
120302×associate-*l*
119960×fma-neg
Stop Event
6×saturated
374×node limit
8×unsound
Compiler

Compiled 43718 to 26245 computations (40% saved)

regimes1.5min (5.7%)

Counts
17609 → 764
Calls

137 calls:

9.7s
lambda2
9.0s
lambda1
8.0s
phi1
7.7s
phi2
5.0s
(-.f64 lambda1 lambda2)
Compiler

Compiled 10856 to 7989 computations (26.4% saved)

simplify1.0min (3.8%)

Algorithm
217×egg-herbie
Rules
145026×fma-def
90376×associate-*r*
81134×associate-*l*
79106×times-frac
75060×log-prod
Stop Event
48×saturated
38×fuel
167×node limit
2×unsound
10×done
Counts
80905 → 64088
Compiler

Compiled 15506 to 10440 computations (32.7% saved)

prune50.2s (3.1%)

Counts
145012 → 6470
Compiler

Compiled 425535 to 293422 computations (31% saved)

rewrite35.1s (2.2%)

Algorithm
169×batch-egg-rewrite
Rules
91635×log1p-expm1-u
69300×expm1-log1p-u
62246×expm1-udef
56448×log1p-udef
46680×log-prod
Stop Event
166×node limit
3×unsound
Counts
1604 → 46688

analyze34.6s (2.1%)

Algorithm
53×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%79.4%20.6%0%0%0%0
14.8%11.8%67.6%20.6%0%0%0%1
22.6%17.7%60.4%21%0%0.9%0%2
32.7%24.7%50.8%21.2%0%3.3%0%3
39.8%29.8%45%21.2%0%4%0%4
45.4%33.8%40.6%21.2%0%4.5%0%5
48.4%35.7%38%21.2%0%5.1%0%6
51.8%37.8%35.2%21.2%0%5.7%0.1%7
53.5%38.9%33.8%21.3%0%6%0.1%8
56.4%40.6%31.4%21.3%0%6.6%0.2%9
57.7%41.4%30.3%21.3%0%6.8%0.2%10
59.8%42.7%28.7%21.3%0%7.1%0.3%11
61.3%43.5%27.5%21.3%0%7.5%0.3%12
Compiler

Compiled 1919 to 1343 computations (30% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.1s
Operation ival-mult, time spent: 7.6s, 27.0% of total-time
Operation ival-cos, time spent: 4.9s, 17.0% of total-time
Operation ival-sin, time spent: 4.8s, 17.0% of total-time
Operation ival-div, time spent: 3.2s, 11.0% of total-time
Operation ival-pow, time spent: 3.0s, 11.0% of total-time
Operation ival-add, time spent: 984.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 978.0ms, 3.0% of total-time
Operation ival-sub, time spent: 797.0ms, 3.0% of total-time
Operation const, time spent: 413.0ms, 1.0% of total-time
Operation ival-<, time spent: 340.0ms, 1.0% of total-time
Operation ival-neg, time spent: 225.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 200.0ms, 1.0% of total-time
Operation ival-pi, time spent: 109.0ms, 0.0% of total-time
Operation ival-log, time spent: 107.0ms, 0.0% of total-time
Operation ival-exp, time spent: 101.0ms, 0.0% of total-time
Operation ival-tan, time spent: 94.0ms, 0.0% of total-time
Operation ival-acos, time spent: 64.0ms, 0.0% of total-time
Operation ival-asin, time spent: 63.0ms, 0.0% of total-time
Operation ival-atan, time spent: 60.0ms, 0.0% of total-time
Operation ival-and, time spent: 41.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 31.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 23.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time

bsearch21.0s (1.3%)

Algorithm
288×binary-search
52×left-value
Stop Event
9×predicate-same
279×narrow-enough
Results
7.1s24505×256valid
6.9s6802×512valid
343.0ms2150×256invalid
1.3s1648×2048valid
1.2s1512×1024valid
1.3s1123×4096valid
135.0ms551×256infinite
55.0ms115×512infinite
Compiler

Compiled 99404 to 74176 computations (25.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.7s
Operation ival-sin, time spent: 2.4s, 19.0% of total-time
Operation ival-cos, time spent: 2.1s, 17.0% of total-time
Operation ival-mult, time spent: 1.9s, 15.0% of total-time
Operation ival-div, time spent: 976.0ms, 8.0% of total-time
Operation ival-sub, time spent: 922.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 751.0ms, 6.0% of total-time
Operation ival-pow, time spent: 691.0ms, 5.0% of total-time
Operation ival-add, time spent: 620.0ms, 5.0% of total-time
Operation ival-log, time spent: 530.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 464.0ms, 4.0% of total-time
Operation ival-atan, time spent: 396.0ms, 3.0% of total-time
Operation ival-exp, time spent: 263.0ms, 2.0% of total-time
Operation ival-acos, time spent: 189.0ms, 1.0% of total-time
Operation const, time spent: 173.0ms, 1.0% of total-time
Operation ival-pi, time spent: 114.0ms, 1.0% of total-time
Operation ival-neg, time spent: 84.0ms, 1.0% of total-time
Operation ival-tan, time spent: 21.0ms, 0.0% of total-time
Operation ival-asin, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 2.0ms, 0.0% of total-time

series16.2s (1%)

Counts
1604 → 34217
Calls

9234 calls:

TimeVariablePointExpression
398.0ms
b
@inf
(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
351.0ms
x
@inf
(+.f64 (*.f64 -1/2 x) (/.f64 1 x))
256.0ms
a
@inf
(+.f64 (log1p.f64 (exp.f64 a)) (/.f64 b (+.f64 1 (exp.f64 a))))
211.0ms
x
@-inf
(log.f64 (+.f64 (/.f64 1 x) (/.f64 1 x)))
146.0ms
b
@0
(/.f64 (-.f64 1 (exp.f64 (+.f64 a b))) (-.f64 1 (exp.f64 (*.f64 2 (+.f64 a b)))))

end34.0ms (0%)

Profiling

Loading profile data...