lift-PI.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-PI.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-*.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
pow2N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
add-cube-cbrtN/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left(\left(\sqrt[3]{\mathsf{PI}\left(\right)} \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right) \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-cbrt.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left(\left(\sqrt[3]{\mathsf{PI}\left(\right)} \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right) \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-PI.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left(\left(\sqrt[3]{\mathsf{PI}\left(\right)} \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right) \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-cbrt.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left(\left(\sqrt[3]{\mathsf{PI}\left(\right)} \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right) \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-PI.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left(\left(\sqrt[3]{\mathsf{PI}\left(\right)} \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right) \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
unpow2N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2} \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-pow.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2} \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-cbrt.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2} \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-PI.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2} \cdot \sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
pow-prod-downN/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot \left({\left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right)}^{2} \cdot {\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lift-pow.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot \left({\left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right)}^{2} \cdot {\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
pow-plusN/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right)}^{\left(2 + 1\right)}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
metadata-evalN/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot {\left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right)}^{3}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
pow-to-expN/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot e^{\log \left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot 3}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lower-exp.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot e^{\log \left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot 3}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lower-*.f64N/A
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{1}{4}, \frac{1}{128} \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)\right) \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \mathsf{fma}\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{8}}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot \frac{1}{6144} - \mathsf{fma}\left(\mathsf{fma}\left(\left(\frac{1}{32} \cdot e^{\log \left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot 3}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right) \cdot \mathsf{PI}\left(\right), \frac{-1}{4}, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, \frac{1}{2048}, \left(\frac{-1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot \frac{1}{16}}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{384} - \mathsf{fma}\left(\frac{1}{32} \cdot {\mathsf{PI}\left(\right)}^{3}, \frac{-1}{4}, {\mathsf{PI}\left(\right)}^{3} \cdot \frac{1}{192}\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{\frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - \frac{1}{32} \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(\frac{1}{2} \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{\frac{1}{2} \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]
lower-log.f6496.7
\[\leadsto \frac{\log \left(\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(\frac{-\mathsf{fma}\left(\left(-0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), 0.25, 0.0078125 \cdot {\mathsf{PI}\left(\right)}^{3}\right)}{0.5 \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\left({\mathsf{PI}\left(\right)}^{3} \cdot 0.0026041666666666665 - \mathsf{fma}\left(\left(0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), -0.25, {\mathsf{PI}\left(\right)}^{3} \cdot 0.005208333333333333\right)\right) \cdot \frac{0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - 0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\mathsf{PI}\left(\right)}^{3} \cdot 0.125}, -2, \mathsf{fma}\left(0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - 0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right), \frac{\frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot 0.0625}{0.5 \cdot \mathsf{PI}\left(\right)} - \mathsf{fma}\left(\frac{{\left(0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - 0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)}^{2}}{{\mathsf{PI}\left(\right)}^{3} \cdot 0.125}, -2, \frac{{\mathsf{PI}\left(\right)}^{3} \cdot 0.0026041666666666665 - \mathsf{fma}\left(\left(0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \mathsf{PI}\left(\right), -0.25, {\mathsf{PI}\left(\right)}^{3} \cdot 0.005208333333333333\right)}{{\left(0.5 \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)}{0.5 \cdot \mathsf{PI}\left(\right)}, \frac{{\mathsf{PI}\left(\right)}^{4} \cdot 0.00016276041666666666 - \mathsf{fma}\left(\mathsf{fma}\left(\left(0.03125 \cdot e^{\log \left({\left(\sqrt[3]{\mathsf{PI}\left(\right)}\right)}^{2}\right) \cdot 3}\right) \cdot \mathsf{PI}\left(\right), -0.25, {\mathsf{PI}\left(\right)}^{3} \cdot 0.005208333333333333\right) \cdot \mathsf{PI}\left(\right), -0.25, \mathsf{fma}\left({\mathsf{PI}\left(\right)}^{4}, 0.00048828125, \left(-0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right) \cdot \left(0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)\right)\right)\right)}{{\left(0.5 \cdot \mathsf{PI}\left(\right)\right)}^{2}} \cdot 2\right)\right), f, \frac{\left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) \cdot 0.0625}{0.5 \cdot \mathsf{PI}\left(\right)}\right) - \mathsf{fma}\left(\frac{{\mathsf{PI}\left(\right)}^{3} \cdot 0.0026041666666666665 - \mathsf{fma}\left(0.03125 \cdot {\mathsf{PI}\left(\right)}^{3}, -0.25, {\mathsf{PI}\left(\right)}^{3} \cdot 0.005208333333333333\right)}{{\left(0.5 \cdot \mathsf{PI}\left(\right)\right)}^{2}}, 2, 0\right), f, -2 \cdot \frac{0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right) - 0.03125 \cdot \left(\mathsf{PI}\left(\right) \cdot \mathsf{PI}\left(\right)\right)}{{\left(0.5 \cdot \mathsf{PI}\left(\right)\right)}^{2}}\right), f, \frac{2}{0.5 \cdot \mathsf{PI}\left(\right)}\right)}{f}\right)}{\mathsf{PI}\left(\right)} \cdot -4
\]