for k,v in pairs( const(1):polyCoeffs(x) ) do printbr(k, '=', v) end 		0 = $1$
GOOD 		time: 0.099000ms
stack: size: 0

    simplifyAssertAllEq( const(1):polyCoeffs(x), {[0]=const(1)})     		${1} = {1}$
    ${1} = {1}$
    ${1} = {1}$
    GOOD     		time: 0.853000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy

    simplifyAssertAllEq( x:polyCoeffs(x), {[1]=const(1)} )     		${1} = {1}$
    ${1} = {1}$
    ${1} = {1}$
    GOOD     		time: 0.863000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy

    simplifyAssertAllEq( sin(x):polyCoeffs(x), {extra=sin(x)} )     		${1} = {1}$
    ${\sin\left( x\right)} = {\sin\left( x\right)}$
    ${\sin\left( x\right)} = {\sin\left( x\right)}$
    GOOD     		time: 1.622000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy

    simplifyAssertAllEq( (x^2 - a):polyCoeffs(x), {[0]=-a, [2]=const(1)} )     		${2} = {2}$
    ${{{-1}} {{a}}} = {-{a}}$
    ${{{-1}} {{a}}} = {-{a}}$
    ${1} = {1}$
    ${1} = {1}$
    GOOD     		time: 2.956000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy

    simplifyAssertAllEq( (x^2 - 2 * a * x + a^2):polyCoeffs(x), {[0]=a^2, [1]=-2*a, [2]=const(1)} )     		${3} = {3}$
    ${{a}^{2}} = {{a}^{2}}$
    ${{a}^{2}} = {{a}^{2}}$
    ${{{-2}} {{a}}} = {{{-2}} {{a}}}$
    ${{{-2}} {{a}}} = {{{-2}} {{a}}}$
    ${1} = {1}$
    ${1} = {1}$
    GOOD     		time: 6.595000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy