Details

Time bar (total: 43.1s)

sample1.5s

Algorithm
halfpoints

simplify622.0ms

Counts
1 → 1
Iterations
IterNodes
done2014
3563
2106
134
015

prune18.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize403.0ms

Local error

Found 4 expressions with local error:

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

rewrite204.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:
27.0ms
(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
56.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
65.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
55.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

series1.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)) b)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

simplify1.2s

Counts
71 → 71
Iterations
IterNodes
done2005
31584
2238
190
051

prune1.2s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize394.0ms

Local error

Found 4 expressions with local error:

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

rewrite168.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))
29.0ms
(-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c)
47.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
67.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

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 c b) a) (real->posit16 2)) c)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

simplify888.0ms

Counts
71 → 71
Iterations
IterNodes
done2005
31591
2307
1102
056

prune1.4s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

localize549.0ms

Local error

Found 4 expressions with local error:

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

rewrite150.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:
12.0ms
(/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))
55.0ms
(-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c)
27.0ms
(-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
54.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)

series0.0ms

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

simplify591.0ms

Counts
71 → 71
Iterations
IterNodes
done2003
2355
1111
060

prune1.1s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

localize568.0ms

Local error

Found 4 expressions with local error:

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

rewrite267.0ms

Algorithm
rewrite-expression-head
Rules
13×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
12×p16-times-frac
10×+p16-lft-identity-expand associate--l+ +p16-rgt-identity-expand
8×introduce-quire -p16-rgt-identity-expand
6×/p16-rgt-identity-expand
5×difference-of-squares
4×p16-flip-- associate-/l*
3×associate--l- insert-quire-sub associate-/r* sub-neg
2×distribute-rgt-in distribute-lft-in associate--r+ associate-/l/
1×associate-/r/ insert-quire-fdp-sub associate--r-
Counts
4 → 81
Calls
4 calls:
6.0ms
(-.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 c c))
55.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
57.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
147.0ms
(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c))

series0.0ms

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

simplify668.0ms

Counts
85 → 85
Iterations
IterNodes
done2003
2571
1135
069

prune1.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

regimes349.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations
IterNodes
done20
020

end0.0ms

sample29.5s

Algorithm
halfpoints