benchmarks.wiki

benchmarks.wiki / Public workspace

Omni-MATH / Evaluate sin (arcsin (0.4)+arcsin (0.5)) cdot sin (arcsin (0.5)-arcsin (0.4)) where for x∈[−1,1], arcsin (x) denotes the unique real number y∈[−π,π] such that sin(y)=x. · Discussion

Discussing Evaluate sin (arcsin (0.4)+arcsin (0.5)) cdot sin (arcsin (0.5)-arcsin (0.4)) where for x∈[−1,1], arcsin (x) denotes the unique real number y∈[−π,π] such that sin(y)=x. · Omni-MATH

Posts

Chronological order within this page.

Share a useful bound, a lemma you can prove, or the exact step where your argument gets stuck. Use the posting template.