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

sample2.5min (29.6%)

Results
1.2min296805×body256valid
33.6s15043×body2048valid
19.6s21697×body1024valid
8.9s19539×body256infinite
5.2s12369×body512valid
1.3s202×body8192exit
827.0ms838×body4096valid
440.0ms2990×body256invalid
159.0ms198×body1024infinite
130.0ms239×body512infinite
72.0ms408×body256unsamplable
30.0ms30×body2048infinite
Bogosity

simplify1.8min (21.6%)

Algorithm
407×egg-herbie
Rules
484918×rational.json-simplify-35
388670×rational.json-simplify-2
314810×rational.json-simplify-41
304964×rational.json-simplify-51
289814×rational.json-simplify-1
Stop Event
13×done
60×saturated
29×fuel
347×node limit
Counts
41064 → 44555
Compiler

Compiled 7115 to 4564 computations (35.9% saved)

eval53.5s (10.7%)

Compiler

Compiled 1721045 to 1042602 computations (39.4% saved)

rewrite50.9s (10.2%)

Algorithm
323×batch-egg-rewrite
Rules
467152×rational.json-1
447432×rational.json-2
436638×rational.json-3
420560×rational.json-4
404070×rational.json-simplify-35
Stop Event
323×node limit
Counts
731 → 25283

regimes41.4s (8.3%)

Counts
3911 → 445
Calls

94 calls:

7.8s
a
7.6s
c
2.9s
b
2.9s
n
2.8s
x
Compiler

Compiled 76538 to 45877 computations (40.1% saved)

prune30.5s (6.1%)

Counts
55333 → 1708
Compiler

Compiled 51304 to 35367 computations (31.1% saved)

localize16.3s (3.2%)

Compiler

Compiled 26582 to 15142 computations (43% saved)

analyze13.0s (2.6%)

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)

bsearch10.2s (2%)

Algorithm
243×binary-search
8×left-value
Results
5.8s26510×body256valid
1.3s2208×body1024valid
620.0ms2425×body512valid
402.0ms986×body256infinite
376.0ms515×body1024infinite
324.0ms2674×body256invalid
194.0ms249×body2048valid
100.0ms237×body512infinite
Compiler

Compiled 59586 to 42687 computations (28.4% saved)

preprocess10.0s (2%)

Algorithm
84×egg-herbie
Rules
29804×rational.json-simplify-35
27772×rational.json-simplify-41
23944×rational.json-simplify-51
23096×rational.json-simplify-1
20848×rational.json-simplify-2
Stop Event
5×unsound
49×saturated
30×node limit
Compiler

Compiled 913 to 679 computations (25.6% saved)

soundness9.4s (1.9%)

Algorithm
60×egg-herbie
Rules
66432×rational.json-simplify-35
54304×rational.json-simplify-2
40876×rational.json-simplify-51
39282×rational.json-simplify-1
35034×rational.json-simplify-41
Stop Event
5×saturated
55×node limit
Compiler

Compiled 6243 to 4141 computations (33.7% saved)

end5.7s (1.1%)

Compiler

Compiled 6888 to 3918 computations (43.1% saved)

series3.6s (0.7%)

Counts
731 → 15739
Calls

4224 calls:

TimeVariablePointExpression
819.0ms
a
@inf
(/.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 c a) b)) (*.f64 -2 b)) (*.f64 a 2))
251.0ms
w
@-inf
(*.f64 (/.f64 -1/8 (+.f64 v -1)) (*.f64 (*.f64 r r) (*.f64 w w)))
160.0ms
r
@0
(/.f64 w (/.f64 (/.f64 (/.f64 4 w) r) 1/2))
157.0ms
eps
@0
(-.f64 x (+.f64 (*.f64 -1/2 (/.f64 eps x)) x))
148.0ms
x
@inf
(*.f64 (/.f64 (/.f64 1/8 x) x) (*.f64 (*.f64 1/2 eps) (/.f64 x 1/8)))

Profiling

Loading profile data...