Nikolaos I. Ioakimidis wrote: > Dear Zoltan, > > (C2) is(equal(sin(x)/cos(x), trigsimp(tan(x)))); > (D2) TRUE Much better is is(trigsimp(sin(x)/cos(x)-tan(x))=0) RJF