(π / 2) * sin((π / 2 + 0) / 2)