Details

Time bar (total: 20.1s)

sample116.0ms

Algorithm
halfpoints

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
done12
212
111
07

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.3b

localize124.0ms

Local error

Found 1 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
7×introduce-quire
6×*p16-lft-identity-expand p16-*-un-lft-identity
5×insert-quire-fdp-sub
4×*p16-rgt-identity-expand distribute-lft-out--
3×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand
2×associate--l+ associate--r+
1×associate--l- insert-quire-sub sub-neg distribute-rgt-out-- p16-flip-- *-commutative /p16-rgt-identity-expand associate--r-
Counts
1 → 27
Calls
1 calls:
16.0ms
(-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))

series0.0ms

Counts
1 → 1
Calls
1 calls:
0.0ms
(-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))

simplify1.4s

Counts
28 → 28
Iterations
IterNodes
done5018
3891
2179
146
025

prune281.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize122.0ms

Local error

Found 1 expressions with local error:

5.0b
(quire16-mul-sub (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
1 → 0
Calls
1 calls:
0.0ms
(quire16-mul-sub (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

series0.0ms

Counts
1 → 1
Calls
1 calls:
0.0ms
(quire16-mul-sub (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

simplify3.0ms

Counts
1 → 1
Iterations
IterNodes
done8
18
07

prune12.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0.1b

localize229.0ms

Local error

Found 4 expressions with local error:

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.im y.im))
0.2b
(*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))
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)))

rewrite223.0ms

Algorithm
rewrite-expression-head
Rules
507×*p16-lft-identity-expand p16-*-un-lft-identity
324×p16-times-frac
234×associate-*l*
224×distribute-lft-out--
221×*p16-rgt-identity-expand
116×p16-distribute-lft-out distribute-lft-out
66×associate-*r*
63×*-commutative
56×distribute-rgt-out-- difference-of-squares
29×distribute-rgt-out
27×associate-/l*
26×introduce-quire
15×insert-quire-fdp-sub
14×+p16-lft-identity-expand +p16-rgt-identity-expand
12×associate-/r*
8×-p16-rgt-identity-expand /p16-rgt-identity-expand
6×distribute-rgt-in distribute-lft-in associate--l+ associate--r+
5×insert-quire-fdp-add
2×associate-+l+ associate-+r+ p16-flip-- associate-/l/
1×associate--l- +-commutative insert-quire-sub associate-+r- sub-neg insert-quire-add associate-*l/ associate-*r/ associate-/r/ associate-+l- associate--r-
Counts
4 → 493
Calls
4 calls:
63.0ms
(-.p16 (*.p16 (*.p16 x.re y.re) (*.p16 x.re y.re)) (*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im)))
21.0ms
(+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
15.0ms
(*.p16 (*.p16 x.im y.im) (*.p16 x.im y.im))
75.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)))

series0.0ms

Counts
4 → 4
Calls
4 calls:
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.im y.im) (*.p16 x.im y.im))
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)))

simplify6.6s

Counts
497 → 497
Iterations
IterNodes
done5000
34059
2732
1146
071

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize208.0ms

Local error

Found 4 expressions with local error:

0.2b
(+.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))
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)))

rewrite853.0ms

Algorithm
rewrite-expression-head
Rules
2825×*p16-lft-identity-expand p16-*-un-lft-identity
2556×p16-times-frac
1181×*p16-rgt-identity-expand
868×p16-distribute-lft-out distribute-lft-out
684×distribute-lft-out--
217×distribute-rgt-out
171×distribute-rgt-out--
117×associate-/r*
51×associate-/r/
36×associate-/l*
22×/p16-rgt-identity-expand
16×introduce-quire
15×p16-flip--
8×+p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand
5×insert-quire-fdp-add insert-quire-fdp-sub
3×associate-/l/
2×associate-+l+ associate-+r+ associate--l+ *-commutative associate--r+
1×associate--l- +-commutative insert-quire-sub associate-+r- sub-neg insert-quire-add associate-+l- associate--r-
Counts
4 → 1541
Calls
4 calls:
22.0ms
(+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
128.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))))
8.0ms
(-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
442.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:
0.0ms
(+.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 (*.p16 x.re y.re) (*.p16 x.im y.im)) (-.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)))

simplify4.6s

Counts
1545 → 1545
Iterations
IterNodes
done5037
43789
31607
2342
199
056

prune976.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.1b

regimes614.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done8
08

end0.0ms

sample2.2s

Algorithm
halfpoints