Returned 39 matches (100 formulae, 768 docs)
    Lookup 357.026 ms, Re-ranking 30.446 ms
    Found 9262320 tuple postings, 1972394 formulae, 2056336 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
-1.0000
4.0000
4ax-x2

1.0000
-1.0000
4.0000
μx1-x2

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

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
-3.0000
4.0000
x12-xi2
xi2-xj2
x22-x32
x02-xi2
x12-x22
x22-x12
0.7742
-3.0000
4.0000
xx2-x2x

0.7742
-3.0000
4.0000
x2-x~2=const
x4-x2+20
x3-x2-1
x3-x2+1

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

0.7742
-3.0000
4.0000
x0x2-x2

0.7742
-3.0000
4.0000
(x2-x12)

0.7742
-4.0000
4.0000
x3-x2-66316100370037243788808101431860x

0.7742
-4.0000
4.0000
y2=x3-x2
y3=x4-x2
x-=x1-x2
0.7742
-4.0000
4.0000
x0xi-xi2
x1x2-x32
x1x3-x22
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
x2-x

0.5455
-1.0000
3.0000
y-x2
d-x2
2-x2
-x2
1-x2
a-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
-xn2
-x32
-xp2
-x12

0.5455
-1.0000
3.0000
x-x2

0.5455
-1.0000
3.0000
x2-x

0.5455
-2.0000
3.0000
xq2-x
x2m-x
xQ2-x
0.5455
-2.0000
3.0000
t2-x2
r2-x2
z2-x2
0.5455
-2.0000
3.0000
e-x2.
e-x2,

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

0.5455
-3.0000
3.0000
xi2-xi
xe2-xe

0.5455
-3.0000
3.0000
-x2n-x

0.3529
-1.0000
3.0000
xx2
xyx2
xx2
x-x2
xx2
x:=x2
x=x2
xx2
xx2
x,x2

0.3529
-2.0000
3.0000
x1=x2
x^¯x^2
x1x2
x1,x2
x2logx2
x1Ox2
x0,x2
xc=x2
x1<x2
x2x2
x1x2
x1x2
x˙2=x2

0.3529
-2.0000
3.0000
x2-t2
x2-y2
x2-u2
x2-λ2

0.3077
-1.0000
2.0000
bx2

0.3077
-2.0000
2.0000
x2bx