Herbie run

Date:Friday, May 17th, 2024
Commit:468a8500 on if-cost
Hostname:nightly with Racket 8.11.1
Seed:2024138
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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)

soundness22.9s (27%)

Rules
153084×*-lowering-*.f32
153084×*-lowering-*.f64
77930×/-lowering-/.f64
77930×/-lowering-/.f32
73620×+-lowering-+.f32
Stop Event
3×saturated
48×iter limit
44×node limit
6×fuel
3×done
Compiler

Compiled 7480 to 3903 computations (47.8% saved)

simplify13.7s (16.2%)

Algorithm
75×egg-herbie
Rules
157994×*-lowering-*.f32
157994×*-lowering-*.f64
74434×+-lowering-+.f32
74434×+-lowering-+.f64
57048×/-lowering-/.f64
Stop Event
62×iter limit
32×saturated
47×node limit
Counts
8448 → 8448

rewrite11.2s (13.2%)

Algorithm
33×batch-egg-rewrite
Rules
93124×*-lowering-*.f32
93124×*-lowering-*.f64
82732×/-lowering-/.f64
82732×/-lowering-/.f32
38210×+-lowering-+.f32
Stop Event
4×saturated
33×iter limit
31×node limit
Counts
391 → 19693

sample10.9s (12.8%)

Results
6.5s70171×0valid
1.1s4125×2valid
507.0ms1920×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.4s
ival-mult: 1.6s (28.7% of total)
ival-div: 1.2s (21.3% of total)
ival-sub: 1.0s (18.4% of total)
ival-sqrt: 417.0ms (7.7% of total)
ival-neg: 322.0ms (5.9% of total)
ival-add: 234.0ms (4.3% of total)
backward-pass: 129.0ms (2.4% of total)
ival->=: 114.0ms (2.1% of total)
const: 112.0ms (2.1% of total)
ival-fabs: 111.0ms (2% of total)
ival-if: 105.0ms (1.9% of total)
ival-log: 105.0ms (1.9% of total)
ival-exp: 67.0ms (1.2% of total)
Bogosity

eval7.3s (8.6%)

Compiler

Compiled 1046693 to 75525 computations (92.8% saved)

localize5.4s (6.4%)

Results
1.7s7303×0valid
1.3s746×2valid
436.0ms350×1valid
118.0ms49×3valid
Compiler

Compiled 6214 to 703 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-div: 588.0ms (31.4% of total)
ival-mult: 425.0ms (22.7% of total)
ival-add: 213.0ms (11.4% of total)
backward-pass: 207.0ms (11.1% of total)
ival-sub: 121.0ms (6.5% of total)
ival-sqrt: 103.0ms (5.5% of total)
ival-if: 81.0ms (4.3% of total)
ival-fabs: 28.0ms (1.5% of total)
ival-e: 26.0ms (1.4% of total)
const: 23.0ms (1.2% of total)
ival-pow: 20.0ms (1.1% of total)
ival->=: 19.0ms (1% of total)
ival-exp: 7.0ms (0.4% of total)
ival-log: 7.0ms (0.4% of total)
ival-neg: 3.0ms (0.2% of total)

prune4.8s (5.7%)

Counts
35420 → 479
Compiler

Compiled 20382 to 9669 computations (52.6% saved)

regimes2.0s (2.4%)

Counts
1480 → 159
Calls

26 calls:

615.0ms
x
336.0ms
b
174.0ms
(*.f64 x x)
166.0ms
a
96.0ms
c
Compiler

Compiled 692 to 451 computations (34.8% saved)

preprocess1.9s (2.3%)

Algorithm
18×egg-herbie
Rules
16228×fnmadd-define
15232×sum3-define
12914×fnmsub-define
12628×fmsub-define
12420×fmm-def
Stop Event
10×saturated
9×iter limit
8×node limit
Compiler

Compiled 5544 to 1434 computations (74.1% saved)

bsearch1.8s (2.2%)

Algorithm
68×binary-search
16×left-value
Stop Event
11×predicate-same
57×narrow-enough
Results
1.1s8272×0valid
127.0ms773×0invalid
Compiler

Compiled 17136 to 11432 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 791.0ms
ival-mult: 330.0ms (41.7% of total)
ival-div: 143.0ms (18.1% of total)
ival-sub: 83.0ms (10.5% of total)
ival-add: 72.0ms (9.1% of total)
ival-sqrt: 44.0ms (5.6% of total)
ival-neg: 33.0ms (4.2% of total)
ival-if: 23.0ms (2.9% of total)
ival->=: 23.0ms (2.9% of total)
ival-fabs: 18.0ms (2.3% of total)
const: 15.0ms (1.9% of total)
ival-exp: 4.0ms (0.5% of total)
backward-pass: 3.0ms (0.4% of total)

explain1.4s (1.7%)

Results
507.0ms766×2valid
450.0ms3642×0valid
80.0ms194×1valid
4.0ms6×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 561.0ms
ival-mult: 193.0ms (34.4% of total)
ival-sub: 93.0ms (16.6% of total)
ival-div: 70.0ms (12.5% of total)
backward-pass: 57.0ms (10.2% of total)
ival-sqrt: 39.0ms (6.9% of total)
ival-add: 29.0ms (5.2% of total)
ival-neg: 23.0ms (4.1% of total)
ival->=: 14.0ms (2.5% of total)
ival-if: 12.0ms (2.1% of total)
ival-fabs: 11.0ms (2% of total)
const: 8.0ms (1.4% of total)
ival-log: 7.0ms (1.2% of total)
ival-exp: 6.0ms (1.1% of total)

series705.0ms (0.8%)

Counts
391 → 8448
Calls

1599 calls:

TimeVariablePointExpression
53.0ms
x
@0
(pow (* (* (+ x -1) (+ x -1)) (* x x)) 1/4)
46.0ms
x
@inf
(log x)
36.0ms
x
@0
(log x)
21.0ms
x
@-inf
(log x)
11.0ms
a
@inf
(/ (* c 2) (- (sqrt (+ (* b b) (* c (* a -4)))) b))

analyze599.0ms (0.7%)

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 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 308.0ms
ival-mult: 132.0ms (42.9% of total)
ival-div: 40.0ms (13% of total)
ival-sub: 32.0ms (10.4% of total)
ival-sqrt: 23.0ms (7.5% of total)
ival-add: 19.0ms (6.2% of total)
ival->=: 18.0ms (5.8% of total)
ival-neg: 16.0ms (5.2% of total)
ival-if: 15.0ms (4.9% of total)
const: 7.0ms (2.3% of total)
ival-fabs: 4.0ms (1.3% of total)
backward-pass: 1.0ms (0.3% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...