I
n
[
]
:
=
(
I
Y
Z
)
/
/
S
i
m
p
l
i
f
y
[
#
,
_
∈
R
e
a
l
s
]
&
(
X
+
I
Y
)
/
/
S
i
m
p
l
i
f
y
[
#
,
_
∈
R
e
a
l
s
]
&
(
X
+
I
Y
Z
)
/
/
S
i
m
p
l
i
f
y
[
#
,
_
∈
R
e
a
l
s
]
&
O
u
t
[
]
=
-
Y
Z
O
u
t
[
]
=
X
-
Y
O
u
t
[
]
=
X
+
Y
Z