Details

Counts

1 → 1

Iterations

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

Local error

Found 1 expressions with local error:

0.3b	(+.p16 (.p16 x.re y.im) (.p16 x.im y.re))

Algorithm

rewrite-expression-head

Rules

3×	`+p16-lft-identity-expand` `introduce-quire` `-p16-rgt-identity-expand` `+p16-rgt-identity-expand`
2×	`associate-+l+` `associate-+r+`
1×	`+-commutative` `associate-+r-` `p16-lft-identity-expand` `insert-quire-add` `/p16-rgt-identity-expand` `insert-quire-fdp-add` `p16-rgt-identity-expand` `associate-+l-` `p16-*-un-lft-identity`

Counts

1 → 17

Calls

1 calls:

7.0ms

(+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re))

Counts

1 → 1

Calls

1 calls:

0.0ms

(+.p16 (*.p16 x.re y.im) (*.p16 x.im y.re))

Counts

18 → 18

Iterations