Original	25.7
Target	0.4
Herbie	13.1

Derivation

Split input into 3 regimes
if c < -3.5510259428593697e+202
1. Initial program 41.4
  \[\frac{a \cdot c + b \cdot d}{c \cdot c + d \cdot d}\]
2. Initial simplification41.4
  \[\leadsto \frac{(a \cdot c + \left(b \cdot d\right))_*}{(d \cdot d + \left(c \cdot c\right))_*}\]
3. Using strategy rm
4. Applied add-sqr-sqrt41.4
  \[\leadsto \frac{(a \cdot c + \left(b \cdot d\right))_*}{\color{blue}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*} \cdot \sqrt{(d \cdot d + \left(c \cdot c\right))_*}}}\]
5. Applied *-un-lft-identity41.4
  \[\leadsto \frac{\color{blue}{1 \cdot (a \cdot c + \left(b \cdot d\right))_*}}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*} \cdot \sqrt{(d \cdot d + \left(c \cdot c\right))_*}}\]
6. Applied times-frac41.4
  \[\leadsto \color{blue}{\frac{1}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*}} \cdot \frac{(a \cdot c + \left(b \cdot d\right))_*}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*}}}\]
7. Simplified41.4
  \[\leadsto \color{blue}{\frac{1}{\sqrt{d^2 + c^2}^*}} \cdot \frac{(a \cdot c + \left(b \cdot d\right))_*}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*}}\]
8. Simplified30.1
  \[\leadsto \frac{1}{\sqrt{d^2 + c^2}^*} \cdot \color{blue}{\frac{(d \cdot b + \left(a \cdot c\right))_*}{\sqrt{d^2 + c^2}^*}}\]
9. Using strategy rm
10. Applied associate-*l/30.1
  \[\leadsto \color{blue}{\frac{1 \cdot \frac{(d \cdot b + \left(a \cdot c\right))_*}{\sqrt{d^2 + c^2}^*}}{\sqrt{d^2 + c^2}^*}}\]
11. Simplified30.1
  \[\leadsto \frac{\color{blue}{\frac{(c \cdot a + \left(b \cdot d\right))_*}{\sqrt{d^2 + c^2}^*}}}{\sqrt{d^2 + c^2}^*}\]
12. Using strategy rm
13. Applied div-inv30.1
  \[\leadsto \frac{\color{blue}{(c \cdot a + \left(b \cdot d\right))_* \cdot \frac{1}{\sqrt{d^2 + c^2}^*}}}{\sqrt{d^2 + c^2}^*}\]
14. Taylor expanded around -inf 10.7
  \[\leadsto \frac{\color{blue}{-1 \cdot a}}{\sqrt{d^2 + c^2}^*}\]
15. Simplified10.7
  \[\leadsto \frac{\color{blue}{-a}}{\sqrt{d^2 + c^2}^*}\]
if -3.5510259428593697e+202 < c < 1.837062288872672e+100
1. Initial program 20.7
  \[\frac{a \cdot c + b \cdot d}{c \cdot c + d \cdot d}\]
2. Initial simplification20.7
  \[\leadsto \frac{(a \cdot c + \left(b \cdot d\right))_*}{(d \cdot d + \left(c \cdot c\right))_*}\]
3. Using strategy rm
4. Applied add-sqr-sqrt20.7
  \[\leadsto \frac{(a \cdot c + \left(b \cdot d\right))_*}{\color{blue}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*} \cdot \sqrt{(d \cdot d + \left(c \cdot c\right))_*}}}\]
5. Applied *-un-lft-identity20.7
  \[\leadsto \frac{\color{blue}{1 \cdot (a \cdot c + \left(b \cdot d\right))_*}}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*} \cdot \sqrt{(d \cdot d + \left(c \cdot c\right))_*}}\]
6. Applied times-frac20.7
  \[\leadsto \color{blue}{\frac{1}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*}} \cdot \frac{(a \cdot c + \left(b \cdot d\right))_*}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*}}}\]
7. Simplified20.7
  \[\leadsto \color{blue}{\frac{1}{\sqrt{d^2 + c^2}^*}} \cdot \frac{(a \cdot c + \left(b \cdot d\right))_*}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*}}\]
8. Simplified12.6
  \[\leadsto \frac{1}{\sqrt{d^2 + c^2}^*} \cdot \color{blue}{\frac{(d \cdot b + \left(a \cdot c\right))_*}{\sqrt{d^2 + c^2}^*}}\]
9. Using strategy rm
10. Applied associate-*l/12.5
  \[\leadsto \color{blue}{\frac{1 \cdot \frac{(d \cdot b + \left(a \cdot c\right))_*}{\sqrt{d^2 + c^2}^*}}{\sqrt{d^2 + c^2}^*}}\]
11. Simplified12.5
  \[\leadsto \frac{\color{blue}{\frac{(c \cdot a + \left(b \cdot d\right))_*}{\sqrt{d^2 + c^2}^*}}}{\sqrt{d^2 + c^2}^*}\]
12. Using strategy rm
13. Applied div-inv12.5
  \[\leadsto \frac{\color{blue}{(c \cdot a + \left(b \cdot d\right))_* \cdot \frac{1}{\sqrt{d^2 + c^2}^*}}}{\sqrt{d^2 + c^2}^*}\]
if 1.837062288872672e+100 < c
1. Initial program 39.1
  \[\frac{a \cdot c + b \cdot d}{c \cdot c + d \cdot d}\]
2. Initial simplification39.1
  \[\leadsto \frac{(a \cdot c + \left(b \cdot d\right))_*}{(d \cdot d + \left(c \cdot c\right))_*}\]
3. Using strategy rm
4. Applied add-sqr-sqrt39.1
  \[\leadsto \frac{(a \cdot c + \left(b \cdot d\right))_*}{\color{blue}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*} \cdot \sqrt{(d \cdot d + \left(c \cdot c\right))_*}}}\]
5. Applied *-un-lft-identity39.1
  \[\leadsto \frac{\color{blue}{1 \cdot (a \cdot c + \left(b \cdot d\right))_*}}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*} \cdot \sqrt{(d \cdot d + \left(c \cdot c\right))_*}}\]
6. Applied times-frac39.1
  \[\leadsto \color{blue}{\frac{1}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*}} \cdot \frac{(a \cdot c + \left(b \cdot d\right))_*}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*}}}\]
7. Simplified39.1
  \[\leadsto \color{blue}{\frac{1}{\sqrt{d^2 + c^2}^*}} \cdot \frac{(a \cdot c + \left(b \cdot d\right))_*}{\sqrt{(d \cdot d + \left(c \cdot c\right))_*}}\]
8. Simplified25.1
  \[\leadsto \frac{1}{\sqrt{d^2 + c^2}^*} \cdot \color{blue}{\frac{(d \cdot b + \left(a \cdot c\right))_*}{\sqrt{d^2 + c^2}^*}}\]
9. Using strategy rm
10. Applied associate-*l/25.0
  \[\leadsto \color{blue}{\frac{1 \cdot \frac{(d \cdot b + \left(a \cdot c\right))_*}{\sqrt{d^2 + c^2}^*}}{\sqrt{d^2 + c^2}^*}}\]
11. Simplified25.0
  \[\leadsto \frac{\color{blue}{\frac{(c \cdot a + \left(b \cdot d\right))_*}{\sqrt{d^2 + c^2}^*}}}{\sqrt{d^2 + c^2}^*}\]
12. Taylor expanded around inf 16.8
  \[\leadsto \frac{\color{blue}{a}}{\sqrt{d^2 + c^2}^*}\]
Recombined 3 regimes into one program.
Final simplification13.1
\[\leadsto \begin{array}{l} \mathbf{if}\;c \le -3.5510259428593697 \cdot 10^{+202}:\\ \;\;\;\;\frac{-a}{\sqrt{d^2 + c^2}^*}\\ \mathbf{elif}\;c \le 1.837062288872672 \cdot 10^{+100}:\\ \;\;\;\;\frac{(c \cdot a + \left(d \cdot b\right))_* \cdot \frac{1}{\sqrt{d^2 + c^2}^*}}{\sqrt{d^2 + c^2}^*}\\ \mathbf{else}:\\ \;\;\;\;\frac{a}{\sqrt{d^2 + c^2}^*}\\ \end{array}\]

Error

Target

Derivation

`if c < -3.5510259428593697e+202`

`if -3.5510259428593697e+202 < c < 1.837062288872672e+100`

`if 1.837062288872672e+100 < c`

Runtime