Herbie run

Date:Thursday, September 28th, 2023
Commit:710a663f on main
Hostname:nightly with Racket 8.6
Seed:2023271
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.9min)

sample49.9s (28.8%)

Results
13.9s109848×body256valid
12.3s29491×body1024valid
11.6s12627×body8192exit
4.7s5855×body2048valid
3.9s14859×body512valid
1.5s3887×body1024invalid
624.0ms4760×body256infinite
543.0ms1949×body512invalid
302.0ms2569×body256invalid
157.0ms1252×body256unsamplable
58.0ms151×body1024infinite
43.0ms156×body512infinite
1.0ms1×body4096invalid
1.0ms3×body2048invalid
Bogosity

localize26.7s (15.5%)

Compiler

Compiled 9175 to 3909 computations (57.4% saved)

soundness20.9s (12.1%)

Rules
69182×fma-def
55976×log-prod
47210×pow1
46930×fma-neg
44446×add-exp-log
Stop Event
5×saturated
2×unsound
122×node limit
Compiler

Compiled 11109 to 6544 computations (41.1% saved)

eval17.6s (10.2%)

Compiler

Compiled 988465 to 513627 computations (48% saved)

simplify12.7s (7.3%)

Algorithm
86×egg-herbie
Rules
49794×fma-def
45724×log-prod
29368×associate-*r*
28888×fma-neg
26566×associate-*l*
Stop Event
4×unsound
5×done
20×saturated
15×fuel
62×node limit
Counts
23545 → 19010
Compiler

Compiled 2132 to 1367 computations (35.9% saved)

regimes10.9s (6.3%)

Counts
3365 → 159
Calls

55 calls:

1.7s
x
1.6s
a
952.0ms
b
780.0ms
r
558.0ms
(/.f64 (sin.f64 b) (cos.f64 (+.f64 a b)))
Compiler

Compiled 45838 to 22966 computations (49.9% saved)

prune9.4s (5.4%)

Counts
36106 → 1877
Compiler

Compiled 108773 to 68772 computations (36.8% saved)

analyze9.2s (5.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
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)

rewrite6.7s (3.9%)

Algorithm
66×batch-egg-rewrite
Rules
57186×pow1
53540×add-exp-log
53486×log1p-expm1-u
53468×expm1-log1p-u
49746×add-log-exp
Stop Event
66×node limit
Counts
488 → 14601

series3.7s (2.2%)

Counts
488 → 8944
Calls

2454 calls:

TimeVariablePointExpression
157.0ms
x
@0
(expm1.f64 (log.f64 x))
126.0ms
x
@0
(*.f64 (pow.f64 2 1/4) x)
108.0ms
b
@inf
(/.f64 (sin.f64 b) (pow.f64 (cbrt.f64 (/.f64 (neg.f64 (cos.f64 (+.f64 b a))) r)) 3))
102.0ms
x
@inf
(-.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 (-.f64 1 x)))
80.0ms
b
@-inf
(*.f64 (log.f64 (cbrt.f64 (*.f64 (/.f64 (sin.f64 b) (cos.f64 (+.f64 b a))) r))) 3)

preprocess3.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 5181 to 2792 computations (46.1% saved)

bsearch1.9s (1.1%)

Algorithm
45×binary-search
2×left-value
Stop Event
41×narrow-enough
4×predicate-same
Results
597.0ms3046×body256valid
572.0ms1277×body1024valid
406.0ms553×body2048valid
200.0ms538×body512valid
64.0ms282×body256infinite
Compiler

Compiled 10785 to 7131 computations (33.9% saved)

end2.0ms (0%)

Profiling

Loading profile data...