Area of a regular octagon (source code)

= Area of a regular octagon
{wiki}

A regular octagon of side length s has area 2(1+sqrt(2))s^2.