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: 6.0min)

sample1.7min (27.8%)

Results
52.0s296867×body256valid
20.2s14992×body2048valid
12.7s21763×body1024valid
6.1s19022×body256infinite
4.6s12275×body512valid
2.2s202×body8192exit
626.0ms855×body4096valid
404.0ms2985×body256invalid
149.0ms228×body512infinite
141.0ms217×body1024infinite
123.0ms440×body256unsamplable
19.0ms19×body2048infinite
Bogosity

eval1.4min (23.1%)

Compiler

Compiled 4101804 to 2387786 computations (41.8% saved)

simplify48.7s (13.5%)

Algorithm
393×egg-herbie
Rules
290852×rational_best_oopsla_all_46_json_45_simplify-89
251894×rational_best_oopsla_all_46_json_45_simplify-49
234574×rational_best_oopsla_all_46_json_45_simplify-74
230186×rational_best_oopsla_all_46_json_45_simplify-24
215490×rational_best_oopsla_all_46_json_45_simplify-72
Stop Event
53×saturated
17×done
25×fuel
340×node limit
Counts
41863 → 42941
Compiler

Compiled 7600 to 4882 computations (35.8% saved)

prune33.8s (9.4%)

Counts
77123 → 1465
Compiler

Compiled 56530 to 36961 computations (34.6% saved)

rewrite30.4s (8.4%)

Algorithm
309×batch-egg-rewrite
Rules
342564×rational_best_oopsla_all_46_json-1
342560×rational_best_oopsla_all_46_json-2
342554×rational_best_oopsla_all_46_json-3
342546×rational_best_oopsla_all_46_json-4
220342×rational_best_oopsla_all_46_json_45_simplify-23
Stop Event
309×node limit
Counts
698 → 27981

localize15.6s (4.3%)

Compiler

Compiled 35496 to 19517 computations (45% saved)

regimes13.2s (3.7%)

Counts
2400 → 375
Calls

94 calls:

1.2s
a
1.1s
x1
1.1s
c
969.0ms
x2
809.0ms
b
Compiler

Compiled 66995 to 39655 computations (40.8% saved)

analyze11.6s (3.2%)

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)

bsearch8.4s (2.3%)

Algorithm
190×binary-search
13×left-value
Results
4.9s19648×body256valid
784.0ms1528×body1024valid
461.0ms810×body1024infinite
441.0ms1814×body256infinite
384.0ms1516×body512valid
362.0ms311×body2048valid
211.0ms1778×body256invalid
139.0ms409×body512infinite
12.0ms14×body2048infinite
2.0ms5×body4096valid
Compiler

Compiled 60331 to 41777 computations (30.8% saved)

soundness6.0s (1.7%)

Algorithm
50×egg-herbie
Rules
43370×rational_best_oopsla_all_46_json_45_simplify-89
35372×rational_best_oopsla_all_46_json_45_simplify-49
35350×rational_best_oopsla_all_46_json_45_simplify-74
33670×rational_best_oopsla_all_46_json_45_simplify-24
28452×rational_best_oopsla_all_46_json_45_simplify-35
Stop Event
3×saturated
47×node limit
Compiler

Compiled 6549 to 4229 computations (35.4% saved)

end4.2s (1.2%)

Compiler

Compiled 7448 to 4415 computations (40.7% saved)

preprocess3.5s (1%)

Algorithm
84×egg-herbie
Rules
27064×rational_best_oopsla_all_46_json_45_simplify-89
23540×rational_best_oopsla_all_46_json_45_simplify-10
22612×rational_best_oopsla_all_46_json_45_simplify-74
20960×rational_best_oopsla_all_46_json_45_simplify-49
20350×rational_best_oopsla_all_46_json_45_simplify-72
Stop Event
5×unsound
48×saturated
31×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

series1.4s (0.4%)

Counts
698 → 13840
Calls

3855 calls:

TimeVariablePointExpression
63.0ms
b
@0
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a (*.f64 c -4))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a (*.f64 c -4)))) (sqrt.f64 (+.f64 (*.f64 b b) (*.f64 a (*.f64 c -4))))))
59.0ms
a
@0
(*.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 c a) b)) (*.f64 b -2)) (*.f64 -1/2 (/.f64 b (*.f64 c a))))
52.0ms
c
@0
(/.f64 (*.f64 -2 (*.f64 (/.f64 (*.f64 c a) b) (*.f64 (/.f64 (*.f64 c a) b) (/.f64 1 (/.f64 (*.f64 c a) b))))) (+.f64 a a))
38.0ms
x1
@0
(*.f64 (/.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (-.f64 (*.f64 2 x2) x1)) (+.f64 1 (*.f64 x1 x1))) (+.f64 (*.f64 x1 (*.f64 4 x1)) (*.f64 (+.f64 x1 x1) (+.f64 -3 (/.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (-.f64 (*.f64 2 x2) x1)) (+.f64 1 (*.f64 x1 x1)))))))
33.0ms
w
@inf
(*.f64 w (*.f64 w (*.f64 (*.f64 r r) (-.f64 (*.f64 v -1/4) -3/8))))

Profiling

Loading profile data...