Using a silicon compiler for computer algebra