Details

Time bar (total: 15.6s)

sample145.0ms

Algorithm
halfpoints

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
done15
115
011

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.2b

localize278.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.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:
8.0ms
(+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))
7.0ms
(+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
7.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)))

simplify2.7s

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

prune546.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.9b

localize216.0ms

Local error

Found 3 expressions with local error:

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

rewrite23.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:
19.0ms
(+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
3.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)

simplify4.1s

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

prune605.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.9b

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

rewrite4.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:
3.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)

simplify116.0ms

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

prune293.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.9b

localize283.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.p16 (real->posit16 1.0) (/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im))))
1.0b
(/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)))
4.4b
(quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)
8.3b
(quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
84×p16-times-frac
52×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
16×associate-/r*
9×/p16-rgt-identity-expand
6×associate-/r/ associate-/l*
2×+p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand +p16-rgt-identity-expand associate-/l/
Counts
4 → 90
Calls
4 calls:
4.0ms
(/.p16 (real->posit16 1.0) (/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im))))
3.0ms
(/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.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
4 → 4
Calls
4 calls:
0.0ms
(/.p16 (real->posit16 1.0) (/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im))))
0.0ms
(/.p16 (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 y.re y.re)) y.im y.im)) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.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)

simplify897.0ms

Counts
94 → 94
Iterations
IterNodes
done1053
61053
51045
4997
3587
299
145
032

prune774.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.8b

regimes873.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done13
013

end0.0ms

sample3.4s

Algorithm
halfpoints