integral of sin(arctan(b sin x)) dx