Hadrian Tang

((-1/3)\*cos(x)\*sin(x)^2+(-2/3)\*cos(x))-(-cos(x)+(1/3)cos(x)^3) => (-1/3)\*cos(x)\*sin(x)^2+(-1/3)\*cos(x)^3+(1/3)\*cos(x) should=> 0

log(1+x)-log(1-x)-log((1+x)/(1-x)) should=> 0 Thought: Maybe defining rules (e.g. replace("log(x)-log(y)", "log(x/y)")) for the simplifier in the parser would help organise and be easier to add new rules.

>Are you talking about when we switch to version 8? 0.8, actually. ( ͡° ͜ʖ ͡°) >Are you familiar when any of the existing JavaScript rule based parsers out there?...

**integrate(e^cos(x))** eval=> (hangs) **integrate(e^acos(x))** => (unsolved) eval=> (hangs) **integrate(1/log(x))** => (invalid) **integrate(cos(x^2),x)** eval=> (unsolved) **integrate(1/sqrt(1+x^3))** => (invalid)

Multi-integrals (idea from Algebrite): integral(x\*y,x,y) => integral(integral(x\*y,x),y) => 1/4\*x^2\*y^2

integrate(3x/(x^6+1)) => (throws) integrate(3x^2/(x^6+1)) => (throws) integrate(3x^3/(x^6+1)) => (throws) integrate(3x^4/(x^6+1)) => (throws)

integrate(1/(x^6-1)) => (throws) [needs: integrate((-1/3)*(-x+x^2+1)^(-1),x) to be solved] integrate(1/(x^6+1)) => (throws) integrate(1/(x^6+x)) => (throws) integrate(1/(x^6+x^2)) => (throws) integrate(1/(x^6+x^3)) => (throws) integrate(1/(x^6+x^4)) => (throws) integrate(1/(x^6+x^5)) => (throws)

integrate(sin(acos(x))) => (unevaluated) integrate(asin(cos(x))) => (explosion) For the 2nd integral, Wolfram Alpha does not provide the simplest answer. See https://youtu.be/ph2XQ0BW_NU for a more simplified answer.

integrate(1/(sin(x)+cos(x))^2) => (cos(x)+sin(x))^(-1) should=> (cos(x)+sin(x))^(-1)*sin(x)

integrate(cos(log(x))) => (unevaluated) should=> x/2\*(cos(log(x))+sin(log(x))) integrate(sin(log(x))) => (unevaluated) should=> x/2\*(sin(log(x))-cos(log(x))) See https://youtu.be/WgOzdcvPb-k