Cosine-exponential Brownian local martingale (source code)

= Cosine-exponential Brownian local martingale
{title2=$Y_t=e^{W_t}\cos B_t,\quad[Y]_t=\int_0^te^{2W_s}\,ds$}

For independent standard <Brownian motions> $B,W$, <Itô formula> gives $dY=e^W\cos B\,dW-e^W\sin B\,dB$: the two second-order drifts cancel. Independence gives zero cross <quadratic covariation>, so the displayed bracket follows. The process itself is not Brownian because its bracket is random. Its inverse-bracket time change is Brownian motion starting at one, in the time-changed <filtration>; subtracting one gives standard Brownian motion. The <Divergence of a driftless Brownian exponential clock> guarantees that the inverse is finite at every new time.