Exact iterates [in iterated maps] For any integer a the n th iterate of x  FractionalPart[a x] can be written as FractionalPart[a n x] , or equivalently 1/2 - ArcTan[Cot[a n π x]]/ π .