Henrywood and Agarwal, Equation (13)

Time bar (total: 11.8s)

analyze542.0ms (4.6%)

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

sample11.1s (94.2%)

Memory
105.4MiB live, 3 897.6MiB allocated
Samples
1.3s1 489×4672valid-baseline
728.0ms995×2336valid-baseline
589.0ms4 302×73valid-sollya
576.0ms1 489×4672valid-sollya
541.0ms4 302×73valid-baseline
530.0ms499×9344valid-baseline
457.0ms1 489×4672valid-rival
456.0ms4 302×73valid-rival
298.0ms995×2336valid-sollya
295.0ms480×1168valid-baseline
266.0ms499×9344valid-sollya
249.0ms995×2336valid-rival
190.0ms499×9344valid-rival
146.0ms286×584valid-baseline
122.0ms480×1168valid-sollya
106.0ms480×1168valid-rival
61.0ms286×584valid-sollya
55.0ms286×584valid-rival
44.0ms120×292valid-baseline
23.0ms120×292valid-rival
20.0ms120×292valid-sollya
20.0ms82×146valid-baseline
15.0ms82×146valid-rival
14.0ms82×146valid-sollya
0.0ms1×9344valid-rival+sollya-real
0.0ms1×4672valid-rival+baseline-zero
0.0ms1×73valid-rival+baseline-inf
Precisions
Click to see Rival histograms. Total time spent on operations: 1.8s
ival-mult: 1.0s (56.8% of total)
ival-div: 298.0ms (16.2% of total)
ival-sqrt: 179.0ms (9.7% of total)
adjust: 98.0ms (5.3% of total)
ival-add: 95.0ms (5.2% of total)
ival-sub: 95.0ms (5.2% of total)
ival-true: 15.0ms (0.8% of total)
ival-assert: 6.0ms (0.3% of total)
...in/eval/compile.rkt:110:19: 5.0ms (0.3% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 3.1s
ival-mult: 1.9s (60.9% of total)
ival-div: 555.0ms (17.9% of total)
ival-sqrt: 282.0ms (9.1% of total)
ival-sub: 177.0ms (5.7% of total)
ival-add: 157.0ms (5.1% of total)
const: 42.0ms (1.4% of total)
Bogosity

preprocess117.0ms (1%)

Memory
-7.1MiB live, 41.4MiB 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.2MiB live, 0.2MiB 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
23.3%
(*.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
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)

preprocess21.0ms (0.2%)

Memory
-1.8MiB 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...