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: 5.8min)

sample2.6min (44.8%)

Results
23.6s140863×0precondition
32.9s118578×1valid
6.5s65255×0valid
37.1s45164×2valid
26.3s7047×5exit
625.0ms4188×0unsamplable
406.0ms4014×0invalid
2.2s2171×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.8min
ival-pow: 24.3s (22.1% of total)
ival-tan: 11.4s (10.4% of total)
ival-exp: 10.5s (9.6% of total)
backward-pass: 8.7s (7.9% of total)
ival-mult: 8.5s (7.7% of total)
ival-sub: 7.5s (6.8% of total)
ival-log: 5.3s (4.8% of total)
ival-div: 5.2s (4.7% of total)
ival-cos: 4.7s (4.3% of total)
ival-add: 4.7s (4.2% of total)
ival-<=: 4.4s (4% of total)
ival-sin: 3.4s (3.1% of total)
ival-fabs: 3.1s (2.8% of total)
ival-<: 2.0s (1.8% of total)
ival-sqrt: 1.5s (1.3% of total)
const: 1.2s (1.1% of total)
ival->: 917.0ms (0.8% of total)
ival-and: 835.0ms (0.8% of total)
ival-fmin: 673.0ms (0.6% of total)
ival-neg: 506.0ms (0.5% of total)
ival-atan: 371.0ms (0.3% of total)
ival-cbrt: 318.0ms (0.3% of total)
Bogosity

localize1.1min (19.8%)

Results
8.3s12656×256valid
12.7s3686×1024valid
14.1s3456×2048valid
4.2s1974×512valid
1.3s1759×256invalid
15.5s652×8192exit
971.0ms205×4096valid
257.0ms96×256unsamplable
164.0ms46×1024invalid
53.0ms30×512invalid
70.0ms16×2048invalid
Compiler

Compiled 15484 to 9058 computations (41.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 54.5s
ival-pow: 18.0s (33% of total)
ival-mult: 6.5s (12% of total)
ival-exp: 5.5s (10.1% of total)
<compiled-spec>: 5.1s (9.4% of total)
ival-div: 4.5s (8.3% of total)
ival-add: 3.2s (5.8% of total)
ival-log: 2.8s (5.1% of total)
ival-sub: 2.3s (4.2% of total)
ival-sin: 2.0s (3.6% of total)
ival-sqrt: 1.1s (2% of total)
ival-cos: 997.0ms (1.8% of total)
const: 893.0ms (1.6% of total)
ival-cbrt: 868.0ms (1.6% of total)
ival-tan: 442.0ms (0.8% of total)
ival-cosh: 144.0ms (0.3% of total)
ival-neg: 125.0ms (0.2% of total)
ival-atan2: 43.0ms (0.1% of total)
ival-atan: 22.0ms (0% of total)

simplify23.7s (6.9%)

Algorithm
120×egg-herbie
Rules
30819×fma-define
28669×fma-neg
26905×associate-*r*
24456×distribute-lft-in
23950×*-commutative
Stop Event
28×saturated
92×node limit
Counts
36771 → 39273

soundness22.0s (6.4%)

Rules
30815×fma-define
28080×fma-neg
27546×log1p-expm1-u
25250×expm1-log1p-u
21476×associate-*r*
Stop Event
8×saturated
106×node limit
18×fuel
10×done
Compiler

Compiled 22128 to 13919 computations (37.1% saved)

eval20.8s (6%)

Compiler

Compiled 1380950 to 899306 computations (34.9% saved)

rewrite17.0s (4.9%)

Algorithm
92×batch-egg-rewrite
Rules
52819×log1p-expm1-u
44570×expm1-log1p-u
19377×pow1
18627×add-exp-log
18312×add-log-exp
Stop Event
92×node limit
Counts
706 → 24282

prune11.3s (3.3%)

Counts
53602 → 1722
Compiler

Compiled 57121 to 40561 computations (29% saved)

explain8.4s (2.4%)

Results
1.2s6000×256valid
2.4s3702×1024valid
2.5s2300×2048valid
670.0ms2190×512valid
129.0ms144×4096valid
Compiler

Compiled 2227 to 1192 computations (46.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.9s
ival-log: 818.0ms (16.5% of total)
ival-tan: 613.0ms (12.4% of total)
ival-exp: 581.0ms (11.7% of total)
ival-div: 565.0ms (11.4% of total)
ival-sub: 490.0ms (9.9% of total)
ival-pow: 381.0ms (7.7% of total)
ival-add: 337.0ms (6.8% of total)
ival-mult: 322.0ms (6.5% of total)
ival-sin: 274.0ms (5.5% of total)
ival-cos: 241.0ms (4.9% of total)
ival-sqrt: 133.0ms (2.7% of total)
const: 97.0ms (2% of total)
ival-atan: 34.0ms (0.7% of total)
ival-neg: 32.0ms (0.6% of total)
ival-cbrt: 31.0ms (0.6% of total)

preprocess4.8s (1.4%)

Algorithm
28×egg-herbie
Rules
8308×fma-neg
6663×fma-define
4279×div-sub
2669×sub-neg
2621×times-frac
Stop Event
23×saturated
5×node limit
Compiler

Compiled 8226 to 5240 computations (36.3% saved)

series4.7s (1.4%)

Counts
706 → 12489
Calls

3270 calls:

TimeVariablePointExpression
180.0ms
c
@0
(+ (* (/ -1/2 a) b) (* (/ -1/2 a) (sqrt (+ (* (sqrt (* a (* c -4))) (sqrt (* a (* c -4)))) (* b b)))))
166.0ms
c
@0
(- (exp (- (log (neg c)) (log b))) 1)
105.0ms
x
@-inf
(* eps (- 1/3 (+ (* -1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (* -1 (/ (pow (sin x) 4) (pow (cos x) 4))) (* -1/3 (/ (pow (sin x) 2) (pow (cos x) 2)))))))
78.0ms
b
@-inf
(- (* b (/ -1/2 a)) (* (sqrt (+ (* a (* c -4)) (pow b 2))) (/ 1/2 a)))
70.0ms
x
@0
(pow x (/ 1 n))

regimes3.4s (1%)

Counts
2880 → 258
Calls

43 calls:

688.0ms
x
334.0ms
b
318.0ms
c
265.0ms
(/.f64 #s(literal 1 binary64) n)
264.0ms
a
Compiler

Compiled 1522 to 1066 computations (30% saved)

analyze3.2s (0.9%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%61.1%38.9%0%0%0%0
16.7%10.2%50.9%38.9%0%0%0%1
24.7%15.1%46%38.9%0%0%0%2
40.4%23.6%34.8%41.6%0%0%0%3
48.7%28.4%29.9%41.7%0%0%0%4
56.1%32.3%25.3%42.4%0%0%0%5
58.2%33.1%23.8%43.1%0%0%0%6
62.1%34.2%20.9%44%0%0.8%0.1%7
65.2%35.6%19%44.5%0%0.8%0.1%8
67.6%36.3%17.4%44.9%0%1.2%0.3%9
69.6%36.7%16%45.2%0%1.7%0.3%10
72.1%37.7%14.6%45.4%0%1.9%0.4%11
73.3%38%13.8%45.6%0%2.2%0.4%12
Compiler

Compiled 498 to 351 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7s
ival-sub: 440.0ms (26% of total)
ival-mult: 227.0ms (13.4% of total)
ival-pow: 202.0ms (12% of total)
ival-log: 147.0ms (8.7% of total)
ival-div: 125.0ms (7.4% of total)
ival-<=: 76.0ms (4.5% of total)
ival-exp: 71.0ms (4.2% of total)
ival-add: 68.0ms (4% of total)
ival-sqrt: 62.0ms (3.7% of total)
ival-sin: 53.0ms (3.1% of total)
ival-fabs: 46.0ms (2.7% of total)
ival-tan: 37.0ms (2.2% of total)
const: 34.0ms (2% of total)
ival-neg: 29.0ms (1.7% of total)
ival-cos: 23.0ms (1.4% of total)
ival-and: 15.0ms (0.9% of total)
ival->: 13.0ms (0.8% of total)
ival-fmin: 11.0ms (0.7% of total)
ival-<: 9.0ms (0.5% of total)
ival-atan: 0.0ms (0% of total)
ival-cbrt: 0.0ms (0% of total)

bsearch2.8s (0.8%)

Algorithm
74×binary-search
16×left-value
Stop Event
1×predicate-same
73×narrow-enough
Results
591.0ms6294×0valid
630.0ms1797×1valid
405.0ms1370×0invalid
474.0ms501×2valid
9.0ms65×0unsamplable
Compiler

Compiled 12906 to 9613 computations (25.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-pow: 468.0ms (33.2% of total)
ival-exp: 186.0ms (13.2% of total)
ival-mult: 166.0ms (11.8% of total)
ival-div: 152.0ms (10.8% of total)
ival-sub: 110.0ms (7.8% of total)
ival-add: 93.0ms (6.6% of total)
backward-pass: 82.0ms (5.8% of total)
ival-sqrt: 69.0ms (4.9% of total)
ival-neg: 41.0ms (2.9% of total)
const: 22.0ms (1.6% of total)
ival-cos: 16.0ms (1.1% of total)
ival-cbrt: 6.0ms (0.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...