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

sample3.6min (28.1%)

Results
1.5min369550×0valid
15.8s71558×0infinite
6.9s10732×2valid
3.8s8815×1valid
1.2min8277×5exit
5.3s4935×2infinite
4.9s4805×3valid
1.6s4788×0unsamplable
103.0ms568×0invalid
181.0ms117×3infinite
70.0ms69×1infinite
14.0ms31×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-sin, time spent: 32.3s, 22.0% of total-time
Operation ival-add, time spent: 31.8s, 21.0% of total-time
Operation ival-sub, time spent: 28.1s, 19.0% of total-time
Operation ival-mult, time spent: 19.3s, 13.0% of total-time
Operation ival-div, time spent: 9.8s, 7.0% of total-time
Operation ival-pow, time spent: 4.9s, 3.0% of total-time
Operation ival-exp, time spent: 3.5s, 2.0% of total-time
Operation ival-sqrt, time spent: 3.4s, 2.0% of total-time
Operation ival-log, time spent: 3.0s, 2.0% of total-time
Operation const, time spent: 2.9s, 2.0% of total-time
Operation ival-asin, time spent: 2.3s, 2.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-atan2, time spent: 1.4s, 1.0% of total-time
Operation ival->, time spent: 744.0ms, 1.0% of total-time
Operation ival-pi, time spent: 683.0ms, 0.0% of total-time
Operation ival-<=, time spent: 551.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 423.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 414.0ms, 0.0% of total-time
Operation ival-neg, time spent: 405.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 307.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 191.0ms, 0.0% of total-time
Operation ival->=, time spent: 161.0ms, 0.0% of total-time
Operation ival-and, time spent: 123.0ms, 0.0% of total-time
Bogosity

localize3.6min (27.6%)

Compiler

Compiled 47910 to 27984 computations (41.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0min
Operation ival-add, time spent: 33.7s, 19.0% of total-time
Operation ival-asin, time spent: 28.7s, 16.0% of total-time
Operation ival-sub, time spent: 21.4s, 12.0% of total-time
Operation ival-mult, time spent: 17.0s, 10.0% of total-time
Operation ival-pow, time spent: 14.6s, 8.0% of total-time
Operation ival-acos, time spent: 13.6s, 8.0% of total-time
Operation ival-fma, time spent: 12.7s, 7.0% of total-time
Operation ival-div, time spent: 11.5s, 6.0% of total-time
Operation ival-sqrt, time spent: 6.7s, 4.0% of total-time
Operation const, time spent: 4.7s, 3.0% of total-time
Operation ival-log, time spent: 3.7s, 2.0% of total-time
Operation ival-exp, time spent: 3.3s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.4s, 1.0% of total-time
Operation ival-log1p, time spent: 1.1s, 1.0% of total-time
Operation ival-expm1, time spent: 780.0ms, 0.0% of total-time
Operation ival-cos, time spent: 746.0ms, 0.0% of total-time
Operation ival-sin, time spent: 554.0ms, 0.0% of total-time
Operation ival-neg, time spent: 418.0ms, 0.0% of total-time
Operation ival-hypot, time spent: 389.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 299.0ms, 0.0% of total-time
Operation ival-pi, time spent: 68.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 63.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 22.0ms, 0.0% of total-time

soundness1.3min (9.9%)

Rules
207073×fma-def
115333×associate-*r*
98291×log-prod
97667×fma-neg
95197×times-frac
Stop Event
15×saturated
309×node limit
16×unsound
Results
Compiler

Compiled 37607 to 22780 computations (39.4% saved)

eval1.2min (9.1%)

Compiler

Compiled 3298378 to 2172235 computations (34.1% saved)

simplify42.5s (5.5%)

Algorithm
218×egg-herbie
Rules
114473×fma-def
75074×log-prod
72182×associate-*r*
64605×fma-neg
63234×times-frac
Stop Event
57×saturated
155×node limit
30×fuel
6×unsound
27×done
Counts
61648 → 55338
Compiler

Compiled 10653 to 6951 computations (34.8% saved)

preprocess42.0s (5.4%)

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 46419 to 25726 computations (44.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.7s
Operation ival-add, time spent: 6.2s, 31.0% of total-time
Operation ival-sub, time spent: 5.8s, 29.0% of total-time
Operation ival-mult, time spent: 2.5s, 13.0% of total-time
Operation ival-div, time spent: 2.0s, 10.0% of total-time
Operation ival-sqrt, time spent: 791.0ms, 4.0% of total-time
Operation const, time spent: 684.0ms, 3.0% of total-time
Operation ival-exp, time spent: 537.0ms, 3.0% of total-time
Operation ival-log, time spent: 288.0ms, 1.0% of total-time
Operation ival-pow, time spent: 275.0ms, 1.0% of total-time
Operation ival-asin, time spent: 239.0ms, 1.0% of total-time
Operation ival-sin, time spent: 127.0ms, 1.0% of total-time
Operation ival-cos, time spent: 113.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 71.0ms, 0.0% of total-time
Operation ival-neg, time spent: 51.0ms, 0.0% of total-time
Operation ival-pi, time spent: 32.0ms, 0.0% of total-time
Operation ival-log1p, time spent: 29.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 10.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 7.0ms, 0.0% of total-time

rewrite34.3s (4.4%)

Algorithm
161×batch-egg-rewrite
Rules
94134×log1p-expm1-u
74076×expm1-log1p-u
52830×expm1-udef
51309×log-prod
49202×log1p-udef
Stop Event
154×node limit
7×unsound
Counts
1232 → 39116

regimes26.8s (3.5%)

Counts
5852 → 738
Calls

132 calls:

3.3s
y.re
3.2s
y.im
2.6s
im
2.2s
x.re
2.0s
x.im
Compiler

Compiled 6092 to 4180 computations (31.4% saved)

prune24.3s (3.1%)

Counts
85437 → 2894
Compiler

Compiled 144580 to 103343 computations (28.5% saved)

bsearch13.1s (1.7%)

Algorithm
347×binary-search
36×left-value
Stop Event
12×predicate-same
335×narrow-enough
Results
6.4s26340×0valid
1.7s8535×0infinite
493.0ms1459×1valid
1.5s1214×2infinite
745.0ms1159×2valid
265.0ms341×3valid
203.0ms103×3infinite
12.0ms17×5exit
0.0ms1×4valid
Compiler

Compiled 68707 to 48208 computations (29.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.1s
Operation ival-add, time spent: 1.9s, 26.0% of total-time
Operation ival-mult, time spent: 1.7s, 23.0% of total-time
Operation ival-sub, time spent: 1.0s, 14.0% of total-time
Operation ival-sin, time spent: 748.0ms, 10.0% of total-time
Operation ival-log, time spent: 332.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 331.0ms, 5.0% of total-time
Operation ival-div, time spent: 293.0ms, 4.0% of total-time
Operation ival-exp, time spent: 246.0ms, 3.0% of total-time
Operation ival-cos, time spent: 194.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 165.0ms, 2.0% of total-time
Operation const, time spent: 140.0ms, 2.0% of total-time
Operation ival-asin, time spent: 95.0ms, 1.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 9.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time
Operation ival-pi, time spent: 7.0ms, 0.0% of total-time

series9.2s (1.2%)

Counts
1232 → 22532
Calls

6114 calls:

TimeVariablePointExpression
378.0ms
base
@inf
(log1p.f64 (/.f64 (log.f64 im) (log.f64 base)))
131.0ms
im
@-inf
(log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 10)))
122.0ms
re
@-inf
(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))
119.0ms
im
@-inf
(log.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))
94.0ms
y.im
@0
(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)

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.3s
Operation ival-mult, time spent: 602.0ms, 26.0% of total-time
Operation ival-add, time spent: 411.0ms, 18.0% of total-time
Operation ival-sub, time spent: 303.0ms, 13.0% of total-time
Operation ival-log, time spent: 247.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 191.0ms, 8.0% of total-time
Operation ival-div, time spent: 150.0ms, 7.0% of total-time
Operation ival-atan2, time spent: 80.0ms, 3.0% of total-time
Operation ival-pow, time spent: 67.0ms, 3.0% of total-time
Operation ival-exp, time spent: 57.0ms, 2.0% of total-time
Operation ival-sin, time spent: 55.0ms, 2.0% of total-time
Operation const, time spent: 50.0ms, 2.0% of total-time
Operation ival-cos, time spent: 35.0ms, 2.0% of total-time
Operation ival->, time spent: 28.0ms, 1.0% of total-time
Operation ival-<=, time spent: 10.0ms, 0.0% of total-time
Operation ival-pi, time spent: 8.0ms, 0.0% of total-time
Operation ival-neg, time spent: 7.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

end15.0ms (0%)

Profiling

Loading profile data...