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