Herbie run

Date:Monday, April 15th, 2024
Commit:9276f361 on zane-regimes-bug-fix
Hostname:nightly with Racket 8.11.1
Seed:2024106
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.1min)

localize14.8s (22.8%)

Results
2.8s4562×0valid
2.1s822×0invalid
2.6s479×1valid
2.7s283×2valid
582.0ms174×5exit
1.1s52×3valid
90.0ms16×1invalid
98.0ms12×2invalid
Compiler

Compiled 6340 to 3580 computations (43.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.6s
ival-mult: 2.3s (23.7% of total)
ival-pow: 1.7s (17.8% of total)
ival-fma: 1.3s (13.2% of total)
ival-div: 1.0s (11% of total)
backward-pass: 912.0ms (9.5% of total)
ival-add: 592.0ms (6.2% of total)
ival-sqrt: 559.0ms (5.8% of total)
ival-sub: 476.0ms (5% of total)
ival-log: 192.0ms (2% of total)
const: 188.0ms (2% of total)
ival-exp: 108.0ms (1.1% of total)
ival-if: 100.0ms (1% of total)
ival->=: 88.0ms (0.9% of total)
ival-fabs: 30.0ms (0.3% of total)
ival-cbrt: 25.0ms (0.3% of total)
ival-neg: 22.0ms (0.2% of total)
ival-log1p: 3.0ms (0% of total)
ival-expm1: 2.0ms (0% of total)

sample13.0s (20%)

Results
7.7s70240×0valid
1.3s4058×2valid
448.0ms1976×0invalid
1.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.7s
ival-mult: 2.0s (29.7% of total)
ival-div: 1.3s (19.9% of total)
ival-sub: 986.0ms (14.7% of total)
ival-sqrt: 608.0ms (9.1% of total)
ival-if: 372.0ms (5.6% of total)
ival-neg: 341.0ms (5.1% of total)
ival-add: 308.0ms (4.6% of total)
ival->=: 169.0ms (2.5% of total)
backward-pass: 145.0ms (2.2% of total)
const: 138.0ms (2.1% of total)
ival-log: 118.0ms (1.8% of total)
ival-fabs: 117.0ms (1.7% of total)
ival-exp: 77.0ms (1.1% of total)
Bogosity

eval9.8s (15.1%)

Compiler

Compiled 801979 to 543444 computations (32.2% saved)

simplify5.8s (9%)

Algorithm
30×egg-herbie
Rules
7590×fma-define
6918×distribute-lft-in
6333×*-commutative
5982×associate-*r*
5930×distribute-rgt-in
Stop Event
8×saturated
21×node limit
1×unsound
Counts
7658 → 8055

prune5.3s (8.2%)

Counts
17168 → 289
Compiler

Compiled 15992 to 10896 computations (31.9% saved)

rewrite4.3s (6.7%)

Algorithm
21×batch-egg-rewrite
Rules
13436×log1p-expm1-u
8455×expm1-log1p-u
4797×add-exp-log
4621×pow1
4345×add-log-exp
Stop Event
21×node limit
Counts
125 → 4251

soundness4.0s (6.2%)

Rules
4148×fma-define
4012×distribute-lft-in
3943×fma-neg
3855×log1p-expm1-u
3817×*-commutative
Stop Event
2×saturated
16×node limit
3×fuel
6×done
Compiler

Compiled 4166 to 2478 computations (40.5% saved)

explain2.3s (3.6%)

Results
595.0ms3666×0valid
727.0ms504×1valid
476.0ms434×2valid
7.0ms4×3valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 470.0ms (35.6% of total)
ival-sub: 238.0ms (18.1% of total)
backward-pass: 174.0ms (13.2% of total)
ival-sqrt: 126.0ms (9.6% of total)
ival-div: 123.0ms (9.3% of total)
ival-add: 56.0ms (4.2% of total)
ival->=: 47.0ms (3.6% of total)
const: 28.0ms (2.1% of total)
ival-neg: 22.0ms (1.7% of total)
ival-if: 12.0ms (0.9% of total)
ival-log: 12.0ms (0.9% of total)
ival-fabs: 7.0ms (0.5% of total)
ival-exp: 4.0ms (0.3% of total)

preprocess1.7s (2.6%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 2754 to 1698 computations (38.3% saved)

series1.3s (1.9%)

Counts
125 → 3407
Calls

747 calls:

TimeVariablePointExpression
77.0ms
a
@0
(exp (* 1/4 (+ (log (* -4 c)) (* -1 (log (/ 1 a))))))
76.0ms
a
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
52.0ms
a
@-inf
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
48.0ms
c
@-inf
(- (sqrt (+ (* c (* a -4)) (* b b))) b)
43.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))

bsearch939.0ms (1.4%)

Algorithm
40×binary-search
Stop Event
4×predicate-same
36×narrow-enough
Results
551.0ms5136×0valid
77.0ms530×0invalid
Compiler

Compiled 12030 to 8630 computations (28.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 423.0ms
ival-mult: 142.0ms (33.5% of total)
ival-div: 76.0ms (17.9% of total)
ival-sub: 57.0ms (13.5% of total)
ival-sqrt: 46.0ms (10.9% of total)
ival-add: 32.0ms (7.6% of total)
ival-neg: 17.0ms (4% of total)
ival->=: 14.0ms (3.3% of total)
ival-if: 13.0ms (3.1% of total)
ival-fabs: 12.0ms (2.8% of total)
const: 12.0ms (2.8% of total)
backward-pass: 2.0ms (0.5% of total)

analyze935.0ms (1.4%)

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: 479.0ms
ival-mult: 213.0ms (44.5% of total)
ival-sub: 93.0ms (19.4% of total)
ival-sqrt: 41.0ms (8.6% of total)
ival-div: 36.0ms (7.5% of total)
ival-add: 30.0ms (6.3% of total)
ival-neg: 21.0ms (4.4% of total)
ival->=: 16.0ms (3.3% of total)
ival-if: 15.0ms (3.1% of total)
const: 8.0ms (1.7% of total)
ival-fabs: 4.0ms (0.8% of total)
ival-log: 1.0ms (0.2% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)

regimes609.0ms (0.9%)

Counts
371 → 77
Calls

22 calls:

125.0ms
(*.f64 (sqrt.f64 (-.f64 x #s(literal 1 binary64))) (sqrt.f64 x))
94.0ms
b
76.0ms
x
57.0ms
a
51.0ms
c
Compiler

Compiled 432 to 299 computations (30.8% saved)

end0.0ms (0%)

Profiling

Loading profile data...