Question: why is applyrule failed ?

I'd like to solve the equation b^4+12*b^2+22*b^2-20*b+1=0

M:=b^4+12*b^2+22*b^2-20*b+1;
s:=solve(M,{b}):
s1:=allvalues(s[1])[]:# first solution

I find   first solution has  common subexpressions 5435 + 3*sqrt(515793), so I want to repalce by t. but unfortunately failed.

eq:=5435 + 3*sqrt(515793)=t:
applyrule(eq,s1);
# failed

why? in  following simple instance, it is OK!

eq:=5435 + 3*sqrt(515793)=t:
applyrule(eq,sqrt(5435 + 3*sqrt(515793)));

 

 

 

 

 

Please Wait...