Acid on acid to Ackermann function