integral t^9/((1 + t)*(1 + t^6 + t^12)) from 0 to infty