Calculating pi with sine of half angles