Find a closed formula for if