Logged In: YES

user_id=501686

I don't think the bug is in taylor; reassigning the category

to "Lisp Core - Assume". Feel free to change the category again.

asksign (sin(x)^2+cos(x)^2-1);

=> Is sin(x)^2+cos(x)^2-1 pnz ?

is(equal(sin(x)^2+cos(x)^2-1,0));

=> Maxima was unable to evaluate the predicate

I don't know how hard asksign and/or is and/or mevalp should

try to simplify.

trigsimp(sin(x)^2+cos(x)^2-1); => 0

but trigsimp isn't applied automatically.