Henrywood and Agarwal, Equation (13)

Time bar (total: 11.1s)

analyze540.0ms (4.9%)

Memory
-1.7MiB live, 254.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.4s (93.9%)

Memory
10.8MiB live, 3 638.7MiB allocated
Samples
1.2s1 560×3valid-baseline
785.0ms871×4valid-baseline
625.0ms1 004×2valid-baseline
586.0ms4 284×0valid-sollya
582.0ms1 560×3valid-rival
550.0ms1 560×3valid-sollya
491.0ms4 284×0valid-baseline
451.0ms4 284×0valid-rival
431.0ms871×4valid-sollya
419.0ms871×4valid-rival
283.0ms1 004×2valid-rival
268.0ms1 004×2valid-sollya
221.0ms537×1valid-baseline
107.0ms537×1valid-sollya
106.0ms537×1valid-rival
1.0ms1×5valid-sollya+baseline-real
Bogosity

preprocess115.0ms (1%)

Memory
10.0MiB live, 41.2MiB 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
-16.8MiB live, 1.0MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
25.1%
(*.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)

simplify5.0ms (0%)

Memory
1.5MiB live, 1.5MiB 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)

preprocess22.0ms (0.2%)

Memory
0.1MiB live, 30.7MiB 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...