Date:Sunday, March 5th, 2023
Commit:9578f0c3 on using-ruler-nightlies
Hostname:nightly with Racket 8.6
Seed:2023064
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: 4.9min)

sample1.5min (30.8%)

Results
27.4s3223×body8192exit
23.3s113206×body256valid
20.0s27922×body1024valid
7.7s2413×body512invalid
4.7s13983×body512valid
3.9s5038×body1024invalid
1.2s1753×body2048valid
693.0ms2877×body256invalid
541.0ms3429×body256infinite
109.0ms235×body1024infinite
81.0ms244×body512infinite
30.0ms165×body256unsamplable
3.0ms5×body2048invalid
3.0ms1×body8192invalid
2.0ms1×body4096invalid
Bogosity

simplify1.1min (23.5%)

Algorithm
180×egg-herbie
Rules
231594×rational.json-simplify-35
223222×rational.json-simplify-41
170502×rational.json-simplify-2
132784×rational.json-simplify-51
119020×rational.json-simplify-1
Stop Event
24×saturated
7×done
12×fuel
156×node limit
Counts
16710 → 17428
Compiler

Compiled 1122 to 738 computations (34.2% saved)

analyze36.7s (12.5%)

Algorithm
19×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%72.3%27.7%0%0%0%0
9.1%6.6%65.7%27.7%0%0%0%1
10.9%7.9%64.4%27.7%0%0%0%2
32.8%23.7%48.6%27.7%0%0%0%3
42.8%30.9%41.4%27.7%0%0%0%4
48.9%34.9%36.5%27.7%0%1%0%5
53.3%37.5%32.9%27.7%0.5%1.2%0.3%6
58.9%41%28.7%27.7%0.6%1.7%0.3%7
62.4%43.1%26%27.7%0.9%1.8%0.5%8
65.8%45.2%23.5%27.7%0.9%2.2%0.5%9
69.2%47.3%21%27.7%1.1%2.3%0.6%10
71.3%48.5%19.5%27.7%1.3%2.5%0.6%11
73.2%49.6%18.2%27.7%1.4%2.5%0.6%12
Compiler

Compiled 288 to 205 computations (28.8% saved)

rewrite28.3s (9.7%)

Algorithm
142×batch-egg-rewrite
Rules
214546×bool.json-1
199886×bool.json-2
164220×rational.json-1
149042×bool.json-3
146196×rational.json-2
Stop Event
142×node limit
Counts
324 → 10342

eval18.1s (6.2%)

Compiler

Compiled 478902 to 258414 computations (46% saved)

prune18.0s (6.1%)

Counts
22335 → 1055
Compiler

Compiled 28393 to 19479 computations (31.4% saved)

localize8.0s (2.7%)

Compiler

Compiled 6331 to 3125 computations (50.6% saved)

preprocess7.8s (2.7%)

Algorithm
38×egg-herbie
Rules
43974×rational.json-simplify-41
19648×rational.json-simplify-1
17096×rational.json-simplify-35
11326×rational.json-simplify-2
7642×rational.json-simplify-51
Stop Event
3×unsound
21×saturated
14×node limit
Compiler

Compiled 214 to 157 computations (26.6% saved)

regimes7.4s (2.5%)

Counts
1542 → 108
Calls

49 calls:

1.4s
b
1.3s
a
1.3s
r
300.0ms
(*.f64 r (/.f64 (sin.f64 b) (cos.f64 (+.f64 a b))))
294.0ms
x
Compiler

Compiled 17706 to 9086 computations (48.7% saved)

soundness6.1s (2.1%)

Algorithm
21×egg-herbie
Rules
29768×rational.json-simplify-35
24582×rational.json-simplify-2
21426×rational.json-simplify-51
19234×rational.json-simplify-41
18716×rational.json-simplify-1
Stop Event
1×saturated
20×node limit
Compiler

Compiled 700 to 402 computations (42.6% saved)

bsearch1.6s (0.5%)

Algorithm
35×binary-search
6×left-value
Results
703.0ms3598×body256valid
496.0ms696×body1024valid
164.0ms278×body256infinite
83.0ms255×body512valid
56.0ms75×body2048valid
25.0ms300×body256invalid
0.0ms2×body256unsamplable
Compiler

Compiled 6086 to 4500 computations (26.1% saved)

series1.1s (0.4%)

Counts
324 → 6349
Calls

1770 calls:

TimeVariablePointExpression
100.0ms
lo
@0
(*.f64 (/.f64 (+.f64 1 (/.f64 lo hi)) lo) hi)
86.0ms
r
@0
(/.f64 r (/.f64 (cos.f64 a) r))
71.0ms
x
@inf
(/.f64 (/.f64 (/.f64 (cos.f64 (+.f64 x x)) x) (pow.f64 s 2)) (pow.f64 c 2))
58.0ms
a
@0
(-.f64 (tan.f64 (+.f64 y z)) (tan.f64 a))
46.0ms
w
@inf
(pow.f64 l (exp.f64 w))

end707.0ms (0.2%)

Compiler

Compiled 1194 to 626 computations (47.6% saved)

Profiling

Loading profile data...