1/2 sin (2tan^(-1)x)