Henrywood and Agarwal, Equation (13)

Time bar (total: 11.2s)

analyze531.0ms (4.7%)

Memory
-3.8MiB live, 252.2MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%99.7%0.3%0%0%0%4
0%0%99.7%0.3%0%0%0%5
0%0%99.7%0.3%0%0%0%6
0%0%99.7%0.3%0%0%0%7
0%0%99.7%0.3%0%0%0%8
0%0%99.7%0.3%0%0%0%9
0%0%99.7%0.3%0%0%0%10
0%0%99.7%0.3%0%0%0%11
0%0%99.7%0.3%0%0%0%12
Compiler

Compiled 113 to 45 computations (60.2% saved)

sample10.5s (94%)

Memory
5.3MiB live, 3 681.2MiB allocated
Samples
1.2s1 551×3valid-baseline
794.0ms898×4valid-baseline
616.0ms1 011×2valid-baseline
588.0ms4 294×0valid-sollya
570.0ms1 551×3valid-rival
549.0ms1 551×3valid-sollya
482.0ms4 294×0valid-baseline
447.0ms4 294×0valid-rival
442.0ms898×4valid-sollya
426.0ms898×4valid-rival
282.0ms1 011×2valid-rival
273.0ms1 011×2valid-sollya
205.0ms499×1valid-baseline
103.0ms499×1valid-sollya
97.0ms499×1valid-rival
3.0ms3×5valid-baseline
2.0ms3×5valid-sollya
2.0ms3×5valid-rival
Bogosity

preprocess116.0ms (1%)

Memory
7.7MiB live, 41.3MiB allocated
Algorithm
1×egg-herbie
Rules
933×fmm-def
734×times-frac
571×swap-sqr
400×associate-/r*
269×associate-*l*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02276766
110296510
258716462
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 (neg.f64 c0) (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) (neg.f64 w))) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D)))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D))))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 (neg.f64 M) (neg.f64 M))))))
(neg.f64 (*.f64 (/.f64 (neg.f64 c0) (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) (neg.f64 w))) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D)))) (*.f64 M M))))))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D)))) (*.f64 M M))))))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D)))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D))))) (*.f64 M M))))))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 (neg.f64 M) (neg.f64 M)))))))
(*.f64 (/.f64 w (*.f64 #s(literal 2 binary64) c0)) (+.f64 (/.f64 (*.f64 w (*.f64 d d)) (*.f64 (*.f64 c0 h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 w (*.f64 d d)) (*.f64 (*.f64 c0 h) (*.f64 D D))) (/.f64 (*.f64 w (*.f64 d d)) (*.f64 (*.f64 c0 h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 h (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 h (*.f64 d d)) (*.f64 (*.f64 w c0) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 h (*.f64 d d)) (*.f64 (*.f64 w c0) (*.f64 D D))) (/.f64 (*.f64 h (*.f64 d d)) (*.f64 (*.f64 w c0) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 D (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 D (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 c0 c0))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 D (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 c0 c0))) (/.f64 (*.f64 D (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 c0 c0)))) (*.f64 M M)))))
(*.f64 (/.f64 d (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 d (*.f64 c0 c0)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 d (*.f64 c0 c0)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 d (*.f64 c0 c0)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 M (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 M (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 M (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 M (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 c0 c0)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) h)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 h w) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 h w) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 h w) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) D)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 D h) (*.f64 w w))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 D h) (*.f64 w w))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 D h) (*.f64 w w)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) d)) (+.f64 (/.f64 (*.f64 c0 (*.f64 w w)) (*.f64 (*.f64 d h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 w w)) (*.f64 (*.f64 d h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 w w)) (*.f64 (*.f64 d h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) M)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 M h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 M h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 M h) (*.f64 D D)))) (*.f64 w w)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w D) (*.f64 h h))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w D) (*.f64 h h))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w D) (*.f64 h h)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 h h)) (*.f64 (*.f64 w d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 h h)) (*.f64 (*.f64 w d) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 h h)) (*.f64 (*.f64 w d) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w M) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w M) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w M) (*.f64 D D)))) (*.f64 h h)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 D D)) (*.f64 (*.f64 w h) (*.f64 d d))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 D D)) (*.f64 (*.f64 w h) (*.f64 d d))) (/.f64 (*.f64 c0 (*.f64 D D)) (*.f64 (*.f64 w h) (*.f64 d d)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 M M))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 M M))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 M M)))) (*.f64 D D)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 M M)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 M M)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 M M)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 d d)))))
Outputs
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 (neg.f64 c0) (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (+.f64 (*.f64 (/.f64 (neg.f64 c0) (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 c0) (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 (neg.f64 c0) (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 M M))))) (/.f64 (neg.f64 c0) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (fma.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h))) (sqrt.f64 (*.f64 (fma.f64 (neg.f64 c0) (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h)))) M)))) (*.f64 w #s(literal -2 binary64))))
(*.f64 c0 (/.f64 (-.f64 (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M)))) (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))))) (*.f64 w #s(literal -2 binary64))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) (neg.f64 w))) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (+.f64 (*.f64 (/.f64 (neg.f64 c0) (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 c0) (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 (neg.f64 c0) (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 M M))))) (/.f64 (neg.f64 c0) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (fma.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h))) (sqrt.f64 (*.f64 (fma.f64 (neg.f64 c0) (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h)))) M)))) (*.f64 w #s(literal -2 binary64))))
(*.f64 c0 (/.f64 (-.f64 (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M)))) (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))))) (*.f64 w #s(literal -2 binary64))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w (neg.f64 h))) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 c0 (*.f64 w (neg.f64 h))) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w (neg.f64 h))) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 M M))))))
(*.f64 c0 (/.f64 (fma.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h))) (sqrt.f64 (*.f64 (fma.f64 (neg.f64 c0) (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h)))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (-.f64 (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M)))) (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D)))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D))))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 (neg.f64 M) (neg.f64 M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))))) (*.f64 #s(literal 2 binary64) w)))
(neg.f64 (*.f64 (/.f64 (neg.f64 c0) (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 (neg.f64 c0) (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w (neg.f64 h))) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 c0 (*.f64 w (neg.f64 h))) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w (neg.f64 h))) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 M M))))))
(*.f64 c0 (/.f64 (fma.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h))) (sqrt.f64 (*.f64 (fma.f64 (neg.f64 c0) (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h)))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (-.f64 (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M)))) (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))))) (*.f64 #s(literal 2 binary64) w)))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) (neg.f64 w))) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 (neg.f64 w) h) (*.f64 D D)))) (*.f64 M M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w (neg.f64 h))) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 c0 (*.f64 w (neg.f64 h))) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w (neg.f64 h))) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 M M))))))
(*.f64 c0 (/.f64 (fma.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h))) (sqrt.f64 (*.f64 (fma.f64 (neg.f64 c0) (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h)))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (-.f64 (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M)))) (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))))) (*.f64 #s(literal 2 binary64) w)))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w (neg.f64 h)) (*.f64 D D)))) (*.f64 M M))))))
(*.f64 (+.f64 (*.f64 (/.f64 (neg.f64 c0) (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 (neg.f64 c0) (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 (neg.f64 c0) (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 M M))))) (/.f64 (neg.f64 c0) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (fma.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h))) (sqrt.f64 (*.f64 (fma.f64 (neg.f64 c0) (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 w (neg.f64 h)))) M)))) (*.f64 w #s(literal -2 binary64))))
(*.f64 c0 (/.f64 (-.f64 (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M)))) (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))))) (*.f64 w #s(literal -2 binary64))))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D)))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D)))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 (neg.f64 D) (neg.f64 D))))) (*.f64 M M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (neg.f64 (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M))))))
(*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))))) M)))) (*.f64 #s(literal -1/2 binary64) (/.f64 c0 w)))
(*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))))) (*.f64 #s(literal -1/2 binary64) (/.f64 c0 w)))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 (neg.f64 d) (neg.f64 d))) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (neg.f64 (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M))))))
(*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))))) M)))) (*.f64 #s(literal -1/2 binary64) (/.f64 c0 w)))
(*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))))) (*.f64 #s(literal -1/2 binary64) (/.f64 c0 w)))
(neg.f64 (*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 (neg.f64 M) (neg.f64 M)))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (neg.f64 (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M))))))
(*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))))) M)))) (*.f64 #s(literal -1/2 binary64) (/.f64 c0 w)))
(*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))))) (*.f64 #s(literal -1/2 binary64) (/.f64 c0 w)))
(*.f64 (/.f64 w (*.f64 #s(literal 2 binary64) c0)) (+.f64 (/.f64 (*.f64 w (*.f64 d d)) (*.f64 (*.f64 c0 h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 w (*.f64 d d)) (*.f64 (*.f64 c0 h) (*.f64 D D))) (/.f64 (*.f64 w (*.f64 d d)) (*.f64 (*.f64 c0 h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 w (*.f64 c0 #s(literal 2 binary64))) (+.f64 (*.f64 w (/.f64 (*.f64 d d) (*.f64 (*.f64 D D) (*.f64 c0 h)))) (sqrt.f64 (fma.f64 (*.f64 w (/.f64 (*.f64 d d) (*.f64 (*.f64 D D) (*.f64 c0 h)))) (*.f64 w (/.f64 (*.f64 d d) (*.f64 (*.f64 D D) (*.f64 c0 h)))) (neg.f64 (*.f64 M M))))))
(*.f64 w (/.f64 (fma.f64 w (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 c0 h)) (sqrt.f64 (*.f64 (fma.f64 (/.f64 (/.f64 w c0) h) (*.f64 (/.f64 d D) (/.f64 d D)) M) (fma.f64 (/.f64 (/.f64 w c0) h) (*.f64 (/.f64 d D) (/.f64 d D)) (neg.f64 M))))) (*.f64 c0 #s(literal 2 binary64))))
(*.f64 w (/.f64 (fma.f64 w (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 c0 h)) (sqrt.f64 (*.f64 (fma.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (/.f64 (/.f64 w c0) h) M) (fma.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (/.f64 (/.f64 w c0) h) (neg.f64 M))))) (*.f64 c0 #s(literal 2 binary64))))
(*.f64 (/.f64 h (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 h (*.f64 d d)) (*.f64 (*.f64 w c0) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 h (*.f64 d d)) (*.f64 (*.f64 w c0) (*.f64 D D))) (/.f64 (*.f64 h (*.f64 d d)) (*.f64 (*.f64 w c0) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 h (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 h (*.f64 c0 w)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 h (*.f64 c0 w)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 h (*.f64 c0 w)) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 M M))))))
(*.f64 h (/.f64 (fma.f64 h (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 c0 w)) (sqrt.f64 (*.f64 (fma.f64 h (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 c0 w)) M) (fma.f64 h (/.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (*.f64 c0 w)) (neg.f64 M))))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 D (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 D (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 c0 c0))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 D (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 c0 c0))) (/.f64 (*.f64 D (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 c0 c0)))) (*.f64 M M)))))
(*.f64 (/.f64 D (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 D (/.f64 (*.f64 d d) (*.f64 (*.f64 w h) (*.f64 c0 c0)))) (sqrt.f64 (fma.f64 (*.f64 D (/.f64 (*.f64 d d) (*.f64 (*.f64 w h) (*.f64 c0 c0)))) (*.f64 D (/.f64 (*.f64 d d) (*.f64 (*.f64 w h) (*.f64 c0 c0)))) (neg.f64 (*.f64 M M))))))
(*.f64 (/.f64 D (*.f64 #s(literal 2 binary64) w)) (fma.f64 D (*.f64 (/.f64 (/.f64 d w) h) (/.f64 d (*.f64 c0 c0))) (sqrt.f64 (*.f64 (fma.f64 (/.f64 (/.f64 D h) w) (*.f64 d (/.f64 d (*.f64 c0 c0))) M) (-.f64 (*.f64 (/.f64 (*.f64 d D) (*.f64 c0 c0)) (/.f64 (/.f64 d w) h)) M)))))
(*.f64 (/.f64 d (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 d (*.f64 c0 c0)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 d (*.f64 c0 c0)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 d (*.f64 c0 c0)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 (/.f64 d #s(literal 2 binary64)) w) (+.f64 (*.f64 d (/.f64 (*.f64 c0 c0) (*.f64 h (*.f64 w (*.f64 D D))))) (sqrt.f64 (fma.f64 (*.f64 d (/.f64 (*.f64 c0 c0) (*.f64 h (*.f64 w (*.f64 D D))))) (*.f64 d (/.f64 (*.f64 c0 c0) (*.f64 h (*.f64 w (*.f64 D D))))) (neg.f64 (*.f64 M M))))))
(*.f64 d (/.f64 (fma.f64 d (*.f64 c0 (/.f64 c0 (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 (/.f64 (/.f64 d w) h) (*.f64 c0 (/.f64 c0 (*.f64 D D))) M) (-.f64 (*.f64 (*.f64 c0 c0) (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 d (/.f64 (fma.f64 d (*.f64 c0 (/.f64 c0 (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 (*.f64 c0 c0) (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))) M) (-.f64 (*.f64 (*.f64 c0 c0) (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 M (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 M (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 M (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 M (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 c0 c0)))))
(*.f64 (/.f64 M (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 M (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 M (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 M (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 c0 c0))))))
(*.f64 M (/.f64 (fma.f64 M (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 M (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) c0) (-.f64 (*.f64 (*.f64 d d) (/.f64 M (*.f64 D (*.f64 w (*.f64 h D))))) c0)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) h)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 h w) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 h w) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 h w) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 D D)))) (*.f64 M M)))) (/.f64 c0 (*.f64 #s(literal 2 binary64) h)))
(*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (-.f64 (*.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D)))))) M)))) (/.f64 c0 (*.f64 #s(literal 2 binary64) h)))
(*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 d (/.f64 d (*.f64 D (*.f64 w (*.f64 h D))))) M) (fma.f64 (/.f64 c0 (*.f64 w (*.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))))) (/.f64 c0 (*.f64 #s(literal 2 binary64) h)))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) D)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 D h) (*.f64 w w))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 D h) (*.f64 w w))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 D h) (*.f64 w w)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) D)) (+.f64 (*.f64 c0 (/.f64 (*.f64 d d) (*.f64 D (*.f64 h (*.f64 w w))))) (sqrt.f64 (fma.f64 (*.f64 c0 (/.f64 (*.f64 d d) (*.f64 D (*.f64 h (*.f64 w w))))) (*.f64 c0 (/.f64 (*.f64 d d) (*.f64 D (*.f64 h (*.f64 w w))))) (neg.f64 (*.f64 M M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) D)) (fma.f64 c0 (/.f64 (*.f64 (/.f64 d w) (/.f64 d w)) (*.f64 h D)) (sqrt.f64 (*.f64 (fma.f64 c0 (/.f64 (*.f64 (/.f64 d w) (/.f64 d w)) (*.f64 h D)) M) (fma.f64 c0 (/.f64 (*.f64 (/.f64 d w) (/.f64 d w)) (*.f64 h D)) (neg.f64 M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) d)) (+.f64 (/.f64 (*.f64 c0 (*.f64 w w)) (*.f64 (*.f64 d h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 w w)) (*.f64 (*.f64 d h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 w w)) (*.f64 (*.f64 d h) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) d)) (+.f64 (*.f64 c0 (/.f64 (*.f64 w w) (*.f64 (*.f64 D D) (*.f64 d h)))) (sqrt.f64 (fma.f64 (*.f64 c0 (/.f64 (*.f64 w w) (*.f64 (*.f64 D D) (*.f64 d h)))) (*.f64 c0 (/.f64 (*.f64 w w) (*.f64 (*.f64 D D) (*.f64 d h)))) (neg.f64 (*.f64 M M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) d)) (fma.f64 c0 (*.f64 (/.f64 w (*.f64 D D)) (/.f64 w (*.f64 d h))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 (/.f64 w (*.f64 D D)) (/.f64 w (*.f64 d h))) M) (fma.f64 (/.f64 c0 (*.f64 d h)) (*.f64 w (/.f64 w (*.f64 D D))) (neg.f64 M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) M)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 M h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 M h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 M h) (*.f64 D D)))) (*.f64 w w)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) M)) (+.f64 (*.f64 (/.f64 c0 (*.f64 h M)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 c0 (*.f64 h M)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 h M)) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 w w))))))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 (/.f64 d (*.f64 D D)) (/.f64 d (*.f64 h M))) (sqrt.f64 (*.f64 (fma.f64 (/.f64 c0 (*.f64 h M)) (*.f64 (/.f64 d D) (/.f64 d D)) w) (-.f64 (*.f64 (/.f64 c0 (*.f64 M (*.f64 h D))) (/.f64 (*.f64 d d) D)) w)))) (*.f64 #s(literal 2 binary64) M)))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w D) (*.f64 h h))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w D) (*.f64 h h))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w D) (*.f64 h h)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 c0 (/.f64 (*.f64 d d) (*.f64 w (*.f64 D (*.f64 h h))))) (sqrt.f64 (fma.f64 (*.f64 c0 (/.f64 (*.f64 d d) (*.f64 w (*.f64 D (*.f64 h h))))) (*.f64 c0 (/.f64 (*.f64 d d) (*.f64 w (*.f64 D (*.f64 h h))))) (neg.f64 (*.f64 M M))))))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 (/.f64 d w) (/.f64 d (*.f64 D (*.f64 h h)))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 (/.f64 d w) (/.f64 d (*.f64 D (*.f64 h h)))) M) (-.f64 (*.f64 c0 (*.f64 (/.f64 d w) (/.f64 d (*.f64 D (*.f64 h h))))) M)))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 h h)) (*.f64 (*.f64 w d) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 h h)) (*.f64 (*.f64 w d) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 h h)) (*.f64 (*.f64 w d) (*.f64 D D)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 c0 (/.f64 (*.f64 h h) (*.f64 (*.f64 D D) (*.f64 w d)))) (sqrt.f64 (fma.f64 (*.f64 c0 (/.f64 (*.f64 h h) (*.f64 (*.f64 D D) (*.f64 w d)))) (*.f64 c0 (/.f64 (*.f64 h h) (*.f64 (*.f64 D D) (*.f64 w d)))) (neg.f64 (*.f64 M M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (fma.f64 c0 (/.f64 (*.f64 (/.f64 h D) (/.f64 h D)) (*.f64 w d)) (sqrt.f64 (*.f64 (fma.f64 c0 (/.f64 (*.f64 (/.f64 h D) (/.f64 h D)) (*.f64 w d)) M) (fma.f64 c0 (/.f64 (*.f64 (/.f64 h D) (/.f64 h D)) (*.f64 w d)) (neg.f64 M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w M) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w M) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w M) (*.f64 D D)))) (*.f64 h h)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w M)) (/.f64 (*.f64 d d) (*.f64 D D))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 c0 (*.f64 w M)) (/.f64 (*.f64 d d) (*.f64 D D))) (*.f64 (/.f64 c0 (*.f64 w M)) (/.f64 (*.f64 d d) (*.f64 D D))) (neg.f64 (*.f64 h h))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (fma.f64 c0 (*.f64 (/.f64 d w) (/.f64 d (*.f64 (*.f64 D D) M))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 (/.f64 d w) (/.f64 d (*.f64 (*.f64 D D) M))) h) (-.f64 (*.f64 (*.f64 (/.f64 d D) (/.f64 d D)) (/.f64 c0 (*.f64 w M))) h)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 D D)) (*.f64 (*.f64 w h) (*.f64 d d))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 D D)) (*.f64 (*.f64 w h) (*.f64 d d))) (/.f64 (*.f64 c0 (*.f64 D D)) (*.f64 (*.f64 w h) (*.f64 d d)))) (*.f64 M M)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 D D)) (*.f64 w (*.f64 (*.f64 d d) h))) (sqrt.f64 (fma.f64 (/.f64 (*.f64 c0 (*.f64 D D)) (*.f64 w (*.f64 (*.f64 d d) h))) (/.f64 (*.f64 c0 (*.f64 D D)) (*.f64 w (*.f64 (*.f64 d d) h))) (neg.f64 (*.f64 M M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (fma.f64 c0 (/.f64 (*.f64 D D) (*.f64 d (*.f64 w (*.f64 d h)))) (sqrt.f64 (*.f64 (fma.f64 c0 (/.f64 (*.f64 D D) (*.f64 d (*.f64 w (*.f64 d h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (*.f64 D D) (*.f64 d d)) (neg.f64 M))))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 M M))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 M M))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 M M)))) (*.f64 D D)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 M M))) (sqrt.f64 (fma.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 M M))) (*.f64 (/.f64 c0 (*.f64 w h)) (/.f64 (*.f64 d d) (*.f64 M M))) (neg.f64 (*.f64 D D))))))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 (/.f64 (/.f64 d w) h) (/.f64 d (*.f64 M M))) (sqrt.f64 (*.f64 (fma.f64 c0 (*.f64 (/.f64 (/.f64 d w) h) (/.f64 d (*.f64 M M))) D) (fma.f64 c0 (*.f64 (/.f64 (/.f64 d w) h) (/.f64 d (*.f64 M M))) (neg.f64 D))))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 M M)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 M M)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 M M)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 d d)))))
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (*.f64 c0 (/.f64 (*.f64 M M) (*.f64 h (*.f64 w (*.f64 D D))))) (sqrt.f64 (fma.f64 (*.f64 c0 (/.f64 (*.f64 M M) (*.f64 h (*.f64 w (*.f64 D D))))) (*.f64 c0 (/.f64 (*.f64 M M) (*.f64 h (*.f64 w (*.f64 D D))))) (neg.f64 (*.f64 d d))))))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 M (/.f64 M (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 (/.f64 (/.f64 c0 w) h) (*.f64 M (/.f64 M (*.f64 D D))) d) (fma.f64 (/.f64 (/.f64 c0 w) h) (*.f64 M (/.f64 M (*.f64 D D))) (neg.f64 d))))) (*.f64 #s(literal 2 binary64) w)))
(*.f64 c0 (/.f64 (fma.f64 c0 (*.f64 M (/.f64 M (*.f64 D (*.f64 w (*.f64 h D))))) (sqrt.f64 (*.f64 (fma.f64 (*.f64 M M) (/.f64 c0 (*.f64 D (*.f64 w (*.f64 h D)))) d) (fma.f64 (/.f64 (/.f64 c0 w) h) (*.f64 M (/.f64 M (*.f64 D D))) (neg.f64 d))))) (*.f64 #s(literal 2 binary64) w)))
Symmetry

(abs D)

(abs d)

(abs M)

Compiler

Compiled 58 to 21 computations (63.8% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 6 to 6 computations (0% saved)

prune1.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
21.7%
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
Compiler

Compiled 116 to 42 computations (63.8% saved)

simplify4.0ms (0%)

Memory
-14.4MiB live, 1.4MiB allocated
Algorithm
1×egg-herbie
Rules
7×*-commutative
4×+-commutative
3×sub-neg
2×neg-sub0
2×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
031230
142230
250230
354230
456230
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))
Outputs
(*.f64 (/.f64 c0 (*.f64 #s(literal 2 binary64) w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 58 to 21 computations (63.8% saved)

preprocess21.0ms (0.2%)

Memory
13.6MiB live, 29.1MiB allocated
Remove

(abs M)

(abs d)

(abs D)

Compiler

Compiled 928 to 336 computations (63.8% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...