Herbie run

Date:Sunday, October 1st, 2023
Commit:89d2ba58 on better-profiles
Hostname:nightly with Racket 8.6
Seed:2023274
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.8min)

sample1.2min (32.2%)

Results
21.1s29930×body1024valid
18.6s109470×body256valid
16.8s12817×body8192exit
6.7s5807×body2048valid
6.3s14860×body512valid
1.9s3928×body1024invalid
894.0ms4739×body256infinite
630.0ms2074×body512invalid
579.0ms2437×body256invalid
184.0ms1290×body256unsamplable
144.0ms146×body1024infinite
64.0ms168×body512infinite
3.0ms1×body8192invalid
2.0ms3×body2048invalid
Bogosity

localize32.4s (14%)

Compiler

Compiled 8238 to 3349 computations (59.3% saved)

soundness24.1s (10.4%)

Rules
69388×fma-def
49716×log-prod
39536×associate-*r*
34706×fma-neg
32398×pow1
Stop Event
5×saturated
1×unsound
105×node limit
Compiler

Compiled 8362 to 4988 computations (40.3% saved)

eval23.8s (10.3%)

Compiler

Compiled 802796 to 410929 computations (48.8% saved)

simplify16.3s (7.1%)

Algorithm
81×egg-herbie
Rules
53476×fma-def
31184×log-prod
27798×associate-*r*
25918×associate-*l*
23964×distribute-lft-in
Stop Event
6×done
2×unsound
20×saturated
14×fuel
59×node limit
Counts
24754 → 19569
Compiler

Compiled 1632 to 1078 computations (33.9% saved)

regimes14.1s (6.1%)

Counts
2866 → 135
Calls

55 calls:

1.9s
a
1.7s
x
1.5s
b
978.0ms
r
706.0ms
c
Compiler

Compiled 38937 to 17264 computations (55.7% saved)

analyze14.0s (6.1%)

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)

prune12.4s (5.4%)

Counts
30482 → 1816
Compiler

Compiled 102671 to 65384 computations (36.3% saved)

rewrite9.9s (4.3%)

Algorithm
61×batch-egg-rewrite
Rules
46372×pow1
43564×add-exp-log
43502×log1p-expm1-u
43494×expm1-log1p-u
43042×add-log-exp
Stop Event
61×node limit
Counts
482 → 15367

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 4119 to 2268 computations (44.9% saved)

series3.6s (1.5%)

Counts
482 → 9387
Calls

2532 calls:

TimeVariablePointExpression
149.0ms
r
@-inf
(/.f64 (cos.f64 a) r)
143.0ms
b
@inf
(log.f64 (cbrt.f64 (cos.f64 (+.f64 b a))))
109.0ms
r
@-inf
(sqrt.f64 (/.f64 r (cos.f64 (+.f64 b a))))
89.0ms
x
@0
(log.f64 (*.f64 (sqrt.f64 2) x))
74.0ms
x
@0
(log.f64 (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (fmod.f64 (exp.f64 x) (sqrt.f64 (cos.f64 x)))))))))

bsearch1.7s (0.7%)

Algorithm
31×binary-search
6×left-value
Stop Event
30×narrow-enough
1×predicate-same
Results
678.0ms1987×body256valid
508.0ms593×body1024valid
163.0ms420×body256infinite
105.0ms194×body512valid
59.0ms47×body2048valid
56.0ms44×body1024infinite
29.0ms27×body512infinite
4.0ms26×body256unsamplable
Compiler

Compiled 5942 to 4075 computations (31.4% saved)

end2.0ms (0%)

Profiling

Loading profile data...