fix bugs, add benchmarks for simplifying method. Equation solver should be significantly improved