Factor (8x^3+1)