Returned 48 matches (100 formulae, 468 docs)
    Lookup 375.977 ms, Re-ranking 33.935 ms
    Found 9196418 tuple postings, 1946746 formulae, 2053997 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-1.0000
4.0000
μx1-x2

1.0000
-1.0000
4.0000
4ax-x2

1.0000
-1.0000
3.0000
λx2-x4

1.0000
-5.0000
5.0000
p=-bx-x2y,

0.7742
-1.0000
4.0000
x2-x~2
x1-x2

0.7742
-1.0000
4.0000
x-x2,

0.7742
-1.0000
4.0000
x2-x2

0.7742
-1.0000
3.0000
x2-x5
x2-x3
x2-x11
x2-x4

0.7742
-2.0000
4.0000
(x1-x2)

0.7742
-2.0000
4.0000
xx-x2
c=x-x2
1-x-x2
0.7742
-2.0000
3.0000
k2x2-x

0.7742
-2.0000
3.0000
(x2-x3)

0.7742
-3.0000
4.0000
x12-xi2
xi2-xj2
x12-x22
x02-xi2
x22-x32
x22-x12
0.7742
-3.0000
4.0000
x4-x2+20
x2-x~2=const
x3-x2+1
x3-x2-1

0.7742
-3.0000
4.0000
x0x2-x2

0.7742
-3.0000
4.0000
f=x4-x2
y=x3-x2

0.7742
-3.0000
4.0000
xx2-x2x

0.7742
-3.0000
4.0000
(x2-x12)

0.7742
-3.0000
3.0000
1-x2-x3

0.7742
-4.0000
4.0000
x1x2-x32
x1x3-x22
x0xi-xi2
0.7742
-4.0000
4.0000
x3-x2-66316100370037243788808101431860x

0.7742
-4.0000
4.0000
r(x)=x-x2
f(x)=x-x2

0.7742
-4.0000
4.0000
y2=x3-x2
x-=x1-x2
y3=x4-x2
0.7742
-4.0000
4.0000
x-x2g1(x)

0.7742
-4.0000
4.0000
11-x-x2

0.6154
-1.0000
3.0000
p=-x2
wy-x2
t=-x2
w=-x2
y=-x2
z=-x2
V-x2

0.6154
-3.0000
4.0000
a+by-x2

0.5455
0.0000
3.0000
x-x

0.5455
0.0000
3.0000
-x2

0.5455
-1.0000
3.0000
-xn2
-x12
-xp2
-x32

0.5455
-1.0000
3.0000
-x2
2-x2
d-x2
a-x2
1-x2
y-x2
0.5455
-1.0000
3.0000
x-x2

0.5455
-1.0000
3.0000
-x˙2

0.5455
-1.0000
3.0000
x2-x

0.5455
-1.0000
3.0000
e-x2
N-x2

0.5455
-1.0000
3.0000
x2-x
x-x

0.5455
-2.0000
3.0000
x2-x4
x3-x2
x2-x1
x0-x2
x2-x3
x4-x2
x1-x2

0.5455
-2.0000
3.0000
z2-x2
t2-x2
r2-x2
y3-x2
p2-x2
y2-x2
0.5455
-2.0000
3.0000
e-x2.
e-x2,

0.5455
-2.0000
3.0000
x2m-x
xq2-x
xQ2-x
0.5455
-2.0000
3.0000
dK-x2
d0-x2

0.5455
-3.0000
3.0000
f=x2-x

0.5455
-3.0000
3.0000
xi2-xi
xe2-xe

0.5455
-3.0000
3.0000
-x2n-x

0.5455
-3.0000
3.0000
g(x2-x)

0.5455
-4.0000
3.0000
-x2-x-1

0.3077
-1.0000
2.0000
bx2

0.3077
-2.0000
2.0000
x2bx