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