Date:Wednesday, March 15th, 2023
Commit:32647e2f on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023074
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.2min)

sample19.9s (27.8%)

Results
14.0s70198×body256valid
3.1s4106×body2048valid
1.8s2107×body256invalid
501.0ms2842×body256infinite
Bogosity

simplify14.6s (20.5%)

Algorithm
75×egg-herbie
Rules
77862×rational.json-simplify-35
58352×rational.json-simplify-51
55402×rational.json-simplify-2
53090×rational.json-simplify-41
43668×rational.json-simplify-1
Stop Event
4×done
10×saturated
5×fuel
65×node limit
Counts
7655 → 7996
Compiler

Compiled 3355 to 2087 computations (37.8% saved)

eval7.6s (10.7%)

Compiler

Compiled 335139 to 192833 computations (42.5% saved)

rewrite7.3s (10.2%)

Algorithm
57×batch-egg-rewrite
Rules
87802×rational.json-1
85104×rational.json-2
80550×rational.json-3
79510×rational.json-4
79066×exponential.json-3
Stop Event
57×node limit
Counts
119 → 4727

regimes6.2s (8.6%)

Counts
1163 → 134
Calls

23 calls:

1.8s
c
1.4s
b
1.2s
a
295.0ms
x
244.0ms
z
Compiler

Compiled 30535 to 17052 computations (44.2% saved)

prune4.6s (6.5%)

Counts
10749 → 281
Compiler

Compiled 8479 to 5747 computations (32.2% saved)

localize2.5s (3.5%)

Compiler

Compiled 5094 to 2573 computations (49.5% saved)

soundness2.1s (2.9%)

Algorithm
11×egg-herbie
Rules
16664×rational.json-simplify-35
13814×rational.json-simplify-51
8170×rational.json-simplify-2
7300×rational.json-simplify-1
6090×rational.json-simplify-46
Stop Event
1×saturated
10×node limit
Compiler

Compiled 886 to 546 computations (38.4% saved)

bsearch2.0s (2.7%)

Algorithm
75×binary-search
8×left-value
Results
1.4s8896×body256valid
240.0ms1484×body256invalid
31.0ms257×body256infinite
27.0ms80×body2048valid
Compiler

Compiled 27452 to 19186 computations (30.1% saved)

preprocess1.9s (2.6%)

Algorithm
18×egg-herbie
Rules
16532×rational.json-simplify-41
10596×rational.json-simplify-35
6018×rational.json-simplify-53
5206×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)

analyze1.2s (1.7%)

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.1s (1.6%)

Compiler

Compiled 3241 to 1821 computations (43.8% saved)

series479.0ms (0.7%)

Counts
119 → 2919
Calls

840 calls:

TimeVariablePointExpression
82.0ms
y
@inf
(*.f64 (/.f64 x y) z)
71.0ms
a
@0
(*.f64 c (*.f64 (/.f64 a b) 2))
32.0ms
b
@inf
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))
6.0ms
b
@-inf
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
5.0ms
c
@inf
(/.f64 (*.f64 2 c) (+.f64 (sqrt.f64 (*.f64 c (*.f64 a -4))) (neg.f64 b)))

Profiling

Loading profile data...