

| > | SupportTools:-Version(); |

| > | sol:=ln( (y-1)^(1/3)* (y^2+y+1)^(1/3) ) - ln(y) = 2/5* ln(t^2+1)+_C1; |


Main: Entering solver with 1 equation in 1 variable Dispatch: dispatching to Radicals handler Transformer: solving for linear equation in y Recurse: recursively solving 1 equations and 4 inequations in 1 variables Dispatch: dispatching to ln handler (extension) Dispatch: logarithm substitution _S000002 = ln(_S000001) Recurse: recursively solving 1 equations and 4 inequations in 1 variables Dispatch: dispatching to ln handler (extension) Dispatch: logarithm substitution _S000003 = ln(t^2+1) Transformer: solving for linear equation in _S000003 Recurse: recursively solving 1 equations and 3 inequations in 1 variables Dispatch: dispatching to ln handler (extension) Dispatch: logarithm substitution _S000004 = ln(exp(_S000002)^3+1) Recurse: recursively solving 2 equations and 3 inequations in 2 variables Dispatch: dispatching to ln handler (extension) Dispatch: logarithm substitution _S000005 = ln(exp(_S000002)^6+3*exp(_S000002)^3+3) Recurse: recursively solving 3 equations and 3 inequations in 3 variables Dispatch: dispatching to Exponentials handler Transformer: solving for linear equation in _S000005 Recurse: recursively solving 3 equations and 4 inequations in 4 variables Dispatch: dispatching to Exponentials handler Transformer: solving for linear equation in _S000004 Recurse: recursively solving 3 equations and 5 inequations in 5 variables Dispatch: dispatching to Exponentials handler Transformer: solving for linear equation in _S000002 Recurse: recursively solving 3 equations and 6 inequations in 6 variables Dispatch: dispatching to Rename handler Dispatch: renaming exp(5/2*_C1) = _S000012, exp(-5/2*_C1) = 1/_S000012 Recurse: recursively solving 3 equations and 6 inequations in 6 variables Dispatch: handling polynomials of the form a*x^n-b Dispatch: dispatching to PolynomialSystem handler Main: polynomial system split into 1 parts under preprocessing Main: using RegularChains based methods SolverVariableOrder: using the variable order _S000008 > _S000006 > _S000010 TriangularDecomposition: using deterministic algorithm for decomposition |