Results of Exponential, Logarithmic, Sine, and Cosine Integrals: Difference between revisions
Jump to navigation
Jump to search
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
||
Line 7: | Line 7: | ||
| [https://dlmf.nist.gov/6.2.E2 6.2.E2] || [[Item:Q2212|<math>\expintE@{z} = e^{-z}\int_{0}^{\infty}\frac{e^{-t}}{t+z}\diff{t}</math>]] || <code>Ei(z) = exp(- z)*int((exp(- t))/(t + z), t = 0..infinity)</code> || <code>ExpIntegralE[1, z] == Exp[- z]*Integrate[Divide[Exp[- t],t + z], {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>.8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.2.E2 6.2.E2] || [[Item:Q2212|<math>\expintE@{z} = e^{-z}\int_{0}^{\infty}\frac{e^{-t}}{t+z}\diff{t}</math>]] || <code>Ei(z) = exp(- z)*int((exp(- t))/(t + z), t = 0..infinity)</code> || <code>ExpIntegralE[1, z] == Exp[- z]*Integrate[Divide[Exp[- t],t + z], {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>.8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.2.E3 6.2.E3] || [[Item:Q2213|<math>\expintEin@{z} = \int_{0}^{z}\frac{1-e^{-t}}{t}\diff{t}</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] + Ln[z] + EulerGamma == Integrate[Divide[1 - Exp[- t],t], {t, 0, z}, GenerateConditions->None]</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, -0.5235987755982988], Ln[Complex[0.8660254037844387, 0.49999999999999994]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, -2.0943951023931953], Ln[Complex[-0.4999999999999998, 0.8660254037844387]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.2.E3 6.2.E3] || [[Item:Q2213|<math>\expintEin@{z} = \int_{0}^{z}\frac{1-e^{-t}}{t}\diff{t}</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] + Ln[z] + EulerGamma == Integrate[Divide[1 - Exp[- t],t], {t, 0, z}, GenerateConditions->None]</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, -0.5235987755982988], Ln[Complex[0.8660254037844387, 0.49999999999999994]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, -2.0943951023931953], Ln[Complex[-0.4999999999999998, 0.8660254037844387]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.2.E4 6.2.E4] || [[Item:Q2214|<math>\expintE@{z} = \expintEin@{z}-\ln@@{z}-\EulerConstant</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] == ExpIntegralE[1, z] + Ln[z] + EulerGamma - Log[z]- EulerGamma</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, 0.5235987755982988], Times[-1.0, Ln[Complex[0.8660254037844387, 0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, 2.0943951023931953], Times[-1.0, Ln[Complex[-0.4999999999999998, 0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.2.E4 6.2.E4] || [[Item:Q2214|<math>\expintE@{z} = \expintEin@{z}-\ln@@{z}-\EulerConstant</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] == ExpIntegralE[1, z] + Ln[z] + EulerGamma - Log[z]- EulerGamma</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, 0.5235987755982988], Times[-1.0, Ln[Complex[0.8660254037844387, 0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, 2.0943951023931953], Times[-1.0, Ln[Complex[-0.4999999999999998, 0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.2.E6 6.2.E6] || [[Item:Q2216|<math>\expintEi@{-x} = -\int_{x}^{\infty}\frac{e^{-t}}{t}\diff{t}</math>]] || <code>Error</code> || <code>ExpIntegralEi[- x] == - Integrate[Divide[Exp[- t],t], {t, x, Infinity}, GenerateConditions->None]</code> || Error || Failure || Skip - symbolical successful subtest || Successful [Tested: 3] | | [https://dlmf.nist.gov/6.2.E6 6.2.E6] || [[Item:Q2216|<math>\expintEi@{-x} = -\int_{x}^{\infty}\frac{e^{-t}}{t}\diff{t}</math>]] || <code>Error</code> || <code>ExpIntegralEi[- x] == - Integrate[Divide[Exp[- t],t], {t, x, Infinity}, GenerateConditions->None]</code> || Missing Macro Error || Failure || Skip - symbolical successful subtest || Successful [Tested: 3] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.2.E6 6.2.E6] || [[Item:Q2216|<math>-\int_{x}^{\infty}\frac{e^{-t}}{t}\diff{t} = -\expintE@{x}</math>]] || <code>- int((exp(- t))/(t), t = x..infinity) = - Ei(x)</code> || <code>- Integrate[Divide[Exp[- t],t], {t, x, Infinity}, GenerateConditions->None] == - ExpIntegralE[1, x]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>3/3]: [[3.201265867 <- {x = 1.5}</code><br><code>-.1055536899 <- {x = .5}</code><br></div></div> || Successful [Tested: 3] | | [https://dlmf.nist.gov/6.2.E6 6.2.E6] || [[Item:Q2216|<math>-\int_{x}^{\infty}\frac{e^{-t}}{t}\diff{t} = -\expintE@{x}</math>]] || <code>- int((exp(- t))/(t), t = x..infinity) = - Ei(x)</code> || <code>- Integrate[Divide[Exp[- t],t], {t, x, Infinity}, GenerateConditions->None] == - ExpIntegralE[1, x]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>3/3]: [[3.201265867 <- {x = 1.5}</code><br><code>-.1055536899 <- {x = .5}</code><br></div></div> || Successful [Tested: 3] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.2.E7 6.2.E7] || [[Item:Q2217|<math>\expintEi@{+ x} = -\expintEin@{- x}+\ln@@{x}+\EulerConstant</math>]] || <code>Error</code> || <code>ExpIntegralEi[+ x] == - ExpIntegralE[1, - x] + Ln[- x] + EulerGamma + Log[x]+ EulerGamma</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Plus[Complex[-1.5598964379112301, -3.141592653589793], Times[-1.0, Ln[-1.5]]] <- {Rule[x, 1.5]}</code><br><code>Plus[Complex[-0.46128414924312044, -3.141592653589793], Times[-1.0, Ln[-0.5]]] <- {Rule[x, 0.5]}</code><br></div></div> | | [https://dlmf.nist.gov/6.2.E7 6.2.E7] || [[Item:Q2217|<math>\expintEi@{+ x} = -\expintEin@{- x}+\ln@@{x}+\EulerConstant</math>]] || <code>Error</code> || <code>ExpIntegralEi[+ x] == - ExpIntegralE[1, - x] + Ln[- x] + EulerGamma + Log[x]+ EulerGamma</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Plus[Complex[-1.5598964379112301, -3.141592653589793], Times[-1.0, Ln[-1.5]]] <- {Rule[x, 1.5]}</code><br><code>Plus[Complex[-0.46128414924312044, -3.141592653589793], Times[-1.0, Ln[-0.5]]] <- {Rule[x, 0.5]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.2.E7 6.2.E7] || [[Item:Q2217|<math>\expintEi@{- x} = -\expintEin@{+ x}+\ln@@{x}+\EulerConstant</math>]] || <code>Error</code> || <code>ExpIntegralEi[- x] == - ExpIntegralE[1, + x] + Ln[+ x] + EulerGamma + Log[x]+ EulerGamma</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Plus[-1.5598964379112301, Times[-1.0, Ln[1.5]]] <- {Rule[x, 1.5]}</code><br><code>Plus[-0.46128414924312044, Times[-1.0, Ln[0.5]]] <- {Rule[x, 0.5]}</code><br></div></div> | | [https://dlmf.nist.gov/6.2.E7 6.2.E7] || [[Item:Q2217|<math>\expintEi@{- x} = -\expintEin@{+ x}+\ln@@{x}+\EulerConstant</math>]] || <code>Error</code> || <code>ExpIntegralEi[- x] == - ExpIntegralE[1, + x] + Ln[+ x] + EulerGamma + Log[x]+ EulerGamma</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Plus[-1.5598964379112301, Times[-1.0, Ln[1.5]]] <- {Rule[x, 1.5]}</code><br><code>Plus[-0.46128414924312044, Times[-1.0, Ln[0.5]]] <- {Rule[x, 0.5]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.2.E9 6.2.E9] || [[Item:Q2219|<math>\sinint@{z} = \int_{0}^{z}\frac{\sin@@{t}}{t}\diff{t}</math>]] || <code>Si(z) = int((sin(t))/(t), t = 0..z)</code> || <code>SinIntegral[z] == Integrate[Divide[Sin[t],t], {t, 0, z}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.2.E9 6.2.E9] || [[Item:Q2219|<math>\sinint@{z} = \int_{0}^{z}\frac{\sin@@{t}}{t}\diff{t}</math>]] || <code>Si(z) = int((sin(t))/(t), t = 0..z)</code> || <code>SinIntegral[z] == Integrate[Divide[Sin[t],t], {t, 0, z}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | ||
Line 24: | Line 24: | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.2.E10 6.2.E10] || [[Item:Q2220|<math>-\int_{z}^{\infty}\frac{\sin@@{t}}{t}\diff{t} = \sinint@{z}-\tfrac{1}{2}\pi</math>]] || <code>- int((sin(t))/(t), t = z..infinity) = Si(z)-(1)/(2)*Pi</code> || <code>- Integrate[Divide[Sin[t],t], {t, z, Infinity}, GenerateConditions->None] == SinIntegral[z]-Divide[1,2]*Pi</code> || Successful || Successful || - || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.2.E10 6.2.E10] || [[Item:Q2220|<math>-\int_{z}^{\infty}\frac{\sin@@{t}}{t}\diff{t} = \sinint@{z}-\tfrac{1}{2}\pi</math>]] || <code>- int((sin(t))/(t), t = z..infinity) = Si(z)-(1)/(2)*Pi</code> || <code>- Integrate[Divide[Sin[t],t], {t, z, Infinity}, GenerateConditions->None] == SinIntegral[z]-Divide[1,2]*Pi</code> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |||
| [https://dlmf.nist.gov/6.2.E11 6.2.E11] || [[Item:Q2221|<math>\cosint(z) = -\int_{z}^{\infty}\frac{\cos@@{t}}{t}\diff{t}</math>]] || <code>Ci((z) ) = - int((cos(t))/(t), t = z..infinity)</code> || <code>CosIntegral[(z) ] == - Integrate[Divide[Cos[t],t], {t, z, Infinity}, GenerateConditions->None]</code> || Translation Error || Translation Error || - || - | |||
|- | |- | ||
| [https://dlmf.nist.gov/6.2#Ex1 6.2#Ex1] || [[Item:Q2224|<math>\lim_{x\to\infty}\sinint@{x} = \tfrac{1}{2}\pi</math>]] || <code>limit(Si(x), x = infinity) = (1)/(2)*Pi</code> || <code>Limit[SinIntegral[x], x -> Infinity, GenerateConditions->None] == Divide[1,2]*Pi</code> || Successful || Successful || - || Successful [Tested: 1] | | [https://dlmf.nist.gov/6.2#Ex1 6.2#Ex1] || [[Item:Q2224|<math>\lim_{x\to\infty}\sinint@{x} = \tfrac{1}{2}\pi</math>]] || <code>limit(Si(x), x = infinity) = (1)/(2)*Pi</code> || <code>Limit[SinIntegral[x], x -> Infinity, GenerateConditions->None] == Divide[1,2]*Pi</code> || Successful || Successful || - || Successful [Tested: 1] | ||
Line 33: | Line 35: | ||
| [https://dlmf.nist.gov/6.2.E16 6.2.E16] || [[Item:Q2227|<math>\coshint@{z} = \EulerConstant+\ln@@{z}+\int_{0}^{z}\frac{\cosh@@{t}-1}{t}\diff{t}</math>]] || <code>Chi(z) = gamma + ln(z)+ int((cosh(t)- 1)/(t), t = 0..z)</code> || <code>CoshIntegral[z] == EulerGamma + Log[z]+ Integrate[Divide[Cosh[t]- 1,t], {t, 0, z}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.2.E16 6.2.E16] || [[Item:Q2227|<math>\coshint@{z} = \EulerConstant+\ln@@{z}+\int_{0}^{z}\frac{\cosh@@{t}-1}{t}\diff{t}</math>]] || <code>Chi(z) = gamma + ln(z)+ int((cosh(t)- 1)/(t), t = 0..z)</code> || <code>CoshIntegral[z] == EulerGamma + Log[z]+ Integrate[Divide[Cosh[t]- 1,t], {t, 0, z}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.4.E1 6.4.E1] || [[Item:Q2234|<math>\expintE@{z} = \expintEin@{z}-\Ln@@{z}-\EulerConstant</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] == ExpIntegralE[1, z] + Ln[z] + EulerGamma - Log[z]- EulerGamma</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, 0.5235987755982988], Times[-1.0, Ln[Complex[0.8660254037844387, 0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, 2.0943951023931953], Times[-1.0, Ln[Complex[-0.4999999999999998, 0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.4.E1 6.4.E1] || [[Item:Q2234|<math>\expintE@{z} = \expintEin@{z}-\Ln@@{z}-\EulerConstant</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] == ExpIntegralE[1, z] + Ln[z] + EulerGamma - Log[z]- EulerGamma</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, 0.5235987755982988], Times[-1.0, Ln[Complex[0.8660254037844387, 0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, 2.0943951023931953], Times[-1.0, Ln[Complex[-0.4999999999999998, 0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.4.E2 6.4.E2] || [[Item:Q2235|<math>\expintE@{ze^{2m\pi i}} = \expintE@{z}-2m\pi i</math>]] || <code>Ei(z*exp(2*m*Pi*I)) = Ei(z)- 2*m*Pi*I</code> || <code>ExpIntegralE[1, z*Exp[2*m*Pi*I]] == ExpIntegralE[1, z]- 2*m*Pi*I</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [21 / 21]<div class="mw-collapsible-content"><code>21/21]: [[-.1e-8+6.283185310*I <- {z = 1/2*3^(1/2)+1/2*I, m = 1, m = 3}</code><br><code>-.6e-8+12.56637063*I <- {z = 1/2*3^(1/2)+1/2*I, m = 2, m = 3}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Complex[0.0, 18.84955592153876] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.0, 18.84955592153876] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.4.E2 6.4.E2] || [[Item:Q2235|<math>\expintE@{ze^{2m\pi i}} = \expintE@{z}-2m\pi i</math>]] || <code>Ei(z*exp(2*m*Pi*I)) = Ei(z)- 2*m*Pi*I</code> || <code>ExpIntegralE[1, z*Exp[2*m*Pi*I]] == ExpIntegralE[1, z]- 2*m*Pi*I</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [21 / 21]<div class="mw-collapsible-content"><code>21/21]: [[-.1e-8+6.283185310*I <- {z = 1/2*3^(1/2)+1/2*I, m = 1, m = 3}</code><br><code>-.6e-8+12.56637063*I <- {z = 1/2*3^(1/2)+1/2*I, m = 2, m = 3}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Complex[0.0, 18.84955592153876] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.0, 18.84955592153876] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.4.E3 6.4.E3] || [[Item:Q2236|<math>\expintE@{ze^{+\pi i}} = \expintEin@{-z}-\ln@@{z}-\EulerConstant-\pi i</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z*Exp[+ Pi*I]] == ExpIntegralE[1, - z] + Ln[- z] + EulerGamma - Log[z]- EulerGamma - Pi*I</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, 3.6651914291880923], Times[-1.0, Ln[Complex[-0.8660254037844387, -0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, 5.235987755982989], Times[-1.0, Ln[Complex[0.4999999999999998, -0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.4.E3 6.4.E3] || [[Item:Q2236|<math>\expintE@{ze^{+\pi i}} = \expintEin@{-z}-\ln@@{z}-\EulerConstant-\pi i</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z*Exp[+ Pi*I]] == ExpIntegralE[1, - z] + Ln[- z] + EulerGamma - Log[z]- EulerGamma - Pi*I</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, 3.6651914291880923], Times[-1.0, Ln[Complex[-0.8660254037844387, -0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, 5.235987755982989], Times[-1.0, Ln[Complex[0.4999999999999998, -0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.4.E3 6.4.E3] || [[Item:Q2236|<math>\expintE@{ze^{-\pi i}} = \expintEin@{-z}-\ln@@{z}-\EulerConstant+\pi i</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z*Exp[- Pi*I]] == ExpIntegralE[1, - z] + Ln[- z] + EulerGamma - Log[z]- EulerGamma + Pi*I</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, -2.6179938779914944], Times[-1.0, Ln[Complex[-0.8660254037844387, -0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, -1.0471975511965976], Times[-1.0, Ln[Complex[0.4999999999999998, -0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.4.E3 6.4.E3] || [[Item:Q2236|<math>\expintE@{ze^{-\pi i}} = \expintEin@{-z}-\ln@@{z}-\EulerConstant+\pi i</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z*Exp[- Pi*I]] == ExpIntegralE[1, - z] + Ln[- z] + EulerGamma - Log[z]- EulerGamma + Pi*I</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, -2.6179938779914944], Times[-1.0, Ln[Complex[-0.8660254037844387, -0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, -1.0471975511965976], Times[-1.0, Ln[Complex[0.4999999999999998, -0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.4.E4 6.4.E4] || [[Item:Q2237|<math>\cosint@{ze^{+\pi i}} = +\pi i+\cosint@{z}</math>]] || <code>Ci(z*exp(+ Pi*I)) = + Pi*I + Ci(z)</code> || <code>CosIntegral[z*Exp[+ Pi*I]] == + Pi*I + CosIntegral[z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 7]<div class="mw-collapsible-content"><code>2/7]: [[0.-6.283185308*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>0.-6.283185308*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 7]<div class="mw-collapsible-content"><code>{Complex[0.0, -6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.0, -6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.4.E4 6.4.E4] || [[Item:Q2237|<math>\cosint@{ze^{+\pi i}} = +\pi i+\cosint@{z}</math>]] || <code>Ci(z*exp(+ Pi*I)) = + Pi*I + Ci(z)</code> || <code>CosIntegral[z*Exp[+ Pi*I]] == + Pi*I + CosIntegral[z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 7]<div class="mw-collapsible-content"><code>2/7]: [[0.-6.283185308*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>0.-6.283185308*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 7]<div class="mw-collapsible-content"><code>{Complex[0.0, -6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.0, -6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
Line 49: | Line 51: | ||
| [https://dlmf.nist.gov/6.4.E5 6.4.E5] || [[Item:Q2238|<math>\coshint@{ze^{-\pi i}} = -\pi i+\coshint@{z}</math>]] || <code>Chi(z*exp(- Pi*I)) = - Pi*I + Chi(z)</code> || <code>CoshIntegral[z*Exp[- Pi*I]] == - Pi*I + CoshIntegral[z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [5 / 7]<div class="mw-collapsible-content"><code>5/7]: [[0.+6.283185307*I <- {z = 1/2-1/2*I*3^(1/2)}</code><br><code>0.+6.283185308*I <- {z = -1/2*3^(1/2)-1/2*I}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [5 / 7]<div class="mw-collapsible-content"><code>{Complex[0.0, 6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</code><br><code>Complex[0.0, 6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.4.E5 6.4.E5] || [[Item:Q2238|<math>\coshint@{ze^{-\pi i}} = -\pi i+\coshint@{z}</math>]] || <code>Chi(z*exp(- Pi*I)) = - Pi*I + Chi(z)</code> || <code>CoshIntegral[z*Exp[- Pi*I]] == - Pi*I + CoshIntegral[z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [5 / 7]<div class="mw-collapsible-content"><code>5/7]: [[0.+6.283185307*I <- {z = 1/2-1/2*I*3^(1/2)}</code><br><code>0.+6.283185308*I <- {z = -1/2*3^(1/2)-1/2*I}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [5 / 7]<div class="mw-collapsible-content"><code>{Complex[0.0, 6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</code><br><code>Complex[0.0, 6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.5.E1 6.5.E1] || [[Item:Q2241|<math>\expintE@{-x+ i0} = -\expintEi@{x}- i\pi</math>]] || <code>Error</code> || <code>ExpIntegralE[1, - x + I*0] == - ExpIntegralEi[x]- I*Pi</code> || Error || Failure || - || Successful [Tested: 3] | | [https://dlmf.nist.gov/6.5.E1 6.5.E1] || [[Item:Q2241|<math>\expintE@{-x+ i0} = -\expintEi@{x}- i\pi</math>]] || <code>Error</code> || <code>ExpIntegralE[1, - x + I*0] == - ExpIntegralEi[x]- I*Pi</code> || Missing Macro Error || Failure || - || Successful [Tested: 3] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.5.E1 6.5.E1] || [[Item:Q2241|<math>\expintE@{-x- i0} = -\expintEi@{x}+ i\pi</math>]] || <code>Error</code> || <code>ExpIntegralE[1, - x - I*0] == - ExpIntegralEi[x]+ I*Pi</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Complex[0.0, -6.283185307179586] <- {Rule[x, 1.5]}</code><br><code>Complex[0.0, -6.283185307179586] <- {Rule[x, 0.5]}</code><br></div></div> | | [https://dlmf.nist.gov/6.5.E1 6.5.E1] || [[Item:Q2241|<math>\expintE@{-x- i0} = -\expintEi@{x}+ i\pi</math>]] || <code>Error</code> || <code>ExpIntegralE[1, - x - I*0] == - ExpIntegralEi[x]+ I*Pi</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Complex[0.0, -6.283185307179586] <- {Rule[x, 1.5]}</code><br><code>Complex[0.0, -6.283185307179586] <- {Rule[x, 0.5]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.5.E2 6.5.E2] || [[Item:Q2242|<math>\expintEi@{x} = -\tfrac{1}{2}(\expintE@{-x+i0}+\expintE@{-x-i0})</math>]] || <code>Error</code> || <code>ExpIntegralEi[x] == -Divide[1,2]*(ExpIntegralE[1, - x + I*0]+ ExpIntegralE[1, - x - I*0])</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Complex[0.0, -3.141592653589793] <- {Rule[x, 1.5]}</code><br><code>Complex[0.0, -3.141592653589793] <- {Rule[x, 0.5]}</code><br></div></div> | | [https://dlmf.nist.gov/6.5.E2 6.5.E2] || [[Item:Q2242|<math>\expintEi@{x} = -\tfrac{1}{2}(\expintE@{-x+i0}+\expintE@{-x-i0})</math>]] || <code>Error</code> || <code>ExpIntegralEi[x] == -Divide[1,2]*(ExpIntegralE[1, - x + I*0]+ ExpIntegralE[1, - x - I*0])</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Complex[0.0, -3.141592653589793] <- {Rule[x, 1.5]}</code><br><code>Complex[0.0, -3.141592653589793] <- {Rule[x, 0.5]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.5.E3 6.5.E3] || [[Item:Q2243|<math>\tfrac{1}{2}(\expintEi@{x}+\expintE@{x}) = \sinhint@{x}</math>]] || <code>Error</code> || <code>Divide[1,2]*(ExpIntegralEi[x]+ ExpIntegralE[1, x]) == SinhIntegral[x]</code> || Error || Failure || - || Successful [Tested: 3] | | [https://dlmf.nist.gov/6.5.E3 6.5.E3] || [[Item:Q2243|<math>\tfrac{1}{2}(\expintEi@{x}+\expintE@{x}) = \sinhint@{x}</math>]] || <code>Error</code> || <code>Divide[1,2]*(ExpIntegralEi[x]+ ExpIntegralE[1, x]) == SinhIntegral[x]</code> || Missing Macro Error || Failure || - || Successful [Tested: 3] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.5.E3 6.5.E3] || [[Item:Q2243|<math>\sinhint@{x} = -i\sinint@{ix}</math>]] || <code>Shi(x) = - I*Si(I*x)</code> || <code>SinhIntegral[x] == - I*SinIntegral[I*x]</code> || Successful || Successful || - || Successful [Tested: 3] | | [https://dlmf.nist.gov/6.5.E3 6.5.E3] || [[Item:Q2243|<math>\sinhint@{x} = -i\sinint@{ix}</math>]] || <code>Shi(x) = - I*Si(I*x)</code> || <code>SinhIntegral[x] == - I*SinIntegral[I*x]</code> || Successful || Successful || - || Successful [Tested: 3] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.5.E4 6.5.E4] || [[Item:Q2244|<math>\tfrac{1}{2}(\expintEi@{x}-\expintE@{x}) = \coshint@{x}</math>]] || <code>Error</code> || <code>Divide[1,2]*(ExpIntegralEi[x]- ExpIntegralE[1, x]) == CoshIntegral[x]</code> || Error || Failure || Skip - symbolical successful subtest || Successful [Tested: 3] | | [https://dlmf.nist.gov/6.5.E4 6.5.E4] || [[Item:Q2244|<math>\tfrac{1}{2}(\expintEi@{x}-\expintE@{x}) = \coshint@{x}</math>]] || <code>Error</code> || <code>Divide[1,2]*(ExpIntegralEi[x]- ExpIntegralE[1, x]) == CoshIntegral[x]</code> || Missing Macro Error || Failure || Skip - symbolical successful subtest || Successful [Tested: 3] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.5.E4 6.5.E4] || [[Item:Q2244|<math>\coshint@{x} = \cosint@{ix}-\tfrac{1}{2}\pi i</math>]] || <code>Chi(x) = Ci(I*x)-(1)/(2)*Pi*I</code> || <code>CoshIntegral[x] == CosIntegral[I*x]-Divide[1,2]*Pi*I</code> || Failure || Failure || Successful [Tested: 3] || Successful [Tested: 3] | | [https://dlmf.nist.gov/6.5.E4 6.5.E4] || [[Item:Q2244|<math>\coshint@{x} = \cosint@{ix}-\tfrac{1}{2}\pi i</math>]] || <code>Chi(x) = Ci(I*x)-(1)/(2)*Pi*I</code> || <code>CoshIntegral[x] == CosIntegral[I*x]-Divide[1,2]*Pi*I</code> || Failure || Failure || Successful [Tested: 3] || Successful [Tested: 3] | ||
Line 67: | Line 69: | ||
| [https://dlmf.nist.gov/6.5.E6 6.5.E6] || [[Item:Q2246|<math>\cosint@{z} = -\tfrac{1}{2}(\expintE@{iz}+\expintE@{-iz})</math>]] || <code>Ci(z) = -(1)/(2)*(Ei(I*z)+ Ei(- I*z))</code> || <code>CosIntegral[z] == -Divide[1,2]*(ExpIntegralE[1, I*z]+ ExpIntegralE[1, - I*z])</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[.8944744988+.632221722*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>1.393548628+1.498247032*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 7]<div class="mw-collapsible-content"><code>{Complex[0.0, 3.141592653589793] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br><code>Complex[0.0, -3.141592653589793] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.5.E6 6.5.E6] || [[Item:Q2246|<math>\cosint@{z} = -\tfrac{1}{2}(\expintE@{iz}+\expintE@{-iz})</math>]] || <code>Ci(z) = -(1)/(2)*(Ei(I*z)+ Ei(- I*z))</code> || <code>CosIntegral[z] == -Divide[1,2]*(ExpIntegralE[1, I*z]+ ExpIntegralE[1, - I*z])</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[.8944744988+.632221722*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>1.393548628+1.498247032*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 7]<div class="mw-collapsible-content"><code>{Complex[0.0, 3.141592653589793] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br><code>Complex[0.0, -3.141592653589793] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.6.E1 6.6.E1] || [[Item:Q2248|<math>\expintEi@{x} = \EulerConstant+\ln@@{x}+\sum_{n=1}^{\infty}\frac{x^{n}}{n!\thinspace n}</math>]] || <code>Error</code> || <code>ExpIntegralEi[x] == EulerGamma + Log[x]+ Sum[Divide[(x)^(n),(n)!*n], {n, 1, Infinity}, GenerateConditions->None]</code> || Error || Failure || - || Successful [Tested: 3] | | [https://dlmf.nist.gov/6.6.E1 6.6.E1] || [[Item:Q2248|<math>\expintEi@{x} = \EulerConstant+\ln@@{x}+\sum_{n=1}^{\infty}\frac{x^{n}}{n!\thinspace n}</math>]] || <code>Error</code> || <code>ExpIntegralEi[x] == EulerGamma + Log[x]+ Sum[Divide[(x)^(n),(n)!*n], {n, 1, Infinity}, GenerateConditions->None]</code> || Missing Macro Error || Failure || - || Successful [Tested: 3] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.6.E2 6.6.E2] || [[Item:Q2249|<math>\expintE@{z} = -\EulerConstant-\ln@@{z}-\sum_{n=1}^{\infty}\frac{(-1)^{n}z^{n}}{n!\thinspace n}</math>]] || <code>Ei(z) = - gamma - ln(z)- sum(((- 1)^(n)* (z)^(n))/(factorial(n)*n), n = 1..infinity)</code> || <code>ExpIntegralE[1, z] == - EulerGamma - Log[z]- Sum[Divide[(- 1)^(n)* (z)^(n),(n)!*n], {n, 1, Infinity}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>.8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.6.E2 6.6.E2] || [[Item:Q2249|<math>\expintE@{z} = -\EulerConstant-\ln@@{z}-\sum_{n=1}^{\infty}\frac{(-1)^{n}z^{n}}{n!\thinspace n}</math>]] || <code>Ei(z) = - gamma - ln(z)- sum(((- 1)^(n)* (z)^(n))/(factorial(n)*n), n = 1..infinity)</code> || <code>ExpIntegralE[1, z] == - EulerGamma - Log[z]- Sum[Divide[(- 1)^(n)* (z)^(n),(n)!*n], {n, 1, Infinity}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>.8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Successful [Tested: 7] | ||
Line 73: | Line 75: | ||
| [https://dlmf.nist.gov/6.6.E3 6.6.E3] || [[Item:Q2250|<math>\expintE@{z} = -\ln@@{z}+e^{-z}\sum_{n=0}^{\infty}\frac{z^{n}}{n!}\digamma@{n+1}</math>]] || <code>Ei(z) = - ln(z)+ exp(- z)*sum(((z)^(n))/(factorial(n))*Psi(n + 1), n = 0..infinity)</code> || <code>ExpIntegralE[1, z] == - Log[z]+ Exp[- z]*Sum[Divide[(z)^(n),(n)!]*PolyGamma[n + 1], {n, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[1.393548628+1.498247031*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>.8944744987+3.773814376*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.6.E3 6.6.E3] || [[Item:Q2250|<math>\expintE@{z} = -\ln@@{z}+e^{-z}\sum_{n=0}^{\infty}\frac{z^{n}}{n!}\digamma@{n+1}</math>]] || <code>Ei(z) = - ln(z)+ exp(- z)*sum(((z)^(n))/(factorial(n))*Psi(n + 1), n = 0..infinity)</code> || <code>ExpIntegralE[1, z] == - Log[z]+ Exp[- z]*Sum[Divide[(z)^(n),(n)!]*PolyGamma[n + 1], {n, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[1.393548628+1.498247031*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>.8944744987+3.773814376*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.6.E4 6.6.E4] || [[Item:Q2251|<math>\expintEin@{z} = \sum_{n=1}^{\infty}\frac{(-1)^{n-1}z^{n}}{n!\thinspace n}</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] + Ln[z] + EulerGamma == Sum[Divide[(- 1)^(n - 1)* (z)^(n),(n)!*n], {n, 1, Infinity}, GenerateConditions->None]</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, -0.5235987755982988], Ln[Complex[0.8660254037844387, 0.49999999999999994]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, -2.0943951023931953], Ln[Complex[-0.4999999999999998, 0.8660254037844387]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.6.E4 6.6.E4] || [[Item:Q2251|<math>\expintEin@{z} = \sum_{n=1}^{\infty}\frac{(-1)^{n-1}z^{n}}{n!\thinspace n}</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] + Ln[z] + EulerGamma == Sum[Divide[(- 1)^(n - 1)* (z)^(n),(n)!*n], {n, 1, Infinity}, GenerateConditions->None]</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.0, -0.5235987755982988], Ln[Complex[0.8660254037844387, 0.49999999999999994]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.0, -2.0943951023931953], Ln[Complex[-0.4999999999999998, 0.8660254037844387]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.6.E5 6.6.E5] || [[Item:Q2252|<math>\sinint@{z} = \sum_{n=0}^{\infty}\frac{(-1)^{n}z^{2n+1}}{(2n+1)!(2n+1)}</math>]] || <code>Si(z) = sum(((- 1)^(n)* (z)^(2*n + 1))/(factorial(2*n + 1)*(2*n + 1)), n = 0..infinity)</code> || <code>SinIntegral[z] == Sum[Divide[(- 1)^(n)* (z)^(2*n + 1),(2*n + 1)!*(2*n + 1)], {n, 0, Infinity}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.6.E5 6.6.E5] || [[Item:Q2252|<math>\sinint@{z} = \sum_{n=0}^{\infty}\frac{(-1)^{n}z^{2n+1}}{(2n+1)!(2n+1)}</math>]] || <code>Si(z) = sum(((- 1)^(n)* (z)^(2*n + 1))/(factorial(2*n + 1)*(2*n + 1)), n = 0..infinity)</code> || <code>SinIntegral[z] == Sum[Divide[(- 1)^(n)* (z)^(2*n + 1),(2*n + 1)!*(2*n + 1)], {n, 0, Infinity}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | ||
Line 79: | Line 81: | ||
| [https://dlmf.nist.gov/6.6.E6 6.6.E6] || [[Item:Q2253|<math>\cosint@{z} = \EulerConstant+\ln@@{z}+\sum_{n=1}^{\infty}\frac{(-1)^{n}z^{2n}}{(2n)!(2n)}</math>]] || <code>Ci(z) = gamma + ln(z)+ sum(((- 1)^(n)* (z)^(2*n))/(factorial(2*n)*(2*n)), n = 1..infinity)</code> || <code>CosIntegral[z] == EulerGamma + Log[z]+ Sum[Divide[(- 1)^(n)* (z)^(2*n),(2*n)!*(2*n)], {n, 1, Infinity}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.6.E6 6.6.E6] || [[Item:Q2253|<math>\cosint@{z} = \EulerConstant+\ln@@{z}+\sum_{n=1}^{\infty}\frac{(-1)^{n}z^{2n}}{(2n)!(2n)}</math>]] || <code>Ci(z) = gamma + ln(z)+ sum(((- 1)^(n)* (z)^(2*n))/(factorial(2*n)*(2*n)), n = 1..infinity)</code> || <code>CosIntegral[z] == EulerGamma + Log[z]+ Sum[Divide[(- 1)^(n)* (z)^(2*n),(2*n)!*(2*n)], {n, 1, Infinity}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E1 6.7.E1] || [[Item:Q2254|<math>\int_{0}^{\infty}\frac{e^{-at}}{t+b}\diff{t} = \int_{0}^{\infty}\frac{e^{iat}}{t+ib}\diff{t}</math>]] || <code>int((exp(- a*t))/(t + b), t = 0..infinity) = int((exp(I*a*t))/(t + I*b), t = 0..infinity)</code> || <code>Integrate[Divide[Exp[- a*t],t + b], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Divide[Exp[I*a*t],t + I*b], {t, 0, Infinity}, GenerateConditions->None]</code> || Successful || | | [https://dlmf.nist.gov/6.7.E1 6.7.E1] || [[Item:Q2254|<math>\int_{0}^{\infty}\frac{e^{-at}}{t+b}\diff{t} = \int_{0}^{\infty}\frac{e^{iat}}{t+ib}\diff{t}</math>]] || <code>int((exp(- a*t))/(t + b), t = 0..infinity) = int((exp(I*a*t))/(t + I*b), t = 0..infinity)</code> || <code>Integrate[Divide[Exp[- a*t],t + b], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Divide[Exp[I*a*t],t + I*b], {t, 0, Infinity}, GenerateConditions->None]</code> || Successful || Aborted || Skip - symbolical successful subtest || Successful [Tested: 9] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E1 6.7.E1] || [[Item:Q2254|<math>\int_{0}^{\infty}\frac{e^{iat}}{t+ib}\diff{t} = e^{ab}\expintE@{ab}</math>]] || <code>int((exp(I*a*t))/(t + I*b), t = 0..infinity) = exp(a*b)*Ei(a*b)</code> || <code>Integrate[Divide[Exp[I*a*t],t + I*b], {t, 0, Infinity}, GenerateConditions->None] == Exp[a*b]*ExpIntegralE[1, a*b]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [9 / 9]<div class="mw-collapsible-content"><code>9/9]: [[-56.03273673 <- {a = 1.5, b = 1.5}</code><br><code>-1.835422085 <- {a = 1.5, b = .5}</code><br></div></div> || Successful [Tested: 9] | | [https://dlmf.nist.gov/6.7.E1 6.7.E1] || [[Item:Q2254|<math>\int_{0}^{\infty}\frac{e^{iat}}{t+ib}\diff{t} = e^{ab}\expintE@{ab}</math>]] || <code>int((exp(I*a*t))/(t + I*b), t = 0..infinity) = exp(a*b)*Ei(a*b)</code> || <code>Integrate[Divide[Exp[I*a*t],t + I*b], {t, 0, Infinity}, GenerateConditions->None] == Exp[a*b]*ExpIntegralE[1, a*b]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [9 / 9]<div class="mw-collapsible-content"><code>9/9]: [[-56.03273673 <- {a = 1.5, b = 1.5}</code><br><code>-1.835422085 <- {a = 1.5, b = .5}</code><br></div></div> || Successful [Tested: 9] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E2 6.7.E2] || [[Item:Q2255|<math>e^{x}\int_{0}^{\alpha}\frac{e^{-xt}}{1-t}\diff{t} = \expintEi@{x}-\expintEi@{(1-\alpha)x}</math>]] || <code>Error</code> || <code>Exp[x]*Integrate[Divide[Exp[- x*t],1 - t], {t, 0, \[Alpha]}, GenerateConditions->None] == ExpIntegralEi[x]- ExpIntegralEi[(1 - \[Alpha])* x]</code> || Error || Failure || - || Successful [Tested: 3] | | [https://dlmf.nist.gov/6.7.E2 6.7.E2] || [[Item:Q2255|<math>e^{x}\int_{0}^{\alpha}\frac{e^{-xt}}{1-t}\diff{t} = \expintEi@{x}-\expintEi@{(1-\alpha)x}</math>]] || <code>Error</code> || <code>Exp[x]*Integrate[Divide[Exp[- x*t],1 - t], {t, 0, \[Alpha]}, GenerateConditions->None] == ExpIntegralEi[x]- ExpIntegralEi[(1 - \[Alpha])* x]</code> || Missing Macro Error || Failure || - || Successful [Tested: 3] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E3 6.7.E3] || [[Item:Q2256|<math>\int_{x}^{\infty}\frac{e^{it}}{a^{2}+t^{2}}\diff{t} = \frac{i}{2a}\left(e^{a}\expintE@{a-ix}-e^{-a}\expintE@{-a-ix}\right)</math>]] || <code>int((exp(I*t))/((a)^(2)+ (t)^(2)), t = x..infinity) = (I)/(2*a)*(exp(a)*Ei(a - I*x)- exp(- a)*Ei(- a - I*x))</code> || <code>Integrate[Divide[Exp[I*t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == Divide[I,2*a]*(Exp[a]*ExpIntegralE[1, a - I*x]- Exp[- a]*ExpIntegralE[1, - a - I*x])</code> || Failure || | | [https://dlmf.nist.gov/6.7.E3 6.7.E3] || [[Item:Q2256|<math>\int_{x}^{\infty}\frac{e^{it}}{a^{2}+t^{2}}\diff{t} = \frac{i}{2a}\left(e^{a}\expintE@{a-ix}-e^{-a}\expintE@{-a-ix}\right)</math>]] || <code>int((exp(I*t))/((a)^(2)+ (t)^(2)), t = x..infinity) = (I)/(2*a)*(exp(a)*Ei(a - I*x)- exp(- a)*Ei(- a - I*x))</code> || <code>Integrate[Divide[Exp[I*t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == Divide[I,2*a]*(Exp[a]*ExpIntegralE[1, a - I*x]- Exp[- a]*ExpIntegralE[1, - a - I*x])</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [9 / 9]<div class="mw-collapsible-content"><code>9/9]: [[-5.458727175-3.178550596*I <- {a = 1.5, x = 1.5}</code><br><code>-1.924923680-4.406791455*I <- {a = 1.5, x = .5}</code><br></div></div> || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E4 6.7.E4] || [[Item:Q2257|<math>\int_{x}^{\infty}\frac{te^{it}}{a^{2}+t^{2}}\diff{t} = \tfrac{1}{2}\left(e^{a}\expintE@{a-ix}+e^{-a}\expintE@{-a-ix}\right)</math>]] || <code>int((t*exp(I*t))/((a)^(2)+ (t)^(2)), t = x..infinity) = (1)/(2)*(exp(a)*Ei(a - I*x)+ exp(- a)*Ei(- a - I*x))</code> || <code>Integrate[Divide[t*Exp[I*t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == Divide[1,2]*(Exp[a]*ExpIntegralE[1, a - I*x]+ Exp[- a]*ExpIntegralE[1, - a - I*x])</code> || Failure || | | [https://dlmf.nist.gov/6.7.E4 6.7.E4] || [[Item:Q2257|<math>\int_{x}^{\infty}\frac{te^{it}}{a^{2}+t^{2}}\diff{t} = \tfrac{1}{2}\left(e^{a}\expintE@{a-ix}+e^{-a}\expintE@{-a-ix}\right)</math>]] || <code>int((t*exp(I*t))/((a)^(2)+ (t)^(2)), t = x..infinity) = (1)/(2)*(exp(a)*Ei(a - I*x)+ exp(- a)*Ei(- a - I*x))</code> || <code>Integrate[Divide[t*Exp[I*t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == Divide[1,2]*(Exp[a]*ExpIntegralE[1, a - I*x]+ Exp[- a]*ExpIntegralE[1, - a - I*x])</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [9 / 9]<div class="mw-collapsible-content"><code>9/9]: [[-5.267453009+8.746914637*I <- {a = 1.5, x = 1.5}</code><br><code>-7.302877906+3.948990541*I <- {a = 1.5, x = .5}</code><br></div></div> || Successful [Tested: 9] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E5 6.7.E5] || [[Item:Q2258|<math>\int_{x}^{\infty}\frac{e^{-t}}{a^{2}+t^{2}}\diff{t} = -\frac{1}{2ai}\left(e^{ia}\expintE@{x+ia}-e^{-ia}\expintE@{x-ia}\right)</math>]] || <code>int((exp(- t))/((a)^(2)+ (t)^(2)), t = x..infinity) = -(1)/(2*a*I)*(exp(I*a)*Ei(x + I*a)- exp(- I*a)*Ei(x - I*a))</code> || <code>Integrate[Divide[Exp[- t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == -Divide[1,2*a*I]*(Exp[I*a]*ExpIntegralE[1, x + I*a]- Exp[- I*a]*ExpIntegralE[1, x - I*a])</code> || Failure || | | [https://dlmf.nist.gov/6.7.E5 6.7.E5] || [[Item:Q2258|<math>\int_{x}^{\infty}\frac{e^{-t}}{a^{2}+t^{2}}\diff{t} = -\frac{1}{2ai}\left(e^{ia}\expintE@{x+ia}-e^{-ia}\expintE@{x-ia}\right)</math>]] || <code>int((exp(- t))/((a)^(2)+ (t)^(2)), t = x..infinity) = -(1)/(2*a*I)*(exp(I*a)*Ei(x + I*a)- exp(- I*a)*Ei(x - I*a))</code> || <code>Integrate[Divide[Exp[- t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == -Divide[1,2*a*I]*(Exp[I*a]*ExpIntegralE[1, x + I*a]- Exp[- I*a]*ExpIntegralE[1, x - I*a])</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [9 / 9]<div class="mw-collapsible-content"><code>9/9]: [[1.667239755-0.*I <- {a = 1.5, x = 1.5, x = 3/2}</code><br><code>.7611670238-0.*I <- {a = 1.5, x = .5, x = 3/2}</code><br></div></div> || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E6 6.7.E6] || [[Item:Q2259|<math>\int_{x}^{\infty}\frac{te^{-t}}{a^{2}+t^{2}}\diff{t} = \tfrac{1}{2}\left(e^{ia}\expintE@{x+ia}+e^{-ia}\expintE@{x-ia}\right)</math>]] || <code>int((t*exp(- t))/((a)^(2)+ (t)^(2)), t = x..infinity) = (1)/(2)*(exp(I*a)*Ei(x + I*a)+ exp(- I*a)*Ei(x - I*a))</code> || <code>Integrate[Divide[t*Exp[- t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == Divide[1,2]*(Exp[I*a]*ExpIntegralE[1, x + I*a]+ Exp[- I*a]*ExpIntegralE[1, x - I*a])</code> || Failure || | | [https://dlmf.nist.gov/6.7.E6 6.7.E6] || [[Item:Q2259|<math>\int_{x}^{\infty}\frac{te^{-t}}{a^{2}+t^{2}}\diff{t} = \tfrac{1}{2}\left(e^{ia}\expintE@{x+ia}+e^{-ia}\expintE@{x-ia}\right)</math>]] || <code>int((t*exp(- t))/((a)^(2)+ (t)^(2)), t = x..infinity) = (1)/(2)*(exp(I*a)*Ei(x + I*a)+ exp(- I*a)*Ei(x - I*a))</code> || <code>Integrate[Divide[t*Exp[- t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == Divide[1,2]*(Exp[I*a]*ExpIntegralE[1, x + I*a]+ Exp[- I*a]*ExpIntegralE[1, x - I*a])</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [9 / 9]<div class="mw-collapsible-content"><code>9/9]: [[3.610851888+0.*I <- {a = 1.5, x = 1.5, x = 3/2}</code><br><code>2.934911868+0.*I <- {a = 1.5, x = .5, x = 3/2}</code><br></div></div> || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E7 6.7.E7] || [[Item:Q2260|<math>\int_{0}^{1}\frac{e^{-at}\sin@{bt}}{t}\diff{t} = \imagpart@@{\expintEin@{a+ib}}</math>]] || <code>Error</code> || <code>Integrate[Divide[Exp[- a*t]*Sin[b*t],t], {t, 0, 1}, GenerateConditions->None] == Im[ExpIntegralE[1, a + I*b] + Ln[a + I*b] + EulerGamma]</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 1]<div class="mw-collapsible-content"><code>{Plus[Complex[0.7167380515760515, 5.551115123125783*^-17], Times[-1.0, Plus[-0.06866011182139653, Im[Ln[Complex[1.5, 1.5]]]]]] <- {Rule[a, Rational[3, 2]], Rule[b, Rational[3, 2]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.7.E7 6.7.E7] || [[Item:Q2260|<math>\int_{0}^{1}\frac{e^{-at}\sin@{bt}}{t}\diff{t} = \imagpart@@{\expintEin@{a+ib}}</math>]] || <code>Error</code> || <code>Integrate[Divide[Exp[- a*t]*Sin[b*t],t], {t, 0, 1}, GenerateConditions->None] == Im[ExpIntegralE[1, a + I*b] + Ln[a + I*b] + EulerGamma]</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 1]<div class="mw-collapsible-content"><code>{Plus[Complex[0.7167380515760515, 5.551115123125783*^-17], Times[-1.0, Plus[-0.06866011182139653, Im[Ln[Complex[1.5, 1.5]]]]]] <- {Rule[a, Rational[3, 2]], Rule[b, Rational[3, 2]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E8 6.7.E8] || [[Item:Q2261|<math>\int_{0}^{1}\frac{e^{-at}(1-\cos@{bt})}{t}\diff{t} = \realpart@@{\expintEin@{a+ib}}-\expintEin@{a}</math>]] || <code>Error</code> || <code>Integrate[Divide[Exp[- a*t]*(1 - Cos[b*t]),t], {t, 0, 1}, GenerateConditions->None] == Re[ExpIntegralE[1, a + I*b] + Ln[a + I*b] + EulerGamma]- ExpIntegralE[1, a] + Ln[a] + EulerGamma</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 1]<div class="mw-collapsible-content"><code>{Plus[Complex[-0.8490131893081223, 0.0], Times[-1.0, Ln[1.5]], Times[-1.0, Plus[-0.04115544978502889, Re[Ln[Complex[1.5, 1.5]]]]]] <- {Rule[a, Rational[3, 2]], Rule[b, Rational[3, 2]]}</code><br></div></div> | | [https://dlmf.nist.gov/6.7.E8 6.7.E8] || [[Item:Q2261|<math>\int_{0}^{1}\frac{e^{-at}(1-\cos@{bt})}{t}\diff{t} = \realpart@@{\expintEin@{a+ib}}-\expintEin@{a}</math>]] || <code>Error</code> || <code>Integrate[Divide[Exp[- a*t]*(1 - Cos[b*t]),t], {t, 0, 1}, GenerateConditions->None] == Re[ExpIntegralE[1, a + I*b] + Ln[a + I*b] + EulerGamma]- ExpIntegralE[1, a] + Ln[a] + EulerGamma</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 1]<div class="mw-collapsible-content"><code>{Plus[Complex[-0.8490131893081223, 0.0], Times[-1.0, Ln[1.5]], Times[-1.0, Plus[-0.04115544978502889, Re[Ln[Complex[1.5, 1.5]]]]]] <- {Rule[a, Rational[3, 2]], Rule[b, Rational[3, 2]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E9 6.7.E9] || [[Item:Q2262|<math>\shiftsinint@{z} = -\int_{0}^{\pi/2}e^{-z\cos@@{t}}\cos@{z\sin@@{t}}\diff{t}</math>]] || <code>Ssi(z) = - int(exp(- z*cos(t))*cos(z*sin(t)), t = 0..Pi/ 2)</code> || <code>SinIntegral[z] - Pi/2 == - Integrate[Exp[- z*Cos[t]]*Cos[z*Sin[t]], {t, 0, Pi/ 2}, GenerateConditions->None]</code> || Failure || | | [https://dlmf.nist.gov/6.7.E9 6.7.E9] || [[Item:Q2262|<math>\shiftsinint@{z} = -\int_{0}^{\pi/2}e^{-z\cos@@{t}}\cos@{z\sin@@{t}}\diff{t}</math>]] || <code>Ssi(z) = - int(exp(- z*cos(t))*cos(z*sin(t)), t = 0..Pi/ 2)</code> || <code>SinIntegral[z] - Pi/2 == - Integrate[Exp[- z*Cos[t]]*Cos[z*Sin[t]], {t, 0, Pi/ 2}, GenerateConditions->None]</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [2 / 7]<div class="mw-collapsible-content"><code>2/7]: [[-3.141592654+.1e-9*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br><code>-3.141592653+0.*I <- {z = -1/2*3^(1/2)-1/2*I}</code><br></div></div> || Skipped - Because timed out | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.7.E13 6.7.E13] || [[Item:Q2266|<math>\int_{0}^{\infty}\frac{\sin@@{t}}{t+z}\diff{t} = \int_{0}^{\infty}\frac{e^{-zt}}{t^{2}+1}\diff{t}</math>]] || <code>int((sin(t))/(t + z), t = 0..infinity) = int((exp(- z*t))/((t)^(2)+ 1), t = 0..infinity)</code> || <code>Integrate[Divide[Sin[t],t + z], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Divide[Exp[- z*t],(t)^(2)+ 1], {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || Successful || Error || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.7.E13 6.7.E13] || [[Item:Q2266|<math>\int_{0}^{\infty}\frac{\sin@@{t}}{t+z}\diff{t} = \int_{0}^{\infty}\frac{e^{-zt}}{t^{2}+1}\diff{t}</math>]] || <code>int((sin(t))/(t + z), t = 0..infinity) = int((exp(- z*t))/((t)^(2)+ 1), t = 0..infinity)</code> || <code>Integrate[Divide[Sin[t],t + z], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Divide[Exp[- z*t],(t)^(2)+ 1], {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || Successful || Error || Successful [Tested: 7] | ||
Line 127: | Line 129: | ||
| [https://dlmf.nist.gov/6.10.E3 6.10.E3] || [[Item:Q2280|<math>c_{k} = -\sum_{j=0}^{k-1}\frac{c_{j}}{k-j}</math>]] || <code>c[k] = - sum((c[j])/(k - j), j = 0..k - 1)</code> || <code>Subscript[c, k] == - Sum[Divide[Subscript[c, j],k - j], {j, 0, k - 1}, GenerateConditions->None]</code> || Skipped - no semantic math || Skipped - no semantic math || - || - | | [https://dlmf.nist.gov/6.10.E3 6.10.E3] || [[Item:Q2280|<math>c_{k} = -\sum_{j=0}^{k-1}\frac{c_{j}}{k-j}</math>]] || <code>c[k] = - sum((c[j])/(k - j), j = 0..k - 1)</code> || <code>Subscript[c, k] == - Sum[Divide[Subscript[c, j],k - j], {j, 0, k - 1}, GenerateConditions->None]</code> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.10.E4 6.10.E4] || [[Item:Q2281|<math>\sinint@{z} = z\sum_{n=0}^{\infty}\left(\sphBesselJ{n}@{\tfrac{1}{2}z}\right)^{2}</math>]] || <code>Error</code> || <code>SinIntegral[z] == z*Sum[(SphericalBesselJ[n, Divide[1,2]*z])^(2), {n, 0, Infinity}, GenerateConditions->None]</code> || Error || Successful || - || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.10.E4 6.10.E4] || [[Item:Q2281|<math>\sinint@{z} = z\sum_{n=0}^{\infty}\left(\sphBesselJ{n}@{\tfrac{1}{2}z}\right)^{2}</math>]] || <code>Error</code> || <code>SinIntegral[z] == z*Sum[(SphericalBesselJ[n, Divide[1,2]*z])^(2), {n, 0, Infinity}, GenerateConditions->None]</code> || Missing Macro Error || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.10.E6 6.10.E6] || [[Item:Q2283|<math>\expintEi@{x} = \EulerConstant+\ln@@{\abs{x}}+\sum_{n=0}^{\infty}(-1)^{n}(x-a_{n})\left(\modsphBesseli{1}{n}@{\tfrac{1}{2}x}\right)^{2}</math>]] || <code>Error</code> || <code>ExpIntegralEi[x] == EulerGamma + Log[Abs[x]]+ Sum[(- 1)^(n)*(x - Subscript[a, n])*(Sqrt[Divide[Pi, Divide[1,2]*x]/2] BesselI[(-1)^(1-1)*(n + 1/2), n])^(2), {n, 0, Infinity}, GenerateConditions->None]</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Plus[2.318604676120101, Times[-1.0, NSum[Times[2.0943951023931953, Power[-1, n], Power[BesselI[Plus[Rational[1, 2], n], n], 2], Plus[1.5, Times[-1, Plus[1, Times[2, n]], Plus[1, Power[-1, Plus[1, n]], EulerGamma, PolyGamma[0, Plus[1, n]]]]]] <- {n, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[x, 1.5]}</code><br><code>Plus[0.570151420521586, Times[-1.0, NSum[Times[6.283185307179586, Power[-1, n], Power[BesselI[Plus[Rational[1, 2], n], n], 2], Plus[0.5, Times[-1, Plus[1, Times[2, n]], Plus[1, Power[-1, Plus[1, n]], EulerGamma, PolyGamma[0, Plus[1, n]]]]]] <- {n, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[x, 0.5]}</code><br></div></div> | | [https://dlmf.nist.gov/6.10.E6 6.10.E6] || [[Item:Q2283|<math>\expintEi@{x} = \EulerConstant+\ln@@{\abs{x}}+\sum_{n=0}^{\infty}(-1)^{n}(x-a_{n})\left(\modsphBesseli{1}{n}@{\tfrac{1}{2}x}\right)^{2}</math>]] || <code>Error</code> || <code>ExpIntegralEi[x] == EulerGamma + Log[Abs[x]]+ Sum[(- 1)^(n)*(x - Subscript[a, n])*(Sqrt[Divide[Pi, Divide[1,2]*x]/2] BesselI[(-1)^(1-1)*(n + 1/2), n])^(2), {n, 0, Infinity}, GenerateConditions->None]</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>{Plus[2.318604676120101, Times[-1.0, NSum[Times[2.0943951023931953, Power[-1, n], Power[BesselI[Plus[Rational[1, 2], n], n], 2], Plus[1.5, Times[-1, Plus[1, Times[2, n]], Plus[1, Power[-1, Plus[1, n]], EulerGamma, PolyGamma[0, Plus[1, n]]]]]] <- {n, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[x, 1.5]}</code><br><code>Plus[0.570151420521586, Times[-1.0, NSum[Times[6.283185307179586, Power[-1, n], Power[BesselI[Plus[Rational[1, 2], n], n], 2], Plus[0.5, Times[-1, Plus[1, Times[2, n]], Plus[1, Power[-1, Plus[1, n]], EulerGamma, PolyGamma[0, Plus[1, n]]]]]] <- {n, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[x, 0.5]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.10.E8 6.10.E8] || [[Item:Q2285|<math>\expintEin@{z} = ze^{-z/2}\left(\modsphBesseli{1}{0}@{\tfrac{1}{2}z}+\sum_{n=1}^{\infty}\dfrac{2n+1}{n(n+1)}\modsphBesseli{1}{n}@{\tfrac{1}{2}z}\right)</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] + Ln[z] + EulerGamma == z*Exp[- z/ 2]*(Sqrt[Divide[Pi, Divide[1,2]*z]/2] BesselI[(-1)^(1-1)*(0 + 1/2), 0]+ Sum[Divide[2*n + 1,n*(n + 1)]*Sqrt[Divide[Pi, Divide[1,2]*z]/2] BesselI[(-1)^(1-1)*(n + 1/2), n], {n, 1, Infinity}, GenerateConditions->None])</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.7449988338501623, -0.19274910655694033], Ln[Complex[0.8660254037844387, 0.49999999999999994]], Times[Complex[-0.6244291912543926, -0.17523758490546462], NSum[Times[Power[Power[E, Times[Complex[0, Rational[-1, 6]], Pi]], Rational[1, 2]], Power[n, -1], Power[Plus[1, n], -1], Plus[1, Times[2, n]], Power[Pi, Rational[1, 2]], BesselI[Plus[Rational[1, 2], n], n]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.31531322950964413, -1.02230061506208], Ln[Complex[-0.4999999999999998, 0.8660254037844387]], Times[Complex[0.11615580955286336, -1.278760766761026], NSum[Times[Power[Power[E, Times[Complex[0, Rational[-2, 3]], Pi]], Rational[1, 2]], Power[n, -1], Power[Plus[1, n], -1], Plus[1, Times[2, n]], Power[Pi, Rational[1, 2]], BesselI[Plus[Rational[1, 2], n], n]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, | | [https://dlmf.nist.gov/6.10.E8 6.10.E8] || [[Item:Q2285|<math>\expintEin@{z} = ze^{-z/2}\left(\modsphBesseli{1}{0}@{\tfrac{1}{2}z}+\sum_{n=1}^{\infty}\dfrac{2n+1}{n(n+1)}\modsphBesseli{1}{n}@{\tfrac{1}{2}z}\right)</math>]] || <code>Error</code> || <code>ExpIntegralE[1, z] + Ln[z] + EulerGamma == z*Exp[- z/ 2]*(Sqrt[Divide[Pi, Divide[1,2]*z]/2] BesselI[(-1)^(1-1)*(0 + 1/2), 0]+ Sum[Divide[2*n + 1,n*(n + 1)]*Sqrt[Divide[Pi, Divide[1,2]*z]/2] BesselI[(-1)^(1-1)*(n + 1/2), n], {n, 1, Infinity}, GenerateConditions->None])</code> || Missing Macro Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.7449988338501623, -0.19274910655694033], Ln[Complex[0.8660254037844387, 0.49999999999999994]], Times[Complex[-0.6244291912543926, -0.17523758490546462], NSum[Times[Power[Power[E, Times[Complex[0, Rational[-1, 6]], Pi]], Rational[1, 2]], Power[n, -1], Power[Plus[1, n], -1], Plus[1, Times[2, n]], Power[Pi, Rational[1, 2]], BesselI[Plus[Rational[1, 2], n], n]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.31531322950964413, -1.02230061506208], Ln[Complex[-0.4999999999999998, 0.8660254037844387]], Times[Complex[0.11615580955286336, -1.278760766761026], NSum[Times[Power[Power[E, Times[Complex[0, Rational[-2, 3]], Pi]], Rational[1, 2]], Power[n, -1], Power[Plus[1, n], -1], Plus[1, Times[2, n]], Power[Pi, Rational[1, 2]], BesselI[Plus[Rational[1, 2], n], n]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Ra</div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.11.E1 6.11.E1] || [[Item:Q2286|<math>\expintE@{z} = \incGamma@{0}{z}</math>]] || <code>Ei(z) = GAMMA(0, z)</code> || <code>ExpIntegralE[1, z] == Gamma[0, z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>.8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Successful [Tested: 7] | | [https://dlmf.nist.gov/6.11.E1 6.11.E1] || [[Item:Q2286|<math>\expintE@{z} = \incGamma@{0}{z}</math>]] || <code>Ei(z) = GAMMA(0, z)</code> || <code>ExpIntegralE[1, z] == Gamma[0, z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I}</code><br><code>.8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Successful [Tested: 7] | ||
Line 165: | Line 167: | ||
| [https://dlmf.nist.gov/6.15.E4 6.15.E4] || [[Item:Q2309|<math>\sum_{n=1}^{\infty}(-1)^{n}\frac{\shiftsinint@{2\pi n}}{n} = \pi(\tfrac{3}{2}\ln@@{2}-1)</math>]] || <code>sum((- 1)^(n)*(Ssi(2*Pi*n))/(n), n = 1..infinity) = Pi*((3)/(2)*ln(2)- 1)</code> || <code>Sum[(- 1)^(n)*Divide[SinIntegral[2*Pi*n] - Pi/2,n], {n, 1, Infinity}, GenerateConditions->None] == Pi*(Divide[3,2]*Log[2]- 1)</code> || Failure || Failure || Successful [Tested: 0] || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 1]<div class="mw-collapsible-content"><code>{Plus[-0.12478648186560967, NSum[Times[Power[-1, n], Power[n, -1], Plus[Times[Rational[-1, 2], Pi], SinIntegral[Times[2, n, Pi]]]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {}</code><br></div></div> | | [https://dlmf.nist.gov/6.15.E4 6.15.E4] || [[Item:Q2309|<math>\sum_{n=1}^{\infty}(-1)^{n}\frac{\shiftsinint@{2\pi n}}{n} = \pi(\tfrac{3}{2}\ln@@{2}-1)</math>]] || <code>sum((- 1)^(n)*(Ssi(2*Pi*n))/(n), n = 1..infinity) = Pi*((3)/(2)*ln(2)- 1)</code> || <code>Sum[(- 1)^(n)*Divide[SinIntegral[2*Pi*n] - Pi/2,n], {n, 1, Infinity}, GenerateConditions->None] == Pi*(Divide[3,2]*Log[2]- 1)</code> || Failure || Failure || Successful [Tested: 0] || <div class="toccolours mw-collapsible mw-collapsed">Failed [1 / 1]<div class="mw-collapsible-content"><code>{Plus[-0.12478648186560967, NSum[Times[Power[-1, n], Power[n, -1], Plus[Times[Rational[-1, 2], Pi], SinIntegral[Times[2, n, Pi]]]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.18#Ex1 6.18#Ex1] || [[Item:Q2315|<math>A_{n} = \int_{0}^{\infty}\frac{te^{-zt}}{1+t^{2}}\left(\frac{t^{2}}{1+t^{2}}\right)^{n}\diff{t}</math>]] || <code>A[n] = int((t*exp(- z*t))/(1 + (t)^(2))*(((t)^(2))/(1 + (t)^(2)))^(n), t = 0..infinity)</code> || <code>Subscript[A, n] == Integrate[Divide[t*Exp[- z*t],1 + (t)^(2)]*(Divide[(t)^(2),1 + (t)^(2)])^(n), {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || | | [https://dlmf.nist.gov/6.18#Ex1 6.18#Ex1] || [[Item:Q2315|<math>A_{n} = \int_{0}^{\infty}\frac{te^{-zt}}{1+t^{2}}\left(\frac{t^{2}}{1+t^{2}}\right)^{n}\diff{t}</math>]] || <code>A[n] = int((t*exp(- z*t))/(1 + (t)^(2))*(((t)^(2))/(1 + (t)^(2)))^(n), t = 0..infinity)</code> || <code>Subscript[A, n] == Integrate[Divide[t*Exp[- z*t],1 + (t)^(2)]*(Divide[(t)^(2),1 + (t)^(2)])^(n), {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>210/210]: [[.7485296696+.6226310704*I <- {z = 1/2*3^(1/2)+1/2*I, A[n] = 1/2*3^(1/2)+1/2*I, n = 1}</code><br><code>.8043767351+.5871300239*I <- {z = 1/2*3^(1/2)+1/2*I, A[n] = 1/2*3^(1/2)+1/2*I, n = 2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>{Complex[0.7485296693535908, 0.622631070403298] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.8043767348683764, 0.5871300238783713] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.18#Ex2 6.18#Ex2] || [[Item:Q2316|<math>B_{n} = \int_{0}^{\infty}\frac{e^{-zt}}{1+t^{2}}\left(\frac{t^{2}}{1+t^{2}}\right)^{n}\diff{t}</math>]] || <code>B[n] = int((exp(- z*t))/(1 + (t)^(2))*(((t)^(2))/(1 + (t)^(2)))^(n), t = 0..infinity)</code> || <code>Subscript[B, n] == Integrate[Divide[Exp[- z*t],1 + (t)^(2)]*(Divide[(t)^(2),1 + (t)^(2)])^(n), {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || | | [https://dlmf.nist.gov/6.18#Ex2 6.18#Ex2] || [[Item:Q2316|<math>B_{n} = \int_{0}^{\infty}\frac{e^{-zt}}{1+t^{2}}\left(\frac{t^{2}}{1+t^{2}}\right)^{n}\diff{t}</math>]] || <code>B[n] = int((exp(- z*t))/(1 + (t)^(2))*(((t)^(2))/(1 + (t)^(2)))^(n), t = 0..infinity)</code> || <code>Subscript[B, n] == Integrate[Divide[Exp[- z*t],1 + (t)^(2)]*(Divide[(t)^(2),1 + (t)^(2)])^(n), {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>210/210]: [[.7390515864+.5822189558*I <- {z = 1/2*3^(1/2)+1/2*I, B[n] = 1/2*3^(1/2)+1/2*I, n = 1}</code><br><code>.8115624973+.5498007781*I <- {z = 1/2*3^(1/2)+1/2*I, B[n] = 1/2*3^(1/2)+1/2*I, n = 2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>{Complex[0.7390515861602941, 0.5822189558055343] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[B, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.8115624970800986, 0.549800778092373] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[B, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.18#Ex3 6.18#Ex3] || [[Item:Q2317|<math>C_{n} = \int_{0}^{\infty}e^{-zt}\left(\frac{t^{2}}{1+t^{2}}\right)^{n}\diff{t}</math>]] || <code>C[n] = int(exp(- z*t)*(((t)^(2))/(1 + (t)^(2)))^(n), t = 0..infinity)</code> || <code>Subscript[C, n] == Integrate[Exp[- z*t]*(Divide[(t)^(2),1 + (t)^(2)])^(n), {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || | | [https://dlmf.nist.gov/6.18#Ex3 6.18#Ex3] || [[Item:Q2317|<math>C_{n} = \int_{0}^{\infty}e^{-zt}\left(\frac{t^{2}}{1+t^{2}}\right)^{n}\diff{t}</math>]] || <code>C[n] = int(exp(- z*t)*(((t)^(2))/(1 + (t)^(2)))^(n), t = 0..infinity)</code> || <code>Subscript[C, n] == Integrate[Exp[- z*t]*(Divide[(t)^(2),1 + (t)^(2)])^(n), {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || Aborted || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>210/210]: [[.6165937696+.8168923194*I <- {z = 1/2*3^(1/2)+1/2*I, C[n] = 1/2*3^(1/2)+1/2*I, n = 1}</code><br><code>.7435675872+.7346733636*I <- {z = 1/2*3^(1/2)+1/2*I, C[n] = 1/2*3^(1/2)+1/2*I, n = 2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>{Complex[0.6165937693596737, 0.8168923194411848] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[C, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.7435675869838186, 0.7346733636356504] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[C, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br></div></div> | ||
|- | |- | ||
| [https://dlmf.nist.gov/6.18#Ex4 6.18#Ex4] || [[Item:Q2318|<math>A_{n-1} = A_{n}+\frac{z}{2n}C_{n}</math>]] || <code>A[n - 1] = A[n]+(z)/(2*n)*C[n]</code> || <code>Subscript[A, n - 1] == Subscript[A, n]+Divide[z,2*n]*Subscript[C, n]</code> || Skipped - no semantic math || Skipped - no semantic math || - || - | | [https://dlmf.nist.gov/6.18#Ex4 6.18#Ex4] || [[Item:Q2318|<math>A_{n-1} = A_{n}+\frac{z}{2n}C_{n}</math>]] || <code>A[n - 1] = A[n]+(z)/(2*n)*C[n]</code> || <code>Subscript[A, n - 1] == Subscript[A, n]+Divide[z,2*n]*Subscript[C, n]</code> || Skipped - no semantic math || Skipped - no semantic math || - || - |
Revision as of 19:49, 15 October 2020
DLMF | Formula | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|
6.2.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{z} = \int_{z}^{\infty}\frac{e^{-t}}{t}\diff{t}} | Ei(z) = int((exp(- t))/(t), t = z..infinity) |
ExpIntegralE[1, z] == Integrate[Divide[Exp[- t],t], {t, z, Infinity}, GenerateConditions->None] |
Failure | Failure | Failed [7 / 7] 7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I} .8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 7] |
6.2.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{z} = e^{-z}\int_{0}^{\infty}\frac{e^{-t}}{t+z}\diff{t}} | Ei(z) = exp(- z)*int((exp(- t))/(t + z), t = 0..infinity) |
ExpIntegralE[1, z] == Exp[- z]*Integrate[Divide[Exp[- t],t + z], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Failed [7 / 7] 7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I} .8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 7] |
6.2.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintEin@{z} = \int_{0}^{z}\frac{1-e^{-t}}{t}\diff{t}} | Error |
ExpIntegralE[1, z] + Ln[z] + EulerGamma == Integrate[Divide[1 - Exp[- t],t], {t, 0, z}, GenerateConditions->None] |
Missing Macro Error | Failure | - | Failed [7 / 7]
{Plus[Complex[0.0, -0.5235987755982988], Ln[Complex[0.8660254037844387, 0.49999999999999994]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[0.0, -2.0943951023931953], Ln[Complex[-0.4999999999999998, 0.8660254037844387]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
6.2.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{z} = \expintEin@{z}-\ln@@{z}-\EulerConstant} | Error |
ExpIntegralE[1, z] == ExpIntegralE[1, z] + Ln[z] + EulerGamma - Log[z]- EulerGamma |
Missing Macro Error | Failure | - | Failed [7 / 7]
{Plus[Complex[0.0, 0.5235987755982988], Times[-1.0, Ln[Complex[0.8660254037844387, 0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[0.0, 2.0943951023931953], Times[-1.0, Ln[Complex[-0.4999999999999998, 0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
6.2.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintEi@{-x} = -\int_{x}^{\infty}\frac{e^{-t}}{t}\diff{t}} | Error |
ExpIntegralEi[- x] == - Integrate[Divide[Exp[- t],t], {t, x, Infinity}, GenerateConditions->None] |
Missing Macro Error | Failure | Skip - symbolical successful subtest | Successful [Tested: 3] |
6.2.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\int_{x}^{\infty}\frac{e^{-t}}{t}\diff{t} = -\expintE@{x}} | - int((exp(- t))/(t), t = x..infinity) = - Ei(x) |
- Integrate[Divide[Exp[- t],t], {t, x, Infinity}, GenerateConditions->None] == - ExpIntegralE[1, x] |
Failure | Failure | Failed [3 / 3] 3/3]: [[3.201265867 <- {x = 1.5} -.1055536899 <- {x = .5} |
Successful [Tested: 3] |
6.2.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintEi@{+ x} = -\expintEin@{- x}+\ln@@{x}+\EulerConstant} | Error |
ExpIntegralEi[+ x] == - ExpIntegralE[1, - x] + Ln[- x] + EulerGamma + Log[x]+ EulerGamma |
Missing Macro Error | Failure | - | Failed [3 / 3]
{Plus[Complex[-1.5598964379112301, -3.141592653589793], Times[-1.0, Ln[-1.5]]] <- {Rule[x, 1.5]} Plus[Complex[-0.46128414924312044, -3.141592653589793], Times[-1.0, Ln[-0.5]]] <- {Rule[x, 0.5]} |
6.2.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintEi@{- x} = -\expintEin@{+ x}+\ln@@{x}+\EulerConstant} | Error |
ExpIntegralEi[- x] == - ExpIntegralE[1, + x] + Ln[+ x] + EulerGamma + Log[x]+ EulerGamma |
Missing Macro Error | Failure | - | Failed [3 / 3]
{Plus[-1.5598964379112301, Times[-1.0, Ln[1.5]]] <- {Rule[x, 1.5]} Plus[-0.46128414924312044, Times[-1.0, Ln[0.5]]] <- {Rule[x, 0.5]} |
6.2.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sinint@{z} = \int_{0}^{z}\frac{\sin@@{t}}{t}\diff{t}} | Si(z) = int((sin(t))/(t), t = 0..z) |
SinIntegral[z] == Integrate[Divide[Sin[t],t], {t, 0, z}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 7] |
6.2.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \shiftsinint@{z} = -\int_{z}^{\infty}\frac{\sin@@{t}}{t}\diff{t}} | Ssi(z) = - int((sin(t))/(t), t = z..infinity) |
SinIntegral[z] - Pi/2 == - Integrate[Divide[Sin[t],t], {t, z, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 7] |
6.2.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle -\int_{z}^{\infty}\frac{\sin@@{t}}{t}\diff{t} = \sinint@{z}-\tfrac{1}{2}\pi} | - int((sin(t))/(t), t = z..infinity) = Si(z)-(1)/(2)*Pi |
- Integrate[Divide[Sin[t],t], {t, z, Infinity}, GenerateConditions->None] == SinIntegral[z]-Divide[1,2]*Pi |
Successful | Successful | - | Successful [Tested: 7] |
6.2.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \cosint(z) = -\int_{z}^{\infty}\frac{\cos@@{t}}{t}\diff{t}} | Ci((z) ) = - int((cos(t))/(t), t = z..infinity) |
CosIntegral[(z) ] == - Integrate[Divide[Cos[t],t], {t, z, Infinity}, GenerateConditions->None] |
Translation Error | Translation Error | - | - |
6.2#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lim_{x\to\infty}\sinint@{x} = \tfrac{1}{2}\pi} | limit(Si(x), x = infinity) = (1)/(2)*Pi |
Limit[SinIntegral[x], x -> Infinity, GenerateConditions->None] == Divide[1,2]*Pi |
Successful | Successful | - | Successful [Tested: 1] |
6.2#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lim_{x\to\infty}\cosint@{x} = 0} | limit(Ci(x), x = infinity) = 0 |
Limit[CosIntegral[x], x -> Infinity, GenerateConditions->None] == 0 |
Successful | Successful | - | Successful [Tested: 1] |
6.2.E15 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sinhint@{z} = \int_{0}^{z}\frac{\sinh@@{t}}{t}\diff{t}} | Shi(z) = int((sinh(t))/(t), t = 0..z) |
SinhIntegral[z] == Integrate[Divide[Sinh[t],t], {t, 0, z}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 7] |
6.2.E16 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \coshint@{z} = \EulerConstant+\ln@@{z}+\int_{0}^{z}\frac{\cosh@@{t}-1}{t}\diff{t}} | Chi(z) = gamma + ln(z)+ int((cosh(t)- 1)/(t), t = 0..z) |
CoshIntegral[z] == EulerGamma + Log[z]+ Integrate[Divide[Cosh[t]- 1,t], {t, 0, z}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 7] |
6.4.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{z} = \expintEin@{z}-\Ln@@{z}-\EulerConstant} | Error |
ExpIntegralE[1, z] == ExpIntegralE[1, z] + Ln[z] + EulerGamma - Log[z]- EulerGamma |
Missing Macro Error | Failure | - | Failed [7 / 7]
{Plus[Complex[0.0, 0.5235987755982988], Times[-1.0, Ln[Complex[0.8660254037844387, 0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[0.0, 2.0943951023931953], Times[-1.0, Ln[Complex[-0.4999999999999998, 0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
6.4.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{ze^{2m\pi i}} = \expintE@{z}-2m\pi i} | Ei(z*exp(2*m*Pi*I)) = Ei(z)- 2*m*Pi*I |
ExpIntegralE[1, z*Exp[2*m*Pi*I]] == ExpIntegralE[1, z]- 2*m*Pi*I |
Failure | Failure | Failed [21 / 21] 21/21]: [[-.1e-8+6.283185310*I <- {z = 1/2*3^(1/2)+1/2*I, m = 1, m = 3} -.6e-8+12.56637063*I <- {z = 1/2*3^(1/2)+1/2*I, m = 2, m = 3} |
Failed [7 / 7]
{Complex[0.0, 18.84955592153876] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.0, 18.84955592153876] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
6.4.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{ze^{+\pi i}} = \expintEin@{-z}-\ln@@{z}-\EulerConstant-\pi i} | Error |
ExpIntegralE[1, z*Exp[+ Pi*I]] == ExpIntegralE[1, - z] + Ln[- z] + EulerGamma - Log[z]- EulerGamma - Pi*I |
Missing Macro Error | Failure | - | Failed [7 / 7]
{Plus[Complex[0.0, 3.6651914291880923], Times[-1.0, Ln[Complex[-0.8660254037844387, -0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[0.0, 5.235987755982989], Times[-1.0, Ln[Complex[0.4999999999999998, -0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
6.4.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{ze^{-\pi i}} = \expintEin@{-z}-\ln@@{z}-\EulerConstant+\pi i} | Error |
ExpIntegralE[1, z*Exp[- Pi*I]] == ExpIntegralE[1, - z] + Ln[- z] + EulerGamma - Log[z]- EulerGamma + Pi*I |
Missing Macro Error | Failure | - | Failed [7 / 7]
{Plus[Complex[0.0, -2.6179938779914944], Times[-1.0, Ln[Complex[-0.8660254037844387, -0.49999999999999994]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[0.0, -1.0471975511965976], Times[-1.0, Ln[Complex[0.4999999999999998, -0.8660254037844387]]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
6.4.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \cosint@{ze^{+\pi i}} = +\pi i+\cosint@{z}} | Ci(z*exp(+ Pi*I)) = + Pi*I + Ci(z) |
CosIntegral[z*Exp[+ Pi*I]] == + Pi*I + CosIntegral[z] |
Failure | Failure | Failed [2 / 7] 2/7]: [[0.-6.283185308*I <- {z = 1/2*3^(1/2)+1/2*I} 0.-6.283185308*I <- {z = -1/2+1/2*I*3^(1/2)} |
Failed [2 / 7]
{Complex[0.0, -6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.0, -6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
6.4.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \cosint@{ze^{-\pi i}} = -\pi i+\cosint@{z}} | Ci(z*exp(- Pi*I)) = - Pi*I + Ci(z) |
CosIntegral[z*Exp[- Pi*I]] == - Pi*I + CosIntegral[z] |
Failure | Failure | Failed [5 / 7] 5/7]: [[0.+6.283185308*I <- {z = 1/2-1/2*I*3^(1/2)} 0.+6.283185308*I <- {z = -1/2*3^(1/2)-1/2*I} |
Failed [5 / 7]
{Complex[0.0, 6.283185307179585] <- {Rule[z, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]} Complex[0.0, 6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]} |
6.4.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \coshint@{ze^{+\pi i}} = +\pi i+\coshint@{z}} | Chi(z*exp(+ Pi*I)) = + Pi*I + Chi(z) |
CoshIntegral[z*Exp[+ Pi*I]] == + Pi*I + CoshIntegral[z] |
Failure | Failure | Failed [2 / 7] 2/7]: [[0.-6.283185308*I <- {z = 1/2*3^(1/2)+1/2*I} 0.-6.283185307*I <- {z = -1/2+1/2*I*3^(1/2)} |
Failed [2 / 7]
{Complex[0.0, -6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.0, -6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
6.4.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \coshint@{ze^{-\pi i}} = -\pi i+\coshint@{z}} | Chi(z*exp(- Pi*I)) = - Pi*I + Chi(z) |
CoshIntegral[z*Exp[- Pi*I]] == - Pi*I + CoshIntegral[z] |
Failure | Failure | Failed [5 / 7] 5/7]: [[0.+6.283185307*I <- {z = 1/2-1/2*I*3^(1/2)} 0.+6.283185308*I <- {z = -1/2*3^(1/2)-1/2*I} |
Failed [5 / 7]
{Complex[0.0, 6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]} Complex[0.0, 6.283185307179586] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]} |
6.5.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{-x+ i0} = -\expintEi@{x}- i\pi} | Error |
ExpIntegralE[1, - x + I*0] == - ExpIntegralEi[x]- I*Pi |
Missing Macro Error | Failure | - | Successful [Tested: 3] |
6.5.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{-x- i0} = -\expintEi@{x}+ i\pi} | Error |
ExpIntegralE[1, - x - I*0] == - ExpIntegralEi[x]+ I*Pi |
Missing Macro Error | Failure | - | Failed [3 / 3]
{Complex[0.0, -6.283185307179586] <- {Rule[x, 1.5]} Complex[0.0, -6.283185307179586] <- {Rule[x, 0.5]} |
6.5.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintEi@{x} = -\tfrac{1}{2}(\expintE@{-x+i0}+\expintE@{-x-i0})} | Error |
ExpIntegralEi[x] == -Divide[1,2]*(ExpIntegralE[1, - x + I*0]+ ExpIntegralE[1, - x - I*0]) |
Missing Macro Error | Failure | - | Failed [3 / 3]
{Complex[0.0, -3.141592653589793] <- {Rule[x, 1.5]} Complex[0.0, -3.141592653589793] <- {Rule[x, 0.5]} |
6.5.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \tfrac{1}{2}(\expintEi@{x}+\expintE@{x}) = \sinhint@{x}} | Error |
Divide[1,2]*(ExpIntegralEi[x]+ ExpIntegralE[1, x]) == SinhIntegral[x] |
Missing Macro Error | Failure | - | Successful [Tested: 3] |
6.5.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sinhint@{x} = -i\sinint@{ix}} | Shi(x) = - I*Si(I*x) |
SinhIntegral[x] == - I*SinIntegral[I*x] |
Successful | Successful | - | Successful [Tested: 3] |
6.5.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \tfrac{1}{2}(\expintEi@{x}-\expintE@{x}) = \coshint@{x}} | Error |
Divide[1,2]*(ExpIntegralEi[x]- ExpIntegralE[1, x]) == CoshIntegral[x] |
Missing Macro Error | Failure | Skip - symbolical successful subtest | Successful [Tested: 3] |
6.5.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \coshint@{x} = \cosint@{ix}-\tfrac{1}{2}\pi i} | Chi(x) = Ci(I*x)-(1)/(2)*Pi*I |
CoshIntegral[x] == CosIntegral[I*x]-Divide[1,2]*Pi*I |
Failure | Failure | Successful [Tested: 3] | Successful [Tested: 3] |
6.5.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sinint@{z} = \tfrac{1}{2}i(\expintE@{-iz}-\expintE@{iz})+\tfrac{1}{2}\pi} | Si(z) = (1)/(2)*I*(Ei(- I*z)- Ei(I*z))+(1)/(2)*Pi |
SinIntegral[z] == Divide[1,2]*I*(ExpIntegralE[1, - I*z]- ExpIntegralE[1, I*z])+Divide[1,2]*Pi |
Failure | Failure | Failed [5 / 7] 5/7]: [[-3.141592653+0.*I <- {z = 1/2*3^(1/2)+1/2*I} -3.141592654-.1e-9*I <- {z = 1/2-1/2*I*3^(1/2)} |
Failed [2 / 7]
{Complex[-3.141592653589793, 0.0] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} Complex[-3.141592653589793, 0.0] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]} |
6.5.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \cosint@{z} = -\tfrac{1}{2}(\expintE@{iz}+\expintE@{-iz})} | Ci(z) = -(1)/(2)*(Ei(I*z)+ Ei(- I*z)) |
CosIntegral[z] == -Divide[1,2]*(ExpIntegralE[1, I*z]+ ExpIntegralE[1, - I*z]) |
Failure | Failure | Failed [7 / 7] 7/7]: [[.8944744988+.632221722*I <- {z = 1/2*3^(1/2)+1/2*I} 1.393548628+1.498247032*I <- {z = -1/2+1/2*I*3^(1/2)} |
Failed [2 / 7]
{Complex[0.0, 3.141592653589793] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} Complex[0.0, -3.141592653589793] <- {Rule[z, Power[E, Times[Complex[0, Rational[-5, 6]], Pi]]]} |
6.6.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintEi@{x} = \EulerConstant+\ln@@{x}+\sum_{n=1}^{\infty}\frac{x^{n}}{n!\thinspace n}} | Error |
ExpIntegralEi[x] == EulerGamma + Log[x]+ Sum[Divide[(x)^(n),(n)!*n], {n, 1, Infinity}, GenerateConditions->None] |
Missing Macro Error | Failure | - | Successful [Tested: 3] |
6.6.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{z} = -\EulerConstant-\ln@@{z}-\sum_{n=1}^{\infty}\frac{(-1)^{n}z^{n}}{n!\thinspace n}} | Ei(z) = - gamma - ln(z)- sum(((- 1)^(n)* (z)^(n))/(factorial(n)*n), n = 1..infinity) |
ExpIntegralE[1, z] == - EulerGamma - Log[z]- Sum[Divide[(- 1)^(n)* (z)^(n),(n)!*n], {n, 1, Infinity}, GenerateConditions->None] |
Failure | Failure | Failed [7 / 7] 7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I} .8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 7] |
6.6.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{z} = -\ln@@{z}+e^{-z}\sum_{n=0}^{\infty}\frac{z^{n}}{n!}\digamma@{n+1}} | Ei(z) = - ln(z)+ exp(- z)*sum(((z)^(n))/(factorial(n))*Psi(n + 1), n = 0..infinity) |
ExpIntegralE[1, z] == - Log[z]+ Exp[- z]*Sum[Divide[(z)^(n),(n)!]*PolyGamma[n + 1], {n, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Failed [7 / 7] 7/7]: [[1.393548628+1.498247031*I <- {z = 1/2*3^(1/2)+1/2*I} .8944744987+3.773814376*I <- {z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 7] |
6.6.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintEin@{z} = \sum_{n=1}^{\infty}\frac{(-1)^{n-1}z^{n}}{n!\thinspace n}} | Error |
ExpIntegralE[1, z] + Ln[z] + EulerGamma == Sum[Divide[(- 1)^(n - 1)* (z)^(n),(n)!*n], {n, 1, Infinity}, GenerateConditions->None] |
Missing Macro Error | Failure | - | Failed [7 / 7]
{Plus[Complex[0.0, -0.5235987755982988], Ln[Complex[0.8660254037844387, 0.49999999999999994]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[0.0, -2.0943951023931953], Ln[Complex[-0.4999999999999998, 0.8660254037844387]]] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} |
6.6.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sinint@{z} = \sum_{n=0}^{\infty}\frac{(-1)^{n}z^{2n+1}}{(2n+1)!(2n+1)}} | Si(z) = sum(((- 1)^(n)* (z)^(2*n + 1))/(factorial(2*n + 1)*(2*n + 1)), n = 0..infinity) |
SinIntegral[z] == Sum[Divide[(- 1)^(n)* (z)^(2*n + 1),(2*n + 1)!*(2*n + 1)], {n, 0, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 7] |
6.6.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \cosint@{z} = \EulerConstant+\ln@@{z}+\sum_{n=1}^{\infty}\frac{(-1)^{n}z^{2n}}{(2n)!(2n)}} | Ci(z) = gamma + ln(z)+ sum(((- 1)^(n)* (z)^(2*n))/(factorial(2*n)*(2*n)), n = 1..infinity) |
CosIntegral[z] == EulerGamma + Log[z]+ Sum[Divide[(- 1)^(n)* (z)^(2*n),(2*n)!*(2*n)], {n, 1, Infinity}, GenerateConditions->None] |
Successful | Successful | - | Successful [Tested: 7] |
6.7.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\frac{e^{-at}}{t+b}\diff{t} = \int_{0}^{\infty}\frac{e^{iat}}{t+ib}\diff{t}} | int((exp(- a*t))/(t + b), t = 0..infinity) = int((exp(I*a*t))/(t + I*b), t = 0..infinity) |
Integrate[Divide[Exp[- a*t],t + b], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Divide[Exp[I*a*t],t + I*b], {t, 0, Infinity}, GenerateConditions->None] |
Successful | Aborted | Skip - symbolical successful subtest | Successful [Tested: 9] |
6.7.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\frac{e^{iat}}{t+ib}\diff{t} = e^{ab}\expintE@{ab}} | int((exp(I*a*t))/(t + I*b), t = 0..infinity) = exp(a*b)*Ei(a*b) |
Integrate[Divide[Exp[I*a*t],t + I*b], {t, 0, Infinity}, GenerateConditions->None] == Exp[a*b]*ExpIntegralE[1, a*b] |
Failure | Failure | Failed [9 / 9] 9/9]: [[-56.03273673 <- {a = 1.5, b = 1.5} -1.835422085 <- {a = 1.5, b = .5} |
Successful [Tested: 9] |
6.7.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle e^{x}\int_{0}^{\alpha}\frac{e^{-xt}}{1-t}\diff{t} = \expintEi@{x}-\expintEi@{(1-\alpha)x}} | Error |
Exp[x]*Integrate[Divide[Exp[- x*t],1 - t], {t, 0, \[Alpha]}, GenerateConditions->None] == ExpIntegralEi[x]- ExpIntegralEi[(1 - \[Alpha])* x] |
Missing Macro Error | Failure | - | Successful [Tested: 3] |
6.7.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{x}^{\infty}\frac{e^{it}}{a^{2}+t^{2}}\diff{t} = \frac{i}{2a}\left(e^{a}\expintE@{a-ix}-e^{-a}\expintE@{-a-ix}\right)} | int((exp(I*t))/((a)^(2)+ (t)^(2)), t = x..infinity) = (I)/(2*a)*(exp(a)*Ei(a - I*x)- exp(- a)*Ei(- a - I*x)) |
Integrate[Divide[Exp[I*t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == Divide[I,2*a]*(Exp[a]*ExpIntegralE[1, a - I*x]- Exp[- a]*ExpIntegralE[1, - a - I*x]) |
Failure | Aborted | Failed [9 / 9] 9/9]: [[-5.458727175-3.178550596*I <- {a = 1.5, x = 1.5} -1.924923680-4.406791455*I <- {a = 1.5, x = .5} |
Skipped - Because timed out |
6.7.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{x}^{\infty}\frac{te^{it}}{a^{2}+t^{2}}\diff{t} = \tfrac{1}{2}\left(e^{a}\expintE@{a-ix}+e^{-a}\expintE@{-a-ix}\right)} | int((t*exp(I*t))/((a)^(2)+ (t)^(2)), t = x..infinity) = (1)/(2)*(exp(a)*Ei(a - I*x)+ exp(- a)*Ei(- a - I*x)) |
Integrate[Divide[t*Exp[I*t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == Divide[1,2]*(Exp[a]*ExpIntegralE[1, a - I*x]+ Exp[- a]*ExpIntegralE[1, - a - I*x]) |
Failure | Aborted | Failed [9 / 9] 9/9]: [[-5.267453009+8.746914637*I <- {a = 1.5, x = 1.5} -7.302877906+3.948990541*I <- {a = 1.5, x = .5} |
Successful [Tested: 9] |
6.7.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{x}^{\infty}\frac{e^{-t}}{a^{2}+t^{2}}\diff{t} = -\frac{1}{2ai}\left(e^{ia}\expintE@{x+ia}-e^{-ia}\expintE@{x-ia}\right)} | int((exp(- t))/((a)^(2)+ (t)^(2)), t = x..infinity) = -(1)/(2*a*I)*(exp(I*a)*Ei(x + I*a)- exp(- I*a)*Ei(x - I*a)) |
Integrate[Divide[Exp[- t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == -Divide[1,2*a*I]*(Exp[I*a]*ExpIntegralE[1, x + I*a]- Exp[- I*a]*ExpIntegralE[1, x - I*a]) |
Failure | Aborted | Failed [9 / 9] 9/9]: [[1.667239755-0.*I <- {a = 1.5, x = 1.5, x = 3/2} .7611670238-0.*I <- {a = 1.5, x = .5, x = 3/2} |
Skipped - Because timed out |
6.7.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{x}^{\infty}\frac{te^{-t}}{a^{2}+t^{2}}\diff{t} = \tfrac{1}{2}\left(e^{ia}\expintE@{x+ia}+e^{-ia}\expintE@{x-ia}\right)} | int((t*exp(- t))/((a)^(2)+ (t)^(2)), t = x..infinity) = (1)/(2)*(exp(I*a)*Ei(x + I*a)+ exp(- I*a)*Ei(x - I*a)) |
Integrate[Divide[t*Exp[- t],(a)^(2)+ (t)^(2)], {t, x, Infinity}, GenerateConditions->None] == Divide[1,2]*(Exp[I*a]*ExpIntegralE[1, x + I*a]+ Exp[- I*a]*ExpIntegralE[1, x - I*a]) |
Failure | Aborted | Failed [9 / 9] 9/9]: [[3.610851888+0.*I <- {a = 1.5, x = 1.5, x = 3/2} 2.934911868+0.*I <- {a = 1.5, x = .5, x = 3/2} |
Skipped - Because timed out |
6.7.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{1}\frac{e^{-at}\sin@{bt}}{t}\diff{t} = \imagpart@@{\expintEin@{a+ib}}} | Error |
Integrate[Divide[Exp[- a*t]*Sin[b*t],t], {t, 0, 1}, GenerateConditions->None] == Im[ExpIntegralE[1, a + I*b] + Ln[a + I*b] + EulerGamma] |
Missing Macro Error | Failure | - | Failed [1 / 1]
{Plus[Complex[0.7167380515760515, 5.551115123125783*^-17], Times[-1.0, Plus[-0.06866011182139653, Im[Ln[Complex[1.5, 1.5]]]]]] <- {Rule[a, Rational[3, 2]], Rule[b, Rational[3, 2]]} |
6.7.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{1}\frac{e^{-at}(1-\cos@{bt})}{t}\diff{t} = \realpart@@{\expintEin@{a+ib}}-\expintEin@{a}} | Error |
Integrate[Divide[Exp[- a*t]*(1 - Cos[b*t]),t], {t, 0, 1}, GenerateConditions->None] == Re[ExpIntegralE[1, a + I*b] + Ln[a + I*b] + EulerGamma]- ExpIntegralE[1, a] + Ln[a] + EulerGamma |
Missing Macro Error | Failure | - | Failed [1 / 1]
{Plus[Complex[-0.8490131893081223, 0.0], Times[-1.0, Ln[1.5]], Times[-1.0, Plus[-0.04115544978502889, Re[Ln[Complex[1.5, 1.5]]]]]] <- {Rule[a, Rational[3, 2]], Rule[b, Rational[3, 2]]} |
6.7.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \shiftsinint@{z} = -\int_{0}^{\pi/2}e^{-z\cos@@{t}}\cos@{z\sin@@{t}}\diff{t}} | Ssi(z) = - int(exp(- z*cos(t))*cos(z*sin(t)), t = 0..Pi/ 2) |
SinIntegral[z] - Pi/2 == - Integrate[Exp[- z*Cos[t]]*Cos[z*Sin[t]], {t, 0, Pi/ 2}, GenerateConditions->None] |
Failure | Aborted | Failed [2 / 7] 2/7]: [[-3.141592654+.1e-9*I <- {z = -1/2+1/2*I*3^(1/2)} -3.141592653+0.*I <- {z = -1/2*3^(1/2)-1/2*I} |
Skipped - Because timed out |
6.7.E13 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\frac{\sin@@{t}}{t+z}\diff{t} = \int_{0}^{\infty}\frac{e^{-zt}}{t^{2}+1}\diff{t}} | int((sin(t))/(t + z), t = 0..infinity) = int((exp(- z*t))/((t)^(2)+ 1), t = 0..infinity) |
Integrate[Divide[Sin[t],t + z], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Divide[Exp[- z*t],(t)^(2)+ 1], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Successful | Error | Successful [Tested: 7] |
6.7.E14 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\frac{\cos@@{t}}{t+z}\diff{t} = \int_{0}^{\infty}\frac{te^{-zt}}{t^{2}+1}\diff{t}} | int((cos(t))/(t + z), t = 0..infinity) = int((t*exp(- z*t))/((t)^(2)+ 1), t = 0..infinity) |
Integrate[Divide[Cos[t],t + z], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Divide[t*Exp[- z*t],(t)^(2)+ 1], {t, 0, Infinity}, GenerateConditions->None] |
Failure | Successful | Error | Successful [Tested: 7] |
6.8.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2}\ln@{1+\frac{2}{x}} < e^{x}\expintE@{x}} | (1)/(2)*ln(1 +(2)/(x)) < exp(x)*Ei(x) |
Divide[1,2]*Log[1 +Divide[2,x]] < Exp[x]*ExpIntegralE[1, x] |
Failure | Failure | Failed [1 / 3] 1/3]: [[.8047189560 < .7488820189 <- {x = .5} |
Successful [Tested: 3] |
6.8.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle e^{x}\expintE@{x} < \ln@{1+\frac{1}{x}}} | exp(x)*Ei(x) < ln(1 +(1)/(x)) |
Exp[x]*ExpIntegralE[1, x] < Log[1 +Divide[1,x]] |
Failure | Failure | Failed [2 / 3] 2/3]: [[14.79533491 < .5108256240 <- {x = 1.5} 36.60711558 < .4054651081 <- {x = 2} |
Successful [Tested: 3] |
6.8.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{x}{x+1} < xe^{x}\expintE@{x}} | (x)/(x + 1) < x*exp(x)*Ei(x) |
Divide[x,x + 1] < x*Exp[x]*ExpIntegralE[1, x] |
Failure | Failure | Successful [Tested: 3] | Successful [Tested: 3] |
6.8.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle xe^{x}\expintE@{x} < \frac{x+1}{x+2}} | x*exp(x)*Ei(x) < (x + 1)/(x + 2) |
x*Exp[x]*ExpIntegralE[1, x] < Divide[x + 1,x + 2] |
Failure | Failure | Failed [2 / 3] 2/3]: [[22.19300237 < .7142857143 <- {x = 1.5} 73.21423116 < .7500000000 <- {x = 2} |
Successful [Tested: 3] |
6.8.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{x(x+3)}{x^{2}+4x+2} < xe^{x}\expintE@{x}} | (x*(x + 3))/((x)^(2)+ 4*x + 2) < x*exp(x)*Ei(x) |
Divide[x*(x + 3),(x)^(2)+ 4*x + 2] < x*Exp[x]*ExpIntegralE[1, x] |
Failure | Failure | Failed [1 / 3] 1/3]: [[.4117647059 < .3744410095 <- {x = .5} |
Successful [Tested: 3] |
6.8.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle xe^{x}\expintE@{x} < \frac{x^{2}+5x+2}{x^{2}+6x+6}} | x*exp(x)*Ei(x) < ((x)^(2)+ 5*x + 2)/((x)^(2)+ 6*x + 6) |
x*Exp[x]*ExpIntegralE[1, x] < Divide[(x)^(2)+ 5*x + 2,(x)^(2)+ 6*x + 6] |
Failure | Failure | Failed [2 / 3] 2/3]: [[22.19300237 < .6811594203 <- {x = 1.5} 73.21423116 < .7272727273 <- {x = 2} |
Successful [Tested: 3] |
6.10#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{0} = 1} | c[0] = 1 |
Subscript[c, 0] == 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
6.10#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{1} = -1} | c[1] = - 1 |
Subscript[c, 1] == - 1 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
6.10#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{2} = \tfrac{1}{2}} | c[2] = (1)/(2) |
Subscript[c, 2] == Divide[1,2] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
6.10#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{3} = -\tfrac{1}{3}} | c[3] = -(1)/(3) |
Subscript[c, 3] == -Divide[1,3] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
6.10#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{4} = \tfrac{1}{6}} | c[4] = (1)/(6) |
Subscript[c, 4] == Divide[1,6] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
6.10.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle c_{k} = -\sum_{j=0}^{k-1}\frac{c_{j}}{k-j}} | c[k] = - sum((c[j])/(k - j), j = 0..k - 1) |
Subscript[c, k] == - Sum[Divide[Subscript[c, j],k - j], {j, 0, k - 1}, GenerateConditions->None] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
6.10.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sinint@{z} = z\sum_{n=0}^{\infty}\left(\sphBesselJ{n}@{\tfrac{1}{2}z}\right)^{2}} | Error |
SinIntegral[z] == z*Sum[(SphericalBesselJ[n, Divide[1,2]*z])^(2), {n, 0, Infinity}, GenerateConditions->None] |
Missing Macro Error | Successful | - | Successful [Tested: 7] |
6.10.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintEi@{x} = \EulerConstant+\ln@@{\abs{x}}+\sum_{n=0}^{\infty}(-1)^{n}(x-a_{n})\left(\modsphBesseli{1}{n}@{\tfrac{1}{2}x}\right)^{2}} | Error |
ExpIntegralEi[x] == EulerGamma + Log[Abs[x]]+ Sum[(- 1)^(n)*(x - Subscript[a, n])*(Sqrt[Divide[Pi, Divide[1,2]*x]/2] BesselI[(-1)^(1-1)*(n + 1/2), n])^(2), {n, 0, Infinity}, GenerateConditions->None] |
Missing Macro Error | Failure | - | Failed [3 / 3]
{Plus[2.318604676120101, Times[-1.0, NSum[Times[2.0943951023931953, Power[-1, n], Power[BesselI[Plus[Rational[1, 2], n], n], 2], Plus[1.5, Times[-1, Plus[1, Times[2, n]], Plus[1, Power[-1, Plus[1, n]], EulerGamma, PolyGamma[0, Plus[1, n]]]]]] <- {n, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[x, 1.5]} Plus[0.570151420521586, Times[-1.0, NSum[Times[6.283185307179586, Power[-1, n], Power[BesselI[Plus[Rational[1, 2], n], n], 2], Plus[0.5, Times[-1, Plus[1, Times[2, n]], Plus[1, Power[-1, Plus[1, n]], EulerGamma, PolyGamma[0, Plus[1, n]]]]]] <- {n, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[x, 0.5]} |
6.10.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintEin@{z} = ze^{-z/2}\left(\modsphBesseli{1}{0}@{\tfrac{1}{2}z}+\sum_{n=1}^{\infty}\dfrac{2n+1}{n(n+1)}\modsphBesseli{1}{n}@{\tfrac{1}{2}z}\right)} | Error |
ExpIntegralE[1, z] + Ln[z] + EulerGamma == z*Exp[- z/ 2]*(Sqrt[Divide[Pi, Divide[1,2]*z]/2] BesselI[(-1)^(1-1)*(0 + 1/2), 0]+ Sum[Divide[2*n + 1,n*(n + 1)]*Sqrt[Divide[Pi, Divide[1,2]*z]/2] BesselI[(-1)^(1-1)*(n + 1/2), n], {n, 1, Infinity}, GenerateConditions->None]) |
Missing Macro Error | Failure | - | Failed [7 / 7] {Plus[Complex[0.7449988338501623, -0.19274910655694033], Ln[Complex[0.8660254037844387, 0.49999999999999994]], Times[Complex[-0.6244291912543926, -0.17523758490546462], NSum[Times[Power[Power[E, Times[Complex[0, Rational[-1, 6]], Pi]], Rational[1, 2]], Power[n, -1], Power[Plus[1, n], -1], Plus[1, Times[2, n]], Power[Pi, Rational[1, 2]], BesselI[Plus[Rational[1, 2], n], n]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Plus[Complex[-0.31531322950964413, -1.02230061506208], Ln[Complex[-0.4999999999999998, 0.8660254037844387]], Times[Complex[0.11615580955286336, -1.278760766761026], NSum[Times[Power[Power[E, Times[Complex[0, Rational[-2, 3]], Pi]], Rational[1, 2]], Power[n, -1], Power[Plus[1, n], -1], Plus[1, Times[2, n]], Power[Pi, Rational[1, 2]], BesselI[Plus[Rational[1, 2], n], n]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Ra
|
6.11.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{z} = \incGamma@{0}{z}} | Ei(z) = GAMMA(0, z) |
ExpIntegralE[1, z] == Gamma[0, z] |
Failure | Failure | Failed [7 / 7] 7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I} .8944744989+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 7] |
6.11.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \expintE@{z} = e^{-z}\KummerconfhyperU@{1}{1}{z}} | Ei(z) = exp(- z)*KummerU(1, 1, z) |
ExpIntegralE[1, z] == Exp[- z]*HypergeometricU[1, 1, z] |
Failure | Failure | Failed [7 / 7] 7/7]: [[1.393548628+1.498247032*I <- {z = 1/2*3^(1/2)+1/2*I} .8944744991+3.773814377*I <- {z = -1/2+1/2*I*3^(1/2)} |
Successful [Tested: 7] |
6.13.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle x_{0} = 0.37250\;74107\;81366\;63446\;19918\;66580\dots} | x[0] = 0.372507410781366634461991866580 |
Subscript[x, 0] == 0.372507410781366634461991866580 |
Skipped - no semantic math | Skipped - no semantic math | - | - |
6.14.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-at}\expintE@{t}\diff{t} = \frac{1}{a}\ln@{1+a}} | int(exp(- a*t)*Ei(t), t = 0..infinity) = (1)/(a)*ln(1 + a) |
Integrate[Exp[- a*t]*ExpIntegralE[1, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,a]*Log[1 + a] |
Failure | Successful | Failed [4 / 4] 4/4]: [[-.1487623676-2.094395103*I <- {a = 1.5} -.5753641448 <- {a = -.5} |
Successful [Tested: 4] |
6.14.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-at}\cosint@{t}\diff{t} = -\frac{1}{2a}\ln@{1+a^{2}}} | int(exp(- a*t)*Ci(t), t = 0..infinity) = -(1)/(2*a)*ln(1 + (a)^(2)) |
Integrate[Exp[- a*t]*CosIntegral[t], {t, 0, Infinity}, GenerateConditions->None] == -Divide[1,2*a]*Log[1 + (a)^(2)] |
Failure | Successful | Successful [Tested: 3] | Successful [Tested: 3] |
6.14.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}e^{-at}\shiftsinint@{t}\diff{t} = -\frac{1}{a}\atan@@{a}} | int(exp(- a*t)*Ssi(t), t = 0..infinity) = -(1)/(a)*arctan(a) |
Integrate[Exp[- a*t]*SinIntegral[t] - Pi/2, {t, 0, Infinity}, GenerateConditions->None] == -Divide[1,a]*ArcTan[a] |
Successful | Failure | - | Failed [3 / 3]
{-902994.0050351195 <- {Rule[a, 1.5]} -902991.9106400171 <- {Rule[a, 0.5]} |
6.14.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\expintE^{2}@{t}\diff{t} = 2\ln@@{2}} | int((Ei(t))^(2), t = 0..infinity) = 2*ln(2) |
Integrate[(ExpIntegralE[1, t])^(2), {t, 0, Infinity}, GenerateConditions->None] == 2*Log[2] |
Failure | Successful | Error | Successful [Tested: 1] |
6.14.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\cos@@{t}\cosint@{t}\diff{t} = \int_{0}^{\infty}\sin@@{t}\shiftsinint@{t}\diff{t}} | int(cos(t)*Ci(t), t = 0..infinity) = int(sin(t)*Ssi(t), t = 0..infinity) |
Integrate[Cos[t]*CosIntegral[t], {t, 0, Infinity}, GenerateConditions->None] == Integrate[Sin[t]*SinIntegral[t] - Pi/2, {t, 0, Infinity}, GenerateConditions->None] |
Failure | Failure | Error | Failed [1 / 1]
{902989.9925173485 <- {} |
6.14.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\sin@@{t}\shiftsinint@{t}\diff{t} = -\tfrac{1}{4}\pi} | int(sin(t)*Ssi(t), t = 0..infinity) = -(1)/(4)*Pi |
Integrate[Sin[t]*SinIntegral[t] - Pi/2, {t, 0, Infinity}, GenerateConditions->None] == -Divide[1,4]*Pi |
Successful | Failure | Skip - symbolical successful subtest | Failed [1 / 1]
{-902989.9925173485 <- {} |
6.14.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\cosint^{2}@{t}\diff{t} = \int_{0}^{\infty}\shiftsinint^{2}@{t}\diff{t}} | int((Ci(t))^(2), t = 0..infinity) = int((Ssi(t))^(2), t = 0..infinity) |
Integrate[(CosIntegral[t])^(2), {t, 0, Infinity}, GenerateConditions->None] == Integrate[(SinIntegral[t] - Pi/2)^(2), {t, 0, Infinity}, GenerateConditions->None] |
Failure | Successful | Successful [Tested: 0] | Successful [Tested: 1] |
6.14.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\shiftsinint^{2}@{t}\diff{t} = \tfrac{1}{2}\pi} | int((Ssi(t))^(2), t = 0..infinity) = (1)/(2)*Pi |
Integrate[(SinIntegral[t] - Pi/2)^(2), {t, 0, Infinity}, GenerateConditions->None] == Divide[1,2]*Pi |
Failure | Successful | Successful [Tested: 0] | Successful [Tested: 1] |
6.14.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int_{0}^{\infty}\cosint@{t}\shiftsinint@{t}\diff{t} = \ln@@{2}} | int(Ci(t)*Ssi(t), t = 0..infinity) = ln(2) |
Integrate[CosIntegral[t]*SinIntegral[t] - Pi/2, {t, 0, Infinity}, GenerateConditions->None] == Log[2] |
Failure | Failure | Successful [Tested: 0] | Failed [1 / 1]
{-902996.3337464853 <- {} |
6.15.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{n=1}^{\infty}\cosint@{\pi n} = \tfrac{1}{2}(\ln@@{2}-\EulerConstant)} | sum(Ci(Pi*n), n = 1..infinity) = (1)/(2)*(ln(2)- gamma) |
Sum[CosIntegral[Pi*n], {n, 1, Infinity}, GenerateConditions->None] == Divide[1,2]*(Log[2]- EulerGamma) |
Failure | Failure | Successful [Tested: 0] | Failed [1 / 1]
{Plus[-0.05796575782920621, NSum[CosIntegral[Times[n, Pi]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {} |
6.15.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{n=1}^{\infty}\frac{\shiftsinint@{\pi n}}{n} = \tfrac{1}{2}\pi(\ln@@{\pi}-1)} | sum((Ssi(Pi*n))/(n), n = 1..infinity) = (1)/(2)*Pi*(ln(Pi)- 1) |
Sum[Divide[SinIntegral[Pi*n] - Pi/2,n], {n, 1, Infinity}, GenerateConditions->None] == Divide[1,2]*Pi*(Log[Pi]- 1) |
Failure | Failure | Successful [Tested: 0] | Failed [1 / 1]
{Plus[-0.22734117306968246, NSum[Times[Power[n, -1], Plus[Times[Rational[-1, 2], Pi], SinIntegral[Times[n, Pi]]]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {} |
6.15.E3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{n=1}^{\infty}(-1)^{n}\cosint@{2\pi n} = 1-\ln@@{2}-\tfrac{1}{2}\EulerConstant} | sum((- 1)^(n)* Ci(2*Pi*n), n = 1..infinity) = 1 - ln(2)-(1)/(2)*gamma |
Sum[(- 1)^(n)* CosIntegral[2*Pi*n], {n, 1, Infinity}, GenerateConditions->None] == 1 - Log[2]-Divide[1,2]*EulerGamma |
Failure | Failure | Successful [Tested: 0] | Failed [1 / 1]
{Plus[-0.018244986989288337, NSum[Times[Power[-1, n], CosIntegral[Times[2, n, Pi]]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {} |
6.15.E4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{n=1}^{\infty}(-1)^{n}\frac{\shiftsinint@{2\pi n}}{n} = \pi(\tfrac{3}{2}\ln@@{2}-1)} | sum((- 1)^(n)*(Ssi(2*Pi*n))/(n), n = 1..infinity) = Pi*((3)/(2)*ln(2)- 1) |
Sum[(- 1)^(n)*Divide[SinIntegral[2*Pi*n] - Pi/2,n], {n, 1, Infinity}, GenerateConditions->None] == Pi*(Divide[3,2]*Log[2]- 1) |
Failure | Failure | Successful [Tested: 0] | Failed [1 / 1]
{Plus[-0.12478648186560967, NSum[Times[Power[-1, n], Power[n, -1], Plus[Times[Rational[-1, 2], Pi], SinIntegral[Times[2, n, Pi]]]] <- {n, 1, DirectedInfinity[1]}, Rule[GenerateConditions, None]]], {} |
6.18#Ex1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{n} = \int_{0}^{\infty}\frac{te^{-zt}}{1+t^{2}}\left(\frac{t^{2}}{1+t^{2}}\right)^{n}\diff{t}} | A[n] = int((t*exp(- z*t))/(1 + (t)^(2))*(((t)^(2))/(1 + (t)^(2)))^(n), t = 0..infinity) |
Subscript[A, n] == Integrate[Divide[t*Exp[- z*t],1 + (t)^(2)]*(Divide[(t)^(2),1 + (t)^(2)])^(n), {t, 0, Infinity}, GenerateConditions->None] |
Failure | Aborted | Failed [210 / 210] 210/210]: [[.7485296696+.6226310704*I <- {z = 1/2*3^(1/2)+1/2*I, A[n] = 1/2*3^(1/2)+1/2*I, n = 1} .8043767351+.5871300239*I <- {z = 1/2*3^(1/2)+1/2*I, A[n] = 1/2*3^(1/2)+1/2*I, n = 2} |
Failed [210 / 210]
{Complex[0.7485296693535908, 0.622631070403298] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.8043767348683764, 0.5871300238783713] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[A, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
6.18#Ex2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle B_{n} = \int_{0}^{\infty}\frac{e^{-zt}}{1+t^{2}}\left(\frac{t^{2}}{1+t^{2}}\right)^{n}\diff{t}} | B[n] = int((exp(- z*t))/(1 + (t)^(2))*(((t)^(2))/(1 + (t)^(2)))^(n), t = 0..infinity) |
Subscript[B, n] == Integrate[Divide[Exp[- z*t],1 + (t)^(2)]*(Divide[(t)^(2),1 + (t)^(2)])^(n), {t, 0, Infinity}, GenerateConditions->None] |
Failure | Aborted | Failed [210 / 210] 210/210]: [[.7390515864+.5822189558*I <- {z = 1/2*3^(1/2)+1/2*I, B[n] = 1/2*3^(1/2)+1/2*I, n = 1} .8115624973+.5498007781*I <- {z = 1/2*3^(1/2)+1/2*I, B[n] = 1/2*3^(1/2)+1/2*I, n = 2} |
Failed [210 / 210]
{Complex[0.7390515861602941, 0.5822189558055343] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[B, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.8115624970800986, 0.549800778092373] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[B, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
6.18#Ex3 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle C_{n} = \int_{0}^{\infty}e^{-zt}\left(\frac{t^{2}}{1+t^{2}}\right)^{n}\diff{t}} | C[n] = int(exp(- z*t)*(((t)^(2))/(1 + (t)^(2)))^(n), t = 0..infinity) |
Subscript[C, n] == Integrate[Exp[- z*t]*(Divide[(t)^(2),1 + (t)^(2)])^(n), {t, 0, Infinity}, GenerateConditions->None] |
Failure | Aborted | Failed [210 / 210] 210/210]: [[.6165937696+.8168923194*I <- {z = 1/2*3^(1/2)+1/2*I, C[n] = 1/2*3^(1/2)+1/2*I, n = 1} .7435675872+.7346733636*I <- {z = 1/2*3^(1/2)+1/2*I, C[n] = 1/2*3^(1/2)+1/2*I, n = 2} |
Failed [210 / 210]
{Complex[0.6165937693596737, 0.8168923194411848] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[C, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Complex[0.7435675869838186, 0.7346733636356504] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[C, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} |
6.18#Ex4 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle A_{n-1} = A_{n}+\frac{z}{2n}C_{n}} | A[n - 1] = A[n]+(z)/(2*n)*C[n] |
Subscript[A, n - 1] == Subscript[A, n]+Divide[z,2*n]*Subscript[C, n] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
6.18#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle B_{n-1} = \frac{2nB_{n}+zA_{n-1}}{2n-1}} | B[n - 1] = (2*n*B[n]+ z*A[n - 1])/(2*n - 1) |
Subscript[B, n - 1] == Divide[2*n*Subscript[B, n]+ z*Subscript[A, n - 1],2*n - 1] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
6.18#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle C_{n-1} = C_{n}+B_{n-1}} | C[n - 1] = C[n]+ B[n - 1] |
Subscript[C, n - 1] == Subscript[C, n]+ Subscript[B, n - 1] |
Skipped - no semantic math | Skipped - no semantic math | - | - |