Herbie run

Date:Saturday, August 12th, 2023
Commit:e1aa4bdc on compare-reports
Hostname:nightly with Racket 8.6
Seed:2023224
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: 2.6min)

sample48.9s (30.9%)

Results
12.6s109776×body256valid
12.2s12868×body8192exit
12.1s29564×body1024valid
4.6s5890×body2048valid
3.9s14942×body512valid
1.4s4028×body1024invalid
709.0ms4634×body256infinite
396.0ms2043×body512invalid
239.0ms2488×body256invalid
149.0ms1179×body256unsamplable
54.0ms138×body1024infinite
52.0ms176×body512infinite
6.0ms2×body8192invalid
1.0ms1×body4096invalid
0.0ms1×body2048invalid
Bogosity

localize23.5s (14.9%)

Compiler

Compiled 8290 to 3565 computations (57% saved)

soundness19.5s (12.4%)

Rules
59350×fma-def
52172×pow1
49120×add-exp-log
49020×log1p-expm1-u
49002×expm1-log1p-u
Stop Event
7×saturated
4×unsound
119×node limit
Compiler

Compiled 9833 to 5401 computations (45.1% saved)

simplify12.2s (7.7%)

Algorithm
102×egg-herbie
Rules
63758×fma-def
33200×associate-*r*
30318×log-prod
28614×associate-*l*
27394×sqr-pow
Stop Event
4×unsound
4×done
33×saturated
16×fuel
65×node limit
Counts
24993 → 18225
Compiler

Compiled 1833 to 1226 computations (33.1% saved)

eval12.1s (7.6%)

Compiler

Compiled 702020 to 364784 computations (48% saved)

analyze9.5s (6%)

Algorithm
20×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%73.7%26.3%0%0%0%0
22.1%16.3%57.5%26.3%0%0%0%1
47.5%35%38.7%26.3%0%0%0%2
56%41.2%32.5%26.3%0%0%0%3
65.3%48.1%25.6%26.3%0%0%0%4
68.7%50%22.8%26.3%0%0.9%0%5
70.3%50.9%21.5%26.3%0%1.1%0.2%6
74.5%53.6%18.3%26.3%0%1.6%0.2%7
75.5%54.1%17.6%26.3%0%1.8%0.2%8
77.7%55.5%15.9%26.3%0%2%0.2%9
79.1%56.4%14.9%26.3%0%2.2%0.3%10
79.8%56.8%14.3%26.3%0%2.3%0.3%11
80.5%57.2%13.8%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

regimes9.3s (5.9%)

Counts
3336 → 153
Calls

53 calls:

1.4s
x
1.0s
a
654.0ms
b
619.0ms
z
582.0ms
r
Compiler

Compiled 41556 to 19969 computations (51.9% saved)

prune8.6s (5.4%)

Counts
28636 → 1715
Compiler

Compiled 88361 to 58124 computations (34.2% saved)

rewrite7.2s (4.6%)

Algorithm
62×batch-egg-rewrite
Rules
47400×pow1
44434×add-exp-log
44376×log1p-expm1-u
44348×expm1-log1p-u
43874×add-log-exp
Stop Event
62×node limit
Counts
489 → 15130

preprocess3.4s (2.1%)

Algorithm
20×egg-herbie
Rules
18794×fma-def
9552×fma-neg
5312×distribute-lft-neg-in
4910×sub-neg
4300×distribute-rgt-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 4571 to 2564 computations (43.9% saved)

series2.7s (1.7%)

Counts
489 → 9843
Calls

2481 calls:

TimeVariablePointExpression
224.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
73.0ms
x
@0
(expm1.f64 (log.f64 x))
63.0ms
l
@inf
(pow.f64 (pow.f64 l 1/4) (*.f64 (exp.f64 w) 4))
61.0ms
l
@-inf
(pow.f64 (pow.f64 l 1/4) (*.f64 (exp.f64 w) 4))
55.0ms
b
@-inf
(-.f64 (exp.f64 (log1p.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))) 1)

bsearch1.2s (0.8%)

Algorithm
34×binary-search
4×left-value
Stop Event
33×narrow-enough
1×predicate-same
Results
518.0ms581×body1024valid
391.0ms2555×body256valid
94.0ms355×body512valid
54.0ms343×body256infinite
49.0ms45×body2048valid
10.0ms41×body512infinite
Compiler

Compiled 6824 to 4649 computations (31.9% saved)

end1.0ms (0%)

Profiling

Loading profile data...