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