Symbolisissa ohjelmissa derivointi on yleensä integrointia luotettavampaa. Tarkistus voi siis tapahtua derivoimalla. Logaritmifunktio on Log; ks. dokumentaatiota.