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: 53.2s)

sample16.0s (30.2%)

Results
11.2s70122×body256valid
3.4s4182×body2048valid
630.0ms2862×body256infinite
548.0ms2125×body256invalid
Bogosity

eval8.8s (16.6%)

Compiler

Compiled 401778 to 215078 computations (46.5% saved)

simplify7.6s (14.3%)

Algorithm
65×egg-herbie
Rules
48896×rational_best_oopsla_all_46_json_45_simplify-89
45330×rational_best_oopsla_all_46_json_45_simplify-49
39800×rational_best_oopsla_all_46_json_45_simplify-74
38660×rational_best_oopsla_all_46_json_45_simplify-72
36130×rational_best_oopsla_all_46_json_45_simplify-24
Stop Event
3×done
10×saturated
6×fuel
55×node limit
Counts
5156 → 4820
Compiler

Compiled 1830 to 1088 computations (40.5% saved)

rewrite5.1s (9.6%)

Algorithm
47×batch-egg-rewrite
Rules
53096×rational_best_oopsla_all_46_json-1
53096×rational_best_oopsla_all_46_json-2
53094×rational_best_oopsla_all_46_json-3
53094×rational_best_oopsla_all_46_json-4
31650×rational_best_oopsla_all_46_json_45_simplify-23
Stop Event
47×node limit
Counts
93 → 3178

prune3.2s (6.1%)

Counts
7740 → 218
Compiler

Compiled 8527 to 5277 computations (38.1% saved)

regimes3.1s (5.9%)

Counts
350 → 95
Calls

23 calls:

423.0ms
x
411.0ms
z
406.0ms
c
385.0ms
a
341.0ms
y
Compiler

Compiled 8234 to 3930 computations (52.3% saved)

localize2.6s (4.9%)

Compiler

Compiled 5732 to 2779 computations (51.5% saved)

bsearch1.4s (2.7%)

Algorithm
50×binary-search
10×left-value
Results
1.2s6480×body256valid
91.0ms599×body256invalid
40.0ms112×body2048valid
28.0ms210×body256infinite
Compiler

Compiled 14020 to 9819 computations (30% saved)

soundness1.4s (2.6%)

Algorithm
11×egg-herbie
Rules
11940×rational_best_oopsla_all_46_json_45_simplify-89
9854×rational_best_oopsla_all_46_json_45_simplify-74
9252×rational_best_oopsla_all_46_json_45_simplify-23
8928×rational_best_oopsla_all_46_json_45_simplify-49
8722×rational_best_oopsla_all_46_json_45_simplify-24
Stop Event
11×node limit
Compiler

Compiled 1750 to 974 computations (44.3% saved)

preprocess1.4s (2.6%)

Algorithm
18×egg-herbie
Rules
7596×rational_best_oopsla_all_46_json_45_simplify-10
6464×rational_best_oopsla_all_46_json_45_simplify-72
6442×rational_best_oopsla_all_46_json_45_simplify-89
6008×rational_best_oopsla_all_46_json_45_simplify-30
5710×rational_best_oopsla_all_46_json_45_simplify-49
Stop Event
1×unsound
9×saturated
8×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

analyze1.2s (2.2%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%94.4%0.1%0%5.6%0%2
6.3%5.6%83.2%0.1%0%11.1%0%3
18.3%15.3%68%0.1%2.8%13.9%0%4
26.7%21.5%59%0.1%4.2%15.3%0%5
33.8%26.7%52.4%0.1%4.9%16%0%6
46.4%35.7%41.3%0.1%5.2%17.7%0%7
52.1%39.9%36.8%0.1%5.4%17.9%0%8
59.4%45.1%30.8%0.1%5.6%18.5%0%9
67.1%50.1%24.6%0.1%5.7%19.6%0%10
72.1%53.5%20.7%0.1%5.9%19.8%0%11
76.6%56.1%17.2%0.1%6.4%20.3%0%12
Compiler

Compiled 161 to 110 computations (31.7% saved)

end767.0ms (1.4%)

Compiler

Compiled 1763 to 931 computations (47.2% saved)

series497.0ms (0.9%)

Counts
93 → 1969
Calls

648 calls:

TimeVariablePointExpression
121.0ms
c
@inf
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (*.f64 c (*.f64 a -4)))) (*.f64 a 2))
94.0ms
b
@-inf
(/.f64 (-.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 c a) b)) (neg.f64 b)) b) (+.f64 a a))
4.0ms
a
@0
(/.f64 (-.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 c a) b)) (*.f64 -1 b)) b) (+.f64 a a))
4.0ms
c
@-inf
(sqrt.f64 (*.f64 (+.f64 (*.f64 b b) (*.f64 c (*.f64 a -4))) (+.f64 (*.f64 (*.f64 b b) (/.f64 1 (+.f64 (*.f64 b b) (*.f64 a (*.f64 c -4))))) (*.f64 c (*.f64 (/.f64 1 (+.f64 (*.f64 b b) (*.f64 a (*.f64 c -4)))) (*.f64 a -4))))))
4.0ms
a
@inf
(/.f64 (+.f64 c c) (-.f64 (neg.f64 b) (+.f64 (*.f64 b -1) (*.f64 2 (/.f64 (*.f64 c a) b)))))

Profiling

Loading profile data...