Details

Time bar (total: 1.7m)

sample399.0ms

Algorithm
halfpoints

simplify2.4s

Counts
1 → 1
Iterations
IterNodes
done5001
32242
2518
1145
056

prune314.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.1b

localize856.0ms

Local error

Found 4 expressions with local error:

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

rewrite114.0ms

Algorithm
rewrite-expression-head
Rules
55×*p16-lft-identity-expand p16-*-un-lft-identity
36×p16-times-frac
31×*p16-rgt-identity-expand
24×/p16-rgt-identity-expand
21×associate-*l/
16×p16-distribute-lft-out distribute-lft-out
13×distribute-rgt-in distribute-lft-in associate-*r/
12×+p16-lft-identity-expand +p16-rgt-identity-expand associate-/l*
7×associate-*r*
4×distribute-rgt-out introduce-quire -p16-rgt-identity-expand
3×associate-/r* associate-*l* *-commutative
1×associate-/r/ associate-/l/
Counts
4 → 134
Calls
4 calls:
8.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0072644182))
26.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034)))
16.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971)))
63.0ms
(/.p16 (+.p16 (real->posit16 1) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0072644182)) (+.p16 (real->posit16 0.1049934947) (*.p16 (*.p16 x x) (real->posit16 0.0424060604))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (real->posit16 0.0694555761)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (real->posit16 2) (real->posit16 0.0001789971))) (+.p16 (*.p16 x (*.p16 x (real->posit16 0.0008327945))) (real->posit16 0.0140005442)))))))

series0.0ms

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

simplify2.1s

Counts
138 → 138
Iterations
IterNodes
done5000
21130
1258
091

prune5.6s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 2.9b

localize999.0ms

Local error

Found 4 expressions with local error:

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

rewrite175.0ms

Algorithm
rewrite-expression-head
Rules
56×*p16-lft-identity-expand p16-*-un-lft-identity
36×p16-times-frac
32×*p16-rgt-identity-expand
25×associate-*l/
24×/p16-rgt-identity-expand
16×p16-distribute-lft-out distribute-lft-out
12×associate-/l*
11×associate-*r/
9×associate-*r*
8×+p16-lft-identity-expand +p16-rgt-identity-expand
5×distribute-rgt-in distribute-lft-in
4×distribute-rgt-out introduce-quire -p16-rgt-identity-expand
3×associate-/r* associate-*l* *-commutative
1×associate-/r/ associate-/l/
Counts
4 → 128
Calls
4 calls:
17.0ms
(*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0072644182))
43.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034)))
24.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0001789971))
87.0ms
(/.p16 (+.p16 (real->posit16 1) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0072644182)) (+.p16 (real->posit16 0.1049934947) (*.p16 (*.p16 x x) (real->posit16 0.0424060604))))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 x x) (real->posit16 0.0001789971)) (real->posit16 0.0005064034))))) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (+.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (real->posit16 0.0694555761)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0001789971)) (+.p16 (*.p16 x (*.p16 x (real->posit16 0.0008327945))) (real->posit16 0.0140005442)))))))

series0.0ms

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

simplify2.8s

Counts
132 → 132
Iterations
IterNodes
done5000
21049
1219
083

prune5.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 2.9b

localize907.0ms

Local error

Found 4 expressions with local error:

1.0b
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))
1.4b
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0001789971))
1.9b
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034))
2.8b
(/.p16 (+.p16 (real->posit16 1) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0072644182)) (+.p16 (real->posit16 0.1049934947) (*.p16 (*.p16 x x) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.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 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (real->posit16 0.0694555761)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0001789971)) (+.p16 (*.p16 x (*.p16 x (real->posit16 0.0008327945))) (real->posit16 0.0140005442)))))))

rewrite598.0ms

Algorithm
rewrite-expression-head
Rules
55×*p16-lft-identity-expand p16-*-un-lft-identity
36×p16-times-frac
34×associate-*l/
31×*p16-rgt-identity-expand
30×/p16-rgt-identity-expand
18×associate-*r/
16×p16-distribute-lft-out distribute-lft-out
14×distribute-rgt-in distribute-lft-in +p16-lft-identity-expand +p16-rgt-identity-expand
12×associate-/l*
7×associate-*r*
4×distribute-rgt-out introduce-quire -p16-rgt-identity-expand
3×associate-/r* associate-*l* *-commutative
1×associate-/r/ associate-/l/
Counts
4 → 142
Calls
4 calls:
45.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))
16.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0001789971))
23.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034))
510.0ms
(/.p16 (+.p16 (real->posit16 1) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0072644182)) (+.p16 (real->posit16 0.1049934947) (*.p16 (*.p16 x x) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.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 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (real->posit16 0.0694555761)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0001789971)) (+.p16 (*.p16 x (*.p16 x (real->posit16 0.0008327945))) (real->posit16 0.0140005442)))))))

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 (*.p16 x x) (real->posit16 0.0001789971)))
0.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (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 (real->posit16 1) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0072644182)) (+.p16 (real->posit16 0.1049934947) (*.p16 (*.p16 x x) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.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 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (real->posit16 0.0694555761)))) (+.p16 (+.p16 (real->posit16 1) (*.p16 (*.p16 x x) (real->posit16 0.7715471019))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 2)) (real->posit16 0.0001789971)) (+.p16 (*.p16 x (*.p16 x (real->posit16 0.0008327945))) (real->posit16 0.0140005442)))))))

simplify57.8s

Counts
146 → 146
Iterations
IterNodes
done5001
2984
1251
090

prune5.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 2.6b

localize1.1s

Local error

Found 4 expressions with local error:

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

rewrite112.0ms

Algorithm
rewrite-expression-head
Rules
55×*p16-lft-identity-expand p16-*-un-lft-identity
36×p16-times-frac
31×*p16-rgt-identity-expand
29×associate-*l/
28×/p16-rgt-identity-expand
17×associate-*r/
16×p16-distribute-lft-out distribute-lft-out
14×distribute-rgt-in distribute-lft-in +p16-lft-identity-expand +p16-rgt-identity-expand
12×associate-/l*
7×associate-*r*
4×distribute-rgt-out introduce-quire -p16-rgt-identity-expand
3×associate-/r* associate-*l* *-commutative
1×associate-/r/ associate-/l/
Counts
4 → 140
Calls
4 calls:
6.0ms
(*.p16 (*.p16 (real->posit16 2) (*.p16 x x)) (real->posit16 0.0001789971))
44.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (real->posit16 0.0001789971)))
31.0ms
(*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034))
29.0ms
(/.p16 (+.p16 (real->posit16 1) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (real->posit16 0.0072644182)) (+.p16 (real->posit16 0.1049934947) (*.p16 (*.p16 x x) (real->posit16 0.0424060604))))) (+.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (*.p16 (*.p16 x x) (real->posit16 0.0001789971))) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (real->posit16 0.0005064034))))) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 x x) (+.p16 (*.p16 (real->posit16 0.0694555761) (*.p16 x x)) (real->posit16 0.2909738639))) (real->posit16 0.7715471019))) (+.p16 (real->posit16 1) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 (*.p16 x x) (*.p16 x x))) (+.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 x x) (+.p16 (*.p16 (*.p16 (real->posit16 2) (*.p16 x x)) (real->posit16 0.0001789971)) (real->posit16 0.0008327945))))))))

series0.0ms

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

simplify4.3s

Counts
144 → 144
Iterations
IterNodes
done5188
21002
1260
089

prune4.6s

Pruning

14 alts after pruning (13 fresh and 1 done)

Merged error: 2.6b

regimes1.6s

Accuracy

0% (0.5b remaining)

Error of 3.4b against oracle of 2.8b and baseline of 3.4b

bsearch0.0ms

simplify43.0ms

Iterations
IterNodes
done56
156
054

end0.0ms

sample5.4s

Algorithm
halfpoints