Details

Time bar (total: 8.3m)

sample425.0ms

Algorithm
halfpoints

simplify1.9s

Counts
1 → 1
Iterations
IterNodes
done5002
31882
2510
1145
056

prune241.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 4.1b

localize850.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.7m

Algorithm
rewrite-expression-head
Rules
108000×*p16-lft-identity-expand p16-*-un-lft-identity
91923×associate-*l*
71712×p16-distribute-lft-out distribute-lft-out
40915×p16-times-frac
19008×*p16-rgt-identity-expand
9288×distribute-rgt-out
5697×associate-*r*
245×associate-/l*
167×associate-/r*
38×distribute-rgt-in distribute-lft-in
22×+p16-lft-identity-expand +p16-rgt-identity-expand
20×/p16-rgt-identity-expand
15×associate-*r/
13×*-commutative
11×associate-*l/
4×introduce-quire -p16-rgt-identity-expand
1×associate-/r/ associate-/l/
Counts
4 → 41476
Calls
4 calls:
9.0ms
(*.p16 (*.p16 x x) (real->posit16 0.0001789971))
16.0ms
(*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))
116.0ms
(*.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))))
1.6m
(/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.2909738639)) (real->posit16 0.7715471019)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0694555761))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))))))) (*.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))))))

series1.0ms

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

simplify1.1m

Counts
41480 → 41480
Iterations
IterNodes
done5000
21477
1338
0121

prune7.3s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.8b

localize1.1s

Local error

Found 4 expressions with local error:

0.8b
(*.p16 (real->posit16 0.0140005442) (*.p16 x x))
0.9b
(*.p16 (*.p16 x x) (real->posit16 0.0001789971))
0.9b
(*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))
3.6b
(/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.2909738639)) (real->posit16 0.7715471019)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0694555761))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))))))) (*.p16 (*.p16 (real->posit16 0.0140005442) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (*.p16 x x))))))

rewrite1.4m

Algorithm
rewrite-expression-head
Rules
166010×associate-*l*
160562×*p16-lft-identity-expand p16-*-un-lft-identity
106704×p16-distribute-lft-out distribute-lft-out
60515×p16-times-frac
27178×*p16-rgt-identity-expand
13336×distribute-rgt-out
7666×associate-*r*
247×associate-/r*
245×associate-/l*
14×/p16-rgt-identity-expand
10×+p16-lft-identity-expand +p16-rgt-identity-expand
7×*-commutative
6×distribute-rgt-in distribute-lft-in associate-*l/
4×introduce-quire -p16-rgt-identity-expand associate-*r/
1×associate-/r/ associate-/l/
Counts
4 → 61096
Calls
4 calls:
5.0ms
(*.p16 (real->posit16 0.0140005442) (*.p16 x x))
4.0ms
(*.p16 (*.p16 x x) (real->posit16 0.0001789971))
54.0ms
(*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))
1.2m
(/.p16 (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))) (+.p16 (real->posit16 0.0424060604) (*.p16 (real->posit16 0.0072644182) (*.p16 x x))))) (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.2909738639)) (real->posit16 0.7715471019)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0694555761))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))))))) (*.p16 (*.p16 (real->posit16 0.0140005442) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (*.p16 x x))))))

series1.0ms

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

simplify1.2m

Counts
61100 → 61100
Iterations
IterNodes
done5000
21119
1226
089

prune4.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 3.8b

localize713.0ms

Local error

Found 4 expressions with local error:

0.8b
(*.p16 (real->posit16 0.0140005442) (*.p16 x x))
0.9b
(*.p16 (*.p16 x x) (real->posit16 0.0001789971))
0.9b
(*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))
3.6b
(/.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.2909738639)) (real->posit16 0.7715471019)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0694555761))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))))))) (*.p16 (*.p16 (real->posit16 0.0140005442) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (*.p16 x x))))))

rewrite1.2m

Algorithm
rewrite-expression-head
Rules
11378×*p16-lft-identity-expand p16-*-un-lft-identity
9402×associate-*l*
6736×p16-distribute-lft-out distribute-lft-out
5187×p16-times-frac
2506×*p16-rgt-identity-expand
1112×distribute-rgt-out
658×associate-*r*
247×associate-/r*
21×associate-/l*
14×/p16-rgt-identity-expand
10×+p16-lft-identity-expand +p16-rgt-identity-expand
7×*-commutative
6×distribute-rgt-in distribute-lft-in associate-*l/
4×introduce-quire -p16-rgt-identity-expand associate-*r/
1×associate-/r/ associate-/l/
Counts
4 → 5544
Calls
4 calls:
11.0ms
(*.p16 (real->posit16 0.0140005442) (*.p16 x x))
4.0ms
(*.p16 (*.p16 x x) (real->posit16 0.0001789971))
8.0ms
(*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))
1.2m
(/.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (*.p16 (+.p16 (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.0072644182) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))))) (real->posit16 0.0424060604)) (*.p16 x x)) (real->posit16 0.1049934947)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (+.p16 (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.2909738639)) (real->posit16 0.7715471019)) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0694555761))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 x x) (real->posit16 2)) (real->posit16 0.0001789971))))))) (*.p16 (*.p16 (real->posit16 0.0140005442) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 (*.p16 x x) (*.p16 x x))))))

series0.0ms

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

simplify7.3s

Counts
5548 → 5548
Iterations
IterNodes
done5000
21203
1231
090

prune3.8s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.6b

localize670.0ms

Local error

Found 4 expressions with local error:

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

rewrite23.8s

Algorithm
rewrite-expression-head
Rules
157600×associate-*l*
102859×*p16-lft-identity-expand p16-*-un-lft-identity
68664×p16-distribute-lft-out distribute-lft-out
41314×p16-times-frac
22219×*p16-rgt-identity-expand
9498×distribute-rgt-out
4805×associate-*r*
1601×*-commutative
1589×associate-/r*
26×associate-/l*
22×distribute-rgt-in distribute-lft-in
19×/p16-rgt-identity-expand
18×+p16-lft-identity-expand +p16-rgt-identity-expand
12×associate-*r/
9×associate-*l/
4×introduce-quire -p16-rgt-identity-expand
2×associate-/l/
1×associate-/r/
Counts
4 → 43059
Calls
4 calls:
5.0ms
(*.p16 (real->posit16 0.0005064034) (*.p16 x x))
12.0ms
(*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))
16.0ms
(*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 2)))
16.8s
(/.p16 (*.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (+.p16 (+.p16 (real->posit16 0.1049934947) (*.p16 (real->posit16 0.0424060604) (*.p16 x x))) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (+.p16 (real->posit16 0.0072644182) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0005064034) (*.p16 x x))))))) x) (+.p16 (*.p16 (+.p16 (real->posit16 0.7715471019) (*.p16 (*.p16 x x) (+.p16 (real->posit16 0.2909738639) (*.p16 (real->posit16 0.0694555761) (*.p16 x x))))) (*.p16 x x)) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (+.p16 (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 2))) (*.p16 (real->posit16 0.0008327945) (*.p16 x x))) (real->posit16 0.0140005442))) (real->posit16 1))))

series1.0ms

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

simplify38.7s

Counts
43063 → 43063
Iterations
IterNodes
done5000
21493
1294
0114

prune4.7s

Pruning

16 alts after pruning (16 fresh and 0 done)

Merged error: 3.5b

regimes929.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify27.0ms

Iterations
IterNodes
done58
158
056

end0.0ms

sample2.9s

Algorithm
halfpoints