Herbie run

Date:Friday, April 12th, 2024
Commit:f7c2f43b on zane-regimes-lt-or-eq
Hostname:nightly with Racket 8.11.1
Seed:2024103
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)

localize16.0s (24%)

Results
2.5s4728×256valid
811.0ms482×256invalid
131.0ms384×256unsamplable
3.3s317×2048valid
1.4s177×1024valid
2.5s144×4096valid
412.0ms91×512valid
1.7s77×8192exit
Compiler

Compiled 5053 to 2491 computations (50.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
ival-pow: 3.4s (31.2% of total)
ival-mult: 2.5s (22.4% of total)
ival-div: 1.0s (9.2% of total)
<compiled-spec>: 1.0s (9.2% of total)
ival-add: 1.0s (9.2% of total)
ival-sqrt: 740.0ms (6.7% of total)
ival-sub: 530.0ms (4.8% of total)
ival->=: 225.0ms (2% of total)
const: 186.0ms (1.7% of total)
ival-if: 179.0ms (1.6% of total)
ival-cbrt: 59.0ms (0.5% of total)
ival-exp: 49.0ms (0.4% of total)
ival-fabs: 42.0ms (0.4% of total)
ival-neg: 32.0ms (0.3% of total)
ival-log: 20.0ms (0.2% of total)
ival-e: 8.0ms (0.1% of total)

sample13.0s (19.4%)

Results
7.2s70281×0valid
1.5s4016×2valid
342.0ms1921×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 2.0s (30.9% of total)
ival-sub: 1.1s (17.2% of total)
ival-div: 1.0s (15.4% of total)
ival-sqrt: 737.0ms (11.2% of total)
ival-neg: 344.0ms (5.2% of total)
backward-pass: 273.0ms (4.1% of total)
ival-add: 261.0ms (4% of total)
ival-exp: 188.0ms (2.9% of total)
const: 142.0ms (2.2% of total)
ival->=: 123.0ms (1.9% of total)
ival-log: 119.0ms (1.8% of total)
ival-fabs: 109.0ms (1.7% of total)
ival-if: 103.0ms (1.6% of total)
Bogosity

eval8.3s (12.4%)

Compiler

Compiled 643604 to 407075 computations (36.8% saved)

simplify5.4s (8.1%)

Algorithm
31×egg-herbie
Rules
8164×fma-define
6657×fma-neg
6281×*-commutative
5815×distribute-lft-in
5205×times-frac
Stop Event
8×saturated
23×node limit
Counts
8070 → 8053

soundness5.3s (8%)

Rules
7972×fma-define
6668×fma-neg
5596×log1p-expm1-u
4503×times-frac
4421×associate-*r*
Stop Event
2×saturated
4×fuel
24×node limit
5×done
Compiler

Compiled 4499 to 2606 computations (42.1% saved)

rewrite5.1s (7.6%)

Algorithm
22×batch-egg-rewrite
Rules
14796×log1p-expm1-u
11154×expm1-log1p-u
4623×add-exp-log
4440×pow1
4179×add-log-exp
Stop Event
22×node limit
Counts
127 → 4683

prune5.0s (7.4%)

Counts
16467 → 279
Compiler

Compiled 12740 to 8387 computations (34.2% saved)

explain3.7s (5.6%)

Results
939.0ms3714×256valid
907.0ms526×2048valid
320.0ms160×1024valid
510.0ms124×4096valid
76.0ms84×512valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 751.0ms (38.6% of total)
ival-sub: 277.0ms (14.3% of total)
ival-div: 267.0ms (13.7% of total)
ival-add: 210.0ms (10.8% of total)
ival-sqrt: 192.0ms (9.9% of total)
ival-neg: 106.0ms (5.5% of total)
ival->=: 59.0ms (3% of total)
const: 40.0ms (2.1% of total)
ival-log: 16.0ms (0.8% of total)
ival-if: 14.0ms (0.7% of total)
ival-fabs: 7.0ms (0.4% of total)
ival-exp: 5.0ms (0.3% of total)

preprocess1.4s (2.1%)

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 2986 to 1740 computations (41.7% saved)

series972.0ms (1.5%)

Counts
127 → 3387
Calls

750 calls:

TimeVariablePointExpression
110.0ms
a
@-inf
(sqrt (+ (* c (* a -4)) (* b b)))
82.0ms
y
@inf
(/ (- (+ x 4) (* x z)) y)
32.0ms
a
@-inf
(pow (* -4 (* a c)) 1/4)
30.0ms
a
@0
(pow (* -4 (* a c)) 1/4)
19.0ms
c
@inf
(/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))

regimes968.0ms (1.5%)

Counts
498 → 99
Calls

26 calls:

147.0ms
b
117.0ms
a
107.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
96.0ms
x
95.0ms
c
Compiler

Compiled 567 to 394 computations (30.5% saved)

analyze835.0ms (1.3%)

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: 586.0ms
ival-div: 248.0ms (42.3% of total)
ival-mult: 146.0ms (24.9% of total)
ival-sub: 44.0ms (7.5% of total)
ival-sqrt: 44.0ms (7.5% of total)
ival-if: 37.0ms (6.3% of total)
ival-add: 25.0ms (4.3% of total)
ival-neg: 18.0ms (3.1% of total)
ival->=: 14.0ms (2.4% of total)
const: 8.0ms (1.4% of total)
ival-fabs: 3.0ms (0.5% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

bsearch783.0ms (1.2%)

Algorithm
45×binary-search
6×left-value
Stop Event
7×predicate-same
38×narrow-enough
Results
481.0ms5088×0valid
33.0ms250×0invalid
Compiler

Compiled 9283 to 6700 computations (27.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 326.0ms
ival-mult: 88.0ms (27% of total)
ival-div: 69.0ms (21.2% of total)
ival-sub: 47.0ms (14.4% of total)
ival-add: 46.0ms (14.1% of total)
ival-sqrt: 21.0ms (6.4% of total)
ival-fabs: 15.0ms (4.6% of total)
ival-neg: 14.0ms (4.3% of total)
const: 9.0ms (2.8% of total)
ival->=: 8.0ms (2.5% of total)
ival-if: 7.0ms (2.1% of total)
backward-pass: 2.0ms (0.6% of total)

end0.0ms (0%)

Profiling

Loading profile data...