Details

Time bar (total: 13.0s)

sample108.0ms

Algorithm
halfpoints

simplify2.4s

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

prune25.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize114.0ms

Local error

Found 3 expressions with local error:

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

rewrite28.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:
13.0ms
(+.p16 (-.p16 d4 (+.p16 d1 d3)) d2)
4.0ms
(-.p16 d4 (+.p16 d1 d3))
11.0ms
(*.p16 d1 (+.p16 (-.p16 d4 (+.p16 d1 d3)) d2))

series0.0ms

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

simplify712.0ms

Counts
45 → 45
Iterations
IterNodes
done2004
41137
3376
2136
161
030

prune854.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize133.0ms

Local error

Found 3 expressions with local error:

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

rewrite20.0ms

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

series0.0ms

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

simplify729.0ms

Counts
44 → 44
Iterations
IterNodes
done2004
41009
3361
2124
156
028

prune656.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.1b

localize165.0ms

Local error

Found 2 expressions with local error:

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

rewrite40.0ms

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

series0.0ms

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

simplify745.0ms

Counts
54 → 54
Iterations
IterNodes
done2015
31773
2346
189
038

prune550.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize158.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.0ms

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

series0.0ms

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

simplify801.0ms

Counts
47 → 47
Iterations
IterNodes
done2000
41899
3513
2150
160
030

prune697.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

regimes462.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations
IterNodes
done10
010

end0.0ms

sample3.6s

Algorithm
halfpoints