maximaでやってみた?