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