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

    simplifyAssertAllEq( const(1):polyCoeffs(x), {[0]=const(1)})     		${1} = {1}$
    ${1} = {1}$
    ${1} = {1}$
    GOOD     		time: 3.442000ms
    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: 2.738000ms
    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: 3.223000ms
    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: 11.723000ms
    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: 18.055000ms
    stack: size: 7
    • Init
    • Prune
    • Expand
    • Prune
    • Factor
    • Prune
    • Tidy