cos(π/12) - cos(-π/15)