Ackermann (√(!4), √(!4)) + 4! - subfactorial(√4)