<p>Consider a function $f : \mathbb R^m \rightarrow \mathbb R^n$.</p>

<p>Function $f$ can be written down as a simple arithmetic program. It uses addition, subtraction, multiplication and division - however, we condition the input to be such that no division by zero occurs.</p>

<p>Which algorithms do exist to simplify such a program, i.e., that produce an equivalent program of shorter (or shortest) length?</p>

CC BY-SA 3.0
2014-05-26T21:45:27.837Z
Does your program include controle structures, such as loops, or is it just one large arithmetic formula. Does it have variables and assignment? This kind of question requires some precision regarding the language considered. Also, are you interested in the length of the program (how is it measured) or in te number of arithmetic operations executed when it runs, or any othr size measure?
babou
CC BY-SA 3.0
2014-05-27T02:46:36.983Z
When you say "Which algorithms do exist" do you mean "exist" in the theoretical sense, or an actual implementation that you want to use?
Joshua Grochow
<optimization><arithmetic-circuits>
arithmetic formula simplication
shuhalo
# arithmetic formula simplication

(Asked by: username_0 on 2014-05-26)

Consider a function $f : \mathbb R^m \rightarrow \mathbb R^n$.

Function $f$ can be written down as a simple arithmetic program. It uses addition, subtraction, multiplication and division - however, we condition the input to be such that no division by zero occurs.

Which algorithms do exist to simplify such a program, i.e., that produce an equivalent program of shorter (or shortest) length?

**Tags:** optimization, arithmetic-circuits
> **Comments:**
> **username_1**: Does your program include controle structures, such as loops, or is it just one large arithmetic formula. Does it have variables and assignment? This kind of question requires some precision regarding the language considered. Also, are you interested in the length of the program (how is it measured) or in te number of arithmetic operations executed when it runs, or any othr size measure?  
> **username_2**: When you say "Which algorithms do exist" do you mean "exist" in the theoretical sense, or an actual implementation that you want to use?  

---

## 0 answers

