Tricky Integral — $int_0^1 sqrtx^2-4x+3 arcsin(x)~dx$Probability that three independent uniform $(0,1)$ random variables can form a triangleDefinite Integral $int_0^rarcsinleft(fracsqrtr^2-x^2R^2right)dx$Integral $int_0^infty frac1(alpha x^2 + 1) left(- 2 sqrtfrac x^2x^2+1+2 x+pi right) , dx$Closed Form for $int_0^1 fraclog(x)sqrt1-x^2sqrtx^2+2+2sqrt2dx$Integral $int_0^1 log frac1+ax1-axfracdxxsqrt1-x^2=piarcsin a$Closed-form of integral $int_0^1 int_0^1 fracarcsinleft(sqrt1-ssqrtyright)sqrt1-y cdot (sy-y+1),ds,dy $An integral by O. Furdui $int_0^1 log^2(sqrt1+x-sqrt1-x) dx$How to solve this definite integral $int_0^1fracat+bsqrtct^2+dt+farctan(fracgt+hsqrtct^2+dt+f)dt$Integration giving $arcsin x$ by a unique method: $sin^-1t=int_0^tfracdxsqrt1-x^2$Integral $int_0^fracpi2 arcsin(sqrtsin x) dx$Calculating improper integral $intlimits_0^1 fracarcsin(x)sqrt1-x^2,dx$
Why not increase contact surface when reentering the atmosphere?
Proof of work - lottery approach
Is it appropriate to ask a job candidate if we can record their interview?
Why Were Madagascar and New Zealand Discovered So Late?
Lay out the Carpet
How does Loki do this?
Is the destination of a commercial flight important for the pilot?
What is paid subscription needed for in Mortal Kombat 11?
Large drywall patch supports
Is this apparent Class Action settlement a spam message?
Purchasing a ticket for someone else in another country?
How did Arya survive the stabbing?
Roman Numeral Treatment of Suspensions
How to pronounce the slash sign
What is the intuitive meaning of having a linear relationship between the logs of two variables?
Would a high gravity rocky planet be guaranteed to have an atmosphere?
Tiptoe or tiphoof? Adjusting words to better fit fantasy races
Inappropriate reference requests from Journal reviewers
Class Action - which options I have?
Return the Closest Prime Number
What does "I’d sit this one out, Cap," imply or mean in the context?
Short story about space worker geeks who zone out by 'listening' to radiation from stars
Is exact Kanji stroke length important?
Is there a korbon needed for conversion?
Tricky Integral — $int_0^1 sqrtx^2-4x+3 arcsin(x)~dx$
Probability that three independent uniform $(0,1)$ random variables can form a triangleDefinite Integral $int_0^rarcsinleft(fracsqrtr^2-x^2R^2right)dx$Integral $int_0^infty frac1(alpha x^2 + 1) left(- 2 sqrtfrac x^2x^2+1+2 x+pi right) , dx$Closed Form for $int_0^1 fraclog(x)sqrt1-x^2sqrtx^2+2+2sqrt2dx$Integral $int_0^1 log frac1+ax1-axfracdxxsqrt1-x^2=piarcsin a$Closed-form of integral $int_0^1 int_0^1 fracarcsinleft(sqrt1-ssqrtyright)sqrt1-y cdot (sy-y+1),ds,dy $An integral by O. Furdui $int_0^1 log^2(sqrt1+x-sqrt1-x) dx$How to solve this definite integral $int_0^1fracat+bsqrtct^2+dt+farctan(fracgt+hsqrtct^2+dt+f)dt$Integration giving $arcsin x$ by a unique method: $sin^-1t=int_0^tfracdxsqrt1-x^2$Integral $int_0^fracpi2 arcsin(sqrtsin x) dx$Calculating improper integral $intlimits_0^1 fracarcsin(x)sqrt1-x^2,dx$
$begingroup$
TL;DR: I can't get a closed form for the integral below.
$$ int_0^1 sqrtx^2-4x+3 arcsin(x)~dx $$
I got an interesting question from a coworker a while ago:
Question:
The quantities $a$, $b$, and $c$ are chosen uniformly and independently from $[0, 1]$.
a) What is the probability a triangle can be constructed with $a$, $b$, and $c$ as side lengths?
b) Given we can form such a triangle, what is its expected area?
I can do a) pretty easily -- each constraint like $a < b + c$ cuts off a corner of the cube with area $1/6$, and the cut-off bits are disjoint, so the remaining area is $1/2$.
Part b) is where things get hairy. I can reduce the problem down to a single integral. I feel like it should be expressible in terms of known constants, though I admit I have no good reason to believe this.
$$
frac340 int_0^1 x sqrt3-4x+x^2 left( sqrt1 - x^2 + fracarcsinxx right)~dx
$$
That can be split into two parts:
$$
frac340 int_0^1 x sqrt(3-4x+x^2)(1 - x^2)~dx + frac340 int_0^1 sqrt3-4x+x^2 arcsin(x)~dx
$$
The first part can be solved exactly.
$$
beginalign*
int_0^1 x sqrt(3-4x+x^2)(1 - x^2)~dx &= int_0^1 x sqrt(3-x)(1-x)(1-x)(1+x)~dx \
&= int_0^1 x(1-x) sqrt(3-x)(1+x)~dx \
&= frac112 (32 - 9 sqrt3 - 4pi) textrm by Mathematica
endalign*
$$
The second part is still pretty stubborn.
Mathematica tells me the integral (without the 3/40 constant) is approximately 0.452854, but doesn't given an exact form. Does anyone have any ideas how to evaluate this further?
integration definite-integrals
$endgroup$
|
show 8 more comments
$begingroup$
TL;DR: I can't get a closed form for the integral below.
$$ int_0^1 sqrtx^2-4x+3 arcsin(x)~dx $$
I got an interesting question from a coworker a while ago:
Question:
The quantities $a$, $b$, and $c$ are chosen uniformly and independently from $[0, 1]$.
a) What is the probability a triangle can be constructed with $a$, $b$, and $c$ as side lengths?
b) Given we can form such a triangle, what is its expected area?
I can do a) pretty easily -- each constraint like $a < b + c$ cuts off a corner of the cube with area $1/6$, and the cut-off bits are disjoint, so the remaining area is $1/2$.
Part b) is where things get hairy. I can reduce the problem down to a single integral. I feel like it should be expressible in terms of known constants, though I admit I have no good reason to believe this.
$$
frac340 int_0^1 x sqrt3-4x+x^2 left( sqrt1 - x^2 + fracarcsinxx right)~dx
$$
That can be split into two parts:
$$
frac340 int_0^1 x sqrt(3-4x+x^2)(1 - x^2)~dx + frac340 int_0^1 sqrt3-4x+x^2 arcsin(x)~dx
$$
The first part can be solved exactly.
$$
beginalign*
int_0^1 x sqrt(3-4x+x^2)(1 - x^2)~dx &= int_0^1 x sqrt(3-x)(1-x)(1-x)(1+x)~dx \
&= int_0^1 x(1-x) sqrt(3-x)(1+x)~dx \
&= frac112 (32 - 9 sqrt3 - 4pi) textrm by Mathematica
endalign*
$$
The second part is still pretty stubborn.
Mathematica tells me the integral (without the 3/40 constant) is approximately 0.452854, but doesn't given an exact form. Does anyone have any ideas how to evaluate this further?
integration definite-integrals
$endgroup$
$begingroup$
math.stackexchange.com/questions/253893/…
$endgroup$
– John Wayland Bales
Mar 24 at 21:56
1
$begingroup$
@GReyes This was obviously already done. You can check the expression for the final integral.
$endgroup$
– user
Mar 24 at 22:27
1
$begingroup$
So what is the question? The textpaste link doesn't work, by the way ...
$endgroup$
– Math-fun
2 days ago
1
$begingroup$
@Math-fun I guess to evaluate the, most likely, non-elementary integral. The link works at least for me.
$endgroup$
– mrtaurho
2 days ago
4
$begingroup$
With the help of Mathematica I found that $int_0^1 sqrtx^2-4x+3 arcsin(x)~dx$ conjecturally evaluates to $$-2 G+frac12 i left(textLi_2left(frac-i+sqrt3sqrt3+1right)-textLi_2left(fraci+sqrt3sqrt3+1right)+textLi_2left(frac1-i(2-i)+sqrt3right)-textLi_2left(frac1+i(2+i)+sqrt3right)right)-frac7 sqrt34+fracpi 3+3-frac112 pi log left(14-8 sqrt3right),$$ where G is Catalan's Constant. The hope is that this ugly expression can be simplified further.
$endgroup$
– James Arathoon
2 days ago
|
show 8 more comments
$begingroup$
TL;DR: I can't get a closed form for the integral below.
$$ int_0^1 sqrtx^2-4x+3 arcsin(x)~dx $$
I got an interesting question from a coworker a while ago:
Question:
The quantities $a$, $b$, and $c$ are chosen uniformly and independently from $[0, 1]$.
a) What is the probability a triangle can be constructed with $a$, $b$, and $c$ as side lengths?
b) Given we can form such a triangle, what is its expected area?
I can do a) pretty easily -- each constraint like $a < b + c$ cuts off a corner of the cube with area $1/6$, and the cut-off bits are disjoint, so the remaining area is $1/2$.
Part b) is where things get hairy. I can reduce the problem down to a single integral. I feel like it should be expressible in terms of known constants, though I admit I have no good reason to believe this.
$$
frac340 int_0^1 x sqrt3-4x+x^2 left( sqrt1 - x^2 + fracarcsinxx right)~dx
$$
That can be split into two parts:
$$
frac340 int_0^1 x sqrt(3-4x+x^2)(1 - x^2)~dx + frac340 int_0^1 sqrt3-4x+x^2 arcsin(x)~dx
$$
The first part can be solved exactly.
$$
beginalign*
int_0^1 x sqrt(3-4x+x^2)(1 - x^2)~dx &= int_0^1 x sqrt(3-x)(1-x)(1-x)(1+x)~dx \
&= int_0^1 x(1-x) sqrt(3-x)(1+x)~dx \
&= frac112 (32 - 9 sqrt3 - 4pi) textrm by Mathematica
endalign*
$$
The second part is still pretty stubborn.
Mathematica tells me the integral (without the 3/40 constant) is approximately 0.452854, but doesn't given an exact form. Does anyone have any ideas how to evaluate this further?
integration definite-integrals
$endgroup$
TL;DR: I can't get a closed form for the integral below.
$$ int_0^1 sqrtx^2-4x+3 arcsin(x)~dx $$
I got an interesting question from a coworker a while ago:
Question:
The quantities $a$, $b$, and $c$ are chosen uniformly and independently from $[0, 1]$.
a) What is the probability a triangle can be constructed with $a$, $b$, and $c$ as side lengths?
b) Given we can form such a triangle, what is its expected area?
I can do a) pretty easily -- each constraint like $a < b + c$ cuts off a corner of the cube with area $1/6$, and the cut-off bits are disjoint, so the remaining area is $1/2$.
Part b) is where things get hairy. I can reduce the problem down to a single integral. I feel like it should be expressible in terms of known constants, though I admit I have no good reason to believe this.
$$
frac340 int_0^1 x sqrt3-4x+x^2 left( sqrt1 - x^2 + fracarcsinxx right)~dx
$$
That can be split into two parts:
$$
frac340 int_0^1 x sqrt(3-4x+x^2)(1 - x^2)~dx + frac340 int_0^1 sqrt3-4x+x^2 arcsin(x)~dx
$$
The first part can be solved exactly.
$$
beginalign*
int_0^1 x sqrt(3-4x+x^2)(1 - x^2)~dx &= int_0^1 x sqrt(3-x)(1-x)(1-x)(1+x)~dx \
&= int_0^1 x(1-x) sqrt(3-x)(1+x)~dx \
&= frac112 (32 - 9 sqrt3 - 4pi) textrm by Mathematica
endalign*
$$
The second part is still pretty stubborn.
Mathematica tells me the integral (without the 3/40 constant) is approximately 0.452854, but doesn't given an exact form. Does anyone have any ideas how to evaluate this further?
integration definite-integrals
integration definite-integrals
edited Mar 25 at 4:31
Henry Swanson
asked Mar 24 at 21:46
Henry SwansonHenry Swanson
10.1k12355
10.1k12355
$begingroup$
math.stackexchange.com/questions/253893/…
$endgroup$
– John Wayland Bales
Mar 24 at 21:56
1
$begingroup$
@GReyes This was obviously already done. You can check the expression for the final integral.
$endgroup$
– user
Mar 24 at 22:27
1
$begingroup$
So what is the question? The textpaste link doesn't work, by the way ...
$endgroup$
– Math-fun
2 days ago
1
$begingroup$
@Math-fun I guess to evaluate the, most likely, non-elementary integral. The link works at least for me.
$endgroup$
– mrtaurho
2 days ago
4
$begingroup$
With the help of Mathematica I found that $int_0^1 sqrtx^2-4x+3 arcsin(x)~dx$ conjecturally evaluates to $$-2 G+frac12 i left(textLi_2left(frac-i+sqrt3sqrt3+1right)-textLi_2left(fraci+sqrt3sqrt3+1right)+textLi_2left(frac1-i(2-i)+sqrt3right)-textLi_2left(frac1+i(2+i)+sqrt3right)right)-frac7 sqrt34+fracpi 3+3-frac112 pi log left(14-8 sqrt3right),$$ where G is Catalan's Constant. The hope is that this ugly expression can be simplified further.
$endgroup$
– James Arathoon
2 days ago
|
show 8 more comments
$begingroup$
math.stackexchange.com/questions/253893/…
$endgroup$
– John Wayland Bales
Mar 24 at 21:56
1
$begingroup$
@GReyes This was obviously already done. You can check the expression for the final integral.
$endgroup$
– user
Mar 24 at 22:27
1
$begingroup$
So what is the question? The textpaste link doesn't work, by the way ...
$endgroup$
– Math-fun
2 days ago
1
$begingroup$
@Math-fun I guess to evaluate the, most likely, non-elementary integral. The link works at least for me.
$endgroup$
– mrtaurho
2 days ago
4
$begingroup$
With the help of Mathematica I found that $int_0^1 sqrtx^2-4x+3 arcsin(x)~dx$ conjecturally evaluates to $$-2 G+frac12 i left(textLi_2left(frac-i+sqrt3sqrt3+1right)-textLi_2left(fraci+sqrt3sqrt3+1right)+textLi_2left(frac1-i(2-i)+sqrt3right)-textLi_2left(frac1+i(2+i)+sqrt3right)right)-frac7 sqrt34+fracpi 3+3-frac112 pi log left(14-8 sqrt3right),$$ where G is Catalan's Constant. The hope is that this ugly expression can be simplified further.
$endgroup$
– James Arathoon
2 days ago
$begingroup$
math.stackexchange.com/questions/253893/…
$endgroup$
– John Wayland Bales
Mar 24 at 21:56
$begingroup$
math.stackexchange.com/questions/253893/…
$endgroup$
– John Wayland Bales
Mar 24 at 21:56
1
1
$begingroup$
@GReyes This was obviously already done. You can check the expression for the final integral.
$endgroup$
– user
Mar 24 at 22:27
$begingroup$
@GReyes This was obviously already done. You can check the expression for the final integral.
$endgroup$
– user
Mar 24 at 22:27
1
1
$begingroup$
So what is the question? The textpaste link doesn't work, by the way ...
$endgroup$
– Math-fun
2 days ago
$begingroup$
So what is the question? The textpaste link doesn't work, by the way ...
$endgroup$
– Math-fun
2 days ago
1
1
$begingroup$
@Math-fun I guess to evaluate the, most likely, non-elementary integral. The link works at least for me.
$endgroup$
– mrtaurho
2 days ago
$begingroup$
@Math-fun I guess to evaluate the, most likely, non-elementary integral. The link works at least for me.
$endgroup$
– mrtaurho
2 days ago
4
4
$begingroup$
With the help of Mathematica I found that $int_0^1 sqrtx^2-4x+3 arcsin(x)~dx$ conjecturally evaluates to $$-2 G+frac12 i left(textLi_2left(frac-i+sqrt3sqrt3+1right)-textLi_2left(fraci+sqrt3sqrt3+1right)+textLi_2left(frac1-i(2-i)+sqrt3right)-textLi_2left(frac1+i(2+i)+sqrt3right)right)-frac7 sqrt34+fracpi 3+3-frac112 pi log left(14-8 sqrt3right),$$ where G is Catalan's Constant. The hope is that this ugly expression can be simplified further.
$endgroup$
– James Arathoon
2 days ago
$begingroup$
With the help of Mathematica I found that $int_0^1 sqrtx^2-4x+3 arcsin(x)~dx$ conjecturally evaluates to $$-2 G+frac12 i left(textLi_2left(frac-i+sqrt3sqrt3+1right)-textLi_2left(fraci+sqrt3sqrt3+1right)+textLi_2left(frac1-i(2-i)+sqrt3right)-textLi_2left(frac1+i(2+i)+sqrt3right)right)-frac7 sqrt34+fracpi 3+3-frac112 pi log left(14-8 sqrt3right),$$ where G is Catalan's Constant. The hope is that this ugly expression can be simplified further.
$endgroup$
– James Arathoon
2 days ago
|
show 8 more comments
1 Answer
1
active
oldest
votes
$begingroup$
This is not an answer.
We could use
$$sqrtx^2-4x+3=sum_n=0^infty a_n, x^n$$ with
$$a_n=frac2(2 n-3), a_n-1-(n-3), a_n-23 n qquad textwhereqquad a_0=sqrt3qquad a_1=-frac2sqrt3$$ and
$$int_0^1 x^narcsin(x),dx=fracpi 2( n+1)-fracsqrtpi ,,Gamma left(fracn2+1right)(n+1)^2
,, Gamma left(fracn+12right)$$ but the convergence is very slow.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3161113%2ftricky-integral-int-01-sqrtx2-4x3-arcsinxdx%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
This is not an answer.
We could use
$$sqrtx^2-4x+3=sum_n=0^infty a_n, x^n$$ with
$$a_n=frac2(2 n-3), a_n-1-(n-3), a_n-23 n qquad textwhereqquad a_0=sqrt3qquad a_1=-frac2sqrt3$$ and
$$int_0^1 x^narcsin(x),dx=fracpi 2( n+1)-fracsqrtpi ,,Gamma left(fracn2+1right)(n+1)^2
,, Gamma left(fracn+12right)$$ but the convergence is very slow.
$endgroup$
add a comment |
$begingroup$
This is not an answer.
We could use
$$sqrtx^2-4x+3=sum_n=0^infty a_n, x^n$$ with
$$a_n=frac2(2 n-3), a_n-1-(n-3), a_n-23 n qquad textwhereqquad a_0=sqrt3qquad a_1=-frac2sqrt3$$ and
$$int_0^1 x^narcsin(x),dx=fracpi 2( n+1)-fracsqrtpi ,,Gamma left(fracn2+1right)(n+1)^2
,, Gamma left(fracn+12right)$$ but the convergence is very slow.
$endgroup$
add a comment |
$begingroup$
This is not an answer.
We could use
$$sqrtx^2-4x+3=sum_n=0^infty a_n, x^n$$ with
$$a_n=frac2(2 n-3), a_n-1-(n-3), a_n-23 n qquad textwhereqquad a_0=sqrt3qquad a_1=-frac2sqrt3$$ and
$$int_0^1 x^narcsin(x),dx=fracpi 2( n+1)-fracsqrtpi ,,Gamma left(fracn2+1right)(n+1)^2
,, Gamma left(fracn+12right)$$ but the convergence is very slow.
$endgroup$
This is not an answer.
We could use
$$sqrtx^2-4x+3=sum_n=0^infty a_n, x^n$$ with
$$a_n=frac2(2 n-3), a_n-1-(n-3), a_n-23 n qquad textwhereqquad a_0=sqrt3qquad a_1=-frac2sqrt3$$ and
$$int_0^1 x^narcsin(x),dx=fracpi 2( n+1)-fracsqrtpi ,,Gamma left(fracn2+1right)(n+1)^2
,, Gamma left(fracn+12right)$$ but the convergence is very slow.
answered 22 hours ago
Claude LeiboviciClaude Leibovici
125k1158135
125k1158135
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3161113%2ftricky-integral-int-01-sqrtx2-4x3-arcsinxdx%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
$begingroup$
math.stackexchange.com/questions/253893/…
$endgroup$
– John Wayland Bales
Mar 24 at 21:56
1
$begingroup$
@GReyes This was obviously already done. You can check the expression for the final integral.
$endgroup$
– user
Mar 24 at 22:27
1
$begingroup$
So what is the question? The textpaste link doesn't work, by the way ...
$endgroup$
– Math-fun
2 days ago
1
$begingroup$
@Math-fun I guess to evaluate the, most likely, non-elementary integral. The link works at least for me.
$endgroup$
– mrtaurho
2 days ago
4
$begingroup$
With the help of Mathematica I found that $int_0^1 sqrtx^2-4x+3 arcsin(x)~dx$ conjecturally evaluates to $$-2 G+frac12 i left(textLi_2left(frac-i+sqrt3sqrt3+1right)-textLi_2left(fraci+sqrt3sqrt3+1right)+textLi_2left(frac1-i(2-i)+sqrt3right)-textLi_2left(frac1+i(2+i)+sqrt3right)right)-frac7 sqrt34+fracpi 3+3-frac112 pi log left(14-8 sqrt3right),$$ where G is Catalan's Constant. The hope is that this ugly expression can be simplified further.
$endgroup$
– James Arathoon
2 days ago