In this case, as someone on Lesswrong pointed out, religious beliefs are a special category that people have historically proved adept at compartmentalizing so they don't get in the way of day-to-day life. As long as the algorithm constently outputs correct results, the fact that it includes unnecessary steps is only a small worry, not a big one.