4.45: Difference between revisions

From testwiki
Jump to navigation Jump to search
VisualWikitext
 
 
Line 14: Line 14:
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/4.45.E1 4.45.E1] || [[Item:Q2004|<math>y = x^{2^{-m}}-1</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>y = x^{2^{-m}}-1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">y = (x)^((2)^(- m))- 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">y == (x)^((2)^(- m))- 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/4.45.E1 4.45.E1] || <math qid="Q2004">y = x^{2^{-m}}-1</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>y = x^{2^{-m}}-1</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">y = (x)^((2)^(- m))- 1</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">y == (x)^((2)^(- m))- 1</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|-  
|-  
| [https://dlmf.nist.gov/4.45.E2 4.45.E2] || [[Item:Q2005|<math>\ln@@{x} = 2^{m}\ln@{1+y}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\ln@@{x} = 2^{m}\ln@{1+y}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>ln(x) = (2)^(m)* ln(1 + y)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Log[x] == (2)^(m)* Log[1 + y]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [54 / 54]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.791759469-6.283185308*I
| [https://dlmf.nist.gov/4.45.E2 4.45.E2] || <math qid="Q2005">\ln@@{x} = 2^{m}\ln@{1+y}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\ln@@{x} = 2^{m}\ln@{1+y}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>ln(x) = (2)^(m)* ln(1 + y)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Log[x] == (2)^(m)* Log[1 + y]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [54 / 54]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.791759469-6.283185308*I
Test Values: {x = 1.5, y = -1.5, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.178053830-12.56637062*I
Test Values: {x = 1.5, y = -1.5, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.178053830-12.56637062*I
Test Values: {x = 1.5, y = -1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 5.950642553-25.13274123*I
Test Values: {x = 1.5, y = -1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 5.950642553-25.13274123*I
Line 24: Line 24:
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[y, -1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[y, -1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/4.45.E3 4.45.E3] || [[Item:Q2006|<math>\ln@@{x} = \ln@@{\xi}+m\ln@@{10}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\ln@@{x} = \ln@@{\xi}+m\ln@@{10}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>ln(x) = ln(xi)+ m*ln(10)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Log[x] == Log[\[Xi]]+ m*Log[10]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [90 / 90]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -1.897119985-.5235987755*I
| [https://dlmf.nist.gov/4.45.E3 4.45.E3] || <math qid="Q2006">\ln@@{x} = \ln@@{\xi}+m\ln@@{10}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\ln@@{x} = \ln@@{\xi}+m\ln@@{10}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>ln(x) = ln(xi)+ m*ln(10)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Log[x] == Log[\[Xi]]+ m*Log[10]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [90 / 90]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -1.897119985-.5235987755*I
Test Values: {x = 1.5, xi = 1/2*3^(1/2)+1/2*I, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -4.199705078-.5235987755*I
Test Values: {x = 1.5, xi = 1/2*3^(1/2)+1/2*I, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -4.199705078-.5235987755*I
Test Values: {x = 1.5, xi = 1/2*3^(1/2)+1/2*I, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -6.502290171-.5235987755*I
Test Values: {x = 1.5, xi = 1/2*3^(1/2)+1/2*I, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -6.502290171-.5235987755*I
Line 32: Line 32:
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/4.45#Ex1 4.45#Ex1] || [[Item:Q2007|<math>m = \floor{\frac{x}{\ln@@{10}}+\frac{1}{2}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>m = \floor{\frac{x}{\ln@@{10}}+\frac{1}{2}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>m = floor((x)/(ln(10))+(1)/(2))</syntaxhighlight> || <syntaxhighlight lang=mathematica>m == Floor[Divide[x,Log[10]]+Divide[1,2]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 9]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.
| [https://dlmf.nist.gov/4.45#Ex1 4.45#Ex1] || <math qid="Q2007">m = \floor{\frac{x}{\ln@@{10}}+\frac{1}{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>m = \floor{\frac{x}{\ln@@{10}}+\frac{1}{2}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>m = floor((x)/(ln(10))+(1)/(2))</syntaxhighlight> || <syntaxhighlight lang=mathematica>m == Floor[Divide[x,Log[10]]+Divide[1,2]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 9]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.
Test Values: {x = 1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 2.
Test Values: {x = 1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 2.
Test Values: {x = 1.5, m = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.
Test Values: {x = 1.5, m = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.
Line 40: Line 40:
Test Values: {Rule[m, 3], Rule[x, 1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[m, 3], Rule[x, 1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/4.45#Ex2 4.45#Ex2] || [[Item:Q2008|<math>y = x-m\ln@@{10}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>y = x-m\ln@@{10}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>y = x - m*ln(10)</syntaxhighlight> || <syntaxhighlight lang=mathematica>y == x - m*Log[10]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [54 / 54]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.697414907
| [https://dlmf.nist.gov/4.45#Ex2 4.45#Ex2] || <math qid="Q2008">y = x-m\ln@@{10}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>y = x-m\ln@@{10}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>y = x - m*ln(10)</syntaxhighlight> || <syntaxhighlight lang=mathematica>y == x - m*Log[10]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [54 / 54]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.697414907
Test Values: {x = 1.5, y = -1.5, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.605170186
Test Values: {x = 1.5, y = -1.5, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.605170186
Test Values: {x = 1.5, y = -1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.907755279
Test Values: {x = 1.5, y = -1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 3.907755279
Line 48: Line 48:
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[y, -1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[y, -1.5]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/4.45.E5 4.45.E5] || [[Item:Q2009|<math>e^{x} = 10^{m}e^{y}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>e^{x} = 10^{m}e^{y}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">exp(x) = (10)^(m)* exp(y)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Exp[x] == (10)^(m)* Exp[y]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/4.45.E5 4.45.E5] || <math qid="Q2009">e^{x} = 10^{m}e^{y}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>e^{x} = 10^{m}e^{y}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">exp(x) = (10)^(m)* exp(y)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Exp[x] == (10)^(m)* Exp[y]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|-  
|-  
| [https://dlmf.nist.gov/4.45#Ex3 4.45#Ex3] || [[Item:Q2010|<math>m = \floor{\xi+\tfrac{1}{2}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>m = \floor{\xi+\tfrac{1}{2}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>m = floor(xi +(1)/(2))</syntaxhighlight> || <syntaxhighlight lang=mathematica>m == Floor[\[Xi]+Divide[1,2]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [26 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.
| [https://dlmf.nist.gov/4.45#Ex3 4.45#Ex3] || <math qid="Q2010">m = \floor{\xi+\tfrac{1}{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>m = \floor{\xi+\tfrac{1}{2}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>m = floor(xi +(1)/(2))</syntaxhighlight> || <syntaxhighlight lang=mathematica>m == Floor[\[Xi]+Divide[1,2]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [26 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.
Test Values: {xi = 1/2*3^(1/2)+1/2*I, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 2.
Test Values: {xi = 1/2*3^(1/2)+1/2*I, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 2.
Test Values: {xi = 1/2*3^(1/2)+1/2*I, m = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.
Test Values: {xi = 1/2*3^(1/2)+1/2*I, m = 3}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.
Line 58: Line 58:
Test Values: {Rule[m, 3], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[m, 3], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/4.45#Ex4 4.45#Ex4] || [[Item:Q2011|<math>\theta = \pi(\xi-m)</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\theta = \pi(\xi-m)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">theta = Pi*(xi - m)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Theta] == Pi*(\[Xi]- m)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/4.45#Ex4 4.45#Ex4] || <math qid="Q2011">\theta = \pi(\xi-m)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\theta = \pi(\xi-m)</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">theta = Pi*(xi - m)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">\[Theta] == Pi*(\[Xi]- m)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|-  
|-  
| [https://dlmf.nist.gov/4.45#Ex5 4.45#Ex5] || [[Item:Q2012|<math>\sin@@{x} = (-1)^{m}\sin@@{\theta}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\sin@@{x} = (-1)^{m}\sin@@{\theta}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>sin(x) = (- 1)^(m)* sin(theta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Sin[x] == (- 1)^(m)* Sin[\[Theta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [81 / 90]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.856475321+.3375964631*I
| [https://dlmf.nist.gov/4.45#Ex5 4.45#Ex5] || <math qid="Q2012">\sin@@{x} = (-1)^{m}\sin@@{\theta}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\sin@@{x} = (-1)^{m}\sin@@{\theta}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>sin(x) = (- 1)^(m)* sin(theta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Sin[x] == (- 1)^(m)* Sin[\[Theta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [81 / 90]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 1.856475321+.3375964631*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .1385146521-.3375964631*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .1385146521-.3375964631*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.856475321+.3375964631*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 1.856475321+.3375964631*I
Line 68: Line 68:
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/4.45#Ex6 4.45#Ex6] || [[Item:Q2013|<math>\cos@@{x} = (-1)^{m}\cos@@{\theta}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\cos@@{x} = (-1)^{m}\cos@@{\theta}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>cos(x) = (- 1)^(m)* cos(theta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Cos[x] == (- 1)^(m)* Cos[\[Theta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [84 / 90]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .8012802206-.3969495503*I
| [https://dlmf.nist.gov/4.45#Ex6 4.45#Ex6] || <math qid="Q2013">\cos@@{x} = (-1)^{m}\cos@@{\theta}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\cos@@{x} = (-1)^{m}\cos@@{\theta}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>cos(x) = (- 1)^(m)* cos(theta)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Cos[x] == (- 1)^(m)* Cos[\[Theta]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [84 / 90]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: .8012802206-.3969495503*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.6598058172+.3969495503*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -.6598058172+.3969495503*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .8012802206-.3969495503*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: .8012802206-.3969495503*I
Line 76: Line 76:
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/4.45.E8 4.45.E8] || [[Item:Q2014|<math>2\atan@@{\frac{x}{1+(1+x^{2})^{1/2}}} = \atan@@{x}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>2\atan@@{\frac{x}{1+(1+x^{2})^{1/2}}} = \atan@@{x}</syntaxhighlight> || <math>0 < x, x < \infty</math> || <syntaxhighlight lang=mathematica>2*arctan((x)/(1 +(1 + (x)^(2))^(1/2))) = arctan(x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>2*ArcTan[Divide[x,1 +(1 + (x)^(2))^(1/2)]] == ArcTan[x]</syntaxhighlight> || Successful || Failure || - || Successful [Tested: 3]
| [https://dlmf.nist.gov/4.45.E8 4.45.E8] || <math qid="Q2014">2\atan@@{\frac{x}{1+(1+x^{2})^{1/2}}} = \atan@@{x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>2\atan@@{\frac{x}{1+(1+x^{2})^{1/2}}} = \atan@@{x}</syntaxhighlight> || <math>0 < x, x < \infty</math> || <syntaxhighlight lang=mathematica>2*arctan((x)/(1 +(1 + (x)^(2))^(1/2))) = arctan(x)</syntaxhighlight> || <syntaxhighlight lang=mathematica>2*ArcTan[Divide[x,1 +(1 + (x)^(2))^(1/2)]] == ArcTan[x]</syntaxhighlight> || Successful || Failure || - || Successful [Tested: 3]
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/4.45.E9 4.45.E9] || [[Item:Q2015|<math>x_{n} = \frac{x_{n-1}}{1+(1+x^{2}_{n-1})^{1/2}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{n} = \frac{x_{n-1}}{1+(1+x^{2}_{n-1})^{1/2}}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[n] = (x[n - 1])/(1 +(1 + (x[n - 1])^(2))^(1/2))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, n] == Divide[Subscript[x, n - 1],1 +(1 + (Subscript[x, n - 1])^(2))^(1/2)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/4.45.E9 4.45.E9] || <math qid="Q2015">x_{n} = \frac{x_{n-1}}{1+(1+x^{2}_{n-1})^{1/2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{n} = \frac{x_{n-1}}{1+(1+x^{2}_{n-1})^{1/2}}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[n] = (x[n - 1])/(1 +(1 + (x[n - 1])^(2))^(1/2))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, n] == Divide[Subscript[x, n - 1],1 +(1 + (Subscript[x, n - 1])^(2))^(1/2)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|-  
|-  
| [https://dlmf.nist.gov/4.45.E10 4.45.E10] || [[Item:Q2016|<math>\atan@@{x} = 2^{n}\atan@@{x_{n}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\atan@@{x} = 2^{n}\atan@@{x_{n}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>arctan(x) = (2)^(n)* arctan(x[n])</syntaxhighlight> || <syntaxhighlight lang=mathematica>ArcTan[x] == (2)^(n)* ArcTan[Subscript[x, n]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [90 / 90]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.5880026038-.5493061442*I
| [https://dlmf.nist.gov/4.45.E10 4.45.E10] || <math qid="Q2016">\atan@@{x} = 2^{n}\atan@@{x_{n}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\atan@@{x} = 2^{n}\atan@@{x_{n}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>arctan(x) = (2)^(n)* arctan(x[n])</syntaxhighlight> || <syntaxhighlight lang=mathematica>ArcTan[x] == (2)^(n)* ArcTan[Subscript[x, n]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [90 / 90]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -.5880026038-.5493061442*I
Test Values: {x = 1.5, x[n] = 1/2*3^(1/2)+1/2*I, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -2.158798931-1.098612288*I
Test Values: {x = 1.5, x[n] = 1/2*3^(1/2)+1/2*I, n = 1}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -2.158798931-1.098612288*I
Test Values: {x = 1.5, x[n] = 1/2*3^(1/2)+1/2*I, n = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -5.300391585-2.197224577*I
Test Values: {x = 1.5, x[n] = 1/2*3^(1/2)+1/2*I, n = 2}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -5.300391585-2.197224577*I
Line 88: Line 88:
Test Values: {Rule[n, 2], Rule[x, 1.5], Rule[Subscript[x, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[n, 2], Rule[x, 1.5], Rule[Subscript[x, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/4.45#Ex7 4.45#Ex7] || [[Item:Q2018|<math>x_{1} = 0.90000\dots</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{1} = 0.90000\dots</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[1] = 0.90000</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, 1] == 0.90000</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/4.45#Ex7 4.45#Ex7] || <math qid="Q2018">x_{1} = 0.90000\dots</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{1} = 0.90000\dots</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[1] = 0.90000</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, 1] == 0.90000</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/4.45#Ex8 4.45#Ex8] || [[Item:Q2019|<math>x_{2} = 0.38373\dots</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{2} = 0.38373\dots</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[2] = 0.38373</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, 2] == 0.38373</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/4.45#Ex8 4.45#Ex8] || <math qid="Q2019">x_{2} = 0.38373\dots</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{2} = 0.38373\dots</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[2] = 0.38373</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, 2] == 0.38373</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/4.45#Ex9 4.45#Ex9] || [[Item:Q2020|<math>x_{3} = 0.18528\dots</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{3} = 0.18528\dots</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[3] = 0.18528</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, 3] == 0.18528</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/4.45#Ex9 4.45#Ex9] || <math qid="Q2020">x_{3} = 0.18528\dots</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{3} = 0.18528\dots</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[3] = 0.18528</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, 3] == 0.18528</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|- style="background: #dfe6e9;"
|- style="background: #dfe6e9;"
| [https://dlmf.nist.gov/4.45#Ex10 4.45#Ex10] || [[Item:Q2021|<math>x_{4} = 0.09185\dots</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{4} = 0.09185\dots</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[4] = 0.09185</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, 4] == 0.09185</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
| [https://dlmf.nist.gov/4.45#Ex10 4.45#Ex10] || <math qid="Q2021">x_{4} = 0.09185\dots</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>x_{4} = 0.09185\dots</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">x[4] = 0.09185</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Subscript[x, 4] == 0.09185</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || -
|-  
|-  
| [https://dlmf.nist.gov/4.45.E13 4.45.E13] || [[Item:Q2022|<math>\atan@@{x} = 16\atan@@{x_{4}}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\atan@@{x} = 16\atan@@{x_{4}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>arctan(x) = 16*arctan(x[4])</syntaxhighlight> || <syntaxhighlight lang=mathematica>ArcTan[x] == 16*ArcTan[Subscript[x, 4]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -11.58357690-4.394449154*I
| [https://dlmf.nist.gov/4.45.E13 4.45.E13] || <math qid="Q2022">\atan@@{x} = 16\atan@@{x_{4}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\atan@@{x} = 16\atan@@{x_{4}}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>arctan(x) = 16*arctan(x[4])</syntaxhighlight> || <syntaxhighlight lang=mathematica>ArcTan[x] == 16*ArcTan[Subscript[x, 4]]</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: -11.58357690-4.394449154*I
Test Values: {x = 1.5, x[4] = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 13.54916434-10.53566318*I
Test Values: {x = 1.5, x[4] = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 13.54916434-10.53566318*I
Test Values: {x = 1.5, x[4] = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -11.58357690+10.53566318*I
Test Values: {x = 1.5, x[4] = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -11.58357690+10.53566318*I
Line 104: Line 104:
Test Values: {Rule[x, 1.5], Rule[Subscript[x, 4], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[x, 1.5], Rule[Subscript[x, 4], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/4.45.E13 4.45.E13] || [[Item:Q2022|<math>16\atan@@{x_{4}} = 1.46563\dots</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>16\atan@@{x_{4}} = 1.46563\dots</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>16*arctan(x[4]) = 1.46563</syntaxhighlight> || <syntaxhighlight lang=mathematica>16*ArcTan[Subscript[x, 4]] == 1.46563</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [10 / 10]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 11.10074062+4.394449154*I
| [https://dlmf.nist.gov/4.45.E13 4.45.E13] || <math qid="Q2022">16\atan@@{x_{4}} = 1.46563\dots</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>16\atan@@{x_{4}} = 1.46563\dots</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>16*arctan(x[4]) = 1.46563</syntaxhighlight> || <syntaxhighlight lang=mathematica>16*ArcTan[Subscript[x, 4]] == 1.46563</syntaxhighlight> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [10 / 10]<div class="mw-collapsible-content"><syntaxhighlight lang=mathematica>Result: 11.10074062+4.394449154*I
Test Values: {x[4] = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -14.03200062+10.53566318*I
Test Values: {x[4] = 1/2*3^(1/2)+1/2*I}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: -14.03200062+10.53566318*I
Test Values: {x[4] = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 11.10074062-10.53566318*I
Test Values: {x[4] = -1/2+1/2*I*3^(1/2)}</syntaxhighlight><br><syntaxhighlight lang=mathematica>Result: 11.10074062-10.53566318*I
Line 112: Line 112:
Test Values: {Rule[Subscript[x, 4], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
Test Values: {Rule[Subscript[x, 4], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</syntaxhighlight><br>... skip entries to safe data</div></div>
|-  
|-  
| [https://dlmf.nist.gov/4.45.E15 4.45.E15] || [[Item:Q2024|<math>\ln@@{z} = \ln@@{|z|}+i\phase@@{z}</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\ln@@{z} = \ln@@{|z|}+i\phase@@{z}</syntaxhighlight> || <math>-\pi \leq \phase@@{z}, \phase@@{z} \leq \pi</math> || <syntaxhighlight lang=mathematica>ln(z) = ln(abs(z))+ I*argument(z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Log[z] == Log[Abs[z]]+ I*Arg[z]</syntaxhighlight> || Failure || Successful || Successful [Tested: 7] || Successful [Tested: 7]
| [https://dlmf.nist.gov/4.45.E15 4.45.E15] || <math qid="Q2024">\ln@@{z} = \ln@@{|z|}+i\phase@@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\ln@@{z} = \ln@@{|z|}+i\phase@@{z}</syntaxhighlight> || <math>-\pi \leq \phase@@{z}, \phase@@{z} \leq \pi</math> || <syntaxhighlight lang=mathematica>ln(z) = ln(abs(z))+ I*argument(z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Log[z] == Log[Abs[z]]+ I*Arg[z]</syntaxhighlight> || Failure || Successful || Successful [Tested: 7] || Successful [Tested: 7]
|-  
|-  
| [https://dlmf.nist.gov/4.45.E16 4.45.E16] || [[Item:Q2025|<math>e^{z} = e^{\realpart@@{z}}(\cos@{\imagpart@@{z}}+i\sin@{\imagpart@@{z}})</math>]]<br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>e^{z} = e^{\realpart@@{z}}(\cos@{\imagpart@@{z}}+i\sin@{\imagpart@@{z}})</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>exp(z) = exp(Re(z))*(cos(Im(z))+ I*sin(Im(z)))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[z] == Exp[Re[z]]*(Cos[Im[z]]+ I*Sin[Im[z]])</syntaxhighlight> || Failure || Successful || Successful [Tested: 7] || Successful [Tested: 7]
| [https://dlmf.nist.gov/4.45.E16 4.45.E16] || <math qid="Q2025">e^{z} = e^{\realpart@@{z}}(\cos@{\imagpart@@{z}}+i\sin@{\imagpart@@{z}})</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>e^{z} = e^{\realpart@@{z}}(\cos@{\imagpart@@{z}}+i\sin@{\imagpart@@{z}})</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>exp(z) = exp(Re(z))*(cos(Im(z))+ I*sin(Im(z)))</syntaxhighlight> || <syntaxhighlight lang=mathematica>Exp[z] == Exp[Re[z]]*(Cos[Im[z]]+ I*Sin[Im[z]])</syntaxhighlight> || Failure || Successful || Successful [Tested: 7] || Successful [Tested: 7]
|}
|}
</div>
</div>

Latest revision as of 11:11, 28 June 2021


DLMF Formula Constraints Maple Mathematica Symbolic
Maple 		Symbolic
Mathematica 		Numeric
Maple 		Numeric
Mathematica
4.45.E1 y = x 2 - m - 1 𝑦 superscript 𝑥 superscript 2 𝑚 1 {\displaystyle{\displaystyle y=x^{2^{-m}}-1}}
y = x^{2^{-m}}-1		 

y = (x)^((2)^(- m))- 1
 
y == (x)^((2)^(- m))- 1
 Skipped - no semantic math Skipped - no semantic math - -
4.45.E2 ln ⁡ x = 2 m ⁢ ln ⁡ ( 1 + y ) 𝑥 superscript 2 𝑚 1 𝑦 {\displaystyle{\displaystyle\ln x=2^{m}\ln\left(1+y\right)}}
\ln@@{x} = 2^{m}\ln@{1+y}		 

ln(x) = (2)^(m)* ln(1 + y)

Log[x] == (2)^(m)* Log[1 + y]
Failure Failure
Failed [54 / 54]
Result: 1.791759469-6.283185308*I
Test Values: {x = 1.5, y = -1.5, m = 1}


Result: 3.178053830-12.56637062*I
Test Values: {x = 1.5, y = -1.5, m = 2}


Result: 5.950642553-25.13274123*I
Test Values: {x = 1.5, y = -1.5, m = 3}


Result: -1.427116356
Test Values: {x = 1.5, y = 1.5, m = 1}

... skip entries to safe data
Failed [54 / 54]
Result: Complex[1.791759469228055, -6.283185307179586]
Test Values: {Rule[m, 1], Rule[x, 1.5], Rule[y, -1.5]}


Result: Complex[3.1780538303479453, -12.566370614359172]
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[y, -1.5]}

... skip entries to safe data
4.45.E3 ln ⁡ x = ln ⁡ ξ + m ⁢ ln ⁡ 10 𝑥 𝜉 𝑚 10 {\displaystyle{\displaystyle\ln x=\ln\xi+m\ln 10}}
\ln@@{x} = \ln@@{\xi}+m\ln@@{10}		 

ln(x) = ln(xi)+ m*ln(10)

Log[x] == Log[\[Xi]]+ m*Log[10]
Failure Failure
Failed [90 / 90]
Result: -1.897119985-.5235987755*I
Test Values: {x = 1.5, xi = 1/2*3^(1/2)+1/2*I, m = 1}


Result: -4.199705078-.5235987755*I
Test Values: {x = 1.5, xi = 1/2*3^(1/2)+1/2*I, m = 2}


Result: -6.502290171-.5235987755*I
Test Values: {x = 1.5, xi = 1/2*3^(1/2)+1/2*I, m = 3}


Result: -1.897119985-2.094395102*I
Test Values: {x = 1.5, xi = -1/2+1/2*I*3^(1/2), m = 1}

... skip entries to safe data
Failed [90 / 90]
Result: Complex[-1.8971199848858815, -0.5235987755982988]
Test Values: {Rule[m, 1], Rule[x, 1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Complex[-4.199705077879927, -0.5235987755982988]
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
4.45#Ex1 m = ⌊ x ln ⁡ 10 + 1 2 ⌋ 𝑚 𝑥 10 1 2 {\displaystyle{\displaystyle m=\left\lfloor\frac{x}{\ln 10}+\frac{1}{2}\right% \rfloor}}
m = \floor{\frac{x}{\ln@@{10}}+\frac{1}{2}}		 

m = floor((x)/(ln(10))+(1)/(2))

m == Floor[Divide[x,Log[10]]+Divide[1,2]]
Failure Failure
Failed [7 / 9]
Result: 1.
Test Values: {x = 1.5, m = 2}


Result: 2.
Test Values: {x = 1.5, m = 3}


Result: 1.
Test Values: {x = .5, m = 1}


Result: 2.
Test Values: {x = .5, m = 2}

... skip entries to safe data
Failed [7 / 9]
Result: 1.0
Test Values: {Rule[m, 2], Rule[x, 1.5]}


Result: 2.0
Test Values: {Rule[m, 3], Rule[x, 1.5]}

... skip entries to safe data
4.45#Ex2 y = x - m ⁢ ln ⁡ 10 𝑦 𝑥 𝑚 10 {\displaystyle{\displaystyle y=x-m\ln 10}}
y = x-m\ln@@{10}		 

y = x - m*ln(10)

y == x - m*Log[10]
Failure Failure
Failed [54 / 54]
Result: -.697414907
Test Values: {x = 1.5, y = -1.5, m = 1}


Result: 1.605170186
Test Values: {x = 1.5, y = -1.5, m = 2}


Result: 3.907755279
Test Values: {x = 1.5, y = -1.5, m = 3}


Result: 2.302585093
Test Values: {x = 1.5, y = 1.5, m = 1}

... skip entries to safe data
Failed [54 / 54]
Result: -0.6974149070059541
Test Values: {Rule[m, 1], Rule[x, 1.5], Rule[y, -1.5]}


Result: 1.6051701859880918
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[y, -1.5]}

... skip entries to safe data
4.45.E5 e x = 10 m ⁢ e y superscript 𝑒 𝑥 superscript 10 𝑚 superscript 𝑒 𝑦 {\displaystyle{\displaystyle e^{x}=10^{m}e^{y}}}
e^{x} = 10^{m}e^{y}		 

exp(x) = (10)^(m)* exp(y)
 
Exp[x] == (10)^(m)* Exp[y]
 Skipped - no semantic math Skipped - no semantic math - -
4.45#Ex3 m = ⌊ ξ + 1 2 ⌋ 𝑚 𝜉 1 2 {\displaystyle{\displaystyle m=\left\lfloor\xi+\tfrac{1}{2}\right\rfloor}}
m = \floor{\xi+\tfrac{1}{2}}		 

m = floor(xi +(1)/(2))

m == Floor[\[Xi]+Divide[1,2]]
Failure Failure
Failed [26 / 30]
Result: 1.
Test Values: {xi = 1/2*3^(1/2)+1/2*I, m = 2}


Result: 2.
Test Values: {xi = 1/2*3^(1/2)+1/2*I, m = 3}


Result: 1.
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 1}


Result: 2.
Test Values: {xi = -1/2+1/2*I*3^(1/2), m = 2}

... skip entries to safe data
Failed [26 / 30]
Result: 1.0
Test Values: {Rule[m, 2], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: 2.0
Test Values: {Rule[m, 3], Rule[ξ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
4.45#Ex4 θ = π ⁢ ( ξ - m ) 𝜃 𝜋 𝜉 𝑚 {\displaystyle{\displaystyle\theta=\pi(\xi-m)}}
\theta = \pi(\xi-m)		 

theta = Pi*(xi - m)
 
\[Theta] == Pi*(\[Xi]- m)
 Skipped - no semantic math Skipped - no semantic math - -
4.45#Ex5 sin ⁡ x = ( - 1 ) m ⁢ sin ⁡ θ 𝑥 superscript 1 𝑚 𝜃 {\displaystyle{\displaystyle\sin x=(-1)^{m}\sin\theta}}
\sin@@{x} = (-1)^{m}\sin@@{\theta}		 

sin(x) = (- 1)^(m)* sin(theta)

Sin[x] == (- 1)^(m)* Sin[\[Theta]]
Failure Failure
Failed [81 / 90]
Result: 1.856475321+.3375964631*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 1}


Result: .1385146521-.3375964631*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 2}


Result: 1.856475321+.3375964631*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 3}


Result: 1.338405873+.3375964631*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = .5, m = 1}

... skip entries to safe data
Failed [81 / 90]
Result: Complex[1.8564753209041922, 0.33759646322287]
Test Values: {Rule[m, 1], Rule[x, 1.5], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Complex[0.13851465230391657, -0.33759646322287]
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
4.45#Ex6 cos ⁡ x = ( - 1 ) m ⁢ cos ⁡ θ 𝑥 superscript 1 𝑚 𝜃 {\displaystyle{\displaystyle\cos x=(-1)^{m}\cos\theta}}
\cos@@{x} = (-1)^{m}\cos@@{\theta}		 

cos(x) = (- 1)^(m)* cos(theta)

Cos[x] == (- 1)^(m)* Cos[\[Theta]]
Failure Failure
Failed [84 / 90]
Result: .8012802206-.3969495503*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 1}


Result: -.6598058172+.3969495503*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 2}


Result: .8012802206-.3969495503*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = 1.5, m = 3}


Result: 1.608125581-.3969495503*I
Test Values: {theta = 1/2*3^(1/2)+1/2*I, x = .5, m = 1}

... skip entries to safe data
Failed [84 / 90]
Result: Complex[0.8012802207249281, -0.3969495502290325]
Test Values: {Rule[m, 1], Rule[x, 1.5], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Complex[-0.6598058173895223, 0.3969495502290325]
Test Values: {Rule[m, 2], Rule[x, 1.5], Rule[θ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
4.45.E8 2 ⁢ arctan ⁡ x 1 + ( 1 + x 2 ) 1 / 2 = arctan ⁡ x 2 𝑥 1 superscript 1 superscript 𝑥 2 1 2 𝑥 {\displaystyle{\displaystyle 2\operatorname{arctan}\frac{x}{1+(1+x^{2})^{1/2}}% =\operatorname{arctan}x}}
2\atan@@{\frac{x}{1+(1+x^{2})^{1/2}}} = \atan@@{x}		 0 < x , x < ∞ formulae-sequence 0 𝑥 𝑥 {\displaystyle{\displaystyle 0<x,x<\infty}} 
2*arctan((x)/(1 +(1 + (x)^(2))^(1/2))) = arctan(x)

2*ArcTan[Divide[x,1 +(1 + (x)^(2))^(1/2)]] == ArcTan[x]
Successful Failure - Successful [Tested: 3]
4.45.E9 x n = x n - 1 1 + ( 1 + x n - 1 2 ) 1 / 2 subscript 𝑥 𝑛 subscript 𝑥 𝑛 1 1 superscript 1 subscript superscript 𝑥 2 𝑛 1 1 2 {\displaystyle{\displaystyle x_{n}=\frac{x_{n-1}}{1+(1+x^{2}_{n-1})^{1/2}}}}
x_{n} = \frac{x_{n-1}}{1+(1+x^{2}_{n-1})^{1/2}}		 

x[n] = (x[n - 1])/(1 +(1 + (x[n - 1])^(2))^(1/2))
 
Subscript[x, n] == Divide[Subscript[x, n - 1],1 +(1 + (Subscript[x, n - 1])^(2))^(1/2)]
 Skipped - no semantic math Skipped - no semantic math - -
4.45.E10 arctan ⁡ x = 2 n ⁢ arctan ⁡ x n 𝑥 superscript 2 𝑛 subscript 𝑥 𝑛 {\displaystyle{\displaystyle\operatorname{arctan}x=2^{n}\operatorname{arctan}x% _{n}}}
\atan@@{x} = 2^{n}\atan@@{x_{n}}		 

arctan(x) = (2)^(n)* arctan(x[n])

ArcTan[x] == (2)^(n)* ArcTan[Subscript[x, n]]
Failure Failure
Failed [90 / 90]
Result: -.5880026038-.5493061442*I
Test Values: {x = 1.5, x[n] = 1/2*3^(1/2)+1/2*I, n = 1}


Result: -2.158798931-1.098612288*I
Test Values: {x = 1.5, x[n] = 1/2*3^(1/2)+1/2*I, n = 2}


Result: -5.300391585-2.197224577*I
Test Values: {x = 1.5, x[n] = 1/2*3^(1/2)+1/2*I, n = 3}


Result: 2.553590050-1.316957897*I
Test Values: {x = 1.5, x[n] = -1/2+1/2*I*3^(1/2), n = 1}

... skip entries to safe data
Failed [90 / 90]
Result: Complex[-0.5880026035475677, -0.5493061443340551]
Test Values: {Rule[n, 1], Rule[x, 1.5], Rule[Subscript[x, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Complex[-2.1587989303424644, -1.0986122886681102]
Test Values: {Rule[n, 2], Rule[x, 1.5], Rule[Subscript[x, n], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}

... skip entries to safe data
4.45#Ex7 x 1 = 0.90000 ⁢ … subscript 𝑥 1 0.90000 … {\displaystyle{\displaystyle x_{1}=0.90000\dots}}
x_{1} = 0.90000\dots		 

x[1] = 0.90000
 
Subscript[x, 1] == 0.90000
 Skipped - no semantic math Skipped - no semantic math - -
4.45#Ex8 x 2 = 0.38373 ⁢ … subscript 𝑥 2 0.38373 … {\displaystyle{\displaystyle x_{2}=0.38373\dots}}
x_{2} = 0.38373\dots		 

x[2] = 0.38373
 
Subscript[x, 2] == 0.38373
 Skipped - no semantic math Skipped - no semantic math - -
4.45#Ex9 x 3 = 0.18528 ⁢ … subscript 𝑥 3 0.18528 … {\displaystyle{\displaystyle x_{3}=0.18528\dots}}
x_{3} = 0.18528\dots		 

x[3] = 0.18528
 
Subscript[x, 3] == 0.18528
 Skipped - no semantic math Skipped - no semantic math - -
4.45#Ex10 x 4 = 0.09185 ⁢ … subscript 𝑥 4 0.09185 … {\displaystyle{\displaystyle x_{4}=0.09185\dots}}
x_{4} = 0.09185\dots		 

x[4] = 0.09185
 
Subscript[x, 4] == 0.09185
 Skipped - no semantic math Skipped - no semantic math - -
4.45.E13 arctan ⁡ x = 16 ⁢ arctan ⁡ x 4 𝑥 16 subscript 𝑥 4 {\displaystyle{\displaystyle\operatorname{arctan}x=16\operatorname{arctan}x_{4% }}}
\atan@@{x} = 16\atan@@{x_{4}}		 

arctan(x) = 16*arctan(x[4])

ArcTan[x] == 16*ArcTan[Subscript[x, 4]]
Failure Failure
Failed [30 / 30]
Result: -11.58357690-4.394449154*I
Test Values: {x = 1.5, x[4] = 1/2*3^(1/2)+1/2*I}


Result: 13.54916434-10.53566318*I
Test Values: {x = 1.5, x[4] = -1/2+1/2*I*3^(1/2)}


Result: -11.58357690+10.53566318*I
Test Values: {x = 1.5, x[4] = 1/2-1/2*I*3^(1/2)}


Result: 13.54916434+4.394449154*I
Test Values: {x = 1.5, x[4] = -1/2*3^(1/2)-1/2*I}

... skip entries to safe data
Failed [30 / 30]
Result: Complex[-11.583576891111845, -4.394449154672441]
Test Values: {Rule[x, 1.5], Rule[Subscript[x, 4], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Complex[13.549164337606502, -10.535663175398536]
Test Values: {Rule[x, 1.5], Rule[Subscript[x, 4], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
4.45.E13 16 ⁢ arctan ⁡ x 4 = 1.46563 ⁢ … 16 subscript 𝑥 4 1.46563 … {\displaystyle{\displaystyle 16\operatorname{arctan}x_{4}=1.46563\dots}}
16\atan@@{x_{4}} = 1.46563\dots		 

16*arctan(x[4]) = 1.46563

16*ArcTan[Subscript[x, 4]] == 1.46563
Failure Failure
Failed [10 / 10]
Result: 11.10074062+4.394449154*I
Test Values: {x[4] = 1/2*3^(1/2)+1/2*I}


Result: -14.03200062+10.53566318*I
Test Values: {x[4] = -1/2+1/2*I*3^(1/2)}


Result: 11.10074062-10.53566318*I
Test Values: {x[4] = 1/2-1/2*I*3^(1/2)}


Result: -14.03200062-4.394449154*I
Test Values: {x[4] = -1/2*3^(1/2)-1/2*I}

... skip entries to safe data
Failed [10 / 10]
Result: Complex[11.100740614359175, 4.394449154672441]
Test Values: {Rule[Subscript[x, 4], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}


Result: Complex[-14.032000614359173, 10.535663175398536]
Test Values: {Rule[Subscript[x, 4], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}

... skip entries to safe data
4.45.E15 ln ⁡ z = ln ⁡ | z | + i ⁢ ph ⁡ z 𝑧 𝑧 𝑖 phase 𝑧 {\displaystyle{\displaystyle\ln z=\ln|z|+i\operatorname{ph}z}}
\ln@@{z} = \ln@@{|z|}+i\phase@@{z}		 - π ≤ ph ⁡ z , ph ⁡ z ≤ π formulae-sequence 𝜋 phase 𝑧 phase 𝑧 𝜋 {\displaystyle{\displaystyle-\pi\leq\operatorname{ph}z,\operatorname{ph}z\leq% \pi}} 
ln(z) = ln(abs(z))+ I*argument(z)
 
Log[z] == Log[Abs[z]]+ I*Arg[z]
 Failure Successful Successful [Tested: 7] Successful [Tested: 7]
4.45.E16 e z = e ℜ ⁡ z ⁢ ( cos ⁡ ( ℑ ⁡ z ) + i ⁢ sin ⁡ ( ℑ ⁡ z ) ) superscript 𝑒 𝑧 superscript 𝑒 𝑧 𝑧 𝑖 𝑧 {\displaystyle{\displaystyle e^{z}=e^{\Re z}(\cos\left(\Im z\right)+i\sin\left% (\Im z\right))}}
e^{z} = e^{\realpart@@{z}}(\cos@{\imagpart@@{z}}+i\sin@{\imagpart@@{z}})		 

exp(z) = exp(Re(z))*(cos(Im(z))+ I*sin(Im(z)))
 
Exp[z] == Exp[Re[z]]*(Cos[Im[z]]+ I*Sin[Im[z]])
 Failure Successful Successful [Tested: 7] Successful [Tested: 7]
Retrieved from "https://lct.wmflabs.org/w/index.php?title=4.45&oldid=58109"