To understand why you want to linearize it would be good to see a full example. Is expression supposed to mean expression = 0 and is it part of a system involving a derivative of g?

Since diff(f(r), r$2) is already linear in f you only need to linearize the rest.
The command
mtaylor(exp(-f)*(1 - g)^2,[f,g],2);
linearizes about zero, so it is the same as:
mtaylor(exp(-f)*(1 - g)^2,[f=0,g=0],2);

When making the decision back in 1993 (I think it was) the price and licensing certainly favored Maple. So did the open code. The first version we got was Maple V, Release 2, but we started using it in our teaching with Release 3. That students could have Maple on their own computer at home was essential.

@CarlitosVillalbaGalea You can do
solO1:=subs(sol3,1-C1(t)-C2(t)-C3(t));
allvalues(solO1); #Length of output exceeds limit of 1000000
#But it seems to be OK by checking with
eval(%,params); #Assuming that params has been defined already

@CarlitosVillalbaGalea You can do
solO1:=subs(sol3,1-C1(t)-C2(t)-C3(t));
allvalues(solO1); #Length of output exceeds limit of 1000000
#But it seems to be OK by checking with
eval(%,params); #Assuming that params has been defined already

I replaced all floating point numbers by 3 or -3 depending on their signs. As an example, if the number 1.23456*10^12 appeared in your system it would have been replaced by 3, and -1.23456*10^12 by -3. That is what I called crude!
I have no answer to your second question.

I replaced all floating point numbers by 3 or -3 depending on their signs. As an example, if the number 1.23456*10^12 appeared in your system it would have been replaced by 3, and -1.23456*10^12 by -3. That is what I called crude!
I have no answer to your second question.

I know nothing about MapleSim, but have you looked at
?DAE
in Maple itself?

Since
restart;
factor(expand(3 - 4*cos(z) + cos(2*z))) ;
# returns 2*(cos(z)-1)^2
the inequality holds for all real z.
Thus we get an even more impressive version:
restart:
assume(z>0, beta>0,t::real);
b:= 3*beta*Pi*(3-4*cos(t)+cos(2*t))/(16*z):
-b+sqrt(b^2);

Since
restart;
factor(expand(3 - 4*cos(z) + cos(2*z))) ;
# returns 2*(cos(z)-1)^2
the inequality holds for all real z.
Thus we get an even more impressive version:
restart:
assume(z>0, beta>0,t::real);
b:= 3*beta*Pi*(3-4*cos(t)+cos(2*t))/(16*z):
-b+sqrt(b^2);

@Algorithmus I already submitted a report in the form of an SCR (= Software Change Request).

@Algorithmus I already submitted a report in the form of an SCR (= Software Change Request).

@Algorithmus Clearly a bug!

@Algorithmus Clearly a bug!

@Carl Love In Maple ln represents a one-valued function: The principal branch. So the identity is an identity modulo 2*Pi*I:
a:=-1+I: b:=-1-I;
evalc(ln(a)-ln(b)-ln(a/b));
#Result 2*Pi*I
Since the logarithm appears in exp this is no problem.

@MartinHepperle On this page at the top the menu item 'More' has 'Submit Software Change Request'.