Herbie run

Date:Tuesday, July 18th, 2023
Commit:6cb26432 on main
Hostname:nightly with Racket 8.6
Seed:2023199
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.7min)

sample50.0s (31.2%)

Results
13.1s109450×body256valid
12.5s12971×body8192exit
12.1s29724×body1024valid
5.0s5867×body2048valid
3.8s15049×body512valid
1.4s3998×body1024invalid
748.0ms4726×body256infinite
392.0ms2014×body512invalid
275.0ms2432×body256invalid
188.0ms1214×body256unsamplable
56.0ms138×body1024infinite
44.0ms166×body512infinite
5.0ms2×body8192invalid
4.0ms7×body2048invalid
Bogosity

localize25.7s (16%)

Compiler

Compiled 8187 to 3325 computations (59.4% saved)

soundness17.6s (11%)

Rules
67882×fma-def
43016×pow1
41866×log-prod
41614×associate-*r*
40424×add-exp-log
Stop Event
8×saturated
2×unsound
111×node limit
Compiler

Compiled 9718 to 4747 computations (51.2% saved)

eval12.6s (7.8%)

Compiler

Compiled 781675 to 385560 computations (50.7% saved)

simplify12.2s (7.6%)

Algorithm
98×egg-herbie
Rules
58408×fma-def
31084×associate-*r*
27158×log-prod
26842×associate-*l*
26084×unswap-sqr
Stop Event
3×unsound
5×done
33×saturated
15×fuel
62×node limit
Counts
22615 → 18635
Compiler

Compiled 1722 to 1130 computations (34.4% saved)

regimes11.0s (6.9%)

Counts
3096 → 156
Calls

53 calls:

1.9s
b
1.9s
a
1.2s
r
704.0ms
x
601.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 36893 to 15977 computations (56.7% saved)

analyze8.6s (5.4%)

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)

prune8.3s (5.2%)

Counts
30565 → 1646
Compiler

Compiled 87887 to 55243 computations (37.1% saved)

rewrite6.2s (3.9%)

Algorithm
58×batch-egg-rewrite
Rules
44632×pow1
41868×add-exp-log
41776×log1p-expm1-u
41762×expm1-log1p-u
41368×add-log-exp
Stop Event
58×node limit
Counts
453 → 13619

series3.3s (2%)

Counts
453 → 8976
Calls

2349 calls:

TimeVariablePointExpression
257.0ms
a
@-inf
(log.f64 (sqrt.f64 (exp.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
111.0ms
r
@-inf
(log.f64 (/.f64 (*.f64 (sin.f64 b) r) (cos.f64 b)))
101.0ms
a
@-inf
(log.f64 (/.f64 (sin.f64 b) (/.f64 (cos.f64 (+.f64 b a)) r)))
89.0ms
a
@inf
(log.f64 (sqrt.f64 (exp.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))))
75.0ms
hi
@inf
(log.f64 (+.f64 1 (expm1.f64 (-.f64 1 (/.f64 (-.f64 x hi) lo)))))

preprocess2.7s (1.7%)

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 4379 to 2290 computations (47.7% saved)

bsearch1.9s (1.2%)

Algorithm
49×binary-search
3×left-value
Stop Event
45×narrow-enough
4×predicate-same
Results
752.0ms1561×body1024valid
661.0ms3451×body256valid
216.0ms715×body512valid
115.0ms152×body2048valid
44.0ms281×body256infinite
1.0ms11×body256unsamplable
Compiler

Compiled 9850 to 6993 computations (29% saved)

end1.0ms (0%)

Profiling

Loading profile data...