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: 26.7min)

sample9.9min (37%)

Results
1.1min241677×0valid
1.2min108370×1valid
10.4s34772×0unsamplable
6.5s25441×0infinite
2.7min19814×5exit
28.0s19652×2valid
5.5s18810×0invalid
1.8min18415×3valid
2.9s11549×1invalid
10.0s7193×1infinite
4.9s3987×2invalid
48.8s2655×4valid
124.0ms924×0precondition
16.7s712×5valid
8.2s700×4infinite
3.4s607×3infinite
9.7s429×5infinite
1.1s330×2infinite
25.0ms22×2unsamplable
28.0ms9×3unsamplable
5.0ms6×1unsamplable
Precisions
Click to see histograms. Total time spent on operations: 8.3min
Operation ival-pow, time spent: 2.7min, 33.0% of total-time
Operation ival-sin, time spent: 1.5min, 18.0% of total-time
Operation ival-cos, time spent: 1.1min, 14.0% of total-time
Operation ival-mult, time spent: 43.6s, 9.0% of total-time
Operation ival-div, time spent: 31.6s, 6.0% of total-time
Operation ival-add, time spent: 30.5s, 6.0% of total-time
Operation ival-sub, time spent: 27.0s, 5.0% of total-time
Operation ival-exp, time spent: 13.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 7.8s, 2.0% of total-time
Operation const, time spent: 5.2s, 1.0% of total-time
Operation ival-<, time spent: 3.7s, 1.0% of total-time
Operation ival-neg, time spent: 3.4s, 1.0% of total-time
Operation ival-log, time spent: 3.3s, 1.0% of total-time
Operation ival-pi, time spent: 1.2s, 0.0% of total-time
Operation ival-atan2, time spent: 935.0ms, 0.0% of total-time
Operation ival-and, time spent: 841.0ms, 0.0% of total-time
Operation ival-tan, time spent: 571.0ms, 0.0% of total-time
Operation ival-acos, time spent: 508.0ms, 0.0% of total-time
Operation ival-atan, time spent: 483.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 306.0ms, 0.0% of total-time
Operation ival-<=, time spent: 214.0ms, 0.0% of total-time
Operation ival-asin, time spent: 167.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 88.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

localize6.2min (23.2%)

Results
Compiler

Compiled 71529 to 37569 computations (47.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.5min
Operation ival-sin, time spent: 2.2min, 41.0% of total-time
Operation ival-pow, time spent: 56.9s, 17.0% of total-time
Operation ival-cos, time spent: 36.1s, 11.0% of total-time
Operation ival-mult, time spent: 35.7s, 11.0% of total-time
Operation ival-div, time spent: 21.1s, 6.0% of total-time
Operation ival-add, time spent: 13.5s, 4.0% of total-time
Operation ival-sub, time spent: 9.4s, 3.0% of total-time
Operation ival-sqrt, time spent: 4.8s, 1.0% of total-time
Operation const, time spent: 4.3s, 1.0% of total-time
Operation ival-fma, time spent: 2.6s, 1.0% of total-time
Operation ival-log1p, time spent: 1.7s, 1.0% of total-time
Operation ival-cbrt, time spent: 1.5s, 0.0% of total-time
Operation ival-exp, time spent: 1.5s, 0.0% of total-time
Operation ival-hypot, time spent: 981.0ms, 0.0% of total-time
Operation ival-log, time spent: 846.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 789.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 640.0ms, 0.0% of total-time
Operation ival-tan, time spent: 345.0ms, 0.0% of total-time
Operation ival-neg, time spent: 324.0ms, 0.0% of total-time
Operation ival-atan, time spent: 279.0ms, 0.0% of total-time
Operation ival-acos, time spent: 251.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 99.0ms, 0.0% of total-time
Operation ival-pi, time spent: 72.0ms, 0.0% of total-time
Operation ival-asin, time spent: 23.0ms, 0.0% of total-time

preprocess2.3min (8.8%)

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 69401 to 40476 computations (41.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-sin, time spent: 36.7s, 33.0% of total-time
Operation ival-cos, time spent: 23.5s, 21.0% of total-time
Operation ival-pow, time spent: 16.5s, 15.0% of total-time
Operation ival-mult, time spent: 11.7s, 10.0% of total-time
Operation ival-div, time spent: 10.2s, 9.0% of total-time
Operation ival-add, time spent: 5.6s, 5.0% of total-time
Operation ival-sub, time spent: 4.5s, 4.0% of total-time
Operation ival-sqrt, time spent: 1.2s, 1.0% of total-time
Operation const, time spent: 1.2s, 1.0% of total-time
Operation ival-exp, time spent: 369.0ms, 0.0% of total-time
Operation ival-tan, time spent: 146.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 138.0ms, 0.0% of total-time
Operation ival-log, time spent: 128.0ms, 0.0% of total-time
Operation ival-neg, time spent: 111.0ms, 0.0% of total-time
Operation ival-atan, time spent: 94.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 72.0ms, 0.0% of total-time
Operation ival-pi, time spent: 46.0ms, 0.0% of total-time
Operation ival-acos, time spent: 29.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time

eval1.8min (6.8%)

Compiler

Compiled 5615670 to 3241441 computations (42.3% saved)

soundness1.7min (6.4%)

Rules
259642×fma-def
173550×associate-*r*
129602×log-prod
121000×associate-*l*
116460×fma-neg
Stop Event
6×saturated
378×node limit
3×unsound
Compiler

Compiled 40634 to 23700 computations (41.7% saved)

regimes1.4min (5.2%)

Counts
17677 → 754
Calls

134 calls:

7.8s
phi2
6.8s
phi1
6.8s
lambda1
5.5s
lambda2
4.3s
(-.f64 lambda1 lambda2)
Compiler

Compiled 11026 to 8110 computations (26.4% saved)

simplify49.2s (3.1%)

Algorithm
215×egg-herbie
Rules
140786×fma-def
97252×associate-*r*
83952×log-prod
81884×times-frac
81142×associate-*l*
Stop Event
47×saturated
37×fuel
168×node limit
10×done
Counts
76008 → 60842
Compiler

Compiled 13856 to 9141 computations (34% saved)

analyze44.5s (2.8%)

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 1338 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 37.9s
Operation ival-pow, time spent: 17.4s, 46.0% of total-time
Operation ival-mult, time spent: 6.2s, 16.0% of total-time
Operation ival-cos, time spent: 3.5s, 9.0% of total-time
Operation ival-div, time spent: 3.4s, 9.0% of total-time
Operation ival-sin, time spent: 3.0s, 8.0% of total-time
Operation ival-add, time spent: 1.1s, 3.0% of total-time
Operation ival-sqrt, time spent: 886.0ms, 2.0% of total-time
Operation ival-sub, time spent: 833.0ms, 2.0% of total-time
Operation const, time spent: 365.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 230.0ms, 1.0% of total-time
Operation ival-neg, time spent: 216.0ms, 1.0% of total-time
Operation ival-<, time spent: 175.0ms, 0.0% of total-time
Operation ival-exp, time spent: 96.0ms, 0.0% of total-time
Operation ival-log, time spent: 89.0ms, 0.0% of total-time
Operation ival-tan, time spent: 72.0ms, 0.0% of total-time
Operation ival-pi, time spent: 69.0ms, 0.0% of total-time
Operation ival-asin, time spent: 61.0ms, 0.0% of total-time
Operation ival-atan, time spent: 59.0ms, 0.0% of total-time
Operation ival-acos, time spent: 59.0ms, 0.0% of total-time
Operation ival-and, time spent: 36.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 31.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 18.0ms, 0.0% of total-time
Operation ival-<=, time spent: 3.0ms, 0.0% of total-time
Operation ival-==, time spent: 0.0ms, 0.0% of total-time
Operation ival-or, time spent: 0.0ms, 0.0% of total-time

prune43.5s (2.7%)

Counts
134541 → 6136
Compiler

Compiled 379030 to 260801 computations (31.2% saved)

rewrite33.6s (2.1%)

Algorithm
168×batch-egg-rewrite
Rules
89973×log1p-expm1-u
68890×expm1-log1p-u
54836×expm1-udef
52700×log1p-udef
50866×log-prod
Stop Event
163×node limit
5×unsound
Counts
1498 → 45478

bsearch16.1s (1%)

Algorithm
265×binary-search
76×left-value
Stop Event
11×predicate-same
254×narrow-enough
Results
5.1s17243×0valid
7.5s11137×1valid
1.1s1582×2valid
150.0ms745×0invalid
313.0ms350×3valid
144.0ms282×1infinite
64.0ms249×0infinite
2.0ms25×0unsamplable
15.0ms5×4valid
Compiler

Compiled 79947 to 58737 computations (26.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0s
Operation ival-sin, time spent: 1.9s, 19.0% of total-time
Operation ival-cos, time spent: 1.7s, 17.0% of total-time
Operation ival-sub, time spent: 1.6s, 16.0% of total-time
Operation ival-mult, time spent: 1.4s, 14.0% of total-time
Operation ival-add, time spent: 910.0ms, 9.0% of total-time
Operation ival-pow, time spent: 665.0ms, 7.0% of total-time
Operation ival-div, time spent: 486.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 429.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 242.0ms, 2.0% of total-time
Operation const, time spent: 149.0ms, 1.0% of total-time
Operation ival-log, time spent: 129.0ms, 1.0% of total-time
Operation ival-acos, time spent: 116.0ms, 1.0% of total-time
Operation ival-atan, time spent: 64.0ms, 1.0% of total-time
Operation ival-asin, time spent: 59.0ms, 1.0% of total-time
Operation ival-neg, time spent: 51.0ms, 1.0% of total-time
Operation ival-exp, time spent: 49.0ms, 0.0% of total-time
Operation ival-pi, time spent: 38.0ms, 0.0% of total-time
Operation ival-tan, time spent: 30.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time

series14.2s (0.9%)

Counts
1498 → 30530
Calls

8397 calls:

TimeVariablePointExpression
327.0ms
B
@0
(sqrt.f64 (*.f64 F (-.f64 C (hypot.f64 B C))))
327.0ms
lambda2
@inf
(log1p.f64 (sin.f64 (-.f64 lambda1 lambda2)))
316.0ms
b
@-inf
(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
181.0ms
B
@0
(*.f64 (/.f64 (sqrt.f64 2) B) (neg.f64 (pow.f64 (pow.f64 (*.f64 F (+.f64 A (hypot.f64 B A))) 3/2) 1/3)))
152.0ms
theta
@inf
(*.f64 (sin.f64 theta) (-.f64 (exp.f64 (log1p.f64 (*.f64 (cos.f64 phi1) (sin.f64 delta)))) 1))

end25.0ms (0%)

Profiling

Loading profile data...