ϕ⁡(x)=exp⁡exp⁡⋯⁢exp⁡(x-⌊x⌋),