>>316
  sin3(π/2 - t ) = sin3(π/2 + t )
を示すほうが素直だと思うけど