Herbie run

Date:Thursday, September 28th, 2023
Commit:b159bd5c on arb-support
Hostname:nightly with Racket 8.6
Seed:2023271
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

Details

Time bar (total: 49.1s)

sample25.5s (51.8%)

Results
13.9s62882×body256valid
7.7s55241×body256invalid
1.6s4127×body2048valid
1.0s3664×body256infinite
712.0ms2137×body2048infinite
240.0ms995×body1024infinite
94.0ms499×body512infinite
Bogosity

analyze9.2s (18.6%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
12.5%22.2%155.4%-77.6%0%0%0%1
6.7%22.2%310.8%-233%0%0%0%2
3.4%22.2%621.6%-543.8%0%0%0%3
1.8%22.2%1243.2%-1165.4%0%0%0%4
0.9%22.2%2486.5%-2408.7%0%0%0%5
0.4%22.2%4972.9%-4895.1%0%0%0%6
0.2%22.2%9945.8%-9868%0%0%0%7
0.1%22.2%19891.7%-19813.9%0%0%0%8
0.1%22.2%39783.3%-39705.6%0%0%0%9
0%22.2%79566.7%-79488.9%0%0%0%10
0%22.2%159133.4%-159055.6%0%0%0%11
0%22.2%318266.8%-318189%0%0%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

soundness2.7s (5.6%)

Rules
23106×fma-def
9148×associate-*r*
8240×associate-*l*
7020×log-prod
6070×times-frac
Stop Event
4×saturated
17×node limit
Compiler

Compiled 2227 to 1295 computations (41.9% saved)

localize2.6s (5.3%)

Compiler

Compiled 1899 to 916 computations (51.8% saved)

simplify2.4s (4.9%)

Algorithm
28×egg-herbie
Rules
23468×fma-def
9108×fma-neg
8542×times-frac
7148×div-sub
6800×associate-*r*
Stop Event
13×saturated
4×done
3×fuel
15×node limit
Counts
3987 → 4187
Compiler

Compiled 395 to 270 computations (31.6% saved)

eval2.2s (4.4%)

Compiler

Compiled 99937 to 53499 computations (46.5% saved)

rewrite1.5s (3%)

Algorithm
12×batch-egg-rewrite
Rules
9112×log-prod
7614×fma-def
5606×pow1
5324×add-exp-log
5322×expm1-log1p-u
Stop Event
12×node limit
Counts
51 → 2819

prune938.0ms (1.9%)

Counts
4733 → 124
Compiler

Compiled 3394 to 2253 computations (33.6% saved)

regimes662.0ms (1.3%)

Counts
177 → 43
Calls

14 calls:

165.0ms
x
135.0ms
y
110.0ms
z
63.0ms
n
39.0ms
f
Compiler

Compiled 1466 to 826 computations (43.7% saved)

preprocess657.0ms (1.3%)

Algorithm
18×egg-herbie
Rules
8158×fma-def
4716×div-sub
3918×associate-/r*
3722×times-frac
3438×associate-/l*
Stop Event
1×unsound
13×saturated
4×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

bsearch378.0ms (0.8%)

Algorithm
21×binary-search
Stop Event
19×narrow-enough
2×predicate-same
Results
295.0ms2217×body256valid
48.0ms327×body256infinite
Compiler

Compiled 3089 to 2388 computations (22.7% saved)

end349.0ms (0.7%)

Compiler

Compiled 880 to 542 computations (38.4% saved)

series152.0ms (0.3%)

Counts
51 → 1159
Calls

309 calls:

TimeVariablePointExpression
52.0ms
x
@-inf
(fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y))
8.0ms
f
@inf
(pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -2)
3.0ms
n
@-inf
(pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -2)
3.0ms
y
@0
(fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y))
3.0ms
n
@0
(pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -2)

Profiling

Loading profile data...