exponential based symbolic algebra