Good news after some time of silence. MATHOOL is going to use a version of the REDUCE-algebra CAS compiled in Javascript directly from the C sources. The miracle is possible thanks to Emscripten the famous LLVM to Javascript compiler.
This solution should potentially faster that the actual implementation that makes use of a Java port of REDUCE then compiled to Javascript through GWT.
Soon I'll try some intensive tests to verify if this attempt is worth additional work.