Metrics for Henrywood and Agarwal, Equation (13)

analyze853.0ms (10.7%)

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: 480.0ms

ival-mult: 367.0ms (76.4% of total)

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

ival-sqrt: 28.0ms (5.8% of total)

ival-sub: 19.0ms (4% of total)

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

const: 4.0ms (0.8% of total)

sample6.5s (81.6%)

Results

1.2s	8154×	256	invalid
1.1s	1494×	4096	valid
804.0ms	814×	8192	valid
655.0ms	4328×	256	valid
611.0ms	944×	2048	valid
196.0ms	467×	1024	valid
192.0ms	209×	512	valid
4.0ms	5×	8192	exit

Precisions

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

ival-mult: 2.1s (60.8% of total)

ival-div: 596.0ms (17.6% of total)

ival-sqrt: 301.0ms (8.9% of total)

ival-sub: 234.0ms (6.9% of total)

ival-add: 165.0ms (4.9% of total)

const: 34.0ms (1% of total)

Bogosity

preprocess125.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

933×	`fma-neg`
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)

explain436.0ms (5.5%)

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
105	1	(5.9052598279359224e-300 5.530058588192607e-62 -1.0210527524152254e+104 9.647997909789067e-29 1669808255095977700.0 1.8015287462692235e-286)	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))))`
54	0	-	0	-	`(.f64 (.f64 w h) (*.f64 D D))`
52	0	-	1	(-2.6330180110794783e+78 1.867027228428917e-72 3.6865826427255473e+205 1.8941007082515158e-206 1.0257802431499025e-258 1.1108401155829927e-251)	`(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)))`
52	0	-	1	(32581283214738500.0 1.5077769616944545e+152 2.524589364642018e-234 2.1812317274235052e-17 2.6773324967010383e-167 5.636104833799828e-233)	`(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))`
46	0	-	1	(-3.1956678936438766e-111 9.741405502199557e-302 1.764105419845584e-140 9.554473754042438e-29 8.638671855959877e+268 1.9262999222347615e+303)	`(.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)))))`
42	0	-	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))`
41	0	-	1	(3.048193401884953e+255 -1.877157842935333e-9 1.2073915624954905e-138 9.63727418285303e-135 3.4029615367451537e-161 3.4948747073986757e+193)	`(.f64 c0 (.f64 d d))`
0	0	-	0	-	`h`
0	0	-	0	-	`M`
0	0	-	0	-	`w`
0	0	-	0	-	`(/.f64 c0 (*.f64 #s(literal 2 binary64) w))`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`c0`
0	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	-	0	-	`(*.f64 D D)`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) w)`
0	0	-	0	-	`(*.f64 w h)`
0	0	-	0	-	`d`
0	0	-	0	-	`(*.f64 d d)`
0	0	-	0	-	`D`
0	0	-	0	-	`(*.f64 M M)`

Results

110.0ms	94×	4096	valid
77.0ms	54×	8192	valid
61.0ms	80×	2048	valid
50.0ms	242×	256	valid
17.0ms	24×	1024	valid
6.0ms	18×	512	valid

Compiler

Compiled 552 to 65 computations (88.2% saved)

Precisions

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

ival-mult: 119.0ms (67.4% of total)

ival-div: 27.0ms (15.3% of total)

ival-sqrt: 14.0ms (7.9% of total)

ival-sub: 8.0ms (4.5% of total)

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

const: 2.0ms (1.1% of total)

eval0.0ms (0%)

Compiler: Compiled 6 to 6 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	22.5%	(.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)))))

Status

Accuracy

Program

22.5%

(*.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.1%)

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)

Iter	Nodes	Cost
0	31	230
1	42	230
2	50	230
3	54	230
4	56	230

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%)

Stop Event

1×

fuel

Compiler

Compiled 58 to 21 computations (63.8% saved)

preprocess41.0ms (0.5%)

Remove

(abs M)

(abs d)

(abs D)

Compiler

Compiled 928 to 336 computations (63.8% saved)

Henrywood and Agarwal, Equation (13)

analyze853.0ms (10.7%)

sample6.5s (81.6%)

preprocess125.0ms (1.6%)

explain436.0ms (5.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

preprocess41.0ms (0.5%)

end0.0ms (0%)

Profiling