[math-fun] The only explicit formula for the Heighway Dragon function,