Code & result:

> map((a::uneval,b)->'args',[a,b,c,d],1..4,x);       
['a, 1 .. 4, x', 'b, 1 .. 4, x', 'c, 1 .. 4, x', 'd, 1 .. 4, x']

> map((a,b::uneval)->'args',[a,b,c,d],1..4,x);           
[a, 1 .. 4, x, b, 1 .. 4, x, c, 1 .. 4, x, d, 1 .. 4, x]

Why is the output not:
['a', 1 .. 4, x, 'b', 1 .. 4, x, 'c', 1 .. 4, x, 'd', 1 .. 4, x]
and
[a, '1 .. 4', x, b, '1 .. 4', x, c, '1 .. 4', x, d, '1 .. 4', x]
?

Does `evala/toprof` still exist in newer Maple versions, or is there an equivalent?

I am curious, can simplify/siderels be executed in mod p by some equivalent Maple function call?

Is there a Maple function that given a set of substitutions in form object=set of substitute objects produces a sequence of sets, each a product of substitution from the next, remove repetitions. An example:

sqrt(5) gives

sqrt(1+sqrt(5)) gives "You have entered an invalid Maple expression"

sqrt(u) gives

sqrt(1+u); gives "You have entered an invalid Maple expression"

when using the Maple Math icon. How can I get the correct input for the two expressions?