Where can i read about logic of assignment in maple? In all normal languages
c:=0;

c:=c+1; returns c to 1.

While maple gets into reccursion. Why politics of assignment was made so? Why imstead process all previous assignments maple also seems to process current one while calculating rhs (or lhs via evaln)? Where can i read about that and how actually assign value to expression without postprocessing of current operator ?

How to do subj? Straightforward way doesn't compile:

restart;

myint:= proc(u::float)::float;
return int(exp(x^6), x=0.0..u);
end proc:


createcomp:=proc (expr::evaln, exprfunc::evaln);
exprfunc:=(v::float)->unapply(evaln(expr),a)(v);
return Compiler:-Compile(exprfunc,optimize);
end proc:
global_expr:=myint(a)+a^a;
s:=createcomp(global_expr, global_exprfunc);

"Error, (in Print) cannot translate value of lexically...

ggg:=(y,a,b)->
(2*(-a+6*y^2*a^2+2*b*y^2*a^2+9*b*y^3*a+3*b*y^2*a+b*y^6*a^2+4*b*y^5*a^2+5*b*y^4*a^2+2*b*y^5*a+8*b*y^4*a+3*b*y^3*a^2+4*b*y^2-y^3*a-3*y^2*a+y^6*a^3+5*y^5*a^3+8*y^4*a^3+4*y^3*a^3+y^5*a^2+5*y^4*a^2+9*y^3*a^2+b*y^4+4*b*y^3+y*a^2+2*a*b*y+y^3*a*(y+1)^(-2*b)+a*(y+1)^(-2*b)+3*y^2*a*(y+1)^(-2*b)+3*y*a*(y+1)^(-2*b)-2*y^2*a^2*(y+1)^(-2*b)-y*a^2*(y+1)^(-2*b)-3*y*a-y^3*a^2*(y+1)^(-2*b))/(y^2*(a+b)*(y+1)*(y+2)^2*(y*a+1)^2)+(-2-y^2+2*y^2*a^2-2*y+4*b*y^3*a+8*b*y^2*a+2*b*y^4*a^2+4*b*y^3*a^2...

As usual happens in symbolic calculations - small change of input parameters leads to drammatical change in consuptions. I had talk about many other partial issues in  this forum. Many other issues i just tried myself without any success (for example try convert(exp(x)+x, FormalPowerSeries)) and now i must take decision: wheather or not to continue work with maple at all. It's totally clear for me that others (like Wolfram mathematica) not much better. Only one other...

Maybe many questions on forum because method is not universal. What about this one:

JA1S := (2*sqrt(2*y+3)*y+3*sqrt(2*y+3)-3*sqrt(3))/((2*y+3)^(3/2)*y);

simplify(JA1S, power, radical, symbolic); - nothing

combine(JA1S, power, radical, symbolic); - nothing

Moreover, can i somehow also reduce by y?