Details

Time bar (total: 8.7s)

sample226.0ms

Algorithm
halfpoints
Results

simplify48.0ms

Calls
1 calls:
Slowest
48.0ms
(/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))

prune70.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize295.0ms

Local error

Found 3 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
2×p16-flip--
1×+-commutative sub-neg associate-/l/
Calls
3 calls:
Slowest
4.0ms
(+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))
3.0ms
(/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
2.0ms
(-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))

series0.0ms

Calls
3 calls:
Slowest
0.0ms
(/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
0.0ms
(-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
0.0ms
(+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))

simplify210.0ms

Calls
4 calls:
Slowest
95.0ms
(-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
48.0ms
(/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
44.0ms
(/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
22.0ms
(/.p16 (-.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))

prune336.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.9b

localize162.0ms

Local error

Found 4 expressions with local error:

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

rewrite11.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-/l/
1×+-commutative associate-*r* associate-*l* p16-flip-- *-commutative associate-/l* difference-of-squares
Calls
4 calls:
Slowest
4.0ms
(/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
3.0ms
(/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
2.0ms
(+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
2.0ms
(*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
0.0ms
(/.p16 (/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
0.0ms
(+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
0.0ms
(*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))

simplify148.0ms

Calls
3 calls:
Slowest
100.0ms
(-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))
42.0ms
(-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
4.0ms
(+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))

prune459.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.9b

localize217.0ms

Local error

Found 4 expressions with local error:

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

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-/l/
1×+-commutative associate-*r* p16-flip-- *-commutative
Calls
4 calls:
Slowest
3.0ms
(/.p16 (-.p16 (*.p16 x.im (*.p16 y.re (*.p16 x.im y.re))) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
2.0ms
(/.p16 (/.p16 (-.p16 (*.p16 x.im (*.p16 y.re (*.p16 x.im y.re))) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
2.0ms
(*.p16 x.im (*.p16 y.re (*.p16 x.im y.re)))
2.0ms
(+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(/.p16 (-.p16 (*.p16 x.im (*.p16 y.re (*.p16 x.im y.re))) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im)))
0.0ms
(/.p16 (/.p16 (-.p16 (*.p16 x.im (*.p16 y.re (*.p16 x.im y.re))) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
0.0ms
(*.p16 x.im (*.p16 y.re (*.p16 x.im y.re)))
0.0ms
(+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))

simplify430.0ms

Calls
3 calls:
Slowest
288.0ms
(-.p16 (*.p16 x.im (*.p16 y.re (*.p16 x.im y.re))) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
140.0ms
(-.p16 (*.p16 (*.p16 x.im (*.p16 y.re (*.p16 x.im y.re))) (*.p16 x.im (*.p16 y.re (*.p16 x.im y.re)))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))
2.0ms
(*.p16 x.im y.re)

prune341.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.9b

localize60.0ms

Local error

Found 4 expressions with local error:

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

rewrite9.0ms

Algorithm
rewrite-expression-head
Rules
2×associate-*r* associate-*l* *-commutative difference-of-squares
1×+-commutative associate-/r* p16-times-frac p16-flip-- associate-/l* associate-/l/
Calls
4 calls:
Slowest
4.0ms
(/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))
2.0ms
(+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
2.0ms
(*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))
2.0ms
(*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))

series0.0ms

Calls
4 calls:
Slowest
0.0ms
(/.p16 (-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))) (*.p16 (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)) (+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))))
0.0ms
(+.p16 (*.p16 x.im y.re) (*.p16 x.re y.im))
0.0ms
(*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))
0.0ms
(*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))

simplify347.0ms

Calls
9 calls:
Slowest
97.0ms
(-.p16 (*.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re))) (*.p16 (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im))))
65.0ms
(-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
48.0ms
(-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
42.0ms
(-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))
42.0ms
(-.p16 (*.p16 (*.p16 x.im y.re) (*.p16 x.im y.re)) (*.p16 (*.p16 x.re y.im) (*.p16 x.re y.im)))

prune492.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.8b

regimes1.4s

Accuracy

-∞% (-62.9b remaining)

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

bsearch1.0ms

end0.0ms

sample3.4s

Algorithm
halfpoints
Results