Herbie run

Date:Friday, October 6th, 2023
Commit:f10612bf on report-tolerance
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: 4.0min)

sample1.2min (30.2%)

Results
21.2s29669×body1024valid
18.6s109649×body256valid
16.3s12804×body8192exit
6.4s5891×body2048valid
5.6s14884×body512valid
2.1s4042×body1024invalid
926.0ms4691×body256infinite
570.0ms2004×body512invalid
350.0ms2462×body256invalid
196.0ms1224×body256unsamplable
89.0ms174×body1024infinite
55.0ms162×body512infinite
6.0ms2×body8192invalid
5.0ms7×body2048invalid
3.0ms2×body4096invalid
Bogosity

localize39.6s (16.4%)

Compiler

Compiled 8284 to 3479 computations (58% saved)

soundness29.1s (12.1%)

Rules
81406×fma-def
56232×pow1
52674×add-exp-log
52524×log1p-expm1-u
52522×expm1-log1p-u
Stop Event
5×saturated
5×unsound
136×node limit
Compiler

Compiled 11984 to 5953 computations (50.3% saved)

eval22.2s (9.2%)

Compiler

Compiled 768247 to 361833 computations (52.9% saved)

regimes15.1s (6.3%)

Counts
3350 → 163
Calls

53 calls:

2.7s
x
1.3s
a
959.0ms
b
871.0ms
c
816.0ms
s
Compiler

Compiled 42360 to 18869 computations (55.5% saved)

simplify15.1s (6.3%)

Algorithm
84×egg-herbie
Rules
48504×fma-def
33588×log-prod
30818×associate-*r*
26706×associate-*l*
23902×times-frac
Stop Event
4×done
5×unsound
20×saturated
16×fuel
59×node limit
Counts
22465 → 17681
Compiler

Compiled 1967 to 1290 computations (34.4% saved)

prune14.4s (6%)

Counts
31542 → 1695
Compiler

Compiled 91538 to 59426 computations (35.1% saved)

analyze11.9s (4.9%)

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)

rewrite9.1s (3.8%)

Algorithm
64×batch-egg-rewrite
Rules
52282×pow1
48942×add-exp-log
48834×log1p-expm1-u
48830×expm1-log1p-u
45266×add-log-exp
Stop Event
64×node limit
Counts
434 → 14175

preprocess5.2s (2.2%)

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 4831 to 2572 computations (46.8% saved)

series4.3s (1.8%)

Counts
434 → 8290
Calls

2202 calls:

TimeVariablePointExpression
339.0ms
w
@0
(+.f64 (*.f64 -1 (*.f64 (log.f64 (/.f64 1 l)) (*.f64 l w))) (*.f64 (neg.f64 l) w))
118.0ms
z
@-inf
(pow.f64 (+.f64 x (-.f64 (tan.f64 (+.f64 z y)) a)) 3)
114.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
113.0ms
c
@0
(log.f64 (*.f64 c (*.f64 x s)))
97.0ms
a
@-inf
(log.f64 (*.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))) r))

bsearch2.4s (1%)

Algorithm
48×binary-search
2×left-value
Stop Event
43×narrow-enough
3×predicate-failed
2×predicate-same
Results
1.2s2992×body256valid
523.0ms961×body1024valid
294.0ms355×body2048valid
181.0ms483×body512valid
88.0ms265×body256infinite
49.0ms303×body256invalid
Compiler

Compiled 8604 to 6049 computations (29.7% saved)

end4.0ms (0%)

Profiling

Loading profile data...