integral 0 to pi x tan(x)