I
n
[
]
:
=
F
u
l
l
S
i
m
p
l
i
f
y
[
2
A
b
s
[
x
y
]
,
{
x
∈
R
e
a
l
s
,
y
∈
R
e
a
l
s
}
]
F
u
l
l
S
i
m
p
l
i
f
y
[
2
A
b
s
[
x
]
,
{
x
∈
R
e
a
l
s
,
y
∈
R
e
a
l
s
}
]
O
u
t
[
]
=
2
A
b
s
[
x
y
]
O
u
t
[
]
=
2
x