⁴Result was taking too long for current tolerance. New result was found for another tolerance below.