Herbie run

Date:Sunday, January 21st, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024021
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.5min (21.4%)

Results
47.8s270662×body256valid
16.4s13680×body2048valid
9.8s19306×body1024valid
6.7s30934×body256infinite
3.2s11028×body512valid
2.1s202×body8192exit
461.0ms795×body4096valid
329.0ms2684×body256invalid
161.0ms999×body256unsamplable
86.0ms203×body512infinite
79.0ms126×body1024infinite
59.0ms18×body2048infinite
Bogosity

localize1.1min (16.3%)

Compiler

Compiled 30698 to 18566 computations (39.5% saved)

soundness1.0min (15%)

Rules
145038×fma-def
88186×associate-*r*
85532×times-frac
64192×distribute-lft-in
62758×associate-*l*
Stop Event
4×saturated
234×node limit
Compiler

Compiled 23720 to 14147 computations (40.4% saved)

eval56.5s (13.7%)

Compiler

Compiled 2377207 to 1612372 computations (32.2% saved)

simplify34.2s (8.3%)

Algorithm
161×egg-herbie
Rules
97398×fma-def
52428×log-prod
52398×associate-*r*
50422×distribute-lft-in
46722×times-frac
Stop Event
16×done
42×saturated
26×fuel
119×node limit
Counts
51718 → 46218
Compiler

Compiled 8427 to 5278 computations (37.4% saved)

rewrite24.9s (6.1%)

Algorithm
119×batch-egg-rewrite
Rules
61483×log1p-expm1-u
53758×expm1-log1p-u
42210×log-prod
35232×expm1-udef
32978×prod-diff
Stop Event
119×node limit
Counts
915 → 34058

prune20.2s (4.9%)

Counts
71423 → 1870
Compiler

Compiled 126775 to 88320 computations (30.3% saved)

regimes18.8s (4.6%)

Counts
3820 → 529
Calls

94 calls:

3.5s
c
1.6s
b
1.4s
x
1.3s
d
1.2s
a
Compiler

Compiled 72443 to 43894 computations (39.4% saved)

preprocess18.4s (4.5%)

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 28496 to 16974 computations (40.4% saved)

bsearch9.7s (2.4%)

Algorithm
264×binary-search
19×left-value
Stop Event
248×narrow-enough
16×predicate-same
Results
5.1s25611×body256valid
2.1s4470×body256infinite
958.0ms1978×body1024valid
319.0ms1085×body512valid
231.0ms2359×body256invalid
196.0ms291×body2048valid
62.0ms110×body1024infinite
30.0ms86×body512infinite
5.0ms35×body256unsamplable
0.0ms1×body4096valid
Compiler

Compiled 76053 to 52019 computations (31.6% saved)

analyze8.7s (2.1%)

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.9%)

Counts
915 → 17660
Calls

4794 calls:

TimeVariablePointExpression
119.0ms
t
@0
(pow.f64 (*.f64 (sqrt.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 3/4)) (sqrt.f64 (pow.f64 (fma.f64 t 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000) 1/4))) 2)
112.0ms
w
@-inf
(*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r))
87.0ms
t1
@-inf
(*.f64 t1 (neg.f64 (/.f64 (/.f64 v u) (+.f64 t1 u))))
62.0ms
x
@-inf
(/.f64 (fma.f64 y y (*.f64 x x)) (+.f64 x y))
51.0ms
x
@0
(pow.f64 (pow.f64 (exp.f64 10) x) (sqrt.f64 x))

end16.0ms (0%)

Profiling

Loading profile data...