Herbie run

Date:Saturday, January 27th, 2024
Commit:72aaa402 on sample-profiles-more
Hostname:nightly with Racket 8.11.1
Seed:2024027
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.9min)

sample1.4min (20.3%)

Results
45.6s270497×256valid
6.0s30963×256infinite
9.6s19368×1024valid
17.4s13720×2048valid
2.8s11063×512valid
311.0ms2660×256invalid
141.0ms924×256unsamplable
452.0ms776×4096valid
1.7s202×8192exit
91.0ms200×512infinite
102.0ms154×1024infinite
15.0ms11×2048infinite
Bogosity

eval1.1min (16.2%)

Compiler

Compiled 2558115 to 1712450 computations (33.1% saved)

localize1.1min (16.1%)

Compiler

Compiled 30051 to 18127 computations (39.7% saved)

soundness54.0s (13%)

Rules
152480×fma-def
82712×associate-*r*
79182×times-frac
72966×associate-*l*
69374×fma-neg
Stop Event
4×saturated
227×node limit
Compiler

Compiled 19283 to 11440 computations (40.7% saved)

simplify33.3s (8%)

Algorithm
166×egg-herbie
Rules
96736×fma-def
58494×associate-*r*
57786×fma-neg
56066×log-prod
54502×associate-*l*
Stop Event
42×saturated
124×node limit
19×fuel
23×done
Counts
50225 → 45823
Compiler

Compiled 7615 to 5123 computations (32.7% saved)

rewrite26.9s (6.5%)

Algorithm
124×batch-egg-rewrite
Rules
65851×log1p-expm1-u
56050×expm1-log1p-u
40362×prod-diff
39896×log-prod
39468×expm1-udef
Stop Event
124×node limit
Counts
888 → 32870

preprocess26.8s (6.4%)

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 30213 to 19219 computations (36.4% saved)

prune18.6s (4.5%)

Counts
71185 → 1905
Compiler

Compiled 73009 to 50308 computations (31.1% saved)

regimes16.0s (3.8%)

Counts
3976 → 507
Calls

94 calls:

2.0s
x1
1.7s
x
1.7s
b
1.6s
c
1.6s
a
Compiler

Compiled 4016 to 2874 computations (28.4% saved)

bsearch9.6s (2.3%)

Algorithm
233×binary-search
21×left-value
Stop Event
18×predicate-same
215×narrow-enough
Results
4.6s19231×256valid
2.7s6843×256infinite
132.0ms1260×256invalid
600.0ms1106×1024valid
391.0ms942×512valid
273.0ms318×2048valid
16.0ms45×512infinite
22.0ms39×1024infinite
2.0ms14×256unsamplable
9.0ms4×4096valid
Compiler

Compiled 68561 to 49078 computations (28.4% saved)

analyze8.5s (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.5s (0.8%)

Counts
888 → 17355
Calls

4650 calls:

TimeVariablePointExpression
136.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 5/6)
118.0ms
t
@0
(pow.f64 (sqrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 2)
59.0ms
i
@-inf
(/.f64 (-.f64 (exp.f64 i) 1) (/.f64 i n))
53.0ms
x
@inf
(pow.f64 (exp.f64 5) (log.f64 (pow.f64 (exp.f64 (pow.f64 x 2)) 2)))
51.0ms
x
@inf
(*.f64 1/6 (pow.f64 x 3))

end14.0ms (0%)

Profiling

Loading profile data...