Details

Time bar (total: 29.2s)

sample96.0ms

Algorithm
halfpoints

simplify16.6s

Counts
1 → 1
Iterations
IterNodes
done5001
72956
61544
5763
4354
3157
262
125
011

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize104.0ms

Local error

Found 3 expressions with local error:

0.2b
(-.p16 d4 (+.p16 d1 d3))
0.3b
(+.p16 (-.p16 d4 (+.p16 d1 d3)) d2)
0.3b
(*.p16 d1 (+.p16 (-.p16 d4 (+.p16 d1 d3)) d2))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
5×-p16-rgt-identity-expand
4×associate-+l+ *p16-lft-identity-expand +p16-lft-identity-expand introduce-quire /p16-rgt-identity-expand *p16-rgt-identity-expand +p16-rgt-identity-expand p16-*-un-lft-identity
3×associate-*r*
2×sub-neg associate--r-
1×distribute-rgt-in +-commutative insert-quire-add distribute-lft-in associate-*r/ p16-flip-- *-commutative associate-+l- associate--r+
Counts
3 → 42
Calls
3 calls:
4.0ms
(-.p16 d4 (+.p16 d1 d3))
15.0ms
(+.p16 (-.p16 d4 (+.p16 d1 d3)) d2)
12.0ms
(*.p16 d1 (+.p16 (-.p16 d4 (+.p16 d1 d3)) d2))

series0.0ms

Counts
3 → 3
Calls
3 calls:
0.0ms
(-.p16 d4 (+.p16 d1 d3))
0.0ms
(+.p16 (-.p16 d4 (+.p16 d1 d3)) d2)
0.0ms
(*.p16 d1 (+.p16 (-.p16 d4 (+.p16 d1 d3)) d2))

simplify2.6s

Counts
45 → 45
Iterations
IterNodes
done5005
53688
41113
3385
2136
161
030

prune560.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize123.0ms

Local error

Found 3 expressions with local error:

0.2b
(-.p16 (-.p16 d4 d1) d3)
0.3b
(+.p16 (-.p16 (-.p16 d4 d1) d3) d2)
0.3b
(*.p16 d1 (+.p16 (-.p16 (-.p16 d4 d1) d3) d2))

rewrite121.0ms

Algorithm
rewrite-expression-head
Rules
6×associate-+l+ +p16-lft-identity-expand introduce-quire associate--l+ +p16-rgt-identity-expand
4×sub-neg *p16-lft-identity-expand /p16-rgt-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
3×associate-*r* -p16-rgt-identity-expand
2×insert-quire-sub insert-quire-add
1×associate--l- distribute-rgt-in +-commutative distribute-lft-in associate-*r/ p16-flip-- *-commutative associate-+l-
Counts
3 → 48
Calls
3 calls:
10.0ms
(-.p16 (-.p16 d4 d1) d3)
49.0ms
(+.p16 (-.p16 (-.p16 d4 d1) d3) d2)
60.0ms
(*.p16 d1 (+.p16 (-.p16 (-.p16 d4 d1) d3) d2))

series0.0ms

Counts
3 → 3
Calls
3 calls:
0.0ms
(-.p16 (-.p16 d4 d1) d3)
0.0ms
(+.p16 (-.p16 (-.p16 d4 d1) d3) d2)
0.0ms
(*.p16 d1 (+.p16 (-.p16 (-.p16 d4 d1) d3) d2))

simplify1.3s

Counts
51 → 51
Iterations
IterNodes
done5005
42101
3465
2133
166
038

prune697.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize129.0ms

Local error

Found 2 expressions with local error:

0.3b
(*.p16 d1 (+.p16 (-.p16 d4 d1) (-.p16 d2 d3)))
0.3b
(+.p16 (-.p16 d4 d1) (-.p16 d2 d3))

rewrite25.0ms

Algorithm
rewrite-expression-head
Rules
20×*p16-lft-identity-expand p16-*-un-lft-identity
12×associate-*r*
8×p16-distribute-lft-out *p16-rgt-identity-expand distribute-lft-out
6×introduce-quire
4×+p16-lft-identity-expand +p16-rgt-identity-expand
3×associate-+l+ associate-+r+ /p16-rgt-identity-expand insert-quire-fdp-add
2×sub-neg distribute-rgt-out -p16-rgt-identity-expand
1×distribute-rgt-in +-commutative associate-+r- insert-quire-add distribute-lft-in associate-*r/ *-commutative associate-+l-
Counts
2 → 54
Calls
2 calls:
11.0ms
(*.p16 d1 (+.p16 (-.p16 d4 d1) (-.p16 d2 d3)))
12.0ms
(+.p16 (-.p16 d4 d1) (-.p16 d2 d3))

series0.0ms

Counts
2 → 2
Calls
2 calls:
0.0ms
(*.p16 d1 (+.p16 (-.p16 d4 d1) (-.p16 d2 d3)))
0.0ms
(+.p16 (-.p16 d4 d1) (-.p16 d2 d3))

simplify792.0ms

Counts
56 → 56
Iterations
IterNodes
done5004
31232
2202
157
028

prune518.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0.0b

localize130.0ms

Local error

Found 2 expressions with local error:

0.3b
(*.p16 (-.p16 (+.p16 d2 d4) (+.p16 d1 d3)) d1)
0.3b
(-.p16 (+.p16 d2 d4) (+.p16 d1 d3))

rewrite36.0ms

Algorithm
rewrite-expression-head
Rules
12×*p16-lft-identity-expand p16-*-un-lft-identity
8×associate-*l* *p16-rgt-identity-expand distribute-lft-out--
6×introduce-quire
4×-p16-rgt-identity-expand
3×/p16-rgt-identity-expand insert-quire-fdp-sub
2×+p16-lft-identity-expand distribute-rgt-out-- associate-*l/ p16-flip-- +p16-rgt-identity-expand
1×associate--l- insert-quire-sub sub-neg associate--l+ *-commutative associate--r+ associate--r-
Counts
2 → 42
Calls
2 calls:
10.0ms
(*.p16 (-.p16 (+.p16 d2 d4) (+.p16 d1 d3)) d1)
25.0ms
(-.p16 (+.p16 d2 d4) (+.p16 d1 d3))

series0.0ms

Counts
2 → 2
Calls
2 calls:
0.0ms
(*.p16 (-.p16 (+.p16 d2 d4) (+.p16 d1 d3)) d1)
0.0ms
(-.p16 (+.p16 d2 d4) (+.p16 d1 d3))

simplify1.4s

Counts
44 → 44
Iterations
IterNodes
done5006
31770
2281
166
028

prune425.0ms

Pruning

8 alts after pruning (5 fresh and 3 done)

Merged error: 0.0b

regimes498.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations
IterNodes
done8
08

end0.0ms

sample3.0s

Algorithm
halfpoints