Herbie run

Date:Friday, January 26th, 2024
Commit:4da0cfad on mix-histograms
Hostname:nightly with Racket 8.11.1
Seed:2024026
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)

sample4.1min (31.7%)

Results
1.9min373189×256valid
22.0s72349×256infinite
8.8s10612×1024valid
1.4min7795×8192exit
4.1s7031×512valid
1.9s4746×256unsamplable
5.6s4469×512infinite
1.7s1832×2048valid
994.0ms1038×4096valid
114.0ms514×256invalid
192.0ms90×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-sin, time spent: 45.9s, 30.0% of total-time
Operation ival-mult, time spent: 27.3s, 18.0% of total-time
Operation ival-add, time spent: 16.2s, 11.0% of total-time
Operation ival-sub, time spent: 11.6s, 8.0% of total-time
Operation ival-div, time spent: 11.5s, 8.0% of total-time
Operation const, time spent: 7.6s, 5.0% of total-time
Operation ival-pow, time spent: 5.4s, 4.0% of total-time
Operation ival-sqrt, time spent: 4.9s, 3.0% of total-time
Operation ival-log, time spent: 4.3s, 3.0% of total-time
Operation ival-exp, time spent: 4.3s, 3.0% of total-time
Operation ival-atan2, time spent: 2.1s, 1.0% of total-time
Operation ival-cos, time spent: 1.7s, 1.0% of total-time
Operation ival-asin, time spent: 1.5s, 1.0% of total-time
Operation ival-pi, time spent: 1.3s, 1.0% of total-time
Operation ival->, time spent: 1.3s, 1.0% of total-time
Operation ival-asinh, time spent: 820.0ms, 1.0% of total-time
Operation ival-<=, time spent: 727.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 598.0ms, 0.0% of total-time
Operation ival-neg, time spent: 565.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 553.0ms, 0.0% of total-time
Operation ival-and, time spent: 249.0ms, 0.0% of total-time
Operation ival->=, time spent: 212.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 178.0ms, 0.0% of total-time
Bogosity

localize3.1min (24.1%)

Results
Compiler

Compiled 45263 to 25797 computations (43% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8min
Operation ival-mult, time spent: 18.0s, 17.0% of total-time
Operation ival-div, time spent: 13.5s, 12.0% of total-time
Operation ival-add, time spent: 13.3s, 12.0% of total-time
Operation ival-pow, time spent: 12.9s, 12.0% of total-time
Operation const, time spent: 9.2s, 9.0% of total-time
Operation ival-sub, time spent: 8.0s, 7.0% of total-time
Operation ival-asin, time spent: 7.6s, 7.0% of total-time
Operation ival-log, time spent: 5.4s, 5.0% of total-time
Operation ival-sqrt, time spent: 5.0s, 5.0% of total-time
Operation ival-fma, time spent: 4.9s, 5.0% of total-time
Operation ival-exp, time spent: 2.1s, 2.0% of total-time
Operation ival-sin, time spent: 1.6s, 2.0% of total-time
Operation ival-log1p, time spent: 1.3s, 1.0% of total-time
Operation ival-acos, time spent: 1.1s, 1.0% of total-time
Operation ival-cos, time spent: 1.1s, 1.0% of total-time
Operation ival-hypot, time spent: 803.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 709.0ms, 1.0% of total-time
Operation ival-neg, time spent: 465.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 451.0ms, 0.0% of total-time
Operation ival-expm1, time spent: 323.0ms, 0.0% of total-time
Operation ival-pi, time spent: 151.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 96.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 58.0ms, 0.0% of total-time

soundness1.3min (10.5%)

Rules
190193×fma-def
128785×associate-*r*
93649×*-commutative
88669×associate-*l*
87573×log-prod
Stop Event
16×saturated
310×node limit
17×unsound
Compiler

Compiled 31382 to 17991 computations (42.7% saved)

eval58.9s (7.6%)

Compiler

Compiled 2756664 to 1800002 computations (34.7% saved)

preprocess48.2s (6.2%)

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 43345 to 23250 computations (46.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 17.6s
Operation ival-mult, time spent: 3.8s, 22.0% of total-time
Operation ival-add, time spent: 3.4s, 19.0% of total-time
Operation ival-sub, time spent: 2.9s, 16.0% of total-time
Operation ival-div, time spent: 2.3s, 13.0% of total-time
Operation const, time spent: 1.7s, 10.0% of total-time
Operation ival-sqrt, time spent: 1.1s, 6.0% of total-time
Operation ival-exp, time spent: 644.0ms, 4.0% of total-time
Operation ival-log, time spent: 463.0ms, 3.0% of total-time
Operation ival-pow, time spent: 377.0ms, 2.0% of total-time
Operation ival-asin, time spent: 262.0ms, 1.0% of total-time
Operation ival-sin, time spent: 245.0ms, 1.0% of total-time
Operation ival-cos, time spent: 115.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 102.0ms, 1.0% of total-time
Operation ival-neg, time spent: 60.0ms, 0.0% of total-time
Operation ival-pi, time spent: 48.0ms, 0.0% of total-time
Operation ival-log1p, time spent: 38.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 16.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 12.0ms, 0.0% of total-time

simplify44.2s (5.7%)

Algorithm
221×egg-herbie
Rules
109048×fma-def
81246×associate-*r*
76216×log-prod
67105×fma-neg
67067×associate-*l*
Stop Event
56×saturated
158×node limit
32×fuel
7×unsound
24×done
Counts
63276 → 56828
Compiler

Compiled 9316 to 5932 computations (36.3% saved)

rewrite33.7s (4.4%)

Algorithm
165×batch-egg-rewrite
Rules
96024×log1p-expm1-u
76927×expm1-log1p-u
53104×expm1-udef
50384×log-prod
50006×prod-diff
Stop Event
158×node limit
7×unsound
Counts
1243 → 40562

regimes23.0s (3%)

Counts
5097 → 733
Calls

130 calls:

2.9s
y.re
2.4s
y.im
2.0s
re
2.0s
x.im
1.7s
x
Compiler

Compiled 5660 to 3769 computations (33.4% saved)

prune19.0s (2.5%)

Counts
78965 → 2627
Compiler

Compiled 113421 to 78198 computations (31.1% saved)

bsearch17.2s (2.2%)

Algorithm
339×binary-search
43×left-value
Stop Event
4×predicate-same
335×narrow-enough
Results
10.8s30797×256valid
2.6s5625×256infinite
1.6s1362×512infinite
526.0ms591×2048valid
535.0ms570×1024valid
324.0ms444×512valid
118.0ms112×4096valid
95.0ms51×1024infinite
Compiler

Compiled 69085 to 48465 computations (29.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
Operation ival-mult, time spent: 2.7s, 30.0% of total-time
Operation ival-add, time spent: 1.7s, 19.0% of total-time
Operation ival-log, time spent: 780.0ms, 8.0% of total-time
Operation const, time spent: 670.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 606.0ms, 7.0% of total-time
Operation ival-exp, time spent: 587.0ms, 6.0% of total-time
Operation ival-sub, time spent: 567.0ms, 6.0% of total-time
Operation ival-sin, time spent: 548.0ms, 6.0% of total-time
Operation ival-div, time spent: 423.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 285.0ms, 3.0% of total-time
Operation ival-cos, time spent: 178.0ms, 2.0% of total-time
Operation ival-asin, time spent: 49.0ms, 1.0% of total-time
Operation ival-neg, time spent: 32.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 21.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 17.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time

series9.3s (1.2%)

Counts
1243 → 22714
Calls

6354 calls:

TimeVariablePointExpression
193.0ms
x.re
@0
(sin.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (/.f64 -1 x.im)))))
180.0ms
base
@0
(exp.f64 (neg.f64 (log.f64 (log.f64 base))))
136.0ms
re
@0
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 base)))))
113.0ms
y.re
@0
(fma.f64 (/.f64 1 y.im) (*.f64 (/.f64 x.im y.im) y.re) (neg.f64 (/.f64 x.re y.im)))
106.0ms
y.im
@-inf
(*.f64 (/.f64 y.re (hypot.f64 y.im y.re)) (/.f64 x.im y.im))

analyze7.4s (1%)

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 1007 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.7s
Operation ival-mult, time spent: 944.0ms, 20.0% of total-time
Operation ival-log, time spent: 914.0ms, 19.0% of total-time
Operation ival-add, time spent: 604.0ms, 13.0% of total-time
Operation ival-sub, time spent: 503.0ms, 11.0% of total-time
Operation ival-div, time spent: 431.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 381.0ms, 8.0% of total-time
Operation ival-atan2, time spent: 228.0ms, 5.0% of total-time
Operation const, time spent: 222.0ms, 5.0% of total-time
Operation ival-sin, time spent: 120.0ms, 3.0% of total-time
Operation ival-exp, time spent: 86.0ms, 2.0% of total-time
Operation ival-pow, time spent: 82.0ms, 2.0% of total-time
Operation ival-neg, time spent: 77.0ms, 2.0% of total-time
Operation ival-cos, time spent: 51.0ms, 1.0% of total-time
Operation ival-pi, time spent: 21.0ms, 0.0% of total-time
Operation ival->, time spent: 16.0ms, 0.0% of total-time
Operation ival-<=, time spent: 16.0ms, 0.0% of total-time
Operation ival-and, time spent: 4.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 3.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time

end13.0ms (0%)

Profiling

Loading profile data...