fix(tools/proofchecker/checker): fix math functions(asin,acos,etc)