修好网后，出题人和灵梦准备去慧音的教室去找⑨的麻烦，正碰到慧音在给⑨考试 因为幻想乡存在紫妈牌互联网，所以外部世界有个叫GPT什么的东西，幻想乡也是可以用滴！于是⑨偷偷使用了GPT进行作答，却发现一道题都答不对。原来，慧音实现把所有GPT能做对的备用试题都换掉了！于是⑨只好靠自己作答。

这是一道小学二年级知识——自适应辛普森积分的模板题。⑨在一瞬间就算出了答案，相信你也可以在一瞬间算出答案。

如图所示，有长方形 ABCD，其中 AB=x,AD=2x，在 AD 中点为圆心作半圆与 BC 交于点 E，连接 BD 与圆交于点 F，求阴影部分 BEF 的面积。

输入一行一个整数 x(1\le x\le10^3)。

输出一行一个实数，代表你的答案。你的答案与标准答案的相对误差或绝对误差小于 10^{-3} 时被视作是正确的。