Jmat.Real.gamma, branch z less than 0.5

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \color{blue}{\left(\left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right) \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right)\right)} \]

3. Simplified98.2%

   \[\leadsto \color{blue}{\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\left(\left(1 - z\right) + -1\right) + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right)} \]

4. Taylor expanded in z around 0 98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\color{blue}{-1 \cdot z} + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]
5. Step-by-step derivation

   1. mul-1-neg98.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\color{blue}{\left(-z\right)} + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

6. Simplified98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\color{blue}{\left(-z\right)} + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

7. Taylor expanded in z around inf 98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \color{blue}{\left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)}\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

8. Final simplification98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\frac{-1259.1392167224028}{\left(1 - z\right) - -1} + \left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right)\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \color{blue}{\left(\left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right) \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right)\right)} \]

3. Simplified98.2%

   \[\leadsto \color{blue}{\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\left(\left(1 - z\right) + -1\right) + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right)} \]

4. Taylor expanded in z around 0 98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\color{blue}{-1 \cdot z} + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]
5. Step-by-step derivation

   1. mul-1-neg98.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\color{blue}{\left(-z\right)} + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

6. Simplified98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\color{blue}{\left(-z\right)} + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

7. Taylor expanded in z around inf 98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \color{blue}{\left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)}\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]
8. Step-by-step derivation

   1. expm1-log1p-u98.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \color{blue}{\mathsf{expm1}\left(\mathsf{log1p}\left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right)}\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

   2. expm1-udef98.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \color{blue}{\left(e^{\mathsf{log1p}\left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)} - 1\right)}\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

   3. sub-neg98.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(e^{\mathsf{log1p}\left(\frac{771.3234287776531}{\color{blue}{\left(1 - z\right) + \left(--2\right)}} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)} - 1\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

   4. metadata-eval98.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(e^{\mathsf{log1p}\left(\frac{771.3234287776531}{\left(1 - z\right) + \color{blue}{2}} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)} - 1\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

   5. sub-neg98.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(e^{\mathsf{log1p}\left(\frac{771.3234287776531}{\left(1 - z\right) + 2} + \frac{-176.6150291621406}{\color{blue}{\left(1 - z\right) + \left(--3\right)}}\right)} - 1\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

   6. metadata-eval98.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(e^{\mathsf{log1p}\left(\frac{771.3234287776531}{\left(1 - z\right) + 2} + \frac{-176.6150291621406}{\left(1 - z\right) + \color{blue}{3}}\right)} - 1\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

9. Applied egg-rr98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \color{blue}{\left(e^{\mathsf{log1p}\left(\frac{771.3234287776531}{\left(1 - z\right) + 2} + \frac{-176.6150291621406}{\left(1 - z\right) + 3}\right)} - 1\right)}\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]
10. Step-by-step derivation

    1. expm1-def98.2%

       \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \color{blue}{\mathsf{expm1}\left(\mathsf{log1p}\left(\frac{771.3234287776531}{\left(1 - z\right) + 2} + \frac{-176.6150291621406}{\left(1 - z\right) + 3}\right)\right)}\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

    2. expm1-log1p98.2%

       \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \color{blue}{\left(\frac{771.3234287776531}{\left(1 - z\right) + 2} + \frac{-176.6150291621406}{\left(1 - z\right) + 3}\right)}\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

    3. +-commutative98.2%

       \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\color{blue}{2 + \left(1 - z\right)}} + \frac{-176.6150291621406}{\left(1 - z\right) + 3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

    4. associate-+r-98.2%

       \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\color{blue}{\left(2 + 1\right) - z}} + \frac{-176.6150291621406}{\left(1 - z\right) + 3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

    5. metadata-eval98.2%

       \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\color{blue}{3} - z} + \frac{-176.6150291621406}{\left(1 - z\right) + 3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

    6. +-commutative98.2%

       \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{3 - z} + \frac{-176.6150291621406}{\color{blue}{3 + \left(1 - z\right)}}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

    7. associate-+r-98.2%

       \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{3 - z} + \frac{-176.6150291621406}{\color{blue}{\left(3 + 1\right) - z}}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

    8. metadata-eval98.2%

       \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{3 - z} + \frac{-176.6150291621406}{\color{blue}{4} - z}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

11. Simplified98.2%

    \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \color{blue}{\left(\frac{771.3234287776531}{3 - z} + \frac{-176.6150291621406}{4 - z}\right)}\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

12. Final simplification98.2%

    \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right) + \left(\left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right) + \left(\left(\frac{-1259.1392167224028}{\left(1 - z\right) - -1} + \left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right)\right) + \left(\frac{771.3234287776531}{3 - z} + \frac{-176.6150291621406}{4 - z}\right)\right)\right)\right)\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \color{blue}{\left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}} \]

3. Simplified97.9%

   \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right)} \]

4. Taylor expanded in z around inf 97.9%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \color{blue}{\left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)}\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

5. Final simplification97.9%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right) \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right)\right)\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \color{blue}{\left(\left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right) \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right)\right)} \]

3. Simplified98.2%

   \[\leadsto \color{blue}{\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\left(\left(1 - z\right) + -1\right) + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right)} \]

4. Taylor expanded in z around 0 98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\color{blue}{-1 \cdot z} + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]
5. Step-by-step derivation

   1. mul-1-neg98.2%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\color{blue}{\left(-z\right)} + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

6. Simplified98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\color{blue}{\left(-z\right)} + 7.5\right)}^{\left(\left(1 - z\right) - 0.5\right)} \cdot e^{\left(-\left(\left(1 - z\right) - -6\right)\right) + -0.5}\right)\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

7. Taylor expanded in z around inf 98.2%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \color{blue}{\left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)}\right) \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(1 - z\right) - 0}\right) + \frac{-1259.1392167224028}{\left(1 - z\right) - -1}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

8. Taylor expanded in z around 0 96.8%

   \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\color{blue}{\left(47.95075976068351 + 361.7355639412844 \cdot z\right)} + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]
9. Step-by-step derivation

   1. *-commutative96.8%

      \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(47.95075976068351 + \color{blue}{z \cdot 361.7355639412844}\right) + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

10. Simplified96.8%

    \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\color{blue}{\left(47.95075976068351 + z \cdot 361.7355639412844\right)} + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \frac{-176.6150291621406}{\left(1 - z\right) - -3}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

11. Taylor expanded in z around 0 96.8%

    \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(47.95075976068351 + z \cdot 361.7355639412844\right) + \color{blue}{\left(212.9540523020159 + 74.66416387488323 \cdot z\right)}\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]
12. Step-by-step derivation

    1. *-commutative96.8%

       \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(47.95075976068351 + z \cdot 361.7355639412844\right) + \left(212.9540523020159 + \color{blue}{z \cdot 74.66416387488323}\right)\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

13. Simplified96.8%

    \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\left(\left(47.95075976068351 + z \cdot 361.7355639412844\right) + \color{blue}{\left(212.9540523020159 + z \cdot 74.66416387488323\right)}\right) + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right)\right) + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right)\right)\right) \]

14. Final simplification96.8%

    \[\leadsto \frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \left(\left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7}\right) + \left(\left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \frac{-0.13857109526572012}{\left(1 - z\right) - -5}\right) + \left(\left(47.95075976068351 + z \cdot 361.7355639412844\right) + \left(212.9540523020159 + z \cdot 74.66416387488323\right)\right)\right)\right)\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. associate-*r*96.4%

      \[\leadsto \color{blue}{\left(\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right)\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)} \]

   2. *-commutative96.4%

      \[\leadsto \color{blue}{\left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right) \cdot \left(\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right)\right)} \]

3. Simplified97.8%

   \[\leadsto \color{blue}{\left(\left(\frac{676.5203681218851}{1 - z} + \left(\left(0.9999999999998099 + \frac{771.3234287776531}{3 - z}\right) + \frac{-1259.1392167224028}{2 - z}\right)\right) + \left(\frac{-176.6150291621406}{4 - z} + \left(\left(\left(\frac{12.507343278686905}{5 - z} + \frac{-0.13857109526572012}{6 - z}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{7 - z}\right)\right)\right) \cdot \left(\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot \left(\sqrt{\pi \cdot 2} \cdot e^{z + -7.5}\right)\right)\right)} \]

4. Taylor expanded in z around 0 96.7%

   \[\leadsto \left(\left(\frac{676.5203681218851}{1 - z} + \left(\left(0.9999999999998099 + \frac{771.3234287776531}{3 - z}\right) + \frac{-1259.1392167224028}{2 - z}\right)\right) + \color{blue}{\left(-10.54199458246183 \cdot z - 41.67538237218314\right)}\right) \cdot \left(\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot \left(\sqrt{\pi \cdot 2} \cdot e^{z + -7.5}\right)\right)\right) \]

5. Final simplification96.7%

   \[\leadsto \left(\left(\frac{676.5203681218851}{1 - z} + \left(\frac{-1259.1392167224028}{2 - z} + \left(0.9999999999998099 + \frac{771.3234287776531}{3 - z}\right)\right)\right) + \left(z \cdot -10.54199458246183 - 41.67538237218314\right)\right) \cdot \left(\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot \left(\sqrt{\pi \cdot 2} \cdot e^{z + -7.5}\right)\right)\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \color{blue}{\left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}} \]

3. Simplified97.9%

   \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right)} \]

4. Taylor expanded in z around 0 96.6%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{\left(263.4062807184368 + 436.9000215473151 \cdot z\right)} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]
5. Step-by-step derivation

   1. *-commutative96.6%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(263.4062807184368 + \color{blue}{z \cdot 436.9000215473151}\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

6. Simplified96.6%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{\left(263.4062807184368 + z \cdot 436.9000215473151\right)} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

7. Taylor expanded in z around inf 96.6%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(263.4062807184368 + z \cdot 436.9000215473151\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \color{blue}{\left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)}\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

8. Final simplification96.6%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right) \cdot \left(\left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right) + \left(263.4062807184368 + z \cdot 436.9000215473151\right)\right)\right)\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \color{blue}{\left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}} \]

3. Simplified97.9%

   \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right)} \]

4. Taylor expanded in z around 0 96.6%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{\left(263.4062807184368 + 436.9000215473151 \cdot z\right)} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]
5. Step-by-step derivation

   1. *-commutative96.6%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(263.4062807184368 + \color{blue}{z \cdot 436.9000215473151}\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

6. Simplified96.6%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{\left(263.4062807184368 + z \cdot 436.9000215473151\right)} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

7. Taylor expanded in z around inf 96.6%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(263.4062807184368 + z \cdot 436.9000215473151\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \color{blue}{\left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)}\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

8. Taylor expanded in z around 0 96.5%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\color{blue}{\left(263.3831869810514 + 436.8961725563396 \cdot z\right)} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]
9. Step-by-step derivation

   1. *-commutative96.5%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(263.3831869810514 + \color{blue}{z \cdot 436.8961725563396}\right) \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

10. Simplified96.5%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\color{blue}{\left(263.3831869810514 + z \cdot 436.8961725563396\right)} \cdot \left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

11. Final simplification96.5%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left({\left(7.5 - z\right)}^{\left(0.5 - z\right)} \cdot e^{z - 7.5}\right) \cdot \left(263.3831869810514 + z \cdot 436.8961725563396\right)\right)\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \color{blue}{\left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}} \]

3. Simplified97.9%

   \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right)} \]

4. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{263.4062807184368} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

5. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(263.3831869810514 \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]
6. Step-by-step derivation

   1. *-commutative96.0%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(\left(e^{-7.5} \cdot \sqrt{7.5}\right) \cdot 263.3831869810514\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

   2. associate-*l*95.2%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

7. Simplified95.2%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

8. Taylor expanded in z around 0 95.8%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5} \cdot \sqrt{7.5}}{z}\right)} \]
9. Step-by-step derivation

   1. associate-/l*95.7%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \color{blue}{\frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}}\right) \]

10. Simplified95.7%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right)} \]

11. Taylor expanded in z around 0 95.9%

    \[\leadsto \color{blue}{263.3831869810514 \cdot \left(\frac{\sqrt{2} \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)}{z} \cdot \sqrt{\pi}\right)} \]
12. Step-by-step derivation

    1. associate-/l*96.2%

       \[\leadsto 263.3831869810514 \cdot \left(\color{blue}{\frac{\sqrt{2}}{\frac{z}{e^{-7.5} \cdot \sqrt{7.5}}}} \cdot \sqrt{\pi}\right) \]

    2. associate-/r/96.2%

       \[\leadsto 263.3831869810514 \cdot \left(\color{blue}{\left(\frac{\sqrt{2}}{z} \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)\right)} \cdot \sqrt{\pi}\right) \]

13. Simplified96.2%

    \[\leadsto \color{blue}{263.3831869810514 \cdot \left(\left(\frac{\sqrt{2}}{z} \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)\right) \cdot \sqrt{\pi}\right)} \]

14. Final simplification96.2%

    \[\leadsto 263.3831869810514 \cdot \left(\left(\frac{\sqrt{2}}{z} \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)\right) \cdot \sqrt{\pi}\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \color{blue}{\left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}} \]

3. Simplified97.9%

   \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right)} \]

4. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{263.4062807184368} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

5. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(263.3831869810514 \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]
6. Step-by-step derivation

   1. *-commutative96.0%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(\left(e^{-7.5} \cdot \sqrt{7.5}\right) \cdot 263.3831869810514\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

   2. associate-*l*95.2%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

7. Simplified95.2%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

8. Taylor expanded in z around 0 95.8%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5} \cdot \sqrt{7.5}}{z}\right)} \]
9. Step-by-step derivation

   1. associate-/l*95.7%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \color{blue}{\frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}}\right) \]

10. Simplified95.7%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right)} \]
11. Step-by-step derivation

    1. expm1-log1p-u43.9%

       \[\leadsto \color{blue}{\mathsf{expm1}\left(\mathsf{log1p}\left(\sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right)\right)\right)} \]

    2. expm1-udef43.9%

       \[\leadsto \color{blue}{e^{\mathsf{log1p}\left(\sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right)\right)} - 1} \]

    3. *-commutative43.9%

       \[\leadsto e^{\mathsf{log1p}\left(\color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right) \cdot \sqrt{\pi \cdot 2}}\right)} - 1 \]

    4. associate-/r/43.9%

       \[\leadsto e^{\mathsf{log1p}\left(\left(263.3831869810514 \cdot \color{blue}{\left(\frac{e^{-7.5}}{z} \cdot \sqrt{7.5}\right)}\right) \cdot \sqrt{\pi \cdot 2}\right)} - 1 \]

12. Applied egg-rr43.9%

    \[\leadsto \color{blue}{e^{\mathsf{log1p}\left(\left(263.3831869810514 \cdot \left(\frac{e^{-7.5}}{z} \cdot \sqrt{7.5}\right)\right) \cdot \sqrt{\pi \cdot 2}\right)} - 1} \]
13. Step-by-step derivation

    1. expm1-def43.9%

       \[\leadsto \color{blue}{\mathsf{expm1}\left(\mathsf{log1p}\left(\left(263.3831869810514 \cdot \left(\frac{e^{-7.5}}{z} \cdot \sqrt{7.5}\right)\right) \cdot \sqrt{\pi \cdot 2}\right)\right)} \]

    2. expm1-log1p95.8%

       \[\leadsto \color{blue}{\left(263.3831869810514 \cdot \left(\frac{e^{-7.5}}{z} \cdot \sqrt{7.5}\right)\right) \cdot \sqrt{\pi \cdot 2}} \]

    3. associate-*l*95.8%

       \[\leadsto \color{blue}{263.3831869810514 \cdot \left(\left(\frac{e^{-7.5}}{z} \cdot \sqrt{7.5}\right) \cdot \sqrt{\pi \cdot 2}\right)} \]

    4. associate-*l*95.7%

       \[\leadsto 263.3831869810514 \cdot \color{blue}{\left(\frac{e^{-7.5}}{z} \cdot \left(\sqrt{7.5} \cdot \sqrt{\pi \cdot 2}\right)\right)} \]

    5. *-commutative95.7%

       \[\leadsto 263.3831869810514 \cdot \left(\frac{e^{-7.5}}{z} \cdot \left(\sqrt{7.5} \cdot \sqrt{\color{blue}{2 \cdot \pi}}\right)\right) \]

14. Simplified95.7%

    \[\leadsto \color{blue}{263.3831869810514 \cdot \left(\frac{e^{-7.5}}{z} \cdot \left(\sqrt{7.5} \cdot \sqrt{2 \cdot \pi}\right)\right)} \]

15. Final simplification95.7%

    \[\leadsto 263.3831869810514 \cdot \left(\frac{e^{-7.5}}{z} \cdot \left(\sqrt{\pi \cdot 2} \cdot \sqrt{7.5}\right)\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \color{blue}{\left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}} \]

3. Simplified97.9%

   \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right)} \]

4. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{263.4062807184368} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

5. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(263.3831869810514 \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]
6. Step-by-step derivation

   1. *-commutative96.0%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(\left(e^{-7.5} \cdot \sqrt{7.5}\right) \cdot 263.3831869810514\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

   2. associate-*l*95.2%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

7. Simplified95.2%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

8. Taylor expanded in z around 0 95.8%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5} \cdot \sqrt{7.5}}{z}\right)} \]
9. Step-by-step derivation

   1. associate-/l*95.7%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \color{blue}{\frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}}\right) \]

10. Simplified95.7%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right)} \]

11. Final simplification95.7%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \color{blue}{\left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}} \]

3. Simplified97.9%

   \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right)} \]

4. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{263.4062807184368} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

5. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(263.3831869810514 \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]
6. Step-by-step derivation

   1. *-commutative96.0%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(\left(e^{-7.5} \cdot \sqrt{7.5}\right) \cdot 263.3831869810514\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

   2. associate-*l*95.2%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

7. Simplified95.2%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

8. Taylor expanded in z around 0 95.8%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5} \cdot \sqrt{7.5}}{z}\right)} \]
9. Step-by-step derivation

   1. associate-/l*95.7%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \color{blue}{\frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}}\right) \]

10. Simplified95.7%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right)} \]

11. Taylor expanded in z around 0 95.8%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5} \cdot \sqrt{7.5}}{z}\right)} \]
12. Step-by-step derivation

    1. *-commutative95.8%

       \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \frac{\color{blue}{\sqrt{7.5} \cdot e^{-7.5}}}{z}\right) \]

    2. associate-/l*95.8%

       \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \color{blue}{\frac{\sqrt{7.5}}{\frac{z}{e^{-7.5}}}}\right) \]

13. Simplified95.8%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{\sqrt{7.5}}{\frac{z}{e^{-7.5}}}\right)} \]

14. Final simplification95.8%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \frac{\sqrt{7.5}}{\frac{z}{e^{-7.5}}}\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \color{blue}{\left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}} \]

3. Simplified97.9%

   \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right)} \]

4. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{263.4062807184368} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

5. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(263.3831869810514 \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]
6. Step-by-step derivation

   1. *-commutative96.0%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(\left(e^{-7.5} \cdot \sqrt{7.5}\right) \cdot 263.3831869810514\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

   2. associate-*l*95.2%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

7. Simplified95.2%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

8. Taylor expanded in z around 0 95.8%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5} \cdot \sqrt{7.5}}{z}\right)} \]

9. Final simplification95.8%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \frac{e^{-7.5} \cdot \sqrt{7.5}}{z}\right) \]

1. Initial program 96.2%

   \[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \]
2. Step-by-step derivation

   1. *-commutative96.2%

      \[\leadsto \color{blue}{\left(\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}^{\left(\left(\left(1 - z\right) - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}} \]

3. Simplified97.9%

   \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{1 - z}\right) + \left(\frac{-1259.1392167224028}{2 - z} + \left(\frac{771.3234287776531}{3 - z} + \left(\frac{-176.6150291621406}{4 - z} + \frac{12.507343278686905}{5 - z}\right)\right)\right)\right) + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right)} \]

4. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(\color{blue}{263.4062807184368} + \left(\frac{-0.13857109526572012}{6 - z} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{7 - z} + \frac{1.5056327351493116 \cdot 10^{-7}}{8 - z}\right)\right)\right) \cdot \left({\left(\left(-z\right) + 7.5\right)}^{\left(0.5 - z\right)} \cdot e^{-7.5 - \left(-z\right)}\right)\right) \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

5. Taylor expanded in z around 0 96.0%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(263.3831869810514 \cdot \left(e^{-7.5} \cdot \sqrt{7.5}\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]
6. Step-by-step derivation

   1. *-commutative96.0%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(\left(e^{-7.5} \cdot \sqrt{7.5}\right) \cdot 263.3831869810514\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

   2. associate-*l*95.2%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

7. Simplified95.2%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\color{blue}{\left(e^{-7.5} \cdot \left(\sqrt{7.5} \cdot 263.3831869810514\right)\right)} \cdot \frac{\pi}{\sin \left(\pi \cdot z\right)}\right) \]

8. Taylor expanded in z around 0 95.8%

   \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5} \cdot \sqrt{7.5}}{z}\right)} \]
9. Step-by-step derivation

   1. associate-/l*95.7%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \color{blue}{\frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}}\right) \]

10. Simplified95.7%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right)} \]
11. Step-by-step derivation

    1. expm1-log1p-u43.9%

       \[\leadsto \color{blue}{\mathsf{expm1}\left(\mathsf{log1p}\left(\sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right)\right)\right)} \]

    2. expm1-udef43.9%

       \[\leadsto \color{blue}{e^{\mathsf{log1p}\left(\sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right)\right)} - 1} \]

    3. *-commutative43.9%

       \[\leadsto e^{\mathsf{log1p}\left(\color{blue}{\left(263.3831869810514 \cdot \frac{e^{-7.5}}{\frac{z}{\sqrt{7.5}}}\right) \cdot \sqrt{\pi \cdot 2}}\right)} - 1 \]

    4. associate-/r/43.9%

       \[\leadsto e^{\mathsf{log1p}\left(\left(263.3831869810514 \cdot \color{blue}{\left(\frac{e^{-7.5}}{z} \cdot \sqrt{7.5}\right)}\right) \cdot \sqrt{\pi \cdot 2}\right)} - 1 \]

12. Applied egg-rr43.9%

    \[\leadsto \color{blue}{e^{\mathsf{log1p}\left(\left(263.3831869810514 \cdot \left(\frac{e^{-7.5}}{z} \cdot \sqrt{7.5}\right)\right) \cdot \sqrt{\pi \cdot 2}\right)} - 1} \]
13. Step-by-step derivation

    1. expm1-def43.9%

       \[\leadsto \color{blue}{\mathsf{expm1}\left(\mathsf{log1p}\left(\left(263.3831869810514 \cdot \left(\frac{e^{-7.5}}{z} \cdot \sqrt{7.5}\right)\right) \cdot \sqrt{\pi \cdot 2}\right)\right)} \]

    2. expm1-log1p95.8%

       \[\leadsto \color{blue}{\left(263.3831869810514 \cdot \left(\frac{e^{-7.5}}{z} \cdot \sqrt{7.5}\right)\right) \cdot \sqrt{\pi \cdot 2}} \]

    3. *-commutative95.8%

       \[\leadsto \left(263.3831869810514 \cdot \color{blue}{\left(\sqrt{7.5} \cdot \frac{e^{-7.5}}{z}\right)}\right) \cdot \sqrt{\pi \cdot 2} \]

    4. *-commutative95.8%

       \[\leadsto \left(263.3831869810514 \cdot \left(\sqrt{7.5} \cdot \frac{e^{-7.5}}{z}\right)\right) \cdot \sqrt{\color{blue}{2 \cdot \pi}} \]

14. Simplified95.8%

    \[\leadsto \color{blue}{\left(263.3831869810514 \cdot \left(\sqrt{7.5} \cdot \frac{e^{-7.5}}{z}\right)\right) \cdot \sqrt{2 \cdot \pi}} \]

15. Final simplification95.8%

    \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(263.3831869810514 \cdot \left(\sqrt{7.5} \cdot \frac{e^{-7.5}}{z}\right)\right) \]

herbie shell --seed 2023166 
(FPCore (z)
  :name "Jmat.Real.gamma, branch z less than 0.5"
  :precision binary64
  :pre (<= z 0.5)
  (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5) (+ (- (- 1.0 z) 1.0) 0.5))) (exp (- (+ (+ (- (- 1.0 z) 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1.0 z) 1.0) 1.0))) (/ -1259.1392167224028 (+ (- (- 1.0 z) 1.0) 2.0))) (/ 771.3234287776531 (+ (- (- 1.0 z) 1.0) 3.0))) (/ -176.6150291621406 (+ (- (- 1.0 z) 1.0) 4.0))) (/ 12.507343278686905 (+ (- (- 1.0 z) 1.0) 5.0))) (/ -0.13857109526572012 (+ (- (- 1.0 z) 1.0) 6.0))) (/ 9.984369578019572e-6 (+ (- (- 1.0 z) 1.0) 7.0))) (/ 1.5056327351493116e-7 (+ (- (- 1.0 z) 1.0) 8.0))))))