> There is no speed advantage to translating solvet, but ..
By the way: With the proper declarations, the translator does speed up some code that uses binary64 numbers.
For symbolic code that is mostly a string of calls to compiled Maxima functions, compilation is unlikely to reduce
run time. The translator is good at finding undeclared variables, however.
--Barton