Details

Counts

1 → 1

Iterations

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

Local error

Found 2 expressions with local error:

0.1b	(.p16 (.p16 d1 d1) d1)
0.1b	(.p16 (.p16 (*.p16 d1 d1) d1) d1)

Algorithm

rewrite-expression-head

Rules

5×	`/p16-rgt-identity-expand`
4×	`associate-*l/`
2×	`p16-lft-identity-expand` `+p16-lft-identity-expand` `introduce-quire` `associate-l` `-p16-rgt-identity-expand` `-commutative` `p16-rgt-identity-expand` `+p16-rgt-identity-expand` `p16--un-lft-identity`

Counts

2 → 23

Calls

2 calls:

7.0ms	(.p16 (.p16 d1 d1) d1)
11.0ms	(.p16 (.p16 (*.p16 d1 d1) d1) d1)

Counts

2 → 2

Calls

2 calls:

0.0ms	(.p16 (.p16 d1 d1) d1)
0.0ms	(.p16 (.p16 (*.p16 d1 d1) d1) d1)

Counts

25 → 25

Iterations