How do you evaluate #pi int_0^pi sin(x) dx #?