Skip to content

Failed some differentiation testset1 #213

@xwaeaewcrhomesysplug

Description

@xwaeaewcrhomesysplug

Describe the bug
I did some testing with references from respectable sources.
Below is the Questions used along with answers.

y=((X)^e)^x,find dy/dx.
Ans:((X)^e)^x)(e^x)(ln(x)+(1/x))
y=(x)^(1/x),find dy/dx.
Ans:x^(1/x)((1/(x^2))(1-ln(x))
y=(Cos(x))^x,x),find dy/dx.
Ans:(Cos(x)^x)(Ln(Cos(x))-xTan(x))

Above pairs should be right mathematically.

Below is output of symja>

D(y=(X^e)^x,x)
(X^e)^x*Log(X^e)

D({y=(x)^(1/x)},x)
x^(1/x)*(1/x^2-Log(x)/x^2)

D(y=(Cos(x))^x,x)
Cos(x)^x*(Log(Cos(x))-x*Tan(x))

As you can see the 1,2 is what I would consider wrong.
With 1,well a part gone?((e^x)*(ln(x)+(1/x)))=Log(X^e)?
2nd,(1-ln(x)=(-Log(x)/x^2)?

A common thing is also,The lack of brackets after a big term with multiplication.
With the absolute no ambigous style,((X)^e)^x)(
X have power e then power x then that whole obj then multiply other obj.
Symja current,(X^e)^x

X power e then power x multiply other
case1,power x multiply other
case2,whole object then multiply other(std)

This resolving ambigous in my opinion is lower priority,as long as the symja itself can parses perfectly and does calculation as case2.

To Reproduce

Of course,this is math based and thus have math workings steps fo you to refer.
https://anonymousfiles.io/KWrWSnoI/

I uses the evaluator api you teached me.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions