Metrics for Numeric.SpecFunctions:incompleteGamma from math-functions-0.1.5.2, B

analyze40.0ms (1.1%)

Memory

-17.4MiB live, 21.7MiB allocated

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
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
66.7%	50%	25%	0.1%	0%	25%	0%	4
66.7%	50%	25%	0.1%	0%	25%	0%	5
80%	50%	12.5%	0.1%	0%	37.5%	0%	6
80%	50%	12.5%	0.1%	0%	37.5%	0%	7
88.9%	50%	6.2%	0.1%	0%	43.7%	0%	8
88.9%	50%	6.2%	0.1%	0%	43.7%	0%	9
94.1%	50%	3.1%	0.1%	0%	46.8%	0%	10
94.1%	50%	3.1%	0.1%	0%	46.8%	0%	11
97%	50%	1.6%	0.1%	0%	48.4%	0%	12

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample1.6s (43.9%)

Memory

28.1MiB live, 1 400.6MiB allocated

Samples

1.2s	8 256×	0	valid
43.0ms	268×	0	invalid

Precisions

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

ival-mult: 503.0ms (49.4% of total)

ival-sqrt: 216.0ms (21.2% of total)

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

ival-div: 107.0ms (10.5% of total)

ival-sub: 38.0ms (3.7% of total)

exact: 12.0ms (1.2% of total)

ival-true: 6.0ms (0.6% of total)

ival-assert: 3.0ms (0.3% of total)

Bogosity

preprocess311.0ms (8.8%)

Memory

-6.1MiB live, 263.3MiB allocated

Algorithm

2×	egg-herbie

Rules

3 216×	`accelerator-lowering-fma.f32`
3 216×	`accelerator-lowering-fma.f64`
1 344×	`-lowering-.f32`
1 344×	`-lowering-.f64`
980×	`distribute-lft-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	92
1	93	76
2	340	74
3	1386	74
4	3856	74
5	6388	74
0	12	14
1	27	12
2	68	12
3	181	12
4	319	12
5	422	12
6	838	12
7	1693	12
8	2614	12
9	3347	12
10	3533	12
11	3563	12
12	3564	12
13	3564	12
14	3766	12
15	4011	12
16	4505	12
17	4505	12
18	4505	12
0	4505	11

Stop Event

1×	iter limit
1×	saturated
1×	node limit

Calls

Call 1

Inputs
(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))

Outputs
(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
(fma.f64 (sqrt.f64 x) (fma.f64 #s(literal 3 binary64) (+.f64 y #s(literal -1 binary64)) (/.f64 #s(literal 1/3 binary64) x)) #s(literal 0 binary64))

Call 2

Inputs
(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
(* (* 3 (sqrt (neg x))) (- (+ y (/ 1 (* (neg x) 9))) 1))
(* (* 3 (sqrt x)) (- (+ (neg y) (/ 1 (* x 9))) 1))
(neg (* (* 3 (sqrt (neg x))) (- (+ y (/ 1 (* (neg x) 9))) 1)))
(neg (* (* 3 (sqrt x)) (- (+ (neg y) (/ 1 (* x 9))) 1)))
(* (* 3 (sqrt y)) (- (+ x (/ 1 (* y 9))) 1))

Outputs
(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
(* (* 3 (sqrt x)) (+ y (+ (/ 1/9 x) -1)))
(* (* 3 (sqrt (neg x))) (- (+ y (/ 1 (* (neg x) 9))) 1))
(* 3 (* (sqrt (neg x)) (+ (+ y (/ -1/9 x)) -1)))
(* (* 3 (sqrt x)) (- (+ (neg y) (/ 1 (* x 9))) 1))
(* (sqrt x) (+ (+ -3 (/ 1/3 x)) (* y -3)))
(neg (* (* 3 (sqrt (neg x))) (- (+ y (/ 1 (* (neg x) 9))) 1)))
(* 3 (* (sqrt (neg x)) (+ 1 (- (/ 1/9 x) y))))
(neg (* (* 3 (sqrt x)) (- (+ (neg y) (/ 1 (* x 9))) 1)))
(* (sqrt x) (+ (+ 3 (/ -1/3 x)) (* 3 y)))
(* (* 3 (sqrt y)) (- (+ x (/ 1 (* y 9))) 1))
(* (sqrt y) (+ -3 (* 3 (+ x (/ 1/9 y)))))

explain133.0ms (3.7%)

Memory

-23.5MiB live, 332.0MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) #s(literal 1 binary64)))`
-	-	`(*.f64 #s(literal 3 binary64) (sqrt.f64 x))`
-	-	`(sqrt.f64 x)`
-	-	`(/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))`
-	-	`#s(literal 3 binary64)`
-	-	`#s(literal 1 binary64)`
-	-	`(-.f64 (+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) #s(literal 1 binary64))`
-	-	`#s(literal 9 binary64)`
-	-	`(+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64))))`
-	-	`(*.f64 x #s(literal 9 binary64))`
-	-	`y`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

46.0ms

512×

valid

Compiler

Compiled 134 to 52 computations (61.2% saved)

Precisions

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

ival-mult: 13.0ms (48.8% of total)

ival-div: 4.0ms (15% of total)

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

ival-sub: 2.0ms (7.5% of total)

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

exact: 1.0ms (3.8% of total)

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

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

eval0.0ms (0%)

Memory: 0.4MiB live, 0.4MiB allocated
Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory

2.1MiB live, 2.1MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.4%	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) #s(literal 1 binary64)))

Compiler

Compiled 16 to 12 computations (25% saved)

simplify253.0ms (7.1%)

Memory

16.4MiB live, 213.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(-.f64 (+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) #s(literal 1 binary64))
✓	cost-diff	0	(sqrt.f64 x)
✓	cost-diff	128	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) #s(literal 1 binary64)))
✓	cost-diff	384	(/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))

Rules

3 216×	`accelerator-lowering-fma.f32`
3 216×	`accelerator-lowering-fma.f64`
1 344×	`-lowering-.f32`
1 344×	`-lowering-.f64`
546×	`cancel-sign-sub-inv`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	49
1	27	41
2	68	41
3	181	41
4	319	41
5	422	41
6	838	41
7	1693	41
8	2614	41
9	3347	41
10	3533	41
11	3563	41
12	3564	41
13	3564	41
14	3766	41
15	4011	41
16	4505	41
17	4505	41
18	4505	41
0	4505	40

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
(* 3 (sqrt x))
3
(sqrt x)
x
(- (+ y (/ 1 (* x 9))) 1)
(+ y (/ 1 (* x 9)))
y
(/ 1 (* x 9))
1
(* x 9)
9

Outputs
(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
(fma.f64 (sqrt.f64 x) (fma.f64 #s(literal 3 binary64) (+.f64 y #s(literal -1 binary64)) (/.f64 #s(literal 1/3 binary64) x)) #s(literal 0 binary64))
(* 3 (sqrt x))
(fma.f64 #s(literal 3 binary64) (sqrt.f64 x) #s(literal 0 binary64))
3
#s(literal 3 binary64)
(sqrt x)
(sqrt.f64 x)
x
(- (+ y (/ 1 (* x 9))) 1)
(+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))
(+ y (/ 1 (* x 9)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
y
(/ 1 (* x 9))
(/.f64 #s(literal 1/9 binary64) x)
1
#s(literal 1 binary64)
(* x 9)
(fma.f64 x #s(literal 9 binary64) #s(literal 0 binary64))
9
#s(literal 9 binary64)

localize37.0ms (1.1%)

Memory

-3.3MiB live, 84.0MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64))))
✓	accuracy	99.7%	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) #s(literal 1 binary64)))
✓	accuracy	99.6%	(/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))
✓	accuracy	99.4%	(*.f64 #s(literal 3 binary64) (sqrt.f64 x))

Samples

20.0ms

256×

valid

Compiler

Compiled 51 to 14 computations (72.5% saved)

Precisions

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

ival-mult: 4.0ms (35.1% of total)

ival-div: 2.0ms (17.5% of total)

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

ival-sub: 1.0ms (8.8% of total)

ival-add: 1.0ms (8.8% of total)

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

exact: 0.0ms (0% of total)

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

series11.0ms (0.3%)

Memory

-14.5MiB live, 22.1MiB allocated

Counts

6 → 108

Calls

Call 1

Inputs
#<alt (/ 1 (* x 9))>
#<alt (* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))>
#<alt (sqrt x)>
#<alt (- (+ y (/ 1 (* x 9))) 1)>
#<alt (* 3 (sqrt x))>
#<alt (+ y (/ 1 (* x 9)))>

Outputs
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (/ 1/9 x)>
#<alt (* 1/3 (sqrt (/ 1 x)))>
#<alt (/ (+ (* 1/3 (sqrt x)) (* 3 (* (sqrt (pow x 3)) (- y 1)))) x)>
#<alt (/ (+ (* 1/3 (sqrt x)) (* 3 (* (sqrt (pow x 3)) (- y 1)))) x)>
#<alt (/ (+ (* 1/3 (sqrt x)) (* 3 (* (sqrt (pow x 3)) (- y 1)))) x)>
#<alt (* 3 (* (sqrt x) (- y 1)))>
#<alt (* x (+ (* 1/3 (sqrt (/ 1 (pow x 3)))) (* 3 (* (sqrt (/ 1 x)) (- y 1)))))>
#<alt (* x (+ (* 1/3 (sqrt (/ 1 (pow x 3)))) (* 3 (* (sqrt (/ 1 x)) (- y 1)))))>
#<alt (* x (+ (* 1/3 (sqrt (/ 1 (pow x 3)))) (* 3 (* (sqrt (/ 1 x)) (- y 1)))))>
#<alt (* -3 (* (sqrt x) (* (pow (sqrt -1) 2) (- y 1))))>
#<alt (* -1 (* x (+ (* 1/3 (* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))) (* 3 (* (sqrt (/ 1 x)) (* (pow (sqrt -1) 2) (- y 1)))))))>
#<alt (* -1 (* x (+ (* 1/3 (* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))) (* 3 (* (sqrt (/ 1 x)) (* (pow (sqrt -1) 2) (- y 1)))))))>
#<alt (* -1 (* x (+ (* 1/3 (* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))) (* 3 (* (sqrt (/ 1 x)) (* (pow (sqrt -1) 2) (- y 1)))))))>
#<alt (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1)))>
#<alt (+ (* 3 (* (sqrt x) y)) (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1))))>
#<alt (+ (* 3 (* (sqrt x) y)) (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1))))>
#<alt (+ (* 3 (* (sqrt x) y)) (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1))))>
#<alt (* 3 (* (sqrt x) y))>
#<alt (* y (+ (* 3 (sqrt x)) (* 3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y)))))>
#<alt (* y (+ (* 3 (sqrt x)) (* 3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y)))))>
#<alt (* y (+ (* 3 (sqrt x)) (* 3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y)))))>
#<alt (* 3 (* (sqrt x) y))>
#<alt (* -1 (* y (+ (* -3 (sqrt x)) (* -3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y))))))>
#<alt (* -1 (* y (+ (* -3 (sqrt x)) (* -3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y))))))>
#<alt (* -1 (* y (+ (* -3 (sqrt x)) (* -3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y))))))>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (sqrt x)>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -1 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (- (* 1/9 (/ 1 x)) 1)>
#<alt (- (+ y (* 1/9 (/ 1 x))) 1)>
#<alt (- (+ y (* 1/9 (/ 1 x))) 1)>
#<alt (- (+ y (* 1/9 (/ 1 x))) 1)>
#<alt y>
#<alt (* y (- (+ 1 (/ 1/9 (* x y))) (/ 1 y)))>
#<alt (* y (- (+ 1 (/ 1/9 (* x y))) (/ 1 y)))>
#<alt (* y (- (+ 1 (/ 1/9 (* x y))) (/ 1 y)))>
#<alt y>
#<alt (* -1 (* y (- (* -1 (/ (- (* 1/9 (/ 1 x)) 1) y)) 1)))>
#<alt (* -1 (* y (- (* -1 (/ (- (* 1/9 (/ 1 x)) 1) y)) 1)))>
#<alt (* -1 (* y (- (* -1 (/ (- (* 1/9 (/ 1 x)) 1) y)) 1)))>
#<alt (/ 1/9 x)>
#<alt (/ (+ 1/9 (* x (- y 1))) x)>
#<alt (/ (+ 1/9 (* x (- y 1))) x)>
#<alt (/ (+ 1/9 (* x (- y 1))) x)>
#<alt (- y 1)>
#<alt (- (+ y (* 1/9 (/ 1 x))) 1)>
#<alt (- (+ y (* 1/9 (/ 1 x))) 1)>
#<alt (- (+ y (* 1/9 (/ 1 x))) 1)>
#<alt (- y 1)>
#<alt (- (+ y (* 1/9 (/ 1 x))) 1)>
#<alt (- (+ y (* 1/9 (/ 1 x))) 1)>
#<alt (- (+ y (* 1/9 (/ 1 x))) 1)>
#<alt (* 3 (sqrt x))>
#<alt (* 3 (sqrt x))>
#<alt (* 3 (sqrt x))>
#<alt (* 3 (sqrt x))>
#<alt (* 3 (sqrt x))>
#<alt (* 3 (sqrt x))>
#<alt (* 3 (sqrt x))>
#<alt (* 3 (sqrt x))>
#<alt (* -3 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -3 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -3 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (* -3 (* (sqrt x) (pow (sqrt -1) 2)))>
#<alt (/ 1/9 x)>
#<alt (+ y (* 1/9 (/ 1 x)))>
#<alt (+ y (* 1/9 (/ 1 x)))>
#<alt (+ y (* 1/9 (/ 1 x)))>
#<alt y>
#<alt (* y (+ 1 (* 1/9 (/ 1 (* x y)))))>
#<alt (* y (+ 1 (* 1/9 (/ 1 (* x y)))))>
#<alt (* y (+ 1 (* 1/9 (/ 1 (* x y)))))>
#<alt y>
#<alt (* y (+ 1 (* 1/9 (/ 1 (* x y)))))>
#<alt (* y (+ 1 (* 1/9 (/ 1 (* x y)))))>
#<alt (* y (+ 1 (* 1/9 (/ 1 (* x y)))))>
#<alt (/ 1/9 x)>
#<alt (/ (+ 1/9 (* x y)) x)>
#<alt (/ (+ 1/9 (* x y)) x)>
#<alt (/ (+ 1/9 (* x y)) x)>
#<alt y>
#<alt (+ y (* 1/9 (/ 1 x)))>
#<alt (+ y (* 1/9 (/ 1 x)))>
#<alt (+ y (* 1/9 (/ 1 x)))>
#<alt y>
#<alt (+ y (* 1/9 (/ 1 x)))>
#<alt (+ y (* 1/9 (/ 1 x)))>
#<alt (+ y (* 1/9 (/ 1 x)))>

Calls

27 calls:

Time	Variable		Point	Expression
3.0ms	y	@	-inf	(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
1.0ms	x	@	0	(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
1.0ms	y	@	0	(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
1.0ms	x	@	-inf	(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
0.0ms	x	@	inf	(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))

rewrite361.0ms (10.2%)

Memory

8.9MiB live, 759.1MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

5 628×	`accelerator-lowering-fma.f32`
5 628×	`accelerator-lowering-fma.f64`
4 000×	`-lowering-.f32`
4 000×	`-lowering-.f64`
2 686×	`/-lowering-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	41
1	59	33
2	514	33
3	6462	33
0	8281	32

Stop Event

1×	iter limit
1×	node limit

Counts

6 → 336

Calls

Call 1

Inputs
(/ 1 (* x 9))
(* (* 3 (sqrt x)) (- (+ y (/ 1 (* x 9))) 1))
(sqrt x)
(- (+ y (/ 1 (* x 9))) 1)
(* 3 (sqrt x))
(+ y (/ 1 (* x 9)))

Outputs
(exp.f64 (-.f64 #s(literal 0 binary64) (log.f64 (*.f64 x #s(literal 9 binary64)))))
(exp.f64 (.f64 (fma.f64 #s(literal 2 binary64) (log.f64 (.f64 x #s(literal 9 binary64))) #s(literal 0 binary64)) #s(literal -1/2 binary64)))
(exp.f64 (.f64 (fma.f64 #s(literal -1/2 binary64) (log.f64 (.f64 x #s(literal 9 binary64))) #s(literal 0 binary64)) #s(literal 2 binary64)))
(-.f64 #s(literal 0 binary64) (/.f64 #s(literal -1/9 binary64) x))
(neg.f64 (/.f64 #s(literal -1/9 binary64) x))
(/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))
(/.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (*.f64 x #s(literal -9 binary64)))
(/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))
(/.f64 #s(literal 1/9 binary64) x)
(/.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -9 binary64))
(/.f64 #s(literal -1/9 binary64) (-.f64 #s(literal 0 binary64) x))
(/.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) #s(literal 1 binary64)) #s(literal -9 binary64))
(pow.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -1 binary64))
(pow.f64 (.f64 x (.f64 x #s(literal 81 binary64))) #s(literal -1/2 binary64))
(pow.f64 (pow.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) #s(literal 2 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x))
(*.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 1 binary64))
(*.f64 #s(literal -1 binary64) (/.f64 #s(literal -1/9 binary64) x))
(*.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64))
(*.f64 #s(literal 1/9 binary64) (/.f64 #s(literal 1 binary64) x))
(*.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -1/9 binary64))
(*.f64 (/.f64 #s(literal -1/9 binary64) x) #s(literal -1 binary64))
(.f64 (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) (pow.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64))) (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)))
(+.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y)) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(+.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y)))
(+.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(+.f64 (.f64 (sqrt.f64 x) #s(literal -3 binary64)) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(+.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (/.f64 #s(literal 1/9 binary64) x)) (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (+.f64 y #s(literal -1 binary64))))
(+.f64 (.f64 (/.f64 #s(literal 1/9 binary64) x) (.f64 #s(literal 3 binary64) (sqrt.f64 x))) (.f64 (+.f64 y #s(literal -1 binary64)) (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(fma.f64 #s(literal 1 binary64) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (/.f64 #s(literal 1/9 binary64) x) (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (.f64 (+.f64 y #s(literal -1 binary64)) (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(fma.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 x) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 x) y) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(fma.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 x) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) y)))
(fma.f64 #s(literal 3 binary64) (neg.f64 (sqrt.f64 x)) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(fma.f64 (sqrt.f64 x) #s(literal -3 binary64) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) y)))
(fma.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (/.f64 #s(literal 1/9 binary64) x) (.f64 (*.f64 #s(literal 3 binary64) (sqrt.f64 x)) (+.f64 y #s(literal -1 binary64))))
(fma.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) y (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(fma.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) #s(literal -1 binary64) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(fma.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) y)))
(fma.f64 y (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (sqrt.f64 x))) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(fma.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))) (.f64 #s(literal 3 binary64) (sqrt.f64 x))) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (.f64 #s(literal 3 binary64) (sqrt.f64 x))) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) y)))
(fma.f64 #s(literal -3 binary64) (sqrt.f64 x) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(fma.f64 (.f64 (sqrt.f64 x) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 3 binary64) (.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal 1 binary64) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (.f64 (sqrt.f64 x) y) #s(literal 3 binary64) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(fma.f64 (.f64 (sqrt.f64 x) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) #s(literal 3 binary64) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) y)))
(fma.f64 (neg.f64 (sqrt.f64 x)) #s(literal 3 binary64) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(fma.f64 (.f64 y #s(literal 3 binary64)) (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) #s(literal 3 binary64)) (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) y)))
(fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 3 binary64)) (sqrt.f64 x) (.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) #s(literal 1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(fma.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64)))))) (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))) (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))))))
(/.f64 (*.f64 #s(literal 3 binary64) (sqrt.f64 x)) (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(/.f64 (*.f64 (sqrt.f64 x) (fma.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -3 binary64))) #s(literal 1 binary64))
(/.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))
(/.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))))
(/.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(/.f64 (neg.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)))) (-.f64 #s(literal 0 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))))) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(/.f64 (+.f64 (pow.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y)) #s(literal 3 binary64)) (pow.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 3 binary64))) (fma.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y)) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y)) (-.f64 (.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))) (.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y)) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))))))
(/.f64 (+.f64 (pow.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal 3 binary64)) (pow.f64 (.f64 (sqrt.f64 x) #s(literal -3 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (-.f64 (.f64 (.f64 (sqrt.f64 x) #s(literal -3 binary64)) (.f64 (sqrt.f64 x) #s(literal -3 binary64))) (.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (sqrt.f64 x) #s(literal -3 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y)) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y))) (.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))) (-.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) y)) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (.f64 (.f64 (sqrt.f64 x) #s(literal -3 binary64)) (.f64 (sqrt.f64 x) #s(literal -3 binary64)))) (-.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (*.f64 (sqrt.f64 x) #s(literal -3 binary64))))
(/.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 #s(literal 3 binary64) (sqrt.f64 x))) (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(/.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)))) (-.f64 #s(literal 0 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(/.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(/.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 y (.f64 y y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (-.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) y) (.f64 y y)))
(/.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (*.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64)))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64)))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (*.f64 #s(literal 3 binary64) (sqrt.f64 x))) (-.f64 #s(literal 0 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (.f64 #s(literal 3 binary64) (sqrt.f64 x))) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(/.f64 (.f64 (fma.f64 y (.f64 y y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))) (.f64 #s(literal 3 binary64) (sqrt.f64 x))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (-.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) y) (.f64 y y)))
(/.f64 (.f64 (.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64))) (*.f64 #s(literal 3 binary64) (sqrt.f64 x))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64)))
(pow.f64 (/.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))) (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))))) #s(literal -1 binary64))
(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 x) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(*.f64 (sqrt.f64 x) (fma.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -3 binary64)))
(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))
(.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (.f64 #s(literal 3 binary64) (sqrt.f64 x)))
(.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (/.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) #s(literal 1 binary64)))
(.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (/.f64 (*.f64 #s(literal 3 binary64) (sqrt.f64 x)) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) (/.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (*.f64 #s(literal 3 binary64) (sqrt.f64 x))))
(.f64 (.f64 (sqrt.f64 x) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 3 binary64))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (.f64 (pow.f64 x #s(literal 1/4 binary64)) (fma.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -3 binary64))))
(*.f64 (fma.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -3 binary64)) (sqrt.f64 x))
(.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(.f64 (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(.f64 (/.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) #s(literal 1 binary64)))
(.f64 (.f64 (fma.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -3 binary64)) (pow.f64 x #s(literal 1/4 binary64))) (pow.f64 x #s(literal 1/4 binary64)))
(.f64 (/.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))))
(.f64 (/.f64 (.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))) (-.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 1 binary64)))) (-.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 1 binary64)))
(.f64 (/.f64 (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))
(.f64 (/.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) #s(literal 1 binary64)))
(.f64 (/.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))) (-.f64 #s(literal 1 binary64) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(exp.f64 (*.f64 #s(literal 1/2 binary64) (log.f64 x)))
(exp.f64 (*.f64 (log.f64 (pow.f64 x #s(literal 1/4 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 x x)) #s(literal 1/4 binary64)))
(exp.f64 (*.f64 (log.f64 (exp.f64 (log.f64 x))) #s(literal 1/2 binary64)))
(sqrt.f64 x)
(pow.f64 x #s(literal 1/2 binary64))
(pow.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 x x) #s(literal 1/4 binary64))
(pow.f64 (exp.f64 (log.f64 x)) #s(literal 1/2 binary64))
(*.f64 (pow.f64 x #s(literal 1/4 binary64)) (pow.f64 x #s(literal 1/4 binary64)))
(+.f64 (/.f64 #s(literal 1/9 binary64) x) (+.f64 y #s(literal -1 binary64)))
(+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))
(+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))
(+.f64 #s(literal -1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))
(+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) y)
(+.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(+.f64 (/.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(+.f64 (+.f64 y #s(literal -1 binary64)) (/.f64 #s(literal 1/9 binary64) x))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))) #s(literal -1 binary64)))
(-.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 #s(literal 1 binary64) y))
(-.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))
(-.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(-.f64 (/.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(-.f64 (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64))))) #s(literal -1 binary64)))
(-.f64 (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (+.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64))))) #s(literal 1 binary64)))
(-.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))))
(-.f64 (/.f64 (.f64 y y) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64))) (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64))))
(-.f64 (+.f64 #s(literal -1 binary64) (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))) (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64))))))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x) (+.f64 y #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))
(fma.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 1 binary64) (+.f64 y #s(literal -1 binary64)))
(fma.f64 y #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))
(fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (/.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))) #s(literal -1 binary64))
(fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (/.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (/.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1/9 binary64) x) (+.f64 y #s(literal -1 binary64)))
(fma.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))) #s(literal -1 binary64))
(fma.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 y y))) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 y y)))) #s(literal -1 binary64))
(fma.f64 (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)) (/.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))) #s(literal -1 binary64))
(fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(fma.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(fma.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (/.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(fma.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) #s(literal -1 binary64))
(fma.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (*.f64 (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) #s(literal 1 binary64)) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64) (+.f64 y #s(literal -1 binary64)))
(fma.f64 #s(literal 1/9 binary64) (/.f64 #s(literal 1 binary64) x) (+.f64 y #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -1/9 binary64) (+.f64 y #s(literal -1 binary64)))
(fma.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)))) #s(literal -1 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64)))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))) #s(literal -1 binary64))
(fma.f64 (+.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x)))) y)
(fma.f64 (/.f64 #s(literal -1/9 binary64) x) #s(literal -1 binary64) (+.f64 y #s(literal -1 binary64)))
(fma.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) #s(literal -1 binary64))
(fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) #s(literal -1 binary64))
(fma.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (*.f64 y y)) (/.f64 #s(literal 1 binary64) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))
(fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x))) y)
(fma.f64 (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) (+.f64 y #s(literal -1 binary64)))
(fma.f64 (pow.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 3/2 binary64)) (/.f64 (pow.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 3/2 binary64)) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(fma.f64 (/.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(fma.f64 (+.f64 (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) (-.f64 (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) #s(literal 1 binary64)) y)
(fma.f64 (.f64 #s(literal 1 binary64) (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64))) (pow.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) (+.f64 y #s(literal -1 binary64)))
(fma.f64 (/.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64)))))) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))
(fma.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(fma.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))) (-.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 1 binary64)))) (-.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 1 binary64)) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(fma.f64 (/.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(fma.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) #s(literal 1 binary64)) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(fma.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (-.f64 #s(literal 1 binary64) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(fma.f64 (/.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (fma.f64 y (.f64 (.f64 y y) (.f64 y (.f64 y y))) (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 x #s(literal 9 binary64))) (.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))) (fma.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 x #s(literal 9 binary64))) (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 x #s(literal 9 binary64))) (.f64 y y)) (.f64 y (.f64 y (*.f64 y y)))) #s(literal -1 binary64))
(fma.f64 (/.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y))))) (fma.f64 y y (*.f64 (/.f64 #s(literal -1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal -1 binary64))
(fma.f64 (/.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (-.f64 (.f64 y (.f64 y y)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 y y)) #s(literal -1 binary64))
(expm1.f64 (*.f64 (-.f64 #s(literal 0 binary64) (log.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal -1 binary64)))
(neg.f64 (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(neg.f64 (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (-.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) y) (.f64 y y)) (fma.f64 y (.f64 y y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64)) (*.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64)))))
(/.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) #s(literal 1 binary64))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))))
(/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))
(/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))))
(/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))))
(/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (neg.f64 (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(/.f64 (fma.f64 y (.f64 y y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (-.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) y) (.f64 y y)))
(/.f64 (fma.f64 y (.f64 y y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (-.f64 (.f64 y y) (*.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))))
(/.f64 (+.f64 (pow.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 9 binary64)) #s(literal -1 binary64)) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))) (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64)))))
(/.f64 (+.f64 (pow.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 9 binary64)) #s(literal -1 binary64)) (.f64 (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64)))))
(/.f64 (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal -1 binary64)) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64))))
(/.f64 (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal -1 binary64)) (.f64 (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64))))
(/.f64 (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal -1 binary64)) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(/.f64 (*.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (-.f64 #s(literal -1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(/.f64 (.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))
(/.f64 (-.f64 (.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))) #s(literal 1 binary64))) (*.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(/.f64 (-.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (*.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)))) (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))) (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(/.f64 (neg.f64 (fma.f64 y (.f64 y y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))) (neg.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (-.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) y) (.f64 y y))))
(/.f64 (neg.f64 (*.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64)))) (neg.f64 (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64))))
(/.f64 (+.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (pow.f64 (+.f64 y #s(literal -1 binary64)) #s(literal 3 binary64))) (+.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (-.f64 (.f64 (+.f64 y #s(literal -1 binary64)) (+.f64 y #s(literal -1 binary64))) (.f64 (/.f64 #s(literal 1/9 binary64) x) (+.f64 y #s(literal -1 binary64))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (fma.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (fma.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (/.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))))
(/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (*.f64 (+.f64 y #s(literal -1 binary64)) (+.f64 y #s(literal -1 binary64)))) (-.f64 (/.f64 #s(literal 1/9 binary64) x) (+.f64 y #s(literal -1 binary64))))
(/.f64 (-.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (.f64 y y)) (-.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) y))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (/.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (/.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(/.f64 (.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) #s(literal 1 binary64)) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))
(/.f64 (*.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(/.f64 (.f64 (+.f64 (pow.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 9 binary64)) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))) (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64))))
(/.f64 (.f64 (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64)))
(/.f64 (.f64 (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))
(/.f64 (.f64 (.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (-.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) y) (.f64 y y)) (fma.f64 y (.f64 y y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))) #s(literal -1 binary64))
(pow.f64 (/.f64 (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64)) (*.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64)))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))
(.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))))
(.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)) (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))))
(*.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(*.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (/.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))))))
(*.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))
(.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64)))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)))
(.f64 (fma.f64 y (.f64 y y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))) (/.f64 #s(literal 1 binary64) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) (-.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) y) (*.f64 y y))))
(.f64 (.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) #s(literal 1 binary64))))
(*.f64 (/.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))
(*.f64 (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64))) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))))
(.f64 (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))))
(.f64 (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64)) (.f64 (+.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))) (-.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 1 binary64)))) (-.f64 (*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 1 binary64)))
(.f64 (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64))) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) #s(literal 1 binary64)))
(.f64 (/.f64 (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -1 binary64)) (-.f64 #s(literal 1 binary64) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))) (-.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(.f64 (pow.f64 x #s(literal 1/4 binary64)) (.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 3 binary64)))
(.f64 (.f64 #s(literal 3 binary64) (pow.f64 x #s(literal 1/4 binary64))) (pow.f64 x #s(literal 1/4 binary64)))
(+.f64 (/.f64 #s(literal 1/9 binary64) x) y)
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(+.f64 (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64)))))))
(exp.f64 (*.f64 (-.f64 #s(literal 0 binary64) (log.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal -1 binary64)))
(-.f64 y (/.f64 #s(literal -1/9 binary64) x))
(-.f64 (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64))))))
(-.f64 (/.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y)) (/.f64 (*.f64 y y) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x) y)
(fma.f64 #s(literal 1 binary64) y (/.f64 #s(literal 1/9 binary64) x))
(fma.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal 1 binary64) y)
(fma.f64 y #s(literal 1 binary64) (/.f64 #s(literal 1/9 binary64) x))
(fma.f64 y (/.f64 y (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (*.f64 x #s(literal 81 binary64)))))))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal -1/9 binary64) x) y)
(fma.f64 (.f64 y y) (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64)))))))
(fma.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64) y)
(fma.f64 #s(literal 1/9 binary64) (/.f64 #s(literal 1 binary64) x) y)
(fma.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -1/9 binary64) y)
(fma.f64 (/.f64 #s(literal -1/9 binary64) x) #s(literal -1 binary64) y)
(fma.f64 (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) y)
(fma.f64 (.f64 #s(literal 1 binary64) (pow.f64 (.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64))) (pow.f64 (*.f64 x #s(literal 9 binary64)) #s(literal -1/2 binary64)) y)
(fma.f64 (/.f64 (.f64 y y) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64)))))) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64)))))))
(fma.f64 (/.f64 (.f64 y y) (-.f64 (.f64 y (.f64 y y)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)) (neg.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (*.f64 x #s(literal 81 binary64)))))))
(neg.f64 (/.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (-.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)))))
(neg.f64 (/.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (-.f64 #s(literal 0 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64)))))) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (-.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (*.f64 y y))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(/.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)))
(/.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (-.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))))
(/.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64)))))) (-.f64 #s(literal 0 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))))
(/.f64 (fma.f64 (.f64 y (.f64 y y)) (.f64 (.f64 y (.f64 y y)) (.f64 y (.f64 y y))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (.f64 (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)) (fma.f64 y (.f64 (.f64 y y) (.f64 y (.f64 y y))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (.f64 y (*.f64 y y)))))))
(/.f64 (-.f64 (.f64 (.f64 y (.f64 y y)) (.f64 y (.f64 y y))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (.f64 (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)) (-.f64 (.f64 y (.f64 y y)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (*.f64 x #s(literal 81 binary64))))))))
(/.f64 (-.f64 (.f64 (.f64 y (.f64 y y)) (.f64 y (.f64 y y))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (fma.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (fma.f64 y y (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x))) (.f64 y (.f64 y (*.f64 y y))))))
(/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (*.f64 y y)) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y))
(/.f64 (.f64 (fma.f64 y y (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x))) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64)))))) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (fma.f64 y y (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)))))
(/.f64 (-.f64 (.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)))) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))))) (neg.f64 (-.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))))) (neg.f64 (-.f64 #s(literal 0 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))))
(/.f64 (neg.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (*.f64 y y))) (neg.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) #s(literal 3 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64))))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (fma.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64))))) (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64))))) (.f64 (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (*.f64 x #s(literal 81 binary64)))))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (/.f64 (.f64 y y) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64))))) (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (fma.f64 y (/.f64 y (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (/.f64 #s(literal 1 binary64) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (.f64 x (*.f64 x #s(literal 81 binary64)))))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))))) (-.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 y y))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x #s(literal -81 binary64))))))) (-.f64 #s(literal 0 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))))
(/.f64 (.f64 #s(literal 1 binary64) (-.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (.f64 y y))) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 y y))))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x #s(literal -81 binary64)))))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))))
(/.f64 (.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (.f64 y y)) #s(literal 1 binary64)) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y))
(/.f64 (.f64 (fma.f64 (.f64 y (.f64 y y)) (.f64 (.f64 y (.f64 y y)) (.f64 y (.f64 y y))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)))) (fma.f64 y (.f64 (.f64 y y) (.f64 y (.f64 y y))) (.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (-.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (.f64 y (*.f64 y y))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 y (.f64 y y)) (.f64 y (.f64 y y))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)))) (-.f64 (.f64 y (.f64 y y)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (*.f64 x #s(literal 81 binary64)))))))
(/.f64 (.f64 (-.f64 (.f64 (.f64 y (.f64 y y)) (.f64 y (.f64 y y))) (/.f64 (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))) (fma.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (fma.f64 y y (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x))) (.f64 y (.f64 y (*.f64 y y)))))
(/.f64 (.f64 (.f64 (fma.f64 y y (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x))) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64)))))) (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))) (fma.f64 y y (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x))))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 1 binary64)) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (-.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (*.f64 y y))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))
(*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal 1 binary64))
(.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))))
(*.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (/.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))))
(.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 y y))))
(.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))) #s(literal 1 binary64)))
(.f64 (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)) (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)))))
(.f64 (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)) (/.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 y y))))
(.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x #s(literal -81 binary64))))) (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))))
(.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) #s(literal 1 binary64)))
(.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 y y)))))
(.f64 (-.f64 #s(literal 0 binary64) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x #s(literal -81 binary64)))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))) (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (*.f64 x #s(literal 81 binary64)))))))
(.f64 (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x))) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x #s(literal -81 binary64))))))
(.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (.f64 y y)) (/.f64 #s(literal 1 binary64) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y)))
(.f64 (/.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (*.f64 x #s(literal -81 binary64)))))) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))
(.f64 (/.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (fma.f64 y (.f64 (.f64 y y) (.f64 y (.f64 y y))) (.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 x #s(literal 9 binary64))) (.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y)))))) (fma.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 x #s(literal 9 binary64))) (-.f64 (/.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 x #s(literal 9 binary64))) (.f64 y y)) (.f64 y (.f64 y (.f64 y y)))))
(.f64 (/.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (/.f64 #s(literal 1/9 binary64) (.f64 (.f64 x #s(literal 9 binary64)) x)) (.f64 (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y))))) (fma.f64 y y (.f64 (/.f64 #s(literal -1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
(.f64 (/.f64 (fma.f64 y y (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x #s(literal -81 binary64))))) (-.f64 (.f64 y (.f64 y y)) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64))))))) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y)))

simplify360.0ms (10.2%)

Memory

27.5MiB live, 451.4MiB allocated

Algorithm

1×	egg-herbie

Rules

9 246×	`accelerator-lowering-fma.f32`
9 246×	`accelerator-lowering-fma.f64`
5 040×	`-lowering-.f32`
5 040×	`-lowering-.f64`
2 454×	`+-lowering-+.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	85	718
1	228	691
2	698	691
3	2481	689
4	7731	689
0	8112	654

Stop Event

1×	iter limit
1×	node limit

Counts

108 → 108

Calls

Call 1

Inputs
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(/ 1/9 x)
(* 1/3 (sqrt (/ 1 x)))
(/ (+ (* 1/3 (sqrt x)) (* 3 (* (sqrt (pow x 3)) (- y 1)))) x)
(/ (+ (* 1/3 (sqrt x)) (* 3 (* (sqrt (pow x 3)) (- y 1)))) x)
(/ (+ (* 1/3 (sqrt x)) (* 3 (* (sqrt (pow x 3)) (- y 1)))) x)
(* 3 (* (sqrt x) (- y 1)))
(* x (+ (* 1/3 (sqrt (/ 1 (pow x 3)))) (* 3 (* (sqrt (/ 1 x)) (- y 1)))))
(* x (+ (* 1/3 (sqrt (/ 1 (pow x 3)))) (* 3 (* (sqrt (/ 1 x)) (- y 1)))))
(* x (+ (* 1/3 (sqrt (/ 1 (pow x 3)))) (* 3 (* (sqrt (/ 1 x)) (- y 1)))))
(* -3 (* (sqrt x) (* (pow (sqrt -1) 2) (- y 1))))
(* -1 (* x (+ (* 1/3 (* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))) (* 3 (* (sqrt (/ 1 x)) (* (pow (sqrt -1) 2) (- y 1)))))))
(* -1 (* x (+ (* 1/3 (* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))) (* 3 (* (sqrt (/ 1 x)) (* (pow (sqrt -1) 2) (- y 1)))))))
(* -1 (* x (+ (* 1/3 (* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))) (* 3 (* (sqrt (/ 1 x)) (* (pow (sqrt -1) 2) (- y 1)))))))
(* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1)))
(+ (* 3 (* (sqrt x) y)) (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1))))
(+ (* 3 (* (sqrt x) y)) (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1))))
(+ (* 3 (* (sqrt x) y)) (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1))))
(* 3 (* (sqrt x) y))
(* y (+ (* 3 (sqrt x)) (* 3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y)))))
(* y (+ (* 3 (sqrt x)) (* 3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y)))))
(* y (+ (* 3 (sqrt x)) (* 3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y)))))
(* 3 (* (sqrt x) y))
(* -1 (* y (+ (* -3 (sqrt x)) (* -3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y))))))
(* -1 (* y (+ (* -3 (sqrt x)) (* -3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y))))))
(* -1 (* y (+ (* -3 (sqrt x)) (* -3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y))))))
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(sqrt x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(- (* 1/9 (/ 1 x)) 1)
(- (+ y (* 1/9 (/ 1 x))) 1)
(- (+ y (* 1/9 (/ 1 x))) 1)
(- (+ y (* 1/9 (/ 1 x))) 1)
y
(* y (- (+ 1 (/ 1/9 (* x y))) (/ 1 y)))
(* y (- (+ 1 (/ 1/9 (* x y))) (/ 1 y)))
(* y (- (+ 1 (/ 1/9 (* x y))) (/ 1 y)))
y
(* -1 (* y (- (* -1 (/ (- (* 1/9 (/ 1 x)) 1) y)) 1)))
(* -1 (* y (- (* -1 (/ (- (* 1/9 (/ 1 x)) 1) y)) 1)))
(* -1 (* y (- (* -1 (/ (- (* 1/9 (/ 1 x)) 1) y)) 1)))
(/ 1/9 x)
(/ (+ 1/9 (* x (- y 1))) x)
(/ (+ 1/9 (* x (- y 1))) x)
(/ (+ 1/9 (* x (- y 1))) x)
(- y 1)
(- (+ y (* 1/9 (/ 1 x))) 1)
(- (+ y (* 1/9 (/ 1 x))) 1)
(- (+ y (* 1/9 (/ 1 x))) 1)
(- y 1)
(- (+ y (* 1/9 (/ 1 x))) 1)
(- (+ y (* 1/9 (/ 1 x))) 1)
(- (+ y (* 1/9 (/ 1 x))) 1)
(* 3 (sqrt x))
(* 3 (sqrt x))
(* 3 (sqrt x))
(* 3 (sqrt x))
(* 3 (sqrt x))
(* 3 (sqrt x))
(* 3 (sqrt x))
(* 3 (sqrt x))
(* -3 (* (sqrt x) (pow (sqrt -1) 2)))
(* -3 (* (sqrt x) (pow (sqrt -1) 2)))
(* -3 (* (sqrt x) (pow (sqrt -1) 2)))
(* -3 (* (sqrt x) (pow (sqrt -1) 2)))
(/ 1/9 x)
(+ y (* 1/9 (/ 1 x)))
(+ y (* 1/9 (/ 1 x)))
(+ y (* 1/9 (/ 1 x)))
y
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
y
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(/ 1/9 x)
(/ (+ 1/9 (* x y)) x)
(/ (+ 1/9 (* x y)) x)
(/ (+ 1/9 (* x y)) x)
y
(+ y (* 1/9 (/ 1 x)))
(+ y (* 1/9 (/ 1 x)))
(+ y (* 1/9 (/ 1 x)))
y
(+ y (* 1/9 (/ 1 x)))
(+ y (* 1/9 (/ 1 x)))
(+ y (* 1/9 (/ 1 x)))

Outputs
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(* 1/3 (sqrt (/ 1 x)))
(*.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))
(/ (+ (* 1/3 (sqrt x)) (* 3 (* (sqrt (pow x 3)) (- y 1)))) x)
(/.f64 (fma.f64 (sqrt.f64 (.f64 x (.f64 x x))) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)) (*.f64 #s(literal 1/3 binary64) (sqrt.f64 x))) x)
(/ (+ (* 1/3 (sqrt x)) (* 3 (* (sqrt (pow x 3)) (- y 1)))) x)
(/.f64 (fma.f64 (sqrt.f64 (.f64 x (.f64 x x))) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)) (*.f64 #s(literal 1/3 binary64) (sqrt.f64 x))) x)
(/ (+ (* 1/3 (sqrt x)) (* 3 (* (sqrt (pow x 3)) (- y 1)))) x)
(/.f64 (fma.f64 (sqrt.f64 (.f64 x (.f64 x x))) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)) (*.f64 #s(literal 1/3 binary64) (sqrt.f64 x))) x)
(* 3 (* (sqrt x) (- y 1)))
(*.f64 (sqrt.f64 x) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))
(* x (+ (* 1/3 (sqrt (/ 1 (pow x 3)))) (* 3 (* (sqrt (/ 1 x)) (- y 1)))))
(fma.f64 x (fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))) #s(literal 0 binary64))
(* x (+ (* 1/3 (sqrt (/ 1 (pow x 3)))) (* 3 (* (sqrt (/ 1 x)) (- y 1)))))
(fma.f64 x (fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))) #s(literal 0 binary64))
(* x (+ (* 1/3 (sqrt (/ 1 (pow x 3)))) (* 3 (* (sqrt (/ 1 x)) (- y 1)))))
(fma.f64 x (fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))) #s(literal 0 binary64))
(* -3 (* (sqrt x) (* (pow (sqrt -1) 2) (- y 1))))
(*.f64 (sqrt.f64 x) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))
(* -1 (* x (+ (* 1/3 (* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))) (* 3 (* (sqrt (/ 1 x)) (* (pow (sqrt -1) 2) (- y 1)))))))
(fma.f64 x (fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))) #s(literal 0 binary64))
(* -1 (* x (+ (* 1/3 (* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))) (* 3 (* (sqrt (/ 1 x)) (* (pow (sqrt -1) 2) (- y 1)))))))
(fma.f64 x (fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))) #s(literal 0 binary64))
(* -1 (* x (+ (* 1/3 (* (sqrt (/ 1 (pow x 3))) (pow (sqrt -1) 2))) (* 3 (* (sqrt (/ 1 x)) (* (pow (sqrt -1) 2) (- y 1)))))))
(fma.f64 x (fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))) #s(literal 0 binary64))
(* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1)))
(*.f64 (sqrt.f64 x) (+.f64 #s(literal -3 binary64) (/.f64 #s(literal 1/3 binary64) x)))
(+ (* 3 (* (sqrt x) y)) (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1))))
(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
(+ (* 3 (* (sqrt x) y)) (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1))))
(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
(+ (* 3 (* (sqrt x) y)) (* 3 (* (sqrt x) (- (* 1/9 (/ 1 x)) 1))))
(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
(* 3 (* (sqrt x) y))
(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 x) y))
(* y (+ (* 3 (sqrt x)) (* 3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y)))))
(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
(* y (+ (* 3 (sqrt x)) (* 3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y)))))
(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
(* y (+ (* 3 (sqrt x)) (* 3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y)))))
(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
(* 3 (* (sqrt x) y))
(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 x) y))
(* -1 (* y (+ (* -3 (sqrt x)) (* -3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y))))))
(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
(* -1 (* y (+ (* -3 (sqrt x)) (* -3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y))))))
(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
(* -1 (* y (+ (* -3 (sqrt x)) (* -3 (* (sqrt x) (/ (- (* 1/9 (/ 1 x)) 1) y))))))
(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(sqrt x)
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(* -1 (* (sqrt x) (pow (sqrt -1) 2)))
(sqrt.f64 x)
(- (* 1/9 (/ 1 x)) 1)
(+.f64 #s(literal -1 binary64) (/.f64 #s(literal 1/9 binary64) x))
(- (+ y (* 1/9 (/ 1 x))) 1)
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(- (+ y (* 1/9 (/ 1 x))) 1)
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(- (+ y (* 1/9 (/ 1 x))) 1)
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
y
(* y (- (+ 1 (/ 1/9 (* x y))) (/ 1 y)))
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(* y (- (+ 1 (/ 1/9 (* x y))) (/ 1 y)))
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(* y (- (+ 1 (/ 1/9 (* x y))) (/ 1 y)))
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
y
(* -1 (* y (- (* -1 (/ (- (* 1/9 (/ 1 x)) 1) y)) 1)))
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(* -1 (* y (- (* -1 (/ (- (* 1/9 (/ 1 x)) 1) y)) 1)))
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(* -1 (* y (- (* -1 (/ (- (* 1/9 (/ 1 x)) 1) y)) 1)))
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ (+ 1/9 (* x (- y 1))) x)
(/.f64 (fma.f64 x (+.f64 y #s(literal -1 binary64)) #s(literal 1/9 binary64)) x)
(/ (+ 1/9 (* x (- y 1))) x)
(/.f64 (fma.f64 x (+.f64 y #s(literal -1 binary64)) #s(literal 1/9 binary64)) x)
(/ (+ 1/9 (* x (- y 1))) x)
(/.f64 (fma.f64 x (+.f64 y #s(literal -1 binary64)) #s(literal 1/9 binary64)) x)
(- y 1)
(+.f64 y #s(literal -1 binary64))
(- (+ y (* 1/9 (/ 1 x))) 1)
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(- (+ y (* 1/9 (/ 1 x))) 1)
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(- (+ y (* 1/9 (/ 1 x))) 1)
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(- y 1)
(+.f64 y #s(literal -1 binary64))
(- (+ y (* 1/9 (/ 1 x))) 1)
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(- (+ y (* 1/9 (/ 1 x))) 1)
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(- (+ y (* 1/9 (/ 1 x))) 1)
(+.f64 #s(literal -1 binary64) (+.f64 y (/.f64 #s(literal 1/9 binary64) x)))
(* 3 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* 3 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* 3 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* 3 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* 3 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* 3 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* 3 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* 3 (sqrt x))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* -3 (* (sqrt x) (pow (sqrt -1) 2)))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* -3 (* (sqrt x) (pow (sqrt -1) 2)))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* -3 (* (sqrt x) (pow (sqrt -1) 2)))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(* -3 (* (sqrt x) (pow (sqrt -1) 2)))
(*.f64 (sqrt.f64 x) #s(literal 3 binary64))
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(+ y (* 1/9 (/ 1 x)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(+ y (* 1/9 (/ 1 x)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(+ y (* 1/9 (/ 1 x)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
y
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
y
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(* y (+ 1 (* 1/9 (/ 1 (* x y)))))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
(/ (+ 1/9 (* x y)) x)
(/.f64 (fma.f64 x y #s(literal 1/9 binary64)) x)
(/ (+ 1/9 (* x y)) x)
(/.f64 (fma.f64 x y #s(literal 1/9 binary64)) x)
(/ (+ 1/9 (* x y)) x)
(/.f64 (fma.f64 x y #s(literal 1/9 binary64)) x)
y
(+ y (* 1/9 (/ 1 x)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(+ y (* 1/9 (/ 1 x)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(+ y (* 1/9 (/ 1 x)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
y
(+ y (* 1/9 (/ 1 x)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(+ y (* 1/9 (/ 1 x)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(+ y (* 1/9 (/ 1 x)))
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))

eval60.0ms (1.7%)

Memory: -14.8MiB live, 112.4MiB allocated
Compiler: Compiled 12 712 to 1 149 computations (91% saved)

prune68.0ms (1.9%)

Memory

22.7MiB live, 222.8MiB allocated

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	418	26	444
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	418	27	445

Accuracy

100.0%

Counts

445 → 27

Alt Table

Click to see full alt table

Status	Accuracy	Program
	39.4%	(fma.f64 (fma.f64 y (.f64 y y) (/.f64 #s(literal 1 binary64) (.f64 (.f64 x #s(literal 9 binary64)) (.f64 x (.f64 x #s(literal 81 binary64)))))) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (/.f64 #s(literal 1/9 binary64) x) (-.f64 (/.f64 #s(literal 1/9 binary64) x) y) (.f64 y y))) (.f64 #s(literal 3 binary64) (sqrt.f64 x))) (*.f64 (sqrt.f64 x) #s(literal -3 binary64)))
	98.9%	(fma.f64 (.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)) #s(literal 3 binary64)) (sqrt.f64 x) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) y)))
	99.3%	(fma.f64 (.f64 (sqrt.f64 x) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y)) #s(literal 3 binary64) (.f64 (sqrt.f64 x) #s(literal -3 binary64)))
	99.3%	(fma.f64 (.f64 (sqrt.f64 x) y) #s(literal 3 binary64) (.f64 (sqrt.f64 x) (*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
	99.0%	(fma.f64 (sqrt.f64 x) (+.f64 (fma.f64 #s(literal 3 binary64) y (/.f64 #s(literal 1/3 binary64) x)) #s(literal -3 binary64)) #s(literal 0 binary64))
▶	98.9%	(fma.f64 (sqrt.f64 x) #s(literal -3 binary64) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
▶	69.1%	(fma.f64 x (fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))) #s(literal 0 binary64))
	68.6%	(/.f64 (fma.f64 (sqrt.f64 (.f64 x (.f64 x x))) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)) (*.f64 #s(literal 1/3 binary64) (sqrt.f64 x))) x)
	45.5%	(/.f64 (+.f64 (pow.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) #s(literal 3 binary64)) (pow.f64 (.f64 (sqrt.f64 x) #s(literal -3 binary64)) #s(literal 3 binary64))) (fma.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (-.f64 (.f64 (.f64 (sqrt.f64 x) #s(literal -3 binary64)) (.f64 (sqrt.f64 x) #s(literal -3 binary64))) (.f64 (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))) (.f64 (sqrt.f64 x) #s(literal -3 binary64))))))
	99.3%	(/.f64 (*.f64 #s(literal 3 binary64) (sqrt.f64 x)) (/.f64 #s(literal 1 binary64) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))))
	98.8%	(*.f64 (fma.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -3 binary64)) (sqrt.f64 x))
	98.6%	(.f64 (pow.f64 x #s(literal 1/4 binary64)) (.f64 (pow.f64 x #s(literal 1/4 binary64)) (fma.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) #s(literal -3 binary64))))
	99.3%	(.f64 (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) (.f64 #s(literal 3 binary64) (sqrt.f64 x)))
	99.0%	(.f64 (.f64 (pow.f64 x #s(literal 1/4 binary64)) (.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 3 binary64))) (-.f64 (+.f64 y (/.f64 #s(literal 1 binary64) (.f64 x #s(literal 9 binary64)))) #s(literal 1 binary64)))
▶	99.3%	(.f64 (.f64 (sqrt.f64 x) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 3 binary64))
	99.0%	(.f64 (.f64 #s(literal 3 binary64) (pow.f64 (pow.f64 x #s(literal 1/4 binary64)) #s(literal 2 binary64))) (-.f64 (+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) #s(literal 1 binary64)))
	99.3%	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1/9 binary64) (+.f64 y #s(literal -1 binary64))))
	99.2%	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (fma.f64 (+.f64 (/.f64 #s(literal 1/9 binary64) x) y) (*.f64 (-.f64 y (/.f64 #s(literal 1/9 binary64) x)) (/.f64 #s(literal 1 binary64) (-.f64 y (/.f64 #s(literal 1/9 binary64) x)))) #s(literal -1 binary64)))
▶	37.8%	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (/.f64 #s(literal 1/9 binary64) x))
	99.3%	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 9 binary64))) #s(literal 1 binary64)))
✓	99.4%	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (-.f64 (+.f64 y (/.f64 #s(literal 1 binary64) (*.f64 x #s(literal 9 binary64)))) #s(literal 1 binary64)))
	61.5%	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (-.f64 y #s(literal 1 binary64)))
	34.9%	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) y)
	61.1%	(*.f64 (sqrt.f64 x) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))
	66.0%	(*.f64 (sqrt.f64 x) (+.f64 #s(literal -3 binary64) (/.f64 #s(literal 1/3 binary64) x)))
▶	34.9%	(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 x) y))
	37.8%	(*.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) x)))

Compiler

Compiled 958 to 622 computations (35.1% saved)

simplify351.0ms (9.9%)

Memory

-23.2MiB live, 392.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))
✓	cost-diff	0	(sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x))))
✓	cost-diff	0	(fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64))))
✓	cost-diff	0	(fma.f64 x (fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (.f64 x (.f64 x x)))) (*.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 #s(literal 3 binary64) y #s(literal -3 binary64)))) #s(literal 0 binary64))
✓	cost-diff	0	(+.f64 (/.f64 #s(literal 1/9 binary64) x) y)
✓	cost-diff	0	(sqrt.f64 x)
✓	cost-diff	128	(*.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))
✓	cost-diff	832	(fma.f64 (sqrt.f64 x) #s(literal -3 binary64) (.f64 (sqrt.f64 x) (.f64 #s(literal 3 binary64) (+.f64 (/.f64 #s(literal 1/9 binary64) x) y))))
✓	cost-diff	-64	(*.f64 #s(literal 3 binary64) (sqrt.f64 x))
✓	cost-diff	0	(/.f64 #s(literal 1/9 binary64) x)
✓	cost-diff	0	(sqrt.f64 x)
✓	cost-diff	320	(.f64 (.f64 #s(literal 3 binary64) (sqrt.f64 x)) (/.f64 #s(literal 1/9 binary64) x))
✓	cost-diff	-64	(*.f64 (sqrt.f64 x) y)
✓	cost-diff	-64	(.f64 #s(literal 3 binary64) (.f64 (sqrt.f64 x) y))
✓	cost-diff	0	(sqrt.f64 x)
✓	cost-diff	0	(+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))
✓	cost-diff	0	(+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))
✓	cost-diff	0	(sqrt.f64 x)
✓	cost-diff	128	(.f64 (.f64 (sqrt.f64 x) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))) #s(literal 3 binary64))

Rules

6 716×	`accelerator-lowering-fma.f32`
6 716×	`accelerator-lowering-fma.f64`
2 876×	`-lowering-.f32`
2 876×	`-lowering-.f64`
1 176×	`div-sub`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	209
1	96	207
2	237	207
3	440	207
4	554	207
5	607	207
6	768	207
7	1108	207
8	1623	207
9	2663	207
10	3892	207
11	4891	207
12	5326	207
13	5647	207
14	5868	207
15	6240	207
16	6849	207
17	7769	207
0	8038	197

Stop Event

1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(* (* (sqrt x) (+ y (+ (/ 1/9 x) -1))) 3)
(* (sqrt x) (+ y (+ (/ 1/9 x) -1)))
(sqrt x)
x
(+ y (+ (/ 1/9 x) -1))
y
(+ (/ 1/9 x) -1)
(/ 1/9 x)
1/9
-1
3
(* 3 (* (sqrt x) y))
3
(* (sqrt x) y)
(sqrt x)
x
y
(* (* 3 (sqrt x)) (/ 1/9 x))
(* 3 (sqrt x))
3
(sqrt x)
x
(/ 1/9 x)
1/9
(+ (* (sqrt x) -3) (* (sqrt x) (* 3 (+ (/ 1/9 x) y))))
(sqrt x)
x
-3
(* (sqrt x) (* 3 (+ (/ 1/9 x) y)))
(* 3 (+ (/ 1/9 x) y))
3
(+ (/ 1/9 x) y)
(/ 1/9 x)
1/9
y
(+ (* x (+ (* 1/3 (sqrt (/ 1 (* x (* x x))))) (* (sqrt (/ 1 x)) (+ (* 3 y) -3)))) 0)
x
(+ (* 1/3 (sqrt (/ 1 (* x (* x x))))) (* (sqrt (/ 1 x)) (+ (* 3 y) -3)))
1/3
(sqrt (/ 1 (* x (* x x))))
(/ 1 (* x (* x x)))
1
(* x (* x x))
(* x x)
(* (sqrt (/ 1 x)) (+ (* 3 y) -3))
(sqrt (/ 1 x))
(/ 1 x)
(+ (* 3 y) -3)
3
y
-3
0

Outputs
(* (* (sqrt x) (+ y (+ (/ 1/9 x) -1))) 3)
(fma.f64 (sqrt.f64 x) (+.f64 #s(literal -3 binary64) (fma.f64 y #s(literal 3 binary64) (/.f64 #s(literal 1/3 binary64) x))) #s(literal 0 binary64))
(* (sqrt x) (+ y (+ (/ 1/9 x) -1)))
(fma.f64 (sqrt.f64 x) (+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))) #s(literal 0 binary64))
(sqrt x)
(sqrt.f64 x)
x
(+ y (+ (/ 1/9 x) -1))
(+.f64 y (+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64)))
y
(+ (/ 1/9 x) -1)
(+.f64 (/.f64 #s(literal 1/9 binary64) x) #s(literal -1 binary64))
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
1/9
#s(literal 1/9 binary64)
-1
#s(literal -1 binary64)
3
#s(literal 3 binary64)
(* 3 (* (sqrt x) y))
(fma.f64 (sqrt.f64 x) (fma.f64 y #s(literal 3 binary64) #s(literal 0 binary64)) #s(literal 0 binary64))
3
#s(literal 3 binary64)
(* (sqrt x) y)
(fma.f64 (sqrt.f64 x) y #s(literal 0 binary64))
(sqrt x)
(sqrt.f64 x)
x
y
(* (* 3 (sqrt x)) (/ 1/9 x))
(fma.f64 (sqrt.f64 x) (/.f64 #s(literal 1/3 binary64) x) #s(literal 0 binary64))
(* 3 (sqrt x))
(fma.f64 (sqrt.f64 x) #s(literal 3 binary64) #s(literal 0 binary64))
3
#s(literal 3 binary64)
(sqrt x)
(sqrt.f64 x)
x
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
1/9
#s(literal 1/9 binary64)
(+ (* (sqrt x) -3) (* (sqrt x) (* 3 (+ (/ 1/9 x) y))))
(fma.f64 (sqrt.f64 x) (+.f64 #s(literal -3 binary64) (fma.f64 y #s(literal 3 binary64) (/.f64 #s(literal 1/3 binary64) x))) #s(literal 0 binary64))
(sqrt x)
(sqrt.f64 x)
x
-3
#s(literal -3 binary64)
(* (sqrt x) (* 3 (+ (/ 1/9 x) y)))
(fma.f64 (sqrt.f64 x) (fma.f64 y #s(literal 3 binary64) (/.f64 #s(literal 1/3 binary64) x)) #s(literal 0 binary64))
(* 3 (+ (/ 1/9 x) y))
(fma.f64 y #s(literal 3 binary64) (/.f64 #s(literal 1/3 binary64) x))
3
#s(literal 3 binary64)
(+ (/ 1/9 x) y)
(+.f64 y (/.f64 #s(literal 1/9 binary64) x))
(/ 1/9 x)
(/.f64 #s(literal 1/9 binary64) x)
1/9
#s(literal 1/9 binary64)
y
(+ (* x (+ (* 1/3 (sqrt (/ 1 (* x (* x x))))) (* (sqrt (/ 1 x)) (+ (* 3 y) -3)))) 0)
(fma.f64 x (fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (fma.f64 x x #s(literal 0 binary64)) #s(literal 0 binary64)))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 y #s(literal 3 binary64) #s(literal -3 binary64)) #s(literal 0 binary64))) #s(literal 0 binary64))
x
(+ (* 1/3 (sqrt (/ 1 (* x (* x x))))) (* (sqrt (/ 1 x)) (+ (* 3 y) -3)))
(fma.f64 #s(literal 1/3 binary64) (sqrt.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (fma.f64 x x #s(literal 0 binary64)) #s(literal 0 binary64)))) (fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 y #s(literal 3 binary64) #s(literal -3 binary64)) #s(literal 0 binary64)))
1/3
#s(literal 1/3 binary64)
(sqrt (/ 1 (* x (* x x))))
(sqrt.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x (fma.f64 x x #s(literal 0 binary64)) #s(literal 0 binary64))))
(/ 1 (* x (* x x)))
(/.f64 #s(literal 1 binary64) (fma.f64 x (fma.f64 x x #s(literal 0 binary64)) #s(literal 0 binary64)))
1
#s(literal 1 binary64)
(* x (* x x))
(fma.f64 x (fma.f64 x x #s(literal 0 binary64)) #s(literal 0 binary64))
(* x x)
(fma.f64 x x #s(literal 0 binary64))
(* (sqrt (/ 1 x)) (+ (* 3 y) -3))
(fma.f64 (sqrt.f64 (/.f64 #s(literal 1 binary64) x)) (fma.f64 y #s(literal 3 binary64) #s(literal -3 binary64)) #s(literal 0 binary64))
(sqrt (/ 1 x))
(sqrt.f64 (/.f64 #s(literal 1 binary64) x))
(/ 1 x)
(/.f64 #s(literal 1 binary64) x)
(+ (* 3 y) -3)
(fma.f64 y #s(literal 3 binary64) #s(literal -3 binary64))
3
#s(literal 3 binary64)
y
-3
#s(literal -3 binary64)
0
#s(literal 0 binary64)

localize1.0ms (0%)

Memory: 2.5MiB live, 2.5MiB allocated
Compiler: Compiled 218 to 39 computations (82.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze40.0ms (1.1%)

sample1.6s (43.9%)

preprocess311.0ms (8.8%)

explain133.0ms (3.7%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify253.0ms (7.1%)

localize37.0ms (1.1%)

series11.0ms (0.3%)

rewrite361.0ms (10.2%)

simplify360.0ms (10.2%)

eval60.0ms (1.7%)

prune68.0ms (1.9%)

simplify351.0ms (9.9%)

localize1.0ms (0%)

end0.0ms (0%)

Profiling