# Question:Strange simplification of sqrt with sin(x)

## Question:Strange simplification of sqrt with sin(x)

Maple 2024

it took me hrs to find this as my solution was failing verification and I did not know why.

What logic do you think Maple used to simplify this:

```expr:=sqrt(1 + sin(x))/x;
simplify(expr)```

To this

How could the above be simpler than

?

Compare to Mathematica

And this is what I expected. I am now scared to use simplify in Maple as I do not know what I will get back.

Is there a way to tell Maple not to do such strange "simplification"? I am doing this in code, and the code does not know what the expression is.

To see an example of the side effect of this, here is one, where if solution to an ode is simplified first, it no longer verifies by odetest without adding extra assumptions:

 > interface(version);

 > restart;

 > ode:=diff(y(x),x)=(cos(x)-2*x*y(x)^2)/(2*x^2*y(x)); sol:=dsolve([ode,y(Pi)=1/Pi]); odetest(sol,ode);

 > odetest(simplify(sol),ode);

One does not expect that simplified solution no longer verfiies the ode.

Sure, I can do

odetest(simplify(sol),ode) assuming real;

and now it gives 0. But the point is that the first one did not need assumptions.