Date:Friday, March 31st, 2023
Commit:e87598eb on using-ruler-baseline
Hostname:nightly with Racket 8.6
Seed:2023090
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.2min)

sample1.8min (34.8%)

Results
41.5s36521×body2048valid
35.2s66271×body1024valid
14.1s91560×body256valid
11.4s34612×body512valid
1.8s1510×body1024invalid
1.7s2204×body4096valid
1.0s5855×body256invalid
659.0ms3060×body256infinite
436.0ms784×body512invalid
309.0ms1110×body256unsamplable
249.0ms471×body1024unsamplable
201.0ms306×body2048unsamplable
186.0ms189×body1024infinite
123.0ms250×body512infinite
109.0ms243×body512unsamplable
10.0ms7×body2048invalid
1.0ms5×body2048infinite
Bogosity

eval1.2min (22.6%)

Compiler

Compiled 3665974 to 2112365 computations (42.4% saved)

simplify39.0s (12.4%)

Algorithm
297×egg-herbie
Rules
217632×rational_best_oopsla_all_46_json_45_simplify-89
187108×rational_best_oopsla_all_46_json_45_simplify-49
175580×rational_best_oopsla_all_46_json_45_simplify-74
173432×rational_best_oopsla_all_46_json_45_simplify-24
160558×rational_best_oopsla_all_46_json_45_simplify-72
Stop Event
46×saturated
7×done
21×fuel
251×node limit
Counts
32977 → 34119
Compiler

Compiled 3217 to 2252 computations (30% saved)

prune28.6s (9.1%)

Counts
68068 → 1413
Compiler

Compiled 44467 to 29555 computations (33.5% saved)

rewrite25.3s (8%)

Algorithm
241×batch-egg-rewrite
Rules
237542×rational_best_oopsla_all_46_json-1
237542×rational_best_oopsla_all_46_json-2
237534×rational_best_oopsla_all_46_json-3
237534×rational_best_oopsla_all_46_json-4
191620×rational_best_oopsla_all_46_json_45_simplify-23
Stop Event
241×node limit
Counts
562 → 25032

regimes11.4s (3.6%)

Counts
1990 → 257
Calls

42 calls:

2.7s
x
1.3s
c
1.3s
eps
1.2s
a
726.0ms
n
Compiler

Compiled 40608 to 24540 computations (39.6% saved)

localize9.5s (3%)

Compiler

Compiled 22114 to 12671 computations (42.7% saved)

analyze5.2s (1.6%)

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)

bsearch4.9s (1.6%)

Algorithm
107×binary-search
27×left-value
Results
1.5s10177×body256valid
1.2s2254×body1024valid
1.1s815×body2048valid
317.0ms1117×body512valid
260.0ms713×body256unsamplable
88.0ms771×body256invalid
57.0ms306×body256infinite
2.0ms5×body4096valid
2.0ms3×body2048unsamplable
0.0ms1×body512unsamplable
Compiler

Compiled 21675 to 16408 computations (24.3% saved)

soundness4.4s (1.4%)

Algorithm
32×egg-herbie
Rules
27752×rational_best_oopsla_all_46_json_45_simplify-89
22846×rational_best_oopsla_all_46_json_45_simplify-74
21916×rational_best_oopsla_all_46_json_45_simplify-24
21060×rational_best_oopsla_all_46_json_45_simplify-49
19890×rational_best_oopsla_all_46_json_45_simplify-10
Stop Event
2×saturated
30×node limit
Compiler

Compiled 3738 to 2112 computations (43.5% saved)

end2.5s (0.8%)

Compiler

Compiled 3257 to 2025 computations (37.8% saved)

preprocess1.6s (0.5%)

Algorithm
56×egg-herbie
Rules
10014×rational_best_oopsla_all_46_json_45_simplify-89
8520×rational_best_oopsla_all_46_json_45_simplify-74
8032×rational_best_oopsla_all_46_json_45_simplify-49
7576×rational_best_oopsla_all_46_json_45_simplify-10
7314×rational_best_oopsla_all_46_json_45_simplify-23
Stop Event
2×unsound
44×saturated
10×node limit
Compiler

Compiled 368 to 279 computations (24.2% saved)

series1.5s (0.5%)

Counts
562 → 7917
Calls

2586 calls:

TimeVariablePointExpression
75.0ms
x
@inf
(-.f64 (*.f64 (sqrt.f64 (-.f64 x -1)) (-.f64 (sqrt.f64 (-.f64 x -1)) (sqrt.f64 x))) (*.f64 (sqrt.f64 x) (-.f64 (sqrt.f64 (-.f64 x -1)) (sqrt.f64 x))))
54.0ms
x
@-inf
(-.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) (*.f64 (*.f64 (/.f64 1 (sqrt.f64 x)) x) (-.f64 (/.f64 1 (sqrt.f64 x)) 0))) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
53.0ms
c
@inf
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (neg.f64 (*.f64 c a)))) a)
52.0ms
n
@0
(/.f64 (-.f64 (log.f64 (+.f64 1 x)) (log.f64 x)) n)
42.0ms
x
@0
(*.f64 1/24 (pow.f64 x 3))

Profiling

Loading profile data...