Details

sample237.0ms

Algorithm: halfpoints

simplify2.1s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
4	1467
3	322
2	88
1	32
0	12

prune72.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.1b

localize191.0ms

Local error

Found 4 expressions with local error:

0.1b	(.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0)))
0.2b	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.5b	(/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))
0.5b	(.p16 i (/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0))))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

50×	`distribute-rgt-in` `distribute-lft-in`
42×	`associate--l+`
30×	`+p16-lft-identity-expand` `+p16-rgt-identity-expand`
16×	`associate-r` `/p16-rgt-identity-expand`
15×	`associate-*r/`
12×	`associate-/r/`
10×	`p16-lft-identity-expand` `p16-rgt-identity-expand` `p16-*-un-lft-identity`
8×	`introduce-quire` `-p16-rgt-identity-expand`
6×	`difference-of-squares`
5×	`associate-*l/`
4×	`p16-flip--`
3×	`sub-neg` `associate-l` `insert-quire-fdp-sub` `associate--r-`
2×	`difference-of-sqr-1` `*-commutative` `associate--r+`
1×	`associate--l-` `insert-quire-sub` `associate-/r*`

Counts

4 → 132

Calls

4 calls:

15.0ms	(.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0)))
10.0ms	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
5.0ms	(/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))
5.0ms	(.p16 i (/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0))))))

series0.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0)))
0.0ms	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.0ms	(/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))
0.0ms	(.p16 i (/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0))))))

simplify2.2m

Counts

136 → 136

Iterations

Iter	Nodes
done	5026
2	847
1	253
0	101

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.7b

localize204.0ms

Local error

Found 4 expressions with local error:

0.1b	(.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0)))
0.2b	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.5b	(/.p16 (/.p16 i (real->posit16 2)) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0))))
0.5b	(.p16 i (/.p16 (/.p16 i (real->posit16 2)) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

50×	`distribute-rgt-in` `distribute-lft-in`
42×	`associate--l+`
30×	`+p16-lft-identity-expand` `+p16-rgt-identity-expand`
18×	`associate-r`
15×	`/p16-rgt-identity-expand`
13×	`p16-lft-identity-expand` `p16-rgt-identity-expand` `p16-*-un-lft-identity`
11×	`associate-/r/`
8×	`introduce-quire` `p16-times-frac` `-p16-rgt-identity-expand`
7×	`associate-*r/`
6×	`difference-of-squares`
4×	`p16-flip--` `associate-/l*`
3×	`sub-neg` `associate-l` `associate-*l/` `insert-quire-fdp-sub` `associate--r-`
2×	`difference-of-sqr-1` `*-commutative` `associate--r+`
1×	`associate--l-` `insert-quire-sub` `associate-/r*` `associate-/l/`

Counts

4 → 141

Calls

4 calls:

11.0ms	(.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0)))
6.0ms	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
4.0ms	(/.p16 (/.p16 i (real->posit16 2)) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0))))
6.0ms	(.p16 i (/.p16 (/.p16 i (real->posit16 2)) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))

series0.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0)))
0.0ms	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.0ms	(/.p16 (/.p16 i (real->posit16 2)) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0))))
0.0ms	(.p16 i (/.p16 (/.p16 i (real->posit16 2)) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))

simplify1.1m

Counts

145 → 145

Iterations

Iter	Nodes
done	5030
2	939
1	275
0	108

prune1.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.5b

localize231.0ms

Local error

Found 4 expressions with local error:

0.0b	(.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))
0.2b	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.4b	(.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0))))
0.5b	(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

56×	`p16-times-frac`
41×	`p16-lft-identity-expand` `p16-rgt-identity-expand` `p16-*-un-lft-identity`
34×	`associate-r`
30×	`difference-of-squares`
26×	`/p16-rgt-identity-expand`
22×	`distribute-rgt-in` `distribute-lft-in`
20×	`+p16-lft-identity-expand` `associate-/r/` `+p16-rgt-identity-expand`
14×	`associate--l+`
10×	`difference-of-sqr-1`
8×	`introduce-quire`
7×	`associate-/r*`
6×	`-p16-rgt-identity-expand`
5×	`associate-l` `associate-*r/`
4×	`associate-/l*`
3×	`associate-*l/` `p16-flip--` `insert-quire-fdp-sub`
2×	`*-commutative` `associate--r+`
1×	`associate--l-` `insert-quire-sub` `sub-neg` `associate--r-` `associate-/l/`

Counts

4 → 165

Calls

4 calls:

7.0ms	(.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))
5.0ms	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
8.0ms	(.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0))))
6.0ms	(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))

series0.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))
0.0ms	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
0.0ms	(.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0))))
0.0ms	(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))

simplify15.9s

Counts

169 → 169

Iterations

Iter	Nodes
done	5000
2	673
1	214
0	73

prune1.5s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize286.0ms

Local error

Found 4 expressions with local error:

0.2b	(.p16 (.p16 (/.p16 i (real->posit16 2)) (/.p16 (real->posit16 1.0) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0)))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0))))
0.3b	(/.p16 (real->posit16 1.0) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.3b	(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.5b	(.p16 (/.p16 i (real->posit16 2)) (/.p16 (real->posit16 1.0) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

42×	`p16-times-frac`
37×	`p16-lft-identity-expand` `p16-rgt-identity-expand` `p16-*-un-lft-identity`
30×	`associate-r`
18×	`/p16-rgt-identity-expand`
14×	`associate-/r/`
8×	`+p16-lft-identity-expand` `+p16-rgt-identity-expand`
7×	`associate-/l*`
6×	`associate-/r*`
5×	`associate-l` `associate-*l/`
4×	`distribute-rgt-in` `distribute-lft-in` `introduce-quire` `-p16-rgt-identity-expand`
3×	`associate-*r/`
2×	`p16-flip--` `*-commutative` `associate-/l/`

Counts

4 → 122

Calls

4 calls:

12.0ms	(.p16 (.p16 (/.p16 i (real->posit16 2)) (/.p16 (real->posit16 1.0) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0)))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0))))
9.0ms	(/.p16 (real->posit16 1.0) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
9.0ms	(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
12.0ms	(.p16 (/.p16 i (real->posit16 2)) (/.p16 (real->posit16 1.0) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0))))

series0.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(.p16 (.p16 (/.p16 i (real->posit16 2)) (/.p16 (real->posit16 1.0) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0)))) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0))))
0.0ms	(/.p16 (real->posit16 1.0) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.0ms	(/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.0ms	(.p16 (/.p16 i (real->posit16 2)) (/.p16 (real->posit16 1.0) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0))))

simplify6.2s

Counts

126 → 126

Iterations

Iter	Nodes
done	5000
3	2414
2	600
1	145
0	50

prune1.1s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

regimes146.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	12
0	12

end0.0ms

sample4.9s

Algorithm: halfpoints

Details

sample237.0ms

simplify2.1s

prune72.0ms

localize191.0ms

rewrite38.0ms

series0.0ms

simplify2.2m

prune1.7s

localize204.0ms

rewrite31.0ms

series0.0ms

simplify1.1m

prune1.8s

localize231.0ms

rewrite38.0ms

series0.0ms

simplify15.9s

prune1.5s

localize286.0ms

rewrite47.0ms

series0.0ms

simplify6.2s

prune1.1s

regimes146.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.9s

end6.1m