integrate 4*r^3*sin(f)*cos(f)*log(r) for f from 0 to pi/4, r from 0 to 1/cos(f)