Standard Cauchy distribution (source code)

= Standard Cauchy distribution
{c}

The standard Cauchy distribution is $\operatorname{Cauchy}(0,1)$, with density $1/[\pi(1+x^2)]$ and <characteristic function> $e^{-|t|}$.