v' = t sin(2v + t) - 1/2, v(0) = pi/2