で？いつになったらwolframで採用されているアルゴリズムと実装が正しいこと証明してくれるんだよ。