help links subscribe changes refresh edit

	SandBox Trace with )math
	↑

SandBoxTraceAffectsResults

Edit detail for SandBoxTraceAffectsResults revision 2 of 3

	1 2 3
Editor: Bill Page Time: 2015/03/16 02:28:40 GMT+0
Note: Bug with trace

added:
D(%,x)
%-sin(sqrt(x*x))
normalize %

fricas

integrate(sin(sqrt(x*x)),x)

$\label{eq1}-{2 \over{{{\tan \left({{\sqrt{{x}^{2}}}\over 2}\right)}^{2}}+ 1}}$

(1)

Type: Union(Expression(Integer),...)

fricas

D(%,x)

$\label{eq2}{2 \ x \ {\tan \left({{\sqrt{{x}^{2}}}\over 2}\right)}}\over{{{\sqrt{{x}^{2}}}\ {{\tan \left({{\sqrt{{x}^{2}}}\over 2}\right)}^{2}}}+{\sqrt{{x}^{2}}}}$

(2)

Type: Expression(Integer)

fricas

%-sin(sqrt(x*x))

$\label{eq3}{\left( \begin{array}{@{}l} \displaystyle -{{\sqrt{{x}^{2}}}\ {\sin \left({\sqrt{{x}^{2}}}\right)}\ {{\tan \left({{\sqrt{{x}^{2}}}\over 2}\right)}^{2}}}+{2 \ x \ {\tan \left({{\sqrt{{x}^{2}}}\over 2}\right)}}- \ \ \displaystyle {{\sqrt{{x}^{2}}}\ {\sin \left({\sqrt{{x}^{2}}}\right)}}$

(3)

Type: Expression(Integer)

fricas

normalize %

$\label{eq4}0$

(4)

Type: Expression(Integer)

fricas

)trace INTEF )math

   Packages traced: 
      ElementaryIntegration(Integer,Expression(Integer))
   Parameterized constructors traced:
      INTEF
integrate(sin(sqrt(x*x)),x)

 1<enter ElementaryIntegration.lfintegrate,43 : 
              x
         2tan(-)
              2
 arg1= -----------
           x 2
       tan(-)  + 1
           2
 arg2= x
  2<enter ElementaryIntegration.lfintegrate,43 : 
  arg1= 0
  arg2= x
  2>exit  ElementaryIntegration.lfintegrate,43 : 
  0
 1>exit  ElementaryIntegration.lfintegrate,43 : 
        2
 - -----------
       x 2
   tan(-)  + 1
       2

$\label{eq5}-{2 \over{{{\tan \left({{\sqrt{{x}^{2}}}\over 2}\right)}^{2}}+ 1}}$

(5)

Type: Union(Expression(Integer),...)

fricas

)trace INTEF )off

   Nothing is traced now.

integrate(sin(sqrt(x*x)),x)

$\label{eq6}-{2 \over{{{\tan \left({x \over 2}\right)}^{2}}+ 1}}$

(6)

Type: Union(Expression(Integer),...)

fricas

D(%,x)

$\label{eq7}{2 \ {\tan \left({x \over 2}\right)}}\over{{{\tan \left({x \over 2}\right)}^{2}}+ 1}$

(7)

Type: Expression(Integer)

fricas

%-sin(sqrt(x*x))

$\label{eq8}{{{\left(-{{\tan \left({x \over 2}\right)}^{2}}- 1 \right)}\ {\sin \left({\sqrt{{x}^{2}}}\right)}}+{2 \ {\tan \left({x \over 2}\right)}}}\over{{{\tan \left({x \over 2}\right)}^{2}}+ 1}$

(8)

Type: Expression(Integer)

fricas

normalize %

   x - x
   -----
     2

   >> Error detected within library code:
   Hidden constant detected