Initial program 97.0%
\[\frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\left(\left(\sqrt{\mathsf{PI}\left(\right) \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)
\]
- Add Preprocessing
Step-by-step derivation
lift-*.f64N/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\color{blue}{\left(\left(\sqrt{\mathsf{PI}\left(\right) \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}^{\left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right)}\right) \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}\right)} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
lift-*.f64N/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\left(\color{blue}{\left(\sqrt{\mathsf{PI}\left(\right) \cdot 2} \cdot {\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}^{\left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right)}\right)} \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
associate-*l*N/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\color{blue}{\left(\sqrt{\mathsf{PI}\left(\right) \cdot 2} \cdot \left({\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}^{\left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right)} \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}\right)\right)} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
lift-sqrt.f64N/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\left(\color{blue}{\sqrt{\mathsf{PI}\left(\right) \cdot 2}} \cdot \left({\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}^{\left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right)} \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}\right)\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
pow1/2N/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\left(\color{blue}{{\left(\mathsf{PI}\left(\right) \cdot 2\right)}^{\frac{1}{2}}} \cdot \left({\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}^{\left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right)} \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}\right)\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
pow-to-expN/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\left(\color{blue}{e^{\log \left(\mathsf{PI}\left(\right) \cdot 2\right) \cdot \frac{1}{2}}} \cdot \left({\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}^{\left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right)} \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}\right)\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
lift-pow.f64N/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\left(e^{\log \left(\mathsf{PI}\left(\right) \cdot 2\right) \cdot \frac{1}{2}} \cdot \left(\color{blue}{{\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}^{\left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right)}} \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}\right)\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
pow-to-expN/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\left(e^{\log \left(\mathsf{PI}\left(\right) \cdot 2\right) \cdot \frac{1}{2}} \cdot \left(\color{blue}{e^{\log \left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right) \cdot \left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right)}} \cdot e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}\right)\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
lift-exp.f64N/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\left(e^{\log \left(\mathsf{PI}\left(\right) \cdot 2\right) \cdot \frac{1}{2}} \cdot \left(e^{\log \left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right) \cdot \left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right)} \cdot \color{blue}{e^{-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)}}\right)\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
prod-expN/A
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\left(e^{\log \left(\mathsf{PI}\left(\right) \cdot 2\right) \cdot \frac{1}{2}} \cdot \color{blue}{e^{\log \left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right) \cdot \left(\left(\left(1 - z\right) - 1\right) + \frac{1}{2}\right) + \left(-\left(\left(\left(\left(1 - z\right) - 1\right) + 7\right) + \frac{1}{2}\right)\right)}}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\frac{9999999999998099}{10000000000000000} + \frac{\frac{6765203681218851}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 1}\right) + \frac{\frac{-3147848041806007}{2500000000000}}{\left(\left(1 - z\right) - 1\right) + 2}\right) + \frac{\frac{7713234287776531}{10000000000000}}{\left(\left(1 - z\right) - 1\right) + 3}\right) + \frac{\frac{-883075145810703}{5000000000000}}{\left(\left(1 - z\right) - 1\right) + 4}\right) + \frac{\frac{2501468655737381}{200000000000000}}{\left(\left(1 - z\right) - 1\right) + 5}\right) + \frac{\frac{-3464277381643003}{25000000000000000}}{\left(\left(1 - z\right) - 1\right) + 6}\right) + \frac{\frac{2496092394504893}{250000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 7}\right) + \frac{\frac{3764081837873279}{25000000000000000000000}}{\left(\left(1 - z\right) - 1\right) + 8}\right)\right)
\]
Applied rewrites97.7%
\[\leadsto \frac{\mathsf{PI}\left(\right)}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \left(\color{blue}{e^{\mathsf{fma}\left(\log \left(\mathsf{PI}\left(\right) \cdot 2\right), 0.5, \mathsf{fma}\left(\log \left(\left(1 - z\right) - -6.5\right), \left(1 - z\right) - 0.5, -\left(\left(1 - z\right) - -6.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)\right)
\]
Applied rewrites98.5%
\[\leadsto \color{blue}{\mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \left(\frac{-0.13857109526572012}{\left(1 - z\right) - -5} + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \left(\frac{-176.6150291621406}{\left(1 - z\right) - -3} + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \left(\left(\frac{-1259.1392167224028}{\left(1 - z\right) - -1} + 0.9999999999998099\right) + \frac{676.5203681218851}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(\left(1 - z\right) - 0.5, \mathsf{log1p}\left(\left(-z\right) - -6.5\right), -1 + \left(-6.5 + z\right)\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}}
\]
Taylor expanded in z around inf
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot \color{blue}{e^{\left(z + \log \left(\frac{15}{2} - z\right) \cdot \left(\frac{1}{2} - z\right)\right) - \frac{15}{2}}}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
Step-by-step derivation
lower-exp.f64N/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot \color{blue}{e^{\left(z + \log \left(\frac{15}{2} - z\right) \cdot \left(\frac{1}{2} - z\right)\right) - \frac{15}{2}}}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
+-commutativeN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\color{blue}{\left(\log \left(\frac{15}{2} - z\right) \cdot \left(\frac{1}{2} - z\right) + z\right)} - \frac{15}{2}}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
associate--l+N/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\color{blue}{\log \left(\frac{15}{2} - z\right) \cdot \left(\frac{1}{2} - z\right) + \left(z - \frac{15}{2}\right)}}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
*-commutativeN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\color{blue}{\left(\frac{1}{2} - z\right) \cdot \log \left(\frac{15}{2} - z\right)} + \left(z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
sub-negN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\color{blue}{\left(\frac{1}{2} + \left(\mathsf{neg}\left(z\right)\right)\right)} \cdot \log \left(\frac{15}{2} - z\right) + \left(z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
mul-1-negN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\left(\frac{1}{2} + \color{blue}{-1 \cdot z}\right) \cdot \log \left(\frac{15}{2} - z\right) + \left(z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
sub-negN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\left(\frac{1}{2} + -1 \cdot z\right) \cdot \log \color{blue}{\left(\frac{15}{2} + \left(\mathsf{neg}\left(z\right)\right)\right)} + \left(z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
mul-1-negN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\left(\frac{1}{2} + -1 \cdot z\right) \cdot \log \left(\frac{15}{2} + \color{blue}{-1 \cdot z}\right) + \left(z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
lower-fma.f64N/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\color{blue}{\mathsf{fma}\left(\frac{1}{2} + -1 \cdot z, \log \left(\frac{15}{2} + -1 \cdot z\right), z - \frac{15}{2}\right)}}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
mul-1-negN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(\frac{1}{2} + \color{blue}{\left(\mathsf{neg}\left(z\right)\right)}, \log \left(\frac{15}{2} + -1 \cdot z\right), z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
sub-negN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(\color{blue}{\frac{1}{2} - z}, \log \left(\frac{15}{2} + -1 \cdot z\right), z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
lower--.f64N/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(\color{blue}{\frac{1}{2} - z}, \log \left(\frac{15}{2} + -1 \cdot z\right), z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
lower-log.f64N/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(\frac{1}{2} - z, \color{blue}{\log \left(\frac{15}{2} + -1 \cdot z\right)}, z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
mul-1-negN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(\frac{1}{2} - z, \log \left(\frac{15}{2} + \color{blue}{\left(\mathsf{neg}\left(z\right)\right)}\right), z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
sub-negN/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(\frac{1}{2} - z, \log \color{blue}{\left(\frac{15}{2} - z\right)}, z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
lower--.f64N/A
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{\frac{3764081837873279}{25000000000000000000000}}{\left(1 - z\right) - -7} + \left(\frac{\frac{2496092394504893}{250000000000000000000}}{\left(1 - z\right) - -6} + \left(\frac{\frac{-3464277381643003}{25000000000000000}}{\left(1 - z\right) - -5} + \left(\frac{\frac{2501468655737381}{200000000000000}}{\left(1 - z\right) - -4} + \left(\frac{\frac{-883075145810703}{5000000000000}}{\left(1 - z\right) - -3} + \left(\frac{\frac{7713234287776531}{10000000000000}}{\left(1 - z\right) - -2} + \left(\left(\frac{\frac{-3147848041806007}{2500000000000}}{\left(1 - z\right) - -1} + \frac{9999999999998099}{10000000000000000}\right) + \frac{\frac{6765203681218851}{10000000000000}}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(\frac{1}{2} - z, \log \color{blue}{\left(\frac{15}{2} - z\right)}, z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
lower--.f6498.5
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \left(\frac{-0.13857109526572012}{\left(1 - z\right) - -5} + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \left(\frac{-176.6150291621406}{\left(1 - z\right) - -3} + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \left(\left(\frac{-1259.1392167224028}{\left(1 - z\right) - -1} + 0.9999999999998099\right) + \frac{676.5203681218851}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(0.5 - z, \log \left(7.5 - z\right), \color{blue}{z - 7.5}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
Applied rewrites98.5%
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\left(\left(\frac{1.5056327351493116 \cdot 10^{-7}}{\left(1 - z\right) - -7} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{\left(1 - z\right) - -6} + \left(\frac{-0.13857109526572012}{\left(1 - z\right) - -5} + \left(\frac{12.507343278686905}{\left(1 - z\right) - -4} + \left(\frac{-176.6150291621406}{\left(1 - z\right) - -3} + \left(\frac{771.3234287776531}{\left(1 - z\right) - -2} + \left(\left(\frac{-1259.1392167224028}{\left(1 - z\right) - -1} + 0.9999999999998099\right) + \frac{676.5203681218851}{1 - z}\right)\right)\right)\right)\right)\right)\right) \cdot \sqrt{2 \cdot \mathsf{PI}\left(\right)}\right) \cdot \color{blue}{e^{\mathsf{fma}\left(0.5 - z, \log \left(7.5 - z\right), z - 7.5\right)}}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
Taylor expanded in z around 0
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\color{blue}{\left(\frac{1106209385320415913103082059}{4200000000000000000000000} \cdot \left(\sqrt{\mathsf{PI}\left(\right)} \cdot \sqrt{2}\right) + z \cdot \left(\frac{102757979785251069442117317613}{235200000000000000000000000} \cdot \left(\sqrt{\mathsf{PI}\left(\right)} \cdot \sqrt{2}\right) + \frac{64608921419941589693928044520019}{118540800000000000000000000000} \cdot \left(\left(z \cdot \sqrt{2}\right) \cdot \sqrt{\mathsf{PI}\left(\right)}\right)\right)\right)} \cdot e^{\mathsf{fma}\left(\frac{1}{2} - z, \log \left(\frac{15}{2} - z\right), z - \frac{15}{2}\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
Applied rewrites98.1%
\[\leadsto \mathsf{PI}\left(\right) \cdot \frac{\color{blue}{\mathsf{fma}\left(\mathsf{fma}\left(545.0353078428827 \cdot z, \sqrt{\mathsf{PI}\left(\right)} \cdot \sqrt{2}, \left(436.8961725563396 \cdot \sqrt{2}\right) \cdot \sqrt{\mathsf{PI}\left(\right)}\right), z, \left(263.3831869810514 \cdot \sqrt{2}\right) \cdot \sqrt{\mathsf{PI}\left(\right)}\right)} \cdot e^{\mathsf{fma}\left(0.5 - z, \log \left(7.5 - z\right), z - 7.5\right)}}{\sin \left(z \cdot \mathsf{PI}\left(\right)\right)}
\]
Final simplification98.1%
\[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(545.0353078428827 \cdot z, \sqrt{2} \cdot \sqrt{\mathsf{PI}\left(\right)}, \left(436.8961725563396 \cdot \sqrt{2}\right) \cdot \sqrt{\mathsf{PI}\left(\right)}\right), z, \left(263.3831869810514 \cdot \sqrt{2}\right) \cdot \sqrt{\mathsf{PI}\left(\right)}\right) \cdot e^{\mathsf{fma}\left(0.5 - z, \log \left(7.5 - z\right), z - 7.5\right)}}{\sin \left(\mathsf{PI}\left(\right) \cdot z\right)} \cdot \mathsf{PI}\left(\right)
\]
- Add Preprocessing