Herbie run

Date:Friday, January 19th, 2024
Commit:4a418bc7 on main
Hostname:nightly with Racket 8.6
Seed:2024019
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.2min)

sample53.4s (27.7%)

Results
16.3s116233×body256valid
14.1s12888×body8192exit
7.8s23282×body512valid
6.2s15869×body1024valid
5.8s4781×body2048valid
1.0s2227×body1024invalid
753.0ms4951×body256infinite
731.0ms4891×body256invalid
252.0ms1190×body512invalid
162.0ms1229×body256unsamplable
5.0ms2×body8192invalid
2.0ms4×body512infinite
1.0ms1×body4096invalid
1.0ms1×body2048invalid
Bogosity

soundness28.3s (14.7%)

Rules
71440×fma-def
30162×log-prod
29266×times-frac
27002×associate-*r*
26349×log1p-expm1-u
Stop Event
1×unsound
6×saturated
84×node limit
Compiler

Compiled 6778 to 3686 computations (45.6% saved)

localize24.7s (12.8%)

Compiler

Compiled 7439 to 3552 computations (52.3% saved)

eval17.8s (9.2%)

Compiler

Compiled 815146 to 457528 computations (43.9% saved)

simplify15.1s (7.8%)

Algorithm
79×egg-herbie
Rules
45446×fma-def
29960×log-prod
25736×associate-*r*
22824×fma-neg
22786×times-frac
Stop Event
5×unsound
6×done
20×saturated
14×fuel
54×node limit
Counts
25260 → 19904
Compiler

Compiled 1304 to 912 computations (30.1% saved)

rewrite12.0s (6.2%)

Algorithm
59×batch-egg-rewrite
Rules
33386×log1p-expm1-u
28660×expm1-log1p-u
24224×log-prod
23620×prod-diff
15864×expm1-udef
Stop Event
59×node limit
Counts
432 → 17760

analyze10.4s (5.4%)

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
44.1%32.5%41.2%26.3%0%0%0%2
52.6%38.7%35%26.3%0%0%0%3
61.9%45.6%28.1%26.3%0%0%0%4
65.2%47.5%25.3%26.3%0%0.9%0%5
66.8%48.4%24%26.3%0%1.1%0.2%6
71%51.1%20.8%26.3%0%1.6%0.2%7
72%51.6%20.1%26.3%0%1.8%0.2%8
74.2%53%18.4%26.3%0%2%0.2%9
75.7%53.9%17.3%26.3%0%2.2%0.3%10
76.4%54.3%16.8%26.3%0%2.3%0.3%11
77.2%54.8%16.2%26.3%0%2.4%0.3%12
Compiler

Compiled 295 to 210 computations (28.8% saved)

regimes10.2s (5.3%)

Counts
2450 → 119
Calls

53 calls:

1.3s
a
1.3s
b
899.0ms
x
817.0ms
r
565.0ms
(-.f64 (*.f64 a a) (*.f64 b b))
Compiler

Compiled 28598 to 13311 computations (53.5% saved)

prune10.2s (5.3%)

Counts
33690 → 1513
Compiler

Compiled 79505 to 54103 computations (32% saved)

preprocess5.9s (3.1%)

Algorithm
20×egg-herbie
Rules
23976×fma-def
6950×fma-neg
6346×distribute-lft-neg-in
5212×div-sub
4916×distribute-rgt-neg-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 8204 to 4869 computations (40.7% saved)

series4.1s (2.1%)

Counts
432 → 7500
Calls

2055 calls:

TimeVariablePointExpression
188.0ms
x
@-inf
(/.f64 1 (pow.f64 (*.f64 c (fabs.f64 (*.f64 s x))) 2))
172.0ms
a
@0
(pow.f64 (-.f64 (+.f64 x (tan.f64 (+.f64 y z))) a) 3)
141.0ms
r
@0
(*.f64 r (log.f64 (+.f64 1 (expm1.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a)))))))
138.0ms
b
@inf
(/.f64 1 (cos.f64 (+.f64 b a)))
137.0ms
a
@-inf
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (sin.f64 b) (fabs.f64 (cos.f64 (+.f64 a b)))))))

bsearch958.0ms (0.5%)

Algorithm
21×binary-search
13×left-value
Stop Event
16×narrow-enough
4×predicate-failed
1×predicate-same
Results
613.0ms1628×body256valid
135.0ms404×body256invalid
134.0ms501×body512valid
8.0ms47×body256infinite
Compiler

Compiled 3212 to 2397 computations (25.4% saved)

end1.0ms (0%)

Profiling

Loading profile data...