Herbie run

Date:Sunday, April 21st, 2024
Commit:fa400dbf on varun10p-platforms
Hostname:nightly with Racket 8.11.1
Seed:2024112
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: 4.5min)

localize1.3min (28.2%)

Compiler

Compiled 11125 to 5141 computations (53.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
Operation ival-asin, time spent: 18.6s, 28.0% of total-time
Operation ival-pow, time spent: 10.6s, 16.0% of total-time
Operation composed, time spent: 5.4s, 8.0% of total-time
Operation ival-log, time spent: 5.2s, 8.0% of total-time
Operation ival-exp, time spent: 4.9s, 7.0% of total-time
Operation ival-mult, time spent: 4.3s, 7.0% of total-time
Operation ival-acos, time spent: 3.7s, 6.0% of total-time
Operation ival-sub, time spent: 2.5s, 4.0% of total-time
Operation ival-cos, time spent: 2.2s, 3.0% of total-time
Operation ival-add, time spent: 1.7s, 3.0% of total-time
Operation ival-div, time spent: 1.6s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.4s, 2.0% of total-time
Operation ival-sin, time spent: 1.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 869.0ms, 1.0% of total-time
Operation const, time spent: 721.0ms, 1.0% of total-time
Operation ival-neg, time spent: 354.0ms, 1.0% of total-time
Operation ival-tan, time spent: 167.0ms, 0.0% of total-time
Operation ival-e, time spent: 131.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 121.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 108.0ms, 0.0% of total-time
Operation ival-pi, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

sample1.2min (27.2%)

Results
17.2s115842×256valid
8.8s23545×512valid
30.6s16546×8192exit
6.9s15977×1024valid
1.1s5019×256infinite
4.7s4735×2048valid
536.0ms4038×256invalid
223.0ms1327×256unsamplable
1.0ms2×512infinite
Precisions
Click to see histograms. Total time spent on operations: 48.1s
Operation ival-pow, time spent: 13.0s, 27.0% of total-time
Operation ival-exp, time spent: 7.8s, 16.0% of total-time
Operation ival-log, time spent: 6.0s, 12.0% of total-time
Operation ival-cos, time spent: 3.5s, 7.0% of total-time
Operation ival-mult, time spent: 2.2s, 5.0% of total-time
Operation ival-sinh, time spent: 2.2s, 5.0% of total-time
Operation ival-<=, time spent: 1.6s, 3.0% of total-time
Operation ival-sin, time spent: 1.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.4s, 3.0% of total-time
Operation ival-div, time spent: 1.4s, 3.0% of total-time
Operation ival-sub, time spent: 1.1s, 2.0% of total-time
Operation ival-tan, time spent: 1.1s, 2.0% of total-time
Operation ival-fmod, time spent: 999.0ms, 2.0% of total-time
Operation ival-acos, time spent: 987.0ms, 2.0% of total-time
Operation ival-add, time spent: 952.0ms, 2.0% of total-time
Operation ival-neg, time spent: 694.0ms, 1.0% of total-time
Operation const, time spent: 558.0ms, 1.0% of total-time
Operation ival-==, time spent: 284.0ms, 1.0% of total-time
Operation ival-and, time spent: 224.0ms, 0.0% of total-time
Operation ival-<, time spent: 198.0ms, 0.0% of total-time
Operation ival-atan, time spent: 92.0ms, 0.0% of total-time
Operation ival-or, time spent: 89.0ms, 0.0% of total-time
Operation ival->=, time spent: 49.0ms, 0.0% of total-time
Operation ival->, time spent: 33.0ms, 0.0% of total-time
Bogosity

eval21.4s (7.9%)

Compiler

Compiled 1134152 to 570074 computations (49.7% saved)

simplify20.7s (7.6%)

Algorithm
85×egg-herbie
Rules
25587×fma-define
21469×fmm-def
16468×distribute-lft-in
16455×associate-*r*
16102×*-commutative
Stop Event
20×saturated
61×node limit
13×fuel
4×unsound
7×done
Counts
27833 → 23253
Compiler

Compiled 2168 to 1453 computations (33% saved)

soundness17.8s (6.6%)

Rules
16820×fma-define
15239×log1p-expm1-u
13429×associate-*r*
12444×fmm-def
11830×expm1-log1p-u
Stop Event
6×saturated
61×node limit
1×unsound
Compiler

Compiled 12483 to 6186 computations (50.4% saved)

analyze17.1s (6.3%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71.1%51.1%20.8%26.3%0%1.6%0.2%7
72.1%51.6%20%26.3%0%1.8%0.4%8
74.4%53%18.2%26.3%0%2%0.4%9
75.8%53.9%17.2%26.3%0%2.1%0.5%10
76.6%54.3%16.6%26.3%0%2.3%0.5%11
77.3%54.8%16.1%26.3%0%2.3%0.5%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.3s
Operation ival-<=, time spent: 3.6s, 39.0% of total-time
Operation ival-tan, time spent: 1.9s, 20.0% of total-time
Operation ival-add, time spent: 1.1s, 12.0% of total-time
Operation ival-sub, time spent: 488.0ms, 5.0% of total-time
Operation ival-and, time spent: 401.0ms, 4.0% of total-time
Operation ival-==, time spent: 394.0ms, 4.0% of total-time
Operation const, time spent: 330.0ms, 4.0% of total-time
Operation ival-cos, time spent: 218.0ms, 2.0% of total-time
Operation ival-or, time spent: 198.0ms, 2.0% of total-time
Operation ival-mult, time spent: 129.0ms, 1.0% of total-time
Operation ival-pow, time spent: 122.0ms, 1.0% of total-time
Operation ival-sin, time spent: 108.0ms, 1.0% of total-time
Operation ival-exp, time spent: 90.0ms, 1.0% of total-time
Operation ival-div, time spent: 56.0ms, 1.0% of total-time
Operation ival-fmod, time spent: 47.0ms, 1.0% of total-time
Operation ival-<, time spent: 24.0ms, 0.0% of total-time
Operation ival-log, time spent: 23.0ms, 0.0% of total-time
Operation ival-neg, time spent: 21.0ms, 0.0% of total-time
Operation ival-sqrt, time spent: 19.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 15.0ms, 0.0% of total-time
Operation ival->, time spent: 3.0ms, 0.0% of total-time
Operation ival-atan, time spent: 1.0ms, 0.0% of total-time
Operation ival->=, time spent: 1.0ms, 0.0% of total-time
Operation ival-acos, time spent: 0.0ms, 0.0% of total-time

rewrite13.2s (4.9%)

Algorithm
65×batch-egg-rewrite
Rules
35066×log1p-expm1-u
29579×expm1-log1p-u
15126×pow1
14067×add-exp-log
13612×add-log-exp
Stop Event
65×node limit
Counts
502 → 18424

prune10.4s (3.8%)

Counts
42342 → 1957
Compiler

Compiled 73059 to 45674 computations (37.5% saved)

regimes7.9s (2.9%)

Counts
4266 → 167
Calls

55 calls:

956.0ms
a
768.0ms
b
675.0ms
x
631.0ms
r
622.0ms
(+.f64 y z)
Compiler

Compiled 2026 to 1445 computations (28.7% saved)

preprocess7.2s (2.6%)

Algorithm
20×egg-herbie
Rules
5179×fmm-def
5054×fma-define
1627×distribute-rgt-in
1585×distribute-lft-in
1517×unsub-neg
Stop Event
18×saturated
2×node limit
Compiler

Compiled 11839 to 6946 computations (41.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
Operation ival-cos, time spent: 204.0ms, 15.0% of total-time
Operation ival-mult, time spent: 203.0ms, 15.0% of total-time
Operation ival-log, time spent: 168.0ms, 12.0% of total-time
Operation ival-pow, time spent: 137.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 105.0ms, 8.0% of total-time
Operation ival-sin, time spent: 87.0ms, 6.0% of total-time
Operation ival-sub, time spent: 72.0ms, 5.0% of total-time
Operation ival-add, time spent: 72.0ms, 5.0% of total-time
Operation ival-sinh, time spent: 65.0ms, 5.0% of total-time
Operation ival-exp, time spent: 63.0ms, 5.0% of total-time
Operation ival-div, time spent: 47.0ms, 3.0% of total-time
Operation ival-fmod, time spent: 41.0ms, 3.0% of total-time
Operation ival-tan, time spent: 41.0ms, 3.0% of total-time
Operation ival-acos, time spent: 33.0ms, 2.0% of total-time
Operation const, time spent: 31.0ms, 2.0% of total-time
Operation ival-neg, time spent: 10.0ms, 1.0% of total-time
Operation ival-atan, time spent: 4.0ms, 0.0% of total-time

series3.8s (1.4%)

Counts
502 → 9409
Calls

2172 calls:

TimeVariablePointExpression
128.0ms
x
@0
(* (pow 2 1/4) x)
86.0ms
b
@inf
(log (* (sin b) r))
81.0ms
lo
@0
(pow (/ (+ x (+ (* hi (/ (+ x hi) lo)) hi)) lo) 2)
80.0ms
x
@0
(* (pow 2 1/8) (* (pow 2 1/8) (* (pow 2 1/4) x)))
78.0ms
r
@-inf
(log (* (sin b) r))

bsearch1.4s (0.5%)

Algorithm
41×binary-search
3×left-value
Stop Event
41×narrow-enough
Results
530.0ms3155×256valid
692.0ms1786×512valid
11.0ms67×256infinite
Compiler

Compiled 7099 to 5121 computations (27.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 613.0ms
Operation ival-sin, time spent: 256.0ms, 42.0% of total-time
Operation ival-cos, time spent: 183.0ms, 30.0% of total-time
Operation ival-mult, time spent: 64.0ms, 10.0% of total-time
Operation ival-div, time spent: 45.0ms, 7.0% of total-time
Operation ival-add, time spent: 43.0ms, 7.0% of total-time
Operation const, time spent: 8.0ms, 1.0% of total-time
Operation ival-acos, time spent: 7.0ms, 1.0% of total-time
Operation ival-pow, time spent: 5.0ms, 1.0% of total-time
Operation ival-sub, time spent: 2.0ms, 0.0% of total-time

end3.0ms (0%)

Profiling

Loading profile data...