>>880
とりあえず、 t = tan(x/2)として置換