Metrics for Henrywood and Agarwal, Equation (13)

analyze1.2s (12.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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 59 to 22 computations (62.7% saved)

Precisions

Click to see histograms. Total time spent on operations: 544.0ms

ival-mult: 347.0ms (63.8% of total)

ival-sqrt: 103.0ms (18.9% of total)

ival-div: 43.0ms (7.9% of total)

ival-sub: 26.0ms (4.8% of total)

ival-add: 19.0ms (3.5% of total)

const: 5.0ms (0.9% of total)

backward-pass: 1.0ms (0.2% of total)

sample7.2s (76.4%)

Results

1.3s	8121×	0	invalid
1.2s	4266×	0	valid
1.0s	1610×	3	valid
901.0ms	831×	4	valid
657.0ms	995×	2	valid
244.0ms	550×	1	valid
4.0ms	4×	5	valid

Precisions

Click to see histograms. Total time spent on operations: 3.9s

ival-mult: 2.5s (64.3% of total)

ival-add: 412.0ms (10.5% of total)

ival-div: 373.0ms (9.5% of total)

ival-sqrt: 269.0ms (6.9% of total)

backward-pass: 170.0ms (4.3% of total)

ival-sub: 150.0ms (3.8% of total)

const: 22.0ms (0.6% of total)

Bogosity

preprocess195.0ms (2.1%)

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)

Iter	Nodes	Cost
0	227	6766
1	1029	6510
2	5871	6462

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)

explain450.0ms (4.8%)

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
102	-	0	-	`(+.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))))`
61	-	2	(4.5267386924623025e-212 5.416712594372109e-117 3.4025380753251423e+56 3.77655849779395e-131 11923.922743005642 2.966480993972822e+108)	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`
45	-	1	(2.219080861593791e+185 2.4209229642633553e-47 -1.0944317798183714e+297 6.672647639222177e+127 5.5437522925706174e+79 3.173673395258727e-215)	`(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)))`
44	-	2	(-2.616178635436034e+207 1.9502451857698457e+183 3.8714428874494236e+74 1.0604323874251376e-158 1.0507217753420789e+260 1.2032695499431936e+29)	`(.f64 (.f64 w h) (*.f64 D D))`
40	-	0	-	`(-.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))`
30	-	0	-	`(.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)))))`
27	-	0	-	`(.f64 c0 (.f64 d d))`
0	-	0	-	`h`
0	-	0	-	`M`
0	-	0	-	`w`
0	-	0	-	`(/.f64 c0 (*.f64 #s(literal 2 binary64) w))`
0	-	0	-	`#s(literal 2 binary64)`
0	-	0	-	`c0`
0	-	0	-	`(.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))))`
0	-	0	-	`(*.f64 D D)`
0	-	0	-	`(*.f64 #s(literal 2 binary64) w)`
0	-	0	-	`(*.f64 w h)`
0	-	0	-	`d`
0	-	0	-	`(*.f64 d d)`
0	-	0	-	`D`
0	-	0	-	`(*.f64 M M)`

Results

112.0ms	246×	0	valid
89.0ms	116×	3	valid
55.0ms	56×	4	valid
41.0ms	68×	2	valid
10.0ms	26×	1	valid

Compiler

Compiled 552 to 65 computations (88.2% saved)

Precisions

Click to see histograms. Total time spent on operations: 131.0ms

ival-mult: 68.0ms (52% of total)

backward-pass: 21.0ms (16.1% of total)

ival-div: 16.0ms (12.2% of total)

ival-sqrt: 12.0ms (9.2% of total)

ival-add: 7.0ms (5.4% of total)

ival-sub: 6.0ms (4.6% of total)

const: 1.0ms (0.8% of total)

eval1.0ms (0%)

Compiler: Compiled 158 to 43 computations (72.8% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	22.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)))))
▶	22.6%	(.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)))))
▶	33.0%	(.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)))
▶	37.5%	(.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)))

Compiler

Compiled 228 to 87 computations (61.8% saved)

simplify108.0ms (1.2%)

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(.f64 c0 (.f64 d d))
✓	cost-diff	0	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
✓	cost-diff	0	(*.f64 #s(literal 2 binary64) w)
✓	cost-diff	0	(/.f64 c0 (*.f64 #s(literal 2 binary64) w))
✓	cost-diff	0	(/.f64 c0 (*.f64 w h))
✓	cost-diff	0	(.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)))
✓	cost-diff	0	(*.f64 #s(literal 2 binary64) w)
✓	cost-diff	0	(/.f64 c0 (*.f64 #s(literal 2 binary64) w))
✓	cost-diff	576	(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)))))
✓	cost-diff	576	(/.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))
✓	cost-diff	576	(.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)))
✓	cost-diff	6336	(fma.f64 (/.f64 c0 (.f64 w (.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))
✓	cost-diff	0	(.f64 w (.f64 h D))
✓	cost-diff	0	(.f64 D (.f64 w (*.f64 h D)))
✓	cost-diff	0	(/.f64 d (.f64 D (.f64 w (*.f64 h D))))
✓	cost-diff	0	(.f64 d (/.f64 d (.f64 D (.f64 w (.f64 h D)))))

Rules

901×	`associate-r`
778×	`associate-l`
624×	`associate-*r/`
481×	`associate-*l/`
417×	`associate-/l*`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	4650
1	178	4650
2	696	4122
3	6435	3762

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.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)))
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))
(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 d (/.f64 d (.f64 D (.f64 w (.f64 h D)))))
d
(/.f64 d (.f64 D (.f64 w (*.f64 h D))))
(.f64 D (.f64 w (*.f64 h D)))
D
(.f64 w (.f64 h D))
w
(*.f64 h D)
h
(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 (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))
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 h D))))) M)
M
(-.f64 (.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (*.f64 h D)))))) M)
(.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (*.f64 h D))))))
(*.f64 #s(literal 2 binary64) w)
#s(literal 2 binary64)
(.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)))
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))
(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 d (/.f64 d (.f64 D (.f64 w (.f64 h D)))))
d
(/.f64 d (.f64 D (.f64 w (*.f64 h D))))
(.f64 D (.f64 w (*.f64 h D)))
D
(.f64 w (.f64 h D))
w
(*.f64 h D)
h
(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 (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)))
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 h D))))) M)
M
(fma.f64 (/.f64 c0 (.f64 w (.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))
(/.f64 c0 (.f64 w (.f64 h D)))
(/.f64 (*.f64 d d) D)
(*.f64 d d)
(neg.f64 M)
(*.f64 #s(literal 2 binary64) w)
#s(literal 2 binary64)
(.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 #s(literal 2 binary64) w))
c0
(*.f64 #s(literal 2 binary64) w)
#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 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)))
(/.f64 c0 (*.f64 w h))
(*.f64 w h)
h
(/.f64 (.f64 d d) (.f64 D D))
(*.f64 d d)
d
(*.f64 D 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 (.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 (.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)
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 c0 (*.f64 #s(literal 2 binary64) w))
c0
(*.f64 #s(literal 2 binary64) w)
#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 d d)) (.f64 (.f64 w h) (*.f64 D D)))
(.f64 c0 (.f64 d d))
(*.f64 d d)
d
(.f64 (.f64 w h) (*.f64 D D))
(*.f64 w h)
h
(*.f64 D 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 (/.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 (.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)
M

Outputs
(.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 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))) (.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
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 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))) (*.f64 w #s(literal 2 binary64)))
(/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))) (.f64 w #s(literal 2 binary64)))
(/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))) (.f64 w #s(literal 2 binary64)))
(/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))) (.f64 w #s(literal 2 binary64)))
(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))))
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (*.f64 d (/.f64 d D)) (neg.f64 M)))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (*.f64 M (neg.f64 M)))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (*.f64 M (neg.f64 M)))))
(.f64 d (/.f64 d (.f64 D (.f64 w (.f64 h D)))))
(.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h)))))
(.f64 d (/.f64 (/.f64 d D) (.f64 w (*.f64 D h))))
(.f64 d (/.f64 (/.f64 d h) (.f64 D (*.f64 D w))))
d
(/.f64 d (.f64 D (.f64 w (*.f64 h D))))
(/.f64 d (.f64 D (.f64 w (*.f64 D h))))
(/.f64 (/.f64 d D) (.f64 w (.f64 D h)))
(/.f64 (/.f64 d h) (.f64 D (.f64 D w)))
(.f64 D (.f64 w (*.f64 h D)))
(.f64 D (.f64 w (*.f64 D h)))
(.f64 D (.f64 h (*.f64 D w)))
D
(.f64 w (.f64 h D))
(.f64 w (.f64 D h))
(.f64 h (.f64 D w))
w
(*.f64 h D)
(*.f64 D h)
h
(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)))
(sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))
(sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))
(sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))
(sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))
(.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 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M))
(.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M)))
(fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M)))
(fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M)))
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 h D))))) M)
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M)
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (*.f64 D h)))) M)
(fma.f64 (/.f64 (/.f64 d h) (.f64 D (.f64 D w))) (*.f64 c0 d) M)
M
(-.f64 (.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (*.f64 h D)))))) M)
(-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (*.f64 D D))) M)
(fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 d d) (/.f64 c0 (*.f64 D D))) h) w) M)
(.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (*.f64 h D))))))
(.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (*.f64 D D)))
(.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))))
(/.f64 (/.f64 (.f64 (.f64 d d) (/.f64 c0 (*.f64 D D))) h) w)
(*.f64 #s(literal 2 binary64) w)
(*.f64 w #s(literal 2 binary64))
#s(literal 2 binary64)
(.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 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))) (.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
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 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))) (*.f64 w #s(literal 2 binary64)))
(/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))) (.f64 w #s(literal 2 binary64)))
(/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))) (.f64 w #s(literal 2 binary64)))
(/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))) (.f64 w #s(literal 2 binary64)))
(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)))))
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (*.f64 d (/.f64 d D)) (neg.f64 M)))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (*.f64 M (neg.f64 M)))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (*.f64 M (neg.f64 M)))))
(.f64 d (/.f64 d (.f64 D (.f64 w (.f64 h D)))))
(.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h)))))
(.f64 d (/.f64 (/.f64 d D) (.f64 w (*.f64 D h))))
(.f64 d (/.f64 (/.f64 d h) (.f64 D (*.f64 D w))))
d
(/.f64 d (.f64 D (.f64 w (*.f64 h D))))
(/.f64 d (.f64 D (.f64 w (*.f64 D h))))
(/.f64 (/.f64 d D) (.f64 w (.f64 D h)))
(/.f64 (/.f64 d h) (.f64 D (.f64 D w)))
(.f64 D (.f64 w (*.f64 h D)))
(.f64 D (.f64 w (*.f64 D h)))
(.f64 D (.f64 h (*.f64 D w)))
D
(.f64 w (.f64 h D))
(.f64 w (.f64 D h))
(.f64 h (.f64 D w))
w
(*.f64 h D)
(*.f64 D h)
h
(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))))
(sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))
(sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))
(sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))
(sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))
(.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 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M))
(.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M)))
(fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M)))
(fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M)))
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 h D))))) M)
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M)
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (*.f64 D h)))) M)
(fma.f64 (/.f64 (/.f64 d h) (.f64 D (.f64 D w))) (*.f64 c0 d) M)
M
(fma.f64 (/.f64 c0 (.f64 w (.f64 h D))) (/.f64 (*.f64 d d) D) (neg.f64 M))
(-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (*.f64 D D))) M)
(fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))
(-.f64 (/.f64 (/.f64 (.f64 (.f64 d d) (/.f64 c0 (*.f64 D D))) h) w) M)
(/.f64 c0 (.f64 w (.f64 h D)))
(/.f64 c0 (.f64 w (.f64 D h)))
(/.f64 (/.f64 c0 w) (*.f64 D h))
(/.f64 c0 (.f64 h (.f64 D w)))
(/.f64 (*.f64 d d) D)
(*.f64 d (/.f64 d D))
(*.f64 d d)
(neg.f64 M)
(*.f64 #s(literal 2 binary64) w)
(*.f64 w #s(literal 2 binary64))
#s(literal 2 binary64)
(.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 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))) (.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(/.f64 c0 (*.f64 #s(literal 2 binary64) w))
(/.f64 c0 (*.f64 w #s(literal 2 binary64)))
c0
(*.f64 #s(literal 2 binary64) w)
(*.f64 w #s(literal 2 binary64))
#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))))
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (*.f64 d (/.f64 d D)) (neg.f64 M)))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (*.f64 M (neg.f64 M)))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (*.f64 M (neg.f64 M)))))
(.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)))
(.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (*.f64 D D)))
(.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))))
(/.f64 (/.f64 (.f64 (.f64 d d) (/.f64 c0 (*.f64 D D))) h) w)
(/.f64 c0 (*.f64 w h))
(/.f64 (/.f64 c0 w) h)
(*.f64 w h)
h
(/.f64 (.f64 d d) (.f64 D D))
(*.f64 (/.f64 d D) (/.f64 d D))
(.f64 d (/.f64 d (.f64 D D)))
(*.f64 d d)
d
(*.f64 D 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)))
(sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))
(sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))
(sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))
(sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))
(-.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 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M))
(.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M)))
(fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M)))
(fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M)))
(.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 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (*.f64 D D))))
(.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 c0 (.f64 w h)) (.f64 d (.f64 (/.f64 d (.f64 D D)) (.f64 (/.f64 d D) (/.f64 d D))))))
(.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))))
(.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))))
(*.f64 M 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 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))) (.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(.f64 c0 (/.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))) (*.f64 w #s(literal 2 binary64))))
(/.f64 c0 (*.f64 #s(literal 2 binary64) w))
(/.f64 c0 (*.f64 w #s(literal 2 binary64)))
c0
(*.f64 #s(literal 2 binary64) w)
(*.f64 w #s(literal 2 binary64))
#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))))
(fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) (sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (*.f64 d (/.f64 d D)) (neg.f64 M)))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (*.f64 M (neg.f64 M)))))
(fma.f64 c0 (.f64 d (/.f64 (/.f64 d h) (.f64 D (.f64 D w)))) (sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (*.f64 M (neg.f64 M)))))
(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
(.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (*.f64 D D)))
(.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))))
(/.f64 (/.f64 (.f64 (.f64 d d) (/.f64 c0 (*.f64 D D))) h) w)
(.f64 c0 (.f64 d d))
(*.f64 d d)
d
(.f64 (.f64 w h) (*.f64 D D))
(.f64 D (.f64 w (*.f64 D h)))
(.f64 D (.f64 h (*.f64 D w)))
(*.f64 w h)
h
(*.f64 D 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)))
(sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M)))
(sqrt.f64 (.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M))))
(sqrt.f64 (fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M))))
(sqrt.f64 (fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M))))
(-.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 (fma.f64 c0 (.f64 d (/.f64 d (.f64 D (.f64 w (.f64 D h))))) M) (-.f64 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) M))
(.f64 (fma.f64 c0 (.f64 d (/.f64 (/.f64 d D) (.f64 w (.f64 D h)))) M) (fma.f64 (/.f64 (/.f64 c0 w) (.f64 D h)) (.f64 d (/.f64 d D)) (neg.f64 M)))
(fma.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))) (.f64 M (neg.f64 M)))
(fma.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))) (.f64 M (neg.f64 M)))
(.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 (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (.f64 D D))) (.f64 (/.f64 (/.f64 c0 w) h) (/.f64 (.f64 d d) (*.f64 D D))))
(.f64 (/.f64 c0 (.f64 w h)) (.f64 (/.f64 c0 (.f64 w h)) (.f64 d (.f64 (/.f64 d (.f64 D D)) (.f64 (/.f64 d D) (/.f64 d D))))))
(.f64 c0 (.f64 (/.f64 d (.f64 h (.f64 D w))) (.f64 (pow.f64 (/.f64 d D) #s(literal 3 binary64)) (/.f64 c0 (.f64 w h)))))
(.f64 c0 (.f64 (/.f64 c0 (.f64 w h)) (/.f64 (pow.f64 (/.f64 d D) #s(literal 4 binary64)) (.f64 w h))))
(*.f64 M M)
M

localize243.0ms (2.6%)

Compiler: Compiled 1071 to 52 computations (95.1% saved)
Precisions: Click to see histograms. Total time spent on operations: 484.0ms
ival-add: 242.0ms (50% of total)
compiled-spec: 242.0ms (50% of total)
ival-div: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
const: 0.0ms (0% of total)
ival-sqrt: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)
ival-neg: 0.0ms (0% of total)

end0.0ms (0%)

Precisions: Click to see histograms. Total time spent on operations: 0.0ms
backward-pass: 0.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

analyze1.2s (12.9%)

sample7.2s (76.4%)

preprocess195.0ms (2.1%)

explain450.0ms (4.8%)

eval1.0ms (0%)

prune2.0ms (0%)

simplify108.0ms (1.2%)

localize243.0ms (2.6%)

end0.0ms (0%)

Profiling