∫ log(sin x) dx