Implementation of symbolic expressions in Java.