Details

Time bar (total: 16.1s)

sample314.0ms

Algorithm
halfpoints

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5003
10487
9243
8232
7221
6186
5113
453
330
215
110
05

prune28.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize112.0ms

Local error

Found 1 expressions with local error:

0.1b
(*.p16 (-.p16 re im) (+.p16 im re))

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
4×distribute-rgt-in distribute-lft-in
3×*p16-lft-identity-expand +p16-lft-identity-expand associate-*r* associate-*l* /p16-rgt-identity-expand *p16-rgt-identity-expand +p16-rgt-identity-expand p16-*-un-lft-identity
2×+-commutative associate-*l/
1×introduce-quire -p16-rgt-identity-expand associate-*r/ p16-flip-- *-commutative
Counts
1 → 26
Calls
1 calls:
14.0ms
(*.p16 (-.p16 re im) (+.p16 im re))

series0.0ms

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

simplify6.5s

Counts
27 → 27
Iterations
IterNodes
done5049
44567
3612
2156
149
023

prune243.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize107.0ms

Local error

Found 1 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
7×introduce-quire
6×*p16-lft-identity-expand p16-*-un-lft-identity
5×*-commutative insert-quire-fdp-sub
4×*p16-rgt-identity-expand distribute-lft-out-- difference-of-squares
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-- /p16-rgt-identity-expand associate--r-
Counts
1 → 31
Calls
1 calls:
16.0ms
(-.p16 (*.p16 re re) (*.p16 im im))

series0.0ms

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

simplify1.2s

Counts
32 → 32
Iterations
IterNodes
done5004
3693
2141
147
024

prune256.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.0b

localize150.0ms

Local error

Found 1 expressions with local error:

9.7b
(quire16-mul-sub (posit16->quire16 (*.p16 re re)) im im)

rewrite0.0ms

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

series0.0ms

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

simplify1.0ms

Counts
1 → 1
Iterations
IterNodes
done5
05

prune8.0ms

Pruning

5 alts after pruning (2 fresh and 3 done)

Merged error: 0.0b

localize109.0ms

Local error

Found 3 expressions with local error:

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

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
25×associate-*r*
21×*p16-lft-identity-expand p16-*-un-lft-identity
15×*p16-rgt-identity-expand
13×+p16-lft-identity-expand distribute-rgt-out +p16-rgt-identity-expand
12×distribute-rgt-in distribute-lft-in introduce-quire
8×associate-+l+ associate-+r+ sub-neg insert-quire-fdp-add
7×*-commutative
5×p16-distribute-lft-out -p16-rgt-identity-expand /p16-rgt-identity-expand distribute-lft-out
4×associate-*r/
2×p16-flip--
1×+-commutative associate-+r- insert-quire-add associate-+l-
Counts
3 → 99
Calls
3 calls:
7.0ms
(*.p16 re (-.p16 re im))
8.0ms
(*.p16 im (-.p16 re im))
43.0ms
(+.p16 (*.p16 re (-.p16 re im)) (*.p16 im (-.p16 re im)))

series0.0ms

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

simplify1.3s

Counts
102 → 102
Iterations
IterNodes
done6030
3855
2241
197
055

prune957.0ms

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0.0b

regimes222.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done5
05

end0.0ms

sample2.2s

Algorithm
halfpoints