Logarithmic Equation Simplification