# Question:Should this be considered a simplify bug?

## Question:Should this be considered a simplify bug?

Maple 2015

A case where simplify(...) and simplify~(...) both return the wrong result.
Should we consider this a simplify bug?

 > restart:

A simple case

 > J := Int(r[1]^2*varphi[1](r[1]), r[1] = -infinity .. infinity)      *      Int(r[2]^2*varphi[2](r[2]), r[2] = -infinity .. infinity)
 (1)
 > # OK op(1, J) = simplify(op(1, J))
 (2)
 > # OK op(2, J) = simplify(op(2, J))
 (3)
 > # But... # # Not OK simplify(J)
 (4)
 > # Not OK simplify~(J)
 (5)
 > # OK map(simplify, J)
 (6)

A slightly more complex case

 > J := (Int(r[1]^2*varphi[1](r[1]), r[1] = -infinity .. infinity))*(Int(r[2]^2*varphi[2](r[2]), r[2] = -infinity .. infinity))-(Int(r[1]^2*varphi[1](r[1]), r[1] = -infinity .. infinity))*(Int(r[2]*varphi[2](r[2]), r[2] = -infinity .. infinity))^2;
 (7)
 > is(J=simplify(J))
 (8)
 > is(J=simplify~(J))
 (9)
 > is(J=map(simplify, J)); map(simplify, J);
 (10)
 > add(map(u -> map(simplify, u), [op(J)])); is(J=%);
 (11)
 >