| Alternative 1 | |
|---|---|
| Error | 2.7 |
| Cost | 26048 |
(FPCore (f)
:precision binary64
(-
(*
(/ 1.0 (/ PI 4.0))
(log
(/
(+ (exp (* (/ PI 4.0) f)) (exp (- (* (/ PI 4.0) f))))
(- (exp (* (/ PI 4.0) f)) (exp (- (* (/ PI 4.0) f)))))))))(FPCore (f) :precision binary64 (/ (+ (* (* f (* f (pow PI 2.0))) -0.08333333333333333) (* -4.0 (- (log (/ 4.0 PI)) (log f)))) PI))
double code(double f) {
return -((1.0 / (((double) M_PI) / 4.0)) * log(((exp(((((double) M_PI) / 4.0) * f)) + exp(-((((double) M_PI) / 4.0) * f))) / (exp(((((double) M_PI) / 4.0) * f)) - exp(-((((double) M_PI) / 4.0) * f))))));
}
double code(double f) {
return (((f * (f * pow(((double) M_PI), 2.0))) * -0.08333333333333333) + (-4.0 * (log((4.0 / ((double) M_PI))) - log(f)))) / ((double) M_PI);
}
public static double code(double f) {
return -((1.0 / (Math.PI / 4.0)) * Math.log(((Math.exp(((Math.PI / 4.0) * f)) + Math.exp(-((Math.PI / 4.0) * f))) / (Math.exp(((Math.PI / 4.0) * f)) - Math.exp(-((Math.PI / 4.0) * f))))));
}
public static double code(double f) {
return (((f * (f * Math.pow(Math.PI, 2.0))) * -0.08333333333333333) + (-4.0 * (Math.log((4.0 / Math.PI)) - Math.log(f)))) / Math.PI;
}
def code(f): return -((1.0 / (math.pi / 4.0)) * math.log(((math.exp(((math.pi / 4.0) * f)) + math.exp(-((math.pi / 4.0) * f))) / (math.exp(((math.pi / 4.0) * f)) - math.exp(-((math.pi / 4.0) * f))))))
def code(f): return (((f * (f * math.pow(math.pi, 2.0))) * -0.08333333333333333) + (-4.0 * (math.log((4.0 / math.pi)) - math.log(f)))) / math.pi
function code(f) return Float64(-Float64(Float64(1.0 / Float64(pi / 4.0)) * log(Float64(Float64(exp(Float64(Float64(pi / 4.0) * f)) + exp(Float64(-Float64(Float64(pi / 4.0) * f)))) / Float64(exp(Float64(Float64(pi / 4.0) * f)) - exp(Float64(-Float64(Float64(pi / 4.0) * f)))))))) end
function code(f) return Float64(Float64(Float64(Float64(f * Float64(f * (pi ^ 2.0))) * -0.08333333333333333) + Float64(-4.0 * Float64(log(Float64(4.0 / pi)) - log(f)))) / pi) end
function tmp = code(f) tmp = -((1.0 / (pi / 4.0)) * log(((exp(((pi / 4.0) * f)) + exp(-((pi / 4.0) * f))) / (exp(((pi / 4.0) * f)) - exp(-((pi / 4.0) * f)))))); end
function tmp = code(f) tmp = (((f * (f * (pi ^ 2.0))) * -0.08333333333333333) + (-4.0 * (log((4.0 / pi)) - log(f)))) / pi; end
code[f_] := (-N[(N[(1.0 / N[(Pi / 4.0), $MachinePrecision]), $MachinePrecision] * N[Log[N[(N[(N[Exp[N[(N[(Pi / 4.0), $MachinePrecision] * f), $MachinePrecision]], $MachinePrecision] + N[Exp[(-N[(N[(Pi / 4.0), $MachinePrecision] * f), $MachinePrecision])], $MachinePrecision]), $MachinePrecision] / N[(N[Exp[N[(N[(Pi / 4.0), $MachinePrecision] * f), $MachinePrecision]], $MachinePrecision] - N[Exp[(-N[(N[(Pi / 4.0), $MachinePrecision] * f), $MachinePrecision])], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision])
code[f_] := N[(N[(N[(N[(f * N[(f * N[Power[Pi, 2.0], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * -0.08333333333333333), $MachinePrecision] + N[(-4.0 * N[(N[Log[N[(4.0 / Pi), $MachinePrecision]], $MachinePrecision] - N[Log[f], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / Pi), $MachinePrecision]
-\frac{1}{\frac{\pi}{4}} \cdot \log \left(\frac{e^{\frac{\pi}{4} \cdot f} + e^{-\frac{\pi}{4} \cdot f}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right)
\frac{\left(f \cdot \left(f \cdot {\pi}^{2}\right)\right) \cdot -0.08333333333333333 + -4 \cdot \left(\log \left(\frac{4}{\pi}\right) - \log f\right)}{\pi}
Results
Initial program 61.5
Simplified61.5
[Start]61.5 | \[ -\frac{1}{\frac{\pi}{4}} \cdot \log \left(\frac{e^{\frac{\pi}{4} \cdot f} + e^{-\frac{\pi}{4} \cdot f}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right)
\] |
|---|---|
*-commutative [=>]61.5 | \[ -\color{blue}{\log \left(\frac{e^{\frac{\pi}{4} \cdot f} + e^{-\frac{\pi}{4} \cdot f}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \frac{1}{\frac{\pi}{4}}}
\] |
distribute-rgt-neg-in [=>]61.5 | \[ \color{blue}{\log \left(\frac{e^{\frac{\pi}{4} \cdot f} + e^{-\frac{\pi}{4} \cdot f}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)}
\] |
associate-*l/ [=>]61.5 | \[ \log \left(\frac{e^{\color{blue}{\frac{\pi \cdot f}{4}}} + e^{-\frac{\pi}{4} \cdot f}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
neg-mul-1 [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{\color{blue}{-1 \cdot \left(\frac{\pi}{4} \cdot f\right)}}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
associate-*l/ [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-1 \cdot \color{blue}{\frac{\pi \cdot f}{4}}}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
associate-*r/ [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{\color{blue}{\frac{-1 \cdot \left(\pi \cdot f\right)}{4}}}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
associate-/l* [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{\color{blue}{\frac{-1}{\frac{4}{\pi \cdot f}}}}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
associate-/r/ [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{\color{blue}{\frac{-1}{4} \cdot \left(\pi \cdot f\right)}}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
metadata-eval [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{\color{blue}{-0.25} \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
associate-*l/ [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\color{blue}{\frac{\pi \cdot f}{4}}} - e^{-\frac{\pi}{4} \cdot f}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
neg-mul-1 [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{\color{blue}{-1 \cdot \left(\frac{\pi}{4} \cdot f\right)}}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
associate-*l/ [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{-1 \cdot \color{blue}{\frac{\pi \cdot f}{4}}}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
associate-*r/ [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{\color{blue}{\frac{-1 \cdot \left(\pi \cdot f\right)}{4}}}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
associate-/l* [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{\color{blue}{\frac{-1}{\frac{4}{\pi \cdot f}}}}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
associate-/r/ [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{\color{blue}{\frac{-1}{4} \cdot \left(\pi \cdot f\right)}}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
metadata-eval [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{\color{blue}{-0.25} \cdot \left(\pi \cdot f\right)}}\right) \cdot \left(-\frac{1}{\frac{\pi}{4}}\right)
\] |
distribute-neg-frac [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{-0.25 \cdot \left(\pi \cdot f\right)}}\right) \cdot \color{blue}{\frac{-1}{\frac{\pi}{4}}}
\] |
metadata-eval [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{-0.25 \cdot \left(\pi \cdot f\right)}}\right) \cdot \frac{\color{blue}{-1}}{\frac{\pi}{4}}
\] |
associate-/r/ [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{-0.25 \cdot \left(\pi \cdot f\right)}}\right) \cdot \color{blue}{\left(\frac{-1}{\pi} \cdot 4\right)}
\] |
associate-*l/ [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{-0.25 \cdot \left(\pi \cdot f\right)}}\right) \cdot \color{blue}{\frac{-1 \cdot 4}{\pi}}
\] |
metadata-eval [=>]61.5 | \[ \log \left(\frac{e^{\frac{\pi \cdot f}{4}} + e^{-0.25 \cdot \left(\pi \cdot f\right)}}{e^{\frac{\pi \cdot f}{4}} - e^{-0.25 \cdot \left(\pi \cdot f\right)}}\right) \cdot \frac{\color{blue}{-4}}{\pi}
\] |
Taylor expanded in f around 0 2.4
Applied egg-rr2.4
Simplified2.4
[Start]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{\left(0.0625 \cdot {\pi}^{2}\right) \cdot \left({\pi}^{2} \cdot 0.25\right) - \left(\pi \cdot 0.5\right) \cdot \left(2 \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)\right)}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
|---|---|
associate-*l* [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{\left(0.0625 \cdot {\pi}^{2}\right) \cdot \left({\pi}^{2} \cdot 0.25\right) - \color{blue}{\pi \cdot \left(0.5 \cdot \left(2 \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)\right)\right)}}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{\left(0.0625 \cdot {\pi}^{2}\right) \cdot \left({\pi}^{2} \cdot 0.25\right) - \pi \cdot \color{blue}{\left(\left(0.5 \cdot 2\right) \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)\right)}}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{\left(0.0625 \cdot {\pi}^{2}\right) \cdot \left({\pi}^{2} \cdot 0.25\right) - \pi \cdot \left(\color{blue}{1} \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)\right)}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [<=]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{\left(0.0625 \cdot {\pi}^{2}\right) \cdot \left({\pi}^{2} \cdot 0.25\right) - \pi \cdot \color{blue}{\left(\left(1 \cdot {\pi}^{3}\right) \cdot 0.005208333333333333\right)}}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
*-lft-identity [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{\left(0.0625 \cdot {\pi}^{2}\right) \cdot \left({\pi}^{2} \cdot 0.25\right) - \pi \cdot \left(\color{blue}{{\pi}^{3}} \cdot 0.005208333333333333\right)}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{\color{blue}{0.0625 \cdot \left({\pi}^{2} \cdot \left({\pi}^{2} \cdot 0.25\right)\right)} - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{0.0625 \cdot \color{blue}{\left(\left({\pi}^{2} \cdot {\pi}^{2}\right) \cdot 0.25\right)} - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
pow-sqr [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{0.0625 \cdot \left(\color{blue}{{\pi}^{\left(2 \cdot 2\right)}} \cdot 0.25\right) - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{0.0625 \cdot \left({\pi}^{\color{blue}{4}} \cdot 0.25\right) - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{\left(\pi \cdot 0.5\right) \cdot \left({\pi}^{2} \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{0.0625 \cdot \left({\pi}^{4} \cdot 0.25\right) - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{\color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot {\pi}^{2}\right) \cdot 0.25}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{0.0625 \cdot \left({\pi}^{4} \cdot 0.25\right) - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{\color{blue}{0.25 \cdot \left(\left(\pi \cdot 0.5\right) \cdot {\pi}^{2}\right)}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{0.0625 \cdot \left({\pi}^{4} \cdot 0.25\right) - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{0.25 \cdot \left(\color{blue}{\left(0.5 \cdot \pi\right)} \cdot {\pi}^{2}\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{0.0625 \cdot \left({\pi}^{4} \cdot 0.25\right) - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{0.25 \cdot \color{blue}{\left(0.5 \cdot \left(\pi \cdot {\pi}^{2}\right)\right)}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{0.0625 \cdot \left({\pi}^{4} \cdot 0.25\right) - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{0.25 \cdot \left(0.5 \cdot \left(\pi \cdot \color{blue}{\left(\pi \cdot \pi\right)}\right)\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
cube-mult [<=]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{0.0625 \cdot \left({\pi}^{4} \cdot 0.25\right) - \pi \cdot \left({\pi}^{3} \cdot 0.005208333333333333\right)}{0.25 \cdot \left(0.5 \cdot \color{blue}{{\pi}^{3}}\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
Applied egg-rr2.4
Simplified2.4
[Start]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(\left(\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \frac{8}{{\pi}^{3}}\right) \cdot \left(\pi \cdot 0.25\right) + \left(\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \frac{8}{{\pi}^{3}}\right) \cdot \left(\pi \cdot 0.25\right)\right)\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
|---|---|
distribute-lft-out [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \color{blue}{\left(\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \frac{8}{{\pi}^{3}}\right) \cdot \left(\pi \cdot 0.25 + \pi \cdot 0.25\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-lft-out [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \frac{8}{{\pi}^{3}}\right) \cdot \color{blue}{\left(\pi \cdot \left(0.25 + 0.25\right)\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left(\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \frac{8}{{\pi}^{3}}\right) \cdot \left(\pi \cdot \color{blue}{0.5}\right)\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [<=]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \color{blue}{\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \left(\frac{8}{{\pi}^{3}} \cdot \left(\pi \cdot 0.5\right)\right)}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l/ [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \color{blue}{\frac{8 \cdot \left(\pi \cdot 0.5\right)}{{\pi}^{3}}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r/ [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \color{blue}{\frac{\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \left(8 \cdot \left(\pi \cdot 0.5\right)\right)}{{\pi}^{3}}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \left(8 \cdot \color{blue}{\left(0.5 \cdot \pi\right)}\right)}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \color{blue}{\left(\left(8 \cdot 0.5\right) \cdot \pi\right)}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot \left(\color{blue}{4} \cdot \pi\right)}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [<=]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\color{blue}{\left(\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot 4\right) \cdot \pi}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\color{blue}{\pi \cdot \left(\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot 4\right)}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \color{blue}{\left(4 \cdot \left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right)\right)}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \left(\color{blue}{\frac{0.5}{0.125}} \cdot \left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right)\right)}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r/ [<=]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \color{blue}{\frac{0.5}{\frac{0.125}{{\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333}}}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/l* [<=]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \color{blue}{\frac{0.5 \cdot \left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right)}{0.125}}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/l* [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \color{blue}{\frac{0.5}{\frac{0.125}{{\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333}}}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r/ [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \color{blue}{\left(\frac{0.5}{0.125} \cdot \left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right)\right)}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \left(\color{blue}{4} \cdot \left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right)\right)}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [<=]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \color{blue}{\left(\left({\pi}^{4} \cdot 0.015625 + {\pi}^{4} \cdot -0.005208333333333333\right) \cdot 4\right)}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-lft-out [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \left(\color{blue}{\left({\pi}^{4} \cdot \left(0.015625 + -0.005208333333333333\right)\right)} \cdot 4\right)}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \color{blue}{\left({\pi}^{4} \cdot \left(\left(0.015625 + -0.005208333333333333\right) \cdot 4\right)\right)}}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \left({\pi}^{4} \cdot \left(\color{blue}{0.010416666666666666} \cdot 4\right)\right)}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \left(0.5 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + \frac{\pi \cdot \left({\pi}^{4} \cdot \color{blue}{0.041666666666666664}\right)}{{\pi}^{3}}\right) \cdot {f}^{2}\right) + \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)\right) + -1 \cdot \log f\right)\right)\right) \cdot \frac{-4}{\pi}
\] |
Taylor expanded in f around 0 2.3
Simplified2.3
[Start]2.3 | \[ -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi} + \left(-2 \cdot \frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)}{\pi} + -2 \cdot \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}\right)
\] |
|---|---|
+-commutative [=>]2.3 | \[ \color{blue}{\left(-2 \cdot \frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)}{\pi} + -2 \cdot \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}\right) + -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}}
\] |
distribute-lft-out [=>]2.3 | \[ \color{blue}{-2 \cdot \left(\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)}{\pi} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}\right)} + -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}
\] |
fma-def [=>]2.3 | \[ \color{blue}{\mathsf{fma}\left(-2, \frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)}{\pi} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)}
\] |
*-commutative [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{\color{blue}{\left(f \cdot \left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right) \cdot \left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}}{\pi} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
*-commutative [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{\color{blue}{\left(\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) \cdot f\right)} \cdot \left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}{\pi} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
distribute-rgt-out [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{\left(\color{blue}{\left(\frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} \cdot \left(-0.25 + 0.25\right)\right)} \cdot f\right) \cdot \left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}{\pi} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
distribute-rgt-out-- [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{\left(\left(\frac{\pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}} \cdot \left(-0.25 + 0.25\right)\right) \cdot f\right) \cdot \left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}{\pi} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
metadata-eval [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{\left(\left(\frac{\pi}{\pi \cdot \color{blue}{0.5}} \cdot \left(-0.25 + 0.25\right)\right) \cdot f\right) \cdot \left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}{\pi} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
metadata-eval [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{\left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot \color{blue}{0}\right) \cdot f\right) \cdot \left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}{\pi} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
associate-/l* [=>]2.3 | \[ \mathsf{fma}\left(-2, \color{blue}{\frac{\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f}{\frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}}} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
mul0-rgt [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{\color{blue}{0} \cdot f}{\frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
mul0-lft [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{\color{blue}{0}}{\frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
distribute-rgt-out-- [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{0}{\frac{\pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}}} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
metadata-eval [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{0}{\frac{\pi}{\pi \cdot \color{blue}{0.5}}} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
associate-/r* [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{0}{\color{blue}{\frac{\frac{\pi}{\pi}}{0.5}}} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
*-inverses [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{0}{\frac{\color{blue}{1}}{0.5}} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
metadata-eval [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{0}{\color{blue}{2}} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
metadata-eval [=>]2.3 | \[ \mathsf{fma}\left(-2, \color{blue}{0} + \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
+-lft-identity [=>]2.3 | \[ \mathsf{fma}\left(-2, \color{blue}{\frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}}, -4 \cdot \frac{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f}{\pi}\right)
\] |
associate-*r/ [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \color{blue}{\frac{-4 \cdot \left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + -1 \cdot \log f\right)}{\pi}}\right)
\] |
distribute-rgt-in [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{\color{blue}{\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) \cdot -4 + \left(-1 \cdot \log f\right) \cdot -4}}{\pi}\right)
\] |
+-rgt-identity [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{\color{blue}{\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + 0\right)} \cdot -4 + \left(-1 \cdot \log f\right) \cdot -4}{\pi}\right)
\] |
distribute-rgt-in [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{\color{blue}{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + 0\right) + -1 \cdot \log f\right)}}{\pi}\right)
\] |
mul0-rgt [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right) \cdot 0}\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
mul0-lft [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right) \cdot \color{blue}{\left(0 \cdot f\right)}\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
associate-*l* [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \color{blue}{\left(\left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right) \cdot 0\right) \cdot f}\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
associate-*r* [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)} \cdot f\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
*-commutative [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(\color{blue}{\left(0.5 \cdot \pi\right)} \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right) \cdot f\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
mul0-rgt [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(\left(0.5 \cdot \pi\right) \cdot \color{blue}{0}\right) \cdot f\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
associate-*l* [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \color{blue}{\left(0.5 \cdot \left(\pi \cdot 0\right)\right)} \cdot f\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
metadata-eval [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\pi \cdot \color{blue}{\left(0.5 \cdot 0\right)}\right)\right) \cdot f\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
mul0-rgt [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\pi \cdot \left(0.5 \cdot \color{blue}{\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)}\right)\right)\right) \cdot f\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
associate-*l* [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}\right) \cdot f\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
associate-*r* [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \color{blue}{0.5 \cdot \left(\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right) \cdot f\right)}\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
associate-*r* [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + 0.5 \cdot \color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right)\right)}\right) + -1 \cdot \log f\right)}{\pi}\right)
\] |
associate-+r+ [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \color{blue}{\left(\log \left(\frac{2}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) + \left(0.5 \cdot \left(\left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right)\right) + -1 \cdot \log f\right)\right)}}{\pi}\right)
\] |
distribute-rgt-out-- [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\log \left(\frac{2}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}}\right) + \left(0.5 \cdot \left(\left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right)\right) + -1 \cdot \log f\right)\right)}{\pi}\right)
\] |
metadata-eval [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\log \left(\frac{2}{\pi \cdot \color{blue}{0.5}}\right) + \left(0.5 \cdot \left(\left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right)\right) + -1 \cdot \log f\right)\right)}{\pi}\right)
\] |
fma-udef [<=]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \color{blue}{\mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -1 \cdot \log f\right)}\right)}{\pi}\right)
\] |
mul-1-neg [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{-4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), \color{blue}{-\log f}\right)\right)}{\pi}\right)
\] |
*-commutative [=>]2.3 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \frac{\color{blue}{\left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot -4}}{\pi}\right)
\] |
associate-*r/ [<=]2.4 | \[ \mathsf{fma}\left(-2, \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi}, \color{blue}{\left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}}\right)
\] |
fma-def [<=]2.4 | \[ \color{blue}{-2 \cdot \frac{{f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}}
\] |
associate-*r/ [=>]2.4 | \[ \color{blue}{\frac{-2 \cdot \left({f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi}} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [=>]2.4 | \[ \frac{-2 \cdot \left(\color{blue}{\left(f \cdot f\right)} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [=>]2.4 | \[ \frac{-2 \cdot \color{blue}{\left(f \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)\right)\right)}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\color{blue}{\left(-4 \cdot 0.5\right)} \cdot \left(f \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \color{blue}{\left(\left(f \cdot f\right) \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\color{blue}{{f}^{2}} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right) + 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
fma-def [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \color{blue}{\mathsf{fma}\left(-0.25, {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}, 0.041666666666666664 \cdot {\pi}^{2}\right)}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \mathsf{fma}\left(-0.25, {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\color{blue}{\left(\frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} \cdot \left(-0.25 + 0.25\right)\right)}}^{2}, 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \mathsf{fma}\left(-0.25, {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(\frac{\pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}} \cdot \left(-0.25 + 0.25\right)\right)}^{2}, 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \mathsf{fma}\left(-0.25, {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(\frac{\pi}{\pi \cdot \color{blue}{0.5}} \cdot \left(-0.25 + 0.25\right)\right)}^{2}, 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \mathsf{fma}\left(-0.25, {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(\frac{\pi}{\pi \cdot 0.5} \cdot \color{blue}{0}\right)}^{2}, 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
mul0-rgt [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \mathsf{fma}\left(-0.25, {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\color{blue}{0}}^{2}, 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \mathsf{fma}\left(-0.25, {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot \color{blue}{\left(0 \cdot 0\right)}, 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \mathsf{fma}\left(-0.25, {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot \color{blue}{0}, 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
mul0-rgt [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \mathsf{fma}\left(-0.25, \color{blue}{0}, 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
fma-def [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \color{blue}{\left(-0.25 \cdot 0 + 0.041666666666666664 \cdot {\pi}^{2}\right)}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \left(\color{blue}{0} + 0.041666666666666664 \cdot {\pi}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
+-lft-identity [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \color{blue}{\left(0.041666666666666664 \cdot {\pi}^{2}\right)}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \color{blue}{\left(\left({f}^{2} \cdot 0.041666666666666664\right) \cdot {\pi}^{2}\right)}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\color{blue}{\left(0.041666666666666664 \cdot {f}^{2}\right)} \cdot {\pi}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \color{blue}{\left({\pi}^{2} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\color{blue}{\left(\pi \cdot \pi\right)} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-rgt-identity [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\color{blue}{\left(\pi \cdot 1\right)} \cdot \pi\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-rgt-identity [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\left(\pi \cdot 1\right) \cdot \color{blue}{\left(\pi \cdot 1\right)}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\color{blue}{\left(1 \cdot \pi\right)} \cdot \left(\pi \cdot 1\right)\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\left(1 \cdot \pi\right) \cdot \color{blue}{\left(1 \cdot \pi\right)}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
swap-sqr [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\color{blue}{\left(\left(1 \cdot 1\right) \cdot \left(\pi \cdot \pi\right)\right)} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\color{blue}{1} \cdot \left(\pi \cdot \pi\right)\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(1 \cdot \color{blue}{{\pi}^{2}}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-inverses [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\color{blue}{\frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-rgt-identity [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\color{blue}{\pi \cdot 1}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-rgt-identity [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\color{blue}{\left(\pi \cdot 1\right)} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\left(\pi \cdot \color{blue}{\left(0.5 \cdot 2\right)}\right) \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{1}{0.5}}\right)\right) \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-inverses [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\left(\pi \cdot \left(0.5 \cdot \frac{\color{blue}{\frac{\pi}{\pi}}}{0.5}\right)\right) \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{\pi}{\pi \cdot 0.5}}\right)\right) \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}}\right)\right) \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\color{blue}{0.25 \cdot \pi - -0.25 \cdot \pi}}\right)\right) \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\left(\left(\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}\right) \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\left(\color{blue}{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)} \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r/ [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\color{blue}{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \pi}{0.25 \cdot \pi - -0.25 \cdot \pi}} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \pi}{\pi \cdot \color{blue}{0.5}} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \pi}{\color{blue}{0.5 \cdot \pi}} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r* [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\color{blue}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \pi}{0.5}}{\pi}} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-rgt-identity [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \color{blue}{\left(\pi \cdot 1\right)}}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(\pi \cdot \color{blue}{\left(0.5 \cdot 2\right)}\right)}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{1}{0.5}}\right)\right)}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-inverses [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(\pi \cdot \left(0.5 \cdot \frac{\color{blue}{\frac{\pi}{\pi}}}{0.5}\right)\right)}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{\pi}{\pi \cdot 0.5}}\right)\right)}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}}\right)\right)}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\color{blue}{0.25 \cdot \pi - -0.25 \cdot \pi}}\right)\right)}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}}\right)}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot \color{blue}{0.5}}\right)}{0.5}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l/ [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\frac{0.25 \cdot \pi - -0.25 \cdot \pi}{0.5} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{0.25 \cdot \pi - -0.25 \cdot \pi}{\color{blue}{\frac{0.5}{1}}} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-inverses [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{0.25 \cdot \pi - -0.25 \cdot \pi}{\frac{0.5}{\color{blue}{\frac{\pi}{\pi}}}} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/l* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{0.25 \cdot \pi - -0.25 \cdot \pi}{\color{blue}{\frac{0.5 \cdot \pi}{\pi}}} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{0.25 \cdot \pi - -0.25 \cdot \pi}{\frac{\color{blue}{\pi \cdot 0.5}}{\pi}} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{0.25 \cdot \pi - -0.25 \cdot \pi}{\frac{\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}}{\pi}} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\frac{0.25 \cdot \pi - -0.25 \cdot \pi}{\frac{\color{blue}{0.25 \cdot \pi - -0.25 \cdot \pi}}{\pi}} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/l* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\frac{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \pi}{0.25 \cdot \pi - -0.25 \cdot \pi}} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r/ [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\left(\left(0.25 \cdot \pi - -0.25 \cdot \pi\right) \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\color{blue}{\left(\pi \cdot \left(0.25 - -0.25\right)\right)} \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\left(\pi \cdot \color{blue}{0.5}\right) \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\left(\pi \cdot \left(0.5 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\pi \cdot \color{blue}{0.5}}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r* [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{\frac{\pi}{\pi}}{0.5}}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-inverses [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \frac{\color{blue}{1}}{0.5}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \color{blue}{2}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \color{blue}{1}\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\color{blue}{0.25 \cdot \pi - -0.25 \cdot \pi}}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \color{blue}{\left(\pi \cdot \left(0.5 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)\right)}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}}\right)\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\pi \cdot \color{blue}{0.5}}\right)\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r* [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{\frac{\pi}{\pi}}{0.5}}\right)\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-inverses [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \frac{\color{blue}{1}}{0.5}\right)\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \color{blue}{2}\right)\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \color{blue}{1}\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-rgt-identity [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\pi} \cdot \left(\pi \cdot 1\right)}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-rgt-identity [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\pi \cdot \color{blue}{\pi}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{{\pi}^{2}}}{\pi} \cdot 1} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-inverses [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{{\pi}^{2}}{\pi} \cdot \color{blue}{\frac{\pi}{\pi}}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
times-frac [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\color{blue}{\frac{{\pi}^{2} \cdot \pi}{\pi \cdot \pi}}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\left(\pi \cdot \pi\right)} \cdot \pi}{\pi \cdot \pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow3 [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{{\pi}^{3}}}{\pi \cdot \pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\frac{{\pi}^{3}}{\color{blue}{{\pi}^{2}}}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r/ [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\color{blue}{\frac{\pi}{\frac{\frac{{\pi}^{3}}{{\pi}^{2}}}{{\pi}^{2}}}} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\frac{\pi}{\color{blue}{\frac{{\pi}^{3}}{{\pi}^{2} \cdot {\pi}^{2}}}} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
pow-sqr [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\frac{\pi}{\frac{{\pi}^{3}}{\color{blue}{{\pi}^{\left(2 \cdot 2\right)}}}} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{\color{blue}{4}}}} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \color{blue}{\left(\left(\frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4}}} \cdot 0.041666666666666664\right) \cdot {f}^{2}\right)}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r/ [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\color{blue}{\frac{\pi}{\frac{\frac{{\pi}^{3}}{{\pi}^{4}}}{0.041666666666666664}}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-/r* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\frac{\pi}{\color{blue}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
+-lft-identity [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \color{blue}{\left(0 + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\color{blue}{-0.25 \cdot 0} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
mul0-rgt [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \color{blue}{\left(f \cdot 0\right)} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow1 [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left(\color{blue}{{f}^{1}} \cdot 0\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\color{blue}{\left(\frac{2}{2}\right)}} \cdot 0\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
mul0-rgt [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \color{blue}{\left(f \cdot 0\right)}\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
mul0-rgt [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(f \cdot \color{blue}{\left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot 0\right)}\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(f \cdot \color{blue}{\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot 0\right)\right)}\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot \color{blue}{\left(0 \cdot 0\right)}\right)\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot \color{blue}{{0}^{2}}\right)\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
mul0-rgt [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\color{blue}{\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)}}^{2}\right)\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(\frac{\pi}{\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}} \cdot 0\right)}^{2}\right)\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(\frac{\pi}{\color{blue}{0.25 \cdot \pi - -0.25 \cdot \pi}} \cdot 0\right)}^{2}\right)\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(\frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} \cdot \color{blue}{\left(-0.25 + 0.25\right)}\right)}^{2}\right)\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\color{blue}{\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}}^{2}\right)\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow1 [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left(\color{blue}{{f}^{1}} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left({f}^{\left(\frac{2}{2}\right)} \cdot \left({f}^{\color{blue}{\left(\frac{2}{2}\right)}} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \color{blue}{\left(\left({f}^{\left(\frac{2}{2}\right)} \cdot {f}^{\left(\frac{2}{2}\right)}\right) \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right)\right)} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
sqr-pow [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \left(\color{blue}{{f}^{2}} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(-0.25 \cdot \color{blue}{\left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right) \cdot {f}^{2}\right)} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*l* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\color{blue}{\left(-0.25 \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right)\right) \cdot {f}^{2}} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \color{blue}{\left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\color{blue}{\left(\frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} \cdot \left(-0.25 + 0.25\right)\right)}}^{2}\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-out-- [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\left(\frac{\pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}} \cdot \left(-0.25 + 0.25\right)\right)}^{2}\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\left(\frac{\pi}{\pi \cdot \color{blue}{0.5}} \cdot \left(-0.25 + 0.25\right)\right)}^{2}\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\left(\frac{\pi}{\pi \cdot 0.5} \cdot \color{blue}{0}\right)}^{2}\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
mul0-rgt [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\color{blue}{0}}^{2}\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot \color{blue}{\left(0 \cdot 0\right)}\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot \color{blue}{0}\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
mul0-rgt [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \color{blue}{0}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
metadata-eval [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \color{blue}{\left(0 \cdot 0\right)}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot \color{blue}{{0}^{2}}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
mul0-rgt [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot {\color{blue}{\left(\left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right) \cdot 0\right)}}^{2}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\left(-0.25 \cdot {\color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}}^{2}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-in [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \color{blue}{\left({f}^{2} \cdot \left(-0.25 \cdot {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right)\right)}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
fma-udef [<=]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left({f}^{2} \cdot \color{blue}{\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right)}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \color{blue}{\left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot {f}^{2}\right)}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
unpow2 [=>]2.4 | \[ \frac{\left(-4 \cdot 0.5\right) \cdot \left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \color{blue}{\left(f \cdot f\right)}\right)}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r* [<=]2.4 | \[ \frac{\color{blue}{-4 \cdot \left(0.5 \cdot \left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right)\right)\right)}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
*-commutative [=>]2.4 | \[ \frac{\color{blue}{\left(0.5 \cdot \left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right)\right)\right) \cdot -4}}{\pi} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
associate-*r/ [<=]2.4 | \[ \color{blue}{\left(0.5 \cdot \left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right)\right)\right) \cdot \frac{-4}{\pi}} + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right) \cdot \frac{-4}{\pi}
\] |
distribute-rgt-in [<=]2.4 | \[ \color{blue}{\frac{-4}{\pi} \cdot \left(0.5 \cdot \left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right)\right) + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)\right)}
\] |
fma-udef [<=]2.4 | \[ \frac{-4}{\pi} \cdot \color{blue}{\mathsf{fma}\left(0.5, \mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right), \log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}
\] |
associate-*l/ [=>]2.3 | \[ \color{blue}{\frac{-4 \cdot \mathsf{fma}\left(0.5, \mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right), \log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}}
\] |
fma-udef [=>]2.3 | \[ \frac{-4 \cdot \color{blue}{\left(0.5 \cdot \left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right)\right) + \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)\right)}}{\pi}
\] |
distribute-lft-in [=>]2.3 | \[ \frac{\color{blue}{-4 \cdot \left(0.5 \cdot \left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right)\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}}{\pi}
\] |
associate-*r* [=>]2.3 | \[ \frac{\color{blue}{\left(-4 \cdot 0.5\right) \cdot \left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right)\right)} + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [=>]2.3 | \[ \frac{\color{blue}{-2} \cdot \left(\mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right) \cdot \left(f \cdot f\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
*-commutative [=>]2.3 | \[ \frac{-2 \cdot \color{blue}{\left(\left(f \cdot f\right) \cdot \mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right)\right)} + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
unpow2 [<=]2.3 | \[ \frac{-2 \cdot \left(\color{blue}{{f}^{2}} \cdot \mathsf{fma}\left(-0.25, {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}, \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
fma-udef [=>]2.3 | \[ \frac{-2 \cdot \left({f}^{2} \cdot \color{blue}{\left(-0.25 \cdot {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}}\right)}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
distribute-rgt-in [=>]2.3 | \[ \frac{-2 \cdot \color{blue}{\left(\left(-0.25 \cdot {\left(\left(\pi \cdot 0.5\right) \cdot \left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)\right)}^{2}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)} + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-*r* [=>]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot {\color{blue}{\left(\left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right) \cdot 0\right)}}^{2}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
mul0-rgt [=>]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot {\color{blue}{0}}^{2}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
unpow2 [=>]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \color{blue}{\left(0 \cdot 0\right)}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [=>]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \color{blue}{0}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
mul0-rgt [<=]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \color{blue}{\left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot 0\right)}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-*r* [<=]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \color{blue}{\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot 0\right)\right)}\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot \color{blue}{\left(0 \cdot 0\right)}\right)\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
unpow2 [<=]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot \color{blue}{{0}^{2}}\right)\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
mul0-rgt [<=]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\color{blue}{\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right)}}^{2}\right)\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(\frac{\pi}{\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}} \cdot 0\right)}^{2}\right)\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
distribute-rgt-out-- [<=]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(\frac{\pi}{\color{blue}{0.25 \cdot \pi - -0.25 \cdot \pi}} \cdot 0\right)}^{2}\right)\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(\frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} \cdot \color{blue}{\left(-0.25 + 0.25\right)}\right)}^{2}\right)\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
distribute-rgt-out [<=]2.3 | \[ \frac{-2 \cdot \left(\left(-0.25 \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\color{blue}{\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}}^{2}\right)\right)\right) \cdot {f}^{2} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-*l* [=>]2.3 | \[ \frac{-2 \cdot \left(\color{blue}{-0.25 \cdot \left(\left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right) \cdot {f}^{2}\right)} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
*-commutative [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \color{blue}{\left({f}^{2} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right)\right)} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
unpow2 [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(\color{blue}{\left(f \cdot f\right)} \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-*l* [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \color{blue}{\left(f \cdot \left(f \cdot \left(-0.25 \cdot \left({\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2} \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)\right)\right)\right)} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-*r* [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \left(f \cdot \color{blue}{\left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\left(-0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} + 0.25 \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}^{2}\right)}\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
distribute-rgt-out [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \left(f \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\color{blue}{\left(\frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi} \cdot \left(-0.25 + 0.25\right)\right)}}^{2}\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
distribute-rgt-out-- [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \left(f \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\left(\frac{\pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}} \cdot \left(-0.25 + 0.25\right)\right)}^{2}\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \left(f \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\left(\frac{\pi}{\pi \cdot \color{blue}{0.5}} \cdot \left(-0.25 + 0.25\right)\right)}^{2}\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \left(f \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\left(\frac{\pi}{\pi \cdot 0.5} \cdot \color{blue}{0}\right)}^{2}\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
mul0-rgt [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \left(f \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot {\color{blue}{0}}^{2}\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
unpow2 [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \left(f \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot \color{blue}{\left(0 \cdot 0\right)}\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \left(f \cdot \left(\left(-0.25 \cdot {\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)}^{2}\right) \cdot \color{blue}{0}\right)\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
mul0-rgt [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \left(f \cdot \color{blue}{0}\right)\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
mul0-rgt [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \left(f \cdot \color{blue}{0}\right) + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
mul0-rgt [=>]2.3 | \[ \frac{-2 \cdot \left(-0.25 \cdot \color{blue}{0} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [=>]2.3 | \[ \frac{-2 \cdot \left(\color{blue}{0} + \frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
+-lft-identity [=>]2.3 | \[ \frac{-2 \cdot \color{blue}{\left(\frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4} \cdot 0.041666666666666664}} \cdot {f}^{2}\right)} + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-/r* [=>]2.3 | \[ \frac{-2 \cdot \left(\frac{\pi}{\color{blue}{\frac{\frac{{\pi}^{3}}{{\pi}^{4}}}{0.041666666666666664}}} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-/r/ [=>]2.3 | \[ \frac{-2 \cdot \left(\color{blue}{\left(\frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4}}} \cdot 0.041666666666666664\right)} \cdot {f}^{2}\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-*l* [=>]2.3 | \[ \frac{-2 \cdot \color{blue}{\left(\frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{4}}} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right)} + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{\color{blue}{\left(2 \cdot 2\right)}}}} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
pow-sqr [<=]2.3 | \[ \frac{-2 \cdot \left(\frac{\pi}{\frac{{\pi}^{3}}{\color{blue}{{\pi}^{2} \cdot {\pi}^{2}}}} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-/r* [=>]2.3 | \[ \frac{-2 \cdot \left(\frac{\pi}{\color{blue}{\frac{\frac{{\pi}^{3}}{{\pi}^{2}}}{{\pi}^{2}}}} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-/r/ [=>]2.3 | \[ \frac{-2 \cdot \left(\color{blue}{\left(\frac{\pi}{\frac{{\pi}^{3}}{{\pi}^{2}}} \cdot {\pi}^{2}\right)} \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
unpow3 [=>]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\left(\pi \cdot \pi\right) \cdot \pi}}{{\pi}^{2}}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
unpow2 [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{{\pi}^{2}} \cdot \pi}{{\pi}^{2}}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
unpow2 [=>]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{{\pi}^{2} \cdot \pi}{\color{blue}{\pi \cdot \pi}}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
times-frac [=>]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\color{blue}{\frac{{\pi}^{2}}{\pi} \cdot \frac{\pi}{\pi}}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
unpow2 [=>]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\pi \cdot \pi}}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
*-rgt-identity [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\left(\pi \cdot 1\right)} \cdot \pi}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
*-rgt-identity [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \color{blue}{\left(\pi \cdot 1\right)}}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \color{blue}{\left(0.5 \cdot 2\right)}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{1}{0.5}}\right)\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
*-inverses [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \frac{\color{blue}{\frac{\pi}{\pi}}}{0.5}\right)\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-/r* [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{\pi}{\pi \cdot 0.5}}\right)\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}}\right)\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
distribute-rgt-out-- [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\color{blue}{0.25 \cdot \pi - -0.25 \cdot \pi}}\right)\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-*l* [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)}}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
distribute-rgt-out-- [=>]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\color{blue}{\pi \cdot \left(0.25 - -0.25\right)}}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [=>]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot 1\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot \color{blue}{0.5}}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \color{blue}{\left(0.5 \cdot 2\right)}\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{1}{0.5}}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
*-inverses [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \frac{\color{blue}{\frac{\pi}{\pi}}}{0.5}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-/r* [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \color{blue}{\frac{\pi}{\pi \cdot 0.5}}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
distribute-rgt-out-- [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\pi \cdot \left(0.5 \cdot \frac{\pi}{\color{blue}{0.25 \cdot \pi - -0.25 \cdot \pi}}\right)\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
associate-*l* [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\color{blue}{\left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right)} \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
metadata-eval [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\left(\pi \cdot \color{blue}{\left(0.25 - -0.25\right)}\right) \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
distribute-rgt-out-- [<=]2.3 | \[ \frac{-2 \cdot \left(\left(\frac{\pi}{\frac{\left(\color{blue}{\left(0.25 \cdot \pi - -0.25 \cdot \pi\right)} \cdot \frac{\pi}{0.25 \cdot \pi - -0.25 \cdot \pi}\right) \cdot \left(\left(\pi \cdot 0.5\right) \cdot \frac{\pi}{\pi \cdot 0.5}\right)}{\pi} \cdot \frac{\pi}{\pi}} \cdot {\pi}^{2}\right) \cdot \left(0.041666666666666664 \cdot {f}^{2}\right)\right) + -4 \cdot \left(\log \left(\frac{2}{\pi \cdot 0.5}\right) + \mathsf{fma}\left(0.5, \left(\pi \cdot 0.5\right) \cdot \left(\left(\frac{\pi}{\pi \cdot 0.5} \cdot 0\right) \cdot f\right), -\log f\right)\right)}{\pi}
\] |
Final simplification2.3
| Alternative 1 | |
|---|---|
| Error | 2.7 |
| Cost | 26048 |
| Alternative 2 | |
|---|---|
| Error | 2.8 |
| Cost | 19648 |
| Alternative 3 | |
|---|---|
| Error | 2.8 |
| Cost | 19648 |
| Alternative 4 | |
|---|---|
| Error | 2.7 |
| Cost | 19648 |
| Alternative 5 | |
|---|---|
| Error | 43.9 |
| Cost | 13184 |
| Alternative 6 | |
|---|---|
| Error | 61.3 |
| Cost | 7040 |
herbie shell --seed 2022354
(FPCore (f)
:name "VandenBroeck and Keller, Equation (20)"
:precision binary64
(- (* (/ 1.0 (/ PI 4.0)) (log (/ (+ (exp (* (/ PI 4.0) f)) (exp (- (* (/ PI 4.0) f)))) (- (exp (* (/ PI 4.0) f)) (exp (- (* (/ PI 4.0) f)))))))))