Metrics for log(x/y)

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze18.0ms (1.2%)

Memory

7.0MiB live, 7.0MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	25.4%	74.6%	0%	0%	0%	0
0%	0%	25.4%	74.6%	0%	0%	0%	1
0%	0%	25.4%	74.6%	0%	0%	0%	2
33.3%	6.4%	12.7%	74.6%	0%	6.4%	0%	3
33.3%	6.4%	12.7%	74.6%	0%	6.4%	0%	4
50%	7.9%	7.9%	74.6%	0%	9.5%	0%	5
55%	8.7%	7.2%	74.6%	0%	9.5%	0%	6
69.4%	9.9%	4.4%	74.6%	0%	11.1%	0%	7
73.6%	10.5%	3.8%	74.6%	0%	11.1%	0%	8
83.1%	11.2%	2.3%	74.6%	0%	11.9%	0%	9
85.7%	11.6%	1.9%	74.6%	0%	11.9%	0%	10
91.1%	11.9%	1.2%	74.6%	0%	12.3%	0%	11
92.5%	12.1%	1%	74.6%	0%	12.3%	0%	12

Compiler

Compiled 20 to 14 computations (30% saved)

sample1.0s (69%)

Memory

-36.9MiB live, 597.8MiB allocated

Samples

626.0ms	8 256×	0	valid
14.0ms	233×	0	invalid

Precisions

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

ival-<=: 162.0ms (40.4% of total)

ival-log: 114.0ms (28.4% of total)

ival-div: 83.0ms (20.7% of total)

ival-and: 25.0ms (6.2% of total)

exact: 13.0ms (3.2% of total)

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

Bogosity

explain48.0ms (3.2%)

Memory

19.6MiB live, 19.6MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 x y)`
-	-	`y`
-	-	`(log.f64 (/.f64 x y))`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

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

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

24.0ms

512×

valid

Compiler

Compiled 26 to 16 computations (38.5% saved)

Precisions

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

ival-log: 7.0ms (60.3% of total)

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

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

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

preprocess13.0ms (0.9%)

Memory

5.4MiB live, 5.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	26
1	24	26
2	36	26
3	46	26
4	54	26
5	68	26
6	88	26
7	98	26
8	100	26
0	4	4
0	6	4
0	6	4

Stop Event

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

Calls

Call 1

Inputs
(log.f64 (/.f64 x y))

Outputs
(log.f64 (/.f64 x y))

Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(log.f64 (/.f64 x y))

Compiler

Compiled 4 to 4 computations (0% saved)

simplify2.0ms (0.2%)

Memory

0.3MiB live, 0.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(/.f64 x y)
cost-diff	0	(log.f64 (/.f64 x y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	9
0	6	9
0	6	9

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(log.f64 (/.f64 x y))
(/.f64 x y)
x
y

Outputs
(log.f64 (/.f64 x y))
(/.f64 x y)
x
y

localize16.0ms (1.1%)

Memory

5.0MiB live, 5.0MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
accuracy	0.0	(/.f64 x y)
accuracy	0.0	(log.f64 (/.f64 x y))

Samples

12.0ms

256×

valid

Compiler

Compiled 11 to 6 computations (45.5% saved)

Precisions

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

ival-log: 3.0ms (52.5% of total)

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

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

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

series95.0ms (6.4%)

Memory

-41.8MiB live, 35.3MiB allocated

Counts

2 → 6

Calls

Call 1

Inputs
(log.f64 (/.f64 x y))
(/.f64 x y)

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

Calls

6 calls:

Time	Variable		Point	Expression
30.0ms	y	@	-inf	((log (/ x y)) (/ x y))
24.0ms	x	@	0	((log (/ x y)) (/ x y))
19.0ms	x	@	-inf	((log (/ x y)) (/ x y))
11.0ms	y	@	0	((log (/ x y)) (/ x y))
6.0ms	x	@	inf	((log (/ x y)) (/ x y))

simplify14.0ms (0.9%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	39
1	40	35
2	58	35
3	95	35
4	146	35
5	196	35
6	238	35
7	265	35
8	333	35
9	367	35
10	394	35
11	421	35
12	425	35
0	425	35

Stop Event

1×	iter limit
1×	saturated

Counts

6 → 6

Calls

Call 1

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

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

rewrite136.0ms (9.1%)

Memory

48.1MiB live, 48.1MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	7
0	6	7
1	17	7
2	76	7
3	410	7
4	3173	7
0	9791	7

Stop Event

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

Counts

2 → 451

Calls

Call 1

Inputs
(log.f64 (/.f64 x y))
(/.f64 x y)

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

eval91.0ms (6.1%)

Memory: -76.7MiB live, 30.9MiB allocated
Compiler: Compiled 10 343 to 1 183 computations (88.6% saved)

prune8.0ms (0.5%)

Memory

16.3MiB live, 16.3MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	455	0	455
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	455	1	456

Accuracy

100.0%

Counts

456 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(log.f64 (/.f64 x y))

Compiler

Compiled 8 to 8 computations (0% saved)

simplify9.0ms (0.6%)

Memory

5.1MiB live, 5.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4

Stop Event

1×

saturated

Calls

Call 1

Inputs
(log.f64 (/.f64 x y))

Outputs
(log.f64 (/.f64 x y))

soundness0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Stop Event

1×

done

Compiler

Compiled 4 to 4 computations (0% saved)

preprocess12.0ms (0.8%)

Memory: 8.8MiB live, 8.8MiB allocated
Compiler: Compiled 16 to 16 computations (0% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	25	39
1	40	35
2	58	35
3	95	35
4	146	35
5	196	35
6	238	35
7	265	35
8	333	35
9	367	35
10	394	35
11	421	35
12	425	35
0	425	35

Iter	Nodes	Cost
0	25	39
1	40	35
2	58	35
3	95	35
4	146	35
5	196	35
6	238	35
7	265	35
8	333	35
9	367	35
10	394	35
11	421	35
12	425	35
0	425	35

start0.0ms (0%)

analyze18.0ms (1.2%)

sample1.0s (69%)

explain48.0ms (3.2%)

preprocess13.0ms (0.9%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify2.0ms (0.2%)

localize16.0ms (1.1%)

series95.0ms (6.4%)

simplify14.0ms (0.9%)

rewrite136.0ms (9.1%)

eval91.0ms (6.1%)

prune8.0ms (0.5%)

simplify9.0ms (0.6%)

soundness0.0ms (0%)

preprocess12.0ms (0.8%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	25	39
1	40	35
2	58	35
3	95	35
4	146	35
5	196	35
6	238	35
7	265	35
8	333	35
9	367	35
10	394	35
11	421	35
12	425	35
0	425	35