Herbie run

Date:Friday, October 6th, 2023
Commit:c7e70dc6 on main
Hostname:nightly with Racket 8.6
Seed:2023279
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: 3.7min)

sample1.2min (33.6%)

Results
20.4s29669×body1024valid
18.6s109649×body256valid
16.8s12804×body8192exit
6.3s5891×body2048valid
6.3s14884×body512valid
2.1s4042×body1024invalid
1.3s4691×body256infinite
607.0ms2004×body512invalid
371.0ms1224×body256unsamplable
325.0ms2462×body256invalid
116.0ms174×body1024infinite
75.0ms162×body512infinite
7.0ms2×body8192invalid
6.0ms7×body2048invalid
5.0ms2×body4096invalid
Bogosity

localize31.9s (14.5%)

Compiler

Compiled 8995 to 3735 computations (58.5% saved)

soundness24.8s (11.3%)

Rules
71996×fma-def
49944×pow1
46830×add-exp-log
46736×expm1-log1p-u
46736×log1p-expm1-u
Stop Event
4×saturated
5×unsound
122×node limit
Compiler

Compiled 11061 to 5495 computations (50.3% saved)

eval19.7s (8.9%)

Compiler

Compiled 778493 to 376790 computations (51.6% saved)

simplify14.7s (6.7%)

Algorithm
85×egg-herbie
Rules
48792×fma-def
34028×log-prod
31510×associate-*r*
27530×times-frac
24470×associate-*l*
Stop Event
4×done
5×unsound
20×saturated
16×fuel
60×node limit
Counts
21587 → 17401
Compiler

Compiled 1962 to 1277 computations (34.9% saved)

analyze12.8s (5.8%)

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)

regimes11.9s (5.4%)

Counts
2832 → 177
Calls

53 calls:

2.0s
x
1.2s
a
895.0ms
b
660.0ms
r
562.0ms
w
Compiler

Compiled 37661 to 17294 computations (54.1% saved)

prune11.3s (5.1%)

Counts
30985 → 1728
Compiler

Compiled 96793 to 62264 computations (35.7% saved)

rewrite9.1s (4.1%)

Algorithm
65×batch-egg-rewrite
Rules
54666×pow1
51228×add-exp-log
51154×log1p-expm1-u
51148×expm1-log1p-u
47596×add-log-exp
Stop Event
65×node limit
Counts
456 → 13000

preprocess4.3s (1.9%)

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 4849 to 2566 computations (47.1% saved)

series3.3s (1.5%)

Counts
456 → 8587
Calls

2331 calls:

TimeVariablePointExpression
175.0ms
a
@inf
(pow.f64 (E.f64) (log.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))))
104.0ms
r
@0
(pow.f64 (E.f64) (log.f64 (*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))))))
77.0ms
hi
@-inf
(/.f64 (-.f64 x lo) (-.f64 hi lo))
70.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
69.0ms
c
@0
(/.f64 1 (*.f64 (*.f64 c c) (*.f64 x (*.f64 s (*.f64 s x)))))

bsearch2.4s (1.1%)

Algorithm
67×binary-search
3×left-value
Stop Event
60×narrow-enough
7×predicate-same
Results
1.1s4294×body256valid
630.0ms960×body1024valid
292.0ms1509×body256infinite
191.0ms490×body512valid
64.0ms70×body2048valid
8.0ms45×body256unsamplable
3.0ms5×body512infinite
Compiler

Compiled 10822 to 7583 computations (29.9% saved)

end2.0ms (0%)

Profiling

Loading profile data...