Herbie run

Date:Wednesday, July 19th, 2023
Commit:687f458a on main
Hostname:nightly with Racket 8.6
Seed:2023200
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: 2.8min)

sample48.7s (29.2%)

Results
13.8s109382×body256valid
12.1s29880×body1024valid
11.2s13025×body8192exit
4.8s5886×body2048valid
3.6s14981×body512valid
1.3s3840×body1024invalid
612.0ms4651×body256infinite
421.0ms1943×body512invalid
243.0ms2497×body256invalid
142.0ms1212×body256unsamplable
96.0ms192×body512infinite
59.0ms148×body1024infinite
5.0ms2×body8192invalid
4.0ms3×body4096invalid
3.0ms3×body2048invalid
Bogosity

localize28.3s (17%)

Compiler

Compiled 9526 to 4338 computations (54.5% saved)

eval19.8s (11.9%)

Compiler

Compiled 1087494 to 647972 computations (40.4% saved)

soundness15.6s (9.4%)

Rules
48396×fma-def
36926×log-prod
35144×associate-*r*
33292×pow1
31336×add-exp-log
Stop Event
7×saturated
1×unsound
95×node limit
Compiler

Compiled 8822 to 5536 computations (37.2% saved)

simplify11.9s (7.1%)

Algorithm
102×egg-herbie
Rules
57924×fma-def
38756×associate-*r*
34516×log-prod
30932×associate-*l*
30658×unswap-sqr
Stop Event
2×unsound
4×done
33×saturated
16×fuel
67×node limit
Counts
22739 → 17856
Compiler

Compiled 2150 to 1565 computations (27.2% saved)

regimes10.2s (6.1%)

Counts
3331 → 145
Calls

53 calls:

1.2s
b
1.2s
x
1.0s
a
703.0ms
r
526.0ms
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 a b)))
Compiler

Compiled 49152 to 26740 computations (45.6% saved)

prune9.6s (5.8%)

Counts
33889 → 1760
Compiler

Compiled 99268 to 64764 computations (34.8% saved)

analyze8.7s (5.2%)

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)

rewrite7.0s (4.2%)

Algorithm
62×batch-egg-rewrite
Rules
51260×pow1
48126×add-exp-log
48080×log1p-expm1-u
48066×expm1-log1p-u
44508×add-log-exp
Stop Event
62×node limit
Counts
478 → 13548

preprocess3.1s (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 5209 to 3250 computations (37.6% saved)

series2.6s (1.6%)

Counts
478 → 9171
Calls

2388 calls:

TimeVariablePointExpression
181.0ms
x
@0
(-.f64 (/.f64 (sin.f64 z) (cos.f64 z)) (-.f64 (tan.f64 a) x))
74.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
62.0ms
a
@-inf
(log1p.f64 (cos.f64 a))
58.0ms
z
@0
(log1p.f64 (fabs.f64 (expm1.f64 (-.f64 (tan.f64 (+.f64 z y)) (tan.f64 a)))))
58.0ms
a
@-inf
(log.f64 (+.f64 (-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a)) x))

bsearch983.0ms (0.6%)

Algorithm
31×binary-search
6×left-value
Stop Event
30×narrow-enough
1×predicate-same
Results
396.0ms2640×body256valid
377.0ms655×body1024valid
74.0ms259×body512valid
47.0ms310×body256infinite
27.0ms40×body2048valid
Compiler

Compiled 6372 to 4652 computations (27% saved)

end2.0ms (0%)

Profiling

Loading profile data...