arsinhsqrtx2 2x dx