【问题描述】编程序输入x的值，计算y=2x3-3的值，数据类型按双精度考虑。 【输入形式】输入一个数 【输出形式】输出函数值 【样例输入】2 【样例输出】13.000000 【样例说明】 【评分标准】用c语言编写

下面是代码实现：

#include <stdio.h>
#include <math.h>

int main() {
    double x, y;
    scanf("%lf", &x);
    y = 2 * pow(x, 3) - 3;
    printf("%.6lf", y);
    return 0;
}

首先使用`scanf()`函数输入一个双精度浮点型变量`x`，然后使用`pow()`函数计算$2x^3$，最后减去3得到函数的值，将结果存储在双精度浮点型变量`y`中。最后使用`printf()`函数输出`y`的值，要求保留小数点后6位，使用格式控制符“%.6lf”。