Details

Time bar (total: 1.7m)

sample460.0ms

Algorithm
halfpoints

simplify2.3s

Counts
1 → 1
Iterations
IterNodes
done5000
32422
2526
1145
056

prune228.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.3b

localize1.0s

Local error

Found 4 expressions with local error:

0.7b
(*.p16 (*.p16 x x) (real->posit16 0.0001789971))
1.1b
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
1.2b
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
3.1b
(/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

rewrite90.0ms

Algorithm
rewrite-expression-head
Rules
22×distribute-rgt-in distribute-lft-in
18×+p16-lft-identity-expand /p16-rgt-identity-expand +p16-rgt-identity-expand
14×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
10×associate-*r/
9×p16-times-frac
8×associate-*l/
5×associate-*r* associate-*l*
4×introduce-quire -p16-rgt-identity-expand
3×associate-/r* *-commutative associate-/l*
1×associate-/r/ associate-/l/
Counts
4 → 102
Calls
4 calls:
3.0ms
(*.p16 (*.p16 x x) (real->posit16 0.0001789971))
10.0ms
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
10.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
63.0ms
(/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (*.p16 x x) (real->posit16 0.0001789971))
0.0ms
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
0.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
0.0ms
(/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

simplify22.7s

Counts
106 → 106
Iterations
IterNodes
done5000
24556
1277
096

prune5.9s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 3.2b

localize1.2s

Local error

Found 4 expressions with local error:

0.6b
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0005064034) (*.p16 x (*.p16 x (real->posit16 0.0001789971)))))
1.1b
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
1.2b
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
3.1b
(/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0005064034) (*.p16 x (*.p16 x (real->posit16 0.0001789971))))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

rewrite170.0ms

Algorithm
rewrite-expression-head
Rules
24×/p16-rgt-identity-expand
21×distribute-rgt-in distribute-lft-in
19×associate-*l/
16×+p16-lft-identity-expand +p16-rgt-identity-expand
15×associate-*r/
14×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
9×p16-times-frac
5×associate-*r* associate-*l*
4×introduce-quire -p16-rgt-identity-expand
3×associate-/r* *-commutative associate-/l*
1×associate-/r/ associate-/l/
Counts
4 → 106
Calls
4 calls:
32.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0005064034) (*.p16 x (*.p16 x (real->posit16 0.0001789971)))))
10.0ms
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
14.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
111.0ms
(/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0005064034) (*.p16 x (*.p16 x (real->posit16 0.0001789971))))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0005064034) (*.p16 x (*.p16 x (real->posit16 0.0001789971)))))
0.0ms
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
0.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
0.0ms
(/.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0005064034) (*.p16 x (*.p16 x (real->posit16 0.0001789971))))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

simplify13.4s

Counts
110 → 110
Iterations
IterNodes
done5000
24008
1288
099

prune5.8s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 3.1b

localize919.0ms

Local error

Found 4 expressions with local error:

0.7b
(*.p16 (real->posit16 0.0001789971) (*.p16 x x))
1.1b
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
1.2b
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
3.1b
(/.p16 (+.p16 (+.p16 (quire16->posit16 (posit16->quire16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (real->posit16 0.0005064034))))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

rewrite132.0ms

Algorithm
rewrite-expression-head
Rules
22×distribute-rgt-in distribute-lft-in
18×+p16-lft-identity-expand /p16-rgt-identity-expand +p16-rgt-identity-expand
14×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
10×associate-*r/
9×p16-times-frac
8×associate-*l/
7×associate-*l*
4×introduce-quire -p16-rgt-identity-expand
3×associate-/r* associate-*r* *-commutative associate-/l*
1×associate-/r/ associate-/l/
Counts
4 → 102
Calls
4 calls:
6.0ms
(*.p16 (real->posit16 0.0001789971) (*.p16 x x))
15.0ms
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
17.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
92.0ms
(/.p16 (+.p16 (+.p16 (quire16->posit16 (posit16->quire16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (real->posit16 0.0005064034))))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (real->posit16 0.0001789971) (*.p16 x x))
0.0ms
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
0.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
0.0ms
(/.p16 (+.p16 (+.p16 (quire16->posit16 (posit16->quire16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 x x)) (real->posit16 0.0005064034))))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

simplify2.1s

Counts
106 → 106
Iterations
IterNodes
done5000
1283
0100

prune5.2s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 3.1b

localize894.0ms

Local error

Found 4 expressions with local error:

1.1b
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
1.2b
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
1.6b
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034))
3.1b
(/.p16 (+.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034)) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x (*.p16 x (real->posit16 0.0001789971))))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
24×/p16-rgt-identity-expand
22×distribute-rgt-in distribute-lft-in
19×associate-*l/
18×+p16-lft-identity-expand +p16-rgt-identity-expand
15×associate-*r/
14×*p16-lft-identity-expand *p16-rgt-identity-expand p16-*-un-lft-identity
9×p16-times-frac
5×associate-*r* associate-*l*
4×introduce-quire -p16-rgt-identity-expand
3×associate-/r* *-commutative associate-/l*
1×associate-/r/ associate-/l/
Counts
4 → 108
Calls
4 calls:
16.0ms
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
15.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
20.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034))
96.0ms
(/.p16 (+.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034)) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x (*.p16 x (real->posit16 0.0001789971))))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x)))
0.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
0.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034))
0.0ms
(/.p16 (+.p16 (+.p16 (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034)) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x (*.p16 x (real->posit16 0.0001789971))))) (real->posit16 1)) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x)))) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0694555761)) (real->posit16 0.2909738639)) (*.p16 (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 x x))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))))))

simplify28.1s

Counts
112 → 112
Iterations
IterNodes
done5000
24822
1286
099

prune5.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.0b

regimes739.0ms

Accuracy

0% (0.3b remaining)

Error of 3.3b against oracle of 3.0b and baseline of 3.3b

bsearch0.0ms

simplify26.0ms

Iterations
IterNodes
done56
156
054

end0.0ms

sample6.4s

Algorithm
halfpoints