Details

Time bar (total: 58.0s)

sample2.0s

Algorithm
halfpoints

simplify948.0ms

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

prune44.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize399.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)

rewrite191.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:
22.0ms
(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
54.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
50.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
64.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.2s

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

localize475.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))

rewrite194.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:
37.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
27.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)
86.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))

simplify892.0ms

Counts
66 → 66
Iterations
IterNodes
done2000
32000
2456
1112
055

prune3.2s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.1b

localize354.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))

rewrite338.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:
27.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
44.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
53.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
213.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))

simplify939.0ms

Counts
72 → 72
Iterations
IterNodes
done2001
32001
2426
1112
055

prune3.2s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

localize860.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))

rewrite279.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:
26.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
26.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
28.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
198.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))

simplify779.0ms

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

prune4.3s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0.1b

regimes452.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

sample33.8s

Algorithm
halfpoints