Herbie run

Date:Friday, May 10th, 2024
Commit:b0326c12 on jackson-platforms-report
Hostname:nightly with Racket 8.11.1
Seed:2024131
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.3min)

localize14.0s (18.3%)

Algorithm
32×egg-herbie
Rules
14967×fmm-def
10006×fma-define
5214×times-frac
4876×div-sub
4147×sub-neg
Stop Event
20×saturated
12×node limit
Results
5.5s959×5exit
2.4s6858×0valid
269.0ms122×2valid
161.0ms198×0invalid
86.0ms55×1valid
Compiler

Compiled 6101 to 748 computations (87.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.1s
backward-pass: 936.0ms (18.4% of total)
ival-div: 776.0ms (15.2% of total)
ival-mult: 743.0ms (14.6% of total)
ival-pow: 593.0ms (11.7% of total)
ival-sub: 437.0ms (8.6% of total)
ival-sqrt: 416.0ms (8.2% of total)
ival-add: 258.0ms (5.1% of total)
<compiled-spec>: 214.0ms (4.2% of total)
ival-if: 208.0ms (4.1% of total)
ival-exp: 164.0ms (3.2% of total)
ival-neg: 142.0ms (2.8% of total)
ival-log: 90.0ms (1.8% of total)
ival-cbrt: 37.0ms (0.7% of total)
const: 32.0ms (0.6% of total)
ival->=: 27.0ms (0.5% of total)
ival-fabs: 12.0ms (0.2% of total)
ival-e: 4.0ms (0.1% of total)

sample13.0s (16.9%)

Results
7.5s70180×0valid
1.6s4117×2valid
574.0ms1840×0invalid
2.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.8s
ival-mult: 1.5s (22.2% of total)
ival-div: 1.3s (19.4% of total)
ival-sub: 888.0ms (13.1% of total)
ival-fabs: 650.0ms (9.6% of total)
ival-add: 483.0ms (7.1% of total)
ival-sqrt: 451.0ms (6.7% of total)
ival-if: 382.0ms (5.6% of total)
backward-pass: 257.0ms (3.8% of total)
ival-neg: 247.0ms (3.6% of total)
ival-exp: 244.0ms (3.6% of total)
ival-log: 121.0ms (1.8% of total)
const: 117.0ms (1.7% of total)
ival->=: 116.0ms (1.7% of total)
Bogosity

simplify11.7s (15.3%)

Algorithm
39×egg-herbie
Rules
12960×fma-define
9905×fmm-def
9047×times-frac
7693×distribute-lft-in
7361×distribute-rgt-in
Stop Event
8×saturated
31×node limit
Counts
15316 → 14035

soundness10.4s (13.6%)

Rules
12082×fma-define
11482×fmm-def
7876×times-frac
6649×distribute-lft-in
6452×log1p-expm1-u
Stop Event
3×saturated
36×node limit
5×fuel
4×done
Compiler

Compiled 8388 to 2511 computations (70.1% saved)

rewrite8.0s (10.5%)

Algorithm
30×batch-egg-rewrite
Rules
15643×log1p-expm1-u
13575×expm1-log1p-u
8075×pow1
7798×add-exp-log
6915×add-log-exp
Stop Event
30×node limit
Counts
284 → 9356

eval5.4s (7.1%)

Compiler

Compiled 751116 to 91412 computations (87.8% saved)

prune4.7s (6.1%)

Counts
22561 → 388
Compiler

Compiled 18270 to 9433 computations (48.4% saved)

preprocess1.8s (2.4%)

Algorithm
9×egg-herbie
Rules
3285×fmm-def
2845×fma-define
1495×times-frac
1467×div-sub
1176×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 3426 to 1214 computations (64.6% saved)

explain1.8s (2.3%)

Results
778.0ms706×2valid
357.0ms3682×0valid
85.0ms218×1valid
1.0ms2×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 751.0ms
ival-sqrt: 291.0ms (38.7% of total)
ival-mult: 161.0ms (21.4% of total)
backward-pass: 85.0ms (11.3% of total)
ival-div: 73.0ms (9.7% of total)
ival-sub: 61.0ms (8.1% of total)
ival-neg: 20.0ms (2.7% of total)
ival-add: 18.0ms (2.4% of total)
ival-if: 11.0ms (1.5% of total)
const: 9.0ms (1.2% of total)
ival->=: 6.0ms (0.8% of total)
ival-fabs: 6.0ms (0.8% of total)
ival-log: 6.0ms (0.8% of total)
ival-exp: 4.0ms (0.5% of total)

bsearch1.7s (2.3%)

Algorithm
59×binary-search
1×left-value
Stop Event
7×predicate-same
52×narrow-enough
Results
755.0ms7056×0valid
78.0ms619×0invalid
8.0ms32×2valid
Compiler

Compiled 14715 to 9951 computations (32.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 436.0ms
ival-mult: 128.0ms (29.4% of total)
ival-div: 97.0ms (22.3% of total)
ival-sub: 55.0ms (12.6% of total)
ival-add: 41.0ms (9.4% of total)
ival-sqrt: 25.0ms (5.7% of total)
ival-neg: 24.0ms (5.5% of total)
ival->=: 17.0ms (3.9% of total)
ival-if: 15.0ms (3.4% of total)
ival-fabs: 15.0ms (3.4% of total)
const: 12.0ms (2.8% of total)
ival-exp: 3.0ms (0.7% of total)
backward-pass: 3.0ms (0.7% of total)

series1.7s (2.2%)

Counts
284 → 5960
Calls

1563 calls:

TimeVariablePointExpression
107.0ms
x
@0
(/ 1/8 x)
95.0ms
c
@0
(pow (cbrt (* a (* 4 c))) 3)
71.0ms
c
@0
(/ (- b (sqrt (+ (* c (* a -4)) (pow b 2)))) (* c 2))
40.0ms
z
@0
(fabs (- (/ (+ x 4) y) (* (/ x y) z)))
33.0ms
a
@-inf
(pow (* -4 (* a c)) 1/4)

regimes1.6s (2.1%)

Counts
1036 → 124
Calls

26 calls:

284.0ms
x
284.0ms
n
232.0ms
y
115.0ms
b
106.0ms
(*.f64 x x)
Compiler

Compiled 610 to 405 computations (33.6% saved)

analyze720.0ms (0.9%)

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: 413.0ms
ival-mult: 192.0ms (46.4% of total)
ival-div: 76.0ms (18.4% of total)
ival-sub: 41.0ms (9.9% of total)
ival-sqrt: 23.0ms (5.6% of total)
ival-add: 21.0ms (5.1% of total)
ival-neg: 17.0ms (4.1% of total)
ival-if: 16.0ms (3.9% of total)
ival->=: 16.0ms (3.9% of total)
const: 7.0ms (1.7% of total)
ival-fabs: 3.0ms (0.7% of total)
backward-pass: 2.0ms (0.5% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...