\[Sqrt](((x Cos[t] (Sin[s1] - Sin[s3])) + (y Cos[
t] (Cos[s3] Sin[s4] - Cos[s1] Sin[s2])))^2 + (y Cos[
t] (Cos[s4] - Cos[s2]))^2 + (x Cos[t] (Cos[s1] + Cos[s3]) +
y Cos (t) (Sin[s1] Sin[s2] + Sin[s3] Sin[s4]))^2) - 2 x

问题是，你想怎么化简？什么叫做化简？
就我现在的感觉来说，你这式子没啥好化简的