Details

Time bar (total: 19.9s)

sample152.0ms

Algorithm
halfpoints

simplify10.0ms

Counts
1 → 1
Iterations
IterNodes
done15
115
011

prune13.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 1.1b

localize230.0ms

Local error

Found 3 expressions with local error:

0.2b
(+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))
0.3b
(+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
0.9b
(/.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))
6.0ms
(+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
8.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.2s

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

prune619.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.8b

localize312.0ms

Local error

Found 3 expressions with local error:

0.2b
(+.p16 (*.p16 y.re y.re) (*.p16 y.im y.im))
0.9b
(/.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)))
6.3b
(quire16-mul-add (posit16->quire16 (*.p16 x.re y.re)) x.im y.im)

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

simplify4.8s

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

prune586.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.8b

localize327.0ms

Local error

Found 3 expressions with local error:

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

simplify142.0ms

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

prune450.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.8b

localize245.0ms

Local error

Found 3 expressions with local error:

0.3b
(+.p16 (*.p16 x.re y.re) (*.p16 x.im y.im))
0.9b
(/.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.9b
(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)

simplify4.5s

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

prune504.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0.8b

regimes916.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done13
013

end0.0ms

sample3.9s

Algorithm
halfpoints