设函数y=∫[上限3x,下限0]ln(1+t∧2)dt,求dy