\frac{1235871046525617}{668848590288296}*\sqrt{2}