Herbie run

Date:Friday, April 5th, 2024
Commit:deef6326 on main
Hostname:nightly with Racket 8.11.1
Seed:2024096
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: 33.0min)

sample6.0min (18.1%)

Results
3.5min2149401×0valid
10.3s64698×0invalid
24.3s63178×1valid
3.2s7759×2valid
1.7s1671×5exit
371.0ms1550×1invalid
147.0ms521×3valid
2.0ms5×4valid
Precisions
Click to see histograms. Total time spent on operations: 2.5min
ival-mult: 52.8s (34.7% of total)
ival-add: 23.7s (15.6% of total)
ival-sub: 23.2s (15.2% of total)
ival-div: 19.3s (12.7% of total)
ival-log: 8.2s (5.4% of total)
ival-sqrt: 5.5s (3.6% of total)
backward-pass: 4.9s (3.2% of total)
ival-sin: 4.8s (3.2% of total)
const: 3.5s (2.3% of total)
ival-cos: 3.1s (2% of total)
ival-exp: 1.6s (1.1% of total)
ival-cosh: 372.0ms (0.2% of total)
ival-tan: 368.0ms (0.2% of total)
ival-fabs: 291.0ms (0.2% of total)
ival-sinh: 235.0ms (0.2% of total)
ival-acos: 188.0ms (0.1% of total)
ival-tanh: 161.0ms (0.1% of total)
Bogosity

simplify4.5min (13.6%)

Algorithm
1097×egg-herbie
Rules
297463×fma-define
242242×fma-neg
213238×*-commutative
212467×distribute-lft-in
210310×associate-*r*
Stop Event
271×saturated
820×node limit
6×unsound
Counts
385583 → 325650

localize4.2min (12.8%)

Results
1.7min206680×256valid
7.0s8737×256invalid
19.6s4796×1024valid
40.4s2770×8192exit
6.8s2725×512valid
17.2s1994×2048valid
188.0ms365×256unsamplable
485.0ms26×4096valid
30.0ms2×1024invalid
7.0ms1×512invalid
Compiler

Compiled 118551 to 51891 computations (56.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6min
ival-mult: 40.6s (26.1% of total)
ival-pow: 21.3s (13.8% of total)
ival-div: 19.0s (12.2% of total)
ival-add: 16.0s (10.3% of total)
<compiled-spec>: 10.4s (6.7% of total)
ival-sub: 9.3s (6% of total)
ival-cos: 8.7s (5.6% of total)
ival-log: 8.6s (5.5% of total)
ival-sqrt: 6.6s (4.2% of total)
ival-sin: 6.4s (4.1% of total)
const: 2.9s (1.9% of total)
ival-exp: 2.5s (1.6% of total)
ival-cbrt: 1.6s (1% of total)
ival-neg: 519.0ms (0.3% of total)
ival-tan: 371.0ms (0.2% of total)
ival-acos: 63.0ms (0% of total)
ival-fabs: 49.0ms (0% of total)
ival-sinh: 22.0ms (0% of total)
ival-cosh: 20.0ms (0% of total)
ival-tanh: 12.0ms (0% of total)
ival-e: 6.0ms (0% of total)

soundness3.7min (11.2%)

Rules
261382×fma-define
227749×fma-neg
178924×log1p-expm1-u
155811×associate-*r*
154312×distribute-lft-in
Stop Event
85×saturated
774×node limit
149×fuel
5×unsound
120×done
Compiler

Compiled 162251 to 84168 computations (48.1% saved)

rewrite3.0min (9%)

Algorithm
828×batch-egg-rewrite
Rules
580428×log1p-expm1-u
418616×expm1-log1p-u
164118×pow1
154916×add-exp-log
148941×add-log-exp
Stop Event
1×saturated
823×node limit
4×unsound
Counts
5952 → 213057

regimes2.4min (7.4%)

Counts
35638 → 5677
Calls

492 calls:

23.1s
y
22.6s
z
21.2s
x
14.9s
t
11.1s
a
Compiler

Compiled 45318 to 35784 computations (21% saved)

eval2.4min (7.2%)

Compiler

Compiled 9278355 to 4843268 computations (47.8% saved)

prune2.0min (6.1%)

Counts
398531 → 13317
Compiler

Compiled 444812 to 301306 computations (32.3% saved)

bsearch1.6min (5%)

Algorithm
3248×binary-search
356×left-value
Stop Event
44×predicate-same
3204×narrow-enough
Results
1.0min393570×0valid
981.0ms10555×0invalid
4.1s8557×1valid
291.0ms775×2valid
15.0ms50×1invalid
4.0ms10×3valid
Compiler

Compiled 737631 to 550716 computations (25.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 41.5s
ival-mult: 18.5s (44.6% of total)
ival-sub: 8.7s (20.9% of total)
ival-add: 5.6s (13.6% of total)
ival-div: 3.7s (9% of total)
ival-log: 1.6s (3.9% of total)
backward-pass: 720.0ms (1.7% of total)
ival-sqrt: 714.0ms (1.7% of total)
const: 637.0ms (1.5% of total)
ival-sin: 445.0ms (1.1% of total)
ival-cos: 430.0ms (1% of total)
ival-exp: 372.0ms (0.9% of total)
ival-tanh: 18.0ms (0% of total)
ival-sinh: 7.0ms (0% of total)
ival-cosh: 5.0ms (0% of total)
ival-fabs: 2.0ms (0% of total)

preprocess1.2min (3.6%)

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 163478 to 82266 computations (49.7% saved)

series53.5s (2.7%)

Counts
5952 → 172526
Calls

42066 calls:

TimeVariablePointExpression
279.0ms
y
@-inf
(sin (pow (cbrt (* x (/ -1/2 y))) 3))
271.0ms
a
@-inf
(/ z (sqrt (- (* z z) (* t a))))
244.0ms
y
@inf
(cbrt (/ t (log (+ 1 (* y (- (exp z) 1))))))
230.0ms
x
@0
(sqrt (sqrt x))
203.0ms
x
@inf
(/ (+ (* (- (* (+ y 7936500793651/10000000000000000) z) 13888888888889/5000000000000000) z) 83333333333333/1000000000000000) x)

explain45.8s (2.3%)

Results
23.0s131682×256valid
4.6s3036×1024valid
1.4s1814×512valid
2.3s1186×2048valid
16.0ms8×8192exit
3.0ms2×4096valid
Compiler

Compiled 26361 to 12514 computations (52.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.6s
ival-mult: 6.0s (32.3% of total)
ival-add: 2.8s (15.2% of total)
ival-sub: 2.8s (14.8% of total)
ival-log: 2.7s (14.7% of total)
ival-div: 1.8s (9.6% of total)
ival-cos: 578.0ms (3.1% of total)
ival-sin: 510.0ms (2.7% of total)
ival-sqrt: 474.0ms (2.5% of total)
const: 468.0ms (2.5% of total)
ival-exp: 337.0ms (1.8% of total)
ival-tan: 57.0ms (0.3% of total)
ival-cosh: 13.0ms (0.1% of total)
ival-fabs: 13.0ms (0.1% of total)
ival-acos: 13.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-tanh: 10.0ms (0.1% of total)

analyze21.1s (1.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.2%68.2%27.5%0.1%0%4.1%0%5
75.9%72.3%23%0.1%0%4.6%0%6
79.8%75.6%19.1%0.1%0%5.1%0%7
81.7%77%17.2%0.1%0%5.6%0%8
84.4%79.3%14.7%0.1%0%5.9%0%9
86%80.5%13.1%0.1%0%6.2%0%10
88.5%82.9%10.7%0.1%0%6.2%0%11
89.6%83.7%9.7%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.1s
ival-mult: 3.3s (36% of total)
ival-div: 1.7s (18.5% of total)
ival-add: 1.3s (14.5% of total)
ival-sub: 1.2s (13.4% of total)
ival-log: 449.0ms (4.9% of total)
ival-sqrt: 371.0ms (4.1% of total)
ival-exp: 168.0ms (1.8% of total)
const: 168.0ms (1.8% of total)
ival-cosh: 165.0ms (1.8% of total)
ival-sin: 140.0ms (1.5% of total)
ival-cos: 74.0ms (0.8% of total)
ival-acos: 24.0ms (0.3% of total)
ival-tan: 23.0ms (0.3% of total)
ival-tanh: 8.0ms (0.1% of total)
ival-sinh: 4.0ms (0% of total)
ival-fabs: 3.0ms (0% of total)

end1.0ms (0%)

Profiling

Loading profile data...