Details

Time bar (total: 58.0s)

sample1.1s

Algorithm
halfpoints

simplify2.1s

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

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

rewrite208.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:
71.0ms
(*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a))
49.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
29.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b)
58.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.0s

Counts
84 → 84
Iterations
IterNodes
done5003
34053
2636
1138
063

prune1.2s

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.2b

localize371.0ms

Local error

Found 4 expressions with local error:

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

rewrite214.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:
52.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
55.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
6.0ms
(-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
100.0ms
(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b 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)) a)
0.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
0.0ms
(-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b))
0.0ms
(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))

simplify4.0s

Counts
85 → 85
Iterations
IterNodes
done5026
32571
2481
1125
065

prune1.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.2b

localize508.0ms

Local error

Found 4 expressions with local error:

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)) c)
1.1b
(/.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
11.2b
(quire16-mul-sub (posit16->quire16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) b b)

rewrite165.0ms

Algorithm
rewrite-expression-head
Rules
11×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
9×p16-times-frac
5×+p16-lft-identity-expand introduce-quire -p16-rgt-identity-expand /p16-rgt-identity-expand +p16-rgt-identity-expand
4×associate--l+
3×associate-/r* associate-/l*
2×associate--l- insert-quire-sub sub-neg p16-flip--
1×associate-/r/ associate-/l/
Counts
4 → 53
Calls
4 calls:
30.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) a)
28.0ms
(-.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c)
105.0ms
(/.p16 (quire16->posit16 (quire16-mul-sub (posit16->quire16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) b b)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) b))
0.0ms
(quire16-mul-sub (posit16->quire16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)))) b b)

series0.0ms

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

simplify4.3s

Counts
57 → 57
Iterations
IterNodes
done5029
43303
3859
2154
168
044

prune1.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

localize363.0ms

Local error

Found 4 expressions with local error:

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

rewrite166.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:
47.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)
3.0ms
(-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
87.0ms
(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.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)) 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)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c))
0.0ms
(/.p16 (-.p16 (*.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2))) (*.p16 c c)) (+.p16 (/.p16 (+.p16 (+.p16 a b) c) (real->posit16 2)) c))

simplify3.4s

Counts
85 → 85
Iterations
IterNodes
done5044
32576
2479
1125
065

prune1.3s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.2b

regimes502.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
done18
018

end0.0ms

sample32.2s

Algorithm
halfpoints