Metrics for jeff quadratic root 2

analyze280.0ms (9.3%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
25%	25%	74.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
34.4%	34.3%	65.5%	0.1%	0%	0%	0%	6
40%	37.4%	56.2%	0.1%	0%	6.2%	0%	7
44.2%	41.3%	52.3%	0.1%	0%	6.2%	0%	8
54.3%	49.5%	41.7%	0.1%	0%	8.6%	0%	9
61%	52.9%	33.7%	0.1%	0%	13.3%	0%	10
66.9%	57.4%	28.4%	0.1%	0%	14%	0%	11
72.5%	60.6%	22.9%	0.1%	0%	16.4%	0%	12

Compiler

Compiled 42 to 21 computations (50% saved)

Precisions

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

ival->=: 68.0ms (36.6% of total)

ival-mult: 51.0ms (27.5% of total)

ival-div: 14.0ms (7.5% of total)

ival-sub: 13.0ms (7% of total)

ival-sqrt: 13.0ms (7% of total)

ival-add: 8.0ms (4.3% of total)

ival-if: 8.0ms (4.3% of total)

ival-neg: 8.0ms (4.3% of total)

const: 3.0ms (1.6% of total)

sample2.0s (67.7%)

Results

1.4s	8256×	256	valid
128.0ms	970×	256	invalid

Precisions

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

ival-mult: 361.0ms (30.6% of total)

ival-if: 289.0ms (24.5% of total)

ival-div: 148.0ms (12.6% of total)

ival-sub: 112.0ms (9.5% of total)

ival-sqrt: 89.0ms (7.6% of total)

ival-add: 60.0ms (5.1% of total)

ival->=: 51.0ms (4.3% of total)

ival-neg: 48.0ms (4.1% of total)

const: 20.0ms (1.7% of total)

Bogosity

preprocess113.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

764×	`fma-define`
701×	`div-sub`
694×	`fma-neg`
376×	`distribute-lft-neg-in`
303×	`associate-*r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	95	1702
1	239	1530
2	608	1530
3	1488	1494
4	3764	1494

Stop Event

1×	node limit

Calls

Call 1

Inputs
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 a)) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 a)) c)))) (.f64 #s(literal 2 binary64) (neg.f64 a))))
(if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) (neg.f64 c)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c)))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 #s(literal 2 binary64) a)))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 a)) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 a)) c)))) (.f64 #s(literal 2 binary64) (neg.f64 a)))))
(neg.f64 (if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) (neg.f64 c)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c)))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 #s(literal 2 binary64) a))))
(if (>=.f64 a #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 (.f64 #s(literal 4 binary64) b) c))))) (/.f64 (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 (.f64 #s(literal 4 binary64) b) c)))) (.f64 #s(literal 2 binary64) b)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a)))) (.f64 #s(literal 2 binary64) c)))
(if (>=.f64 c #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) b) (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 (.f64 #s(literal 4 binary64) a) b))))) (/.f64 (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 (.f64 #s(literal 4 binary64) a) b)))) (.f64 #s(literal 2 binary64) a)))

Outputs
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c)))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal 2 binary64) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64)))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))) b) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))) b) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 #s(literal -2 binary64) (/.f64 c (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))))) (.f64 #s(literal -1/2 binary64) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) a)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) (.f64 a #s(literal -2 binary64))))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c)))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal 2 binary64) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64)))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))) b) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))) b) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 #s(literal -2 binary64) (/.f64 c (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))))) (.f64 #s(literal -1/2 binary64) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) a)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) (.f64 a #s(literal -2 binary64))))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 a)) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 a)) c)))) (.f64 #s(literal 2 binary64) (neg.f64 a))))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 #s(literal 4 binary64) (.f64 (neg.f64 a) c))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 #s(literal 4 binary64) (.f64 (neg.f64 a) c)))))) (.f64 #s(literal 2 binary64) (neg.f64 a))))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 #s(literal 4 binary64) (.f64 c a))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 #s(literal 4 binary64) (.f64 c a)))) b) (.f64 a #s(literal -2 binary64))))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal 4 binary64) a))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal 4 binary64) a)))) b) (.f64 a #s(literal -2 binary64))))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal 4 binary64)))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal 4 binary64))))) b) (.f64 a #s(literal -2 binary64))))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (+.f64 b (sqrt.f64 (fma.f64 c (.f64 #s(literal 4 binary64) a) (.f64 b b)))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 c (.f64 #s(literal 4 binary64) a) (.f64 b b))) b) (.f64 a #s(literal -2 binary64))))
(if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c)))))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64)))))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 c (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b))))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) (neg.f64 c)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c)))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 c #s(literal -2 binary64)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 #s(literal 4 binary64) (.f64 c a)))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 #s(literal 4 binary64) (.f64 c a)))) b) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal 4 binary64) a))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal 4 binary64) a)))) b) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal 4 binary64))))))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal 4 binary64)))))) (.f64 a #s(literal -2 binary64))))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal 2 binary64) (+.f64 b (sqrt.f64 (fma.f64 c (.f64 #s(literal 4 binary64) a) (.f64 b b)))))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (.f64 #s(literal 4 binary64) a) (.f64 b b)))) (.f64 a #s(literal -2 binary64))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 a)) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 a)) c)))) (.f64 #s(literal 2 binary64) (neg.f64 a)))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 #s(literal 4 binary64) (.f64 (neg.f64 a) c))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 #s(literal 4 binary64) (.f64 (neg.f64 a) c)))))) (.f64 #s(literal 2 binary64) (neg.f64 a)))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 #s(literal 4 binary64) (.f64 c a))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 #s(literal 4 binary64) (.f64 c a)))) b) (.f64 a #s(literal -2 binary64)))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 c (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal 4 binary64) a))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal 4 binary64) a)))) b) (.f64 a #s(literal -2 binary64)))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal 4 binary64)))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal 4 binary64))))) b) (.f64 a #s(literal -2 binary64)))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (+.f64 b (sqrt.f64 (fma.f64 c (.f64 #s(literal 4 binary64) a) (.f64 b b)))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 c (.f64 #s(literal 4 binary64) a) (.f64 b b))) b) (.f64 a #s(literal -2 binary64)))))
(neg.f64 (if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a))))
(neg.f64 (if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c)))))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 #s(literal 2 binary64) a))))
(neg.f64 (if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64)))))) (.f64 #s(literal 2 binary64) a))))
(neg.f64 (if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 c (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) (.f64 #s(literal 2 binary64) a))))
(neg.f64 (if (>=.f64 (neg.f64 b) #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b))))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) (.f64 #s(literal 2 binary64) a))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) (neg.f64 c)) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c)))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 #s(literal 2 binary64) a))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 c #s(literal -2 binary64)) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 #s(literal 4 binary64) (.f64 c a)))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 #s(literal 4 binary64) (.f64 c a)))) b) (.f64 #s(literal 2 binary64) a))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal 4 binary64) a))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal 4 binary64) a)))) b) (.f64 #s(literal 2 binary64) a))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal 4 binary64))))))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal 4 binary64)))))) (.f64 a #s(literal -2 binary64)))))
(neg.f64 (if (>=.f64 b #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal 2 binary64) (+.f64 b (sqrt.f64 (fma.f64 c (.f64 #s(literal 4 binary64) a) (.f64 b b)))))) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (.f64 #s(literal 4 binary64) a) (.f64 b b)))) (.f64 a #s(literal -2 binary64)))))
(if (>=.f64 a #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 (.f64 #s(literal 4 binary64) b) c))))) (/.f64 (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 (.f64 #s(literal 4 binary64) b) c)))) (.f64 #s(literal 2 binary64) b)))
(if (>=.f64 a #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 c (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 c (.f64 b #s(literal 4 binary64)))))))) (/.f64 (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 c (.f64 b #s(literal 4 binary64)))))) (.f64 b #s(literal 2 binary64))))
(if (>=.f64 a #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 c (-.f64 (neg.f64 a) (sqrt.f64 (fma.f64 a a (.f64 c (.f64 b #s(literal -4 binary64)))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 a a (.f64 c (.f64 b #s(literal -4 binary64))))) a) (.f64 b #s(literal 2 binary64))))
(if (>=.f64 a #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal 2 binary64) (-.f64 (neg.f64 a) (sqrt.f64 (fma.f64 c (.f64 b #s(literal -4 binary64)) (.f64 a a)))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 c (.f64 b #s(literal -4 binary64)) (.f64 a a))) a) (.f64 b #s(literal 2 binary64))))
(if (>=.f64 a #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (+.f64 a (sqrt.f64 (fma.f64 a a (.f64 c (.f64 b #s(literal -4 binary64)))))))) (/.f64 (-.f64 a (sqrt.f64 (fma.f64 a a (.f64 c (.f64 b #s(literal -4 binary64)))))) (.f64 b #s(literal -2 binary64))))
(if (>=.f64 a #s(literal 0 binary64)) (.f64 c (/.f64 #s(literal -2 binary64) (+.f64 a (sqrt.f64 (fma.f64 a a (.f64 b (.f64 c #s(literal -4 binary64)))))))) (/.f64 (-.f64 a (sqrt.f64 (fma.f64 a a (.f64 b (.f64 c #s(literal -4 binary64)))))) (.f64 b #s(literal -2 binary64))))
(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a)))) (.f64 #s(literal 2 binary64) c)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 a (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 a (.f64 c #s(literal 4 binary64)))))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 a (.f64 c #s(literal 4 binary64)))))) (.f64 #s(literal 2 binary64) c)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 a (/.f64 #s(literal 2 binary64) (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64)))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))) b) (.f64 #s(literal 2 binary64) c)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 #s(literal 2 binary64) (/.f64 a (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64)))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c #s(literal -4 binary64))))) b) (.f64 #s(literal 2 binary64) c)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 #s(literal -2 binary64) (/.f64 a (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))))) (.f64 #s(literal -1/2 binary64) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) c)))
(if (>=.f64 b #s(literal 0 binary64)) (.f64 a (/.f64 #s(literal -2 binary64) (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))))) (.f64 (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (.f64 a #s(literal -4 binary64)) (.f64 b b)))) c) #s(literal -1/2 binary64)))
(if (>=.f64 c #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) b) (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 (.f64 #s(literal 4 binary64) a) b))))) (/.f64 (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 (.f64 #s(literal 4 binary64) a) b)))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 c #s(literal 0 binary64)) (/.f64 (.f64 b #s(literal 2 binary64)) (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 b (.f64 #s(literal 4 binary64) a)))))) (/.f64 (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 b (.f64 #s(literal 4 binary64) a))))) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 c #s(literal 0 binary64)) (/.f64 (.f64 b #s(literal 2 binary64)) (-.f64 (neg.f64 c) (sqrt.f64 (fma.f64 c c (.f64 b (.f64 a #s(literal -4 binary64))))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 c c (.f64 b (.f64 a #s(literal -4 binary64))))) c) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 c #s(literal 0 binary64)) (/.f64 (.f64 b #s(literal 2 binary64)) (-.f64 (neg.f64 c) (sqrt.f64 (fma.f64 b (.f64 a #s(literal -4 binary64)) (.f64 c c))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 b (.f64 a #s(literal -4 binary64)) (.f64 c c))) c) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 c #s(literal 0 binary64)) (/.f64 (.f64 b #s(literal -2 binary64)) (+.f64 c (sqrt.f64 (fma.f64 a (.f64 b #s(literal -4 binary64)) (.f64 c c))))) (/.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 b #s(literal -4 binary64)) (.f64 c c))) c) (.f64 #s(literal 2 binary64) a)))
(if (>=.f64 c #s(literal 0 binary64)) (/.f64 (.f64 b #s(literal -2 binary64)) (+.f64 c (sqrt.f64 (fma.f64 b (.f64 a #s(literal -4 binary64)) (.f64 c c))))) (/.f64 (-.f64 c (sqrt.f64 (fma.f64 b (.f64 a #s(literal -4 binary64)) (.f64 c c)))) (.f64 a #s(literal -2 binary64))))

explain552.0ms (18.2%)

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
121	0	-	2	(1.0295013247810681e-81 -1.8042732683803408e-250 -3.344433728350667e-233)	`(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) a) c)))`
63	1	(-8.599586118966416e-274 3.412301612152021e+301 -4.919915658062713e+250)	0	-	`(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) a) c))))`
60	0	-	0	-	`(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) a) c))))`
11	0	-	0	-	`(/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))))`
9	0	-	2	(3.5640187398303743e-57 1.0922594045388856e+156 2.1233726242374776e-106)	`(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a))`
5	0	-	0	-	`(-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) a) c))`
0	0	-	0	-	`b`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`(.f64 (.f64 #s(literal 4 binary64) a) c)`
0	0	-	0	-	`#s(literal 0 binary64)`
0	0	-	0	-	`#s(literal 4 binary64)`
0	0	-	0	-	`(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))`
0	0	-	0	-	`(>=.f64 b #s(literal 0 binary64))`
0	0	-	0	-	`(*.f64 #s(literal 4 binary64) a)`
0	0	-	0	-	`(neg.f64 b)`
0	0	-	0	-	`c`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) a)`
0	0	-	0	-	`(*.f64 b b)`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) c)`
0	0	-	0	-	`a`

Results

189.0ms	136×	2048	valid
158.0ms	84×	1024	valid
59.0ms	68×	4096	valid
43.0ms	202×	256	valid
7.0ms	22×	512	valid

Compiler

Compiled 339 to 62 computations (81.7% saved)

Precisions

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

ival-mult: 149.0ms (42.7% of total)

ival-sub: 137.0ms (39.2% of total)

ival-div: 20.0ms (5.7% of total)

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

ival-if: 8.0ms (2.3% of total)

ival->=: 7.0ms (2% of total)

ival-neg: 7.0ms (2% of total)

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

const: 3.0ms (0.9% of total)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	70.4%	(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) c)))) (.f64 #s(literal 2 binary64) a)))

Status

Accuracy

Program

70.4%

(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)))

Compiler

Compiled 82 to 40 computations (51.2% saved)

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

15×	`*-commutative`
15×	`+-commutative`
13×	`sub-neg`
11×	`neg-sub0`
11×	`neg-mul-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	150
1	45	146
2	69	146
3	89	146
4	104	146
5	117	146
6	122	146
7	125	146
8	126	146

Stop Event

1×

saturated

Calls

Call 1

Inputs

(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)))

Outputs

(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 #s(literal 4 binary64) a) c)))) (*.f64 #s(literal 2 binary64) a)))

(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 #s(literal 4 binary64) a)))))) (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 #s(literal 4 binary64) a))))) (*.f64 #s(literal 2 binary64) a)))

(if (>=.f64 b #s(literal 0 binary64)) (/.f64 (*.f64 #s(literal 2 binary64) c) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 #s(literal 4 binary64) a)))))) (/.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 #s(literal 4 binary64) a)))) b) (*.f64 #s(literal 2 binary64) a)))

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 40 to 20 computations (50% saved)

preprocess23.0ms (0.8%)

Compiler: Compiled 162 to 80 computations (50.6% saved)

jeff quadratic root 2

analyze280.0ms (9.3%)

sample2.0s (67.7%)

preprocess113.0ms (3.7%)

explain552.0ms (18.2%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify9.0ms (0.3%)

soundness0.0ms (0%)

preprocess23.0ms (0.8%)

end0.0ms (0%)

Profiling