Details

Time bar (total: 57.8s)

sample154.0ms

Algorithm
halfpoints

simplify11.0ms

Counts
1 → 1
Iterations
IterNodes
215
115
011

prune23.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize204.0ms

Local error

Found 3 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
11×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
9×p16-times-frac
7×+p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand +p16-rgt-identity-expand
5×/p16-rgt-identity-expand
4×associate-+l+ associate-+r+
3×associate-/r* associate-/l*
2×+-commutative associate-+r- insert-quire-add insert-quire-fdp-add associate-+l-
1×associate-/r/ associate-/l/
Counts
3 → 59
Calls
3 calls:
4.0ms
(+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))
3.0ms
(+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
4.0ms
(/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))

series0.0ms

Counts
3 → 3
Calls
3 calls:
0.0ms
(+.p16 (*.p16 y.re y.re) (*.p16 y.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 y.re y.re) (*.p16 y.im y.im)))

simplify23.2s

Counts
62 → 62
Iterations
IterNodes
512775
41437
3318
2101
149
036

prune1.8s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize217.0ms

Local error

Found 3 expressions with local error:

0.1b
(+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))
1.0b
(/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
7.7b
(quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
10×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
9×p16-times-frac
4×+p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand /p16-rgt-identity-expand +p16-rgt-identity-expand
3×associate-/r* associate-/l*
2×associate-+l+ associate-+r+
1×+-commutative associate-+r- insert-quire-add associate-/r/ insert-quire-fdp-add associate-+l- associate-/l/
Counts
3 → 42
Calls
3 calls:
4.0ms
(+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))
3.0ms
(/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
0.0ms
(quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

series0.0ms

Counts
3 → 3
Calls
3 calls:
0.0ms
(+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))
0.0ms
(/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)) (+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im)))
0.0ms
(quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

simplify19.8s

Counts
45 → 45
Iterations
IterNodes
56410
41082
3239
286
137
030

prune1.9s

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize252.0ms

Local error

Found 3 expressions with local error:

1.0b
(/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)))
3.4b
(quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)
7.7b
(quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

rewrite3.0ms

Algorithm
rewrite-expression-head
Rules
9×*p16-lft-identity-expand p16-times-frac *p16-rgt-identity-expand p16-*-un-lft-identity
3×associate-/r* /p16-rgt-identity-expand associate-/l*
1×+p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand associate-/r/ +p16-rgt-identity-expand associate-/l/
Counts
3 → 25
Calls
3 calls:
2.0ms
(/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)))
0.0ms
(quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)
0.0ms
(quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

series0.0ms

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

simplify75.0ms

Counts
28 → 28
Iterations
IterNodes
8102
7102
6101
594
485
375
258
126
024

prune1.6s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.8b

localize302.0ms

Local error

Found 3 expressions with local error:

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)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)))
3.4b
(quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)

rewrite7.0ms

Algorithm
rewrite-expression-head
Rules
10×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
9×p16-times-frac
4×+p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand /p16-rgt-identity-expand +p16-rgt-identity-expand
3×associate-/r* associate-/l*
2×associate-+l+ associate-+r+
1×+-commutative associate-+r- insert-quire-add associate-/r/ insert-quire-fdp-add associate-+l- associate-/l/
Counts
3 → 42
Calls
3 calls:
4.0ms
(+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
2.0ms
(/.p16 (+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)))
0.0ms
(quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)

series0.0ms

Counts
3 → 3
Calls
3 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)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)))
0.0ms
(quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)

simplify1.9s

Counts
45 → 45
Iterations
IterNodes
92430
81651
71274
6868
5461
4208
3129
278
138
030

prune1.9s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.8b

regimes656.0ms

Accuracy

0% (0.2b remaining)

Error of 1.0b against oracle of 0.8b and baseline of 1.0b

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
113
013

end0.0ms

sample3.7s

Algorithm
halfpoints