Herbie run

Date:Wednesday, January 10th, 2024
Commit:3465769b on main
Hostname:nightly with Racket 8.6
Seed:2024010
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

Time bar (total: 4.9min)

sample1.7min (33.9%)

Results
33.6s33154×body2048valid
23.7s53577×body1024valid
14.6s96858×body256valid
13.2s62340×body256precondition
10.3s41056×body512valid
1.1s1857×body4096valid
1.0s1121×body1024invalid
852.0ms4326×body256infinite
653.0ms5029×body256invalid
486.0ms3861×body256unsamplable
287.0ms597×body512invalid
139.0ms151×body1024infinite
95.0ms189×body512infinite
Bogosity

soundness38.9s (13.1%)

Rules
138544×fma-def
66718×fma-neg
63694×associate-*r*
52344×times-frac
48370×associate-*l*
Stop Event
3×saturated
194×node limit
Compiler

Compiled 18329 to 11287 computations (38.4% saved)

localize37.6s (12.7%)

Compiler

Compiled 12537 to 7012 computations (44.1% saved)

eval30.9s (10.4%)

Compiler

Compiled 1409393 to 887319 computations (37% saved)

simplify21.1s (7.1%)

Algorithm
122×egg-herbie
Rules
73866×fma-def
47252×fma-neg
40902×associate-*r*
39636×times-frac
35052×distribute-lft-in
Stop Event
1×unsound
7×done
28×saturated
21×fuel
93×node limit
Counts
37837 → 37318
Compiler

Compiled 3859 to 2662 computations (31% saved)

regimes15.3s (5.2%)

Counts
5237 → 349
Calls

43 calls:

3.4s
eps
3.4s
x
1.2s
c
1.1s
a
924.0ms
b_2
Compiler

Compiled 57023 to 31089 computations (45.5% saved)

prune15.1s (5.1%)

Counts
56797 → 2293
Compiler

Compiled 116444 to 81122 computations (30.3% saved)

rewrite14.3s (4.8%)

Algorithm
94×batch-egg-rewrite
Rules
56797×log1p-expm1-u
42434×expm1-log1p-u
41748×prod-diff
32698×expm1-udef
29842×log1p-udef
Stop Event
94×node limit
Counts
710 → 27589

preprocess10.4s (3.5%)

Algorithm
28×egg-herbie
Rules
34252×fma-def
11926×fma-neg
11896×div-sub
9418×sub-neg
8164×distribute-lft-neg-in
Stop Event
13×saturated
15×node limit
Compiler

Compiled 11024 to 6567 computations (40.4% saved)

bsearch5.6s (1.9%)

Algorithm
131×binary-search
28×left-value
Stop Event
127×narrow-enough
4×predicate-same
Results
2.2s10503×body256valid
1.0s3205×body512valid
876.0ms752×body2048valid
530.0ms1081×body1024valid
384.0ms479×body256infinite
148.0ms1171×body256invalid
35.0ms70×body256unsamplable
18.0ms22×body1024infinite
18.0ms5×body4096valid
0.0ms1×body512infinite
Compiler

Compiled 25776 to 19123 computations (25.8% saved)

series4.4s (1.5%)

Counts
710 → 10248
Calls

3222 calls:

TimeVariablePointExpression
303.0ms
x
@inf
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
123.0ms
eps
@inf
(log.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))))
105.0ms
x
@-inf
(log.f64 (cos.f64 (*.f64 1/2 (fma.f64 2 x eps))))
93.0ms
a
@0
(*.f64 (expm1.f64 (*.f64 eps (+.f64 a b))) (/.f64 1 (*.f64 (*.f64 a b) eps)))
89.0ms
a
@0
(pow.f64 (exp.f64 1) (log.f64 (*.f64 1 (/.f64 (*.f64 a (/.f64 c b)) a))))

analyze2.6s (0.9%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%83%17%0%0%0%0
26.9%22.3%60.7%17%0%0%0%1
40.4%32.1%47.3%17%0%3.6%0%2
51.4%40.3%38.2%17%0%4.5%0%3
58.2%45.4%32.6%17.2%0%4.9%0%4
64.1%49.5%27.7%17.2%0%5.6%0%5
66.1%50.6%25.9%17.5%0%5.9%0%6
68.8%51.8%23.5%17.9%0%6.7%0.1%7
71%53.1%21.7%18.1%0%6.9%0.1%8
72.6%53.8%20.3%18.2%0%7.3%0.3%9
74%54.3%19.1%18.4%0%7.9%0.3%10
75.7%55.2%17.8%18.5%0%8.1%0.4%11
76.5%55.5%17.1%18.6%0%8.5%0.4%12
Compiler

Compiled 408 to 294 computations (27.9% saved)

end3.0ms (0%)

Profiling

Loading profile data...