Details

Time bar (total: 10.0m)

sample150.0ms

Algorithm
halfpoints

simplify12.0s

Counts
1 → 1
Iterations
IterNodes
128456
11835
10310
9243
8232
7221
6186
5113
453
330
215
110
05

prune33.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize91.0ms

Local error

Found 1 expressions with local error:

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

rewrite13.0ms

Algorithm
rewrite-expression-head
Rules
3×*p16-lft-identity-expand associate-*r* associate-*l* /p16-rgt-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
2×associate-*l/
1×distribute-rgt-in distribute-lft-in +p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand associate-*r/ p16-flip-- *-commutative +p16-rgt-identity-expand
Counts
1 → 20
Calls
1 calls:
11.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))

simplify1.7s

Counts
21 → 21
Iterations
IterNodes
43196
3440
2129
143
020

prune433.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize61.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

Algorithm
rewrite-expression-head
Rules
3×+p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand +p16-rgt-identity-expand
2×associate--l+ associate--r+
1×associate--l- insert-quire-sub sub-neg *p16-lft-identity-expand p16-flip-- /p16-rgt-identity-expand *p16-rgt-identity-expand insert-quire-fdp-sub associate--r- p16-*-un-lft-identity difference-of-squares
Counts
1 → 19
Calls
1 calls:
4.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))

simplify12.3s

Counts
20 → 20
Iterations
IterNodes
48571
3621
2135
146
023

prune468.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize129.0ms

Local error

Found 1 expressions with local error:

6.4b
(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
15
05

prune31.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

localize107.0ms

Local error

Found 3 expressions with local error:

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

rewrite26.0ms

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

series0.0ms

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

simplify8.9m

Counts
73 → 73
Iterations
IterNodes
412501
3414
2125
174
048

prune1.5s

Pruning

6 alts after pruning (2 fresh and 4 done)

Merged error: 0b

regimes193.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
15
05

end0.0ms

sample2.1s

Algorithm
halfpoints

end37.1s