帮忙计算一下SIN(X)*SIN(X)*TAN(X)从0到α的的定积分,最好有推导公式,