proc(x) local t;
 t := x*x*x + 0*2;
 if true then sqrt(t); else t^2 end if;
 end proc;
proc(x) local

in maple 13,the result is

proc (x) local t; t := x*x*x; sqrt(t) end proc

not the simplified proc(x) local t; t := x^3 ; sqrt(t) end proc

 (this is in the reference book)

question1:When I Input a complex expression,the superscript is sometimes acceptable

I copy a good-form letter with superscript to the destination box,but the superscript is too high,a little far away the letter,and in the whole expression,they're not the same form!

How to solve it？