計算知能

とある数式を解いていてどうしてもわからず、検索していたらすごいサイトを見つけました。
https://www.wolframalpha.com/

例えばここの入力フォームに
cosh(x)-cosh(y)
と入れると、この関数の別形式などがグラフと共にほぼ瞬時に表示されます。
ちなみに上式の結果は
2 sinh(x/2 – y/2) sinh(x/2 + y/2)
です。

昔からこのような計算や式変換をやってくれるところがあれば、と思っていたのですが、本当にあって驚きました。
これを開発した人は素晴らしいですね。
追記：Mathematicaを開発したところが開発してるようですね。しかも10数年前に。驚きです。