Easing equation for a circular (sqrt(1-t^2)) ease-out, decelerating from zero velocity. Functor edition.