Herbie run

Date:Monday, May 27th, 2024
Commit:3d2f9b27 on main
Hostname:nightly with Racket 8.11.1
Seed:2024148
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.2min)

simplify13.3s (19.1%)

Algorithm
66×egg-herbie
Rules
23864×fma-define
20044×fma-neg
13241×times-frac
11780×distribute-lft-in
11121×distribute-rgt-in
Stop Event
25×saturated
41×node limit
Counts
13413 → 12650

sample11.7s (16.8%)

Results
6.7s70301×0valid
1.9s3996×2valid
298.0ms1982×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.6s
ival-mult: 1.8s (32.4% of total)
ival-div: 1.2s (21.7% of total)
ival-sub: 722.0ms (12.9% of total)
ival-sqrt: 449.0ms (8% of total)
ival-add: 331.0ms (5.9% of total)
ival-neg: 231.0ms (4.1% of total)
ival->=: 195.0ms (3.5% of total)
backward-pass: 162.0ms (2.9% of total)
const: 119.0ms (2.1% of total)
ival-log: 104.0ms (1.9% of total)
ival-if: 101.0ms (1.8% of total)
ival-fabs: 99.0ms (1.8% of total)
ival-exp: 67.0ms (1.2% of total)
Bogosity

soundness8.8s (12.5%)

Rules
9441×fma-define
8419×fma-neg
7746×times-frac
6323×*-commutative
5044×distribute-lft-in
Stop Event
3×saturated
3×fuel
30×node limit
6×done
Compiler

Compiled 7434 to 1990 computations (73.2% saved)

localize7.7s (11%)

Results
2.0s649×2valid
1.8s5686×0valid
1.0s125×5exit
594.0ms528×1valid
337.0ms403×0invalid
121.0ms33×3valid
Compiler

Compiled 5821 to 682 computations (88.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
ival-div: 740.0ms (23.5% of total)
ival-mult: 619.0ms (19.7% of total)
backward-pass: 537.0ms (17.1% of total)
ival-pow: 342.0ms (10.9% of total)
ival-sqrt: 191.0ms (6.1% of total)
ival-sub: 165.0ms (5.2% of total)
ival-fma: 146.0ms (4.6% of total)
ival-add: 98.0ms (3.1% of total)
ival-if: 94.0ms (3% of total)
...c/correct-round.rkt:121:19: 42.0ms (1.3% of total)
ival-neg: 39.0ms (1.2% of total)
ival-cbrt: 34.0ms (1.1% of total)
ival-log1p: 27.0ms (0.9% of total)
const: 24.0ms (0.8% of total)
ival->=: 13.0ms (0.4% of total)
ival-fabs: 10.0ms (0.3% of total)
ival-log: 9.0ms (0.3% of total)
ival-exp: 7.0ms (0.2% of total)
ival-hypot: 6.0ms (0.2% of total)
ival-expm1: 4.0ms (0.1% of total)

prune6.6s (9.5%)

Counts
21795 → 380
Compiler

Compiled 20798 to 10884 computations (47.7% saved)

rewrite6.6s (9.4%)

Algorithm
28×batch-egg-rewrite
Rules
14779×log1p-expm1-u
11406×expm1-log1p-u
7978×pow1
6984×add-exp-log
6373×add-log-exp
Stop Event
28×node limit
Counts
255 → 7610

eval5.2s (7.5%)

Compiler

Compiled 756779 to 82173 computations (89.1% saved)

explain3.0s (4.3%)

Results
918.0ms3678×0valid
829.0ms708×2valid
102.0ms214×1valid
5.0ms8×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
backward-pass: 353.0ms (33.5% of total)
ival-div: 286.0ms (27.1% of total)
ival-sub: 145.0ms (13.7% of total)
ival-mult: 134.0ms (12.7% of total)
ival-sqrt: 43.0ms (4.1% of total)
ival-neg: 24.0ms (2.3% of total)
ival-if: 20.0ms (1.9% of total)
ival-add: 19.0ms (1.8% of total)
const: 8.0ms (0.8% of total)
ival->=: 6.0ms (0.6% of total)
ival-fabs: 6.0ms (0.6% of total)
ival-log: 6.0ms (0.6% of total)
ival-exp: 4.0ms (0.4% of total)

series2.4s (3.4%)

Counts
255 → 5803
Calls

1467 calls:

TimeVariablePointExpression
150.0ms
c
@-inf
(* c (- (/ b c) (* -1 (sqrt (* a (/ (cbrt -64) c))))))
139.0ms
x
@-inf
(log x)
138.0ms
b
@0
(* c (/ 2 (- (sqrt (+ (* c (* a -4)) (* b b))) b)))
102.0ms
b
@0
(* c (/ -2 (+ b (sqrt (+ (* c (* a -4)) (* b b))))))
87.0ms
a
@0
(- (/ b c) (* -1 (sqrt (* a (/ (cbrt -64) c)))))

preprocess1.5s (2.2%)

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 3638 to 1054 computations (71% saved)

analyze1.1s (1.6%)

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: 734.0ms
ival-mult: 401.0ms (54.7% of total)
ival-sub: 86.0ms (11.7% of total)
ival-sqrt: 72.0ms (9.8% of total)
ival-neg: 56.0ms (7.6% of total)
ival-add: 43.0ms (5.9% of total)
ival-div: 34.0ms (4.6% of total)
ival-if: 15.0ms (2% of total)
ival->=: 15.0ms (2% of total)
const: 7.0ms (1% of total)
ival-fabs: 4.0ms (0.5% of total)
backward-pass: 1.0ms (0.1% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

bsearch1.1s (1.6%)

Algorithm
49×binary-search
2×left-value
Stop Event
4×predicate-same
45×narrow-enough
Results
616.0ms5968×0valid
79.0ms611×0invalid
17.0ms80×2valid
Compiler

Compiled 15598 to 10443 computations (33% saved)

Precisions
Click to see histograms. Total time spent on operations: 473.0ms
ival-mult: 160.0ms (33.9% of total)
ival-div: 83.0ms (17.6% of total)
ival-sub: 52.0ms (11% of total)
ival->=: 42.0ms (8.9% of total)
ival-add: 39.0ms (8.3% of total)
ival-sqrt: 30.0ms (6.3% of total)
ival-neg: 24.0ms (5.1% of total)
ival-if: 19.0ms (4% of total)
const: 12.0ms (2.5% of total)
ival-fabs: 10.0ms (2.1% of total)
backward-pass: 3.0ms (0.6% of total)

regimes809.0ms (1.2%)

Counts
743 → 105
Calls

26 calls:

122.0ms
z
122.0ms
x
111.0ms
b
62.0ms
y
61.0ms
c
Compiler

Compiled 571 to 380 computations (33.5% saved)

end0.0ms (0%)

Profiling

Loading profile data...