Details

Time bar (total: 55.6s)

sample1.0s

Algorithm
halfpoints

simplify708.0ms

Counts
1 → 1
Iterations
IterNodes
done2017
42017
3563
2106
134
015

prune34.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize273.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)

rewrite127.0ms

Algorithm
rewrite-expression-head
Rules
12×*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
6×associate--l+ /p16-rgt-identity-expand
3×associate--l- insert-quire-sub associate-/r* sub-neg p16-flip-- associate-/l*
1×associate-/r/ associate-/l/
Counts
4 → 67
Calls
4 calls:
25.0ms
(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
37.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
30.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
34.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)

simplify1.1s

Counts
71 → 71
Iterations
IterNodes
done2047
42047
31578
2238
190
051

prune3.1s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize378.0ms

Local error

Found 4 expressions with local error:

0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
1.0b
(/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

rewrite256.0ms

Algorithm
rewrite-expression-head
Rules
8×/p16-rgt-identity-expand
7×+p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand +p16-rgt-identity-expand
6×*p16-lft-identity-expand associate--l+ *p16-rgt-identity-expand p16-*-un-lft-identity
4×p16-flip-- associate-/l/
3×associate--l- insert-quire-sub associate-/r* sub-neg p16-times-frac
2×associate-*l/
1×associate-*r/ associate-/r/ associate-/l*
Counts
4 → 62
Calls
4 calls:
54.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
53.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
27.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
119.0ms
(/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.0ms
(/.p16 (*.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

simplify1.5s

Counts
66 → 66
Iterations
IterNodes
done2000
32000
2456
1112
055

prune2.5s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize330.0ms

Local error

Found 4 expressions with local error:

0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.9b
(/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

rewrite372.0ms

Algorithm
rewrite-expression-head
Rules
12×*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
6×associate--l+ /p16-rgt-identity-expand
4×p16-flip--
3×associate--l- insert-quire-sub associate-/r* sub-neg associate-/l*
2×associate-/l/
1×associate-/r/
Counts
4 → 68
Calls
4 calls:
54.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
52.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
43.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
222.0ms
(/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.0ms
(/.p16 (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

simplify972.0ms

Counts
72 → 72
Iterations
IterNodes
done2001
32001
2426
1112
055

prune3.5s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize584.0ms

Local error

Found 4 expressions with local error:

0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.8b
(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

rewrite273.0ms

Algorithm
rewrite-expression-head
Rules
12×*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
6×associate--l+ /p16-rgt-identity-expand
4×p16-flip--
3×associate--l- insert-quire-sub associate-/r* sub-neg associate-/l*
2×associate-/r/
1×associate-/l/
Counts
4 → 68
Calls
4 calls:
36.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
31.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
26.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
178.0ms
(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.0ms
(/.p16 (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

simplify1.1s

Counts
72 → 72
Iterations
IterNodes
done2001
42001
3484
2168
180
050

prune4.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

regimes642.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify4.0ms

Iterations
IterNodes
done18
018

end0.0ms

sample32.1s

Algorithm
halfpoints