Herbie run

Date:Thursday, May 23rd, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024144
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.3min)

simplify18.6s (23%)

Algorithm
70×egg-herbie
Rules
24422×fma-define
23277×fma-neg
13780×times-frac
11005×associate-*r*
10971×distribute-lft-in
Stop Event
27×saturated
43×node limit
Counts
16402 → 15021

sample13.8s (17.1%)

Results
8.1s70101×0valid
1.7s4197×2valid
340.0ms1933×0invalid
1.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.0s
ival-div: 1.7s (24.5% of total)
ival-mult: 1.7s (24.2% of total)
ival-sub: 1.1s (15.1% of total)
ival-sqrt: 742.0ms (10.6% of total)
ival-add: 565.0ms (8.1% of total)
ival-neg: 313.0ms (4.5% of total)
ival-fabs: 200.0ms (2.9% of total)
ival->=: 163.0ms (2.3% of total)
ival-exp: 120.0ms (1.7% of total)
const: 115.0ms (1.6% of total)
ival-if: 112.0ms (1.6% of total)
ival-log: 101.0ms (1.4% of total)
backward-pass: 100.0ms (1.4% of total)
Bogosity

soundness10.2s (12.6%)

Rules
10908×fma-define
8470×fma-neg
8305×log1p-expm1-u
7420×times-frac
5755×associate-*r*
Stop Event
3×saturated
33×node limit
5×fuel
4×done
Compiler

Compiled 7402 to 2174 computations (70.6% saved)

rewrite8.0s (9.9%)

Algorithm
30×batch-egg-rewrite
Rules
18193×log1p-expm1-u
12908×expm1-log1p-u
8070×pow1
7890×add-exp-log
7285×add-log-exp
Stop Event
30×node limit
Counts
309 → 9737

localize7.7s (9.6%)

Results
2.1s665×2valid
1.8s6292×0valid
903.0ms619×0invalid
525.0ms79×3valid
403.0ms281×1valid
Compiler

Compiled 6710 to 783 computations (88.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 540.0ms (20.7% of total)
ival-div: 429.0ms (16.4% of total)
ival-pow: 384.0ms (14.7% of total)
backward-pass: 260.0ms (9.9% of total)
ival-fma: 240.0ms (9.2% of total)
ival-add: 207.0ms (7.9% of total)
ival-neg: 132.0ms (5.1% of total)
ival-sqrt: 110.0ms (4.2% of total)
ival-sub: 108.0ms (4.1% of total)
ival-if: 79.0ms (3% of total)
ival-cbrt: 28.0ms (1.1% of total)
const: 26.0ms (1% of total)
ival-exp: 22.0ms (0.8% of total)
ival-fabs: 17.0ms (0.7% of total)
ival->=: 13.0ms (0.5% of total)
ival-log: 12.0ms (0.5% of total)
ival-e: 8.0ms (0.3% of total)

prune7.4s (9.1%)

Counts
24958 → 390
Compiler

Compiled 20261 to 10482 computations (48.3% saved)

eval6.8s (8.4%)

Compiler

Compiled 869133 to 100155 computations (88.5% saved)

series2.6s (3.2%)

Counts
309 → 6665
Calls

1716 calls:

TimeVariablePointExpression
134.0ms
f
@inf
(* -2 (/ n f))
130.0ms
a
@-inf
(- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))
114.0ms
x
@-inf
(log x)
105.0ms
x
@0
(* (sqrt (- x 1)) (pow (pow x 2) 1/4))
97.0ms
c
@-inf
(* (+ 2 (* -2 (* a (/ c (pow b 2))))) (neg b))

preprocess1.6s (1.9%)

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 3718 to 1248 computations (66.4% saved)

explain1.2s (1.5%)

Results
411.0ms3646×0valid
390.0ms760×2valid
70.0ms182×1valid
14.0ms20×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 451.0ms
ival-sub: 103.0ms (22.9% of total)
ival-mult: 82.0ms (18.2% of total)
ival-div: 78.0ms (17.3% of total)
backward-pass: 56.0ms (12.4% of total)
ival-sqrt: 43.0ms (9.5% of total)
ival-neg: 22.0ms (4.9% of total)
ival-add: 18.0ms (4% of total)
ival-if: 16.0ms (3.6% of total)
const: 8.0ms (1.8% of total)
ival->=: 7.0ms (1.6% of total)
ival-fabs: 7.0ms (1.6% of total)
ival-log: 6.0ms (1.3% of total)
ival-exp: 4.0ms (0.9% of total)

regimes1.1s (1.4%)

Counts
887 → 125
Calls

26 calls:

367.0ms
x
120.0ms
b
69.0ms
a
67.0ms
y
67.0ms
c
Compiler

Compiled 657 to 437 computations (33.5% saved)

bsearch960.0ms (1.2%)

Algorithm
57×binary-search
2×left-value
Stop Event
10×predicate-same
47×narrow-enough
Results
581.0ms6000×0valid
29.0ms234×0invalid
14.0ms48×2valid
Compiler

Compiled 13176 to 8665 computations (34.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 404.0ms
ival-mult: 153.0ms (37.8% of total)
ival-div: 80.0ms (19.8% of total)
ival-sub: 46.0ms (11.4% of total)
ival-add: 36.0ms (8.9% of total)
ival-neg: 19.0ms (4.7% of total)
ival-sqrt: 18.0ms (4.5% of total)
ival->=: 14.0ms (3.5% of total)
ival-fabs: 14.0ms (3.5% of total)
ival-if: 12.0ms (3% of total)
const: 10.0ms (2.5% of total)
backward-pass: 2.0ms (0.5% of total)

analyze943.0ms (1.2%)

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: 661.0ms
ival-div: 221.0ms (33.4% of total)
ival-mult: 140.0ms (21.2% of total)
ival->=: 131.0ms (19.8% of total)
ival-neg: 66.0ms (10% of total)
ival-sub: 38.0ms (5.7% of total)
ival-sqrt: 21.0ms (3.2% of total)
ival-add: 18.0ms (2.7% of total)
ival-if: 15.0ms (2.3% of total)
const: 6.0ms (0.9% of total)
ival-fabs: 4.0ms (0.6% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...