Finding all solutions of piecewise-linear circuits with high approximation accuracy