I
n
[
]
:
=
S
i
m
p
l
i
f
y
[
C
o
n
j
u
g
a
t
e
[
-
*
w
*
x
+
-
1
*
*
w
*
x
]
,
A
s
s
u
m
p
t
i
o
n
s
-
>
{
w
∈
R
e
a
l
s
,
x
∈
R
e
a
l
s
}
]
O
u
t
[
]
=
2
w
x
S
i
m
p
l
i
f
y
[
C
o
n
j
u
g
a
t
e
[
-
*
w
*
x
+
-
4
*
*
w
*
x
]
,
A
s
s
u
m
p
t
i
o
n
s
-
>
{
w
∈
R
e
a
l
s
,
x
∈
R
e
a
l
s
}
]
(
*
I
e
x
p
e
c
t
w
x
+
4
i
w
x
*
)
O
u
t
[
]
=
C
o
n
j
u
g
a
t
e
[
-
w
x
+
-
4
w
x
]