solve x = t /tan(t) for t