Herbie run

Date:Saturday, January 20th, 2024
Commit:d8d592a2 on error-explanations-2
Hostname:nightly with Racket 8.6
Seed:2024020
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: 7.0min)

sample1.5min (20.9%)

Results
47.1s270513×body256valid
17.3s13792×body2048valid
9.4s19415×body1024valid
6.2s31015×body256infinite
3.4s10898×body512valid
1.6s202×body8192exit
582.0ms753×body4096valid
320.0ms2640×body256invalid
181.0ms977×body256unsamplable
104.0ms144×body1024infinite
78.0ms206×body512infinite
17.0ms16×body2048infinite
Bogosity

localize1.1min (15.5%)

Compiler

Compiled 30610 to 18828 computations (38.5% saved)

soundness1.0min (14.8%)

Rules
169914×fma-def
85734×associate-*r*
84518×times-frac
81578×distribute-lft-in
76348×distribute-rgt-in
Stop Event
4×saturated
252×node limit
Compiler

Compiled 21994 to 13459 computations (38.8% saved)

eval59.0s (14.1%)

Compiler

Compiled 2428020 to 1685264 computations (30.6% saved)

simplify34.1s (8.2%)

Algorithm
165×egg-herbie
Rules
96922×fma-def
57196×times-frac
56276×associate-*r*
56038×distribute-lft-in
53176×distribute-rgt-in
Stop Event
14×done
42×saturated
28×fuel
123×node limit
Counts
53348 → 47769
Compiler

Compiled 8113 to 5237 computations (35.4% saved)

rewrite26.2s (6.3%)

Algorithm
123×batch-egg-rewrite
Rules
67895×log1p-expm1-u
56864×expm1-log1p-u
38018×prod-diff
37702×expm1-udef
37100×log-prod
Stop Event
123×node limit
Counts
951 → 35284

preprocess25.3s (6.1%)

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 32025 to 19747 computations (38.3% saved)

prune19.5s (4.7%)

Counts
74447 → 1945
Compiler

Compiled 122467 to 85254 computations (30.4% saved)

regimes18.5s (4.4%)

Counts
3973 → 515
Calls

94 calls:

3.1s
c
1.4s
b
1.3s
x1
1.3s
a
1.2s
x
Compiler

Compiled 79981 to 49495 computations (38.1% saved)

bsearch8.7s (2.1%)

Algorithm
226×binary-search
29×left-value
Stop Event
215×narrow-enough
11×predicate-same
Results
4.2s20975×body256valid
1.6s4043×body256infinite
967.0ms1574×body1024valid
459.0ms304×body2048valid
405.0ms983×body512valid
180.0ms1674×body256invalid
27.0ms49×body1024infinite
12.0ms34×body512infinite
5.0ms6×body2048infinite
Compiler

Compiled 59057 to 41698 computations (29.4% saved)

analyze8.3s (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)

series4.0s (1%)

Counts
951 → 18064
Calls

4917 calls:

TimeVariablePointExpression
140.0ms
c
@0
(/.f64 (/.f64 1 (/.f64 (/.f64 1 b) c)) (+.f64 (*.f64 c c) (*.f64 d d)))
108.0ms
x
@inf
(log1p.f64 (pow.f64 (exp.f64 10) (pow.f64 x 2)))
105.0ms
b
@0
(/.f64 -1/2 (/.f64 a (+.f64 b (exp.f64 (*.f64 (-.f64 (log.f64 (*.f64 a 4)) (log.f64 (/.f64 -1 c))) 1/2)))))
98.0ms
t
@0
(pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t -170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000))) 3)
70.0ms
eps
@0
(/.f64 (-.f64 (pow.f64 (+.f64 x eps) 10) (pow.f64 x 10)) (+.f64 (pow.f64 (+.f64 x eps) 5) (pow.f64 x 5)))

end49.0ms (0%)

Profiling

Loading profile data...