Details

sample181.0ms

Algorithm: halfpoints

simplify13.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	12
3	12
2	10
1	6
0	5

prune43.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize37.0ms

Local error

Found 1 expressions with local error:

0.0b	(*.p16 (+.p16 im im) re)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 13

Calls

1 calls:

6.0ms

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

series0.0ms

Counts

1 → 1

Calls

1 calls:

0.0ms

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

simplify17.0ms

Counts

14 → 14

Iterations

Iter	Nodes
done	26
4	26
3	25
2	18
1	12
0	10

prune126.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.0b

localize69.0ms

Local error

Found 1 expressions with local error:

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

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 36

Calls

1 calls:

11.0ms

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

series0.0ms

Counts

1 → 1

Calls

1 calls:

0.0ms

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

simplify188.0ms

Counts

37 → 37

Iterations

Iter	Nodes
done	327
8	327
7	283
6	271
5	255
4	125
3	62
2	36
1	25
0	20

prune251.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize80.0ms

Local error

Found 1 expressions with local error:

0.1b	(*.p16 (+.p16 re re) im)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 13

Calls

1 calls:

4.0ms

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

series0.0ms

Counts

1 → 1

Calls

1 calls:

0.0ms

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

simplify39.0ms

Counts

14 → 14

Iterations

Iter	Nodes
done	27
4	27
3	26
2	19
1	13
0	11

prune132.0ms

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes120.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	4
0	4

end0.0ms

sample1.9s

Algorithm: halfpoints