Morphocompletion for #2300 ⟨a, b | abaaaba=aab⟩

Solved by morph:4/0,2/0. (See Morphocompletion.)

Step 1

Checking up to 20 rules for overlaps.

Rewriting system is not complete: rulesLimit

Collecting factors up to length 7 / frequency 4:

[2/0]	aa	38	`lf:32,lp:5,ls:1,rf:22,rp:8,rs:1,lprp:3`
[2/1]	ab	34	`lf:26,lp:5,ls:3,rf:19,rp:2,rs:7,lprs:2`
[2/2]	ba	29	`lf:23,ls:6,rf:12,rs:2`
[2/3]	bb	2	`lf:2,rf:2,a:2`
[3/0]	aba	32	`lf:21,lp:5,ls:6,rf:10,rp:2,rs:2,lsrp:1,lprs:2`
[3/1]	aab	23	`lf:16,lp:4,ls:3,rf:12,rp:6,rs:5,re:1,lprp:3,lsrp:2,lprs:2`
[3/2]	aaa	16	`lf:15,lp:1,rf:9,rp:2`
[3/3]	baa	13	`lf:12,ls:1,rf:5,rs:1`
[4/0]	aaba	20	`lf:12,lp:3,ls:5,rf:5,rp:3,lprp:1,lsrp:2`
[4/1]	abaa	15	`lf:10,lp:4,ls:1,rf:3,rp:2,lsrp:1`
[4/2]	aaab	13	`lf:9,lp:1,ls:3,rf:5,rp:2,rs:3,lsrp:1,lprs:1`
[4/3]	baaa	8	`lf:8,rf:3`
[5/0]	aaaba	10	`lf:6,lp:1,ls:3,rf:2,rp:2`
[5/1]	abaaa	9	`lf:6,lp:3,rf:2,rp:2`
[5/2]	aabab	6	`lf:4,lp:2,rf:4,rp:3,rs:1,re:1,lprp:1,a:2`
[5/3]	ababa	6	`lf:4,lp:1,ls:1,rf:3,rs:2,a:3`
[6/0]	abaaba	6	`lf:3,lp:1,ls:2,a:1`
[6/1]	baaaba	6	`lf:3,ls:3`
[6/2]	abaaaa	6	`lf:4,lp:2,rf:2,rp:2,a:1`
[6/3]	aababa	5	`lf:3,lp:1,ls:1,rf:3,rp:2,rs:2,re:1,a:3`

Considering [length 4 / frequency 0] aaba=c.

Checking up to 20 rules for overlaps.

Auxiliary generators:
1. c = aaba
Reduction order:
- Left-to-right recursive path with deg(a) = deg(c) = 0, a < c; deg(b) = 1

Rewriting system is not complete: rhsLimit

Collecting factors up to length 6 / frequency 7:

Considering [length 2 / frequency 0] ab=d.

Auxiliary generators:
1. c = aaba
2. d = ab
Reduction order:
- Left-to-right recursive path with deg(a) = deg(c) = 0, a < c; deg(d) = 1; deg(b) = 2

Rewriting system is complete. See ⟨a, b | abaaaba=aab⟩.