Returned 83 matches (100 formulae, 52 docs)
    Lookup 4.976 ms, Re-ranking 1454.580 ms
    Found 42764 tuple postings, 31889 formulae, 9035 documents
[ formulas ] [ documents ] [ documents-by-formula ]

1.0000
cos α = - cos β cos γ + sin β sin γ cosh a k ,

0.3382
cos C = - cos A cos B + sin A sin B cosh c ,

0.2721
cos A = - cos B cos C + sin B sin C cos a ,
cos B = - cos C cos A + sin C sin A cos b ,

0.2721
cos A = - cos B cos C + sin B sin C cosh a .

0.2132
cos C = - cos A cos B + sin A sin B cos c .

0.1859
cos ( A ) = - cos ( B ) cos ( C ) + sin ( B ) sin ( C ) cos ( a )

0.1245
cos a = cos b cos c + sin b sin c cos A ,
cos b = cos c cos a + sin c sin a cos B ,
cos c = cos a cos b + sin a sin b cos C ,
0.0969
cos ( α - β ) = cos α cos β + sin α sin β
cos ( x - y ) = cos x cos y + sin x sin y

0.0961
cos θ 1 cos θ 2 + sin θ 1 sin θ 2 = 0

0.0921
cos ( x - y ) = cos x cos y + sin x sin y .

0.0917
γ α θ cos α + γ θ β cos β + γ α β = 0

0.0905
sin δ = sin β cos ε + cos β sin ε sin λ

0.0905
cos a = cos b cos c + sin b sin c cos α

0.0898
sin α s = cos h cos δ cos φ + sin δ sin φ

0.0891
cos ( θ - θ ) = cos θ cos θ + sin θ sin θ

0.0856
c = arccos ( cos a cos b + sin a sin b cos γ )

0.0856
cos a = cos b cos c + sin b sin c cos A .
cos c = cos a cos b + sin a sin b cos γ .

0.0843
cos ( A + B ) = cos ( A ) cos ( B ) + sin ( A ) sin ( B )
cos ( A - B ) = cos ( A ) cos ( B ) + sin ( A ) sin ( B )
cos ( θ - α ) = cos ( θ ) cos ( α ) + sin ( θ ) sin ( α )
0.0838
cos C = - cos A

0.0795
α = 180 - β - γ

0.0787
cos 2 γ + sin 2 γ = 1.

0.0751
cos ( c ) = cos ( a ) cos ( b ) + sin ( a ) sin ( b ) cos ( C )

0.0743
y ( u , v ) = - cos θ sinh v cos u + sin θ cosh v sin u

0.0737
cos ( x ) = - cos ( π - x )

0.0724
s y m b o l φ ^ 𝐫 ^ = - sin φ cos φ + cos φ sin φ = 0

0.0717
cos ( c ) = cos ( a ) cos ( b ) + sin ( a ) sin ( b ) cos ( C ) .

0.0711
= cos 72 cos 18 - sin 72 sin 18

0.0679
cos γ = cos θ cos θ + sin θ sin θ cos ( ϕ - ϕ )

0.0679
sin α sin β cos β cos γ + sin α cos 2 β sin γ + cos α sin 2 β cos γ + cos α sin β cos β sin γ

0.0669
cos a = ( cos a cos c + sin a sin c cos B ) cos c + sin b sin c cos A

0.0651
γ 2 = atan2 ( sin γ 1 , cos β cos γ 1 )

0.0651
cos γ = cos θ cos θ + sin θ sin θ cos ( φ - φ ) .
cos Θ = cos φ cos φ + sin φ sin φ cos ( θ - θ ) .

0.0643
e i ( θ / 2 ) ( n ^ σ ) = I 2 cos θ / 2 + i ( n ^ σ ) sin θ / 2 ,

0.0634
sin ( α + β ) sin ( β + γ ) = sin α sin γ + sin β sin ( α + β + γ )

0.0617
sin ( α + γ ) = sin α cos γ + sin γ cos α

0.0617
cos ( α + β ) = cos α cos β - sin α sin β
cos ( α ± β ) = cos α cos β sin α sin β
cos ( x + y ) = cos x cos y - sin x sin y
cos ( x - y ) = cos x cos y - sin x sin y
cos ( A ± B ) = cos A cos B sin A sin B

0.0617
sin ( α + β ) = sin α cos β + sin β cos α

0.0617
sin ( α + β ) = sin α cos β + cos α sin β
sin ( α - β ) = sin α cos β - cos α sin β
sin ( α ± β ) = sin α cos β ± cos α sin β
0.0614
cos β f ( x ) - sin β f ( x ) = 0

0.0614
ω 2 = ω 1 cos β 1 - sin 2 β cos 2 γ 1

0.0608
d α = β γ , d β = γ α , d γ = α β .

0.0587
cos ( c R ) = cos ( a R ) cos ( b R ) + sin ( a R ) sin ( b R ) cos γ .

0.0586
cos ( x + y ) = cos x cos y - sin x sin y ,

0.0584
cos 2 α + cos 2 β + cos 2 γ + 2 cos ( α ) cos ( β ) cos ( γ ) = 1 ,

0.0576
c ( sin α cos γ + sin γ cos α ) = b sin γ ,

0.0574
a = arccos ( cos α + cos β cos γ sin β sin γ )

0.0565
a = arccos ( cos α + cos β cos γ sin β sin γ ) ,

0.0556
cos ( α - β ) = cos α cos - β - sin α sin - β

0.0556
sin ( α - β ) = sin α cos - β + cos α sin - β

0.0551
𝐱 ^ 2 = [ - cos β sin γ 2 , cos γ 2 , sin β sin γ 2 ]

0.0541
cos 2 θ + sin 2 θ = a 2 + b 2 c 2 = 1 ,

0.0538
cos γ = sin θ s sin θ cos ψ + cos θ s cos θ

0.0536
cos ( A - B ) = cos ( A ) cos ( B ) - sin ( A ) sin ( B )
cos ( A ± B ) = cos ( A ) cos ( B ) sin ( A ) sin ( B )
cos ( x ± y ) = cos ( x ) cos ( y ) sin ( x ) sin ( y )
0.0533
a b c 1 - cos 2 α - cos 2 β - cos 2 γ + 2 cos α cos β cos γ

0.0484
r R = 4 T 2 s a b c = cos α + cos β + cos γ - 1 ;

0.0479
cos c = cos a cos b - n ^ m ^ sin a sin b ,

0.0471
𝐀 = 𝐀 ( cos α 𝐢 ^ + cos β 𝐣 ^ + cos γ 𝐤 ^ ) ,

0.0442
sin γ = c b sin β .

0.0440
tan γ 1 = cos β tan γ 2

0.0437
sin G = cos L cos D cos R - sin L sin R = - cos L cos D sin I + sin L cos I

0.0419
cos c = cos a cos b - u ^ v ^ sin a sin b ,

0.0418
e i ( α + β ) = ( cos α cos β - sin α sin β ) + i ( sin α cos β + sin β cos α )

0.0409
( ω x ω y ω z ) = ( - sin β cos γ sin γ 0 sin β sin γ cos γ 0 cos β 0 1 ) ( α ˙ β ˙ γ ˙ ) .

0.0409
cos a - cos b = - 2 sin ( a + b 2 ) sin ( a - b 2 )

0.0406
c = a cos β + b cos α .

0.0406
cos a sin 2 c = sin a cos c sin c cos B + sin b sin c cos A

0.0398
tan α 1 = cos β 2 sin ω 12 cos β 1 sin β 2 - sin β 1 cos β 2 cos ω 12 ,

0.0345
γ α θ + γ θ β cos θ + γ α β cos α = 0

0.0342
cos ( α + β ) + cos ( α - β ) = cos α cos β - sin α sin β + cos α cos β + sin α sin β = 2 cos α cos β

0.0339
γ α θ cos θ + γ θ β + γ α β cos β = 0

0.0337
cot ( α + β ) = cos ( α + β ) sin ( α + β ) = cos α cos β - sin α sin β sin α cos β + cos α sin β

0.0337
tan ( α + β ) = sin ( α + β ) cos ( α + β ) = sin α cos β + cos α sin β cos α cos β - sin α sin β

0.0326
cos ( α + β ) - cos ( α - β ) = cos α cos β - sin α sin β - cos α cos β - sin α sin β = - 2 sin α sin β

0.0325
a 2 = a 1 cos β 1 - sin 2 β cos 2 γ 1 - ω 1 2 cos β sin 2 β sin 2 γ 1 ( 1 - sin 2 β cos 2 γ 1 ) 2

0.0307
V = a b c 6 1 + 2 cos α cos β cos γ - cos 2 α - cos 2 β - cos 2 γ ,

0.0307
γ = arccos ( sin α sin β cos c - cos α cos β ) ,

0.0273
cos ( α + β ) = O B = O A - B A = O A - R Q = cos α cos β - sin α sin β

0.0273
α - β sin ( α - β ) = sin α cos β - sin β cos α

0.0235
tan ( α + β 2 ) = sin α + sin β cos α + cos β = - cos α - cos β sin α - sin β

0.0217
sin ( α + β ) - sin ( α - β ) = sin α cos β + cos α sin β - sin α cos β + cos α sin β = 2 cos α sin β

0.0211
tan α = sin λ cos ε - tan β sin ε cos λ ; { cos δ sin α = cos β sin λ cos ε - sin β sin ε ; cos δ cos α = cos β cos λ .

0.0164
b = arccos ( cos β + cos γ cos α sin γ sin α )

0.0161
b = arccos ( cos β + cos γ cos α sin γ sin α ) ,
c = arccos ( cos γ + cos α cos β sin α sin β ) .