maxima(sbcl)で数値計算したら強烈に遅い
sbclというよりもmaximaの問題なのかな