Yes I have. It's most useful for definite integration but the indefinite integration usually matches perfectly with my answer unless there are trig. identities present...then again I rarely compute, much less compare, such things.
I recently installed ME Pro, TiReader, and a few helpful...