Details

Time bar (total: 41.3s)

sample1.1s

Algorithm
halfpoints

simplify493.0ms

Counts
1 → 1
Iterations
IterNodes
done2014
3563
2106
134
015

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

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

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

simplify869.0ms

Counts
71 → 71
Iterations
IterNodes
done2005
31584
2238
190
051

prune953.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

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

rewrite149.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:
13.0ms
(/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))
34.0ms
(-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c)
49.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
51.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)

simplify765.0ms

Counts
71 → 71
Iterations
IterNodes
done2005
31591
2307
1102
056

prune1.1s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.1b

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

rewrite94.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:
6.0ms
(/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))
32.0ms
(-.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) c)
11.0ms
(-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
43.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)

simplify387.0ms

Counts
71 → 71
Iterations
IterNodes
done2003
2355
1111
060

prune919.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.1b

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

rewrite153.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:
3.0ms
(-.p16 (*.p16 (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2)) (/.p16 (+.p16 (+.p16 c b) a) (real->posit16 2))) (*.p16 c c))
28.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
28.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
93.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))

simplify527.0ms

Counts
85 → 85
Iterations
IterNodes
done2003
2571
1135
069

prune1.3s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.1b

regimes460.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify5.0ms

Iterations
IterNodes
done20
020

end0.0ms

sample30.3s

Algorithm
halfpoints