For #1: if you have access to the full version of Maple, such as through the old Extended Symbolic Mathematics Toolbox, then you can use the Maple command "identify". If you do have that access (it is not the current Symbolic Toolbox, which is MuPAD rather than Maple), then try
feval(symengine, 'identify', 1.7321)
MuPAD (the current Symbolic Toolbox) does not appear to have a similar function.
You could try using
to get a more compact expression. The result might still have a lot of rational numbers in it. If you want the rational numbers converted to fixed point numbers, then use