Herbie run

Date:Friday, April 5th, 2024
Commit:e8a91f21 on egg-serialize
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: 1.4min)

eval18.9s (22.4%)

Compiler

Compiled 974511 to 632560 computations (35.1% saved)

localize18.4s (21.8%)

Results
3.2s4807×256valid
569.0ms780×256invalid
3.8s344×2048valid
113.0ms338×256infinite
2.4s255×1024valid
491.0ms123×512valid
1.9s123×4096valid
1.3s71×4096infinite
561.0ms56×2048infinite
140.0ms15×1024infinite
Compiler

Compiled 5629 to 3028 computations (46.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0s
ival-mult: 3.7s (30.5% of total)
ival-pow: 3.1s (26.1% of total)
ival-div: 1.3s (11.1% of total)
ival-sub: 1.0s (8.4% of total)
ival-add: 901.0ms (7.5% of total)
ival-sqrt: 875.0ms (7.3% of total)
ival->=: 318.0ms (2.6% of total)
composed: 271.0ms (2.3% of total)
const: 248.0ms (2.1% of total)
ival-if: 101.0ms (0.8% of total)
ival-neg: 54.0ms (0.4% of total)
ival-cbrt: 39.0ms (0.3% of total)
ival-fabs: 28.0ms (0.2% of total)
ival-log: 22.0ms (0.2% of total)
ival-exp: 10.0ms (0.1% of total)
ival-e: 10.0ms (0.1% of total)

sample16.3s (19.3%)

Results
9.1s62891×0valid
1.1s7277×0infinite
1.9s4125×2valid
375.0ms1954×0invalid
3.0ms11×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.2s
ival-mult: 2.6s (36.7% of total)
ival-div: 1.3s (17.5% of total)
ival-sub: 973.0ms (13.5% of total)
ival-sqrt: 715.0ms (9.9% of total)
ival-neg: 364.0ms (5.1% of total)
ival-add: 282.0ms (3.9% of total)
backward-pass: 195.0ms (2.7% of total)
ival-if: 158.0ms (2.2% of total)
const: 158.0ms (2.2% of total)
ival-log: 156.0ms (2.2% of total)
ival->=: 115.0ms (1.6% of total)
ival-fabs: 114.0ms (1.6% of total)
ival-exp: 71.0ms (1% of total)
Bogosity

prune6.7s (8%)

Counts
22216 → 297
Compiler

Compiled 15855 to 10574 computations (33.3% saved)

soundness5.1s (6.1%)

Rules
9054×log1p-expm1-u
6655×fma-define
6190×expm1-log1p-u
5134×times-frac
5108×fma-neg
Stop Event
2×saturated
4×fuel
26×node limit
5×done
Compiler

Compiled 6479 to 3812 computations (41.2% saved)

simplify4.9s (5.8%)

Algorithm
33×egg-herbie
Rules
10111×fma-define
7430×fma-neg
7251×*-commutative
6522×times-frac
5550×associate-*r*
Stop Event
8×saturated
25×node limit
Counts
8416 → 7943

rewrite4.4s (5.3%)

Algorithm
24×batch-egg-rewrite
Rules
16200×log1p-expm1-u
12655×expm1-log1p-u
5280×pow1
5089×add-exp-log
4623×add-log-exp
Stop Event
24×node limit
Counts
116 → 5440

explain3.2s (3.8%)

Results
753.0ms3384×256valid
583.0ms468×2048valid
45.0ms350×256infinite
282.0ms164×1024valid
91.0ms80×512valid
165.0ms68×4096valid
155.0ms44×4096infinite
84.0ms42×2048infinite
103.0ms8×1024infinite
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5s
ival-mult: 656.0ms (43% of total)
ival-div: 243.0ms (15.9% of total)
ival-sub: 215.0ms (14.1% of total)
ival-sqrt: 205.0ms (13.5% of total)
ival-add: 64.0ms (4.2% of total)
const: 42.0ms (2.8% of total)
ival->=: 30.0ms (2% of total)
ival-neg: 25.0ms (1.6% of total)
ival-log: 17.0ms (1.1% of total)
ival-if: 15.0ms (1% of total)
ival-fabs: 6.0ms (0.4% of total)
ival-exp: 5.0ms (0.3% of total)

preprocess1.9s (2.2%)

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 3508 to 2006 computations (42.8% saved)

bsearch1.5s (1.7%)

Algorithm
1×left-value
48×binary-search
Stop Event
7×predicate-same
41×narrow-enough
Results
794.0ms5457×0valid
119.0ms824×0invalid
34.0ms255×0infinite
Compiler

Compiled 16997 to 11799 computations (30.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 585.0ms
ival-mult: 209.0ms (35.7% of total)
ival-div: 86.0ms (14.7% of total)
ival-sub: 82.0ms (14% of total)
ival-sqrt: 70.0ms (12% of total)
ival-add: 40.0ms (6.8% of total)
ival-neg: 28.0ms (4.8% of total)
ival->=: 24.0ms (4.1% of total)
ival-if: 22.0ms (3.8% of total)
const: 16.0ms (2.7% of total)
ival-fabs: 5.0ms (0.9% of total)
backward-pass: 3.0ms (0.5% of total)

regimes1.3s (1.5%)

Counts
570 → 96
Calls

23 calls:

293.0ms
b
284.0ms
c
162.0ms
a
94.0ms
y
73.0ms
x
Compiler

Compiled 478 to 330 computations (31% saved)

analyze907.0ms (1.1%)

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: 532.0ms
ival-mult: 226.0ms (42.5% of total)
ival-add: 76.0ms (14.3% of total)
ival-sqrt: 65.0ms (12.2% of total)
ival-sub: 53.0ms (10% of total)
ival-div: 35.0ms (6.6% of total)
ival-if: 25.0ms (4.7% of total)
ival-neg: 20.0ms (3.8% of total)
ival->=: 19.0ms (3.6% of total)
const: 9.0ms (1.7% of total)
ival-fabs: 4.0ms (0.8% of total)
ival-log: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)

series796.0ms (0.9%)

Counts
116 → 2976
Calls

681 calls:

TimeVariablePointExpression
52.0ms
y
@0
(/ (- (+ x 4) (* x z)) y)
30.0ms
c
@0
(pow (* c (* a -4)) 1/4)
28.0ms
a
@0
(pow (* c (* a -4)) 1/4)
27.0ms
c
@inf
(/ (* 2 c) (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
16.0ms
c
@-inf
(pow (* c (* a -4)) 1/4)

end0.0ms (0%)

Profiling

Loading profile data...