Details

sample91.0ms

Algorithm: halfpoints

simplify6.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	7
1	7
0	6

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize140.0ms

Local error

Found 2 expressions with local error:

0.2b	(+.p16 (.p16 re re) (.p16 im im))
0.5b	(sqrt.p16 (+.p16 (.p16 re re) (.p16 im im)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 38

Calls

2 calls:

24.0ms	(+.p16 (.p16 re re) (.p16 im im))
1.0ms	(sqrt.p16 (+.p16 (.p16 re re) (.p16 im im)))

series0.0ms

Counts

2 → 2

Calls

2 calls:

0.0ms	(+.p16 (.p16 re re) (.p16 im im))
0.0ms	(sqrt.p16 (+.p16 (.p16 re re) (.p16 im im)))

simplify22.2s

Counts

40 → 40

Iterations

Iter	Nodes
done	5060
6	1561
5	506
4	223
3	92
2	40
1	24
0	19

prune390.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.6b

localize115.0ms

Local error

Found 2 expressions with local error:

0.5b	(sqrt.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 re re)) im im)))
4.4b	(quire16-mul-add (posit16->quire16 (*.p16 re re)) im im)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`p16-lft-identity-expand` `+p16-lft-identity-expand` `introduce-quire` `-p16-rgt-identity-expand` `/p16-rgt-identity-expand` `p16-rgt-identity-expand` `+p16-rgt-identity-expand` `p16-*-un-lft-identity`

Counts

2 → 8

Calls

2 calls:

0.0ms	(sqrt.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 re re)) im im)))
0.0ms	(quire16-mul-add (posit16->quire16 (*.p16 re re)) im im)

series0.0ms

Counts

2 → 2

Calls

2 calls:

0.0ms	(sqrt.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 re re)) im im)))
0.0ms	(quire16-mul-add (posit16->quire16 (*.p16 re re)) im im)

simplify4.0ms

Counts

10 → 10

Iterations

Iter	Nodes
done	12
0	12

prune161.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0.6b

regimes143.0ms

Accuracy

0% (0.0b remaining)

Error of 0.5b against oracle of 0.5b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	7
0	7

end0.0ms

sample2.3s

Algorithm: halfpoints