`simplify` produces non-equivalent expression

[stromberger]

Using Julia 1.11.4 (arm64, macOS) and Symbolics.js 6.40.0. I would expect that applying simplify to a symbolic expression yields an equivalent expression. However:

MRE

f1(in0,in1,in2) = ((((ifelse((11 >= in2), ifelse(true, in0, in2), (34 - 57)) ^ 3) / ((ifelse(false, in2, in2) - (53 + in0)) / (ifelse(true, in0, in1) - in0))) ^ 2) / (((((in2 ^ 3) + (in1 ^ 3)) - 12) / (((in2 * in0) ^ 2) / 116)) * ((((0 - in1) + (in0 + in1)) / in2) / (((in1 * 96) + (in1 * in2)) - ((in1 ^ 3) / (in1 * in0))))))

using Symbolics
@variables a, b, c

@info simplify(simplify(f1(a, b, c)) - f1(a, b, c))

Output:

[ Info: 2 / (-12 + b^3 + c^3)

Expected:
simplify(f1(a, b, c)) - f1(a, b, c) should be equivalent to 0.

[ChrisRackauckas]

The only two rules on ifelse are https://github.com/JuliaSymbolics/SymbolicUtils.jl/blob/v3.29.0/src/simplify_rules.jl#L69-L70, so ifelse((11 >= in2), ifelse(true, in0, in2), (34 - 57)) ^ 3) should only turn into ifelse((11 >= a), a, -23) ^ 3). Given the output, my guess is that something went wrong with ifelse handling.