Date:Monday, March 6th, 2023
Commit:9578f0c3 on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023065
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: 1.3min)

sample21.5s (28.7%)

Results
16.6s70207×body256valid
2.5s4097×body2048valid
1.8s2060×body256invalid
396.0ms2828×body256infinite
Bogosity

simplify14.7s (19.5%)

Algorithm
71×egg-herbie
Rules
75748×rational.json-simplify-35
64408×rational.json-simplify-41
54398×rational.json-simplify-2
45724×rational.json-simplify-51
42268×rational.json-simplify-1
Stop Event
3×done
10×saturated
6×fuel
61×node limit
Counts
6533 → 6748
Compiler

Compiled 2941 to 1845 computations (37.3% saved)

eval7.4s (9.9%)

Compiler

Compiled 342852 to 198920 computations (42% saved)

regimes6.4s (8.6%)

Counts
1065 → 126
Calls

23 calls:

1.4s
c
1.2s
a
1.1s
b
619.0ms
x
353.0ms
z
Compiler

Compiled 26479 to 14587 computations (44.9% saved)

rewrite5.7s (7.6%)

Algorithm
53×batch-egg-rewrite
Rules
83972×bool.json-1
80720×bool.json-2
61034×rational.json-1
60136×bool.json-3
57364×rational.json-2
Stop Event
53×node limit
Counts
110 → 3782

prune4.9s (6.5%)

Counts
10500 → 297
Compiler

Compiled 9326 to 6295 computations (32.5% saved)

localize4.0s (5.3%)

Compiler

Compiled 5295 to 2714 computations (48.7% saved)

preprocess3.1s (4.2%)

Algorithm
18×egg-herbie
Rules
16532×rational.json-simplify-41
10596×rational.json-simplify-35
6018×rational.json-simplify-53
5204×rational.json-simplify-2
5146×rational.json-simplify-1
Stop Event
1×unsound
9×saturated
8×node limit
Compiler

Compiled 169 to 118 computations (30.2% saved)

soundness2.9s (3.9%)

Algorithm
13×egg-herbie
Rules
19666×rational.json-simplify-35
14830×rational.json-simplify-41
12754×rational.json-simplify-2
9632×rational.json-simplify-1
8786×rational.json-simplify-53
Stop Event
13×node limit
Compiler

Compiled 2594 to 1570 computations (39.5% saved)

bsearch1.8s (2.4%)

Algorithm
67×binary-search
8×left-value
Results
1.3s7472×body256valid
198.0ms1312×body256invalid
91.0ms393×body256infinite
74.0ms32×body2048valid
Compiler

Compiled 21870 to 15291 computations (30.1% saved)

analyze1.2s (1.6%)

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)

end1.0s (1.4%)

Compiler

Compiled 2829 to 1593 computations (43.7% saved)

series394.0ms (0.5%)

Counts
110 → 2742
Calls

786 calls:

TimeVariablePointExpression
56.0ms
a
@0
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
34.0ms
c
@0
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (+.f64 b (/.f64 1 (/.f64 (/.f64 b a) (*.f64 c -2))))))
21.0ms
x
@0
(log.f64 (/.f64 1 x))
15.0ms
x
@-inf
(log.f64 (/.f64 1 x))
7.0ms
c
@inf
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (sqrt.f64 (*.f64 c (*.f64 a -4)))))

Profiling

Loading profile data...