Details

Counts

1 → 1

Iterations

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.9b

Local error

Found 4 expressions with local error:

0.0b	(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>)) #<cpointer:posit16>) #<cpointer:posit16>)
0.1b	(+.p16 (+.p16 alpha beta) #<cpointer:posit16>)
0.4b	(+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>)) #<cpointer:posit16>)
0.8b	(/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>))

Algorithm

rewrite-expression-head

Rules

121×	`p16-lft-identity-expand` `p16--un-lft-identity`
75×	`p16-times-frac`
66×	`*p16-rgt-identity-expand`
40×	`p16-distribute-lft-out` `distribute-lft-out`
16×	`associate-/l*`
15×	`associate-/r*` `distribute-rgt-out`
13×	`/p16-rgt-identity-expand`
12×	`introduce-quire`
8×	`-p16-rgt-identity-expand`
7×	`+p16-lft-identity-expand` `associate-/r/` `+p16-rgt-identity-expand`
6×	`insert-quire-fdp-add`
4×	`associate-+r+`
3×	`associate-+l+` `associate-/l/`
2×	`+-commutative` `associate-+r-` `insert-quire-add` `associate-+l-`
1×	`p16-flip--`

Counts

4 → 183

Calls

4 calls:

185.0ms	(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>)) #<cpointer:posit16>) #<cpointer:posit16>)
17.0ms	(+.p16 (+.p16 alpha beta) #<cpointer:posit16>)
97.0ms	(+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>)) #<cpointer:posit16>)
31.0ms	(/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>))

Counts

4 → 4

Calls

4 calls:

0.0ms	(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>)) #<cpointer:posit16>) #<cpointer:posit16>)
0.0ms	(+.p16 (+.p16 alpha beta) #<cpointer:posit16>)
0.0ms	(+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>)) #<cpointer:posit16>)
0.0ms	(/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) #<cpointer:posit16>))

Counts

187 → 187

Iterations