Returned 51 matches (100 formulae, 2324 docs)
    Lookup 377.865 ms, Re-ranking 31.244 ms
    Found 8561876 tuple postings, 1955471 formulae, 2235997 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

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-x4
x2-x5
x2-x3
x2-x11

0.7742
-2.0000
4.0000
xx-x2
1-x-x2
c=x-x2
0.7742
-2.0000
4.0000
(x1-x2)

0.7742
-2.0000
3.0000
k2x2-x

0.7742
-2.0000
3.0000
(x2-x3)

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

0.7742
-3.0000
4.0000
xx2-x2x

0.7742
-3.0000
4.0000
x0x2-x2

0.7742
-3.0000
3.0000
1-x2-x3

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

0.7742
-4.0000
4.0000
x3-x2-66316100370037243788808101431860x

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

0.5455
0.0000
3.0000
-x2

0.5455
0.0000
3.0000
x-x

0.5455
-1.0000
3.0000
d-x2
a-x2
y-x2
-x2
1-x2
2-x2
0.5455
-1.0000
3.0000
-xn2
-x32
-x12
-xp2

0.5455
-1.0000
3.0000
x-x2

0.5455
-1.0000
3.0000
e-x2
N-x2

0.5455
-1.0000
3.0000
-x˙2

0.5455
-1.0000
3.0000
x2-x

0.5455
-1.0000
3.0000
x2-x

0.5455
-2.0000
3.0000
x2m-x
xq2-x

0.5455
-2.0000
3.0000
(y-x2)
1-x2
(1-x2)
0.5455
-2.0000
3.0000
r2-x2
t2-x2
z2-x2
0.5455
-2.0000
3.0000
e-x2,
e-x2.

0.5455
-2.0000
3.0000
x1-x2
x3-x2
x2-x3
x2-x1

0.5455
-2.0000
3.0000
exp(-x2)

0.5455
-2.0000
3.0000
(x-x2)

0.5455
-2.0000
3.0000
-x2Dx

0.5455
-3.0000
3.0000
xe2-xe
xi2-xi

0.5455
-3.0000
3.0000
x2-x-1
x2-x=0
x2-x+2
x2-x+1
x2-x-c

0.5455
-3.0000
3.0000
t=1-x2
f:=m-x2
f=y-x2
v=t-x2
11-x2
u=1-x2
yy-x2

0.5455
-3.0000
3.0000
z=x-x2

0.5455
-3.0000
3.0000
-x2n-x

0.5455
-3.0000
3.0000
f=x2-x

0.5455
-3.0000
3.0000
g(x2-x)

0.5455
-4.0000
2.0000
ax2-bx4

0.5455
-5.0000
3.0000
𝔭(x)=x2-x
(x)=x2-x
f(x)=x2-x
0.3529
-2.0000
2.0000
h=bx2
q=bx2
a+bx2
0.3077
0.0000
2.0000
x2

0.3077
-1.0000
2.0000
bx2

0.3077
-2.0000
2.0000
bxn2
bxt2
bxk2
0.3077
-2.0000
2.0000
x2bx

0.3077
-3.0000
2.0000
x2e-x

0.3077
-4.0000
2.0000
-x-χx2