derivative of 1 / 2 * a^2 * sin(x) * sin(pi - alpha - x) / sin(alpha)