Details

Time bar (total: 25.1min)

sample1.0s

Algorithm
intervals
Results
623.0ms2425×body80valid

simplify723.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
06395
113295
234895
3142395
done500095

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 29.5b

Counts
2 → 1

localize69.0ms

Local error

Found 4 expressions with local error:

10.0b
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
24×flip3-- flip--
20×add-sqr-sqrt
16×frac-times
12×pow1 add-exp-log add-cube-cbrt *-un-lft-identity associate-*r* associate-*l* add-cbrt-cube
distribute-rgt-in sub-neg distribute-lft-in associate-*r/ associate-*l/
pow-prod-down prod-exp *-commutative cbrt-unprod add-log-exp unswap-sqr
Counts
4 → 120
Calls
4 calls:
10.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
11.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series240.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
60.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
58.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
63.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify7.5min

Counts
132 → 132
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
011
done11
01923
14523
211421
326219
455719
571519
6119819
7186019
8207019
done207019
01923
14523
211421
326219
455719
571519
6119819
7186019
8207019
done207019
011
done11
01923
14523
211423
326121
455219
573719
6122319
7188419
8209319
done209319
01923
14523
211423
326121
455219
573719
6122319
7188419
8209319
done209319
011
done11
01923
14523
211223
325821
455619
573019
6121319
7187419
8207619
9207819
done207819
01923
14523
211223
325821
455619
573019
6121319
7187419
8207619
9207819
done207819
011
done11
01923
14523
211123
326819
457019
574019
6122319
7188519
8209719
9210119
done210119
01923
14523
211123
326819
457019
574019
6122319
7188519
8209719
9210119
done210119

prune482.0ms

Filtered
104 candidates to 132 candidates (-26.9%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New11121132
Fresh000
Picked101
Done000
Total11221133

Merged error: 20.6b

Counts
133 → 21

localize78.0ms

Local error

Found 4 expressions with local error:

9.4b
(* (- (* t y2) (* y y3)) (* y4 c))
10.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.6b
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
15×pow1 add-exp-log add-cbrt-cube
12×frac-times associate-*l*
11×add-cube-cbrt *-un-lft-identity
10×associate-*r*
associate-*l/
distribute-rgt-in sub-neg distribute-lft-in associate-*r/ pow-prod-down prod-exp cbrt-unprod
*-commutative add-log-exp
unswap-sqr
Counts
4 → 110
Calls
4 calls:
8.0ms
(* (- (* t y2) (* y y3)) (* y4 c))
11.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series225.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (- (* t y2) (* y y3)) (* y4 c))
58.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
65.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
68.0ms
(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify6.1min

Counts
122 → 122
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01111
11911
23811
39111
419511
527111
631911
done31911
01111
11911
23811
39111
419511
527111
631911
done31911
01414
12214
23514
33714
done3714
01313
12213
23413
33813
done3813
01212
12312
24912
311412
422412
530412
635212
done35212
01212
12212
25412
315212
438112
590712
6320012
done500012
01735
13435
211917
350017
4293315
done500015
01535
13635
212315
353715
4288113
done500113
01325
12125
24025
39325
419925
527925
632725
done32725
01212
12012
23912
39212
419012
527012
631812
done31812
01335
13135
213313
379913
done500013
01212
12012
23912
39212
419012
527012
631812
done31812
01212
12012
23912
39212
419012
527012
631812
done31812
099
1149
2279
3569
4709
5789
done789
01212
12012
23312
done3312
01212
12012
23312
done3312
01111
11911
23811
39111
419511
527111
631911
done31911
01415
14115
213715
350915
4233315
done500015
01319
13819
29719
327819
495319
5245719
6453719
done500019
011
done11
01923
14523
211421
326219
455719
571519
6119819
7186019
8207019
done207019
01923
14523
211421
326219
455719
571519
6119819
7186019
8207019
done207019
011
done11
01923
14523
211423
326121
455219
573719
6122319
7188419
8209319
done209319
01923
14523
211423
326121
455219
573719
6122319
7188419
8209319
done209319
011
done11
01923
14523
211223
325821
455619
573019
6121319
7187419
8207619
9207819
done207819
01923
14523
211223
325821
455619
573019
6121319
7187419
8207619
9207819
done207819
011
done11
01215
12715
28011
320911
433311
533811
done33811
01215
12715
28011
320911
433311
533811
done33811

prune395.0ms

Filtered
95 candidates to 122 candidates (-28.4%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New1193122
Fresh21820
Picked101
Done000
Total12221143

Merged error: 19.8b

Counts
143 → 21

localize80.0ms

Local error

Found 4 expressions with local error:

9.4b
(* (- (* t y2) (* y y3)) (* y4 c))
10.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.3b
(* (- (* x y2) (* z y3)) (* y0 c))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
18×pow1 add-exp-log add-cbrt-cube
14×add-sqr-sqrt flip3-- flip--
12×associate-*l*
10×add-cube-cbrt *-un-lft-identity
frac-times associate-*r* pow-prod-down associate-*l/ prod-exp cbrt-unprod
distribute-rgt-in sub-neg distribute-lft-in associate-*r/ *-commutative add-log-exp
unswap-sqr
Counts
4 → 100
Calls
4 calls:
8.0ms
(* (- (* t y2) (* y y3)) (* y4 c))
10.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
15.0ms
(* (- (* x y2) (* z y3)) (* y0 c))

series187.0ms

Counts
4 → 12
Calls
4 calls:
33.0ms
(* (- (* t y2) (* y y3)) (* y4 c))
60.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
63.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
31.0ms
(* (- (* x y2) (* z y3)) (* y0 c))

simplify4.4min

Counts
112 → 112
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01111
11911
23811
39111
419511
527111
631911
done31911
01111
11911
23811
39111
419511
527111
631911
done31911
01414
12214
23514
33714
done3714
01313
12213
23413
33813
done3813
01212
12312
24912
311412
422412
530412
635212
done35212
01212
12212
25412
315212
438112
590712
6320012
done500012
01735
13435
211917
350017
4293315
done500015
01535
13635
212315
353715
4288113
done500113
01325
12125
24025
39325
419925
527925
632725
done32725
01212
12012
23912
39212
419012
527012
631812
done31812
01335
13135
213313
379913
done500013
01212
12012
23912
39212
419012
527012
631812
done31812
01212
12012
23912
39212
419012
527012
631812
done31812
099
1149
2279
3569
4709
5789
done789
01212
12012
23312
done3312
01212
12012
23312
done3312
01111
11911
23811
39111
419511
527111
631911
done31911
01415
14115
213715
350915
4233315
done500015
01319
13819
29719
327819
495319
5245719
6453719
done500019
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01111
11911
23811
39111
419511
527111
631911
done31911
01111
11911
23811
39111
419511
527111
631911
done31911
01414
12214
23514
33714
done3714
01313
12213
23413
33813
done3813
01212
12312
24912
311412
422412
530412
635212
done35212
01212
12212
25412
315212
438112
590712
6320012
done500012
01735
13435
211917
350017
4293315
done500015
01535
13635
212315
353715
4288113
done500113
01325
12125
24025
39325
419925
527925
632725
done32725
01212
12012
23912
39212
419012
527012
631812
done31812
01335
13135
213313
379913
done500013
01212
12012
23912
39212
419012
527012
631812
done31812
01212
12012
23912
39212
419012
527012
631812
done31812
099
1149
2279
3569
4709
5789
done789
01212
12012
23312
done3312
01212
12012
23312
done3312
01111
11911
23811
39111
419511
527111
631911
done31911
01415
14115
213715
350915
4233315
done500015
01319
13819
29719
327819
495319
5245719
6453719
done500019
011
done11
01315
13113
28511
320611
432411
533211
done33211
01315
13113
28511
320611
432411
533211
done33211
011
done11
01923
14523
211423
326121
455219
573719
6122319
7188419
8209319
done209319
01923
14523
211423
326121
455219
573719
6122319
7188419
8209319
done209319
011
done11
01923
14523
211223
325821
455619
573019
6121319
7187419
8207619
9207819
done207819
01923
14523
211223
325821
455619
573019
6121319
7187419
8207619
9207819
done207819
011
done11
01215
12715
28011
320911
433311
533811
done33811
01215
12715
28011
320911
433311
533811
done33811

prune389.0ms

Filtered
87 candidates to 112 candidates (-28.7%)
Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New1111112
Fresh02020
Picked101
Done000
Total11221133

Merged error: 19.7b

Counts
133 → 21

localize83.0ms

Local error

Found 4 expressions with local error:

8.4b
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.4b
(* (- (* t y2) (* y y3)) (* y4 c))
10.1b
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.8b
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
19×flip3-- flip--
17×add-sqr-sqrt
15×pow1 add-exp-log add-cbrt-cube
12×frac-times associate-*l*
11×add-cube-cbrt *-un-lft-identity
10×associate-*r*
associate-*l/
distribute-rgt-in sub-neg distribute-lft-in associate-*r/ pow-prod-down prod-exp cbrt-unprod
*-commutative add-log-exp
unswap-sqr
Counts
4 → 110
Calls
4 calls:
10.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.0ms
(* (- (* t y2) (* y y3)) (* y4 c))
11.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series217.0ms

Counts
4 → 12
Calls
4 calls:
58.0ms
(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
34.0ms
(* (- (* t y2) (* y y3)) (* y4 c))
59.0ms
(* (- (* x y) (* z t)) (- (* a b) (* c i)))
66.0ms
(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify6.4min

Counts
122 → 122
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
01111
11911
23811
39111
419511
527111
631911
done31911
01111
11911
23811
39111
419511
527111
631911
done31911
01414
12214
23514
33714
done3714
01313
12213
23413
33813
done3813
01212
12312
24912
311412
422412
530412
635212
done35212
01212
12212
25412
315212
438112
590712
6320012
done500012
01735
13435
211917
350017
4293315
done500015
01535
13635
212315
353715
4288113
done500113
01325
12125
24025
39325
419925
527925
632725
done32725
01212
12012
23912
39212
419012
527012
631812
done31812
01335
13135
213313
379913
done500013
01212
12012
23912
39212
419012
527012
631812
done31812
01212
12012
23912
39212
419012
527012
631812
done31812
099
1149
2279
3569
4709
5789
done789
01212
12012
23312
done3312
01212
12012
23312
done3312
01111
11911
23811
39111
419511
527111
631911
done31911
01415
14115
213715
350915
4233315
done500015
01319
13819
29719
327819
495319
5245719
6453719
done500019
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01717
12617
24017
done4017
01616
12816
25516
313716
436316
580316
6129016
7233416
8287616
9417516
10440216
done440216
01616
12716
26416
318616
456016
5156816
6496216
done500016
01947
13447
210319
348419
4314617
done500117
01733
12633
25233
313433
435833
579833
6126733
7231133
8285533
9415033
10438133
done438133
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01747
13647
212717
375017
done500017
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
01616
12516
25116
313316
436316
578916
6129616
7234016
8288216
9417116
10440616
done440616
02023
16423
224123
393923
done500023
02347
18439
227339
3120139
done500039
02027
16527
220627
374527
4410027
done500027
01931
15627
217227
366027
4239927
5496427
done500027
02027
16527
220627
373927
4407927
done500127
01931
15627
217027
357027
4181627
5400727
done500127
01931
16231
216431
351731
4290531
done500031
01515
12815
26915
318915
433915
539315
done39315
01717
12617
24017
done4017
01717
12617
24017
done4017
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
23811
39111
419511
527111
631911
done31911
01212
12412
25312
315412
444811
584011
6132711
7147311
8191611
9192011
done192011
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01111
11911
24411
311811
422611
528211
630611
done30611
01212
12412
25912
319212
449311
594111
6140611
7154611
8198311
9198611
done198611
01725
12825
25025
39125
414925
519725
622125
done22125
01616
12516
24516
37416
48816
59616
done9616
099
1167
2327
3677
41187
51327
61427
done1427
01616
12516
24516
37416
48816
59616
done9616
01616
12516
24516
37416
48816
59616
done9616
01515
12415
25015
313215
436015
581015
6127115
7231515
8285515
9415615
10438715
done438715
01819
14619
214919
354019
4254919
done500019
01723
14323
210723
331723
4126923
5455523
done500023
01819
14619
214919
355219
4254919
done500019
01723
14323
210723
331723
4128823
5470623
done500023
011
done11
01923
14523
211423
326121
455219
573719
6122319
7188419
8209319
done209319
01923
14523
211423
326121
455219
573719
6122319
7188419
8209319
done209319
011
done11
01923
14523
211223
325821
455619
573019
6121319
7187419
8207619
9207819
done207819
01923
14523
211223
325821
455619
573019
6121319
7187419
8207619
9207819
done207819
011
done11
01215
12715
28011
320911
433311
533811
done33811
01215
12715
28011
320911
433311
533811
done33811
011
done11
01923
14423
211321
326919
456419
573419
6121719
7187919
8209419
9209619
done209619
01923
14423
211321
326919
456419
573419
6121719
7187919
8209419
9209619
done209619

prune207.0ms

Filtered
95 candidates to 122 candidates (-28.4%)
Pruning

27 alts after pruning (27 fresh and 0 done)

PrunedKeptTotal
New1157122
Fresh02020
Picked101
Done000
Total11627143

Merged error: 17.1b

Counts
143 → 27

regimes7.0s

Accuracy

-12.7% (12.6b remaining)

Error of 29.1b against oracle of 16.4b and baseline of 27.7b

bsearch1.5s

Steps
ItersRangePoint
5
9.899544612215696e-15
3.688934917018806e-14
1.1379787296102153e-14
6
2.2189178148295357e-233
1.1364819146836136e-232
7.456750155366136e-233
9
-2.9085343444568586e-242
-1.1219667665674772e-247
-1.3354554234614029e-247
8
-3.6324612334722134e-128
-2.5650113464435044e-131
-2.7802933016315364e-130

simplify28.0ms

Iterations

Useful iterations: 1 (10.0ms)

IterNodesCost
0122527
1187524
2193524
done193524

end0.0ms

sample30.8s

Algorithm
intervals
Results
18.4s71201×body80valid

Profiling

Loading profile data...