A couple of months ago, Julian found the first half of this identity for the (self avoiding) "median curve" <http://gosper.org/dragmed.png> of the usual dyadic rational sweep over 2^k+1 points. 1/2 (dragun[2^-k n] + dragun[2^-k (1 + n)]) == dragun[2^-k (1/2 - 1/4 (-1)^(1 + n) + n)] == dragun[2^(-3 - k) (-4 + 8 (1 + n) + Sqrt[2] Cos[1/4 (1 + n) π] - 2 Cos[1/2 (1 + n) π] - Sqrt[2] Cos[3/4 (1 + n)π] - (2 + Sqrt[2]) Sin[1/4 (1 + n) π] + 2 Sin[1/2 (1 + n) π] - (-2 + Sqrt[2]) Sin[3/4 (1 + n) π])] I just "conjectured" this 2nd half. The Heighway function never sees the trigs and radicals, which are artifacts of a period 8 perturbation of the sweep parameter. Mandelbrot seemed slightly embarrassed by his kludgy averaging|smoothing recipe for self avoidance. I'll bet he would have been pleased to see it fall out of these simple formulas. Though not nearly as pleased as just being able to exactly evaluate continuous fractal curves anywhere on the continuum. It turns out that the (self-avoidng) median curve of the Terdragon <http://gosper.org/Terdmed.png> is identical to merely phase shifting it by half a step. It's possible that this is a new theorem, since it's not obvious how to take half a step on a triadic fractal. But it's hard to find a nice sampling pattern for the median <http://gosper.org/Terdshftmed.png> curve of the median curve <http://gosper.org/Terdshftmed.png>, because all its points are double! Leaving you with an exponential search (over the two-valued inverses) for a simple pattern. —rwg