Details

Time bar (total: 7.4s)

sample126.0ms

Algorithm
halfpoints
Results

simplify170.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
170.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))

prune35.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.4b

localize198.0ms

Local error

Found 4 expressions with local error:

0.4b
(-.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.1b
(*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))
0.1b
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
11×sub-neg
9×distribute-rgt-in distribute-lft-in
4×associate--l+
3×associate-*r/ p16-flip-- *-commutative
2×associate-*r*
Counts
4 → 19
Calls
4 calls:
Slowest
15.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)))
6.0ms
(*.p16 x.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
5.0ms
(*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))
4.0ms
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))

series0.0ms

Counts
4 → 4
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.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))

simplify858.0ms

Counts
17 → 23
Calls
17 calls:
Slowest
205.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)))
191.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)))
166.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)))
164.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)))
20.0ms
(*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))

prune745.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize318.0ms

Local error

Found 4 expressions with local error:

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

rewrite34.0ms

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

series0.0ms

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

simplify71.0ms

Counts
11 → 18
Calls
11 calls:
Slowest
19.0ms
(*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
15.0ms
(*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
15.0ms
(*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))
13.0ms
(*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))
1.0ms
(-.p16 x.re x.im)

prune253.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize189.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

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

series0.0ms

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

simplify52.0ms

Counts
7 → 18
Calls
7 calls:
Slowest
16.0ms
(*.p16 (*.p16 x.re (+.p16 x.im x.re)) (neg.p16 x.im))
14.0ms
(*.p16 (neg.p16 x.im) (*.p16 x.re (+.p16 x.im x.re)))
10.0ms
(*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))
9.0ms
(*.p16 (*.p16 x.re (+.p16 x.im x.re)) x.re)
1.0ms
(+.p16 x.re x.im)

prune265.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

localize275.0ms

Local error

Found 4 expressions with local error:

0.4b
(-.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.1b
(*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))
0.1b
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))

rewrite33.0ms

Algorithm
rewrite-expression-head
Rules
11×sub-neg
9×distribute-rgt-in distribute-lft-in
4×associate--l+
3×associate-*r/ p16-flip-- *-commutative
2×associate-*r*
Counts
4 → 19
Calls
4 calls:
Slowest
11.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.re (*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im)))
6.0ms
(*.p16 x.im (*.p16 (+.p16 x.im x.im) x.re))
4.0ms
(*.p16 (+.p16 x.im x.re) (-.p16 x.re x.im))

series0.0ms

Counts
4 → 4
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))

simplify157.0ms

Counts
13 → 23
Calls
13 calls:
Slowest
28.0ms
(*.p16 x.re (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)))
28.0ms
(*.p16 (*.p16 (neg.p16 x.im) (+.p16 x.im x.re)) x.re)
23.0ms
(*.p16 x.re (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)))
19.0ms
(*.p16 (*.p16 (+.p16 x.im x.re) (neg.p16 x.im)) x.re)
15.0ms
(*.p16 x.re (*.p16 x.re (+.p16 x.im x.re)))

prune414.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.1b

regimes280.0ms

Accuracy

-∞% (-63.6b remaining)

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

bsearch2.0ms

end0.0ms

sample2.9s

Algorithm
halfpoints
Results