I made a new attempt at Allan Variance as a new definition in domath under allan_var().