Metrics for Data.Colour.CIE:cieLAB from colour-2.3.3, C

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated; 0ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 7 to 7 computations (0% saved)

sample600.0ms (25%)

Memory

10.8MiB live, 766.1MiB allocated; 112ms collecting garbage

Samples

355.0ms

8 256×

valid

Precisions

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

ival-div: 92.0ms (60.5% of total)

ival-add: 46.0ms (30.3% of total)

ival-true: 5.0ms (3.3% of total)

exact: 5.0ms (3.3% of total)

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

adjust: 2.0ms (1.3% of total)

Bogosity

explain70.0ms (2.9%)

Memory

-20.8MiB live, 68.2MiB allocated; 17ms collecting garbage

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`y`
-	-	`(+.f64 x (/.f64 y #s(literal 500 binary64)))`
-	-	`#s(literal 500 binary64)`
-	-	`(/.f64 y #s(literal 500 binary64))`
-	-	`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

19.0ms

512×

valid

Compiler

Compiled 31 to 19 computations (38.7% saved)

Precisions

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

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

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

preprocess14.0ms (0.6%)

Memory

26.3MiB live, 26.3MiB allocated; 0ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	29
1	22	27
2	30	27
3	36	27
4	42	27
5	45	27
0	5	5
0	7	5
1	8	5
0	8	5

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))

Outputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))
(+.f64 (/.f64 y #s(literal 500 binary64)) x)

Compiler

Compiled 5 to 5 computations (0% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated; 0ms collecting garbage
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated; 0ms collecting garbage

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(+.f64 x (/.f64 y #s(literal 500 binary64)))

Compiler

Compiled 5 to 5 computations (0% saved)

simplify3.0ms (0.1%)

Memory

7.3MiB live, 7.3MiB allocated; 0ms collecting garbage

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(/.f64 y #s(literal 500 binary64))
cost-diff	0	(+.f64 x (/.f64 y #s(literal 500 binary64)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	11
0	7	11
1	8	11
0	8	11

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))
x
(/.f64 y #s(literal 500 binary64))
y
#s(literal 500 binary64)

Outputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))
(+.f64 (/.f64 y #s(literal 500 binary64)) x)
x
(/.f64 y #s(literal 500 binary64))
y
#s(literal 500 binary64)

localize18.0ms (0.8%)

Memory

-14.6MiB live, 27.9MiB allocated; 11ms collecting garbage

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(/.f64 y #s(literal 500 binary64))
accuracy	0.01171875	(+.f64 x (/.f64 y #s(literal 500 binary64)))

Samples

14.0ms

256×

valid

Compiler

Compiled 13 to 7 computations (46.2% saved)

Precisions

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

ival-div: 7.0ms (82.8% of total)

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

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series3.0ms (0.1%)

Memory

3.7MiB live, 3.7MiB allocated; 0ms collecting garbage

Counts

2 → 7

Calls

Call 1

Inputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))
(/.f64 y #s(literal 500 binary64))

Outputs
(* 1/500 y)
(+ x (* 1/500 y))
x
(* x (+ 1 (* 1/500 (/ y x))))
(* -1 (* x (- (* -1/500 (/ y x)) 1)))
(* y (+ 1/500 (/ x y)))
(* -1 (* y (- (* -1 (/ x y)) 1/500)))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	-inf	((+ x (/ y 500)) (/ y 500))
1.0ms	y	@	inf	((+ x (/ y 500)) (/ y 500))
0.0ms	y	@	0	((+ x (/ y 500)) (/ y 500))
0.0ms	x	@	inf	((+ x (/ y 500)) (/ y 500))
0.0ms	x	@	-inf	((+ x (/ y 500)) (/ y 500))

simplify300.0ms (12.5%)

Memory

-24.0MiB live, 125.9MiB allocated; 23ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	29
1	63	29
2	137	29
3	344	29
4	832	29
5	1846	29
6	2959	29
7	3632	29
8	4979	29
9	6485	29
10	6802	29
11	6914	29
12	6914	29
13	6914	29
14	7412	29
15	7661	29
16	7717	29
17	7717	29
18	7717	29
19	7717	29
20	7717	29
0	12489	24

Stop Event

1×	iter limit
1×	node limit

Counts

7 → 6

Calls

Call 1

Inputs
(* 1/500 y)
(+ x (* 1/500 y))
x
(* x (+ 1 (* 1/500 (/ y x))))
(* -1 (* x (- (* -1/500 (/ y x)) 1)))
(* y (+ 1/500 (/ x y)))
(* -1 (* y (- (* -1 (/ x y)) 1/500)))

Outputs
(* 1/500 y)
(*.f64 #s(literal 1/500 binary64) y)
(+ x (* 1/500 y))
(fma.f64 #s(literal 1/500 binary64) y x)
x
(* x (+ 1 (* 1/500 (/ y x))))
(fma.f64 #s(literal 1/500 binary64) y x)
(* -1 (* x (- (* -1/500 (/ y x)) 1)))
(fma.f64 #s(literal 1/500 binary64) y x)
(* y (+ 1/500 (/ x y)))
(fma.f64 #s(literal 1/500 binary64) y x)
(* -1 (* y (- (* -1 (/ x y)) 1/500)))
(fma.f64 #s(literal 1/500 binary64) y x)

rewrite183.0ms (7.7%)

Memory

32.6MiB live, 230.9MiB allocated; 28ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
0	7	8
1	25	8
2	169	8
3	1950	8
0	8894	8

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

2 → 177

Calls

Call 1

Inputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))
(/.f64 y #s(literal 500 binary64))

Outputs
(.f64 (/.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64))) #s(literal 2 binary64)))) (fma.f64 x x (*.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(.f64 (/.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (+.f64 (/.f64 (pow.f64 (.f64 y (-.f64 (/.f64 y #s(literal 500 binary64)) x)) #s(literal 3 binary64)) #s(literal 125000000 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64))) (-.f64 (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64))) (*.f64 x x)) (pow.f64 x #s(literal 4 binary64))))
(.f64 (/.f64 (fma.f64 y (/.f64 y #s(literal 250000 binary64)) (.f64 (neg.f64 x) x)) (fma.f64 y (/.f64 y #s(literal 250000 binary64)) (*.f64 (neg.f64 x) x))) (+.f64 (/.f64 y #s(literal 500 binary64)) x))
(.f64 (/.f64 (fma.f64 y (/.f64 y #s(literal 250000 binary64)) (.f64 (neg.f64 x) x)) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (/.f64 y #s(literal 500 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 x x)))
(.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (/.f64 (+.f64 (/.f64 y #s(literal 500 binary64)) x) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(*.f64 (+.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(/.f64 (+.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (/.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 #s(literal -250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) #s(literal 3 binary64)))) (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))))
(/.f64 (+.f64 (neg.f64 (*.f64 x x)) (neg.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))
(/.f64 (neg.f64 (-.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 y y) (*.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)))) (+.f64 (/.f64 y #s(literal 500 binary64)) x))
(/.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)))) (+.f64 (/.f64 y #s(literal 500 binary64)) x))
(/.f64 (neg.f64 (-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (/.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 #s(literal -250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) #s(literal 3 binary64))))) (neg.f64 (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))))))
(/.f64 (neg.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))))))
(/.f64 (neg.f64 (-.f64 (.f64 (.f64 x x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (*.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))))) (neg.f64 (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 2 binary64))))
(/.f64 (neg.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64))))) (neg.f64 (pow.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) #s(literal 2 binary64))))
(/.f64 (-.f64 (.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 x x))) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (.f64 #s(literal -500 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 (.f64 y y) #s(literal -500 binary64)))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 #s(literal -500 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (.f64 #s(literal 500 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 (/.f64 y #s(literal 500 binary64)) y))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 #s(literal 500 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (*.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (neg.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))))) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (.f64 #s(literal -250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 (neg.f64 y) y))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 #s(literal -250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 y y))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (-.f64 (.f64 (neg.f64 (.f64 x x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (*.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)))) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 #s(literal -500 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 (.f64 y y) #s(literal -500 binary64)))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 #s(literal -500 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 500 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 (/.f64 y #s(literal 500 binary64)) y))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 #s(literal 500 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (-.f64 (.f64 (.f64 x x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (*.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (neg.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))))) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 #s(literal -250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 (neg.f64 y) y))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 #s(literal -250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 y y))) (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (*.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (.f64 (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (.f64 #s(literal -125000000 binary64) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (.f64 (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (pow.f64 y #s(literal 3 binary64)))) (.f64 (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (.f64 #s(literal -125000000 binary64) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(/.f64 (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (.f64 #s(literal 125000000 binary64) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (.f64 (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (pow.f64 y #s(literal 3 binary64)))) (.f64 (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (.f64 #s(literal 125000000 binary64) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(/.f64 (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (.f64 (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)))) (.f64 (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(/.f64 (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)))) (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(/.f64 (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (.f64 #s(literal -125000000 binary64) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (pow.f64 y #s(literal 3 binary64)))) (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (.f64 #s(literal -125000000 binary64) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(/.f64 (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (.f64 #s(literal 125000000 binary64) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (pow.f64 y #s(literal 3 binary64)))) (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (.f64 #s(literal 125000000 binary64) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(/.f64 (-.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)) #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 (*.f64 x x)) (neg.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))
(/.f64 (-.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 y y) (*.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64))) (+.f64 (/.f64 y #s(literal 500 binary64)) x))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64))) (+.f64 (/.f64 y #s(literal 500 binary64)) x))
(/.f64 (-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (/.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 #s(literal -250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) #s(literal 3 binary64)))) (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))))))
(/.f64 (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 4 binary64)))) (neg.f64 (*.f64 (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64)))) (neg.f64 (*.f64 (fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64)))) (neg.f64 (.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x #s(literal 9 binary64)) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 9 binary64)))) (neg.f64 (.f64 (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(/.f64 (-.f64 (.f64 (.f64 x x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (*.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)))) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 2 binary64)))
(/.f64 (fma.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)))) (pow.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) #s(literal 2 binary64)))
(/.f64 (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))
(/.f64 (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 4 binary64))) (*.f64 (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (*.f64 (fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(/.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(/.f64 (-.f64 (pow.f64 x #s(literal 9 binary64)) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 9 binary64))) (.f64 (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(/.f64 (fma.f64 y (/.f64 y #s(literal 250000 binary64)) (*.f64 (neg.f64 x) x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x))
(/.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (neg.f64 (neg.f64 (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))))
(/.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (neg.f64 (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(/.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(/.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))
(neg.f64 (+.f64 (/.f64 y #s(literal 500 binary64)) x))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (/.f64 y #s(literal 500 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 x x)) (/.f64 (.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (/.f64 y #s(literal 500 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 x x)) (/.f64 (.f64 (neg.f64 x) x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (/.f64 y #s(literal 500 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 x x)) (/.f64 (.f64 x (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (/.f64 y #s(literal 500 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 x x)) (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(fma.f64 (/.f64 (.f64 x x) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (/.f64 y #s(literal 500 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 x x)) (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(fma.f64 (sqrt.f64 (neg.f64 (neg.f64 x))) (sqrt.f64 (neg.f64 (neg.f64 x))) (/.f64 y #s(literal 500 binary64)))
(fma.f64 (sqrt.f64 (neg.f64 x)) (sqrt.f64 (neg.f64 x)) (/.f64 y #s(literal 500 binary64)))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (/.f64 y #s(literal 500 binary64)))
(fma.f64 (sqrt.f64 (/.f64 y #s(literal -500 binary64))) (sqrt.f64 (/.f64 y #s(literal -500 binary64))) x)
(fma.f64 (sqrt.f64 (neg.f64 y)) (sqrt.f64 (/.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 500 binary64))) x)
(fma.f64 (sqrt.f64 (neg.f64 y)) (sqrt.f64 (/.f64 y #s(literal -250000 binary64))) x)
(fma.f64 (sqrt.f64 (/.f64 y #s(literal 500 binary64))) (sqrt.f64 (/.f64 y #s(literal 500 binary64))) x)
(fma.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (/.f64 y #s(literal -500 binary64)) #s(literal -500 binary64))) x)
(fma.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 y #s(literal 250000 binary64))) x)
(fma.f64 (/.f64 (.f64 x x) (fma.f64 y (/.f64 y #s(literal 250000 binary64)) (.f64 (neg.f64 x) x))) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64))) #s(literal 2 binary64)))) (fma.f64 x x (.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (+.f64 (/.f64 (pow.f64 (.f64 y (-.f64 (/.f64 y #s(literal 500 binary64)) x)) #s(literal 3 binary64)) #s(literal 125000000 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64))) (-.f64 (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64))) (.f64 x x)) (pow.f64 x #s(literal 4 binary64))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 y (/.f64 y #s(literal 250000 binary64)) (.f64 (neg.f64 x) x))) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 (.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 y (/.f64 y #s(literal 250000 binary64)) (.f64 (neg.f64 x) x))) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 (.f64 (neg.f64 x) x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 y (/.f64 y #s(literal 250000 binary64)) (.f64 (neg.f64 x) x))) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 (.f64 x (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 y (/.f64 y #s(literal 250000 binary64)) (.f64 (neg.f64 x) x))) (+.f64 (/.f64 y #s(literal 500 binary64)) x) (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (-.f64 (pow.f64 x #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64))) #s(literal 2 binary64)))) (fma.f64 x x (.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(fma.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (+.f64 (/.f64 (pow.f64 (.f64 y (-.f64 (/.f64 y #s(literal 500 binary64)) x)) #s(literal 3 binary64)) #s(literal 125000000 binary64)) (pow.f64 x #s(literal 6 binary64)))) (fma.f64 (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64))) (-.f64 (.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64))) (.f64 x x)) (pow.f64 x #s(literal 4 binary64))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3/2 binary64)) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3/2 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (/.f64 (pow.f64 x #s(literal 3/2 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(fma.f64 (neg.f64 x) (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(fma.f64 (/.f64 y #s(literal -500 binary64)) (/.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (*.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 y #s(literal -500 binary64)) (/.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (*.f64 (neg.f64 x) x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 y #s(literal -500 binary64)) (/.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (*.f64 x (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 y #s(literal -500 binary64)) (/.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (*.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (/.f64 (/.f64 y #s(literal 500 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(fma.f64 (.f64 x x) (/.f64 x (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(fma.f64 (/.f64 y #s(literal 500 binary64)) (/.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (*.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 y #s(literal 500 binary64)) (/.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (*.f64 (neg.f64 x) x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 y #s(literal 500 binary64)) (/.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (*.f64 x (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(fma.f64 (/.f64 y #s(literal 500 binary64)) (/.f64 (/.f64 y #s(literal -500 binary64)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (*.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(fma.f64 (/.f64 y #s(literal 500 binary64)) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(fma.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(fma.f64 x (/.f64 (.f64 x x) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(-.f64 (/.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (pow.f64 (/.f64 (.f64 y y) (*.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x)))
(-.f64 (/.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (+.f64 (/.f64 y #s(literal 500 binary64)) x)))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))))) (/.f64 (/.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 #s(literal -250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) #s(literal 2 binary64)) (.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (.f64 y y) (*.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))))))
(-.f64 (/.f64 (.f64 (.f64 x x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 2 binary64))) (/.f64 (*.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 2 binary64))))
(-.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 4 binary64)) (.f64 (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (.f64 (fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64)) (.f64 (fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(-.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64)) (.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)))) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (/.f64 (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 4 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)))) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 x #s(literal 4 binary64)))) (-.f64 (/.f64 y #s(literal 500 binary64)) x)) (/.f64 (/.f64 (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64)) (fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 x #s(literal 4 binary64)))) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (/.f64 (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64)) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(-.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (/.f64 (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64)) (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(-.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (neg.f64 (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3/2 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(-.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (neg.f64 (.f64 x x)) x) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(-.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (neg.f64 (pow.f64 x #s(literal 3/2 binary64))) (pow.f64 x #s(literal 3/2 binary64))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(-.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (neg.f64 (.f64 x x)) x) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(-.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (neg.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3/2 binary64))) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3/2 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (neg.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (/.f64 y #s(literal 500 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x))))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (neg.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3/2 binary64))) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3/2 binary64))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (neg.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (/.f64 y #s(literal 500 binary64))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (*.f64 x x)))))
(-.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(-.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (*.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(-.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (.f64 y y) (*.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(+.f64 (/.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 3 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))))) (/.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 3 binary64)) (+.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))))))
(+.f64 (/.f64 (.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (pow.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) #s(literal 2 binary64))) (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64))) (pow.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) #s(literal 2 binary64))))
(+.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 9 binary64)) (.f64 (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (pow.f64 x #s(literal 9 binary64)) (.f64 (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (pow.f64 x #s(literal 9 binary64)) (.f64 (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 9 binary64)) (.f64 (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(+.f64 (/.f64 (.f64 (/.f64 y #s(literal 500 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 x (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(+.f64 (/.f64 (.f64 x (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (/.f64 y #s(literal 500 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(+.f64 (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(+.f64 (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (/.f64 y #s(literal 500 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) x) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(+.f64 (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) x) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (/.f64 y #s(literal 500 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(+.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 9 binary64)) (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64)))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 9 binary64)) (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64)))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(+.f64 (/.f64 (.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (.f64 (/.f64 y #s(literal 500 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (.f64 x (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (.f64 x (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (.f64 (/.f64 y #s(literal 500 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (/.f64 y #s(literal 500 binary64))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) x) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) x) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)) (/.f64 y #s(literal 500 binary64))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (/.f64 (pow.f64 x #s(literal 9 binary64)) (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 9 binary64)) (-.f64 (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64))) (pow.f64 (.f64 (/.f64 y #s(literal 500 binary64)) x) #s(literal 3 binary64)))) (neg.f64 (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (pow.f64 x #s(literal 4 binary64)) (.f64 (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (.f64 (neg.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (*.f64 (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(+.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (.f64 (fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64)) (.f64 (fma.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) (fma.f64 x x (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) (pow.f64 x #s(literal 4 binary64))) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(+.f64 (/.f64 (pow.f64 x #s(literal 6 binary64)) (.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))) (/.f64 (pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 6 binary64)) (.f64 (-.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x)))))
(+.f64 (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))) (/.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 3 binary64)) (fma.f64 (-.f64 (/.f64 y #s(literal 500 binary64)) x) (/.f64 y #s(literal 500 binary64)) (.f64 x x))))
(+.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (*.f64 (neg.f64 (neg.f64 x)) (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(+.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (*.f64 (neg.f64 x) x) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(+.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (*.f64 x (neg.f64 x)) (-.f64 (/.f64 y #s(literal 500 binary64)) x)))
(+.f64 (/.f64 (.f64 y y) (.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (*.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(+.f64 (.f64 x (/.f64 x (-.f64 (/.f64 y #s(literal 500 binary64)) x))) (/.f64 (.f64 y y) (*.f64 #s(literal 250000 binary64) (-.f64 (/.f64 y #s(literal 500 binary64)) x))))
(+.f64 (/.f64 y #s(literal 500 binary64)) x)
(+.f64 x (/.f64 y #s(literal 500 binary64)))
(*.f64 (sqrt.f64 (/.f64 y #s(literal -500 binary64))) (sqrt.f64 (/.f64 y #s(literal -500 binary64))))
(*.f64 (sqrt.f64 (neg.f64 y)) (sqrt.f64 (/.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 500 binary64))))
(*.f64 (sqrt.f64 (neg.f64 y)) (sqrt.f64 (/.f64 y #s(literal -250000 binary64))))
(*.f64 (sqrt.f64 (/.f64 y #s(literal 500 binary64))) (sqrt.f64 (/.f64 y #s(literal 500 binary64))))
(*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 (/.f64 y #s(literal -500 binary64)) #s(literal -500 binary64))))
(*.f64 (sqrt.f64 y) (sqrt.f64 (/.f64 y #s(literal 250000 binary64))))
(pow.f64 (/.f64 y #s(literal -500 binary64)) #s(literal 1 binary64))
(pow.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 1 binary64))
(/.f64 (neg.f64 (fabs.f64 y)) #s(literal -500 binary64))
(/.f64 (fabs.f64 (fabs.f64 y)) #s(literal 500 binary64))
(/.f64 (sqrt.f64 (neg.f64 (/.f64 (*.f64 y y) #s(literal -500 binary64)))) (sqrt.f64 #s(literal 500 binary64)))
(/.f64 (sqrt.f64 (/.f64 (*.f64 y y) #s(literal -500 binary64))) (sqrt.f64 #s(literal -500 binary64)))
(/.f64 (sqrt.f64 (*.f64 (/.f64 y #s(literal 500 binary64)) y)) (sqrt.f64 #s(literal 500 binary64)))
(/.f64 (sqrt.f64 (*.f64 (neg.f64 y) y)) (sqrt.f64 #s(literal -250000 binary64)))
(/.f64 (exp.f64 (log.f64 (neg.f64 y))) (exp.f64 (log.f64 #s(literal -500 binary64))))
(/.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 #s(literal 500 binary64))))
(/.f64 (fabs.f64 y) #s(literal 500 binary64))
(/.f64 (neg.f64 y) #s(literal -500 binary64))
(/.f64 y #s(literal 500 binary64))
(neg.f64 (/.f64 y #s(literal -500 binary64)))
(sqrt.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64)))
(fabs.f64 (/.f64 y #s(literal -500 binary64)))
(fabs.f64 (/.f64 y #s(literal 500 binary64)))
(exp.f64 (/.f64 (log.f64 (pow.f64 (/.f64 y #s(literal 500 binary64)) #s(literal 2 binary64))) #s(literal 2 binary64)))
(exp.f64 (*.f64 (log.f64 (/.f64 y #s(literal 500 binary64))) #s(literal 1 binary64)))
(exp.f64 (log.f64 (/.f64 y #s(literal 500 binary64))))
(+.f64 (cosh.f64 (log.f64 (/.f64 y #s(literal 500 binary64)))) (sinh.f64 (log.f64 (/.f64 y #s(literal 500 binary64)))))

eval34.0ms (1.4%)

Memory: -8.0MiB live, 38.1MiB allocated; 8ms collecting garbage
Compiler: Compiled 6 531 to 547 computations (91.6% saved)

prune3.0ms (0.1%)

Memory

9.6MiB live, 9.6MiB allocated; 0ms collecting garbage

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	177	2	179
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	177	3	180

Accuracy

100.0%

Counts

180 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 x (/.f64 y #s(literal 500 binary64)))
▶	99.9%	#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
▶	54.3%	#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Compiler

Compiled 24 to 21 computations (12.5% saved)

simplify34.0ms (1.4%)

Memory

-39.7MiB live, 14.2MiB allocated; 7ms collecting garbage

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(fma.f64 #s(literal 1/500 binary64) y x)
cost-diff	0	#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
cost-diff	0	(*.f64 #s(literal 1/500 binary64) y)
cost-diff	0	#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	31
0	12	31
1	15	31
2	22	31
3	29	31
4	38	31
5	40	31
6	44	31
7	47	31
0	47	31

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
(*.f64 #s(literal 1/500 binary64) y)
#s(literal 1/500 binary64)
y
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
(fma.f64 #s(literal 1/500 binary64) y x)
#s(literal 1/500 binary64)
y
x

Outputs
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
(*.f64 #s(literal 1/500 binary64) y)
#s(literal 1/500 binary64)
y
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
(fma.f64 #s(literal 1/500 binary64) y x)
#s(literal 1/500 binary64)
y
x

localize23.0ms (1%)

Memory

31.6MiB live, 31.6MiB allocated; 0ms collecting garbage

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
accuracy	0.06640625	(fma.f64 #s(literal 1/500 binary64) y x)
accuracy	0.12890625	(*.f64 #s(literal 1/500 binary64) y)
accuracy	29.190797918930507	#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Samples

17.0ms

256×

valid

Compiler

Compiled 25 to 10 computations (60% saved)

Precisions

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

const: 3.0ms (30.6% of total)

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

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

ival-mult: 2.0ms (20.4% of total)

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

adjust: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

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

series2.0ms (0.1%)

Memory

3.5MiB live, 3.5MiB allocated; 0ms collecting garbage

Counts

4 → 7

Calls

Call 1

Inputs
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
(*.f64 #s(literal 1/500 binary64) y)
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
(fma.f64 #s(literal 1/500 binary64) y x)

Outputs
(* 1/500 y)
(+ x (* 1/500 y))
x
(* x (+ 1 (* 1/500 (/ y x))))
(* -1 (* x (- (* -1/500 (/ y x)) 1)))
(* y (+ 1/500 (/ x y)))
(* -1 (* y (- (* -1 (/ x y)) 1/500)))

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	-inf	((+ x (/ y 500)) (* 1/500 y) (+ x (/ y 500)) (+ (* 1/500 y) x))
0.0ms	y	@	inf	((+ x (/ y 500)) (* 1/500 y) (+ x (/ y 500)) (+ (* 1/500 y) x))
0.0ms	x	@	-inf	((+ x (/ y 500)) (* 1/500 y) (+ x (/ y 500)) (+ (* 1/500 y) x))
0.0ms	x	@	inf	((+ x (/ y 500)) (* 1/500 y) (+ x (/ y 500)) (+ (* 1/500 y) x))
0.0ms	y	@	0	((+ x (/ y 500)) (* 1/500 y) (+ x (/ y 500)) (+ (* 1/500 y) x))

simplify444.0ms (18.5%)

Memory

-37.6MiB live, 153.9MiB allocated; 21ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	29
1	63	29
2	137	29
3	344	29
4	832	29
5	1846	29
6	2959	29
7	3632	29
8	4979	29
9	6485	29
10	6802	29
11	6914	29
12	6914	29
13	6914	29
14	7412	29
15	7661	29
16	7717	29
17	7717	29
18	7717	29
19	7717	29
20	7717	29
0	12489	24

Stop Event

1×	iter limit
1×	node limit

Counts

7 → 6

Calls

Call 1

Inputs
(* 1/500 y)
(+ x (* 1/500 y))
x
(* x (+ 1 (* 1/500 (/ y x))))
(* -1 (* x (- (* -1/500 (/ y x)) 1)))
(* y (+ 1/500 (/ x y)))
(* -1 (* y (- (* -1 (/ x y)) 1/500)))

Outputs
(* 1/500 y)
(*.f64 #s(literal 1/500 binary64) y)
(+ x (* 1/500 y))
(fma.f64 #s(literal 1/500 binary64) y x)
x
(* x (+ 1 (* 1/500 (/ y x))))
(fma.f64 #s(literal 1/500 binary64) y x)
(* -1 (* x (- (* -1/500 (/ y x)) 1)))
(fma.f64 #s(literal 1/500 binary64) y x)
(* y (+ 1/500 (/ x y)))
(fma.f64 #s(literal 1/500 binary64) y x)
(* -1 (* y (- (* -1 (/ x y)) 1/500)))
(fma.f64 #s(literal 1/500 binary64) y x)

rewrite176.0ms (7.4%)

Memory

37.8MiB live, 224.6MiB allocated; 22ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	26
0	12	26
1	42	26
2	298	26
3	3355	26
0	9548	26

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 113

Calls

Call 1

Inputs
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
(*.f64 #s(literal 1/500 binary64) y)
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
(fma.f64 #s(literal 1/500 binary64) y x)

Outputs
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
(*.f64 (fabs.f64 (fabs.f64 y)) #s(literal 1/500 binary64))
(.f64 (sqrt.f64 (neg.f64 (.f64 #s(literal -1/500 binary64) y))) (sqrt.f64 (neg.f64 (*.f64 #s(literal -1/500 binary64) y))))
(.f64 (sqrt.f64 (.f64 #s(literal -1/500 binary64) y)) (sqrt.f64 (*.f64 #s(literal -1/500 binary64) y)))
(.f64 (sqrt.f64 (.f64 #s(literal 1/500 binary64) y)) (sqrt.f64 (*.f64 #s(literal 1/500 binary64) y)))
(.f64 (sqrt.f64 (.f64 (*.f64 y y) #s(literal 1/500 binary64))) (sqrt.f64 #s(literal 1/500 binary64)))
(.f64 (sqrt.f64 #s(literal 1/500 binary64)) (sqrt.f64 (.f64 (*.f64 y y) #s(literal 1/500 binary64))))
(.f64 (sqrt.f64 (.f64 #s(literal 1/250000 binary64) y)) (sqrt.f64 y))
(.f64 (sqrt.f64 y) (sqrt.f64 (.f64 #s(literal 1/250000 binary64) y)))
(*.f64 (exp.f64 (log.f64 #s(literal 1/500 binary64))) (exp.f64 (log.f64 y)))
(*.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 #s(literal 1/500 binary64))))
(*.f64 (pow.f64 y #s(literal 1 binary64)) #s(literal 1/500 binary64))
(*.f64 (fabs.f64 y) #s(literal 1/500 binary64))
(*.f64 #s(literal 1/500 binary64) (fabs.f64 (fabs.f64 y)))
(*.f64 #s(literal 1/500 binary64) (pow.f64 y #s(literal 1 binary64)))
(*.f64 #s(literal 1/500 binary64) (fabs.f64 y))
(*.f64 #s(literal 1/500 binary64) y)
(*.f64 y #s(literal 1/500 binary64))
(pow.f64 (*.f64 #s(literal -1/500 binary64) y) #s(literal 1 binary64))
(pow.f64 (pow.f64 (*.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 #s(literal 1/500 binary64) y) #s(literal 1 binary64))
(sqrt.f64 (pow.f64 (*.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)))
(fabs.f64 (neg.f64 (*.f64 #s(literal -1/500 binary64) y)))
(fabs.f64 (*.f64 #s(literal -1/500 binary64) y))
(fabs.f64 (*.f64 #s(literal 1/500 binary64) y))
(exp.f64 (/.f64 (log.f64 (pow.f64 (*.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64))) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal 1/500 binary64) y)) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 #s(literal 1/500 binary64) y)))
(+.f64 (cosh.f64 (log.f64 (.f64 #s(literal 1/500 binary64) y))) (sinh.f64 (log.f64 (.f64 #s(literal 1/500 binary64) y))))
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
(.f64 (/.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (neg.f64 x) x)) (fma.f64 #s(literal -1/125000000 binary64) (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 #s(literal 1/250000 binary64) (.f64 y y) (*.f64 x (fma.f64 #s(literal 1/500 binary64) y x))))
(.f64 (/.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (neg.f64 x) x)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (*.f64 (neg.f64 x) x))) (fma.f64 #s(literal 1/500 binary64) y x))
(.f64 (/.f64 (fma.f64 #s(literal -1/125000000 binary64) (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (-.f64 (pow.f64 (.f64 #s(literal -1/500 binary64) y) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x)))
(.f64 (/.f64 (fma.f64 #s(literal -1/125000000 binary64) (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 #s(literal 1/15625000000000000 binary64) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) (-.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64))) (pow.f64 (*.f64 #s(literal -1/500 binary64) y) #s(literal 4 binary64))))
(.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) (/.f64 (fma.f64 #s(literal 1/500 binary64) y x) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x))))
(.f64 (fma.f64 #s(literal 1/500 binary64) y x) (/.f64 (-.f64 (.f64 #s(literal 1/500 binary64) y) x) (-.f64 (*.f64 #s(literal 1/500 binary64) y) x)))
(/.f64 (-.f64 (.f64 (.f64 x x) (-.f64 x (.f64 #s(literal 1/500 binary64) y))) (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)))) (pow.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (neg.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64))) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 (-.f64 (.f64 #s(literal 1/500 binary64) y) x) (.f64 (neg.f64 x) x))) (pow.f64 (-.f64 (*.f64 #s(literal 1/500 binary64) y) x) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (neg.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64))) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 (-.f64 (.f64 #s(literal 1/500 binary64) y) x) (.f64 x x))) (pow.f64 (-.f64 (*.f64 #s(literal 1/500 binary64) y) x) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 (-.f64 (.f64 #s(literal 1/500 binary64) y) x) (.f64 (neg.f64 x) x))) (pow.f64 (-.f64 (*.f64 #s(literal 1/500 binary64) y) x) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (neg.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)))) (.f64 (neg.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (pow.f64 x #s(literal 3 binary64)))) (pow.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (.f64 (neg.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (pow.f64 x #s(literal 3 binary64)))) (.f64 (neg.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (neg.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)))) (.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) (pow.f64 x #s(literal 3 binary64)))) (.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) (neg.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) (pow.f64 x #s(literal 3 binary64)))) (pow.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) #s(literal 2 binary64)))
(/.f64 (-.f64 (neg.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64))) (.f64 (neg.f64 x) x)) (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))
(/.f64 (-.f64 (pow.f64 (.f64 (.f64 #s(literal 1/250000 binary64) y) (/.f64 y (-.f64 (.f64 #s(literal 1/500 binary64) y) x))) #s(literal 2 binary64)) (pow.f64 (.f64 x (/.f64 x (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))) #s(literal 2 binary64))) (fma.f64 #s(literal 1/500 binary64) y x))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) #s(literal 2 binary64)) (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x))) #s(literal 2 binary64))) (fma.f64 #s(literal 1/500 binary64) y x))
(/.f64 (-.f64 (.f64 (pow.f64 y #s(literal 6 binary64)) (pow.f64 (/.f64 #s(literal 1/250000 binary64) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) #s(literal 3 binary64))) (/.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (-.f64 (.f64 #s(literal 1/500 binary64) y) x) #s(literal 3 binary64)))) (+.f64 (pow.f64 (.f64 (.f64 #s(literal 1/250000 binary64) y) (/.f64 y (-.f64 (.f64 #s(literal 1/500 binary64) y) x))) #s(literal 2 binary64)) (+.f64 (pow.f64 (.f64 x (/.f64 x (-.f64 (.f64 #s(literal 1/500 binary64) y) x))) #s(literal 2 binary64)) (.f64 (.f64 (.f64 #s(literal 1/250000 binary64) y) (/.f64 y (-.f64 (.f64 #s(literal 1/500 binary64) y) x))) (.f64 x (/.f64 x (-.f64 (.f64 #s(literal 1/500 binary64) y) x)))))))
(/.f64 (fma.f64 #s(literal 1/1953125000000000000000000 binary64) (pow.f64 (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) #s(literal 2 binary64)) (-.f64 (pow.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) #s(literal 2 binary64)) (.f64 (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x)))))))
(/.f64 (neg.f64 (fma.f64 x x (.f64 #s(literal -1/250000 binary64) (.f64 y y)))) (neg.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y))))
(/.f64 (-.f64 (.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 (-.f64 (.f64 #s(literal 1/500 binary64) y) x) (.f64 x x))) (pow.f64 (-.f64 (*.f64 #s(literal 1/500 binary64) y) x) #s(literal 2 binary64)))
(/.f64 (fma.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) (.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) (pow.f64 x #s(literal 3 binary64)))) (pow.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x)) #s(literal 2 binary64)))
(/.f64 (-.f64 (pow.f64 (.f64 #s(literal -1/500 binary64) y) #s(literal 4 binary64)) (pow.f64 x #s(literal 4 binary64))) (.f64 (fma.f64 #s(literal 1/250000 binary64) (.f64 y y) (.f64 x x)) (-.f64 (*.f64 #s(literal 1/500 binary64) y) x)))
(/.f64 (fma.f64 #s(literal 1/15625000000000000 binary64) (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 6 binary64))) (.f64 (fma.f64 #s(literal 1/62500000000 binary64) (pow.f64 y #s(literal 4 binary64)) (fma.f64 (pow.f64 (.f64 y x) #s(literal 2 binary64)) #s(literal 1/250000 binary64) (pow.f64 x #s(literal 4 binary64)))) (-.f64 (*.f64 #s(literal 1/500 binary64) y) x)))
(/.f64 (fma.f64 #s(literal 1/15625000000000000 binary64) (pow.f64 y #s(literal 6 binary64)) (pow.f64 x #s(literal 6 binary64))) (.f64 (fma.f64 #s(literal -1/125000000 binary64) (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(/.f64 (fma.f64 x x (.f64 #s(literal -1/250000 binary64) (.f64 y y))) (-.f64 x (*.f64 #s(literal 1/500 binary64) y)))
(/.f64 (fma.f64 #s(literal 1/1953125000000000000000000 binary64) (pow.f64 y #s(literal 9 binary64)) (pow.f64 x #s(literal 9 binary64))) (.f64 (fma.f64 #s(literal 1/15625000000000000 binary64) (pow.f64 y #s(literal 6 binary64)) (-.f64 (pow.f64 x #s(literal 6 binary64)) (pow.f64 (.f64 (.f64 #s(literal 1/500 binary64) y) x) #s(literal 3 binary64)))) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(/.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (neg.f64 x) x)) (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))
(/.f64 (fma.f64 #s(literal -1/125000000 binary64) (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (neg.f64 (neg.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x)))))
(/.f64 (fma.f64 #s(literal -1/125000000 binary64) (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (neg.f64 (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x))))
(/.f64 (fma.f64 #s(literal -1/125000000 binary64) (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x)))
(neg.f64 (fma.f64 #s(literal 1/500 binary64) y x))
(fma.f64 (fabs.f64 (fabs.f64 y)) #s(literal 1/500 binary64) x)
(fma.f64 (sqrt.f64 (neg.f64 (neg.f64 x))) (sqrt.f64 (neg.f64 (neg.f64 x))) (*.f64 #s(literal 1/500 binary64) y))
(fma.f64 (sqrt.f64 (neg.f64 x)) (sqrt.f64 (neg.f64 x)) (*.f64 #s(literal 1/500 binary64) y))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 #s(literal 1/500 binary64) y))
(fma.f64 (sqrt.f64 (neg.f64 (.f64 #s(literal -1/500 binary64) y))) (sqrt.f64 (neg.f64 (.f64 #s(literal -1/500 binary64) y))) x)
(fma.f64 (sqrt.f64 (.f64 #s(literal -1/500 binary64) y)) (sqrt.f64 (.f64 #s(literal -1/500 binary64) y)) x)
(fma.f64 (sqrt.f64 (.f64 #s(literal 1/500 binary64) y)) (sqrt.f64 (.f64 #s(literal 1/500 binary64) y)) x)
(fma.f64 (sqrt.f64 (.f64 (.f64 y y) #s(literal 1/500 binary64))) (sqrt.f64 #s(literal 1/500 binary64)) x)
(fma.f64 (sqrt.f64 #s(literal 1/500 binary64)) (sqrt.f64 (.f64 (.f64 y y) #s(literal 1/500 binary64))) x)
(fma.f64 (sqrt.f64 (*.f64 #s(literal 1/250000 binary64) y)) (sqrt.f64 y) x)
(fma.f64 (sqrt.f64 y) (sqrt.f64 (*.f64 #s(literal 1/250000 binary64) y)) x)
(fma.f64 (exp.f64 (log.f64 #s(literal 1/500 binary64))) (exp.f64 (log.f64 y)) x)
(fma.f64 (exp.f64 (log.f64 y)) (exp.f64 (log.f64 #s(literal 1/500 binary64))) x)
(fma.f64 (pow.f64 y #s(literal 1 binary64)) #s(literal 1/500 binary64) x)
(fma.f64 (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (fma.f64 #s(literal -1/125000000 binary64) (pow.f64 y #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64)))) (fma.f64 #s(literal 1/250000 binary64) (.f64 y y) (.f64 x (fma.f64 #s(literal 1/500 binary64) y x))) (.f64 x (/.f64 x (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (neg.f64 x) x))) (fma.f64 #s(literal 1/500 binary64) y x) (.f64 x (/.f64 x (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (-.f64 (pow.f64 (.f64 #s(literal -1/500 binary64) y) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 #s(literal 1/15625000000000000 binary64) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) (-.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64))) (pow.f64 (.f64 #s(literal -1/500 binary64) y) #s(literal 4 binary64))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (-.f64 (pow.f64 (.f64 #s(literal -1/500 binary64) y) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) #s(literal 2 binary64)))) (-.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x)) (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 #s(literal 1/15625000000000000 binary64) (pow.f64 y #s(literal 6 binary64)) (pow.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) #s(literal 3 binary64)))) (fma.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) (-.f64 (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x) (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64))) (pow.f64 (.f64 #s(literal -1/500 binary64) y) #s(literal 4 binary64))) (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (fabs.f64 y) #s(literal 1/500 binary64) x)
(fma.f64 (.f64 (.f64 y y) #s(literal 1/500 binary64)) (/.f64 #s(literal 1/500 binary64) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 x (/.f64 x (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 (.f64 #s(literal 1/250000 binary64) y) (/.f64 y (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 x (/.f64 x (-.f64 (.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 #s(literal 1/250000 binary64) (/.f64 (.f64 y y) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 x (/.f64 x (-.f64 (.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3/2 binary64)) (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3/2 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (pow.f64 x #s(literal 3/2 binary64)) (/.f64 (pow.f64 x #s(literal 3/2 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (.f64 y y) (/.f64 #s(literal 1/250000 binary64) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 x (/.f64 x (-.f64 (.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 (.f64 #s(literal -1/500 binary64) y) (/.f64 (.f64 #s(literal -1/500 binary64) y) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 x (/.f64 x (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 #s(literal 1/125000000 binary64) (/.f64 (pow.f64 y #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (pow.f64 y #s(literal 3 binary64)) (/.f64 #s(literal 1/125000000 binary64) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (/.f64 (.f64 #s(literal 1/500 binary64) y) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (.f64 x x) (/.f64 x (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 (.f64 #s(literal 1/500 binary64) y) (/.f64 (.f64 #s(literal 1/500 binary64) y) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 x (/.f64 x (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 (.f64 #s(literal 1/500 binary64) y) (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(fma.f64 #s(literal 1/500 binary64) (fabs.f64 (fabs.f64 y)) x)
(fma.f64 #s(literal 1/500 binary64) (pow.f64 y #s(literal 1 binary64)) x)
(fma.f64 #s(literal 1/500 binary64) (/.f64 (.f64 (.f64 y y) #s(literal 1/500 binary64)) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 x (/.f64 x (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 #s(literal 1/500 binary64) (fabs.f64 y) x)
(fma.f64 #s(literal 1/500 binary64) y x)
(fma.f64 y (/.f64 (.f64 #s(literal 1/250000 binary64) y) (-.f64 (.f64 #s(literal 1/500 binary64) y) x)) (.f64 x (/.f64 x (-.f64 (.f64 #s(literal 1/500 binary64) y) x))))
(fma.f64 y #s(literal 1/500 binary64) x)
(fma.f64 x (/.f64 (.f64 x x) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))))
(-.f64 (/.f64 (.f64 x x) (-.f64 x (.f64 #s(literal 1/500 binary64) y))) (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 2 binary64)) (-.f64 x (.f64 #s(literal 1/500 binary64) y))))
(-.f64 (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x))))
(-.f64 (.f64 (.f64 #s(literal 1/250000 binary64) y) (/.f64 y (-.f64 (.f64 #s(literal 1/500 binary64) y) x))) (.f64 x (/.f64 x (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))))
(-.f64 x (*.f64 #s(literal -1/500 binary64) y))
(+.f64 (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x))))
(+.f64 (/.f64 (pow.f64 (.f64 #s(literal 1/500 binary64) y) #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (.f64 #s(literal 1/500 binary64) y)) x))) (/.f64 (pow.f64 x #s(literal 3 binary64)) (fma.f64 (.f64 #s(literal 1/250000 binary64) y) y (.f64 (-.f64 x (*.f64 #s(literal 1/500 binary64) y)) x))))
(+.f64 (.f64 (.f64 #s(literal 1/250000 binary64) y) (/.f64 y (-.f64 (.f64 #s(literal 1/500 binary64) y) x))) (.f64 x (/.f64 x (-.f64 (*.f64 #s(literal 1/500 binary64) y) x))))
(+.f64 (*.f64 #s(literal 1/500 binary64) y) x)
(+.f64 x (*.f64 #s(literal 1/500 binary64) y))

eval19.0ms (0.8%)

Memory: 6.4MiB live, 50.8MiB allocated; 10ms collecting garbage
Compiler: Compiled 3 085 to 408 computations (86.8% saved)

prune12.0ms (0.5%)

Memory

-23.7MiB live, 12.8MiB allocated; 9ms collecting garbage

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	113	3	116

Accuracy

100.0%

Counts

116 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 x (/.f64 y #s(literal 500 binary64)))
✓	99.9%	#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
✓	54.3%	#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Compiler

Compiled 48 to 34 computations (29.2% saved)

regimes7.0ms (0.3%)

Memory

23.6MiB live, 23.6MiB allocated; 0ms collecting garbage

Counts

3 → 1

Calls

Call 1

Inputs
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
(+.f64 x (/.f64 y #s(literal 500 binary64)))

Outputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))

Calls

4 calls:

2.0ms	(+.f64 x (/.f64 y #s(literal 500 binary64)))
2.0ms	y
2.0ms	(/.f64 y #s(literal 500 binary64))
2.0ms	x

Results

Accuracy	Segments	Branch
100.0%	1	`(/.f64 y #s(literal 500 binary64))`
100.0%	1	`(+.f64 x (/.f64 y #s(literal 500 binary64)))`
100.0%	1	`x`
100.0%	1	`y`

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes15.0ms (0.6%)

Memory

-22.1MiB live, 20.3MiB allocated; 11ms collecting garbage

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))

Outputs
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))

Calls

4 calls:

10.0ms	(+.f64 x (/.f64 y #s(literal 500 binary64)))
2.0ms	(/.f64 y #s(literal 500 binary64))
1.0ms	x
1.0ms	y

Results

Accuracy	Segments	Branch
99.9%	1	`(/.f64 y #s(literal 500 binary64))`
99.9%	1	`(+.f64 x (/.f64 y #s(literal 500 binary64)))`
99.9%	1	`x`
99.9%	1	`y`

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes4.0ms (0.2%)

Memory

10.3MiB live, 10.3MiB allocated; 0ms collecting garbage

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Outputs
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Calls

4 calls:

1.0ms	(+.f64 x (/.f64 y #s(literal 500 binary64)))
1.0ms	y
1.0ms	(/.f64 y #s(literal 500 binary64))
1.0ms	x

Results

Accuracy	Segments	Branch
54.3%	1	`(/.f64 y #s(literal 500 binary64))`
54.3%	1	`(+.f64 x (/.f64 y #s(literal 500 binary64)))`
54.3%	1	`x`
54.3%	1	`y`

Compiler

Compiled 10 to 13 computations (-30% saved)

simplify9.0ms (0.4%)

Memory

15.6MiB live, 15.6MiB allocated; 0ms collecting garbage

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	24
1	13	24

Stop Event

1×

saturated

Calls

Call 1

Inputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Outputs
(+.f64 x (/.f64 y #s(literal 500 binary64)))
#s(approx (+ x (/ y 500)) (fma.f64 #s(literal 1/500 binary64) y x))
#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

derivations363.0ms (15.2%)

Memory

-0.3MiB live, 103.8MiB allocated; 40ms collecting garbage

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	29
1	63	29
2	137	29
3	344	29
4	832	29
5	1846	29
6	2959	29
7	3632	29
8	4979	29
9	6485	29
10	6802	29
11	6914	29
12	6914	29
13	6914	29
14	7412	29
15	7661	29
16	7717	29
17	7717	29
18	7717	29
19	7717	29
20	7717	29
0	12489	24

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 24 to 13 computations (45.8% saved)

preprocess57.0ms (2.4%)

Memory: -17.3MiB live, 27.5MiB allocated; 4ms collecting garbage
Compiler: Compiled 58 to 36 computations (37.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze0.0ms (0%)

sample600.0ms (25%)

explain70.0ms (2.9%)

preprocess14.0ms (0.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.1%)

localize18.0ms (0.8%)

series3.0ms (0.1%)

simplify300.0ms (12.5%)

rewrite183.0ms (7.7%)

eval34.0ms (1.4%)

prune3.0ms (0.1%)

simplify34.0ms (1.4%)

localize23.0ms (1%)

series2.0ms (0.1%)

simplify444.0ms (18.5%)

rewrite176.0ms (7.4%)

eval19.0ms (0.8%)

prune12.0ms (0.5%)

regimes7.0ms (0.3%)

regimes15.0ms (0.6%)

regimes4.0ms (0.2%)

simplify9.0ms (0.4%)

derivations363.0ms (15.2%)

preprocess57.0ms (2.4%)

end0.0ms (0%)

Profiling