Details

sample177.0ms

Algorithm

halfpoints

Results

simplify21.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

21.0ms

(-.p16 (*.p16 re re) (*.p16 im im))

prune20.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize90.0ms

Local error

Found 1 expressions with local error:

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

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

1×	`distribute-rgt-in` `distribute-lft-in` `associate-l/` `p16-flip--` `-commutative`

Counts

1 → 4

Calls

1 calls:

Slowest

9.0ms

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

series0.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

0.0ms

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

simplify78.0ms

Counts

4 → 5

Calls

4 calls:

Slowest

48.0ms	(.p16 (-.p16 (.p16 re re) (*.p16 im im)) (+.p16 im re))
12.0ms	(*.p16 (-.p16 re im) (+.p16 im re))
9.0ms	(*.p16 re (-.p16 re im))
9.0ms	(*.p16 (-.p16 re im) re)

prune54.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize72.0ms

Local error

Found 1 expressions with local error:

0.4b	(-.p16 (.p16 re re) (.p16 im im))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

1×	`sub-neg` `p16-flip--` `difference-of-squares`

Counts

1 → 3

Calls

1 calls:

Slowest

3.0ms

(-.p16 (*.p16 re re) (*.p16 im im))

series0.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

0.0ms

(-.p16 (*.p16 re re) (*.p16 im im))

simplify9.0ms

Counts

3 → 4

Calls

3 calls:

Slowest

6.0ms	(-.p16 (.p16 re re) (.p16 im im))
1.0ms	(-.p16 re im)
1.0ms	(+.p16 re im)

prune66.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize83.0ms

Local error

Found 3 expressions with local error:

0.4b	(+.p16 (.p16 (-.p16 re im) im) (.p16 (-.p16 re im) re))
0.2b	(*.p16 (-.p16 re im) im)
0.2b	(*.p16 (-.p16 re im) re)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

2×	`associate-l/` `p16-flip--` `-commutative`
1×	`+-commutative` `p16-distribute-lft-out` `distribute-lft-out`

Counts

3 → 7

Calls

3 calls:

Slowest

3.0ms	(+.p16 (.p16 (-.p16 re im) im) (.p16 (-.p16 re im) re))
2.0ms	(*.p16 (-.p16 re im) im)
2.0ms	(*.p16 (-.p16 re im) re)

series0.0ms

Counts

3 → 3

Calls

3 calls:

Slowest

0.0ms	(*.p16 (-.p16 re im) im)
0.0ms	(+.p16 (.p16 (-.p16 re im) im) (.p16 (-.p16 re im) re))
0.0ms	(*.p16 (-.p16 re im) re)

simplify119.0ms

Counts

9 → 10

Calls

9 calls:

Slowest

44.0ms	(.p16 (-.p16 (.p16 re re) (*.p16 im im)) re)
42.0ms	(.p16 (-.p16 (.p16 re re) (*.p16 im im)) im)
9.0ms	(*.p16 (-.p16 re im) re)
9.0ms	(*.p16 (-.p16 re im) re)
9.0ms	(*.p16 (-.p16 re im) re)

prune138.0ms

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0.0b

localize186.0ms

Local error

Found 4 expressions with local error:

1.8b	(/.p16 (-.p16 (.p16 (.p16 re re) (.p16 re re)) (.p16 (.p16 im im) (.p16 im im))) (+.p16 (.p16 re re) (.p16 im im)))
0.2b	(+.p16 (.p16 re re) (.p16 im im))
0.2b	(-.p16 (.p16 (.p16 re re) (.p16 re re)) (.p16 (.p16 im im) (.p16 im im)))
0.2b	(.p16 (.p16 re re) (*.p16 re re))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

2×	`p16-flip--` `difference-of-squares`
1×	`+-commutative` `sub-neg` `associate-r` `associate-l` `-commutative` `associate-/l` `associate-/l/`

Counts

4 → 9

Calls

4 calls:

Slowest

13.0ms	(-.p16 (.p16 (.p16 re re) (.p16 re re)) (.p16 (.p16 im im) (.p16 im im)))
9.0ms	(/.p16 (-.p16 (.p16 (.p16 re re) (.p16 re re)) (.p16 (.p16 im im) (.p16 im im))) (+.p16 (.p16 re re) (.p16 im im)))
5.0ms	(.p16 (.p16 re re) (*.p16 re re))
4.0ms	(+.p16 (.p16 re re) (.p16 im im))

series0.0ms

Counts

4 → 4

Calls

4 calls:

Slowest

0.0ms	(/.p16 (-.p16 (.p16 (.p16 re re) (.p16 re re)) (.p16 (.p16 im im) (.p16 im im))) (+.p16 (.p16 re re) (.p16 im im)))
0.0ms	(-.p16 (.p16 (.p16 re re) (.p16 re re)) (.p16 (.p16 im im) (.p16 im im)))
0.0ms	(+.p16 (.p16 re re) (.p16 im im))
0.0ms	(.p16 (.p16 re re) (*.p16 re re))

simplify627.0ms

Counts

4 → 13

Calls

4 calls:

Slowest

610.0ms	(-.p16 (.p16 (.p16 (.p16 re re) (.p16 re re)) (.p16 (.p16 re re) (.p16 re re))) (.p16 (.p16 (.p16 im im) (.p16 im im)) (.p16 (.p16 im im) (.p16 im im))))
10.0ms	(-.p16 (.p16 re re) (.p16 im im))
3.0ms	(+.p16 (.p16 re re) (.p16 im im))
3.0ms	(+.p16 (.p16 re re) (.p16 im im))

prune147.0ms

Pruning

4 alts after pruning (0 fresh and 4 done)

Merged error: 0.0b

regimes145.0ms

Accuracy

-∞% (-63.9b remaining)

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

bsearch1.0ms

end0.0ms

sample2.5s

Algorithm

halfpoints

Results