I'm trying to use Mathematica as a tool to prove that some C code is equivalent to another (up to roundoff errors). For this I need to somehow paste C expressions like
sqrt(sqr(x)+y*z). I.e. the expressions that contain function calls.
There's a set of functions I know beforehand, and I would like to make it possible to use them as some objects which, on being multiplied on the right by something, result in applying functions instead of multiplication. I.e. I need to make the above expression automatically convert to
How can I achieve this? Note: I'm not looking for a complete C-to-Wolfram translator. Only this particular function-call syntax with particular function names.