Type giac
>giac // Using locale /usr/local/share/locale/ // en_US.utf8 // /usr/local/share/locale/ // giac // UTF-8 // Maximum number of parallel threads 8 Added 26 synonyms // Read 1205 entries from cache /usr/share/giac/doc/en/html_mtt // Read 1481 entries from cache /usr/share/giac/doc/en/html_mall // Read 1043 entries from cache /usr/share/giac/doc/en/html_vall Welcome to giac readline interface, version 1.9.0 (c) 2002,2022 B. Parisse & others Homepage http://www-fourier.ujf-grenoble.fr/~parisse/giac.html Released under the GPL license 3.0 or above See http://www.gnu.org for license details May contain BSD licensed software parts (lapack, atlas, tinymt) ------------------------------------------------- Press CTRL and D simultaneously to finish session Type ?commandname for help *** Type xcas to launch a light version of Xcas *** 0>> int(sin(x),x) -cos(x) // Time 0 1>>