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

start0.0ms (0%)

Memory: 0.1MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

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)

sample556.0ms (21.9%)

Memory

3.6MiB live, 789.8MiB allocated

Samples

357.0ms

8 256×

valid

Precisions

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

ival-div: 74.0ms (46.6% of total)

ival-add: 72.0ms (45.3% of total)

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

exact: 4.0ms (2.5% of total)

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

Bogosity

explain51.0ms (2%)

Memory

-0.4MiB live, 84.3MiB allocated

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

21.0ms

512×

valid

Compiler

Compiled 42 to 24 computations (42.9% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

preprocess15.0ms (0.6%)

Memory

-11.9MiB live, 25.8MiB allocated

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
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

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

4.3MiB live, 4.3MiB allocated

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)

localize13.0ms (0.5%)

Memory

25.3MiB live, 25.3MiB allocated

Localize:

Found 2 expressions of interest:

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

Samples

9.0ms

256×

valid

Compiler

Compiled 24 to 12 computations (50% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

series3.0ms (0.1%)

Memory

4.8MiB live, 4.8MiB allocated

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))

simplify272.0ms (10.7%)

Memory

-5.5MiB live, 150.6MiB allocated

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)

rewrite197.0ms (7.8%)

Memory

-11.6MiB live, 159.6MiB allocated

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)))))

eval20.0ms (0.8%)

Memory: -10.3MiB live, 27.6MiB allocated
Compiler: Compiled 6 531 to 547 computations (91.6% saved)

prune3.0ms (0.1%)

Memory

9.4MiB live, 9.4MiB allocated

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.1%	#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Compiler

Compiled 24 to 21 computations (12.5% saved)

simplify5.0ms (0.2%)

Memory

3.2MiB live, 3.2MiB allocated

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

localize38.0ms (1.5%)

Memory

-15.9MiB live, 22.8MiB allocated

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.0546875	(fma.f64 #s(literal 1/500 binary64) y x)
accuracy	0.11328125	(*.f64 #s(literal 1/500 binary64) y)
accuracy	29.291647899258294	#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Samples

32.0ms

256×

valid

Compiler

Compiled 56 to 20 computations (64.3% saved)

Precisions

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

ival-div: 17.0ms (69.1% of total)

const: 3.0ms (12.2% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series2.0ms (0.1%)

Memory

1.6MiB live, 1.6MiB allocated

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))

simplify283.0ms (11.2%)

Memory

-2.1MiB live, 154.2MiB allocated

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)

rewrite327.0ms (12.9%)

Memory

-11.6MiB live, 272.9MiB allocated

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))

eval24.0ms (0.9%)

Memory: 36.7MiB live, 36.7MiB allocated
Compiler: Compiled 3 085 to 408 computations (86.8% saved)

prune27.0ms (1.1%)

Memory

-27.6MiB live, 8.8MiB allocated

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.1%	#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Compiler

Compiled 48 to 34 computations (29.2% saved)

regimes13.0ms (0.5%)

Memory

14.3MiB live, 14.3MiB allocated

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:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes11.0ms (0.4%)

Memory

12.2MiB live, 12.2MiB allocated

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:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

regimes68.0ms (2.7%)

Memory

-19.3MiB live, 27.0MiB allocated

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:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

simplify24.0ms (0.9%)

Memory

-16.8MiB live, 21.7MiB allocated

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))

soundness537.0ms (21.1%)

Memory

7.8MiB live, 126.1MiB allocated

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 31 to 21 computations (32.3% saved)

preprocess45.0ms (1.8%)

Memory: -0.4MiB live, 35.8MiB allocated
Compiler: Compiled 58 to 36 computations (37.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample556.0ms (21.9%)

explain51.0ms (2%)

preprocess15.0ms (0.6%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify3.0ms (0.1%)

localize13.0ms (0.5%)

series3.0ms (0.1%)

simplify272.0ms (10.7%)

rewrite197.0ms (7.8%)

eval20.0ms (0.8%)

prune3.0ms (0.1%)

simplify5.0ms (0.2%)

localize38.0ms (1.5%)

series2.0ms (0.1%)

simplify283.0ms (11.2%)

rewrite327.0ms (12.9%)

eval24.0ms (0.9%)

prune27.0ms (1.1%)

regimes13.0ms (0.5%)

regimes11.0ms (0.4%)

regimes68.0ms (2.7%)

simplify24.0ms (0.9%)

soundness537.0ms (21.1%)

preprocess45.0ms (1.8%)

end0.0ms (0%)

Profiling