Details

Time bar (total: 32.4s)

sample92.0ms

Algorithm
intervals
Results
61.0ms374×body80valid

simplify36.0ms

Counts
1 → 1
Iterations
IterNodes
434
334
232
120
011

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 8.6b

localize30.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* (* y11 z2) y1k) (* (* y21 z1) y2k))
5.5b
(* (* y21 z1) y2k)
6.7b
(* (* y11 z2) y1k)

rewrite129.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-cbrt-cube add-exp-log
associate-*r* pow-prod-down prod-exp cbrt-unprod
add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
insert-posit16
associate-*l* *-commutative
+-commutative sum-log flip3-+ flip-+
Counts
3 → 50
Calls
3 calls:
38.0ms
(+ (* (* y11 z2) y1k) (* (* y21 z1) y2k))
38.0ms
(* (* y21 z1) y2k)
52.0ms
(* (* y11 z2) y1k)

series308.0ms

Counts
3 → 9
Calls
3 calls:
199.0ms
(+ (* (* y11 z2) y1k) (* (* y21 z1) y2k))
51.0ms
(* (* y21 z1) y2k)
57.0ms
(* (* y11 z2) y1k)

simplify4.7s

Counts
59 → 59
Iterations
IterNodes
34554
21070
1274
0101

prune1.1s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize32.0ms

Local error

Found 3 expressions with local error:

0.0b
(+ (* y11 (* z2 y1k)) (* (* y21 z1) y2k))
5.5b
(* (* y21 z1) y2k)
6.3b
(* y11 (* z2 y1k))

rewrite119.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1 add-cbrt-cube add-exp-log
pow-prod-down prod-exp cbrt-unprod
add-sqr-sqrt *-un-lft-identity add-cube-cbrt add-log-exp
associate-*r* associate-*l*
insert-posit16
*-commutative
+-commutative sum-log flip3-+ flip-+
Counts
3 → 50
Calls
3 calls:
37.0ms
(+ (* y11 (* z2 y1k)) (* (* y21 z1) y2k))
46.0ms
(* (* y21 z1) y2k)
35.0ms
(* y11 (* z2 y1k))

series303.0ms

Counts
3 → 9
Calls
3 calls:
202.0ms
(+ (* y11 (* z2 y1k)) (* (* y21 z1) y2k))
50.0ms
(* (* y21 z1) y2k)
51.0ms
(* y11 (* z2 y1k))

simplify2.6s

Counts
59 → 59
Iterations
IterNodes
34036
2926
1259
098

prune1.0s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

regimes2.1s

Accuracy

79.6% (1.7b remaining)

Error of 1.7b against oracle of 0.1b and baseline of 8.2b

bsearch3.0ms

simplify16.6s

Iterations
IterNodes
2672006
2661998
2651991
2641983
2631976
2621968
2611961
2601953
2591946
2581938
2571931
2561923
2551916
2541908
2531901
2521893
2511886
2501878
2491871
2481863
2471856
2461848
2451841
2441833
2431826
2421818
2411811
2401803
2391796
2381788
2371781
2361773
2351766
2341758
2331751
2321743
2311736
2301728
2291721
2281713
2271706
2261698
2251691
2241683
2231676
2221668
2211661
2201653
2191646
2181638
2171631
2161623
2151616
2141608
2131601
2121593
2111586
2101578
2091571
2081563
2071556
2061548
2051541
2041533
2031526
2021518
2011511
2001503
1991496
1981488
1971481
1961473
1951466
1941458
1931451
1921443
1911436
1901428
1891421
1881413
1871406
1861398
1851391
1841383
1831376
1821368
1811361
1801353
1791346
1781338
1771331
1761323
1751316
1741308
1731301
1721293
1711286
1701278
1691271
1681263
1671256
1661248
1651241
1641233
1631226
1621218
1611211
1601203
1591196
1581188
1571181
1561173
1551166
1541158
1531151
1521143
1511136
1501128
1491121
1481113
1471106
1461098
1451091
1441083
1431076
1421068
1411061
1401053
1391046
1381038
1371031
1361023
1351016
1341008
1331001
132993
131986
130978
129971
128963
127956
126948
125941
124933
123926
122918
121911
120903
119896
118888
117881
116873
115866
114858
113851
112843
111836
110828
109821
108813
107806
106798
105791
104783
103776
102768
101761
100753
99746
98738
97731
96723
95716
94708
93701
92693
91686
90678
89671
88663
87656
86648
85641
84633
83626
82618
81611
80603
79596
78588
77581
76573
75566
74558
73551
72543
71536
70528
69521
68513
67506
66498
65491
64483
63476
62468
61461
60453
59446
58438
57431
56423
55416
54408
53401
52393
51386
50378
49371
48363
47356
46348
45341
44333
43326
42318
41311
40303
39296
38288
37281
36273
35266
34258
33251
32243
31236
30228
29221
28213
27206
26198
25191
24183
23176
22168
21161
20153
19146
18138
17131
16123
15116
14108
13101
1293
1186
1078
971
861
760
657
556
453
350
244
141
028

end0.0ms

sample3.3s

Algorithm
intervals
Results
2.6s11562×body80valid