Date:Thursday, July 6th, 2023
Commit:b6e17b25 on asinh-taylor-bug
Hostname:nightly with Racket 8.6
Seed:2023187
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:simplify
default

Details

Time bar (total: 5.5min)

sample1.7min (30.7%)

Results
40.0s37010×body2048valid
32.0s66230×body1024valid
12.3s90818×body256valid
10.2s34911×body512valid
1.4s2198×body4096valid
1.4s1420×body1024invalid
726.0ms6033×body256invalid
562.0ms449×body1024unsamplable
534.0ms205×body1024infinite
456.0ms3010×body256infinite
325.0ms736×body512invalid
277.0ms292×body2048unsamplable
217.0ms1126×body256unsamplable
104.0ms224×body512infinite
65.0ms230×body512unsamplable
4.0ms4×body2048invalid
3.0ms5×body2048infinite
2.0ms1×body8192valid
Bogosity

eval51.1s (15.5%)

Compiler

Compiled 2778565 to 1491156 computations (46.3% saved)

simplify45.9s (13.9%)

Algorithm
382×egg-herbie
Rules
224930×associate-*r*
199462×associate-*l*
198004×associate-/l*
186178×associate-/r*
177668×*-commutative
Stop Event
1×unsound
3×done
48×saturated
25×fuel
333×node limit
Counts
60423 → 79686
Compiler

Compiled 4586 to 3149 computations (31.3% saved)

rewrite34.2s (10.4%)

Algorithm
326×batch-egg-rewrite
5×egg-rewrite
3×egg-rewrite-iter-limit
Rules
219724×add-sqr-sqrt
215334×*-un-lft-identity
202888×add-cube-cbrt
201338×add-cbrt-cube
133178×add-exp-log
Stop Event
3×unsound
3×iter limit
328×node limit
Counts
791 → 47830

prune32.3s (9.8%)

Counts
96705 → 2531
Compiler

Compiled 62335 to 43297 computations (30.5% saved)

regimes29.6s (9%)

Counts
5710 → 388
Calls

43 calls:

6.2s
x
6.1s
c
5.0s
a
2.6s
eps
1.8s
b
Compiler

Compiled 70051 to 36395 computations (48% saved)

soundness9.5s (2.9%)

Algorithm
61×egg-herbie
Rules
38374×associate-*r*
35074×associate-/l*
31838×associate-/r*
30012×associate-*l*
29940×fma-def
Stop Event
12×saturated
49×node limit
Compiler

Compiled 6977 to 3824 computations (45.2% saved)

localize6.9s (2.1%)

Compiler

Compiled 15526 to 7826 computations (49.6% saved)

bsearch6.1s (1.8%)

Algorithm
177×binary-search
21×left-value
Results
2.6s18268×body256valid
1.3s3555×body1024valid
738.0ms905×body2048valid
484.0ms1368×body512valid
214.0ms1570×body256invalid
56.0ms381×body256infinite
43.0ms227×body256unsamplable
2.0ms3×body1024infinite
1.0ms2×body1024unsamplable
Compiler

Compiled 40200 to 29237 computations (27.3% saved)

analyze5.5s (1.7%)

Algorithm
28×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%90.9%9.1%0%0%0%0
11.8%10.7%80.2%9.1%0%0%0%1
16%14.2%74.9%9.1%0%1.8%0%2
34.9%29.6%55.3%9.1%1.6%4.5%0%3
43.8%35.9%45.9%9.1%2.9%5.4%0.9%4
51.1%40.9%39.1%9.1%3.5%6%1.3%5
54.8%43.3%35.7%9.1%4%6.4%1.6%6
57.8%44.9%32.7%9.1%4.2%7.2%1.9%7
60.1%46.4%30.8%9.1%4.4%7.4%2%8
62.1%47.4%28.9%9.1%4.7%7.8%2.1%9
64%48.4%27.2%9.1%4.9%8.4%2.2%10
66%49.5%25.5%9.1%5.1%8.6%2.3%11
67.9%50.6%23.8%9.1%5.3%8.9%2.3%12
Compiler

Compiled 375 to 278 computations (25.9% saved)

series3.2s (1%)

Counts
791 → 12565
Calls

3759 calls:

TimeVariablePointExpression
126.0ms
N
@inf
(/.f64 (+.f64 N 1) N)
60.0ms
eps
@inf
(*.f64 (sin.f64 x) (*.f64 eps eps))
59.0ms
x
@inf
(cbrt.f64 (pow.f64 (-.f64 1 (cos.f64 x)) 2))
54.0ms
x
@-inf
(pow.f64 (expm1.f64 (*.f64 a x)) 1/6)
53.0ms
eps
@0
(*.f64 (/.f64 eps (expm1.f64 (*.f64 eps a))) (/.f64 (+.f64 a b) b))

end3.0s (0.9%)

Compiler

Compiled 4496 to 2676 computations (40.5% saved)

preprocess1.7s (0.5%)

Algorithm
56×egg-herbie
Rules
12942×fma-def
8106×distribute-lft-in
7218×*-commutative
7100×associate-*r*
6966×associate-+r+
Stop Event
2×unsound
43×saturated
11×node limit
Compiler

Compiled 368 to 279 computations (24.2% saved)

Profiling

Loading profile data...