(4 + subfactorial(√4))! + 4!! * !4