Tue Dec 31 16:47:02 MST 1996 aquarius% reduce REDUCE 3.6, 15-Jul-95, patched to 15 Apr 96 ... 1: % ----------[ R e d u c e ]---------- % ---------- Initialization ---------- on time; Time: 0 ms % ---------- Mathematics vs Computer Science ---------- % Just how well are pattern matches between mathematically equivalent forms % performed? exp(y) where exp(~x) => x; y Time: 0 ms e^y where exp(~x) => x; y e Time: 10 ms exp(y) where e^~x => x; y Time: 0 ms e^y where e^~x => x; y Time: 0 ms sqrt(y) where sqrt(~x) => x; y Time: 10 ms y^(1/2) where sqrt(~x) => x; sqrt(y) Time: 0 ms sqrt(y) where ~x^(1/2) => x; y Time: 0 ms y^(1/2) where ~x^(1/2) => x; y Time: 0 ms i*y where i*~x => x; y Time: 0 ms sqrt(-1)*y where i*~x => x; y Time: 0 ms (-1)^(1/2)*y where i*~x => x; y Time: 0 ms i*y where sqrt(-1)*~x => x; y Time: 10 ms sqrt(-1)*y where sqrt(-1)*~x => x; y Time: 0 ms (-1)^(1/2)*y where sqrt(-1)*~x => x; y Time: 10 ms i*y where (-1)^(1/2)*~x => x; y Time: 10 ms sqrt(-1)*y where (-1)^(1/2)*~x => x; y Time: 0 ms (-1)^(1/2)*y where (-1)^(1/2)*~x => x; y Time: 0 ms % ---------- Quit ---------- quit; Quitting real 0.56 user 0.11 sys 0.44