I
n
[
]
:
=
D
S
o
l
v
e
y
'
[
x
]
2
x
+
2
y
[
x
]
x
*
y
[
x
]
-
2
x
,
y
[
x
]
,
x
S
o
l
v
e
:
I
n
v
e
r
s
e
f
u
n
c
t
i
o
n
s
a
r
e
b
e
i
n
g
u
s
e
d
b
y
S
o
l
v
e
,
s
o
s
o
m
e
s
o
l
u
t
i
o
n
s
m
a
y
n
o
t
b
e
f
o
u
n
d
;
u
s
e
R
e
d
u
c
e
f
o
r
c
o
m
p
l
e
t
e
s
o
l
u
t
i
o
n
i
n
f
o
r
m
a
t
i
o
n
.
O
u
t
[
]
=
y
[
x
]
-
x
-
2
x
P
r
o
d
u
c
t
L
o
g
-
-
1
2
-
1
2
2
x
