Herbie run

Date:Monday, April 22nd, 2024
Commit:1ba62266 on faster-localize-cost
Hostname:nightly with Racket 8.11.1
Seed:2024113
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.2min)

sample12.3s (17.2%)

Results
6.6s70227×0valid
1.9s4068×2valid
234.0ms1990×0invalid
1.0ms9×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.5s
ival-mult: 1.8s (32% of total)
ival-div: 1.4s (25% of total)
ival-sub: 613.0ms (11.1% of total)
ival-sqrt: 502.0ms (9.1% of total)
ival-neg: 234.0ms (4.3% of total)
ival-add: 210.0ms (3.8% of total)
ival-fabs: 160.0ms (2.9% of total)
backward-pass: 134.0ms (2.4% of total)
ival-log: 116.0ms (2.1% of total)
const: 115.0ms (2.1% of total)
ival->=: 111.0ms (2% of total)
ival-if: 108.0ms (2% of total)
ival-exp: 66.0ms (1.2% of total)
Bogosity

localize11.0s (15.4%)

Algorithm
30×egg-herbie
Rules
14030×fma-define
13462×fma-neg
4921×times-frac
4531×div-sub
4102×unsub-neg
Stop Event
21×saturated
9×node limit
Results
1.2s5921×0valid
1.2s654×1valid
754.0ms645×0invalid
1.0s356×2valid
448.0ms71×5exit
162.0ms33×3valid
Compiler

Compiled 5834 to 659 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-div: 417.0ms (17% of total)
ival-mult: 414.0ms (16.9% of total)
ival-neg: 287.0ms (11.7% of total)
ival-sub: 273.0ms (11.2% of total)
ival-pow: 267.0ms (10.9% of total)
ival-fma: 238.0ms (9.7% of total)
backward-pass: 202.0ms (8.3% of total)
ival-if: 78.0ms (3.2% of total)
ival-add: 78.0ms (3.2% of total)
ival-sqrt: 72.0ms (2.9% of total)
ival-cbrt: 27.0ms (1.1% of total)
const: 24.0ms (1% of total)
ival->=: 14.0ms (0.6% of total)
ival-log: 14.0ms (0.6% of total)
ival-hypot: 12.0ms (0.5% of total)
ival-fabs: 12.0ms (0.5% of total)
ival-exp: 11.0ms (0.4% of total)
ival-log1p: 8.0ms (0.3% of total)

simplify10.0s (14%)

Algorithm
38×egg-herbie
Rules
11326×fma-define
9385×times-frac
9135×fma-neg
8358×*-commutative
7837×distribute-lft-in
Stop Event
8×saturated
30×node limit
Counts
13097 → 12722

prune10.0s (13.9%)

Counts
22107 → 416
Compiler

Compiled 22243 to 11706 computations (47.4% saved)

soundness7.7s (10.8%)

Rules
9328×fma-define
7530×fma-neg
7282×times-frac
5189×log1p-expm1-u
5123×*-commutative
Stop Event
3×saturated
4×fuel
28×node limit
5×done
Compiler

Compiled 5939 to 1794 computations (69.8% saved)

rewrite7.4s (10.3%)

Algorithm
29×batch-egg-rewrite
Rules
16771×log1p-expm1-u
12072×expm1-log1p-u
8543×pow1
7553×add-exp-log
6585×add-log-exp
Stop Event
29×node limit
Counts
256 → 7378

eval4.9s (6.8%)

Compiler

Compiled 788005 to 80408 computations (89.8% saved)

explain2.2s (3.1%)

Results
441.0ms3700×0valid
529.0ms480×1valid
512.0ms416×2valid
11.0ms12×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0s
ival-div: 343.0ms (34% of total)
ival-mult: 342.0ms (33.9% of total)
backward-pass: 82.0ms (8.1% of total)
ival-sub: 68.0ms (6.7% of total)
ival-if: 60.0ms (6% of total)
ival-sqrt: 36.0ms (3.6% of total)
ival-neg: 24.0ms (2.4% of total)
ival-add: 17.0ms (1.7% of total)
ival-fabs: 11.0ms (1.1% of total)
const: 8.0ms (0.8% of total)
ival-log: 7.0ms (0.7% of total)
ival->=: 6.0ms (0.6% of total)
ival-exp: 4.0ms (0.4% of total)

preprocess1.7s (2.4%)

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 2964 to 1064 computations (64.1% saved)

series1.7s (2.4%)

Counts
256 → 5719
Calls

1545 calls:

TimeVariablePointExpression
113.0ms
a
@inf
(/ (- b (sqrt (+ (* c (* a -4)) (* b b)))) (* a -2))
70.0ms
b
@-inf
(/ (pow (sqrt (* c 2)) 2) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c)))))
49.0ms
a
@inf
(/ -2 (+ (* -2 (* a (/ c b))) (* b 2)))
42.0ms
c
@0
(if (>= b 0) (/ (* 2 c) (- (neg b) (sqrt (- (* b b) (* (* 4 a) c))))) (/ (+ (neg b) (pow (pow (+ (* b b) (* c (* a -4))) 1/4) 2)) (* 2 a)))
37.0ms
b
@0
(- (sqrt (+ (* c (* a -4)) (* b b))) b)

bsearch977.0ms (1.4%)

Algorithm
54×binary-search
1×left-value
Stop Event
5×predicate-same
49×narrow-enough
Results
631.0ms6288×0valid
13.0ms120×0invalid
10.0ms48×2valid
Compiler

Compiled 12048 to 8231 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 360.0ms
ival-mult: 126.0ms (35% of total)
ival-div: 82.0ms (22.8% of total)
ival-sub: 43.0ms (12% of total)
ival-add: 35.0ms (9.7% of total)
ival-fabs: 20.0ms (5.6% of total)
ival-sqrt: 13.0ms (3.6% of total)
ival-neg: 13.0ms (3.6% of total)
const: 9.0ms (2.5% of total)
ival-if: 8.0ms (2.2% of total)
ival->=: 8.0ms (2.2% of total)
backward-pass: 4.0ms (1.1% of total)

regimes859.0ms (1.2%)

Counts
960 → 113
Calls

26 calls:

163.0ms
x
130.0ms
b
82.0ms
z
65.0ms
a
59.0ms
c
Compiler

Compiled 563 to 377 computations (33% saved)

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

Precisions
Click to see histograms. Total time spent on operations: 535.0ms
ival-mult: 209.0ms (39% of total)
ival-sub: 88.0ms (16.4% of total)
ival-div: 77.0ms (14.4% of total)
ival-add: 50.0ms (9.3% of total)
ival->=: 44.0ms (8.2% of total)
ival-sqrt: 22.0ms (4.1% of total)
ival-if: 18.0ms (3.4% of total)
ival-neg: 16.0ms (3% of total)
const: 6.0ms (1.1% of total)
ival-fabs: 4.0ms (0.7% 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...