Herbie run

Date:Thursday, January 18th, 2024
Commit:24741fd0 on main
Hostname:nightly with Racket 8.6
Seed:2024018
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.5min)

sample57.9s (27.3%)

Results
19.0s116138×body256valid
15.7s12932×body8192exit
8.1s23314×body512valid
6.4s16020×body1024valid
4.8s4694×body2048valid
1.2s2369×body1024invalid
1.0s4950×body256infinite
832.0ms4814×body256invalid
304.0ms1215×body512invalid
165.0ms1222×body256unsamplable
6.0ms4×body4096invalid
3.0ms1×body8192invalid
1.0ms4×body512infinite
Bogosity

soundness26.8s (12.6%)

Rules
52504×fma-def
29884×associate-*r*
29787×log1p-expm1-u
28606×log-prod
28444×fma-neg
Stop Event
6×saturated
5×unsound
88×node limit
Compiler

Compiled 7872 to 3776 computations (52% saved)

localize24.9s (11.7%)

Compiler

Compiled 7438 to 3297 computations (55.7% saved)

eval18.9s (8.9%)

Compiler

Compiled 924804 to 492456 computations (46.8% saved)

regimes16.1s (7.6%)

Counts
3202 → 137
Calls

55 calls:

2.0s
a
1.9s
r
1.5s
b
1.2s
z
1.1s
lo
Compiler

Compiled 36543 to 15438 computations (57.8% saved)

analyze15.5s (7.3%)

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)

rewrite14.4s (6.8%)

Algorithm
60×batch-egg-rewrite
Rules
31910×log1p-expm1-u
26148×expm1-log1p-u
21556×prod-diff
17964×unpow-prod-down
17942×expm1-udef
Stop Event
60×node limit
Counts
439 → 18199

simplify14.0s (6.6%)

Algorithm
80×egg-herbie
Rules
40584×fma-def
30944×fma-neg
28858×log-prod
27434×times-frac
23922×distribute-lft-in
Stop Event
4×done
6×unsound
20×saturated
16×fuel
54×node limit
Counts
26003 → 19457
Compiler

Compiled 1453 to 947 computations (34.8% saved)

prune13.3s (6.3%)

Counts
38873 → 1645
Compiler

Compiled 85310 to 56742 computations (33.5% saved)

preprocess5.1s (2.4%)

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 8738 to 5039 computations (42.3% saved)

series4.3s (2%)

Counts
439 → 7804
Calls

2118 calls:

TimeVariablePointExpression
253.0ms
a
@0
(exp.f64 (log.f64 (*.f64 (sin.f64 b) (/.f64 r (cos.f64 (+.f64 b a))))))
253.0ms
y
@-inf
(-.f64 (sqrt.f64 (pow.f64 (tan.f64 (+.f64 y z)) 2)) (tan.f64 a))
250.0ms
l
@0
(pow.f64 (exp.f64 1) (log.f64 l))
197.0ms
a
@inf
(/.f64 (*.f64 r (sin.f64 b)) (fma.f64 (cos.f64 b) (cos.f64 a) (*.f64 (neg.f64 (sin.f64 b)) (sin.f64 a))))
118.0ms
b
@inf
(fma.f64 (neg.f64 (-.f64 (exp.f64 (log1p.f64 (sin.f64 b))) 1)) (sin.f64 a) (*.f64 (sin.f64 b) (sin.f64 a)))

bsearch799.0ms (0.4%)

Algorithm
25×binary-search
5×left-value
Stop Event
25×narrow-enough
Results
448.0ms1796×body256valid
305.0ms899×body512valid
2.0ms9×body256infinite
Compiler

Compiled 3816 to 2762 computations (27.6% saved)

end2.0ms (0%)

Profiling

Loading profile data...