Herbie run

Date:Wednesday, May 29th, 2024
Commit:36a413b6 on main
Hostname:nightly with Racket 8.11.1
Seed:2024150
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)

simplify16.4s (21.8%)

Algorithm
68×egg-herbie
Rules
23741×fma-define
22234×fmm-def
15536×times-frac
13028×distribute-lft-in
11055×distribute-rgt-in
Stop Event
25×saturated
43×node limit
Counts
14210 → 14083

sample13.5s (17.9%)

Results
7.5s70186×0valid
1.8s4112×2valid
309.0ms1960×0invalid
1.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-div: 1.8s (27.7% of total)
ival-mult: 1.7s (25.6% of total)
ival-sub: 1.1s (16.5% of total)
ival-sqrt: 467.0ms (7% of total)
ival-add: 293.0ms (4.4% of total)
ival-neg: 262.0ms (4% of total)
ival->=: 236.0ms (3.6% of total)
backward-pass: 141.0ms (2.1% of total)
ival-exp: 127.0ms (1.9% of total)
ival-log: 127.0ms (1.9% of total)
ival-fabs: 124.0ms (1.9% of total)
const: 121.0ms (1.8% of total)
ival-if: 101.0ms (1.5% of total)
Bogosity

soundness8.9s (11.8%)

Rules
9262×fma-define
8498×fmm-def
7641×times-frac
5374×associate-*r*
5283×distribute-lft-in
Stop Event
3×saturated
28×node limit
4×fuel
5×done
Compiler

Compiled 7110 to 1966 computations (72.3% saved)

localize8.6s (11.4%)

Results
2.1s289×5exit
1.8s502×2valid
1.7s5811×0valid
489.0ms503×0invalid
377.0ms517×1valid
325.0ms58×3valid
Compiler

Compiled 6551 to 733 computations (88.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0s
backward-pass: 620.0ms (15.7% of total)
ival-pow: 528.0ms (13.3% of total)
ival-mult: 449.0ms (11.4% of total)
ival-add: 421.0ms (10.6% of total)
ival-sub: 400.0ms (10.1% of total)
ival-div: 361.0ms (9.1% of total)
ival-sqrt: 262.0ms (6.6% of total)
ival-if: 236.0ms (6% of total)
...c/correct-round.rkt:121:19: 197.0ms (5% of total)
ival-e: 146.0ms (3.7% of total)
ival-log: 110.0ms (2.8% of total)
ival-neg: 71.0ms (1.8% of total)
ival-cbrt: 54.0ms (1.4% of total)
ival-exp: 50.0ms (1.3% of total)
const: 26.0ms (0.7% of total)
ival->=: 16.0ms (0.4% of total)
ival-fabs: 9.0ms (0.2% of total)

eval7.2s (9.6%)

Compiler

Compiled 829163 to 91497 computations (89% saved)

rewrite6.9s (9.2%)

Algorithm
29×batch-egg-rewrite
Rules
18010×log1p-expm1-u
12354×expm1-log1p-u
7999×pow1
7417×add-exp-log
6809×add-log-exp
Stop Event
29×node limit
Counts
279 → 7856

prune5.6s (7.4%)

Counts
23131 → 368
Compiler

Compiled 19004 to 10169 computations (46.5% saved)

series2.1s (2.7%)

Counts
279 → 6354
Calls

1611 calls:

TimeVariablePointExpression
111.0ms
x
@0
(log x)
104.0ms
x
@-inf
(log x)
91.0ms
b
@inf
(* b b)
82.0ms
y
@0
(/ (+ z -1) y)
58.0ms
b
@0
(/ (exp (- (log 2) (log (/ -1 b)))) (* 2 a))

explain1.8s (2.4%)

Results
684.0ms700×2valid
563.0ms3696×0valid
95.0ms196×1valid
11.0ms16×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 816.0ms
ival-div: 193.0ms (23.6% of total)
ival-add: 182.0ms (22.3% of total)
ival-neg: 126.0ms (15.4% of total)
ival-sub: 93.0ms (11.4% of total)
ival-mult: 88.0ms (10.8% of total)
backward-pass: 48.0ms (5.9% of total)
ival-sqrt: 36.0ms (4.4% of total)
ival-fabs: 14.0ms (1.7% of total)
ival-if: 11.0ms (1.3% of total)
const: 8.0ms (1% of total)
ival-log: 8.0ms (1% of total)
ival->=: 6.0ms (0.7% of total)
ival-exp: 4.0ms (0.5% of total)

preprocess1.4s (1.9%)

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 3268 to 1074 computations (67.1% saved)

bsearch1.4s (1.9%)

Algorithm
58×binary-search
3×left-value
Stop Event
8×predicate-same
50×narrow-enough
Results
802.0ms7520×0valid
48.0ms412×0invalid
26.0ms112×2valid
Compiler

Compiled 14458 to 9777 computations (32.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 578.0ms
ival-neg: 150.0ms (26% of total)
ival-mult: 121.0ms (20.9% of total)
ival-div: 107.0ms (18.5% of total)
ival-sub: 57.0ms (9.9% of total)
ival-add: 48.0ms (8.3% of total)
ival-fabs: 26.0ms (4.5% of total)
ival-sqrt: 22.0ms (3.8% of total)
ival-if: 15.0ms (2.6% of total)
ival->=: 13.0ms (2.3% of total)
const: 12.0ms (2.1% of total)
backward-pass: 6.0ms (1% of total)

regimes822.0ms (1.1%)

Counts
654 → 121
Calls

26 calls:

145.0ms
x
71.0ms
b
61.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
60.0ms
a
51.0ms
y
Compiler

Compiled 573 to 379 computations (33.9% saved)

analyze663.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: 422.0ms
ival-mult: 167.0ms (39.5% of total)
ival-sub: 86.0ms (20.4% of total)
ival-div: 37.0ms (8.8% of total)
ival-add: 36.0ms (8.5% of total)
ival-neg: 30.0ms (7.1% of total)
ival-sqrt: 23.0ms (5.4% of total)
ival->=: 16.0ms (3.8% of total)
ival-if: 15.0ms (3.6% of total)
const: 7.0ms (1.7% of total)
ival-fabs: 4.0ms (0.9% 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...