Details

Time bar (total: 52.6s)

sample1.1s

Algorithm
halfpoints

simplify2.2s

Counts
1 → 1
Iterations
IterNodes
done5009
43444
3563
2106
134
015

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.2b

localize304.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
0.4b
(-.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.5b
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)

rewrite158.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-*l*
12×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
11×+p16-lft-identity-expand +p16-rgt-identity-expand
10×associate--l+
9×p16-times-frac
7×introduce-quire -p16-rgt-identity-expand
6×/p16-rgt-identity-expand
5×distribute-rgt-in sub-neg distribute-lft-in
4×p16-flip--
3×associate--l- insert-quire-sub associate-*r*
2×associate-*r/
1×associate-*l/ associate-/r/ *-commutative
Counts
4 → 80
Calls
4 calls:
39.0ms
(*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
41.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
42.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
35.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
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 a b) c) (real->posit16 2)) c)

simplify3.3s

Counts
84 → 84
Iterations
IterNodes
done5003
34053
2636
1138
063

prune1.4s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize405.0ms

Local error

Found 4 expressions with local error:

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

rewrite139.0ms

Algorithm
rewrite-expression-head
Rules
13×associate-*l*
12×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
11×+p16-lft-identity-expand +p16-rgt-identity-expand
10×associate--l+
9×p16-times-frac
7×introduce-quire -p16-rgt-identity-expand
6×/p16-rgt-identity-expand
5×distribute-rgt-in sub-neg distribute-lft-in
4×p16-flip--
3×associate--l- insert-quire-sub associate-*r*
2×associate-*r/
1×associate-*l/ associate-/r/ *-commutative
Counts
4 → 80
Calls
4 calls:
39.0ms
(*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))
22.0ms
(-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
31.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
45.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a))
0.0ms
(-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
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)) c)

simplify2.8s

Counts
84 → 84
Iterations
IterNodes
done5002
33768
2734
1159
070

prune1.5s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.1b

localize455.0ms

Local error

Found 4 expressions with local error:

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

rewrite114.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-*r/
1×associate-*l/ associate-/r/ associate-/l*
Counts
4 → 62
Calls
4 calls:
16.0ms
(-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
22.0ms
(-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)
55.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
20.0ms
(/.p16 (*.p16 (+.p16 b (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (+.p16 b (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
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)) c)
0.0ms
(/.p16 (*.p16 (+.p16 b (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))) (-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) b)) (+.p16 b (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2))))

simplify1.7s

Counts
66 → 66
Iterations
IterNodes
done5006
32031
2376
1120
062

prune1.2s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize458.0ms

Local error

Found 4 expressions with local error:

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

rewrite63.0ms

Algorithm
rewrite-expression-head
Rules
8×-p16-rgt-identity-expand
7×+p16-lft-identity-expand introduce-quire +p16-rgt-identity-expand
6×associate--l+
4×*p16-lft-identity-expand /p16-rgt-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
3×associate--l- insert-quire-sub sub-neg p16-flip--
1×+-commutative associate-+r+ associate-+r-
Counts
4 → 53
Calls
4 calls:
4.0ms
(+.p16 b (+.p16 a c))
11.0ms
(-.p16 (/.p16 (+.p16 a (+.p16 c b)) (real->posit16 2)) a)
12.0ms
(-.p16 (/.p16 (+.p16 b (+.p16 a c)) (real->posit16 2)) b)
34.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)

series0.0ms

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

simplify1.6s

Counts
57 → 57
Iterations
IterNodes
done5000
31603
2319
1109
058

prune1.4s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

regimes574.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify7.0ms

Iterations
IterNodes
done23
023

end0.0ms

sample31.6s

Algorithm
halfpoints