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