Equivale a chiedere se esiste un software per il calcolo simbolico...

Che io sappia devi rivolgerti a Mathematica o simili, ma devi certamente ricodificare in algebra il tuo algoritmo, altrimenti non riuscirai ad analizzarlo.