Details

Time bar (total: 24.7s)

sample54.0ms

Algorithm
halfpoints

simplify22.0ms

Counts
1 → 1
Iterations
IterNodes
done14
214
113
010

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.6b

localize82.0ms

Local error

Found 4 expressions with local error:

0.1b
(sqrt.p16 (+.p16 x #<cpointer:posit16>))
0.1b
(/.p16 #<cpointer:posit16> (sqrt.p16 x))
0.2b
(/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))
0.5b
(-.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
63×*p16-lft-identity-expand p16-*-un-lft-identity
61×p16-times-frac
35×*p16-rgt-identity-expand
20×distribute-lft-out--
18×introduce-quire
13×/p16-rgt-identity-expand insert-quire-fdp-sub
7×associate-/r/
6×associate-/r* +p16-lft-identity-expand -p16-rgt-identity-expand +p16-rgt-identity-expand associate-/l*
5×distribute-rgt-out--
2×associate--l+ associate--r+ associate-/l/
1×associate--l- insert-quire-sub sub-neg p16-flip-- associate--r-
Counts
4 → 113
Calls
4 calls:
1.0ms
(sqrt.p16 (+.p16 x #<cpointer:posit16>))
4.0ms
(/.p16 #<cpointer:posit16> (sqrt.p16 x))
4.0ms
(/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))
21.0ms
(-.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(sqrt.p16 (+.p16 x #<cpointer:posit16>))
0.0ms
(/.p16 #<cpointer:posit16> (sqrt.p16 x))
0.0ms
(/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))
0.0ms
(-.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))))

simplify1.7s

Counts
117 → 117
Iterations
IterNodes
done5002
31315
2252
165
043

prune424.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0.5b

localize174.0ms

Local error

Found 4 expressions with local error:

0.2b
(/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))
0.2b
(/.p16 (-.p16 (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 x))) (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))))) (+.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))))
0.3b
(*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))))
0.3b
(-.p16 (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 x))) (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
549×p16-times-frac
440×*p16-lft-identity-expand p16-*-un-lft-identity
120×*p16-rgt-identity-expand
100×p16-distribute-lft-out distribute-lft-out
51×associate-/r*
50×difference-of-squares
30×/p16-rgt-identity-expand
25×distribute-rgt-out
24×associate-/r/
13×associate-*r* associate-*l*
12×+p16-lft-identity-expand +p16-rgt-identity-expand
7×associate-/l*
6×distribute-rgt-in distribute-lft-in introduce-quire -p16-rgt-identity-expand associate--l+ associate--r+
3×associate-/l/
2×p16-flip--
1×associate--l- insert-quire-sub sub-neg associate-*l/ associate-*r/ *-commutative insert-quire-fdp-sub associate--r-
Counts
4 → 348
Calls
4 calls:
4.0ms
(/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))
63.0ms
(/.p16 (-.p16 (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 x))) (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))))) (+.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))))
8.0ms
(*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))))
8.0ms
(-.p16 (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 x))) (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))))

series0.0ms

Counts
4 → 4
Calls
4 calls:
0.0ms
(/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))
0.0ms
(/.p16 (-.p16 (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 x))) (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))))) (+.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))))
0.0ms
(*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))))
0.0ms
(-.p16 (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 x)) (/.p16 #<cpointer:posit16> (sqrt.p16 x))) (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>))) (/.p16 #<cpointer:posit16> (sqrt.p16 (+.p16 x #<cpointer:posit16>)))))

simplify22.0s

Counts
352 → 352
Iterations
IterNodes
done5000
2756
1161
071

prune6.0ms