Herbie run

Date:Wednesday, December 13th, 2023
Commit:665878db on main
Hostname:nightly with Racket 8.6
Seed:2023347
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.1min)

sample1.3min (20.9%)

Results
40.8s269907×body256valid
16.2s14278×body2048valid
8.5s19563×body1024valid
4.9s30850×body256infinite
3.2s11003×body512valid
1.7s202×body8192exit
466.0ms768×body4096valid
342.0ms2677×body256invalid
124.0ms953×body256unsamplable
110.0ms175×body1024infinite
80.0ms194×body512infinite
14.0ms14×body2048infinite
Bogosity

eval1.0min (16.5%)

Compiler

Compiled 2661848 to 1807127 computations (32.1% saved)

soundness54.6s (14.8%)

Rules
184880×fma-def
99572×times-frac
96952×associate-*r*
79532×distribute-lft-in
78700×distribute-rgt-in
Stop Event
4×saturated
265×node limit
Compiler

Compiled 23704 to 14175 computations (40.2% saved)

localize52.9s (14.4%)

Compiler

Compiled 30716 to 18792 computations (38.8% saved)

simplify27.5s (7.5%)

Algorithm
163×egg-herbie
Rules
97216×fma-def
60998×times-frac
57364×associate-*r*
54062×distribute-lft-in
53452×distribute-rgt-in
Stop Event
14×done
42×saturated
28×fuel
121×node limit
Counts
51097 → 46790
Compiler

Compiled 10710 to 6761 computations (36.9% saved)

prune20.2s (5.5%)

Counts
76855 → 2066
Compiler

Compiled 135263 to 93726 computations (30.7% saved)

regimes19.8s (5.4%)

Counts
4368 → 619
Calls

94 calls:

2.9s
d
1.9s
c
1.9s
x1
1.5s
a
1.5s
b
Compiler

Compiled 81295 to 50276 computations (38.2% saved)

rewrite17.8s (4.8%)

Algorithm
121×batch-egg-rewrite
Rules
61714×log1p-expm1-u
54608×expm1-log1p-u
40796×prod-diff
39426×log-prod
38922×expm1-udef
Stop Event
121×node limit
Counts
930 → 34185

preprocess16.0s (4.3%)

Algorithm
42×egg-herbie
Rules
53066×fma-def
20932×sub-neg
19756×fma-neg
19090×div-sub
18074×unsub-neg
Stop Event
11×saturated
31×node limit
Compiler

Compiled 32376 to 19588 computations (39.5% saved)

bsearch11.3s (3.1%)

Algorithm
333×binary-search
17×left-value
Stop Event
307×narrow-enough
26×predicate-same
Results
6.2s31542×body256valid
2.8s7142×body256infinite
524.0ms999×body1024valid
386.0ms474×body2048valid
287.0ms971×body512valid
107.0ms971×body256invalid
53.0ms92×body1024infinite
23.0ms67×body512infinite
15.0ms7×body4096valid
3.0ms21×body256unsamplable
2.0ms2×body2048infinite
Compiler

Compiled 119222 to 81472 computations (31.7% saved)

analyze7.2s (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
37.4%20.4%34.1%45.5%0%0%0%2
49.2%26.2%27.1%45.5%0%1.2%0%3
58%30.7%22.3%45.5%0%1.5%0%4
71.4%37.7%15.1%45.6%0%1.7%0%5
73%38.4%14.2%45.6%0%1.7%0%6
78%40.7%11.5%45.6%0%2.2%0%7
81.6%42.6%9.6%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.7%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.3s (0.9%)

Counts
930 → 16912
Calls

4821 calls:

TimeVariablePointExpression
136.0ms
x
@-inf
(*.f64 2 (*.f64 eps x))
62.0ms
t
@0
(pow.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000)) 3)
58.0ms
x1
@0
(+.f64 (*.f64 2 (*.f64 (/.f64 (-.f64 (*.f64 3 (*.f64 x1 x1)) (fma.f64 x2 -2 x1)) (fma.f64 x1 x1 1)) (+.f64 (/.f64 (-.f64 (*.f64 3 (*.f64 x1 x1)) (fma.f64 x2 -2 x1)) (fma.f64 x1 x1 1)) -3))) (*.f64 x1 (fma.f64 (/.f64 (-.f64 (*.f64 3 (*.f64 x1 x1)) (fma.f64 x2 -2 x1)) (fma.f64 x1 x1 1)) 4 -6)))
57.0ms
t
@0
(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3) 2)
51.0ms
u
@-inf
(/.f64 t1 (/.f64 (-.f64 t1 u) (/.f64 v (+.f64 u t1))))

end11.0ms (0%)

Profiling

Loading profile data...