Power reducing formula for sine (sin^4(x))