Failed to Apply Rule

[arnavs]

I am getting lots of errors like this on arithmetic things which used to work:

Failed to apply rule ~(t::is_operation(*)) => TIMES_RULES(~t, recurse = false) on expression (-1 * exp(z_p()) * (-1 + α()) * (c_p() ^ -1) * β() * α()) * ((-2 + α()) * (k_p() ^ (-3 + α())))

[shashi]

julia> x  = (-1 * exp(z_p) * (-1 + α) * (c_p ^ -1) * β * α) * ((-2 + α) * (k_p ^ (-3 + α)))
(((((-1 * exp(z_p)) * (-1 + α)) * inv(c_p) ^ 1) * β) * α) * ((-2 + α) * k_p ^ (-3 + α))

julia> ModelingToolkit.simplify(x)
-1 * exp(z_p) * inv(c_p) * (-1 + α) * (-2 + α) * β * α * k_p ^ (-3 + α)

[wupeifan]

It's very possible to be a versioning issue then. Let's revisit these after new releases of MTK and SymbolicUtils?
Under MTK 3.2.0#master and SymbolitUtils 0.3.1 I fail to replicate this issue.

[shashi]

I think we should fix it before releasing if it's still an issue :)

[arnavs]

See https://pastebin.com/Ek7aV9T5 for stacktrace.

[wupeifan]

@arnavs maybe verify whether this is still an issue (and the other one 350) or not with SymUtils 3.2?

[arnavs]

Looks good to me on the latest MTK/SymbolicUtils:

julia> using ModelingToolkit
[ Info: Precompiling ModelingToolkit [961ee093-0014-501f-94e3-6117800e7a78]

julia> @parameters α β δ
(α, β, δ)

julia> @variables c_p y_p c y k_p z_p k z 
(c_p, y_p, c, y, k_p, z_p, k, z)

julia> x  = (-1 * exp(z_p) * (-1 + α) * (c_p ^ -1) * β * α) * ((-2 + α) * (k_p ^ (-3 + α)))
(((((-1 * exp(z_p)) * (-1 + α)) * inv(c_p) ^ 1) * β) * α) * ((-2 + α) * k_p ^ (-3 + α))

julia> ModelingToolkit.simplify(x)

-1 * exp(z_p) * inv(c_p) * (-1 + α) * (-2 + α) * β * α * k_p ^ (-3 + α)