Metrics for Optimisation.CirclePacking:place from circle-packing-0.1.0.4, A

analyze21.0ms (1.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
25%	25%	74.9%	0.1%	0%	0%	0%	3
28.6%	25%	62.4%	0.1%	0%	12.5%	0%	4
46.2%	37.5%	43.7%	0.1%	0%	18.7%	0%	5
52.2%	37.5%	34.3%	0.1%	0%	28.1%	0%	6
65.1%	43.7%	23.4%	0.1%	0%	32.8%	0%	7
70.9%	43.7%	18%	0.1%	0%	38.2%	0%	8
79.5%	46.8%	12.1%	0.1%	0%	41%	0%	9
83.6%	46.8%	9.2%	0.1%	0%	43.9%	0%	10
88.7%	48.4%	6.1%	0.1%	0%	45.4%	0%	11
91.3%	48.4%	4.6%	0.1%	0%	46.9%	0%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)

Precisions

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

ival-sqrt: 3.0ms (55.3% of total)

ival-add: 2.0ms (36.9% of total)

const: 0.0ms (0% of total)

sample743.0ms (56.9%)

Results

442.0ms	8256×	0	valid
18.0ms	511×	0	invalid

Precisions

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

ival-add: 133.0ms (59.6% of total)

ival-sqrt: 79.0ms (35.4% of total)

const: 8.0ms (3.6% of total)

backward-pass: 3.0ms (1.3% of total)

Bogosity

preprocess49.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

60×	`fma-neg`
22×	`fma-define`
20×	`sub-neg`
18×	`associate--r+`
12×	`neg-mul-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	135
1	33	127
2	51	127
3	75	127
4	150	127
5	202	127
6	271	127
7	299	127
8	305	127
9	306	127

Stop Event

1×

saturated

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 x y))
(sqrt.f64 (+.f64 x y))
(sqrt.f64 (+.f64 (neg.f64 x) y))
(sqrt.f64 (+.f64 x (neg.f64 y)))
(neg.f64 (sqrt.f64 (+.f64 (neg.f64 x) y)))
(neg.f64 (sqrt.f64 (+.f64 x (neg.f64 y))))
(sqrt.f64 (+.f64 y x))

Outputs
(sqrt.f64 (+.f64 x y))
(sqrt.f64 (+.f64 x y))
(sqrt.f64 (+.f64 (neg.f64 x) y))
(sqrt.f64 (+.f64 y (neg.f64 x)))
(sqrt.f64 (-.f64 y x))
(sqrt.f64 (+.f64 x (neg.f64 y)))
(sqrt.f64 (-.f64 x y))
(neg.f64 (sqrt.f64 (+.f64 (neg.f64 x) y)))
(neg.f64 (sqrt.f64 (+.f64 y (neg.f64 x))))
(neg.f64 (sqrt.f64 (-.f64 y x)))
(neg.f64 (sqrt.f64 (+.f64 x (neg.f64 y))))
(neg.f64 (sqrt.f64 (-.f64 x y)))
(sqrt.f64 (+.f64 y x))
(sqrt.f64 (+.f64 x y))

Symmetry

(sort x y)

explain40.0ms (3.1%)

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`x`
-	-	`(+.f64 x y)`
-	-	`(sqrt.f64 (+.f64 x y))`
-	-	`y`

Results

24.0ms

512×

256

valid

Compiler

Compiled 30 to 14 computations (53.3% saved)

Precisions

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

ival-sqrt: 4.0ms (49.3% of total)

ival-add: 3.0ms (36.9% of total)

const: 0.0ms (0% of total)

eval0.0ms (0%)

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

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(sqrt.f64 (+.f64 x y))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize21.0ms (1.6%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(sqrt.f64 (+.f64 x y))

Results

16.0ms

256×

256

valid

Compiler

Compiled 12 to 5 computations (58.3% saved)

Precisions

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

ival-add: 2.0ms (50.2% of total)

ival-sqrt: 2.0ms (50.2% of total)

const: 0.0ms (0% of total)

series9.0ms (0.7%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (sqrt.f64 (+.f64 x y))>

Outputs
#<alt (sqrt.f64 y)>
#<alt (+.f64 (sqrt.f64 y) (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))))>
#<alt (+.f64 (sqrt.f64 y) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))))))>
#<alt (+.f64 (sqrt.f64 y) (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (.f64 #s(literal 1/16 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))))))))>
#<alt (sqrt.f64 x)>
#<alt (.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 #s(literal 1/2 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y))))>
#<alt (.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64)))) (.f64 #s(literal 1/2 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)))))>
#<alt (.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64)))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (pow.f64 y #s(literal 3 binary64)))) (.f64 #s(literal 1/2 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y))))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 (sqrt.f64 x) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))))>
#<alt (sqrt.f64 x)>
#<alt (+.f64 (sqrt.f64 x) (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))>
#<alt (+.f64 (sqrt.f64 x) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))))>
#<alt (+.f64 (sqrt.f64 x) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) y)))))))>
#<alt (sqrt.f64 y)>
#<alt (.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))))))>
#<alt (.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))))))>
#<alt (.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (pow.f64 x #s(literal 3 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))))) (.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))))))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 (sqrt.f64 y) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))))>

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	(sqrt (+ x y))
1.0ms	y	@	-inf	(sqrt (+ x y))
1.0ms	x	@	inf	(sqrt (+ x y))
1.0ms	y	@	inf	(sqrt (+ x y))
1.0ms	y	@	0	(sqrt (+ x y))

rewrite187.0ms (14.3%)

Algorithm

1×	batch-egg-rewrite

Rules

455×	`prod-diff`
450×	`log1p-expm1-u`
450×	`expm1-log1p-u`
426×	`add-exp-log`
386×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	96	17
2	1235	17

Stop Event

1×	node limit

Counts

1 → 46

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 x y))

Outputs
(+.f64 #s(literal 0 binary64) (sqrt.f64 (+.f64 x y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))))
(-.f64 (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x y))) #s(literal 1 binary64))
(*.f64 (sqrt.f64 (+.f64 x y)) #s(literal 1 binary64))
(*.f64 (sqrt.f64 (+.f64 x y)) (log.f64 (E.f64)))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x y)))
(*.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)) (cbrt.f64 (+.f64 x y)))
(*.f64 (cbrt.f64 (+.f64 x y)) (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x y) #s(literal 1/4 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) #s(literal 2 binary64))) (pow.f64 (pow.f64 (+.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/3 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64))) (pow.f64 (pow.f64 (+.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) #s(literal 1/2 binary64)))
(*.f64 (hypot.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3/2 binary64))) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (-.f64 y x) (pow.f64 x #s(literal 2 binary64)))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) (sqrt.f64 (+.f64 x y)))
(*.f64 (pow.f64 (pow.f64 (+.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64))))
(*.f64 (pow.f64 (pow.f64 (+.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) #s(literal 4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (+.f64 x y) #s(literal 5/4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (sqrt.f64 (-.f64 x y)))
(/.f64 (hypot.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3/2 binary64))) (hypot.f64 x (sqrt.f64 (*.f64 y (-.f64 y x)))))
(pow.f64 (+.f64 x y) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (+.f64 x y)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(pow.f64 (cbrt.f64 (+.f64 x y)) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 3/2 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 3 binary64)) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (E.f64) (log.f64 (sqrt.f64 (+.f64 x y))))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (+.f64 x y)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 x y)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 x y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 x y))))) (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 x y)))))
(fabs.f64 (sqrt.f64 (+.f64 x y)))
(log.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))
(cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 3/2 binary64)))
(expm1.f64 (log1p.f64 (sqrt.f64 (+.f64 x y))))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 y))
(hypot.f64 (sqrt.f64 y) (sqrt.f64 x))
(log1p.f64 (expm1.f64 (sqrt.f64 (+.f64 x y))))
(exp.f64 (log.f64 (sqrt.f64 (+.f64 x y))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3/2 binary64) (log.f64 (+.f64 x y))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 (+.f64 x y))) #s(literal 2 binary64)))

simplify101.0ms (7.8%)

Algorithm

1×	egg-herbie

Rules

962×	`fma-define`
552×	`associate-r`
513×	`associate-l`
463×	`distribute-lft-neg-in`
449×	`distribute-rgt-neg-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	271	3464
1	646	3332
2	1893	3194
3	5954	3174

Stop Event

1×	node limit

Counts

70 → 145

Calls

Call 1

Inputs
(sqrt.f64 y)
(+.f64 (sqrt.f64 y) (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))))
(+.f64 (sqrt.f64 y) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))))))
(+.f64 (sqrt.f64 y) (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (.f64 #s(literal 1/16 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))))))))
(sqrt.f64 x)
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 #s(literal 1/2 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64)))) (.f64 #s(literal 1/2 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64)))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (pow.f64 y #s(literal 3 binary64)))) (.f64 #s(literal 1/2 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y))))))
(.f64 #s(literal -1 binary64) (.f64 (sqrt.f64 x) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))
(.f64 #s(literal -1 binary64) (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))
(.f64 #s(literal -1 binary64) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))))
(.f64 #s(literal -1 binary64) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))))
(sqrt.f64 x)
(+.f64 (sqrt.f64 x) (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))
(+.f64 (sqrt.f64 x) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))))
(+.f64 (sqrt.f64 x) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) y)))))))
(sqrt.f64 y)
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (pow.f64 x #s(literal 3 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))))) (.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))))))))
(.f64 #s(literal -1 binary64) (.f64 (sqrt.f64 y) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))))
(+.f64 #s(literal 0 binary64) (sqrt.f64 (+.f64 x y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))))
(-.f64 (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x y))) #s(literal 1 binary64))
(*.f64 (sqrt.f64 (+.f64 x y)) #s(literal 1 binary64))
(*.f64 (sqrt.f64 (+.f64 x y)) (log.f64 (E.f64)))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x y)))
(*.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)) (cbrt.f64 (+.f64 x y)))
(*.f64 (cbrt.f64 (+.f64 x y)) (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x y) #s(literal 1/4 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) #s(literal 2 binary64))) (pow.f64 (pow.f64 (+.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/3 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64))) (pow.f64 (pow.f64 (+.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) #s(literal 1/2 binary64)))
(*.f64 (hypot.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3/2 binary64))) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (-.f64 y x) (pow.f64 x #s(literal 2 binary64)))) #s(literal 1/2 binary64)))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) (sqrt.f64 (+.f64 x y)))
(*.f64 (pow.f64 (pow.f64 (+.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64))))
(*.f64 (pow.f64 (pow.f64 (+.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) #s(literal 4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (+.f64 x y) #s(literal 5/4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (sqrt.f64 (-.f64 x y)))
(/.f64 (hypot.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3/2 binary64))) (hypot.f64 x (sqrt.f64 (*.f64 y (-.f64 y x)))))
(pow.f64 (+.f64 x y) #s(literal 1/2 binary64))
(pow.f64 (sqrt.f64 (+.f64 x y)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(pow.f64 (cbrt.f64 (+.f64 x y)) #s(literal 3/2 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 3/2 binary64)) #s(literal 1/3 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 3 binary64)) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (E.f64) (log.f64 (sqrt.f64 (+.f64 x y))))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (+.f64 x y)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 x y)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 x y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 x y))))) (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 x y)))))
(fabs.f64 (sqrt.f64 (+.f64 x y)))
(log.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))
(cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 3/2 binary64)))
(expm1.f64 (log1p.f64 (sqrt.f64 (+.f64 x y))))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 y))
(hypot.f64 (sqrt.f64 y) (sqrt.f64 x))
(log1p.f64 (expm1.f64 (sqrt.f64 (+.f64 x y))))
(exp.f64 (log.f64 (sqrt.f64 (+.f64 x y))))
(exp.f64 (*.f64 (log.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 3/2 binary64) (log.f64 (+.f64 x y))) #s(literal 1/3 binary64)))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 (+.f64 x y))) #s(literal 2 binary64)))

Outputs
(sqrt.f64 y)
(+.f64 (sqrt.f64 y) (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))))
(fma.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) y))) (sqrt.f64 y))
(+.f64 (sqrt.f64 y) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))))))
(+.f64 (sqrt.f64 y) (.f64 x (fma.f64 #s(literal -1/8 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))))))
(fma.f64 x (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))) (.f64 x #s(literal -1/8 binary64)))) (sqrt.f64 y))
(fma.f64 x (fma.f64 x (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))) (sqrt.f64 y))
(+.f64 (sqrt.f64 y) (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (.f64 #s(literal 1/16 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))))))))
(+.f64 (sqrt.f64 y) (.f64 x (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (.f64 x (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))) (.f64 #s(literal 1/16 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))))))))
(fma.f64 x (fma.f64 x (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (.f64 x #s(literal 1/16 binary64)))) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))) (sqrt.f64 y))
(fma.f64 x (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (.f64 x (fma.f64 x (.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64))))) (*.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))))) (sqrt.f64 y))
(fma.f64 x (fma.f64 x (fma.f64 x (.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64))))) (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))) (sqrt.f64 y))
(sqrt.f64 x)
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 #s(literal 1/2 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 #s(literal 1/2 binary64) (*.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))))
(.f64 x (fma.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(.f64 x (fma.f64 y (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64)))) (.f64 #s(literal 1/2 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64))) (.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))))))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (.f64 (pow.f64 y #s(literal 2 binary64)) #s(literal -1/8 binary64))))))
(.f64 x (fma.f64 y (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (fma.f64 #s(literal -1/8 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(.f64 x (fma.f64 y (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (*.f64 #s(literal -1/8 binary64) (pow.f64 y #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64)))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (pow.f64 y #s(literal 3 binary64)))) (.f64 #s(literal 1/2 binary64) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y))))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64))) (fma.f64 #s(literal 1/16 binary64) (.f64 (pow.f64 y #s(literal 3 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64))))) (.f64 #s(literal 1/2 binary64) (*.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64))) (fma.f64 #s(literal 1/16 binary64) (.f64 (pow.f64 y #s(literal 3 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64))))) (.f64 y (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))))))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 y (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 (pow.f64 y #s(literal 2 binary64)) (+.f64 (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64))))) (.f64 y (.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))))))))))
(.f64 x (+.f64 (fma.f64 y (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (.f64 (pow.f64 y #s(literal 2 binary64)) (+.f64 (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64))))) (.f64 y (.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64))))))))))
(.f64 #s(literal -1 binary64) (.f64 (sqrt.f64 x) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))
(sqrt.f64 x)
(.f64 #s(literal -1 binary64) (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))
(neg.f64 (.f64 x (fma.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))
(.f64 x (neg.f64 (fma.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64)))))
(.f64 x (neg.f64 (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (.f64 y #s(literal 1/2 binary64)) (neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))))
(.f64 x (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 y (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) #s(literal -1/2 binary64)))))
(.f64 #s(literal -1 binary64) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))))
(neg.f64 (.f64 x (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))) (fma.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))))
(.f64 (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) #s(literal -1 binary64))) (fma.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64)))) (neg.f64 x))
(.f64 (fma.f64 y (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64))) #s(literal 1/8 binary64)))) (neg.f64 x))
(.f64 x (-.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 y (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64))) #s(literal 1/8 binary64)))))
(.f64 #s(literal -1 binary64) (.f64 x (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))))
(neg.f64 (.f64 x (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))) (fma.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64)))) (fma.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))))
(.f64 x (neg.f64 (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (/.f64 (pow.f64 y #s(literal 2 binary64)) #s(literal -1 binary64))) (fma.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64)))) (fma.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64)))))))
(.f64 x (neg.f64 (fma.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64)))) (fma.f64 y (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) #s(literal -1 binary64) (.f64 (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64))) #s(literal 1/8 binary64)))))))
(.f64 x (+.f64 (-.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 y (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) (pow.f64 y #s(literal 2 binary64))) #s(literal 1/8 binary64)))) (.f64 (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 7 binary64)))) (/.f64 (pow.f64 y #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64)))) #s(literal -1/16 binary64))))
(sqrt.f64 x)
(+.f64 (sqrt.f64 x) (.f64 #s(literal 1/2 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) y)))
(+.f64 (sqrt.f64 x) (.f64 #s(literal 1/2 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))))
(fma.f64 (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) y (sqrt.f64 x))
(fma.f64 y (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (sqrt.f64 x))
(+.f64 (sqrt.f64 x) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) y)) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))))
(+.f64 (sqrt.f64 x) (.f64 y (fma.f64 #s(literal -1/8 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))))))
(fma.f64 y (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (.f64 #s(literal -1/8 binary64) y))) (sqrt.f64 x))
(fma.f64 y (fma.f64 y (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (sqrt.f64 x))
(+.f64 (sqrt.f64 x) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x))) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64))))) (.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))) y)))))))
(+.f64 (sqrt.f64 x) (.f64 y (fma.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (.f64 y (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (.f64 #s(literal 1/16 binary64) (.f64 y (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64)))))))))))
(fma.f64 y (fma.f64 y (fma.f64 #s(literal -1/8 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 3 binary64)))) (.f64 y (.f64 #s(literal 1/16 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 5 binary64))))))) (*.f64 #s(literal 1/2 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))) (sqrt.f64 x))
(sqrt.f64 y)
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (.f64 (*.f64 #s(literal 1/2 binary64) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))))
(.f64 y (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 y (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))) (.f64 #s(literal 1/2 binary64) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (pow.f64 x #s(literal 2 binary64))) (.f64 (.f64 #s(literal 1/2 binary64) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (fma.f64 (.f64 #s(literal -1/8 binary64) (pow.f64 x #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))) (.f64 #s(literal 1/2 binary64) x)))))
(.f64 y (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))) (.f64 #s(literal 1/2 binary64) x) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (*.f64 #s(literal -1/8 binary64) (pow.f64 x #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (pow.f64 x #s(literal 2 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (pow.f64 x #s(literal 3 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))))) (.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))))))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (pow.f64 x #s(literal 2 binary64))) (fma.f64 #s(literal 1/16 binary64) (.f64 (pow.f64 x #s(literal 3 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64))))) (.f64 (*.f64 #s(literal 1/2 binary64) x) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))))))
(.f64 y (+.f64 (fma.f64 (.f64 #s(literal -1/8 binary64) (pow.f64 x #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))) (.f64 #s(literal 1/16 binary64) (pow.f64 x #s(literal 3 binary64))))) (fma.f64 #s(literal 1/2 binary64) (*.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (pow.f64 x #s(literal 2 binary64))) (.f64 #s(literal 1/16 binary64) (*.f64 (pow.f64 x #s(literal 3 binary64)) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64))))))))))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))) (.f64 #s(literal 1/2 binary64) x) (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (pow.f64 x #s(literal 2 binary64))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))) (*.f64 #s(literal 1/16 binary64) (pow.f64 x #s(literal 3 binary64))))))))
(.f64 #s(literal -1 binary64) (.f64 (sqrt.f64 y) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))
(sqrt.f64 y)
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))
(neg.f64 (.f64 y (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))
(.f64 (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal -1 binary64))) (neg.f64 y))
(.f64 (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))) (neg.f64 y))
(.f64 y (+.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))) (*.f64 x #s(literal -1/2 binary64)))))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))))
(neg.f64 (.f64 y (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))) (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))))))
(.f64 (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (/.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal -1 binary64))) (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal -1 binary64)))) (neg.f64 y))
(.f64 y (neg.f64 (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (*.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal 1/8 binary64)) (neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))))))
(.f64 y (-.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal 1/8 binary64))))))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1/8 binary64) (.f64 (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))))) (+.f64 (.f64 #s(literal 1/16 binary64) (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))))) (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))))
(neg.f64 (.f64 y (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (/.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)))) (fma.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64)))) (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64))))))))
(.f64 (fma.f64 #s(literal -1/8 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (/.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal -1 binary64))) (fma.f64 #s(literal 1/16 binary64) (.f64 (pow.f64 x #s(literal 3 binary64)) (/.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64)))) (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)) #s(literal -1 binary64))))) (neg.f64 y))
(.f64 (fma.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64)))) (fma.f64 #s(literal 1/2 binary64) (.f64 x (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64))))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal 1/8 binary64)) (neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))))) (neg.f64 y))
(.f64 (fma.f64 #s(literal 1/16 binary64) (.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 7 binary64)))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 4 binary64)))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 3 binary64)))) (.f64 #s(literal 1/2 binary64) x) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) (pow.f64 y #s(literal 5 binary64)))) (.f64 (pow.f64 x #s(literal 2 binary64)) #s(literal 1/8 binary64)) (neg.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) y)))))) (neg.f64 y))
(+.f64 #s(literal 0 binary64) (sqrt.f64 (+.f64 x y)))
(sqrt.f64 (+.f64 y x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (+.f64 y x)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (sqrt.f64 (+.f64 y x))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (sqrt.f64 (+.f64 y x))))))
(-.f64 (+.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x y))) #s(literal 1 binary64))
(sqrt.f64 (+.f64 y x))
(*.f64 (sqrt.f64 (+.f64 x y)) #s(literal 1 binary64))
(sqrt.f64 (+.f64 y x))
(*.f64 (sqrt.f64 (+.f64 x y)) (log.f64 (E.f64)))
(sqrt.f64 (+.f64 y x))
(*.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 x y)))
(sqrt.f64 (+.f64 y x))
(*.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)) (cbrt.f64 (+.f64 x y)))
(*.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) (cbrt.f64 (+.f64 y x)))
(pow.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(*.f64 (cbrt.f64 (+.f64 x y)) (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) (cbrt.f64 (+.f64 y x)))
(pow.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(*.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64)) (pow.f64 (+.f64 x y) #s(literal 1/4 binary64)))
(sqrt.f64 (+.f64 y x))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) #s(literal 2 binary64))) (pow.f64 (pow.f64 (+.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/3 binary64)))
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 y x)) #s(literal 2 binary64))) (cbrt.f64 (pow.f64 (+.f64 y x) #s(literal 5/6 binary64))))
(*.f64 (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64))) (pow.f64 (pow.f64 (+.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (pow.f64 (+.f64 y x) #s(literal 1/4 binary64))) (sqrt.f64 (pow.f64 (+.f64 y x) #s(literal 3/4 binary64))))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y)) #s(literal 1/2 binary64)))
(*.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (-.f64 x y))))
(*.f64 (hypot.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3/2 binary64))) (pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (-.f64 y x) (pow.f64 x #s(literal 2 binary64)))) #s(literal 1/2 binary64)))
(*.f64 (hypot.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3/2 binary64))) (sqrt.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (-.f64 y x) (pow.f64 x #s(literal 2 binary64))))))
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) (sqrt.f64 (+.f64 x y)))
(sqrt.f64 (+.f64 y x))
(*.f64 (pow.f64 (pow.f64 (+.f64 x y) #s(literal 3/4 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64))))
(*.f64 (sqrt.f64 (pow.f64 (+.f64 y x) #s(literal 1/4 binary64))) (sqrt.f64 (pow.f64 (+.f64 y x) #s(literal 3/4 binary64))))
(*.f64 (pow.f64 (pow.f64 (+.f64 x y) #s(literal 5/6 binary64)) #s(literal 1/2 binary64)) (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (sqrt.f64 (pow.f64 (+.f64 y x) #s(literal 5/6 binary64))) (sqrt.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 2 binary64)) #s(literal 3 binary64)) (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)))
(*.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) (cbrt.f64 (+.f64 y x)))
(pow.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) (cbrt.f64 (+.f64 y x)))
(pow.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x y)) #s(literal 4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))))
(*.f64 (cbrt.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64))) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 y x)) #s(literal 4 binary64))))
(*.f64 (pow.f64 (pow.f64 (+.f64 x y) #s(literal 5/4 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64))))
(*.f64 (cbrt.f64 (pow.f64 (+.f64 y x) #s(literal 5/4 binary64))) (cbrt.f64 (pow.f64 (+.f64 y x) #s(literal 1/4 binary64))))
(/.f64 (sqrt.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 y #s(literal 2 binary64)))) (sqrt.f64 (-.f64 x y)))
(/.f64 (hypot.f64 (pow.f64 x #s(literal 3/2 binary64)) (pow.f64 y #s(literal 3/2 binary64))) (hypot.f64 x (sqrt.f64 (*.f64 y (-.f64 y x)))))
(pow.f64 (+.f64 x y) #s(literal 1/2 binary64))
(sqrt.f64 (+.f64 y x))
(pow.f64 (sqrt.f64 (+.f64 x y)) #s(literal 1 binary64))
(sqrt.f64 (+.f64 y x))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(*.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) (cbrt.f64 (+.f64 y x)))
(pow.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(pow.f64 (cbrt.f64 (+.f64 x y)) #s(literal 3/2 binary64))
(sqrt.f64 (+.f64 y x))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 3/2 binary64)) #s(literal 1/3 binary64))
(sqrt.f64 (+.f64 y x))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 2 binary64)) #s(literal 1/4 binary64))
(sqrt.f64 (+.f64 y x))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 3 binary64)) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (+.f64 y x) #s(literal 3 binary64)) #s(literal 1/6 binary64))
(pow.f64 (pow.f64 (+.f64 x y) #s(literal 1/4 binary64)) #s(literal 2 binary64))
(sqrt.f64 (+.f64 y x))
(pow.f64 (E.f64) (log.f64 (sqrt.f64 (+.f64 x y))))
(pow.f64 (E.f64) (log.f64 (sqrt.f64 (+.f64 y x))))
(pow.f64 (exp.f64 #s(literal 1/2 binary64)) (log.f64 (+.f64 x y)))
(sqrt.f64 (+.f64 y x))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 x y)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 x y)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 y x)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (sqrt.f64 (+.f64 y x)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 x y))))) (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 x y)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 y x))))) (sqrt.f64 (log.f64 (sqrt.f64 (+.f64 y x)))))
(fabs.f64 (sqrt.f64 (+.f64 x y)))
(sqrt.f64 (+.f64 y x))
(log.f64 (exp.f64 (sqrt.f64 (+.f64 x y))))
(sqrt.f64 (+.f64 y x))
(cbrt.f64 (pow.f64 (+.f64 x y) #s(literal 3/2 binary64)))
(sqrt.f64 (+.f64 y x))
(expm1.f64 (log1p.f64 (sqrt.f64 (+.f64 x y))))
(sqrt.f64 (+.f64 y x))
(hypot.f64 (sqrt.f64 x) (sqrt.f64 y))
(sqrt.f64 (+.f64 y x))
(hypot.f64 (sqrt.f64 y) (sqrt.f64 x))
(sqrt.f64 (+.f64 y x))
(log1p.f64 (expm1.f64 (sqrt.f64 (+.f64 x y))))
(sqrt.f64 (+.f64 y x))
(exp.f64 (log.f64 (sqrt.f64 (+.f64 x y))))
(sqrt.f64 (+.f64 y x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (+.f64 x y) #s(literal 1/6 binary64))) #s(literal 3 binary64)))
(*.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) (cbrt.f64 (+.f64 y x)))
(pow.f64 (pow.f64 (+.f64 y x) #s(literal 1/6 binary64)) #s(literal 3 binary64))
(exp.f64 (.f64 (.f64 #s(literal 3/2 binary64) (log.f64 (+.f64 x y))) #s(literal 1/3 binary64)))
(sqrt.f64 (+.f64 y x))
(exp.f64 (.f64 (.f64 #s(literal 1/4 binary64) (log.f64 (+.f64 x y))) #s(literal 2 binary64)))
(sqrt.f64 (+.f64 y x))

eval61.0ms (4.7%)

Compiler: Compiled 3021 to 2192 computations (27.4% saved)

prune21.0ms (1.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	144	1	145
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	144	2	146

Accuracy

100.0%

Counts

146 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(sqrt.f64 (+.f64 x y))
▶	97.5%	(sqrt.f64 y)

Compiler

Compiled 10 to 7 computations (30% saved)

localize15.0ms (1.2%)

Results

12.0ms

256×

256

valid

Compiler

Compiled 6 to 4 computations (33.3% saved)

Precisions

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

ival-sqrt: 5.0ms (89.2% of total)

const: 0.0ms (0% of total)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	1	1
Total	2	2

Accuracy

100.0%

Counts

2 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(sqrt.f64 (+.f64 x y))
✓	97.5%	(sqrt.f64 y)

Compiler

Compiled 18 to 12 computations (33.3% saved)

regimes6.0ms (0.4%)

Counts

2 → 1

Calls

Call 1

Inputs
(sqrt.f64 y)
(sqrt.f64 (+.f64 x y))

Outputs
(sqrt.f64 (+.f64 x y))

Calls

4 calls:

1.0ms	(+.f64 x y)
1.0ms	(sqrt.f64 (+.f64 x y))
1.0ms	x
1.0ms	y

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(sqrt.f64 (+.f64 x y))`
100.0%	1	`(+.f64 x y)`

Compiler

Compiled 17 to 11 computations (35.3% saved)

regimes1.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(sqrt.f64 y)

Outputs
(sqrt.f64 y)

Calls

2 calls:

0.0ms	x
0.0ms	y

Results

Accuracy	Segments	Branch
97.5%	1	`x`
97.5%	1	`y`

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	12	25

Stop Event

1×

saturated

Calls

Call 1

Inputs
(sqrt.f64 (+.f64 x y))
(sqrt.f64 y)

Outputs
(sqrt.f64 (+.f64 x y))
(sqrt.f64 y)

soundness0.0ms (0%)

Stop Event

1×

done

Compiler

Compiled 8 to 5 computations (37.5% saved)

preprocess27.0ms (2.1%)

Remove: (sort x y)
Compiler: Compiled 64 to 42 computations (34.4% saved)

Optimisation.CirclePacking:place from circle-packing-0.1.0.4, A

analyze21.0ms (1.6%)

sample743.0ms (56.9%)

preprocess49.0ms (3.7%)

explain40.0ms (3.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize21.0ms (1.6%)

series9.0ms (0.7%)

rewrite187.0ms (14.3%)

simplify101.0ms (7.8%)

eval61.0ms (4.7%)

prune21.0ms (1.6%)

localize15.0ms (1.2%)

eval0.0ms (0%)

prune1.0ms (0.1%)

regimes6.0ms (0.4%)

regimes1.0ms (0.1%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

preprocess27.0ms (2.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	20	135
1	33	127
2	51	127
3	75	127
4	150	127
5	202	127
6	271	127
7	299	127
8	305	127
9	306	127

Iter	Nodes	Cost
0	20	135
1	33	127
2	51	127
3	75	127
4	150	127
5	202	127
6	271	127
7	299	127
8	305	127
9	306	127

Iter	Nodes	Cost
0	20	135
1	33	127
2	51	127
3	75	127
4	150	127
5	202	127
6	271	127
7	299	127
8	305	127
9	306	127