PREFIX e: <http://eulersharp.sourceforge.net/2003/03swap/log-rules#>
PREFIX m: <http://josd.github.io/eye/math#>

("(x+1)*((x^2+2)*(x^3+3))" "x") m:derivative "(x^2+2)*(x^3+3)+(x+1)*(2*x*(x^3+3)+(x^2+2)*(3*x^2))".
("x/x/x/x/x/x/x/x/x/x" "x") m:derivative "(((((((((x-x)/x^2*x-x/x)/x^2*x-x/x/x)/x^2*x-x/x/x/x)/x^2*x-x/x/x/x/x)/x^2*x-x/x/x/x/x/x)/x^2*x-x/x/x/x/x/x/x)/x^2*x-x/x/x/x/x/x/x/x)/x^2*x-x/x/x/x/x/x/x/x/x)/x^2".
("log(log(log(log(log(log(log(log(log(log(x))))))))))" "x") m:derivative "1/x/log(x)/log(log(x))/log(log(log(x)))/log(log(log(log(x))))/log(log(log(log(log(x)))))/log(log(log(log(log(log(x))))))/log(log(log(log(log(log(log(x)))))))/log(log(log(log(log(log(log(log(x))))))))/log(log(log(log(log(log(log(log(log(x)))))))))".
("x*x*x*x*x*x*x*x*x*x" "x") m:derivative "((((((((x+x)*x+x*x)*x+x*x*x)*x+x*x*x*x)*x+x*x*x*x*x)*x+x*x*x*x*x*x)*x+x*x*x*x*x*x*x)*x+x*x*x*x*x*x*x*x)*x+x*x*x*x*x*x*x*x*x".

