The algorithm could be simple. Evaluating all failure cases, analysing them, and getting the whole lot approved certainly isn't simple.