#1: " ----------[ D e r i v e ]---------- " User #2: " ---------- Initialization ---------- " User User #3: " ---------- Mathematics vs Computer Science ---------- " User #4: " Just how well are pattern matches between mathematically equivalent forms " #5: " performed? " User #6: " ---------- Quit ---------- " User