(d/dt)((1 / √2)·arctan[ (t^2 - 1) / (t·√2) ] + (1 / √8)·ln[ (t^2 - t·√2 + 1) / (t^2 + t·√2 + 1) ])