Herbie run

Date:Wednesday, January 24th, 2024
Commit:34547557 on faster-timeline-start
Hostname:nightly with Racket 8.6
Seed:2024024
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: 6.8min)

sample1.5min (21.6%)

Results
48.2s270333×256valid
6.0s31062×256infinite
9.5s19269×1024valid
17.9s13727×2048valid
3.3s11236×512valid
517.0ms2640×256invalid
164.0ms991×256unsamplable
646.0ms759×4096valid
1.7s202×8192exit
107.0ms188×512infinite
106.0ms160×1024infinite
19.0ms18×2048infinite
Bogosity

localize1.0min (14.9%)

Compiler

Compiled 27205 to 15879 computations (41.6% saved)

eval1.0min (14.8%)

Compiler

Compiled 2461164 to 1683638 computations (31.6% saved)

soundness54.4s (13.3%)

Rules
144564×fma-def
81416×associate-*r*
68770×times-frac
66214×associate-*l*
62908×fma-neg
Stop Event
4×saturated
220×node limit
Compiler

Compiled 18082 to 10790 computations (40.3% saved)

simplify32.7s (8%)

Algorithm
161×egg-herbie
Rules
98212×fma-def
53886×associate-*r*
49282×times-frac
48346×distribute-lft-in
47556×associate-*l*
Stop Event
15×done
42×saturated
27×fuel
119×node limit
Counts
51684 → 46217
Compiler

Compiled 7873 to 5062 computations (35.7% saved)

rewrite26.2s (6.4%)

Algorithm
119×batch-egg-rewrite
Rules
63898×log1p-expm1-u
52783×expm1-log1p-u
44752×prod-diff
39800×expm1-udef
37056×log1p-udef
Stop Event
119×node limit
Counts
918 → 33754

preprocess25.9s (6.3%)

Algorithm
42×egg-herbie
Rules
48610×fma-def
20956×sub-neg
19818×fma-neg
19082×div-sub
18016×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 30609 to 18645 computations (39.1% saved)

prune20.9s (5.1%)

Counts
80418 → 1973
Compiler

Compiled 115847 to 80635 computations (30.4% saved)

regimes16.6s (4%)

Counts
3737 → 547
Calls

94 calls:

2.3s
c
1.7s
d
1.3s
a
1.3s
b
1.2s
x
Compiler

Compiled 54914 to 33118 computations (39.7% saved)

bsearch10.0s (2.4%)

Algorithm
281×binary-search
20×left-value
Stop Event
268×narrow-enough
13×predicate-same
Results
5.1s24872×256valid
2.5s5954×256infinite
193.0ms1903×256invalid
881.0ms1658×1024valid
270.0ms881×512valid
346.0ms422×2048valid
34.0ms60×1024infinite
15.0ms45×512infinite
4.0ms27×256unsamplable
18.0ms10×4096valid
2.0ms2×2048infinite
Compiler

Compiled 78986 to 55312 computations (30% saved)

analyze9.0s (2.2%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
23.5%12.8%41.7%45.5%0%0%0%1
39.5%21.5%33%45.5%0%0%0%2
50.8%26.8%25.9%45.5%0%1.7%0%3
58.9%31%21.7%45.5%0%1.8%0%4
71.8%37.8%14.8%45.6%0%1.8%0%5
73.2%38.5%14.1%45.6%0%1.8%0%6
78.1%40.8%11.4%45.6%0%2.2%0%7
81.7%42.6%9.5%45.7%0%2.2%0%8
84.5%43.8%8%45.7%0%2.5%0%9
86.6%44.6%6.9%45.7%0%2.7%0%10
88.8%45.6%5.8%45.7%0%2.8%0.1%11
89.7%45.9%5.3%45.7%0%2.9%0.1%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

series3.9s (0.9%)

Counts
918 → 17930
Calls

4929 calls:

TimeVariablePointExpression
129.0ms
r
@0
(/.f64 w (/.f64 (-.f64 1 v) r))
103.0ms
c
@-inf
(sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))
102.0ms
c
@-inf
(/.f64 (pow.f64 (hypot.f64 c d) 2) c)
71.0ms
t
@0
(pow.f64 (*.f64 (sqrt.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4)) (sqrt.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4))) 2)
70.0ms
c
@0
(pow.f64 (*.f64 -2 (*.f64 a (/.f64 c b))) 3)

end11.0ms (0%)

Profiling

Loading profile data...