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