Herbie run

Date:Friday, January 19th, 2024
Commit:18bd0a90 on zane-regimes-2
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.0min)

sample52.9s (29.8%)

Results
16.3s116233×body256valid
14.8s12888×body8192exit
7.7s23282×body512valid
5.6s15869×body1024valid
4.9s4781×body2048valid
1.0s4951×body256infinite
919.0ms2227×body1024invalid
816.0ms4891×body256invalid
310.0ms1190×body512invalid
166.0ms1229×body256unsamplable
5.0ms2×body8192invalid
2.0ms1×body2048invalid
2.0ms1×body4096invalid
1.0ms4×body512infinite
Bogosity

localize27.2s (15.3%)

Compiler

Compiled 7436 to 3693 computations (50.3% saved)

soundness19.8s (11.1%)

Rules
69746×fma-def
33362×log-prod
28938×associate-*r*
26694×log1p-expm1-u
24568×times-frac
Stop Event
1×unsound
6×saturated
93×node limit
Compiler

Compiled 9507 to 5603 computations (41.1% saved)

eval17.5s (9.9%)

Compiler

Compiled 877693 to 502813 computations (42.7% saved)

simplify12.0s (6.8%)

Algorithm
79×egg-herbie
Rules
43334×fma-def
30964×log-prod
27494×associate-*r*
23862×associate-*l*
23816×distribute-lft-in
Stop Event
6×done
3×unsound
20×saturated
14×fuel
56×node limit
Counts
25046 → 19173
Compiler

Compiled 1495 to 1070 computations (28.4% saved)

regimes11.9s (6.7%)

Counts
3116 → 126
Calls

53 calls:

1.6s
b
1.6s
a
1.2s
r
1.0s
x
786.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 37332 to 19476 computations (47.8% saved)

analyze9.7s (5.5%)

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)

prune8.9s (5%)

Counts
35000 → 1517
Compiler

Compiled 83302 to 57716 computations (30.7% saved)

rewrite8.5s (4.8%)

Algorithm
59×batch-egg-rewrite
Rules
32064×log1p-expm1-u
28140×expm1-log1p-u
25064×prod-diff
24322×log-prod
17866×expm1-udef
Stop Event
59×node limit
Counts
427 → 17552

preprocess5.1s (2.9%)

Algorithm
20×egg-herbie
Rules
23976×fma-def
6946×fma-neg
6348×distribute-lft-neg-in
5222×div-sub
4908×distribute-rgt-neg-in
Stop Event
12×saturated
8×node limit
Compiler

Compiled 7988 to 4807 computations (39.8% saved)

series3.4s (1.9%)

Counts
427 → 7494
Calls

2046 calls:

TimeVariablePointExpression
156.0ms
r
@inf
(pow.f64 (pow.f64 (/.f64 r (cos.f64 (+.f64 b a))) 3) 1/3)
143.0ms
z
@0
(pow.f64 (pow.f64 (+.f64 (/.f64 (sin.f64 (+.f64 y z)) (cos.f64 (+.f64 y z))) x) 3) 1/3)
127.0ms
x
@inf
(pow.f64 (pow.f64 (+.f64 (/.f64 (sin.f64 (+.f64 y z)) (cos.f64 (+.f64 y z))) x) 3) 1/3)
92.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
76.0ms
l
@-inf
(pow.f64 (exp.f64 1) (log.f64 (pow.f64 l (exp.f64 w))))

bsearch607.0ms (0.3%)

Algorithm
18×binary-search
14×left-value
Stop Event
13×narrow-enough
5×predicate-failed
Results
282.0ms1355×body256valid
217.0ms501×body512valid
75.0ms505×body256invalid
Compiler

Compiled 2478 to 1866 computations (24.7% saved)

end1.0ms (0%)

Profiling

Loading profile data...