Details

Counts

1 → 1

Iterations

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 2.2b

Local error

Found 4 expressions with local error:

0.2b	(+.p16 (.p16 re re) (.p16 im im))
0.4b	(sqrt.p16 (.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (.p16 re re) (*.p16 im im))) re)))
0.6b	(sqrt.p16 (+.p16 (.p16 re re) (.p16 im im)))
1.2b	(+.p16 (sqrt.p16 (+.p16 (.p16 re re) (.p16 im im))) re)

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 46

Calls

4 calls:

7.0ms	(+.p16 (.p16 re re) (.p16 im im))
0.0ms	(sqrt.p16 (.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (.p16 re re) (*.p16 im im))) re)))
0.0ms	(sqrt.p16 (+.p16 (.p16 re re) (.p16 im im)))
6.0ms	(+.p16 (sqrt.p16 (+.p16 (.p16 re re) (.p16 im im))) re)

Counts

4 → 4

Calls

4 calls:

0.0ms	(+.p16 (.p16 re re) (.p16 im im))
0.0ms	(sqrt.p16 (.p16 (real->posit16 2.0) (+.p16 (sqrt.p16 (+.p16 (.p16 re re) (*.p16 im im))) re)))
0.0ms	(sqrt.p16 (+.p16 (.p16 re re) (.p16 im im)))
0.0ms	(+.p16 (sqrt.p16 (+.p16 (.p16 re re) (.p16 im im))) re)

Iterations