Details

Time bar (total: 15.5s)

sample156.0ms

Algorithm
halfpoints
Results

simplify127.0ms

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

prune108.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.3b

localize244.0ms

Local error

Found 4 expressions with local error:

0.3b
(-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
0.2b
(*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
0.2b
(*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))
0.1b
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
11×sub-neg
9×distribute-rgt-in distribute-lft-in
6×*-commutative
5×associate-*r*
4×associate--l+
3×associate-*r/ p16-flip--
1×distribute-rgt-out--
Calls
4 calls:
Slowest
22.0ms
(*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
20.0ms
(-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
11.0ms
(*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))
8.0ms
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))

series0.0ms

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

simplify855.0ms

Calls
20 calls:
Slowest
209.0ms
(-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
160.0ms
(-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
131.0ms
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im)))
112.0ms
(-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
104.0ms
(-.p16 (*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))

prune1.2s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize209.0ms

Local error

Found 4 expressions with local error:

0.3b
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im)))
0.2b
(*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im))))
0.1b
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
0.0b
(*.p16 x.im (+.p16 x.im x.im))

rewrite40.0ms

Algorithm
rewrite-expression-head
Rules
11×distribute-rgt-in sub-neg distribute-lft-in
6×associate--l+
4×+-commutative associate--r+
3×p16-flip-- *-commutative
2×associate-*r/
Calls
4 calls:
Slowest
19.0ms
(*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im))))
13.0ms
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im)))
4.0ms
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
3.0ms
(*.p16 x.im (+.p16 x.im x.im))

series0.0ms

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

simplify3.0s

Calls
24 calls:
Slowest
765.0ms
(*.p16 x.re (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.im (+.p16 x.im x.im))))
707.0ms
(*.p16 (-.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) (*.p16 x.im (+.p16 x.im x.im))) x.re)
492.0ms
(*.p16 x.re (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.im (+.p16 x.im x.im))))
484.0ms
(*.p16 (-.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) (*.p16 x.im (+.p16 x.im x.im))) x.re)
121.0ms
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im)))

prune1.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize224.0ms

Local error

Found 4 expressions with local error:

0.3b
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im)))
0.2b
(*.p16 (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im))) x.re)
0.1b
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
0.0b
(*.p16 x.im (+.p16 x.im x.im))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
6×distribute-rgt-in distribute-lft-in
5×sub-neg
4×+-commutative associate--r+
3×p16-flip-- *-commutative
2×associate--l+
1×associate-*l/ associate-*r/
Calls
4 calls:
Slowest
13.0ms
(-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im)))
11.0ms
(*.p16 (-.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 x.im (+.p16 x.im x.im))) x.re)
4.0ms
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))
3.0ms
(*.p16 x.im (+.p16 x.im x.im))

series0.0ms

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

simplify222.0ms

Calls
14 calls:
Slowest
195.0ms
(*.p16 (-.p16 (*.p16 (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)) (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))) (*.p16 (*.p16 x.im (+.p16 x.im x.im)) (*.p16 x.im (+.p16 x.im x.im)))) x.re)
7.0ms
(*.p16 (+.p16 x.im x.re) x.re)
4.0ms
(*.p16 (neg.p16 x.im) (+.p16 x.im x.re))
4.0ms
(*.p16 x.re (+.p16 x.im x.re))
3.0ms
(*.p16 (+.p16 x.im x.re) (neg.p16 x.im))

prune852.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize268.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
5×distribute-rgt-in distribute-lft-in *-commutative
4×+-commutative associate--l+
3×sub-neg p16-flip--
2×associate-*r* associate-*l* associate-*r/
1×associate-*l/
Calls
4 calls:
Slowest
31.0ms
(-.p16 (*.p16 (*.p16 x.re (-.p16 x.re x.im)) (+.p16 x.im x.re)) (*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re)))
12.0ms
(*.p16 (*.p16 x.re (-.p16 x.re x.im)) (+.p16 x.im x.re))
6.0ms
(*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))
5.0ms
(*.p16 x.re (-.p16 x.re x.im))

series0.0ms

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

simplify1.0s

Calls
18 calls:
Slowest
420.0ms
(*.p16 (*.p16 x.re (-.p16 x.re x.im)) x.re)
359.0ms
(*.p16 (*.p16 x.re (-.p16 (*.p16 x.re x.re) (*.p16 x.im x.im))) (+.p16 x.im x.re))
46.0ms
(*.p16 x.im (*.p16 x.re (-.p16 x.re x.im)))
37.0ms
(*.p16 (*.p16 x.re (-.p16 x.re x.im)) x.im)
36.0ms
(*.p16 x.re (*.p16 x.re (-.p16 x.re x.im)))

prune856.0ms

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 0.0b

regimes1.1s

Accuracy

-∞% (-63.6b remaining)

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

bsearch2.0ms

end0.0ms

sample3.8s

Algorithm
halfpoints
Results