Details

sample138.0ms

Algorithm

halfpoints

Results

simplify9.0ms

Calls

1 calls:

Slowest

9.0ms

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

prune71.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize128.0ms

Local error

Found 1 expressions with local error:

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

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

1 calls:

Slowest

5.0ms

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

series0.0ms

Calls

1 calls:

Slowest

0.0ms

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

simplify7.0ms

Calls

1 calls:

Slowest

7.0ms

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

prune143.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.2b

localize228.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 x.re y.re) (*.p16 x.re y.re))
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)))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

49.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)))
15.0ms	(-.p16 (.p16 (.p16 x.re y.re) (.p16 x.re y.re)) (.p16 (.p16 x.im y.im) (.p16 x.im y.im)))
7.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))
7.0ms	(.p16 (.p16 x.re y.re) (*.p16 x.re y.re))

series0.0ms

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))

simplify307.0ms

Calls

13 calls:

Slowest

177.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))))
14.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
14.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
13.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))
13.0ms	(-.p16 (.p16 x.re y.re) (.p16 x.im y.im))

prune1.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize67.0ms

Local error

Found 4 expressions with local error:

1.0b	(/.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 (.p16 x.re y.re) (.p16 x.im y.im)) (/.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))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Calls

4 calls:

Slowest

20.0ms	(/.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (/.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (-.p16 (.p16 x.re y.re) (.p16 x.im y.im))))
11.0ms	(/.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (-.p16 (.p16 x.re y.re) (.p16 x.im y.im)))
7.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))

series0.0ms

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 (.p16 x.re y.re) (.p16 x.im y.im)) (/.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))

simplify37.0ms

Calls

7 calls:

Slowest

9.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 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))

prune710.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize89.0ms

Local error

Found 4 expressions with local error:

1.3b	(/.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))))
1.2b	(.p16 (/.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)))) (+.p16 (.p16 x.re y.re) (*.p16 x.im y.im)))
0.3b	(/.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (.p16 (/.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)))) (+.p16 (.p16 x.re y.re) (*.p16 x.im y.im))))
0.3b	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))

rewrite166.0ms

Algorithm

rewrite-expression-head

Rules

15×	`associate-/r*`
14×	`*-commutative`
12×	`difference-of-squares`
10×	`associate-*l/`
8×	`associate-/r/`
3×	`+-commutative` `p16-flip--`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-l`

Calls

4 calls:

Slowest

69.0ms	(.p16 (/.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)))) (+.p16 (.p16 x.re y.re) (*.p16 x.im y.im)))
63.0ms	(/.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (.p16 (/.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)))) (+.p16 (.p16 x.re y.re) (*.p16 x.im y.im))))
18.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))))
15.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))

series0.0ms

Calls

4 calls:

Slowest

0.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))))
0.0ms	(/.p16 (+.p16 (.p16 x.re y.re) (.p16 x.im y.im)) (.p16 (/.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)))) (+.p16 (.p16 x.re y.re) (*.p16 x.im y.im))))
0.0ms	(.p16 (/.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)))) (+.p16 (.p16 x.re y.re) (*.p16 x.im y.im)))
0.0ms	(+.p16 (.p16 x.re y.re) (.p16 x.im y.im))

simplify8.1s

Calls

27 calls:

Slowest

1.3s	(.p16 (.p16 x.re y.re) (/.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)))))
1.2s	(.p16 (.p16 x.im y.im) (/.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)))))
979.0ms	(.p16 (/.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)))) (.p16 x.re y.re))
892.0ms	(.p16 (/.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)))) (.p16 x.im y.im))
779.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)))

prune1.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

regimes1.7s

Accuracy

-∞% (-63.7b remaining)

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

bsearch1.0ms

end0.0ms

sample3.4s

Algorithm

halfpoints

Results