Details

sample82.0ms

Algorithm

halfpoints

Results

simplify10.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

10.0ms

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

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize74.0ms

Local error

Found 1 expressions with local error:

0.3b	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))

rewrite2.0ms

Algorithm

rewrite-expression-head

Rules

1×	`sub-neg` `p16-flip--`

Counts

1 → 2

Calls

1 calls:

Slowest

2.0ms

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

series0.0ms

Counts

1 → 1

Calls

1 calls:

Slowest

0.0ms

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

simplify10.0ms

Counts

1 → 3

Calls

1 calls:

Slowest

10.0ms

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

prune51.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.2b

localize171.0ms

Local error

Found 4 expressions with local error:

1.4b	(/.p16 (-.p16 (.p16 (.p16 x.re y.re) (.p16 x.re y.re)) (.p16 (.p16 x.im y.im) (.p16 x.im y.im))) (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)))
0.3b	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
0.2b	(-.p16 (.p16 (.p16 x.re y.re) (.p16 x.re y.re)) (.p16 (.p16 x.im y.im) (.p16 x.im y.im)))
0.2b	(.p16 (.p16 x.re y.re) (*.p16 x.re y.re))

rewrite39.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

12.0ms	(-.p16 (.p16 (.p16 x.re y.re) (.p16 x.re y.re)) (.p16 (.p16 x.im y.im) (.p16 x.im y.im)))
12.0ms	(/.p16 (-.p16 (.p16 (.p16 x.re y.re) (.p16 x.re y.re)) (.p16 (.p16 x.im y.im) (.p16 x.im y.im))) (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)))
9.0ms	(.p16 (.p16 x.re y.re) (*.p16 x.re y.re))
5.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))

series0.0ms

Counts

4 → 4

Calls

4 calls:

Slowest

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

simplify161.0ms

Counts

4 → 13

Calls

4 calls:

Slowest

134.0ms	(-.p16 (.p16 (.p16 (.p16 x.re y.re) (.p16 x.re y.re)) (.p16 (.p16 x.re y.re) (.p16 x.re y.re))) (.p16 (.p16 (.p16 x.im y.im) (.p16 x.im y.im)) (.p16 (.p16 x.im y.im) (.p16 x.im y.im))))
12.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
7.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
6.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))

prune232.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.2b

localize145.0ms

Local error

Found 4 expressions with local error:

0.8b	(/.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (-.p16 (.p16 x.re y.re) (.p16 x.im y.im)))
0.3b	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
0.3b	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
0.3b	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

2×	`+-commutative` `p16-flip--`
1×	`sub-neg` `associate-/r/`

Counts

4 → 5

Calls

4 calls:

Slowest

5.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
5.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
3.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
3.0ms	(/.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (-.p16 (.p16 x.re y.re) (.p16 x.im y.im)))

series0.0ms

Counts

4 → 4

Calls

4 calls:

Slowest

0.0ms	(/.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (-.p16 (.p16 x.re y.re) (.p16 x.im y.im)))
0.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
0.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
0.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))

simplify27.0ms

Counts

5 → 9

Calls

5 calls:

Slowest

6.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
6.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
6.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
5.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
4.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))

prune140.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.2b

localize136.0ms

Local error

Found 4 expressions with local error:

1.4b	(/.p16 (.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (-.p16 (.p16 x.re y.re) (.p16 x.im y.im))) (+.p16 (.p16 x.re y.re) (*.p16 x.im y.im)))
0.3b	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
0.3b	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
0.3b	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 6

Calls

4 calls:

Slowest

5.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
5.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
5.0ms	(/.p16 (.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (-.p16 (.p16 x.re y.re) (.p16 x.im y.im))) (+.p16 (.p16 x.re y.re) (*.p16 x.im y.im)))
3.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))

series0.0ms

Counts

4 → 4

Calls

4 calls:

Slowest

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

simplify601.0ms

Counts

10 → 10

Calls

10 calls:

Slowest

536.0ms	(.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (-.p16 (.p16 (.p16 x.re y.re) (.p16 x.re y.re)) (.p16 (.p16 x.im y.im) (*.p16 x.im y.im))))
10.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
9.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
9.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
7.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))

prune116.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.2b

regimes529.0ms

Accuracy

-∞% (-63.7b remaining)

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

bsearch1.0ms

end0.0ms

sample2.5s

Algorithm

halfpoints

Results