Update Taylor-Bernstein inner approximation algorithm

Edit the current record, upload a new representative image if needed, and submit it to review.