Herbie run

Date:Thursday, April 4th, 2024
Commit:9887997d on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024095
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: 1.5min)

localize20.4s (22.7%)

Compiler

Compiled 5912 to 3314 computations (43.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.1s
Operation ival-mult, time spent: 4.1s, 27.0% of total-time
Operation ival-pow, time spent: 3.0s, 20.0% of total-time
Operation composed, time spent: 2.0s, 13.0% of total-time
Operation ival-div, time spent: 1.4s, 10.0% of total-time
Operation ival-add, time spent: 1.4s, 9.0% of total-time
Operation ival-sqrt, time spent: 963.0ms, 6.0% of total-time
Operation ival-sub, time spent: 607.0ms, 4.0% of total-time
Operation ival-log, time spent: 422.0ms, 3.0% of total-time
Operation ival->=, time spent: 414.0ms, 3.0% of total-time
Operation const, time spent: 291.0ms, 2.0% of total-time
Operation ival-exp, time spent: 115.0ms, 1.0% of total-time
Operation ival-if, time spent: 113.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 97.0ms, 1.0% of total-time
Operation ival-neg, time spent: 48.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 36.0ms, 0.0% of total-time

eval16.5s (18.4%)

Compiler

Compiled 853733 to 586347 computations (31.3% saved)

sample16.4s (18.2%)

Results
11.2s63079×256valid
1.1s7082×256infinite
1.7s4143×2048valid
472.0ms1859×256invalid
Precisions
Click to see histograms. Total time spent on operations: 7.3s
Operation ival-mult, time spent: 2.2s, 31.0% of total-time
Operation ival-div, time spent: 1.3s, 18.0% of total-time
Operation ival-sub, time spent: 997.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 970.0ms, 13.0% of total-time
Operation ival-neg, time spent: 473.0ms, 7.0% of total-time
Operation ival->=, time spent: 258.0ms, 4.0% of total-time
Operation ival-add, time spent: 240.0ms, 3.0% of total-time
Operation ival-exp, time spent: 213.0ms, 3.0% of total-time
Operation const, time spent: 189.0ms, 3.0% of total-time
Operation ival-log, time spent: 152.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 134.0ms, 2.0% of total-time
Operation ival-if, time spent: 108.0ms, 1.0% of total-time
Bogosity

soundness9.0s (10.1%)

Rules
7858×fma-define
7813×fmm-def
7021×log1p-expm1-u
4700×times-frac
4563×distribute-lft-in
Stop Event
2×saturated
27×node limit
Compiler

Compiled 3772 to 2279 computations (39.6% saved)

prune6.4s (7.1%)

Counts
18781 → 319
Compiler

Compiled 16379 to 11174 computations (31.8% saved)

simplify6.2s (6.9%)

Algorithm
31×egg-herbie
Rules
8031×fma-define
6630×distribute-lft-in
6476×distribute-rgt-in
6384×*-commutative
6116×times-frac
Stop Event
9×saturated
4×fuel
22×node limit
5×done
Counts
8053 → 7763
Compiler

Compiled 1245 to 812 computations (34.8% saved)

preprocess5.9s (6.5%)

Algorithm
9×egg-herbie
Rules
3285×fmm-def
2845×fma-define
1495×times-frac
1467×div-sub
1176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3972 to 2279 computations (42.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-mult, time spent: 940.0ms, 44.0% of total-time
Operation ival-sub, time spent: 349.0ms, 16.0% of total-time
Operation ival->=, time spent: 188.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 188.0ms, 9.0% of total-time
Operation ival-div, time spent: 187.0ms, 9.0% of total-time
Operation ival-add, time spent: 162.0ms, 8.0% of total-time
Operation const, time spent: 47.0ms, 2.0% of total-time
Operation ival-neg, time spent: 26.0ms, 1.0% of total-time
Operation ival-if, time spent: 22.0ms, 1.0% of total-time
Operation ival-log, time spent: 17.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-exp, time spent: 5.0ms, 0.0% of total-time

rewrite4.0s (4.5%)

Algorithm
22×batch-egg-rewrite
Rules
14555×log1p-expm1-u
9224×expm1-log1p-u
5179×pow1
4953×add-exp-log
4312×add-log-exp
Stop Event
22×node limit
Counts
120 → 4876

series1.3s (1.5%)

Counts
120 → 3177
Calls

696 calls:

TimeVariablePointExpression
86.0ms
a
@-inf
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
73.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
67.0ms
c
@0
(cbrt (pow (* c (* a -4)) 3/4))
47.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
42.0ms
x
@-inf
(/ (+ 1/8 (/ 1/16 x)) x)

regimes1.3s (1.5%)

Counts
478 → 92
Calls

26 calls:

265.0ms
a
239.0ms
b
156.0ms
c
128.0ms
x
94.0ms
z
Compiler

Compiled 551 to 385 computations (30.1% saved)

bsearch1.2s (1.4%)

Algorithm
44×binary-search
Stop Event
7×predicate-same
37×narrow-enough
Results
870.0ms5054×256valid
92.0ms489×256invalid
71.0ms482×256infinite
Compiler

Compiled 12360 to 8774 computations (29% saved)

Precisions
Click to see histograms. Total time spent on operations: 492.0ms
Operation ival-mult, time spent: 166.0ms, 34.0% of total-time
Operation ival-div, time spent: 86.0ms, 17.0% of total-time
Operation ival-sub, time spent: 66.0ms, 13.0% of total-time
Operation ival-sqrt, time spent: 49.0ms, 10.0% of total-time
Operation ival-add, time spent: 38.0ms, 8.0% of total-time
Operation ival-neg, time spent: 22.0ms, 4.0% of total-time
Operation ival-if, time spent: 17.0ms, 3.0% of total-time
Operation ival->=, time spent: 17.0ms, 3.0% of total-time
Operation const, time spent: 16.0ms, 3.0% of total-time
Operation ival-fabs, time spent: 15.0ms, 3.0% of total-time

analyze1.1s (1.2%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 619.0ms
Operation ival-mult, time spent: 344.0ms, 56.0% of total-time
Operation ival-div, time spent: 72.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 66.0ms, 11.0% of total-time
Operation ival-sub, time spent: 47.0ms, 8.0% of total-time
Operation ival-add, time spent: 20.0ms, 3.0% of total-time
Operation ival->=, time spent: 20.0ms, 3.0% of total-time
Operation ival-neg, time spent: 17.0ms, 3.0% of total-time
Operation ival-if, time spent: 15.0ms, 2.0% of total-time
Operation const, time spent: 12.0ms, 2.0% of total-time
Operation ival-fabs, time spent: 6.0ms, 1.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time
Operation ival-log, time spent: 0.0ms, 0.0% of total-time

end1.0ms (0%)

Profiling

Loading profile data...