sqrt2 * the eighth root of 2