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

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB 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)

sample858.0ms (29.1%)

Memory

-18.9MiB live, 534.8MiB allocated

Samples

635.0ms

8 256×

valid

Precisions

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

ival-div: 242.0ms (74.6% of total)

ival-add: 68.0ms (21% of total)

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

exact: 5.0ms (1.5% of total)

ival-assert: 4.0ms (1.2% of total)

Bogosity

explain85.0ms (2.9%)

Memory

2.8MiB live, 41.7MiB 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

58.0ms

512×

valid

Compiler

Compiled 31 to 19 computations (38.7% saved)

Precisions

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

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

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

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

exact: 0.0ms (0% of total)

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

preprocess14.0ms (0.5%)

Memory

11.9MiB live, 11.9MiB 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.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.4MiB live, 0.4MiB 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)

simplify4.0ms (0.1%)

Memory

2.2MiB live, 2.2MiB 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.4%)

Memory

10.6MiB live, 10.6MiB allocated

Localize:

Found 2 expressions of interest:

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

Samples

9.0ms

256×

valid

Compiler

Compiled 13 to 7 computations (46.2% saved)

Precisions

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

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

ival-add: 1.0ms (27.5% 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

2.0MiB live, 2.0MiB 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	@	0	((+ x (/ y 500)) (/ y 500))

simplify286.0ms (9.7%)

Memory

-10.6MiB live, 107.4MiB 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)

rewrite210.0ms (7.1%)

Memory

20.4MiB live, 176.5MiB 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)))))

eval36.0ms (1.2%)

Memory: 0.2MiB live, 38.0MiB allocated
Compiler: Compiled 6 531 to 547 computations (91.6% saved)

prune25.0ms (0.9%)

Memory

-27.0MiB live, 10.7MiB 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))
▶	51.8%	#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

6.7MiB live, 6.7MiB 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

localize35.0ms (1.2%)

Memory

-3.0MiB live, 35.1MiB 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.07421875	(fma.f64 #s(literal 1/500 binary64) y x)
accuracy	0.125	(*.f64 #s(literal 1/500 binary64) y)
accuracy	30.755093044578903	#s(approx (+ x (/ y 500)) (*.f64 #s(literal 1/500 binary64) y))

Samples

29.0ms

256×

valid

Compiler

Compiled 25 to 10 computations (60% saved)

Precisions

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

ival-add: 14.0ms (63.7% of total)

const: 3.0ms (13.7% of total)

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

ival-mult: 2.0ms (9.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

3.2MiB live, 3.2MiB 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))

simplify348.0ms (11.8%)

Memory

-13.1MiB live, 118.3MiB 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)

rewrite316.0ms (10.7%)

Memory

-5.1MiB live, 149.7MiB 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))

eval13.0ms (0.4%)

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

prune3.0ms (0.1%)

Memory

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

Compiler

Compiled 48 to 34 computations (29.2% saved)

regimes47.0ms (1.6%)

Memory

-24.8MiB live, 14.0MiB 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:

42.0ms	x
2.0ms	(/.f64 y #s(literal 500 binary64))
2.0ms	(+.f64 x (/.f64 y #s(literal 500 binary64)))
2.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)

regimes6.0ms (0.2%)

Memory

11.2MiB live, 11.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:

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

regimes5.0ms (0.2%)

Memory

11.4MiB live, 11.4MiB 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:

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

Results

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

Compiler

Compiled 10 to 13 computations (-30% saved)

simplify46.0ms (1.6%)

Memory

-33.4MiB live, 15.2MiB 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))

soundness545.0ms (18.5%)

Memory

8.9MiB live, 122.0MiB 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)

preprocess40.0ms (1.4%)

Memory: 22.3MiB live, 63.0MiB 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%)

sample858.0ms (29.1%)

explain85.0ms (2.9%)

preprocess14.0ms (0.5%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify4.0ms (0.1%)

localize13.0ms (0.4%)

series3.0ms (0.1%)

simplify286.0ms (9.7%)

rewrite210.0ms (7.1%)

eval36.0ms (1.2%)

prune25.0ms (0.9%)

simplify5.0ms (0.2%)

localize35.0ms (1.2%)

series2.0ms (0.1%)

simplify348.0ms (11.8%)

rewrite316.0ms (10.7%)

eval13.0ms (0.4%)

prune3.0ms (0.1%)

regimes47.0ms (1.6%)

regimes6.0ms (0.2%)

regimes5.0ms (0.2%)

simplify46.0ms (1.6%)

soundness545.0ms (18.5%)

preprocess40.0ms (1.4%)

end0.0ms (0%)

Profiling