Returned 84 matches (100 formulae, 52 docs)
    Lookup 4.976 ms, Re-ranking 0.319 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.3333
cos C = - cos A cos B + sin A sin B cosh c ,

0.2667
cos A = - cos B cos C + sin B sin C cos a ,
cos A = - cos B cos C + sin B sin C cosh a .
cos B = - cos C cos A + sin C sin A cos b ,
0.2074
cos C = - cos A cos B + sin A sin B cos c .

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

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

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

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

0.1300
sin α sin β cos β cos γ + sin α cos 2 β sin γ + cos α sin 2 β cos γ + cos α sin β cos β sin γ

0.1255
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.1200
cos ( α - β ) = cos α cos - β - sin α sin - β

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

0.1156
cos ( α + β ) = cos α cos β - sin α sin β
cos ( α ± β ) = cos α cos β sin α sin β

0.1098
cos c = cos a cos b + sin a sin b cos γ .

0.1071
a b c 1 - cos 2 α - cos 2 β - cos 2 γ + 2 cos α cos β cos γ

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

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

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

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

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

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

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

0.0978
cos ( x - y ) = cos x cos y + sin x sin y

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

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

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

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

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

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

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

0.0863
cos a = cos b cos c + sin b sin c cos A .

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

0.0849
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.0812
sin ( α + β ) sin ( β + γ ) = sin α sin γ + sin β sin ( α + β + γ )

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

0.0800
sin ( α + β ) = sin α cos β + cos α sin β
sin ( α + β ) = sin α cos β + sin β cos α
sin ( α + γ ) = sin α cos γ + sin γ cos α
0.0796
ω 2 = ω 1 cos β 1 - sin 2 β cos 2 γ 1

0.0795
cos 2 γ + sin 2 γ = 1.

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

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

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

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

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

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

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

0.0732
c = arccos ( cos γ + cos α cos β sin α sin β ) .

0.0727
cos C = - cos A

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

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

0.0714
cos γ = cos θ cos θ + sin θ sin θ cos ( φ - φ ) .

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

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

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

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

0.0690
α = 180 - β - γ

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

0.0676
cot ( α + β ) = cos ( α + β ) sin ( α + β ) = cos α cos β - sin α sin β sin α cos β + cos α sin β
tan ( α + β ) = sin ( α + β ) cos ( α + β ) = sin α cos β + cos α sin β cos α cos β - sin α sin β

0.0667
d α = β γ , d β = γ α , d γ = α β .

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

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

0.0655
cos Θ = cos φ cos φ + sin φ sin φ cos ( θ - θ ) .

0.0653
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.0638
cos ( x ) = - cos ( π - x )

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

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

0.0619
cos β f ( x ) - sin β f ( x ) = 0

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

0.0615
= cos 72 cos 18 - sin 72 sin 18
c = a cos β + b cos α .

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

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

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

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

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

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

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

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

0.0569
b = arccos ( cos β + cos γ cos α sin γ sin α ) ,

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

0.0559
sin γ = c b sin β .

0.0556
tan γ 1 = cos β tan γ 2

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

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

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

0.0541
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 )