Herbie run

Date:Monday, March 18th, 2024
Commit:487b55ff on zane-regimes-inverted
Hostname:nightly with Racket 8.11.1
Seed:2024078
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: 36.1min)

sample7.2min (20%)

Results
5.0min1823165×256valid
1.0min341101×256infinite
13.9s64420×256invalid
14.7s30576×512valid
10.0s19118×1024valid
2.6s5013×2048valid
1.7s1600×8192exit
348.0ms1140×512infinite
340.0ms746×1024infinite
295.0ms684×1024invalid
122.0ms581×512invalid
2.0ms5×4096valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
Operation ival-mult, time spent: 52.5s, 35.0% of total-time
Operation ival-sub, time spent: 22.7s, 15.0% of total-time
Operation ival-add, time spent: 22.0s, 14.0% of total-time
Operation ival-div, time spent: 21.6s, 14.0% of total-time
Operation ival-log, time spent: 10.8s, 7.0% of total-time
Operation ival-sqrt, time spent: 5.4s, 4.0% of total-time
Operation ival-sin, time spent: 5.1s, 3.0% of total-time
Operation const, time spent: 4.3s, 3.0% of total-time
Operation ival-cos, time spent: 3.7s, 2.0% of total-time
Operation ival-exp, time spent: 1.6s, 1.0% of total-time
Operation ival-tanh, time spent: 575.0ms, 0.0% of total-time
Operation ival-tan, time spent: 348.0ms, 0.0% of total-time
Operation ival-acos, time spent: 311.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 310.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 296.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 211.0ms, 0.0% of total-time
Bogosity

localize4.4min (12%)

Compiler

Compiled 114405 to 49823 computations (56.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4min
Operation ival-mult, time spent: 38.2s, 26.0% of total-time
Operation ival-pow, time spent: 18.5s, 13.0% of total-time
Operation ival-div, time spent: 18.2s, 13.0% of total-time
Operation ival-add, time spent: 17.1s, 12.0% of total-time
Operation composed, time spent: 12.1s, 8.0% of total-time
Operation ival-sub, time spent: 9.6s, 7.0% of total-time
Operation ival-log, time spent: 7.0s, 5.0% of total-time
Operation ival-sqrt, time spent: 6.4s, 4.0% of total-time
Operation ival-cos, time spent: 6.1s, 4.0% of total-time
Operation const, time spent: 3.4s, 2.0% of total-time
Operation ival-exp, time spent: 2.7s, 2.0% of total-time
Operation ival-sin, time spent: 2.7s, 2.0% of total-time
Operation ival-cbrt, time spent: 1.2s, 1.0% of total-time
Operation ival-neg, time spent: 823.0ms, 1.0% of total-time
Operation ival-tan, time spent: 233.0ms, 0.0% of total-time
Operation ival-acos, time spent: 77.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 50.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 31.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 11.0ms, 0.0% of total-time
Operation ival-e, time spent: 6.0ms, 0.0% of total-time

simplify4.3min (11.8%)

Algorithm
1088×egg-herbie
Rules
299047×fma-define
240549×fma-neg
209031×associate-*r*
205615×*-commutative
205388×distribute-lft-in
Stop Event
268×saturated
815×node limit
143×fuel
5×unsound
126×done
Counts
378820 → 324768
Compiler

Compiled 65247 to 39858 computations (38.9% saved)

soundness3.5min (9.7%)

Rules
256499×fma-define
228431×fma-neg
179854×log1p-expm1-u
151464×associate-*r*
141980×distribute-lft-in
Stop Event
86×saturated
733×node limit
3×unsound
Compiler

Compiled 100803 to 54846 computations (45.6% saved)

eval3.4min (9.3%)

Compiler

Compiled 9298829 to 4920335 computations (47.1% saved)

regimes3.3min (9.3%)

Counts
35610 → 5582
Calls

491 calls:

31.1s
x
30.9s
y
28.8s
z
20.3s
t
14.6s
a
Compiler

Compiled 44999 to 35675 computations (20.7% saved)

rewrite2.9min (8%)

Algorithm
819×batch-egg-rewrite
Rules
570216×log1p-expm1-u
421797×expm1-log1p-u
160854×pow1
152647×add-exp-log
146498×add-log-exp
Stop Event
818×node limit
1×unsound
Counts
5796 → 209143

preprocess2.1min (5.8%)

Algorithm
269×egg-herbie
Rules
137764×fma-neg
117084×fma-define
57352×unsub-neg
50425×sub-neg
47106×distribute-rgt-in
Stop Event
153×saturated
116×node limit
Compiler

Compiled 197209 to 99008 computations (49.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.6s
Operation ival-mult, time spent: 6.1s, 33.0% of total-time
Operation ival-sub, time spent: 3.0s, 16.0% of total-time
Operation ival-add, time spent: 2.9s, 16.0% of total-time
Operation ival-log, time spent: 2.2s, 12.0% of total-time
Operation ival-div, time spent: 2.2s, 12.0% of total-time
Operation const, time spent: 591.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 497.0ms, 3.0% of total-time
Operation ival-sin, time spent: 420.0ms, 2.0% of total-time
Operation ival-cos, time spent: 365.0ms, 2.0% of total-time
Operation ival-exp, time spent: 161.0ms, 1.0% of total-time
Operation ival-tan, time spent: 85.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 14.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 11.0ms, 0.0% of total-time
Operation ival-acos, time spent: 11.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 10.0ms, 0.0% of total-time

bsearch2.0min (5.4%)

Algorithm
3292×binary-search
277×left-value
Stop Event
45×predicate-same
3247×narrow-enough
Results
1.1min309207×256valid
32.3s84998×256infinite
579.0ms4726×256invalid
1.3s3890×512valid
1.2s2459×1024valid
114.0ms189×2048valid
46.0ms133×512infinite
57.0ms96×1024infinite
4.0ms16×512invalid
7.0ms15×1024invalid
2.0ms4×4096valid
Compiler

Compiled 770383 to 575330 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 45.9s
Operation ival-mult, time spent: 21.2s, 46.0% of total-time
Operation ival-sub, time spent: 9.9s, 22.0% of total-time
Operation ival-add, time spent: 5.6s, 12.0% of total-time
Operation ival-div, time spent: 4.2s, 9.0% of total-time
Operation ival-log, time spent: 1.8s, 4.0% of total-time
Operation ival-sqrt, time spent: 763.0ms, 2.0% of total-time
Operation const, time spent: 754.0ms, 2.0% of total-time
Operation ival-sin, time spent: 704.0ms, 2.0% of total-time
Operation ival-cos, time spent: 506.0ms, 1.0% of total-time
Operation ival-exp, time spent: 358.0ms, 1.0% of total-time
Operation ival-tanh, time spent: 23.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 12.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 3.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 0.0ms, 0.0% of total-time

prune2.0min (5.4%)

Counts
404749 → 13420
Compiler

Compiled 454392 to 306548 computations (32.5% saved)

series47.7s (2.2%)

Counts
5796 → 169677
Calls

41739 calls:

TimeVariablePointExpression
226.0ms
x
@-inf
(* (pow (* x y) 1/4) (sqrt (* x y)))
225.0ms
a
@0
(/ (* a z) (- -1 t))
170.0ms
x
@0
(log (/ (cbrt x) y))
162.0ms
x
@0
(* x (log y))
146.0ms
x
@0
(* (pow x 1/4) y)

analyze21.1s (1%)

Algorithm
269×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
46.5%46.4%53.4%0.1%0%0%0%1
50.1%49.7%49.5%0.1%0%0.6%0%2
58.6%57%40.3%0.1%0%2.6%0%3
65.2%62.7%33.5%0.1%0%3.6%0%4
71.3%68.3%27.5%0.1%0%4.1%0%5
75.9%72.4%22.9%0.1%0%4.6%0%6
80%75.7%19%0.1%0%5.1%0%7
81.8%77.1%17.1%0.1%0%5.6%0%8
84.5%79.4%14.6%0.1%0%5.9%0%9
86.1%80.6%13.1%0.1%0%6.2%0%10
88.6%83%10.6%0.1%0%6.2%0%11
89.7%83.7%9.6%0.1%0%6.5%0%12
Compiler

Compiled 4012 to 2763 computations (31.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.8s
Operation ival-mult, time spent: 3.5s, 36.0% of total-time
Operation ival-sub, time spent: 1.9s, 19.0% of total-time
Operation ival-div, time spent: 1.6s, 16.0% of total-time
Operation ival-add, time spent: 1.4s, 14.0% of total-time
Operation ival-log, time spent: 272.0ms, 3.0% of total-time
Operation ival-sin, time spent: 247.0ms, 3.0% of total-time
Operation ival-exp, time spent: 245.0ms, 2.0% of total-time
Operation const, time spent: 243.0ms, 2.0% of total-time
Operation ival-sqrt, time spent: 227.0ms, 2.0% of total-time
Operation ival-cos, time spent: 91.0ms, 1.0% of total-time
Operation ival-tan, time spent: 57.0ms, 1.0% of total-time
Operation ival-acos, time spent: 24.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 16.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 4.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 3.0ms, 0.0% of total-time

end124.0ms (0%)

Profiling

Loading profile data...