Herbie run

Date:Wednesday, May 22nd, 2024
Commit:a80fb046 on main
Hostname:nightly with Racket 8.11.1
Seed:2024143
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: 2.8min)

simplify39.4s (23.3%)

Algorithm
68×egg-herbie
Rules
24060×fma-define
21858×fma-neg
13265×distribute-lft-in
12249×distribute-rgt-in
12206×times-frac
Stop Event
26×saturated
42×node limit
Counts
16249 → 14636

sample27.3s (16.2%)

Results
16.2s70178×0valid
3.7s4120×2valid
574.0ms2011×0invalid
1.0ms6×1valid
Precisions
Click to see histograms. Total time spent on operations: 14.0s
ival-mult: 4.5s (32.2% of total)
ival-div: 3.7s (26.8% of total)
ival-sub: 1.8s (13.2% of total)
ival-sqrt: 1.2s (8.3% of total)
ival-neg: 663.0ms (4.7% of total)
ival-add: 464.0ms (3.3% of total)
ival->=: 314.0ms (2.2% of total)
ival-exp: 244.0ms (1.7% of total)
const: 227.0ms (1.6% of total)
ival-if: 218.0ms (1.6% of total)
ival-fabs: 213.0ms (1.5% of total)
ival-log: 203.0ms (1.5% of total)
backward-pass: 179.0ms (1.3% of total)
Bogosity

soundness18.4s (10.9%)

Rules
10245×fma-define
8508×fma-neg
6046×times-frac
5556×*-commutative
5407×log1p-expm1-u
Stop Event
3×saturated
4×fuel
27×node limit
5×done
Compiler

Compiled 6376 to 1861 computations (70.8% saved)

localize18.1s (10.7%)

Results
3.9s5962×0valid
3.8s500×2valid
2.1s594×1valid
1.7s491×0invalid
1.2s76×5exit
770.0ms56×3valid
71.0ms1×4valid
Compiler

Compiled 6939 to 772 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.0s
ival-div: 1.4s (22.5% of total)
ival-mult: 1.0s (17% of total)
backward-pass: 932.0ms (15.5% of total)
ival-sub: 711.0ms (11.8% of total)
ival-pow: 643.0ms (10.7% of total)
ival-fma: 304.0ms (5.1% of total)
ival-add: 262.0ms (4.4% of total)
ival-sqrt: 224.0ms (3.7% of total)
ival-if: 176.0ms (2.9% of total)
ival-log: 64.0ms (1.1% of total)
ival-neg: 57.0ms (0.9% of total)
ival-exp: 49.0ms (0.8% of total)
const: 48.0ms (0.8% of total)
...c/correct-round.rkt:121:19: 47.0ms (0.8% of total)
ival-cbrt: 34.0ms (0.6% of total)
ival->=: 34.0ms (0.6% of total)
ival-log1p: 21.0ms (0.3% of total)
ival-fabs: 19.0ms (0.3% of total)
ival-expm1: 5.0ms (0.1% of total)

rewrite15.5s (9.2%)

Algorithm
29×batch-egg-rewrite
Rules
16722×log1p-expm1-u
11791×expm1-log1p-u
8685×pow1
8174×add-exp-log
7362×add-log-exp
Stop Event
29×node limit
Counts
299 → 9032

eval14.1s (8.3%)

Compiler

Compiled 880266 to 101101 computations (88.5% saved)

prune13.0s (7.7%)

Counts
23939 → 408
Compiler

Compiled 24136 to 12143 computations (49.7% saved)

series8.1s (4.8%)

Counts
299 → 7217
Calls

1854 calls:

TimeVariablePointExpression
888.0ms
n
@inf
(* n (- 1 (/ f n)))
423.0ms
x
@-inf
(log x)
303.0ms
z
@inf
(/ (- 1 z) y)
188.0ms
c
@0
(* -1/2 (/ (+ b (exp (* (+ (log (* -4 c)) (log a)) 1/2))) a))
170.0ms
a
@0
(/ c (+ (neg b) (sqrt (- (* b b) (pow (cbrt (* c (* a 4))) 3)))))

explain4.9s (2.9%)

Results
2.9s3706×0valid
965.0ms654×2valid
221.0ms236×1valid
21.0ms12×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 1.1s (58.6% of total)
ival-sqrt: 229.0ms (12.1% of total)
ival-div: 155.0ms (8.2% of total)
backward-pass: 111.0ms (5.9% of total)
ival-sub: 110.0ms (5.8% of total)
ival-neg: 48.0ms (2.5% of total)
ival-add: 46.0ms (2.4% of total)
ival-if: 24.0ms (1.3% of total)
const: 14.0ms (0.7% of total)
ival-fabs: 13.0ms (0.7% of total)
ival->=: 12.0ms (0.6% of total)
ival-log: 12.0ms (0.6% of total)
ival-exp: 9.0ms (0.5% of total)

preprocess4.6s (2.7%)

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 3348 to 1098 computations (67.2% saved)

bsearch2.5s (1.5%)

Algorithm
48×binary-search
1×left-value
Stop Event
13×predicate-same
35×narrow-enough
Results
1.3s5312×0valid
180.0ms96×2valid
114.0ms423×0invalid
Compiler

Compiled 12222 to 8085 computations (33.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-mult: 391.0ms (36.2% of total)
ival-div: 210.0ms (19.4% of total)
ival-add: 169.0ms (15.6% of total)
ival-sub: 109.0ms (10.1% of total)
ival-sqrt: 49.0ms (4.5% of total)
ival-neg: 39.0ms (3.6% of total)
ival-if: 34.0ms (3.1% of total)
ival->=: 27.0ms (2.5% of total)
ival-fabs: 27.0ms (2.5% of total)
const: 19.0ms (1.8% of total)
backward-pass: 6.0ms (0.6% of total)

analyze1.7s (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: 1.1s
ival-mult: 341.0ms (31.3% of total)
ival-if: 282.0ms (25.9% of total)
ival-sub: 191.0ms (17.5% of total)
ival-div: 86.0ms (7.9% of total)
ival-sqrt: 53.0ms (4.9% of total)
ival-add: 42.0ms (3.9% of total)
ival-neg: 34.0ms (3.1% of total)
ival->=: 30.0ms (2.8% of total)
const: 15.0ms (1.4% of total)
ival-fabs: 13.0ms (1.2% of total)
backward-pass: 2.0ms (0.2% of total)
ival-log: 1.0ms (0.1% of total)
ival-exp: 0.0ms (0% of total)

regimes1.4s (0.8%)

Counts
760 → 104
Calls

26 calls:

214.0ms
x
181.0ms
b
118.0ms
a
108.0ms
(fabs.f64 (-.f64 a b))
106.0ms
c
Compiler

Compiled 604 to 403 computations (33.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...