Sorry, I had another machine in mind when I said in my previous message
that the Toshiba executed 50% faster.
To be precise, using sbcl--uncompiled loading some maxima code, the
times (including printing all kinds of junk to the screen) were
Toshiba m200: 11.223 user seconds
MBP: 12.93 user seconds
So, the Toshiba takes about .86 of the time required by the MBP. Running
some tests with MPFR C-code hows more or less the same differences in
execution speed.