Metrics for Henrywood and Agarwal, Equation (9a)

analyze611.0ms (19.5%)

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
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	7
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	8
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	9
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	10
12.5%	12.5%	87.2%	0.3%	0%	0%	0%	11
18.8%	18.7%	81%	0.3%	0%	0%	0%	12

Compiler

Compiled 25 to 18 computations (28% saved)

Precisions

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

ival-mult: 94.0ms (41.9% of total)

ival-div: 44.0ms (19.6% of total)

ival-pow: 40.0ms (17.8% of total)

ival-sqrt: 23.0ms (10.2% of total)

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

const: 5.0ms (2.2% of total)

sample2.2s (70.8%)

Results

999.0ms	8256×	256	valid
384.0ms	2792×	256	invalid

Precisions

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

ival-mult: 301.0ms (34.5% of total)

ival-div: 277.0ms (31.7% of total)

ival-pow: 136.0ms (15.6% of total)

ival-sqrt: 84.0ms (9.6% of total)

ival-sub: 57.0ms (6.5% of total)

const: 19.0ms (2.2% of total)

Bogosity

preprocess102.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

472×	`cancel-sign-sub-inv`
406×	`*-commutative`
384×	`neg-mul-1`
383×	`neg-sub0`
368×	`fma-define`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	178	2099
1	533	2083
2	1583	2067
3	4555	2067

Stop Event

1×	node limit

Calls

Call 1

Inputs
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 (neg.f64 w0) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 (neg.f64 M) D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M (neg.f64 D)) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 (neg.f64 h) l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l))))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) (neg.f64 d))) #s(literal 2 binary64)) (/.f64 h l)))))
(neg.f64 (.f64 (neg.f64 w0) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 (neg.f64 M) D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M (neg.f64 D)) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 (neg.f64 h) l))))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)))))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) (neg.f64 d))) #s(literal 2 binary64)) (/.f64 h l))))))
(.f64 M (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 w0 D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 D (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M w0) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 h (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 w0 l)))))
(.f64 l (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h w0)))))
(.f64 d (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) w0)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 h D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 M l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 l D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h M)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 d D) (.f64 #s(literal 2 binary64) M)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M h) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 D l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M l) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h D)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M d) (.f64 #s(literal 2 binary64) D)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 l h)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) h)) #s(literal 2 binary64)) (/.f64 d l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) l)) #s(literal 2 binary64)) (/.f64 h d)))))

Outputs
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 (neg.f64 w0) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))) (neg.f64 w0))
(.f64 w0 (neg.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 (neg.f64 M) D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M (neg.f64 D)) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 (neg.f64 h) l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l))))))
(.f64 w0 (sqrt.f64 (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h l) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h l) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l))))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l))))))
(.f64 w0 (sqrt.f64 (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h l) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h l) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) (neg.f64 d))) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(neg.f64 (.f64 (neg.f64 w0) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 (neg.f64 M) D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))) (neg.f64 w0))
(.f64 w0 (neg.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M (neg.f64 D)) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))) (neg.f64 w0))
(.f64 w0 (neg.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 (neg.f64 h) l))))))
(.f64 (neg.f64 w0) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l))))))
(.f64 (neg.f64 w0) (sqrt.f64 (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h l) #s(literal 1 binary64))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h l) #s(literal 1 binary64))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)))))))
(.f64 (neg.f64 w0) (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l))))))
(.f64 (neg.f64 w0) (sqrt.f64 (+.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h l) #s(literal 1 binary64))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h l) #s(literal 1 binary64))))
(neg.f64 (.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) (neg.f64 d))) #s(literal 2 binary64)) (/.f64 h l))))))
(.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))) (neg.f64 w0))
(.f64 w0 (neg.f64 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l))))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 (neg.f64 w0) (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 M (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 w0 D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 M (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (*.f64 (/.f64 w0 #s(literal 2 binary64)) (/.f64 D d)) #s(literal 2 binary64))))))
(.f64 M (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (.f64 D (/.f64 w0 (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64))))))
(.f64 M (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 h (/.f64 (pow.f64 (.f64 D (/.f64 w0 (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) l)))))
(.f64 M (sqrt.f64 (fma.f64 (/.f64 h (neg.f64 l)) (pow.f64 (.f64 D (*.f64 #s(literal 1/2 binary64) (/.f64 w0 d))) #s(literal 2 binary64)) #s(literal 1 binary64))))
(.f64 D (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M w0) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 D (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 w0 M) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))))))
(.f64 D (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (*.f64 w0 (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64))))))
(.f64 D (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 h (/.f64 (pow.f64 (.f64 M (/.f64 w0 (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) l)))))
(.f64 D (sqrt.f64 (neg.f64 (fma.f64 h (/.f64 (pow.f64 (.f64 w0 (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) l) #s(literal -1 binary64)))))
(.f64 h (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 w0 l)))))
(.f64 h (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 w0 l)))))
(.f64 h (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 w0 l)))))
(.f64 h (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 w0 (/.f64 (pow.f64 (*.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) l)))))
(.f64 h (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 w0 (neg.f64 l)) #s(literal 1 binary64))))
(.f64 l (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h w0)))))
(.f64 l (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h w0)))))
(.f64 l (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h w0)))))
(.f64 l (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 w0)) #s(literal 1 binary64))))
(.f64 l (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 w0)) #s(literal 1 binary64))))
(.f64 d (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) w0)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 d (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (.f64 M (/.f64 D (.f64 w0 #s(literal 2 binary64)))) #s(literal 2 binary64))))))
(.f64 d (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 (/.f64 M #s(literal 2 binary64)) D) w0) #s(literal 2 binary64))))))
(.f64 d (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 h (/.f64 (pow.f64 (.f64 M (/.f64 D (.f64 w0 #s(literal 2 binary64)))) #s(literal 2 binary64)) l)))))
(.f64 d (sqrt.f64 (neg.f64 (fma.f64 (/.f64 h l) (pow.f64 (.f64 M (/.f64 D (*.f64 w0 #s(literal 2 binary64)))) #s(literal 2 binary64)) #s(literal -1 binary64)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (fma.f64 (pow.f64 (.f64 D (*.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 h (neg.f64 l)) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 h D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 M l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 h (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 M l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (*.f64 D (/.f64 h #s(literal 2 binary64))) d) #s(literal 2 binary64)) (/.f64 M l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 M (/.f64 (pow.f64 (.f64 h (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 l D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h M)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 l (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h M)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 D (/.f64 l (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h M)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 l #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h M)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 (/.f64 l d) (/.f64 D #s(literal 2 binary64))) #s(literal 2 binary64)) (/.f64 h M)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 d D) (.f64 #s(literal 2 binary64) M)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (/.f64 (.f64 D d) (.f64 M #s(literal 2 binary64))) #s(literal 2 binary64))))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (.f64 D (/.f64 d (.f64 M #s(literal 2 binary64)))) #s(literal 2 binary64))))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 h (/.f64 (pow.f64 (*.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 d M)) #s(literal 2 binary64)) l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (/.f64 h l) (neg.f64 (pow.f64 (.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 d M)) #s(literal 2 binary64))) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M h) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 D l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 h (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 D l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 (/.f64 h d) (/.f64 M #s(literal 2 binary64))) #s(literal 2 binary64)) (/.f64 D l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 h (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 D l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M l) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h D)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 l (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 h D)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 l (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 h D)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 h (/.f64 (pow.f64 (*.f64 M (/.f64 (/.f64 l #s(literal 2 binary64)) d)) #s(literal 2 binary64)) D)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M d) (.f64 #s(literal 2 binary64) D)) #s(literal 2 binary64)) (/.f64 h l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (*.f64 (/.f64 M #s(literal 2 binary64)) (/.f64 d D)) #s(literal 2 binary64))))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (/.f64 h l) (pow.f64 (/.f64 (*.f64 M (/.f64 d #s(literal 2 binary64))) D) #s(literal 2 binary64))))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 h (/.f64 (pow.f64 (.f64 M (/.f64 d (.f64 D #s(literal 2 binary64)))) #s(literal 2 binary64)) l)))))
(.f64 w0 (sqrt.f64 (fma.f64 (/.f64 h l) (neg.f64 (pow.f64 (.f64 M (/.f64 d (*.f64 D #s(literal 2 binary64)))) #s(literal 2 binary64))) #s(literal 1 binary64))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 l h)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) d))) #s(literal 2 binary64)) (/.f64 l h)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 D (/.f64 (/.f64 M #s(literal 2 binary64)) d)) #s(literal 2 binary64)) (/.f64 l h)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (*.f64 (/.f64 D #s(literal 2 binary64)) (/.f64 M d)) #s(literal 2 binary64)) (/.f64 l h)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 D (.f64 (/.f64 M d) #s(literal -1/2 binary64))) #s(literal 2 binary64)) (/.f64 l h)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) h)) #s(literal 2 binary64)) (/.f64 d l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) h))) #s(literal 2 binary64)) (/.f64 d l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 d (/.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) h))) #s(literal 2 binary64)) l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 d (/.f64 (pow.f64 (/.f64 (*.f64 D (/.f64 M #s(literal 2 binary64))) h) #s(literal 2 binary64)) l)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) l)) #s(literal 2 binary64)) (/.f64 h d)))))
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (.f64 M (/.f64 D (.f64 #s(literal 2 binary64) l))) #s(literal 2 binary64)) (/.f64 h d)))))

Symmetry

(abs M)

(abs D)

(abs d)

(negabs w0)

(sort M D)

explain151.0ms (4.8%)

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
42	0	-	1	(239236.10190648894 1.1161692177131467e-269 1.151004316139597e+127 -3.865576523857328e-75 -8.825477726227982e+243 2.4067548634278207e-260)	`(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))`
25	0	-	0	-	`(sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l))))`
20	0	-	1	(1.0797353035358929e-193 1.7923407639121487e-190 2.7078844414608933e-123 -3.2956260284399146e+88 -4.685958382451181e+296 5.908670207799818e-190)	`(/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d))`
9	0	-	0	-	`(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))`
0	0	-	0	-	`h`
0	0	-	0	-	`M`
0	0	-	0	-	`l`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`(-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))`
0	0	-	0	-	`w0`
0	0	-	0	-	`(*.f64 M D)`
0	0	-	0	-	`d`
0	0	-	0	-	`#s(literal 1 binary64)`
0	78	(239236.10190648894 1.1161692177131467e-269 1.151004316139597e+127 -3.865576523857328e-75 -8.825477726227982e+243 2.4067548634278207e-260)	0	-	`(pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64))`
0	0	-	0	-	`(/.f64 h l)`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) d)`
0	0	-	0	-	`D`

Results

87.0ms

512×

256

valid

Compiler

Compiled 228 to 53 computations (76.8% saved)

Precisions

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

ival-mult: 14.0ms (30.9% of total)

ival-div: 12.0ms (26.5% of total)

ival-sqrt: 7.0ms (15.5% of total)

ival-pow: 6.0ms (13.3% of total)

ival-sub: 5.0ms (11% of total)

const: 1.0ms (2.2% 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
	78.7%	(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))

Compiler

Compiled 48 to 34 computations (29.2% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative`
6×	`sub-neg`
6×	`+-commutative`
5×	`neg-sub0`
5×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	71
1	41	71
2	52	71
3	62	71
4	70	71
5	75	71
6	77	71

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))

Outputs
(.f64 w0 (sqrt.f64 (-.f64 #s(literal 1 binary64) (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 #s(literal 2 binary64) d)) #s(literal 2 binary64)) (/.f64 h l)))))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 24 to 17 computations (29.2% saved)

preprocess46.0ms (1.5%)

Remove

(sort M D)

(negabs w0)

(abs d)

(abs D)

(abs M)

Compiler

Compiled 576 to 408 computations (29.2% saved)

Henrywood and Agarwal, Equation (9a)

analyze611.0ms (19.5%)

sample2.2s (70.8%)

preprocess102.0ms (3.2%)

explain151.0ms (4.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

preprocess46.0ms (1.5%)

end0.0ms (0%)

Profiling