Details

sample201.0ms

Algorithm: halfpoints

simplify2.2s

Counts

1 → 1

Iterations

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

prune67.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.2b

localize176.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.6b	(.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))))))
0.6b	(/.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)))))

rewrite180.0ms

Algorithm

rewrite-expression-head

Rules

221×	`associate-r`
96×	`associate-/r*`
90×	`*p16-rgt-identity-expand`
78×	`p16-lft-identity-expand` `p16--un-lft-identity`
64×	`associate-*r/`
50×	`distribute-rgt-in` `distribute-lft-in`
48×	`distribute-lft-out--`
42×	`associate--l+`
39×	`associate-l`
36×	`distribute-rgt-out--`
30×	`+p16-lft-identity-expand` `+p16-rgt-identity-expand`
24×	`difference-of-squares`
22×	`*-commutative`
17×	`/p16-rgt-identity-expand`
12×	`associate-/r/`
8×	`introduce-quire` `difference-of-sqr-1` `-p16-rgt-identity-expand`
5×	`associate-*l/`
4×	`p16-flip--`
3×	`sub-neg` `insert-quire-fdp-sub` `associate--r-`
2×	`associate--r+`
1×	`associate--l-` `insert-quire-sub`

Counts

4 → 278

Calls

4 calls:

41.0ms	(.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (.p16 i (real->posit16 2))) (real->posit16 1.0)))
17.0ms	(-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
79.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))))))
23.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)))))

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 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 (real->posit16 2) (.p16 (real->posit16 2) (-.p16 (.p16 (.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))

simplify16.3s

Counts

282 → 282

Iterations

Iter	Nodes
done	5001
2	910
1	288
0	117

prune1.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.1b

localize200.0ms

Local error

Found 4 expressions with local error:

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

rewrite219.0ms

Algorithm

rewrite-expression-head

Rules

410×	`associate-r`
266×	`*p16-rgt-identity-expand`
216×	`p16-lft-identity-expand` `p16--un-lft-identity`
195×	`p16-times-frac`
158×	`associate-*r/`
132×	`associate-/r*`
102×	`/p16-rgt-identity-expand`
92×	`associate-/r/`
84×	`distribute-rgt-out--` `distribute-lft-out--`
60×	`distribute-rgt-in` `distribute-lft-in`
42×	`associate-/l/`
38×	`associate-*l/`
28×	`+p16-lft-identity-expand` `+p16-rgt-identity-expand`
25×	`*-commutative`
24×	`associate-+l+` `p16-distribute-lft-out` `distribute-rgt-out` `associate-l` `distribute-lft-out`
13×	`associate-/l*`
8×	`associate-+r+` `distribute-lft1-in`
4×	`+-commutative` `introduce-quire` `-p16-rgt-identity-expand`
1×	`p16-flip--`

Counts

4 → 488

Calls

4 calls:

25.0ms	(.p16 (real->posit16 2) (.p16 (real->posit16 2) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
31.0ms	(.p16 i (/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0))))))
104.0ms	(/.p16 (.p16 i (/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0)))))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
18.0ms	(/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))

series0.0ms

Counts

4 → 4

Calls

4 calls:

0.0ms	(.p16 (real->posit16 2) (.p16 (real->posit16 2) (+.p16 (*.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 i (real->posit16 2)) (real->posit16 1.0))))))
0.0ms	(/.p16 (.p16 i (/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0)))))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.0ms	(/.p16 i (.p16 (real->posit16 2) (.p16 (real->posit16 2) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))

simplify1.8s

Counts

492 → 492

Iterations

Iter	Nodes
done	5009
2	1716
1	360
0	138

prune1.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize337.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.1s

Algorithm

rewrite-expression-head

Rules

4689×	`p16-times-frac`
3767×	`*p16-rgt-identity-expand`
3314×	`associate-r`
3098×	`p16-lft-identity-expand` `p16--un-lft-identity`
1280×	`/p16-rgt-identity-expand`
1271×	`associate-/r/`
894×	`distribute-rgt-out--` `distribute-lft-out--`
666×	`p16-distribute-lft-out` `distribute-rgt-out` `distribute-lft-out`
505×	`associate-*r/`
417×	`associate-*l/`
222×	`distribute-lft1-in`
165×	`associate-/l*`
117×	`associate-/r*`
84×	`associate-/l/`
20×	`*-commutative`
10×	`+p16-lft-identity-expand` `+p16-rgt-identity-expand`
9×	`associate-l`
8×	`introduce-quire`
6×	`-p16-rgt-identity-expand` `associate--l+`
4×	`distribute-rgt-in` `distribute-lft-in`
3×	`insert-quire-fdp-sub`
2×	`p16-flip--` `associate--r+`
1×	`associate--l-` `insert-quire-sub` `sub-neg` `associate--r-`

Counts

4 → 2846

Calls

4 calls:

14.0ms	(-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
65.0ms	(.p16 i (/.p16 (/.p16 i (.p16 (real->posit16 2) (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
24.0ms	(/.p16 (/.p16 i (.p16 (real->posit16 2) (real->posit16 2))) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0)))
193.0ms	(/.p16 (.p16 i (/.p16 (/.p16 i (.p16 (real->posit16 2) (real->posit16 2))) (+.p16 (.p16 i (real->posit16 2)) (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 i (real->posit16 2)) (real->posit16 1.0))
0.0ms	(.p16 i (/.p16 (/.p16 i (.p16 (real->posit16 2) (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
0.0ms	(/.p16 (/.p16 i (.p16 (real->posit16 2) (real->posit16 2))) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0)))
0.0ms	(/.p16 (.p16 i (/.p16 (/.p16 i (.p16 (real->posit16 2) (real->posit16 2))) (+.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0)))) (-.p16 (.p16 i (real->posit16 2)) (real->posit16 1.0)))

simplify3.5s

Counts

2850 → 2850

Iterations

Iter	Nodes
done	5000
2	1366
1	213
0	93

prune2.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize255.0ms

Local error

Found 4 expressions with local error:

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

rewrite192.0ms

Algorithm

rewrite-expression-head

Rules

274×	`p16-lft-identity-expand` `p16--un-lft-identity`
216×	`p16-times-frac`
213×	`*p16-rgt-identity-expand`
180×	`distribute-lft-out--`
126×	`/p16-rgt-identity-expand`
124×	`associate-l`
120×	`associate-/r*` `associate-/r/`
119×	`associate-r`
77×	`associate-*r/`
71×	`associate-*l/`
45×	`distribute-rgt-out--`
26×	`associate-/l/`
24×	`p16-distribute-lft-out` `distribute-lft-out`
12×	`associate-/l*`
8×	`+p16-lft-identity-expand` `introduce-quire` `+p16-rgt-identity-expand`
6×	`distribute-rgt-out` `-p16-rgt-identity-expand`
3×	`p16-flip--` `*-commutative` `insert-quire-fdp-sub`
2×	`distribute-rgt-in` `distribute-lft-in` `distribute-lft1-in` `associate--l+` `associate--r+`
1×	`associate--l-` `insert-quire-sub` `sub-neg` `associate--r-`

Counts

4 → 432

Calls

4 calls:

13.0ms	(-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
84.0ms	(.p16 (/.p16 i (+.p16 (.p16 (real->posit16 2) i) (real->posit16 1.0))) (/.p16 (/.p16 i (.p16 (real->posit16 2) (real->posit16 2))) (-.p16 (.p16 (real->posit16 2) i) (real->posit16 1.0))))
34.0ms	(/.p16 (/.p16 i (.p16 (real->posit16 2) (real->posit16 2))) (-.p16 (.p16 (real->posit16 2) i) (real->posit16 1.0)))
19.0ms	(/.p16 i (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))

series0.0ms

Counts

4 → 4

Calls

4 calls:

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

simplify4.5s

Counts

436 → 436

Iterations

Iter	Nodes
done	5018
3	4778
2	928
1	153
0	59

prune1.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

regimes211.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify6.0ms

Iterations

Iter	Nodes
done	13
0	13

end0.0ms

sample5.2s

Algorithm: halfpoints