Date:Friday, April 14th, 2023
Commit:ec3f0aff on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023104
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: 4.7min)

sample1.5min (31.3%)

Results
45.3s296986×body256valid
18.1s14865×body2048valid
12.2s21846×body1024valid
5.3s19265×body256infinite
4.0s12208×body512valid
1.6s202×body8192exit
648.0ms847×body4096valid
441.0ms2969×body256invalid
187.0ms199×body1024infinite
160.0ms248×body512infinite
78.0ms414×body256unsamplable
22.0ms21×body2048infinite
Bogosity

eval48.4s (17.1%)

Compiler

Compiled 2790468 to 1657935 computations (40.6% saved)

simplify35.7s (12.6%)

Algorithm
422×egg-herbie
Rules
240968×rational_best-simplify-61
199342×rational_best-simplify-65
192714×rational_best-simplify-1
184902×rational_best-simplify-3
162228×rational_best-simplify-96
Stop Event
58×saturated
15×done
27×fuel
364×node limit
Counts
30711 → 27609
Compiler

Compiled 8317 to 5396 computations (35.1% saved)

rewrite27.8s (9.8%)

Algorithm
338×batch-egg-rewrite
Rules
215628×rational_best-simplify-61
178788×rational_best-simplify-3
173946×rational_best-simplify-65
164436×rational_best-simplify-96
150878×rational_best-simplify-113
Stop Event
10×saturated
328×node limit
Counts
861 → 13322

localize19.7s (6.9%)

Compiler

Compiled 52738 to 29705 computations (43.7% saved)

regimes19.0s (6.7%)

Counts
3530 → 377
Calls

89 calls:

1.4s
x
1.4s
c
1.3s
a
1.3s
b
852.0ms
x1
Compiler

Compiled 151671 to 78511 computations (48.2% saved)

prune13.9s (4.9%)

Counts
43002 → 1831
Compiler

Compiled 117271 to 67572 computations (42.4% saved)

analyze10.5s (3.7%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
6.4%3.5%51%45.5%0%0%0%1
6.4%3.5%51%45.5%0%0%0%2
20.5%10.9%42.4%45.5%0%1.2%0%3
26.9%14.3%38.7%45.5%0%1.5%0%4
34.9%18.2%34%45.6%0.6%1.7%0%5
38.2%19.4%31.4%45.6%1.9%1.7%0%6
44.8%22%27.2%45.6%3%2.2%0%7
48.2%23.4%25.2%45.7%3.6%2.2%0.1%8
52.7%25%22.5%45.7%4.1%2.5%0.1%9
57.3%26.9%20%45.7%4.5%2.7%0.2%10
61%28.3%18%45.7%4.9%2.8%0.2%11
64.7%29.7%16.2%45.7%5.2%2.9%0.3%12
Compiler

Compiled 1441 to 1017 computations (29.4% saved)

bsearch6.5s (2.3%)

Algorithm
182×binary-search
16×left-value
Results
4.4s20532×body256valid
636.0ms1132×body1024valid
371.0ms1163×body512valid
268.0ms1939×body256invalid
220.0ms1060×body256infinite
181.0ms211×body2048valid
41.0ms67×body1024infinite
9.0ms28×body512infinite
5.0ms6×body2048infinite
1.0ms2×body4096valid
Compiler

Compiled 57129 to 40452 computations (29.2% saved)

end4.4s (1.5%)

Compiler

Compiled 8143 to 4903 computations (39.8% saved)

soundness4.0s (1.4%)

Algorithm
56×egg-herbie
Rules
33610×rational_best-simplify-61
30766×rational_best-simplify-65
28978×rational_best-simplify-96
27654×rational_best-simplify-3
26638×rational_best-simplify-1
Stop Event
2×saturated
54×node limit
Compiler

Compiled 10130 to 6106 computations (39.7% saved)

preprocess2.8s (1%)

Algorithm
84×egg-herbie
Rules
26426×rational_best-simplify-61
21534×rational_best-simplify-3
20270×rational_best-simplify-65
18912×rational_best-simplify-96
18296×rational_best-simplify-1
Stop Event
5×unsound
40×saturated
39×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

series2.3s (0.8%)

Counts
861 → 17347
Calls

4779 calls:

TimeVariablePointExpression
57.0ms
n
@0
(/.f64 (*.f64 (pow.f64 n 2) (+.f64 (neg.f64 (log.f64 n)) (log.f64 i))) i)
53.0ms
c
@inf
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 a (*.f64 c 4))))
47.0ms
v
@inf
(*.f64 (-.f64 (/.f64 u t1) 1) (/.f64 v (+.f64 t1 u)))
40.0ms
v
@0
(/.f64 (*.f64 (neg.f64 t1) v) (+.f64 (*.f64 u (+.f64 t1 u)) (*.f64 t1 (+.f64 t1 u))))
38.0ms
c
@inf
(sqrt.f64 (*.f64 c (*.f64 a -4)))

Profiling

Loading profile data...