Metrics for The quadratic formula (r2)

analyze446.0ms (12.6%)

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
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	5
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	6
40%	37.4%	56.2%	0.1%	0%	6.2%	0%	7
48.3%	45.2%	48.4%	0.1%	0%	6.2%	0%	8
53%	48.4%	42.9%	0.1%	0%	8.6%	0%	9
58.1%	50.3%	36.3%	0.1%	0%	13.3%	0%	10
66.1%	56.8%	29.1%	0.1%	0%	14%	0%	11
70.4%	58.8%	24.7%	0.1%	0%	16.4%	0%	12

Compiler

Compiled 21 to 15 computations (28.6% saved)

Precisions

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

ival-sub: 151.0ms (67.7% of total)

ival-mult: 40.0ms (17.9% of total)

ival-sqrt: 11.0ms (4.9% of total)

ival-div: 9.0ms (4% of total)

ival-neg: 9.0ms (4% of total)

const: 2.0ms (0.9% of total)

backward-pass: 0.0ms (0% of total)

sample2.5s (69.3%)

Results

754.0ms	5468×	0	valid
684.0ms	1926×	2	valid
355.0ms	984×	0	invalid
236.0ms	862×	1	valid

Precisions

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

ival-mult: 483.0ms (39.8% of total)

ival-neg: 191.0ms (15.7% of total)

ival-sub: 189.0ms (15.6% of total)

ival-div: 132.0ms (10.9% of total)

ival-sqrt: 120.0ms (9.9% of total)

backward-pass: 81.0ms (6.7% of total)

const: 18.0ms (1.5% of total)

Bogosity

preprocess326.0ms (9.2%)

Algorithm

1×	egg-herbie

Rules

1892×	`fmm-def`
379×	`fma-define`
366×	`sub-neg`
364×	`div-sub`
282×	`associate-/r*`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	67	779
1	216	723
2	635	691
3	2137	671
4	5143	671
5	6383	671
6	6739	671
7	6871	671
8	6910	671
9	7064	671

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 a c))))) (.f64 #s(literal 2 binary64) a))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 a c))))) (.f64 #s(literal 2 binary64) a))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 a) c))))) (.f64 #s(literal 2 binary64) (neg.f64 a)))
(/.f64 (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 #s(literal 4 binary64) (.f64 a c))))) (.f64 #s(literal 2 binary64) a))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 a (neg.f64 c)))))) (.f64 #s(literal 2 binary64) a))
(neg.f64 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 a) c))))) (.f64 #s(literal 2 binary64) (neg.f64 a))))
(neg.f64 (/.f64 (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 #s(literal 4 binary64) (.f64 a c))))) (.f64 #s(literal 2 binary64) a)))
(neg.f64 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 a (neg.f64 c)))))) (.f64 #s(literal 2 binary64) a)))
(/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 #s(literal 4 binary64) (.f64 b c))))) (.f64 #s(literal 2 binary64) b))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 c a))))) (.f64 #s(literal 2 binary64) c))
(/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 #s(literal 4 binary64) (.f64 a b))))) (.f64 #s(literal 2 binary64) a))

Outputs
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 a c))))) (.f64 #s(literal 2 binary64) a))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal -4 binary64) a))))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b)))) (*.f64 a #s(literal -2 binary64)))
(.f64 (/.f64 #s(literal -1/2 binary64) a) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b)))))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 a c))))) (.f64 #s(literal 2 binary64) a))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal -4 binary64) a))))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b)))) (*.f64 a #s(literal -2 binary64)))
(.f64 (/.f64 #s(literal -1/2 binary64) a) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b)))))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 a) c))))) (.f64 #s(literal 2 binary64) (neg.f64 a)))
(/.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) (neg.f64 a)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 #s(literal 4 binary64) c))))) (.f64 a #s(literal -2 binary64)))
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 #s(literal 4 binary64) c))))) (*.f64 a #s(literal 2 binary64)))
(.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 #s(literal 4 binary64) c))))) (/.f64 #s(literal 1/2 binary64) a))
(/.f64 (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 #s(literal 4 binary64) (.f64 a c))))) (.f64 #s(literal 2 binary64) a))
(/.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a)))) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal -4 binary64) a))))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b))) b) (*.f64 a #s(literal -2 binary64)))
(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b))) b) (/.f64 #s(literal -1/2 binary64) a))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 a (neg.f64 c)))))) (.f64 #s(literal 2 binary64) a))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 #s(literal 4 binary64) c))))) (.f64 a #s(literal 2 binary64)))
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 #s(literal 4 binary64) c))))) (*.f64 a #s(literal -2 binary64)))
(.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 #s(literal 4 binary64) c))))) (/.f64 #s(literal -1/2 binary64) a))
(neg.f64 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 a) c))))) (.f64 #s(literal 2 binary64) (neg.f64 a))))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) a) (neg.f64 c))))) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 #s(literal 4 binary64) c))))) (.f64 a #s(literal 2 binary64)))
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 #s(literal 4 binary64) c))))) (*.f64 a #s(literal -2 binary64)))
(.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 #s(literal 4 binary64) c))))) (/.f64 #s(literal -1/2 binary64) a))
(neg.f64 (/.f64 (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 #s(literal 4 binary64) (.f64 a c))))) (.f64 #s(literal 2 binary64) a)))
(/.f64 (-.f64 b (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a)))) (.f64 #s(literal 2 binary64) (neg.f64 a)))
(/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal -4 binary64) a))))) (*.f64 a #s(literal -2 binary64)))
(.f64 #s(literal 1/2 binary64) (/.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b))) b) a))
(.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b))) b) a) #s(literal 1/2 binary64))
(.f64 (-.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b)))) (/.f64 #s(literal -1/2 binary64) a))
(neg.f64 (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 a (neg.f64 c)))))) (.f64 #s(literal 2 binary64) a)))
(/.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) (neg.f64 a)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (+.f64 (.f64 b b) (.f64 a (.f64 #s(literal 4 binary64) c))))) (.f64 a #s(literal -2 binary64)))
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (.f64 #s(literal 4 binary64) c))))) (*.f64 a #s(literal 2 binary64)))
(.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 #s(literal 4 binary64) c))))) (/.f64 #s(literal 1/2 binary64) a))
(/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (.f64 a a) (.f64 #s(literal 4 binary64) (.f64 b c))))) (.f64 #s(literal 2 binary64) b))
(/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (+.f64 (.f64 a a) (.f64 #s(literal -4 binary64) (.f64 b c))))) (.f64 b #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (fma.f64 a a (.f64 (.f64 #s(literal -4 binary64) b) c)))) (*.f64 b #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (fma.f64 a a (.f64 c (.f64 b #s(literal -4 binary64)))))) (*.f64 b #s(literal 2 binary64)))
(/.f64 (/.f64 (+.f64 a (sqrt.f64 (fma.f64 a a (.f64 c (.f64 b #s(literal -4 binary64)))))) #s(literal -2 binary64)) b)
(.f64 (/.f64 #s(literal -1/2 binary64) b) (+.f64 a (sqrt.f64 (fma.f64 a a (.f64 c (*.f64 b #s(literal -4 binary64)))))))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 c a))))) (.f64 #s(literal 2 binary64) c))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a)))) (.f64 c #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 #s(literal -4 binary64) a))))) (*.f64 c #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b)))) (*.f64 c #s(literal 2 binary64)))
(/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b)))) (*.f64 c #s(literal -2 binary64)))
(.f64 (/.f64 #s(literal -1/2 binary64) c) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b)))))
(/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (.f64 c c) (.f64 #s(literal 4 binary64) (.f64 a b))))) (.f64 #s(literal 2 binary64) a))
(/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (+.f64 (.f64 c c) (.f64 #s(literal -4 binary64) (.f64 b a))))) (.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (fma.f64 c c (.f64 (.f64 #s(literal -4 binary64) a) b)))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (fma.f64 c c (.f64 b (.f64 a #s(literal -4 binary64)))))) (*.f64 a #s(literal 2 binary64)))
(/.f64 (/.f64 (+.f64 c (sqrt.f64 (fma.f64 c c (.f64 b (.f64 a #s(literal -4 binary64)))))) #s(literal -2 binary64)) a)
(.f64 (/.f64 #s(literal -1/2 binary64) a) (+.f64 c (sqrt.f64 (fma.f64 c c (.f64 b (*.f64 a #s(literal -4 binary64)))))))

explain168.0ms (4.7%)

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
113	0	-	2	(-2.7541493092410745e-220 9.421369111292815e-235 2.1817553166493334e-99)	`(sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (*.f64 a c))))`
53	1	(2.533759975818639e-15 -2.3565759309543866e+288 5.5597712811250626e-21)	0	-	`(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (*.f64 a c)))))`
17	0	-	1	(2.533759975818639e-15 -2.3565759309543866e+288 5.5597712811250626e-21)	`(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (.f64 a c))))) (.f64 #s(literal 2 binary64) a))`
0	0	-	0	-	`b`
0	0	-	0	-	`(neg.f64 b)`
0	0	-	0	-	`(-.f64 (.f64 b b) (.f64 #s(literal 4 binary64) (*.f64 a c)))`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`c`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) a)`
0	0	-	0	-	`(*.f64 b b)`
0	0	-	0	-	`#s(literal 4 binary64)`
0	0	-	0	-	`(*.f64 a c)`
0	1	(3.4862263682546265e-237 -9.77937906782097e+100 4.665403885640634e-88)	0	-	`(.f64 #s(literal 4 binary64) (.f64 a c))`
0	0	-	0	-	`a`

Results

49.0ms	118×	2	valid
47.0ms	348×	0	valid
17.0ms	46×	1	valid

Compiler

Compiled 168 to 44 computations (73.8% saved)

Precisions

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

ival-mult: 24.0ms (37.9% of total)

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

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

backward-pass: 7.0ms (11.1% of total)

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

ival-neg: 5.0ms (7.9% of total)

const: 1.0ms (1.6% of total)

eval1.0ms (0%)

Compiler: Compiled 82 to 33 computations (59.8% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	52.4%	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a)))) (.f64 a #s(literal 2 binary64)))
▶	52.4%	(.f64 (/.f64 #s(literal -1/2 binary64) a) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b)))))

Status

Accuracy

Program

▶

52.4%

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

▶

52.4%

(*.f64 (/.f64 #s(literal -1/2 binary64) a) (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c #s(literal -4 binary64)) (*.f64 b b)))))

Compiler

Compiled 38 to 26 computations (31.6% saved)

simplify143.0ms (4%)

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

New	Metric	Program
✓	cost-diff	(*.f64 #s(literal 4 binary64) c)
✓	cost-diff	(.f64 (.f64 #s(literal 4 binary64) c) a)
✓	cost-diff	(*.f64 b b)
✓	cost-diff	(neg.f64 b)
✓	cost-diff	(sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b)))
✓	cost-diff	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b))))
✓	cost-diff	(/.f64 #s(literal -1/2 binary64) a)
✓	cost-diff	(.f64 (/.f64 #s(literal -1/2 binary64) a) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b)))))

Rules

752×	`fmm-def`
404×	`fma-define`
219×	`times-frac`
166×	`div-sub`
129×	`distribute-lft-neg-in`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	483
1	65	479
2	159	479
3	320	479
4	538	479
5	984	479
6	2263	479
7	3192	479
8	3406	479
9	3536	479
10	3578	479
11	3594	479
12	3600	479

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (/.f64 #s(literal -1/2 binary64) a) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (*.f64 b b)))))
(/.f64 #s(literal -1/2 binary64) a)
#s(literal -1/2 binary64)
a
(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b))))
b
(sqrt.f64 (fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b)))
(fma.f64 a (.f64 c #s(literal -4 binary64)) (.f64 b b))
(*.f64 c #s(literal -4 binary64))
c
#s(literal -4 binary64)
(*.f64 b b)
(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 #s(literal 4 binary64) c) a)))) (.f64 a #s(literal 2 binary64)))
(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) c) a))))
(neg.f64 b)
b
(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) c) a)))
(-.f64 (.f64 b b) (.f64 (*.f64 #s(literal 4 binary64) c) a))
(*.f64 b b)
(.f64 (.f64 #s(literal 4 binary64) c) a)
(*.f64 #s(literal 4 binary64) c)
#s(literal 4 binary64)
c
a
(*.f64 a #s(literal 2 binary64))
#s(literal 2 binary64)

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

localize1.0ms (0%)

Results

0.0ms

1×

valid

Compiler

Compiled 131 to 23 computations (82.4% saved)

Precisions

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

ival-div: 0.0ms (0% of total)

ival-add: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

const: 0.0ms (0% of total)

ival-sub: 0.0ms (0% of total)

ival-sqrt: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

compiled-spec: 0.0ms (0% of total)

ival-neg: 0.0ms (0% of total)

end0.0ms (0%)

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

analyze446.0ms (12.6%)

sample2.5s (69.3%)

preprocess326.0ms (9.2%)

explain168.0ms (4.7%)

eval1.0ms (0%)

prune2.0ms (0%)

simplify143.0ms (4%)

localize1.0ms (0%)

end0.0ms (0%)

Profiling