pi2 0arctan12sinx dx