Herbie run

Date:Wednesday, September 20th, 2023
Commit:c5f986cd on arb-support
Hostname:nightly with Racket 8.6
Seed:2023263
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: 55.5s)

sample32.4s (58.4%)

Results
17.1s62995×body256valid
10.1s55259×body256invalid
2.2s4121×body2048valid
1.2s3525×body256infinite
1.0s2080×body2048infinite
391.0ms1065×body1024infinite
126.0ms512×body512infinite
2.0ms3×body1024valid
1.0ms1×body4096valid
1.0ms2×body512valid
Bogosity

analyze10.8s (19.4%)

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)

localize3.1s (5.6%)

Compiler

Compiled 1927 to 907 computations (52.9% saved)

simplify2.0s (3.6%)

Algorithm
26×egg-herbie
Rules
20062×fma-def
8714×fma-neg
7730×times-frac
7254×div-sub
6202×associate-*l*
Stop Event
13×saturated
4×done
3×fuel
13×node limit
Counts
3590 → 3484
Compiler

Compiled 441 to 291 computations (34% saved)

soundness1.9s (3.5%)

Rules
13010×fma-def
7482×associate-*r*
7410×associate-*l*
4494×associate-/l*
4392×times-frac
Stop Event
3×saturated
12×node limit
Compiler

Compiled 1715 to 1040 computations (39.4% saved)

eval1.1s (2%)

Compiler

Compiled 68189 to 35578 computations (47.8% saved)

rewrite943.0ms (1.7%)

Algorithm
10×batch-egg-rewrite
Rules
5576×log-prod
5274×pow1
4986×add-exp-log
4984×expm1-log1p-u
4984×log1p-expm1-u
Stop Event
10×node limit
Counts
51 → 2352

bsearch753.0ms (1.4%)

Algorithm
28×binary-search
1×left-value
Stop Event
26×narrow-enough
2×predicate-same
Results
623.0ms2997×body256valid
88.0ms427×body256infinite
Compiler

Compiled 4110 to 3173 computations (22.8% saved)

regimes694.0ms (1.3%)

Counts
152 → 50
Calls

14 calls:

221.0ms
x
146.0ms
y
133.0ms
z
48.0ms
n
44.0ms
f
Compiler

Compiled 1227 to 703 computations (42.7% saved)

prune686.0ms (1.2%)

Counts
3685 → 131
Compiler

Compiled 3771 to 2520 computations (33.2% saved)

preprocess663.0ms (1.2%)

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)

end326.0ms (0.6%)

Compiler

Compiled 976 to 578 computations (40.8% saved)

series134.0ms (0.2%)

Counts
51 → 1229
Calls

339 calls:

TimeVariablePointExpression
29.0ms
y
@inf
(/.f64 (/.f64 (-.f64 (pow.f64 (+.f64 x 4) 2) (*.f64 (*.f64 z (neg.f64 x)) (*.f64 z (neg.f64 x)))) (-.f64 (+.f64 x 4) (*.f64 z (neg.f64 x)))) y)
7.0ms
y
@0
(fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y))
5.0ms
x
@0
(/.f64 (-.f64 (*.f64 (+.f64 x 4) y) (*.f64 y (*.f64 x z))) (*.f64 y y))
4.0ms
f
@inf
(/.f64 (*.f64 n n) (*.f64 f f))
2.0ms
n
@-inf
(+.f64 (*.f64 -2 (+.f64 (/.f64 (*.f64 n n) (*.f64 f f)) (/.f64 n f))) -1)

Profiling

Loading profile data...