14.15

DLMF	Formula	Constraints	Maple	Mathematica	Symbolic Maple	Symbolic Mathematica	Numeric Maple	Numeric Mathematica
14.15.E6	${\displaystyle{\displaystyle p=\frac{x}{\left(\alpha^{2}x^{2}+1-\alpha^{2}\right)^{1/2}}}}$ p = \frac{x}{\left(\alpha^{2}x^{2}+1-\alpha^{2}\right)^{1/2}}		p = (x)/(((alpha)^(2)* (x)^(2)+ 1 - (alpha)^(2))^(1/2))	p == Divide[x,(\[Alpha]^(2)* (x)^(2)+ 1 - \[Alpha]^(2))^(1/2)]	Skipped - no semantic math	Skipped - no semantic math	-	-
14.15.E7	${\displaystyle{\displaystyle\rho=\frac{1}{2}\ln\left(\frac{1+p}{1-p}\right)+\frac{1}{2}\alpha\ln\left(\frac{1-\alpha p}{1+\alpha p}\right)}}$ \rho = \frac{1}{2}\ln@{\frac{1+p}{1-p}}+\frac{1}{2}\alpha\ln@{\frac{1-\alpha p}{1+\alpha p}}		rho = (1)/(2)*ln((1 + p)/(1 - p))+(1)/(2)*alpha*ln((1 - alpha*p)/(1 + alpha*p))	\[Rho] == Divide[1,2]*Log[Divide[1 + p,1 - p]]+Divide[1,2]*\[Alpha]*Log[Divide[1 - \[Alpha]*p,1 + \[Alpha]*p]]	Failure	Failure	Failed [300 / 300] Result: 1.030274093+1.413752788*I Test Values: {alpha = 3/2, p = 1/2*3^(1/2)+1/2*I, rho = 1/2*3^(1/2)+1/2*I} Result: -.3357513108+1.779778192*I Test Values: {alpha = 3/2, p = 1/2*3^(1/2)+1/2*I, rho = -1/2+1/2*I*3^(1/2)} ... skip entries to safe data	Failed [300 / 300] Result: Complex[1.030274092896748, 1.4137527888462516] Test Values: {Rule[p, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[ρ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Result: Complex[-0.3357513108876905, 1.7797781926306904] Test Values: {Rule[p, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[α, 1.5], Rule[ρ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} ... skip entries to safe data
14.15.E10	${\displaystyle{\displaystyle\alpha\ln\left(\left(\alpha^{2}+\eta^{2}\right)^{1/2}+\alpha\right)-\alpha\ln\eta-\left(\alpha^{2}+\eta^{2}\right)^{1/2}=\frac{1}{2}\ln\left(\frac{\left(1+\alpha^{2}\right)x^{2}+1-\alpha^{2}-2x\left(\alpha^{2}x^{2}-\alpha^{2}+1\right)^{1/2}}{\left(x^{2}-1\right)\left(1-\alpha^{2}\right)}\right)+\frac{1}{2}\alpha\ln\left(\frac{\alpha^{2}\left(2x^{2}-1\right)+1+2\alpha x\left(\alpha^{2}x^{2}-\alpha^{2}+1\right)^{1/2}}{1-\alpha^{2}}\right)}}$ \alpha\ln@{\left(\alpha^{2}+\eta^{2}\right)^{1/2}+\alpha}-\alpha\ln@@{\eta}-\left(\alpha^{2}+\eta^{2}\right)^{1/2} = \frac{1}{2}\ln@{\frac{\left(1+\alpha^{2}\right)x^{2}+1-\alpha^{2}-2x\left(\alpha^{2}x^{2}-\alpha^{2}+1\right)^{1/2}}{\left(x^{2}-1\right)\left(1-\alpha^{2}\right)}}+\frac{1}{2}\alpha\ln@{\frac{\alpha^{2}\left(2x^{2}-1\right)+1+2\alpha x\left(\alpha^{2}x^{2}-\alpha^{2}+1\right)^{1/2}}{1-\alpha^{2}}}		alpha*ln(((alpha)^(2)+ (eta)^(2))^(1/2)+ alpha)- alpha*ln(eta)-((alpha)^(2)+ (eta)^(2))^(1/2) = (1)/(2)*ln(((1 + (alpha)^(2))*(x)^(2)+ 1 - (alpha)^(2)- 2*x*((alpha)^(2)* (x)^(2)- (alpha)^(2)+ 1)^(1/2))/(((x)^(2)- 1)*(1 - (alpha)^(2))))+(1)/(2)*alpha*ln(((alpha)^(2)*(2*(x)^(2)- 1)+ 1 + 2*alpha*x*((alpha)^(2)* (x)^(2)- (alpha)^(2)+ 1)^(1/2))/(1 - (alpha)^(2)))	\[Alpha]*Log[(\[Alpha]^(2)+ \[Eta]^(2))^(1/2)+ \[Alpha]]- \[Alpha]*Log[\[Eta]]-(\[Alpha]^(2)+ \[Eta]^(2))^(1/2) == Divide[1,2]*Log[Divide[(1 + \[Alpha]^(2))*(x)^(2)+ 1 - \[Alpha]^(2)- 2*x*(\[Alpha]^(2)* (x)^(2)- \[Alpha]^(2)+ 1)^(1/2),((x)^(2)- 1)*(1 - \[Alpha]^(2))]]+Divide[1,2]*\[Alpha]*Log[Divide[\[Alpha]^(2)*(2*(x)^(2)- 1)+ 1 + 2*\[Alpha]*x*(\[Alpha]^(2)* (x)^(2)- \[Alpha]^(2)+ 1)^(1/2),1 - \[Alpha]^(2)]]	Failure	Failure	Failed [90 / 90] Result: -.909045744-4.848897315*I Test Values: {alpha = 3/2, eta = 1/2*3^(1/2)+1/2*I, x = 3/2} Result: .6116511952e-1+1.209222406*I Test Values: {alpha = 3/2, eta = 1/2*3^(1/2)+1/2*I, x = 1/2} ... skip entries to safe data	Failed [90 / 90] Result: Complex[-0.9090457411289452, -4.848897314881391] Test Values: {Rule[x, 1.5], Rule[α, 1.5], Rule[η, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Result: Complex[-0.7450466678010295, -6.916529733960363] Test Values: {Rule[x, 1.5], Rule[α, 1.5], Rule[η, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} ... skip entries to safe data
14.15.E20	${\displaystyle{\displaystyle\beta=e^{\mu}\left(\frac{\nu-\mu+\frac{1}{2}}{\nu+\mu+\frac{1}{2}}\right)^{(\nu/2)+(1/4)}\left(\left(\nu+\tfrac{1}{2}\right)^{2}-\mu^{2}\right)^{-\mu/2}}}$ \beta = e^{\mu}\left(\frac{\nu-\mu+\frac{1}{2}}{\nu+\mu+\frac{1}{2}}\right)^{(\nu/2)+(1/4)}\left(\left(\nu+\tfrac{1}{2}\right)^{2}-\mu^{2}\right)^{-\mu/2}		beta = exp(mu)*((nu - mu +(1)/(2))/(nu + mu +(1)/(2)))^((nu/2)+(1/4))*((nu +(1)/(2))^(2)- (mu)^(2))^(- mu/2)	\[Beta] == Exp[\[Mu]]*(Divide[\[Nu]- \[Mu]+Divide[1,2],\[Nu]+ \[Mu]+Divide[1,2]])^((\[Nu]/2)+(1/4))*((\[Nu]+Divide[1,2])^(2)- \[Mu]^(2))^(- \[Mu]/2)	Skipped - no semantic math	Skipped - no semantic math	-	-
14.15.E21	${\displaystyle{\displaystyle\left(y-\alpha^{2}\right)^{1/2}-\alpha\operatorname{arctan}\left(\frac{\left(y-\alpha^{2}\right)^{1/2}}{\alpha}\right)=\operatorname{arccos}\left(\frac{x}{\left(1-\alpha^{2}\right)^{1/2}}\right)-\frac{\alpha}{2}\operatorname{arccos}\left(\frac{\left(1+\alpha^{2}\right)x^{2}-1+\alpha^{2}}{\left(1-\alpha^{2}\right)\left(1-x^{2}\right)}\right)}}$ \left(y-\alpha^{2}\right)^{1/2}-\alpha\atan@{\frac{\left(y-\alpha^{2}\right)^{1/2}}{\alpha}} = \acos@{\frac{x}{\left(1-\alpha^{2}\right)^{1/2}}}-\frac{\alpha}{2}\acos@{\frac{\left(1+\alpha^{2}\right)x^{2}-1+\alpha^{2}}{\left(1-\alpha^{2}\right)\left(1-x^{2}\right)}}	${\displaystyle{\displaystyle x\leq\left(1-\alpha^{2}\right)^{1/2},y\geq\alpha^{2}}}$	(y - (alpha)^(2))^(1/2)- alpha*arctan(((y - (alpha)^(2))^(1/2))/(alpha)) = arccos((x)/((1 - (alpha)^(2))^(1/2)))-(alpha)/(2)*arccos(((1 + (alpha)^(2))*(x)^(2)- 1 + (alpha)^(2))/((1 - (alpha)^(2))*(1 - (x)^(2))))	(y - \[Alpha]^(2))^(1/2)- \[Alpha]*ArcTan[Divide[(y - \[Alpha]^(2))^(1/2),\[Alpha]]] == ArcCos[Divide[x,(1 - \[Alpha]^(2))^(1/2)]]-Divide[\[Alpha],2]*ArcCos[Divide[(1 + \[Alpha]^(2))*(x)^(2)- 1 + \[Alpha]^(2),(1 - \[Alpha]^(2))*(1 - (x)^(2))]]	Error	Failure	-	Failed [3 / 3] Result: 0.2030660835403072 Test Values: {Rule[x, 0.5], Rule[y, 1.5], Rule[α, 0.5]} Result: -0.23253599115284607 Test Values: {Rule[x, 0.5], Rule[y, 0.5], Rule[α, 0.5]} ... skip entries to safe data
14.15.E22	${\displaystyle{\displaystyle{\left(\alpha^{2}-y\right)^{1/2}+\tfrac{1}{2}\alpha\ln|y|-\alpha\ln\left(\left(\alpha^{2}-y\right)^{1/2}+\alpha\right)}={\ln\left(\frac{x+\left(x^{2}-1+\alpha^{2}\right)^{1/2}}{\left(1-\alpha^{2}\right)^{1/2}}\right)+\frac{\alpha}{2}\ln\left(\frac{\left(1-\alpha^{2}\right)\left|1-x^{2}\right|}{\left(1+\alpha^{2}\right)x^{2}-1+\alpha^{2}+2\alpha x\left(x^{2}-1+\alpha^{2}\right)^{1/2}}\right)}}}$ {\left(\alpha^{2}-y\right)^{1/2}+\tfrac{1}{2}\alpha\ln@@{|y|}-\alpha\ln@{\left(\alpha^{2}-y\right)^{1/2}+\alpha}} = {\ln@{\frac{x+\left(x^{2}-1+\alpha^{2}\right)^{1/2}}{\left(1-\alpha^{2}\right)^{1/2}}}+\frac{\alpha}{2}\ln@{\frac{\left(1-\alpha^{2}\right)\left|1-x^{2}\right|}{\left(1+\alpha^{2}\right)x^{2}-1+\alpha^{2}+2\alpha x\left(x^{2}-1+\alpha^{2}\right)^{1/2}}}}	${\displaystyle{\displaystyle x\geq\left(1-\alpha^{2}\right)^{1/2},y\leq\alpha^{2}}}$	((alpha)^(2)- y)^(1/2)+(1)/(2)*alpha*ln(abs(y))- alpha*ln(((alpha)^(2)- y)^(1/2)+ alpha) = ln((x +((x)^(2)- 1 + (alpha)^(2))^(1/2))/((1 - (alpha)^(2))^(1/2)))+(alpha)/(2)*ln(((1 - (alpha)^(2))*abs(1 - (x)^(2)))/((1 + (alpha)^(2))*(x)^(2)- 1 + (alpha)^(2)+ 2*alpha*x*((x)^(2)- 1 + (alpha)^(2))^(1/2)))	(\[Alpha]^(2)- y)^(1/2)+Divide[1,2]*\[Alpha]*Log[Abs[y]]- \[Alpha]*Log[(\[Alpha]^(2)- y)^(1/2)+ \[Alpha]] == Log[Divide[x +((x)^(2)- 1 + \[Alpha]^(2))^(1/2),(1 - \[Alpha]^(2))^(1/2)]]+Divide[\[Alpha],2]*Log[Divide[(1 - \[Alpha]^(2))*Abs[1 - (x)^(2)],(1 + \[Alpha]^(2))*(x)^(2)- 1 + \[Alpha]^(2)+ 2*\[Alpha]*x*((x)^(2)- 1 + \[Alpha]^(2))^(1/2)]]	Failure	Aborted	Failed [6 / 6] Result: .3341726928 Test Values: {alpha = 1/2, x = 3/2, y = -3/2} Result: -.2530756688 Test Values: {alpha = 1/2, x = 3/2, y = -1/2} ... skip entries to safe data	Failed [6 / 6] Result: 0.3341726912133833 Test Values: {Rule[x, 1.5], Rule[y, -1.5], Rule[α, 0.5]} Result: -0.25307566945970117 Test Values: {Rule[x, 1.5], Rule[y, -0.5], Rule[α, 0.5]} ... skip entries to safe data
14.15#Ex3	${\displaystyle{\displaystyle a=\frac{\left(\left(\nu+\mu+\frac{1}{2}\right)\left|\nu-\mu+\frac{1}{2}\right|\right)^{1/2}}{\nu+\frac{1}{2}}}}$ a = \frac{\left(\left(\nu+\mu+\frac{1}{2}\right)\left|\nu-\mu+\frac{1}{2}\right|\right)^{1/2}}{\nu+\frac{1}{2}}		a = (((nu + mu +(1)/(2))*abs(nu - mu +(1)/(2)))^(1/2))/(nu +(1)/(2))	a == Divide[((\[Nu]+ \[Mu]+Divide[1,2])*Abs[\[Nu]- \[Mu]+Divide[1,2]])^(1/2),\[Nu]+Divide[1,2]]	Skipped - no semantic math	Skipped - no semantic math	-	-
14.15#Ex4	${\displaystyle{\displaystyle\alpha=\left(\frac{2\left|\nu-\mu+\frac{1}{2}\right|}{\nu+\frac{1}{2}}\right)^{1/2}}}$ \alpha = \left(\frac{2\left|\nu-\mu+\frac{1}{2}\right|}{\nu+\frac{1}{2}}\right)^{1/2}		alpha = ((2*abs(nu - mu +(1)/(2)))/(nu +(1)/(2)))^(1/2)	\[Alpha] == (Divide[2*Abs[\[Nu]- \[Mu]+Divide[1,2]],\[Nu]+Divide[1,2]])^(1/2)	Skipped - no semantic math	Skipped - no semantic math	-	-
14.15.E27	${\displaystyle{\displaystyle\frac{1}{2}\zeta\left(\zeta^{2}-\alpha^{2}\right)^{1/2}-\frac{1}{2}\alpha^{2}\operatorname{arccosh}\left(\frac{\zeta}{\alpha}\right)=\left(1-a^{2}\right)^{1/2}\operatorname{arctanh}\left(\frac{1}{x}\left(\frac{x^{2}-a^{2}}{1-a^{2}}\right)^{1/2}\right)-\operatorname{arccosh}\left(\frac{x}{a}\right)}}$ \frac{1}{2}\zeta\left(\zeta^{2}-\alpha^{2}\right)^{1/2}-\frac{1}{2}\alpha^{2}\acosh@{\frac{\zeta}{\alpha}} = \left(1-a^{2}\right)^{1/2}\atanh@{\frac{1}{x}\left(\frac{x^{2}-a^{2}}{1-a^{2}}\right)^{1/2}}-\acosh@{\frac{x}{a}}	${\displaystyle{\displaystyle a\leq x,x<1,\alpha\leq\zeta,\zeta<\infty}}$	(1)/(2)*zeta*((zeta)^(2)- (alpha)^(2))^(1/2)-(1)/(2)*(alpha)^(2)* arccosh((zeta)/(alpha)) = (1 - (a)^(2))^(1/2)* arctanh((1)/(x)*(((x)^(2)- (a)^(2))/(1 - (a)^(2)))^(1/2))- arccosh((x)/(a))	Divide[1,2]*\[Zeta]*(\[Zeta]^(2)- \[Alpha]^(2))^(1/2)-Divide[1,2]*\[Alpha]^(2)* ArcCosh[Divide[\[Zeta],\[Alpha]]] == (1 - (a)^(2))^(1/2)* ArcTanh[Divide[1,x]*(Divide[(x)^(2)- (a)^(2),1 - (a)^(2)])^(1/2)]- ArcCosh[Divide[x,a]]	Failure	Failure	Failed [21 / 24] Result: -1.756203683+1.443241358*I Test Values: {a = -3/2, alpha = 3/2, x = 1/2, zeta = 3/2} Result: -1.328114170+1.443241358*I Test Values: {a = -3/2, alpha = 3/2, x = 1/2, zeta = 2} ... skip entries to safe data	Failed [21 / 24] Result: Complex[-1.7562036827601817, 1.4432413585571147] Test Values: {Rule[a, -1.5], Rule[x, 0.5], Rule[α, 1.5], Rule[ζ, 1.5]} Result: Complex[-1.32811417110478, 1.4432413585571147] Test Values: {Rule[a, -1.5], Rule[x, 0.5], Rule[α, 1.5], Rule[ζ, 2]} ... skip entries to safe data
14.15.E29	${\displaystyle{\displaystyle\zeta^{2}=-\ln\left(1-x^{2}\right)}}$ \zeta^{2} = -\ln@{1-x^{2}}	${\displaystyle{\displaystyle-1<x,x<1}}$	(zeta)^(2) = - ln(1 - (x)^(2))	\[Zeta]^(2) == - Log[1 - (x)^(2)]	Failure	Failure	Failed [10 / 10] Result: .2123179279+.8660254040*I Test Values: {x = 1/2, zeta = 1/2*3^(1/2)+1/2*I} Result: -.7876820729-.8660254040*I Test Values: {x = 1/2, zeta = -1/2+1/2*I*3^(1/2)} ... skip entries to safe data	Failed [10 / 10] Result: Complex[0.2123179275482192, 0.8660254037844386] Test Values: {Rule[x, 0.5], Rule[ζ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]} Result: Complex[-0.7876820724517807, -0.8660254037844387] Test Values: {Rule[x, 0.5], Rule[ζ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]} ... skip entries to safe data
14.15.E31	${\displaystyle{\displaystyle\frac{1}{2}\zeta\left(\zeta^{2}+\alpha^{2}\right)^{1/2}+\frac{1}{2}\alpha^{2}\operatorname{arcsinh}\left(\frac{\zeta}{\alpha}\right)=\left(1+a^{2}\right)^{1/2}\operatorname{arctanh}\left(x\left(\frac{1+a^{2}}{x^{2}+a^{2}}\right)^{1/2}\right)-\operatorname{arcsinh}\left(\frac{x}{a}\right)}}$ \frac{1}{2}\zeta\left(\zeta^{2}+\alpha^{2}\right)^{1/2}+\frac{1}{2}\alpha^{2}\asinh@{\frac{\zeta}{\alpha}} = \left(1+a^{2}\right)^{1/2}\atanh@{x\left(\frac{1+a^{2}}{x^{2}+a^{2}}\right)^{1/2}}-\asinh@{\frac{x}{a}}	${\displaystyle{\displaystyle-1<x,x<1,-\infty<\zeta,\zeta<\infty}}$	(1)/(2)*zeta*((zeta)^(2)+ (alpha)^(2))^(1/2)+(1)/(2)*(alpha)^(2)* arcsinh((zeta)/(alpha)) = (1 + (a)^(2))^(1/2)* arctanh((x((1 + (a)^(2))/((x(+))^(2)*(a)^(2))))^(1/2))- arcsinh((x(a))/($1))	Divide[1,2]*\[Zeta]*(\[Zeta]^(2)+ \[Alpha]^(2))^(1/2)+Divide[1,2]*\[Alpha]^(2)* ArcSinh[Divide[\[Zeta],\[Alpha]]] == (1 + (a)^(2))^(1/2)* ArcTanh[(x[Divide[1 + (a)^(2),(x[+])^(2)*(a)^(2)]])^(1/2)]- ArcSinh[Divide[x[a],$1]]	Failure	Failure	Failed [108 / 108] Result: -4.077558345 Test Values: {a = -3/2, alpha = 3/2, x = 1/2, zeta = -3/2} Result: 1.087512739 Test Values: {a = -3/2, alpha = 3/2, x = 1/2, zeta = 3/2} ... skip entries to safe data	Failed [108 / 108] Result: -4.077558346293386 Test Values: {Rule[a, -1.5], Rule[x, 0.5], Rule[α, 1.5], Rule[ζ, -1.5]} Result: 1.08751273984005 Test Values: {Rule[a, -1.5], Rule[x, 0.5], Rule[α, 1.5], Rule[ζ, 1.5]} ... skip entries to safe data