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

sample3.7min (29.8%)

Results
1.4min363358×0valid
16.2s71330×0infinite
8.0s13906×1valid
9.4s8835×3valid
1.2min8325×5exit
4.5s7119×2valid
1.3s4788×0unsamplable
4.1s2853×3infinite
2.2s2199×2infinite
1.1s709×4valid
117.0ms568×0invalid
163.0ms303×1infinite
Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-add, time spent: 35.6s, 23.0% of total-time
Operation ival-sin, time spent: 31.9s, 21.0% of total-time
Operation ival-sub, time spent: 26.4s, 17.0% of total-time
Operation ival-mult, time spent: 20.2s, 13.0% of total-time
Operation ival-div, time spent: 9.9s, 7.0% of total-time
Operation ival-pow, time spent: 4.2s, 3.0% of total-time
Operation ival-log, time spent: 3.4s, 2.0% of total-time
Operation ival-exp, time spent: 3.3s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.2s, 2.0% of total-time
Operation const, time spent: 3.0s, 2.0% of total-time
Operation ival-asin, time spent: 2.9s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-atan2, time spent: 1.5s, 1.0% of total-time
Operation ival-pi, time spent: 915.0ms, 1.0% of total-time
Operation ival-neg, time spent: 738.0ms, 0.0% of total-time
Operation ival-<=, time spent: 734.0ms, 0.0% of total-time
Operation ival->, time spent: 714.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 397.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 354.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 341.0ms, 0.0% of total-time
Operation ival->=, time spent: 171.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 153.0ms, 0.0% of total-time
Operation ival-and, time spent: 129.0ms, 0.0% of total-time
Bogosity

localize3.1min (25.4%)

Results
Compiler

Compiled 45362 to 26007 computations (42.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
Operation ival-add, time spent: 36.2s, 24.0% of total-time
Operation ival-asin, time spent: 25.7s, 17.0% of total-time
Operation ival-sub, time spent: 23.4s, 15.0% of total-time
Operation ival-mult, time spent: 15.1s, 10.0% of total-time
Operation ival-pow, time spent: 13.2s, 9.0% of total-time
Operation ival-div, time spent: 11.4s, 7.0% of total-time
Operation ival-fma, time spent: 6.5s, 4.0% of total-time
Operation ival-sqrt, time spent: 5.4s, 3.0% of total-time
Operation const, time spent: 4.3s, 3.0% of total-time
Operation ival-log, time spent: 3.5s, 2.0% of total-time
Operation ival-exp, time spent: 3.0s, 2.0% of total-time
Operation ival-expm1, time spent: 1.3s, 1.0% of total-time
Operation ival-cbrt, time spent: 989.0ms, 1.0% of total-time
Operation ival-acos, time spent: 839.0ms, 1.0% of total-time
Operation ival-log1p, time spent: 788.0ms, 1.0% of total-time
Operation ival-cos, time spent: 614.0ms, 0.0% of total-time
Operation ival-sin, time spent: 515.0ms, 0.0% of total-time
Operation ival-neg, time spent: 388.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 380.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 224.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 122.0ms, 0.0% of total-time
Operation ival-pi, time spent: 62.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 0.0% of total-time

soundness1.2min (9.8%)

Rules
197788×fma-def
108878×associate-*r*
93168×fma-neg
90835×log-prod
88552×times-frac
Stop Event
15×saturated
295×node limit
18×unsound
Compiler

Compiled 29724 to 16584 computations (44.2% saved)

eval1.0min (8.5%)

Compiler

Compiled 3046061 to 1976498 computations (35.1% saved)

preprocess46.0s (6.3%)

Algorithm
57×egg-herbie
Rules
62146×fma-def
21928×distribute-lft-in
21764×fma-neg
21538×distribute-rgt-in
20904×sub-neg
Stop Event
21×saturated
36×node limit
Compiler

Compiled 41947 to 22250 computations (47% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.7s
Operation ival-add, time spent: 7.6s, 32.0% of total-time
Operation ival-sub, time spent: 7.0s, 30.0% of total-time
Operation ival-mult, time spent: 3.6s, 15.0% of total-time
Operation ival-div, time spent: 2.0s, 8.0% of total-time
Operation const, time spent: 763.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 574.0ms, 2.0% of total-time
Operation ival-log, time spent: 555.0ms, 2.0% of total-time
Operation ival-exp, time spent: 413.0ms, 2.0% of total-time
Operation ival-pow, time spent: 345.0ms, 1.0% of total-time
Operation ival-asin, time spent: 259.0ms, 1.0% of total-time
Operation ival-sin, time spent: 234.0ms, 1.0% of total-time
Operation ival-cos, time spent: 116.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 68.0ms, 0.0% of total-time
Operation ival-neg, time spent: 59.0ms, 0.0% of total-time
Operation ival-pi, time spent: 31.0ms, 0.0% of total-time
Operation ival-log1p, time spent: 28.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time

simplify42.0s (5.7%)

Algorithm
214×egg-herbie
Rules
113831×fma-def
71307×associate-*r*
71164×log-prod
67168×times-frac
65367×fma-neg
Stop Event
56×saturated
151×node limit
30×fuel
7×unsound
26×done
Counts
60227 → 54226
Compiler

Compiled 9045 to 5678 computations (37.2% saved)

rewrite31.7s (4.3%)

Algorithm
158×batch-egg-rewrite
Rules
92120×log1p-expm1-u
71339×expm1-log1p-u
52023×expm1-udef
49001×log-prod
48126×log1p-udef
Stop Event
151×node limit
7×unsound
Counts
1206 → 37972

regimes24.7s (3.4%)

Counts
5589 → 696
Calls

130 calls:

3.3s
y.re
2.9s
y.im
2.1s
im
1.9s
x.im
1.8s
re
Compiler

Compiled 5582 to 3777 computations (32.3% saved)

prune21.9s (3%)

Counts
81555 → 2788
Compiler

Compiled 131716 to 93357 computations (29.1% saved)

bsearch15.0s (2%)

Algorithm
325×binary-search
35×left-value
Stop Event
12×predicate-same
313×narrow-enough
Results
7.0s23904×0valid
2.3s8196×0infinite
488.0ms1071×1valid
1.3s865×3infinite
437.0ms672×2valid
718.0ms495×3valid
534.0ms452×2infinite
369.0ms320×4valid
123.0ms201×1infinite
Compiler

Compiled 66214 to 46155 computations (30.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.4s
Operation ival-mult, time spent: 2.5s, 30.0% of total-time
Operation ival-add, time spent: 2.3s, 28.0% of total-time
Operation ival-sub, time spent: 797.0ms, 9.0% of total-time
Operation ival-sin, time spent: 656.0ms, 8.0% of total-time
Operation ival-exp, time spent: 393.0ms, 5.0% of total-time
Operation ival-div, time spent: 361.0ms, 4.0% of total-time
Operation ival-log, time spent: 324.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 304.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 187.0ms, 2.0% of total-time
Operation ival-asin, time spent: 174.0ms, 2.0% of total-time
Operation const, time spent: 141.0ms, 2.0% of total-time
Operation ival-cos, time spent: 120.0ms, 1.0% of total-time
Operation ival-neg, time spent: 66.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 11.0ms, 0.0% of total-time
Operation ival-pi, time spent: 8.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time

series10.8s (1.5%)

Counts
1206 → 22255
Calls

6006 calls:

TimeVariablePointExpression
422.0ms
x
@0
(-.f64 (exp.f64 (log1p.f64 (*.f64 x 564193179035109/500000000000000))) 1)
356.0ms
x
@0
(log.f64 (pow.f64 (exp.f64 x) 564193179035109/500000000000000))
311.0ms
beta
@0
(pow.f64 (sqrt.f64 (*.f64 (+.f64 (+.f64 beta 3) alpha) (/.f64 (/.f64 (+.f64 (+.f64 beta 2) alpha) (/.f64 (+.f64 1 alpha) (+.f64 (+.f64 beta 2) alpha))) (+.f64 1 beta)))) -2)
304.0ms
i
@0
(/.f64 (+.f64 (pow.f64 (+.f64 alpha beta) 2) -1) (*.f64 (*.f64 (+.f64 alpha beta) i) (/.f64 (+.f64 alpha i) beta)))
274.0ms
y.im
@inf
(/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 y.im) (atan2.f64 x.im x.re)))

analyze3.3s (0.4%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
Operation ival-mult, time spent: 659.0ms, 27.0% of total-time
Operation ival-add, time spent: 334.0ms, 14.0% of total-time
Operation ival-sub, time spent: 323.0ms, 13.0% of total-time
Operation ival-log, time spent: 295.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 203.0ms, 8.0% of total-time
Operation ival-pow, time spent: 147.0ms, 6.0% of total-time
Operation ival-div, time spent: 129.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 75.0ms, 3.0% of total-time
Operation ival-exp, time spent: 59.0ms, 2.0% of total-time
Operation const, time spent: 49.0ms, 2.0% of total-time
Operation ival-sin, time spent: 47.0ms, 2.0% of total-time
Operation ival-cos, time spent: 35.0ms, 1.0% of total-time
Operation ival->, time spent: 14.0ms, 1.0% of total-time
Operation ival-<=, time spent: 10.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time
Operation ival-neg, time spent: 6.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 2.0ms, 0.0% of total-time
Operation ival-and, time spent: 2.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time

end13.0ms (0%)

Profiling

Loading profile data...