Metrics for From Rump in a 1983 paper, rewritten

analyze0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 23 to 17 computations (26.1% saved)

sample1.1s (23.8%)

Memory

-123.4MiB live, 1 596.2MiB allocated

Samples

613.0ms

8 256×

valid

Precisions

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

ival-mult: 146.0ms (33.7% of total)

ival-pow: 118.0ms (27.3% of total)

ival-==: 70.0ms (16.2% of total)

ival-sub: 69.0ms (15.9% of total)

exact: 17.0ms (3.9% of total)

ival-and: 10.0ms (2.3% of total)

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

Bogosity

preprocess136.0ms (2.9%)

Memory

18.1MiB live, 129.5MiB allocated

Algorithm

1×	egg-herbie

Rules

912×	`lower-fma.f64`
912×	`lower-fma.f32`
466×	`cancel-sign-sub-inv`
454×	`distribute-lft-in`
442×	`distribute-rgt-in`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	81
1	77	81
2	222	79
3	699	79
4	1349	79
5	1882	79
6	2656	79
7	2923	79
8	3034	75
9	3065	75
10	3070	75
11	3070	75
12	3090	75
13	3098	75
14	3098	75
15	3172	75
0	11	15
0	17	15
1	29	15
2	69	15
3	183	15
4	295	15
5	398	15
6	585	15
7	799	15
8	986	15
9	1009	15
0	1009	14

Stop Event

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

Calls

Call 1

Inputs
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))

Outputs

(-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64))))

(-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))

Symmetry

(abs y)

(abs x)

explain153.0ms (3.3%)

Memory

1.8MiB live, 201.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
256	-	-	`(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))`
0	-	-	`(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))`
0	-	-	`#s(literal 9 binary64)`
0	-	-	`#s(literal 4 binary64)`
0	-	-	`(-.f64 (*.f64 y y) #s(literal 2 binary64))`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`y`
0	-	-	`(pow.f64 x #s(literal 4 binary64))`
0	-	-	`(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))`
0	-	-	`(*.f64 y y)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))`	cancellation	1	0

Confusion

	Predicted +	Predicted -
+	256	0
-	0	0

Precision

1.0

Recall

1.0

Confusion?

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

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
1	256

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

36.0ms

512×

valid

Compiler

Compiled 128 to 48 computations (62.5% saved)

Precisions

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

ival-mult: 11.0ms (52.6% of total)

ival-sub: 4.0ms (19.1% of total)

ival-pow: 4.0ms (19.1% of total)

exact: 1.0ms (4.8% of total)

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

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

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	3.1%	(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))

Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize33.0ms (0.7%)

Memory

6.9MiB live, 43.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))
✓	accuracy	100.0%	(*.f64 y y)
✓	accuracy	100.0%	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
✓	accuracy	3.1%	(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))

Samples

16.0ms

256×

valid

Compiler

Compiled 47 to 13 computations (72.3% saved)

Precisions

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

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

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

ival-pow: 2.0ms (23% of total)

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

exact: 0.0ms (0% of total)

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

series5.0ms (0.1%)

Memory

8.4MiB live, 8.5MiB allocated

Counts

4 → 60

Calls

Call 1

Inputs
#<alt (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))>
#<alt (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))>
#<alt (*.f64 y y)>
#<alt (.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))>

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

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))
1.0ms	y	@	0	(- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))
1.0ms	x	@	inf	(- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))
0.0ms	y	@	inf	(- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))
0.0ms	x	@	inf	(* 9 (pow x 4))

rewrite429.0ms (9.1%)

Memory

-24.0MiB live, 615.0MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

7 440×	`lower-fma.f64`
7 440×	`lower-fma.f32`
5 468×	`lower-*.f32`
5 462×	`lower-*.f64`
2 020×	`lower-pow.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	32
0	17	32
1	62	32
2	419	32
3	4764	32
0	8828	30

Stop Event

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

Counts

4 → 189

Calls

Call 1

Inputs
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(*.f64 y y)
(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))

Outputs
(+.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (neg.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(+.f64 (neg.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))))
(+.f64 (/.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (neg.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(+.f64 (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(+.f64 (neg.f64 (.f64 y (.f64 y (.f64 y y)))) (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)))))
(+.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (neg.f64 (.f64 y (.f64 y (.f64 y y))))) (.f64 (.f64 y y) #s(literal 2 binary64)))
(exp.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))) #s(literal -1 binary64)))
(-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))
(-.f64 (/.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(-.f64 (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)))))
(-.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) #s(literal 0 binary64)) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))
(-.f64 (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (*.f64 y y) #s(literal -2 binary64)))
(fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(fma.f64 #s(literal 9 binary64) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 x (.f64 x (.f64 #s(literal 9 binary64) (.f64 x x))) (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(fma.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 9 binary64) (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(fma.f64 (.f64 x (.f64 x (.f64 x x))) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 (.f64 x (.f64 x (.f64 x x))) (exp.f64 (log.f64 #s(literal 9 binary64))) (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(fma.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (/.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (neg.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(fma.f64 y (.f64 y (fma.f64 y (neg.f64 y) #s(literal 2 binary64))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 y (.f64 y (.f64 y (neg.f64 y))) (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))))
(fma.f64 y (.f64 (neg.f64 y) (.f64 y y)) (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))))
(fma.f64 (.f64 y y) (.f64 y (neg.f64 y)) (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))))
(fma.f64 (.f64 y y) (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 y (neg.f64 y)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal -1 binary64) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))))
(fma.f64 (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))) (.f64 y (neg.f64 y))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (neg.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (/.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (neg.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(fma.f64 (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal 2 binary64))) (.f64 y (neg.f64 y))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))))
(fma.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)) (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(fma.f64 (.f64 x x) (exp.f64 (log.f64 (.f64 #s(literal 9 binary64) (.f64 x x)))) (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(fma.f64 (.f64 y (neg.f64 y)) (.f64 y y) (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))))
(fma.f64 (.f64 y (neg.f64 y)) (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (neg.f64 y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 #s(literal 729 binary64) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (neg.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (/.f64 #s(literal 729 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (neg.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(fma.f64 (.f64 y (.f64 y y)) (neg.f64 y) (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (.f64 y y))) (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)))))
(fma.f64 (pow.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) #s(literal 3/2 binary64)) (/.f64 (pow.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) #s(literal 3/2 binary64)) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (neg.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(fma.f64 #s(literal 81 binary64) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (/.f64 #s(literal 81 binary64) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 (neg.f64 y) (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 (neg.f64 y) (.f64 y (.f64 y y)) (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))))
(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (.f64 y y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 (.f64 y (fma.f64 y (neg.f64 y) #s(literal 2 binary64))) y (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (/.f64 (.f64 x (.f64 x (.f64 x x))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 (.f64 #s(literal 9 binary64) (.f64 x x)) (.f64 x x) (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(fma.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)))) (/.f64 #s(literal 9 binary64) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 (.f64 (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64)) (.f64 y (neg.f64 y))) (/.f64 #s(literal 1 binary64) (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 (.f64 (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64)) (.f64 y (neg.f64 y))) (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal 2 binary64))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))))
(fma.f64 (.f64 (.f64 y y) (neg.f64 y)) y (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))))
(fma.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) #s(literal -1 binary64)) (.f64 y y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))))
(fma.f64 (.f64 (.f64 #s(literal 9 binary64) (.f64 x x)) x) x (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(fma.f64 (.f64 (.f64 y (neg.f64 y)) y) y (fma.f64 y (.f64 y #s(literal 2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))))
(fma.f64 (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) (-.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)))))) (neg.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(fma.f64 (/.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (fma.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)) (pow.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) #s(literal 3 binary64)))) (fma.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) (-.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)))) (.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))))) (neg.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(fma.f64 (/.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (fma.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (neg.f64 (.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (-.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (neg.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(fma.f64 (/.f64 (.f64 (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64)) (.f64 y (neg.f64 y))) (fma.f64 (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y))))) (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y))))) (.f64 (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)) (.f64 (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))))) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))))) (.f64 (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)) (-.f64 (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)) (.f64 y (.f64 y (.f64 y y)))))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(fma.f64 (/.f64 (.f64 (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64)) (.f64 y (neg.f64 y))) (.f64 (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))))
(fma.f64 (/.f64 (.f64 (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64)) (.f64 y (neg.f64 y))) (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64))) (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))))
(fma.f64 (/.f64 (.f64 (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64)) (.f64 y (neg.f64 y))) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal 8 binary64))) (fma.f64 y (.f64 y (.f64 y y)) (+.f64 #s(literal 4 binary64) (.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))))
(fma.f64 (exp.f64 (log.f64 #s(literal 9 binary64))) (.f64 x (.f64 x (.f64 x x))) (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(fma.f64 (exp.f64 (log.f64 (.f64 #s(literal 9 binary64) (.f64 x x)))) (.f64 x x) (neg.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(neg.f64 (/.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(neg.f64 (/.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (neg.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(neg.f64 (/.f64 (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))
(/.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))
(/.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (fma.f64 y (.f64 y (.f64 (.f64 y y) (.f64 (fma.f64 y y #s(literal -2 binary64)) (fma.f64 y y #s(literal -2 binary64))))) (-.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 #s(literal 9 binary64) (neg.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(/.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(/.f64 (neg.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(/.f64 (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (neg.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))
(/.f64 (-.f64 (.f64 #s(literal 387420489 binary64) (pow.f64 x #s(literal 36 binary64))) (pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 9 binary64))) (.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (*.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64))))))
(/.f64 (fma.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)) (pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 6 binary64))) (.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(/.f64 (fma.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)) (pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 6 binary64))) (.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (fma.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) #s(literal 1 binary64)))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(/.f64 (fma.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))
(/.f64 (-.f64 (.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (pow.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))
(/.f64 (.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) #s(literal 1 binary64)) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(/.f64 (.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) #s(literal 1 binary64)) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))
(/.f64 (.f64 (-.f64 (.f64 #s(literal 387420489 binary64) (pow.f64 x #s(literal 36 binary64))) (pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(/.f64 (.f64 (fma.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)) (pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(/.f64 (.f64 (fma.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)) (pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (fma.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))
(/.f64 (.f64 (fma.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) #s(literal 1 binary64)) (.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))) (neg.f64 (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (neg.f64 (neg.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) #s(literal 3 binary64))) (+.f64 (pow.f64 (/.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) #s(literal 2 binary64)) (+.f64 (pow.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) #s(literal 2 binary64)) (.f64 (/.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (.f64 (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(/.f64 (-.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)))) (-.f64 (neg.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) #s(literal 2 binary64)) (pow.f64 (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) #s(literal 2 binary64))) (fma.f64 #s(literal 729 binary64) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (/.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(/.f64 (-.f64 (.f64 (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) (.f64 (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (/.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (/.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(/.f64 (.f64 (-.f64 (.f64 #s(literal 387420489 binary64) (pow.f64 x #s(literal 36 binary64))) (pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 9 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (fma.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (*.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)))))
(/.f64 (.f64 (fma.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)) (pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(/.f64 (.f64 (fma.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)) (pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) (fma.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(/.f64 (.f64 (fma.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) #s(literal -1 binary64))
(pow.f64 (/.f64 (/.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) #s(literal 1 binary64)) #s(literal -1 binary64))
(.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (.f64 (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (/.f64 (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))
(.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (.f64 (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (/.f64 (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))
(.f64 (neg.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))))
(.f64 (neg.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))
(.f64 #s(literal 1 binary64) (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))))))
(.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))
(.f64 (/.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) (-.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)))))))
(.f64 (/.f64 (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))) (fma.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)) (neg.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (-.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(.f64 (/.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (fma.f64 #s(literal 531441 binary64) (pow.f64 x #s(literal 24 binary64)) (pow.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) #s(literal 3 binary64)))) (fma.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) (-.f64 (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64)))) (.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))))))
(.f64 (/.f64 (fma.f64 #s(literal 729 binary64) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))))) (fma.f64 #s(literal 6561 binary64) (.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x)))) (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 x (.f64 x (.f64 x x))))) (neg.f64 (.f64 (.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 (.f64 y y) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))) (.f64 (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))) (-.f64 (.f64 (.f64 x (.f64 x (.f64 x x))) (.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 81 binary64))) (.f64 y (.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) (fma.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))) (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))))))))
(exp.f64 (log.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)))))
(exp.f64 (.f64 (log.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x)))) #s(literal 1 binary64)))
(pow.f64 (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x))) #s(literal 1 binary64))
(.f64 #s(literal 9 binary64) (.f64 x (.f64 x (.f64 x x))))
(.f64 x (.f64 x (.f64 #s(literal 9 binary64) (.f64 x x))))
(.f64 (.f64 x (.f64 x (.f64 x x))) #s(literal 9 binary64))
(.f64 (.f64 x (.f64 x (.f64 x x))) (exp.f64 (log.f64 #s(literal 9 binary64))))
(.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (.f64 x x)))
(.f64 (.f64 x x) (exp.f64 (log.f64 (.f64 #s(literal 9 binary64) (.f64 x x)))))
(.f64 (.f64 #s(literal 9 binary64) (.f64 x x)) (.f64 x x))
(.f64 (.f64 (.f64 #s(literal 9 binary64) (.f64 x x)) x) x)
(.f64 (exp.f64 (log.f64 #s(literal 9 binary64))) (.f64 x (.f64 x (.f64 x x))))
(.f64 (exp.f64 (log.f64 (.f64 #s(literal 9 binary64) (.f64 x x)))) (.f64 x x))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 y)))
(exp.f64 (.f64 (.f64 #s(literal 2 binary64) (log.f64 y)) #s(literal 1 binary64)))
(pow.f64 y #s(literal 2 binary64))
(pow.f64 (*.f64 y y) #s(literal 1 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 y))
(*.f64 y y)
(+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (*.f64 y y) #s(literal -2 binary64)))
(+.f64 (.f64 (.f64 y y) #s(literal -2 binary64)) (.f64 y (.f64 y (*.f64 y y))))
(exp.f64 (log.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(exp.f64 (.f64 (log.f64 (.f64 y (*.f64 y (fma.f64 y y #s(literal -2 binary64))))) #s(literal 1 binary64)))
(fma.f64 y (.f64 y (.f64 y y)) (.f64 (.f64 y y) #s(literal -2 binary64)))
(fma.f64 y (.f64 y #s(literal -2 binary64)) (.f64 y (.f64 y (.f64 y y))))
(fma.f64 (.f64 y y) (.f64 y y) (.f64 (.f64 y y) #s(literal -2 binary64)))
(fma.f64 (.f64 y y) #s(literal -2 binary64) (.f64 y (.f64 y (.f64 y y))))
(fma.f64 #s(literal -2 binary64) (.f64 y y) (.f64 y (.f64 y (.f64 y y))))
(fma.f64 (.f64 y (.f64 y y)) y (.f64 (.f64 y y) #s(literal -2 binary64)))
(fma.f64 (.f64 y #s(literal -2 binary64)) y (.f64 y (.f64 y (.f64 y y))))
(/.f64 (*.f64 y y) (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal -2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))) (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y (.f64 y (*.f64 y y)))) #s(literal -8 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 y y #s(literal 2 binary64)) (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64)))))
(/.f64 (.f64 (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64)) (.f64 y (neg.f64 y))) (neg.f64 (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (*.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))))
(/.f64 (.f64 (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64)) (.f64 y (neg.f64 y))) (fma.f64 y (neg.f64 y) #s(literal -2 binary64)))
(/.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64))) (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (*.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))))
(/.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64))) (fma.f64 y y #s(literal 2 binary64)))
(/.f64 (fma.f64 (.f64 y y) (.f64 (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y))))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y))))) #s(literal -8 binary64))) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))))) (-.f64 (.f64 (.f64 (.f64 y y) #s(literal -2 binary64)) (.f64 (.f64 y y) #s(literal -2 binary64))) (.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (*.f64 y y) #s(literal -2 binary64))))))
(/.f64 (-.f64 (.f64 (.f64 y y) (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))))) (.f64 (.f64 (.f64 y y) #s(literal -2 binary64)) (.f64 (.f64 y y) #s(literal -2 binary64)))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (*.f64 y y) #s(literal -2 binary64))))
(/.f64 (.f64 (.f64 y y) (neg.f64 (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64)))) (neg.f64 (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (*.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))))
(/.f64 (.f64 (.f64 y y) (fma.f64 (.f64 y y) (.f64 y (neg.f64 y)) #s(literal 4 binary64))) (fma.f64 y (neg.f64 y) #s(literal -2 binary64)))
(/.f64 (.f64 (.f64 y y) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal -2 binary64))))
(/.f64 (.f64 (neg.f64 (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64))) (.f64 y y)) (neg.f64 (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (*.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))))
(/.f64 (.f64 (fma.f64 (.f64 y y) (.f64 y (neg.f64 y)) #s(literal 4 binary64)) (.f64 y y)) (fma.f64 y (neg.f64 y) #s(literal -2 binary64)))
(/.f64 (.f64 #s(literal 1 binary64) (.f64 y y)) (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal -2 binary64))))
(/.f64 (exp.f64 (log.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64))))) (exp.f64 (log.f64 (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (*.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))))))
(/.f64 (exp.f64 (log.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64))))) (exp.f64 (log.f64 (fma.f64 y y #s(literal 2 binary64)))))
(pow.f64 (.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64)))) #s(literal 1 binary64))
(pow.f64 (/.f64 (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))) (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y (.f64 y (*.f64 y y)))) #s(literal -8 binary64)))) #s(literal -1 binary64))
(pow.f64 (/.f64 (fma.f64 y y #s(literal 2 binary64)) (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64)))) #s(literal -1 binary64))
(.f64 y (.f64 y (fma.f64 y y #s(literal -2 binary64))))
(.f64 y (exp.f64 (log.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))))))
(.f64 (.f64 y y) (fma.f64 y y #s(literal -2 binary64)))
(.f64 (.f64 y y) (exp.f64 (log.f64 (fma.f64 y y #s(literal -2 binary64)))))
(.f64 (fma.f64 y y #s(literal -2 binary64)) (.f64 y y))
(.f64 (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))) (.f64 y y)))
(.f64 (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64)) (/.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (*.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))))
(.f64 (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64)) (.f64 (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal 2 binary64))) (*.f64 y y)))
(.f64 (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64)) (/.f64 (.f64 y y) (fma.f64 y y #s(literal 2 binary64))))
(.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))) y)
(.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))))
(.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (*.f64 y y)) #s(literal -4 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 y y #s(literal 2 binary64))))
(.f64 (/.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64))) (fma.f64 (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y))))) (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y))))) (.f64 (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)) (.f64 (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)))))) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))))) (.f64 (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)) (-.f64 (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64)) (.f64 y (.f64 y (.f64 y y)))))))
(.f64 (/.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal -8 binary64))) (.f64 (fma.f64 y (.f64 y (.f64 y y)) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (fma.f64 (.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (fma.f64 (*.f64 y y) #s(literal 2 binary64) #s(literal 4 binary64))))
(.f64 (/.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64))) (fma.f64 y (.f64 y (*.f64 y y)) #s(literal -4 binary64))) (fma.f64 y y #s(literal -2 binary64)))
(.f64 (/.f64 (.f64 (.f64 y y) (fma.f64 y (.f64 y (.f64 y y)) #s(literal -4 binary64))) (fma.f64 y (.f64 y (.f64 y (.f64 y (.f64 y y)))) #s(literal 8 binary64))) (fma.f64 y (.f64 y (.f64 y y)) (+.f64 #s(literal 4 binary64) (.f64 (*.f64 y y) #s(literal -2 binary64)))))
(.f64 (exp.f64 (log.f64 (fma.f64 y y #s(literal -2 binary64)))) (.f64 y y))
(.f64 (exp.f64 (log.f64 (.f64 y (fma.f64 y y #s(literal -2 binary64))))) y)

simplify196.0ms (4.2%)

Memory

-5.8MiB live, 358.2MiB allocated

Algorithm

1×	egg-herbie

Rules

7 706×	`lower-fma.f64`
7 706×	`lower-fma.f32`
3 926×	`lower-*.f64`
3 926×	`lower-*.f32`
1 598×	`times-frac`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	477
1	95	477
2	228	474
3	647	474
4	2011	474
5	6491	474
0	8412	449

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 60

Calls

Call 1

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

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

eval41.0ms (0.9%)

Memory: 23.0MiB live, 61.0MiB allocated
Compiler: Compiled 12 184 to 578 computations (95.3% saved)

prune42.0ms (0.9%)

Memory

4.5MiB live, 46.2MiB allocated

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	264	3	267
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	265	3	268

Accuracy

100.0%

Counts

268 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (.f64 y y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
▶	1.5%	(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
▶	1.5%	(neg.f64 (.f64 y (.f64 y (*.f64 y y))))

Status

Accuracy

Program

▶

100.0%

(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (*.f64 y y) (*.f64 (*.f64 x x) (*.f64 #s(literal 9 binary64) (*.f64 x x))))

▶

1.5%

(*.f64 y (*.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))

▶

1.5%

(neg.f64 (*.f64 y (*.f64 y (*.f64 y y))))

Compiler

Compiled 41 to 24 computations (41.5% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize56.0ms (1.2%)

Memory

7.9MiB live, 84.3MiB allocated

Localize:

Found 12 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 y y)
✓	accuracy	100.0%	(*.f64 x x)
✓	accuracy	100.0%	(.f64 #s(literal 9 binary64) (.f64 x x))
✓	accuracy	100.0%	(neg.f64 y)
✓	accuracy	100.0%	(-.f64 #s(literal 2 binary64) (*.f64 y y))
✓	accuracy	100.0%	(.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))
✓	accuracy	100.0%	(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
✓	accuracy	100.0%	(*.f64 y y)
✓	accuracy	100.0%	(.f64 y (.f64 y (*.f64 y y)))
✓	accuracy	100.0%	(.f64 y (.f64 y y))
✓	accuracy	100.0%	(*.f64 y y)
✓	accuracy	100.0%	(neg.f64 (.f64 y (.f64 y (*.f64 y y))))

Samples

34.0ms

256×

valid

Compiler

Compiled 104 to 21 computations (79.8% saved)

Precisions

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

ival-mult: 18.0ms (76.6% of total)

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

ival-neg: 2.0ms (8.5% of total)

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

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

exact: 0.0ms (0% of total)

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

series16.0ms (0.3%)

Memory

-28.9MiB live, 7.5MiB allocated

Counts

10 → 120

Calls

Call 1

Inputs
#<alt (neg.f64 (.f64 y (.f64 y (*.f64 y y))))>
#<alt (*.f64 y y)>
#<alt (.f64 y (.f64 y y))>
#<alt (.f64 y (.f64 y (*.f64 y y)))>
#<alt (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))>
#<alt (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))>
#<alt (-.f64 #s(literal 2 binary64) (*.f64 y y))>
#<alt (neg.f64 y)>
#<alt (.f64 #s(literal 9 binary64) (.f64 x x))>
#<alt (*.f64 x x)>

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

Calls

30 calls:

Time	Variable		Point	Expression
11.0ms	y	@	inf	(* y (* y (- 2 (* y y))))
1.0ms	y	@	0	(* y (* y (- 2 (* y y))))
0.0ms	y	@	-inf	(* y (* y y))
0.0ms	y	@	0	(neg (* y (* y (* y y))))
0.0ms	x	@	0	(* 9 (* x x))

rewrite189.0ms (4%)

Memory

0.9MiB live, 119.9MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

1 170×	`lower-fma.f64`
1 170×	`lower-fma.f32`
980×	`lower-*.f32`
966×	`lower-*.f64`
764×	`lower-/.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	54
0	24	48
1	65	44
2	264	44
0	1792	44

Stop Event

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

Counts

10 → 321

Calls

Call 1

Inputs
(neg.f64 (.f64 y (.f64 y (*.f64 y y))))
(*.f64 y y)
(.f64 y (.f64 y y))
(.f64 y (.f64 y (*.f64 y y)))
(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))
(-.f64 #s(literal 2 binary64) (*.f64 y y))
(neg.f64 y)
(.f64 #s(literal 9 binary64) (.f64 x x))
(*.f64 x x)

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

simplify257.0ms (5.5%)

Memory

33.4MiB live, 151.1MiB allocated

Algorithm

1×	egg-herbie

Rules

3 106×	`lower-*.f64`
3 106×	`lower-*.f32`
2 864×	`lower-fma.f64`
2 864×	`lower-fma.f32`
1 714×	`div-sub`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	31	525
1	79	498
2	173	498
3	509	498
4	1575	498
5	3760	498
6	6141	498
0	8198	498

Stop Event

1×	iter limit
1×	node limit

Counts

120 → 120

Calls

Call 1

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

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

eval205.0ms (4.4%)

Memory: -24.1MiB live, 94.7MiB allocated
Compiler: Compiled 9 768 to 1 039 computations (89.4% saved)

prune46.0ms (1%)

Memory

13.8MiB live, 51.4MiB allocated

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	510	1	511
Fresh	0	0	0
Picked	2	1	3
Done	0	0	0
Total	512	2	514

Accuracy

100.0%

Counts

514 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (.f64 y y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
▶	11.1%	(.f64 y (.f64 y #s(literal 2 binary64)))

Compiler

Compiled 27 to 16 computations (40.7% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize13.0ms (0.3%)

Memory

17.9MiB live, 17.9MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(.f64 y (.f64 y #s(literal 2 binary64)))
✓	accuracy	100.0%	(*.f64 y #s(literal 2 binary64))

Samples

8.0ms

256×

valid

Compiler

Compiled 12 to 7 computations (41.7% saved)

Precisions

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

ival-mult: 3.0ms (96.6% of total)

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

exact: 0.0ms (0% of total)

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

series87.0ms (1.8%)

Memory

-34.0MiB live, 3.1MiB allocated

Counts

2 → 24

Calls

Call 1

Inputs
#<alt (*.f64 y #s(literal 2 binary64))>
#<alt (.f64 y (.f64 y #s(literal 2 binary64)))>

Outputs
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 y)>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>
#<alt (* 2 (pow y 2))>

Calls

6 calls:

Time	Variable		Point	Expression
85.0ms	y	@	-inf	(* y 2)
0.0ms	y	@	inf	(* y 2)
0.0ms	y	@	0	(* y 2)
0.0ms	y	@	inf	(* y (* y 2))
0.0ms	y	@	0	(* y (* y 2))

rewrite110.0ms (2.3%)

Memory

7.6MiB live, 205.3MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

2 136×	`lower-pow.f64`
2 136×	`lower-pow.f32`
1 588×	`lower-*.f64`
1 588×	`lower-*.f32`
1 412×	`prod-exp`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	4	8
0	6	6
1	10	6
2	12	6
3	19	6
4	35	6
5	91	6
6	278	2
7	1693	2
8	1718	2
9	1841	2
10	3063	2
0	8413	2

Stop Event

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

Counts

2 → 2

Calls

Call 1

Inputs
(*.f64 y #s(literal 2 binary64))
(.f64 y (.f64 y #s(literal 2 binary64)))

Outputs
#s(literal 2 binary64)
#s(literal 2 binary64)

simplify4.0ms (0.1%)

Memory

8.0MiB live, 8.0MiB allocated

Algorithm

1×	egg-herbie

Rules

14×	`lower-*.f64`
14×	`lower-*.f32`
4×	`*-commutative`
2×	`lower-pow.f64`
2×	`associate-r`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	96
1	8	96
2	10	96
0	10	96

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 24

Calls

Call 1

Inputs
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))
(* 2 (pow y 2))

Outputs
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 y)
(*.f64 #s(literal 2 binary64) y)
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))
(* 2 (pow y 2))
(.f64 y (.f64 #s(literal 2 binary64) y))

eval2.0ms (0%)

Memory: 5.7MiB live, 5.7MiB allocated
Compiler: Compiled 126 to 6 computations (95.2% saved)

prune1.0ms (0%)

Memory

2.6MiB live, 2.6MiB allocated

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	25	1	26
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	26	2	28

Accuracy

100.0%

Counts

28 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (.f64 y y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
▶	18.8%	#s(literal 2 binary64)

Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

localize7.0ms (0.1%)

Memory

14.2MiB live, 14.2MiB allocated

Samples

4.0ms

256×

valid

Compiler

Compiled 3 to 5 computations (-66.7% saved)

Precisions

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

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

exact: 0.0ms (0% of total)

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

series0.0ms (0%)

Memory

0.1MiB live, 0.1MiB allocated

Counts

0 → 0

Calls

Call 1

Inputs

Outputs

rewrite10.0ms (0.2%)

Memory

-26.8MiB live, 15.2MiB allocated

Algorithm

1×	batch-egg-rewrite

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
0	0	0
0	0	0

Stop Event

1×	saturated
1×	saturated
1×	saturated

Counts

0 → 0

Calls

Call 1

Inputs

Outputs

simplify2.0ms (0.1%)

Memory

5.4MiB live, 5.4MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
0	0	0

Stop Event

1×	saturated
1×	saturated

Counts

0 → 0

Calls

Call 1

Inputs

Outputs

eval0.0ms (0%)

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

prune2.0ms (0%)

Memory

5.3MiB live, 5.3MiB allocated

Pruning

2 alts after pruning (0 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	1	1
Total	2	2

Accuracy

100.0%

Counts

2 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (.f64 y y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
✓	18.8%	#s(literal 2 binary64)

Compiler

Compiled 81 to 39 computations (51.9% saved)

regimes16.0ms (0.3%)

Memory

1.3MiB live, 40.3MiB allocated

Counts

6 → 1

Calls

Call 1

Inputs
#s(literal 2 binary64)
(.f64 y (.f64 y #s(literal 2 binary64)))
(neg.f64 (.f64 y (.f64 y (*.f64 y y))))
(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (.f64 y y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))

Outputs
(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (.f64 y y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))

Calls

7 calls:

3.0ms	(pow.f64 x #s(literal 4 binary64))
3.0ms	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
2.0ms	(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))
2.0ms	(*.f64 y y)
2.0ms	(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))`
100.0%	1	`(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))`
100.0%	1	`(pow.f64 x #s(literal 4 binary64))`
100.0%	1	`(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))`
100.0%	1	`(*.f64 y y)`

Compiler

Compiled 51 to 34 computations (33.3% saved)

regimes12.0ms (0.3%)

Memory

-11.0MiB live, 27.5MiB allocated

Accuracy

Total -11.0b remaining (-21.2%)

Threshold costs -11b (-21.2%)

Counts

4 → 1

Calls

Call 1

Inputs
#s(literal 2 binary64)
(.f64 y (.f64 y #s(literal 2 binary64)))
(neg.f64 (.f64 y (.f64 y (*.f64 y y))))
(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))

Outputs
#s(literal 2 binary64)

Calls

7 calls:

3.0ms	(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))
1.0ms	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
1.0ms	(pow.f64 x #s(literal 4 binary64))
1.0ms	(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))
1.0ms	(*.f64 y y)

Results

Accuracy	Segments	Branch
18.8%	1	`x`
18.8%	1	`y`
18.8%	1	`(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 (.f64 y y) #s(literal 2 binary64))))`
18.8%	1	`(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))`
18.8%	1	`(pow.f64 x #s(literal 4 binary64))`
18.8%	1	`(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))`
18.8%	1	`(*.f64 y y)`

Compiler

Compiled 51 to 34 computations (33.3% saved)

simplify6.0ms (0.1%)

Memory

22.6MiB live, 22.6MiB allocated

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	17	19
2	19	19
3	20	19

Stop Event

1×

saturated

Calls

Call 1

Inputs
(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (.f64 y y) (.f64 (.f64 x x) (.f64 #s(literal 9 binary64) (*.f64 x x))))
#s(literal 2 binary64)

Outputs

(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (*.f64 y y) (*.f64 (*.f64 x x) (*.f64 #s(literal 9 binary64) (*.f64 x x))))

(fma.f64 (fma.f64 y (neg.f64 y) #s(literal 2 binary64)) (*.f64 y y) (*.f64 (*.f64 x x) (*.f64 (*.f64 x x) #s(literal 9 binary64))))

#s(literal 2 binary64)

soundness1.5s (31%)

Memory

0.1MiB live, 432.0MiB allocated

Rules

7 706×	`lower-fma.f64`
7 706×	`lower-fma.f32`
7 440×	`lower-fma.f64`
7 440×	`lower-fma.f32`
5 468×	`lower-*.f32`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	4	8
0	6	6
1	10	6
2	12	6
3	19	6
4	35	6
5	91	6
6	278	2
7	1693	2
8	1718	2
9	1841	2
10	3063	2
0	8413	2
0	39	477
1	95	477
2	228	474
3	647	474
4	2011	474
5	6491	474
0	8412	449
0	31	525
1	79	498
2	173	498
3	509	498
4	1575	498
5	3760	498
6	6141	498
0	8198	498
0	11	32
0	17	32
1	62	32
2	419	32
3	4764	32
0	8828	30

Stop Event

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

Compiler

Compiled 41 to 25 computations (39% saved)

preprocess47.0ms (1%)

Memory

15.7MiB live, 136.0MiB allocated

Remove

(abs x)

(abs y)

Compiler

Compiled 236 to 132 computations (44.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

sample1.1s (23.8%)

preprocess136.0ms (2.9%)

explain153.0ms (3.3%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize33.0ms (0.7%)

series5.0ms (0.1%)

rewrite429.0ms (9.1%)

simplify196.0ms (4.2%)

eval41.0ms (0.9%)

prune42.0ms (0.9%)

simplify0.0ms (0%)

localize56.0ms (1.2%)

series16.0ms (0.3%)

rewrite189.0ms (4%)

simplify257.0ms (5.5%)

eval205.0ms (4.4%)

prune46.0ms (1%)

simplify0.0ms (0%)

localize13.0ms (0.3%)

series87.0ms (1.8%)

rewrite110.0ms (2.3%)

simplify4.0ms (0.1%)

eval2.0ms (0%)

prune1.0ms (0%)

simplify0.0ms (0%)

localize7.0ms (0.1%)

series0.0ms (0%)

rewrite10.0ms (0.2%)

simplify2.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes16.0ms (0.3%)

regimes12.0ms (0.3%)

simplify6.0ms (0.1%)

soundness1.5s (31%)

preprocess47.0ms (1%)

end0.0ms (0%)

Profiling