Metrics for From Rump in a 1983 paper, rewritten

analyze0.0ms (0%)

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 24 to 16 computations (33.3% saved)

Precisions

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

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

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

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

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

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

sample1.3s (28.5%)

Results

1.1s

8256×

valid

Precisions

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

ival-mult: 441.0ms (55.9% of total)

ival-pow: 122.0ms (15.5% of total)

ival-sub: 116.0ms (14.7% of total)

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

const: 20.0ms (2.5% of total)

ival-and: 17.0ms (2.2% of total)

backward-pass: 3.0ms (0.4% of total)

Bogosity

preprocess194.0ms (4.1%)

Algorithm

2×	egg-herbie

Rules

2444×	`sum4-define`
1912×	`sum4-define`
1850×	`fmsub-define`
1714×	`sum3-define`
1554×	`fnmsub-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	76
1	95	76
2	253	74
3	810	74
4	2207	74
5	6289	74
0	11	12
1	28	12
2	72	12
3	209	12
4	414	12
5	836	12
6	1728	12
7	2685	12
8	5000	12
9	5652	12
10	5710	12
11	5710	12
12	5768	12
0	5768	12

Stop Event

1×	iter limit
1×	saturated
1×	node limit

Calls

Call 1

Inputs
(- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))

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

Call 2

Inputs
(- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))
(- (* 9 (pow (neg x) 4)) (* (* y y) (- (* y y) 2)))
(- (* 9 (pow x 4)) (* (* (neg y) (neg y)) (- (* (neg y) (neg y)) 2)))
(neg (- (* 9 (pow (neg x) 4)) (* (* y y) (- (* y y) 2))))
(neg (- (* 9 (pow x 4)) (* (* (neg y) (neg y)) (- (* (neg y) (neg y)) 2))))
(- (* 9 (pow y 4)) (* (* x x) (- (* x x) 2)))

Outputs
(- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))
(fnmsub (pow x 4) -9 (fma (square y) -2 (pow y 4)))
(- (* 9 (pow (neg x) 4)) (* (* y y) (- (* y y) 2)))
(fnmsub (pow (neg x) 4) -9 (fma (square y) -2 (pow y 4)))
(- (* 9 (pow x 4)) (* (* (neg y) (neg y)) (- (* (neg y) (neg y)) 2)))
(fnmsub (pow x 4) -9 (fma (square y) -2 (pow y 4)))
(neg (- (* 9 (pow (neg x) 4)) (* (* y y) (- (* y y) 2))))
(fnmsub 9 (pow (neg x) 4) (fnmsub (square y) -2 (pow y 4)))
(neg (- (* 9 (pow x 4)) (* (* (neg y) (neg y)) (- (* (neg y) (neg y)) 2))))
(fnmsub 9 (pow x 4) (fnmsub (square y) -2 (pow y 4)))
(- (* 9 (pow y 4)) (* (* x x) (- (* x x) 2)))
(fnmsub (square x) (+ (square x) -2) (* (pow y 4) -9))

Symmetry

(abs y)

explain124.0ms (2.6%)

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	-	-	`x`
0	-	-	`(*.f64 y y)`
0	-	-	`(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))`
0	-	-	`(pow.f64 x #s(literal 4 binary64))`
0	-	-	`y`
0	-	-	`#s(literal 2 binary64)`
0	-	-	`(-.f64 (*.f64 y y) #s(literal 2 binary64))`
0	-	-	`#s(literal 4 binary64)`
0	-	-	`#s(literal 9 binary64)`
0	-	-	`(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))`

Results

79.0ms

512×

valid

Compiler

Compiled 113 to 35 computations (69% saved)

Precisions

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

ival-mult: 16.0ms (52.1% of total)

ival-pow: 8.0ms (26.1% of total)

ival-sub: 5.0ms (16.3% of total)

const: 1.0ms (3.3% of total)

backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler: Compiled 17 to 12 computations (29.4% saved)

prune1.0ms (0%)

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)

simplify110.0ms (2.3%)

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Program
✓	cost-diff	(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))
✓	cost-diff	(pow.f64 x #s(literal 4 binary64))
✓	cost-diff	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
✓	cost-diff	(-.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))))

Rules

1912×	`sum4-define`
1428×	`fnmadd-define`
1264×	`sum3-define`
1148×	`fma-define`
1046×	`fmsub-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38
1	28	38
2	72	38
3	209	38
4	414	38
5	836	38
6	1728	38
7	2685	38
8	5000	38
9	5652	38
10	5710	38
11	5710	38
12	5768	38
0	5768	38

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))
(* 9 (pow x 4))
9
(pow x 4)
x
4
(* (* y y) (- (* y y) 2))
(* y y)
y
(- (* y y) 2)
2

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

localize49.0ms (1%)

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

Results

37.0ms

256×

valid

Compiler

Compiled 48 to 12 computations (75% saved)

Precisions

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

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

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

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

const: 1.0ms (8.6% of total)

backward-pass: 0.0ms (0% of total)

series5.0ms (0.1%)

Counts

5 → 72

Calls

Call 1

Inputs
#<alt (- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))>
#<alt (* 9 (pow x 4))>
#<alt (pow x 4)>
#<alt (* (* y y) (- (* y y) 2))>
#<alt (* y y)>

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 x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<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)))))>
#<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)>

Calls

18 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	y	@	inf	(* (* y y) (- (* y y) 2))

rewrite400.0ms (8.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1592×	`sum4-define`
1548×	`+-lowering-+.f64`
1548×	`+-lowering-+.f32`
1072×	`--lowering--.f32`
1072×	`--lowering--.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	29
1	38	29
2	115	29
3	582	29
4	3086	29
5	7819	29
0	8291	29

Stop Event

1×	iter limit
1×	node limit

Counts

5 → 256

Calls

Call 1

Inputs
(- (* 9 (pow x 4)) (* (* y y) (- (* y y) 2)))
(* 9 (pow x 4))
(pow x 4)
(* (* y y) (- (* y y) 2))
(* y y)

Outputs
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))))
(+.f64 (.f64 y (.f64 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 (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) #s(literal 0 binary64))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (neg.f64 (+.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (neg.f64 (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(+.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(+.f64 (.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 (.f64 y y)))))
(+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) (neg.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (+.f64 (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)))))
(+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64))))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) #s(literal 2 binary64))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y y) #s(literal 2 binary64)))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(+.f64 (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)))))
(+.f64 (-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(+.f64 (.f64 (.f64 y y) (+.f64 (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))) (neg.f64 (-.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (+.f64 (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)))) (.f64 y (.f64 y (.f64 y y))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y #s(literal -2 binary64))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))) (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))) (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))) (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.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 (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(-.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (-.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) #s(literal 0 binary64))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (+.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))
(-.f64 #s(literal 0 binary64) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))
(-.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y #s(literal -2 binary64))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) #s(literal 2 binary64))) (.f64 y (.f64 y (.f64 y y))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))))
(-.f64 (-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(-.f64 (.f64 (.f64 y y) (+.f64 (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))) (-.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (+.f64 (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(-.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))) (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(-.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))) (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64)))) (.f64 y (.f64 y (.f64 y y))))
(-.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))) (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y #s(literal -2 binary64))))
(fma.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 9 binary64) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(fma.f64 y #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(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))))
(fma.f64 y (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (*.f64 y y) #s(literal 2 binary64))))
(fma.f64 y (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y y) #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 0 binary64) (.f64 y y)) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (*.f64 y y) #s(literal 2 binary64))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 0 binary64) (.f64 y y)) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(fma.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(fma.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) (.f64 y y)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) #s(literal -1 binary64) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal 0 binary64) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (.f64 y y) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (*.f64 y y) #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (.f64 y y) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (+.f64 (.f64 y y) #s(literal -2 binary64)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(fma.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) (-.f64 #s(literal 0 binary64) y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) y (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) #s(literal 2 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (.f64 y y))) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (.f64 y y)) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (*.f64 y y) #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (.f64 y y)) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(fma.f64 (.f64 y (.f64 y y)) (-.f64 #s(literal 0 binary64) y) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (*.f64 y y) #s(literal 2 binary64))))
(fma.f64 (.f64 y (.f64 y y)) (-.f64 #s(literal 0 binary64) y) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(fma.f64 (.f64 y (.f64 y (.f64 y y))) #s(literal -1 binary64) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) y (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (*.f64 y y) #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) y (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(neg.f64 (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(+.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal 0 binary64))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (neg.f64 (+.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (neg.f64 (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(+.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))))
(+.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))))))
(+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) (-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (.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 #s(literal -2 binary64)))))
(+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) (neg.f64 (-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))))))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (neg.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (*.f64 y y) #s(literal 2 binary64))))
(+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (neg.f64 (-.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (neg.f64 (+.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (neg.f64 (-.f64 (.f64 (.f64 y y) (-.f64 #s(literal -2 binary64) (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal -2 binary64)))))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (*.f64 y y))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) #s(literal 2 binary64))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(+.f64 (.f64 y (.f64 #s(literal 2 binary64) (.f64 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 (.f64 (+.f64 (*.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(+.f64 (-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal -2 binary64)))) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(+.f64 (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64)))) (neg.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))))
(+.f64 (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64))) (neg.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))))
(+.f64 (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(+.f64 (+.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(+.f64 (+.f64 #s(literal 0 binary64) (-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (.f64 y y))))) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(+.f64 (+.f64 (-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (.f64 y y)))) #s(literal 0 binary64)) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 (.f64 y y) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal 0 binary64))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (+.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))))
(-.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(-.f64 #s(literal 0 binary64) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))
(-.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))))
(-.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) (-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))))
(-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 y (.f64 y (.f64 y y))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (-.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (-.f64 (.f64 (.f64 y y) (-.f64 #s(literal -2 binary64) (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal -2 binary64))))))
(-.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) #s(literal 2 binary64))) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(-.f64 (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (-.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (.f64 y (.f64 y (.f64 (+.f64 (*.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(-.f64 (-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (*.f64 y y))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal -2 binary64)))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(-.f64 (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(-.f64 (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64))) (+.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))))
(-.f64 (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) #s(literal 2 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(-.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(-.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(-.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(-.f64 (+.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(-.f64 (+.f64 #s(literal 0 binary64) (-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (.f64 y y))))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(-.f64 (+.f64 (-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (.f64 y y)))) #s(literal 0 binary64)) (.f64 y (*.f64 y #s(literal -2 binary64))))
(-.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 (.f64 y y) #s(literal 2 binary64))) (.f64 y (.f64 y (*.f64 y y))))
(fma.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 9 binary64) #s(literal 0 binary64))
(fma.f64 y #s(literal 0 binary64) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(fma.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 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(fma.f64 (.f64 y y) #s(literal 0 binary64) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) (.f64 y y) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(fma.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal 0 binary64) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal 0 binary64) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) y (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(fma.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) #s(literal 0 binary64) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(neg.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 9 binary64))
(exp.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)))
(pow.f64 x #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 x))
(+.f64 (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))) #s(literal 0 binary64))
(+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (neg.f64 (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)) #s(literal 0 binary64)))
(+.f64 #s(literal 0 binary64) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(+.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))))
(+.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) (neg.f64 (.f64 y (.f64 y (.f64 (+.f64 (*.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 #s(literal 1 binary64) (.f64 y (.f64 y #s(literal -2 binary64)))))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (*.f64 y #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) y)))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (.f64 y (.f64 y #s(literal -2 binary64))) #s(literal 1 binary64)))
(+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 y (.f64 y (*.f64 y y))))
(+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (neg.f64 (.f64 (.f64 y y) (+.f64 (.f64 (+.f64 (*.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)))))
(+.f64 (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(+.f64 (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(+.f64 (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(+.f64 (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64)))) (neg.f64 (-.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)))))
(+.f64 (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64))) (neg.f64 (-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)))))
(+.f64 (.f64 (.f64 y y) #s(literal -4 binary64)) (neg.f64 (.f64 (.f64 y y) (-.f64 #s(literal -2 binary64) (*.f64 y y)))))
(+.f64 (.f64 #s(literal 1 binary64) (.f64 y (.f64 y #s(literal -2 binary64)))) (.f64 y (.f64 y (.f64 y y))))
(+.f64 (.f64 (.f64 y #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) y)) (.f64 y (.f64 y (*.f64 y y))))
(+.f64 (neg.f64 (.f64 y (.f64 y (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64))))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(+.f64 (neg.f64 (.f64 (.f64 y y) (+.f64 (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (neg.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(+.f64 (.f64 (.f64 y (.f64 y #s(literal -2 binary64))) #s(literal 1 binary64)) (.f64 y (.f64 y (.f64 y y))))
(+.f64 (+.f64 (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(+.f64 (+.f64 (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 (.f64 y y) (+.f64 (.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(+.f64 (+.f64 (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(-.f64 (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))) #s(literal 0 binary64))
(-.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(-.f64 #s(literal 0 binary64) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(-.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) (.f64 y (.f64 y (.f64 (+.f64 (*.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)))))
(-.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(-.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y y) (+.f64 (.f64 (+.f64 (*.f64 y y) #s(literal -2 binary64)) #s(literal -2 binary64)) #s(literal -2 binary64))))
(-.f64 (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64)) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(-.f64 (.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(-.f64 (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(-.f64 (.f64 (.f64 y y) (+.f64 #s(literal -2 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64)))) (-.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(-.f64 (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64))) (.f64 y (.f64 y (*.f64 y y))))
(-.f64 (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))) #s(literal 0 binary64)) #s(literal 0 binary64))))
(-.f64 (.f64 (.f64 y y) #s(literal -4 binary64)) (.f64 (.f64 y y) (-.f64 #s(literal -2 binary64) (*.f64 y y))))
(-.f64 (+.f64 (.f64 (.f64 y y) (+.f64 (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) #s(literal 2 binary64))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (*.f64 y y) #s(literal 2 binary64)))
(fma.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) #s(literal 0 binary64))
(fma.f64 y (.f64 y (.f64 y y)) (.f64 y (.f64 y #s(literal -2 binary64))))
(fma.f64 y (.f64 y #s(literal -2 binary64)) (.f64 y (.f64 y (.f64 y y))))
(fma.f64 y (.f64 #s(literal 2 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))))
(fma.f64 (.f64 y y) (.f64 y y) (.f64 y (.f64 y #s(literal -2 binary64))))
(fma.f64 (.f64 y y) (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal 0 binary64))
(fma.f64 (.f64 y y) #s(literal -2 binary64) (.f64 y (.f64 y (.f64 y y))))
(fma.f64 (.f64 y y) (+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) #s(literal -4 binary64)) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))))
(fma.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) (.f64 y y) #s(literal 0 binary64))
(fma.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) (.f64 (.f64 y y) #s(literal 2 binary64)) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))))
(fma.f64 #s(literal -2 binary64) (.f64 y y) (.f64 y (.f64 y (.f64 y y))))
(fma.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) y #s(literal 0 binary64))
(fma.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) (.f64 y #s(literal 2 binary64)) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))))
(fma.f64 (.f64 y (.f64 y y)) y (.f64 y (.f64 y #s(literal -2 binary64))))
(fma.f64 (.f64 y #s(literal -2 binary64)) y (.f64 y (.f64 y (.f64 y y))))
(fma.f64 #s(literal 1 binary64) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))) #s(literal 0 binary64))
(neg.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))
(.f64 (.f64 y y) (+.f64 (*.f64 y y) #s(literal -2 binary64)))
(.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) (*.f64 y y))
(.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) #s(literal 1 binary64))
(.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (-.f64 #s(literal 0 binary64) (*.f64 y y)))
(.f64 (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal -1 binary64))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (-.f64 #s(literal 2 binary64) (*.f64 y y)))
(.f64 (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))) y)
(.f64 (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))) (-.f64 #s(literal 0 binary64) y))
(.f64 #s(literal -1 binary64) (.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y))))
(.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(.f64 #s(literal 1 binary64) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(+.f64 (*.f64 y y) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 y y))
(+.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (*.f64 y y)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 y)))
(-.f64 (*.f64 y y) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 y y)))
(-.f64 (.f64 (.f64 y y) #s(literal 2 binary64)) (*.f64 y y))
(fma.f64 y y #s(literal 0 binary64))
(neg.f64 (-.f64 #s(literal 0 binary64) (*.f64 y y)))
(pow.f64 y #s(literal 2 binary64))
(pow.f64 (-.f64 #s(literal 0 binary64) y) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 y))
(*.f64 y y)
(.f64 (.f64 y y) #s(literal 1 binary64))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) #s(literal -1 binary64))
(.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 y y)))
(*.f64 (-.f64 #s(literal 0 binary64) y) (-.f64 #s(literal 0 binary64) y))
(.f64 #s(literal 1 binary64) (.f64 y y))

simplify159.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1982×	`-lowering-.f32`
1982×	`-lowering-.f64`
1876×	`sum5-define`
1816×	`sum4-define`
1628×	`sum3-define`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	39	535
1	103	479
2	272	478
3	795	478
4	2176	462
5	5988	462
0	8346	462

Stop Event

1×	iter limit
1×	node limit

Counts

72 → 72

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 x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(* -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)))))
(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)

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)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(- (* 9 (pow x 4)) (* (pow y 2) (- (pow y 2) 2)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(- (* 9 (pow x 4)) (* (pow y 2) (- (pow y 2) 2)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* 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)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (* -1 (/ (* (pow y 2) (- (pow y 2) 2)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (* -1 (/ (* (pow y 2) (- (pow y 2) 2)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* 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)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (* -1 (/ (* (pow y 2) (- (pow y 2) 2)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (* -1 (/ (* (pow y 2) (- (pow y 2) 2)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(+ (* 2 (pow y 2)) (* 9 (pow x 4)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(+ (* 9 (pow x 4)) (* (pow y 2) (+ 2 (* -1 (pow y 2)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+ (* 9 (pow x 4)) (* (pow y 2) (+ 2 (* -1 (pow y 2)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* -1 (pow y 4))
(-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))))
(* -1 (pow y 4))
(-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))))
(* 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 x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(* -2 (pow y 2))
(.f64 y (.f64 y #s(literal -2 binary64)))
(* (pow y 2) (- (pow y 2) 2))
(.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))
(* (pow y 2) (- (pow y 2) 2))
(.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))
(* (pow y 2) (- (pow y 2) 2))
(.f64 y (.f64 y (+.f64 (*.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 (.f64 y (.f64 y y))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- 1 (* 2 (/ 1 (pow y 2)))))
(.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- 1 (* 2 (/ 1 (pow y 2)))))
(.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(pow y 4)
(.f64 y (.f64 y (*.f64 y y)))
(* (pow y 4) (- 1 (* 2 (/ 1 (pow y 2)))))
(.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- 1 (* 2 (/ 1 (pow y 2)))))
(.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- 1 (* 2 (/ 1 (pow y 2)))))
(.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 #s(literal 1 binary64) (/.f64 #s(literal 2 binary64) (*.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)

eval43.0ms (0.9%)

Compiler: Compiled 8223 to 625 computations (92.4% saved)

prune37.0ms (0.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	354	4	358
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	355	4	359

Accuracy

100.0%

Counts

359 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 55 to 37 computations (32.7% saved)

simplify126.0ms (2.7%)

Algorithm

1×	egg-herbie

Localize:

Found 14 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
✓	cost-diff	0	(*.f64 y y)
✓	cost-diff	0	(-.f64 #s(literal 2 binary64) (*.f64 y y))
✓	cost-diff	6272	(fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
✓	cost-diff	0	(pow.f64 x #s(literal 4 binary64))
✓	cost-diff	0	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
✓	cost-diff	0	(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
✓	cost-diff	256	(-.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y #s(literal -2 binary64))))
✓	cost-diff	0	(*.f64 y y)
✓	cost-diff	0	(-.f64 #s(literal 2 binary64) (*.f64 y y))
✓	cost-diff	0	(.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))
✓	cost-diff	0	(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
✓	cost-diff	0	(pow.f64 x #s(literal 4 binary64))
✓	cost-diff	0	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))

Rules

1500×	`fnmadd-define`
1192×	`sum5-define`
1018×	`fma-define`
1002×	`fmsub-define`
984×	`fnmsub-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	121
1	53	111
2	135	111
3	334	111
4	750	111
5	2072	111
6	4140	111
7	4806	111
8	5056	111
9	5111	111
10	5119	111
0	5119	111

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize115.0ms (2.4%)

Localize:

Found 14 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(pow.f64 x #s(literal 4 binary64))
✓	accuracy	100.0%	(-.f64 #s(literal 2 binary64) (*.f64 y y))
✓	accuracy	100.0%	(*.f64 y y)
✓	accuracy	100.0%	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
✓	accuracy	100.0%	(*.f64 y y)
✓	accuracy	100.0%	(*.f64 y #s(literal -2 binary64))
✓	accuracy	100.0%	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
✓	accuracy	64.1%	(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y 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%	(pow.f64 x #s(literal 4 binary64))
✓	accuracy	100.0%	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))

Results

81.0ms

256×

valid

Compiler

Compiled 143 to 20 computations (86% saved)

Precisions

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

ival-mult: 14.0ms (39.4% of total)

compiled-spec: 8.0ms (22.5% of total)

ival-add: 5.0ms (14.1% of total)

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

ival-sub: 3.0ms (8.4% of total)

const: 1.0ms (2.8% of total)

backward-pass: 0.0ms (0% of total)

series8.0ms (0.2%)

Counts

10 → 156

Calls

Call 1

Inputs
#<alt (* 9 (pow x 4))>
#<alt (pow x 4)>
#<alt (* y (* y (- 2 (* y y))))>
#<alt (* y (- 2 (* y y)))>
#<alt (- 2 (* y y))>
#<alt (* y y)>
#<alt (- (- (* 9 (pow x 4)) (* y (* y (* y y)))) (* y (* y -2)))>
#<alt (- (* 9 (pow x 4)) (* y (* y (* y y))))>
#<alt (+ (* (- 2 (* y y)) (* y y)) (* 9 (pow x 4)))>
#<alt (* y -2)>

Outputs
#<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 x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 4)>
#<alt (pow x 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 (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 (* -1 (+ (* -2 (pow y 2)) (pow y 4)))>
#<alt (- (* 9 (pow x 4)) (+ (* -2 (pow y 2)) (pow y 4)))>
#<alt (- (* 9 (pow x 4)) (+ (* -2 (pow y 2)) (pow y 4)))>
#<alt (- (* 9 (pow x 4)) (+ (* -2 (pow y 2)) (pow y 4)))>
#<alt (* 9 (pow x 4))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))>
#<alt (* 9 (pow x 4))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (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 (* -1 (pow y 4))>
#<alt (- (* 9 (pow x 4)) (pow y 4))>
#<alt (- (* 9 (pow x 4)) (pow y 4))>
#<alt (- (* 9 (pow x 4)) (pow y 4))>
#<alt (* 9 (pow x 4))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))>
#<alt (* 9 (pow x 4))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))>
#<alt (* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))>
#<alt (* 9 (pow x 4))>
#<alt (+ (* -1 (pow y 4)) (* 9 (pow x 4)))>
#<alt (+ (* -1 (pow y 4)) (* 9 (pow x 4)))>
#<alt (+ (* -1 (pow y 4)) (* 9 (pow x 4)))>
#<alt (* -1 (pow y 4))>
#<alt (* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))>
#<alt (* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))>
#<alt (* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))>
#<alt (* -1 (pow y 4))>
#<alt (* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))>
#<alt (* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))>
#<alt (* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))>
#<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 (* (pow y 2) (- 2 (pow y 2)))>
#<alt (+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))>
#<alt (+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))>
#<alt (+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))>
#<alt (* 9 (pow x 4))>
#<alt (* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))>
#<alt (* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))>
#<alt (* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))>
#<alt (* 9 (pow x 4))>
#<alt (* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))>
#<alt (* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))>
#<alt (* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))>
#<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)>

Calls

39 calls:

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

rewrite145.0ms (3.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1724×	`sum4-define`
1412×	`fnmadd-define`
1314×	`sum3-define`
1080×	`fmsub-define`
960×	`fmm-def`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	70
1	64	62
2	183	62
3	900	62
4	4462	62
0	8536	62

Stop Event

1×	iter limit
1×	node limit

Counts

10 → 393

Calls

Call 1

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

Outputs
(+.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal 0 binary64))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (*.f64 y y))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (*.f64 y #s(literal -2 binary64)))))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64))))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (.f64 y (*.f64 y #s(literal -2 binary64))))))
(-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) #s(literal 0 binary64))
(-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 y (.f64 y (.f64 y y))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(-.f64 #s(literal 0 binary64) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y))))))
(-.f64 #s(literal 0 binary64) (-.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(-.f64 #s(literal 0 binary64) (-.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) #s(literal 0 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y))))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y))))))
(-.f64 (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64)))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y))))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (*.f64 y y))))
(-.f64 (+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64))))) (.f64 y (.f64 y (*.f64 y y))))
(fma.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 9 binary64) #s(literal 0 binary64))
(fma.f64 y (.f64 y (.f64 y y)) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 y #s(literal 0 binary64) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y y) (.f64 y y) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (.f64 y y) #s(literal 0 binary64) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (.f64 y y)) y (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (.f64 y (.f64 y y)) #s(literal 0 binary64) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal 1 binary64) (.f64 y (.f64 y (.f64 y y))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(neg.f64 (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 9 binary64))
(exp.f64 (*.f64 #s(literal 4 binary64) (log.f64 x)))
(pow.f64 x #s(literal 4 binary64))
(pow.f64 (exp.f64 #s(literal 4 binary64)) (log.f64 x))
(+.f64 #s(literal 0 binary64) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (*.f64 y #s(literal 2 binary64))))
(+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))) #s(literal 0 binary64))
(+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 0 binary64) (+.f64 (*.f64 y y) #s(literal -2 binary64))))
(+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (+.f64 (.f64 y #s(literal 2 binary64)) (.f64 y #s(literal -2 binary64))) y))
(+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (+.f64 (.f64 y #s(literal -2 binary64)) (.f64 y #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) y)))
(+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 0 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(+.f64 (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))) (.f64 (.f64 y y) (+.f64 (*.f64 y y) #s(literal 2 binary64))))
(+.f64 (.f64 (.f64 y y) (+.f64 (.f64 y y) #s(literal 2 binary64))) (.f64 y (.f64 y (.f64 y (*.f64 y #s(literal -2 binary64))))))
(+.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) #s(literal 0 binary64)) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(+.f64 (.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal 0 binary64)) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+.f64 (.f64 #s(literal 0 binary64) (-.f64 #s(literal 2 binary64) (.f64 y y))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(+.f64 (.f64 #s(literal 0 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(+.f64 (.f64 #s(literal 0 binary64) (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+.f64 (.f64 #s(literal 0 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+.f64 (+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (.f64 y (.f64 y (*.f64 y y))))
(+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))) (.f64 y (.f64 y (*.f64 y y))))
(+.f64 (+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 y (.f64 y #s(literal 2 binary64)))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(+.f64 (+.f64 (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))) (.f64 y (.f64 y #s(literal 2 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(+.f64 (+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (*.f64 y #s(literal -2 binary64))))
(-.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (.f64 y (.f64 y (*.f64 y y))))
(-.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))) #s(literal 0 binary64))
(fma.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal 0 binary64))
(fma.f64 y (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) (.f64 y (.f64 y #s(literal 2 binary64))))
(fma.f64 y (.f64 y #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 #s(literal 2 binary64) (.f64 y y) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (.f64 y y) #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)) #s(literal 0 binary64))
(fma.f64 (.f64 y y) (-.f64 #s(literal 0 binary64) (.f64 y y)) (.f64 y (.f64 y #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) #s(literal 0 binary64))
(fma.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) y #s(literal 0 binary64))
(fma.f64 (.f64 y (.f64 y y)) (-.f64 #s(literal 0 binary64) y) (.f64 y (.f64 y #s(literal 2 binary64))))
(fma.f64 (.f64 y (.f64 y (.f64 y y))) #s(literal -1 binary64) (.f64 y (*.f64 y #s(literal 2 binary64))))
(fma.f64 #s(literal -2 binary64) (-.f64 #s(literal 0 binary64) (.f64 y y)) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (.f64 y #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) y) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (.f64 y (.f64 y #s(literal -2 binary64))) #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) y (.f64 y (.f64 y #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) #s(literal -2 binary64) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (+.f64 (.f64 y y) #s(literal -2 binary64)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (.f64 y y)) (.f64 y (.f64 y #s(literal 2 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (.f64 y y))) (.f64 y (*.f64 y #s(literal 2 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y #s(literal -2 binary64))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))) #s(literal 0 binary64))
(fma.f64 (.f64 y #s(literal 2 binary64)) y (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) (-.f64 #s(literal 0 binary64) y) #s(literal 0 binary64))
(fma.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) (.f64 y y)) #s(literal 0 binary64))
(fma.f64 (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))) #s(literal -1 binary64) #s(literal 0 binary64))
(neg.f64 (.f64 y (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64)))))
(neg.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (-.f64 #s(literal 0 binary64) (*.f64 y y))))
(neg.f64 (.f64 (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))) (-.f64 #s(literal 0 binary64) y)))
(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(.f64 y (+.f64 (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))) (.f64 y (+.f64 (.f64 y y) #s(literal 2 binary64)))))
(.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (*.f64 y y)))
(.f64 (.f64 y y) (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (+.f64 (*.f64 y y) #s(literal 2 binary64))))
(.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 0 binary64) (.f64 y y)) (+.f64 (*.f64 y y) #s(literal -2 binary64)))
(.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))
(.f64 #s(literal -1 binary64) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(.f64 (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))) (-.f64 #s(literal 0 binary64) y))
(.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) (*.f64 y y)))
(.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) #s(literal -1 binary64))
(+.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal 0 binary64))
(+.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) (+.f64 (.f64 y #s(literal 2 binary64)) (.f64 y #s(literal -2 binary64))))
(+.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) (neg.f64 (+.f64 (.f64 y #s(literal -2 binary64)) (.f64 y #s(literal 2 binary64)))))
(+.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) (.f64 #s(literal -1 binary64) (+.f64 (.f64 y #s(literal -2 binary64)) (*.f64 y #s(literal 2 binary64)))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) (*.f64 y #s(literal 2 binary64)))
(+.f64 #s(literal 0 binary64) (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))
(+.f64 (.f64 y #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (.f64 y (*.f64 y y))))
(+.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) #s(literal 0 binary64)) (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))
(+.f64 (.f64 #s(literal 0 binary64) (-.f64 #s(literal 2 binary64) (.f64 y y))) (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))
(+.f64 (.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) #s(literal -1 binary64)) (.f64 (+.f64 (.f64 y #s(literal -2 binary64)) (.f64 y #s(literal 2 binary64))) #s(literal -1 binary64)))
(+.f64 (+.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y)))) (.f64 y (.f64 y y)))
(-.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) #s(literal 0 binary64))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) (*.f64 y #s(literal -2 binary64)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) (-.f64 (.f64 y #s(literal -2 binary64)) (+.f64 (.f64 y #s(literal 2 binary64)) (*.f64 y #s(literal -2 binary64)))))
(-.f64 #s(literal 0 binary64) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) #s(literal 0 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) (+.f64 (.f64 y #s(literal 2 binary64)) (.f64 y #s(literal -2 binary64)))))
(-.f64 (.f64 y #s(literal 2 binary64)) (.f64 y (*.f64 y y)))
(-.f64 (.f64 y #s(literal 2 binary64)) (-.f64 (.f64 y (.f64 y y)) (+.f64 (.f64 y #s(literal 2 binary64)) (*.f64 y #s(literal -2 binary64)))))
(fma.f64 y #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))))
(fma.f64 y (-.f64 #s(literal 0 binary64) (.f64 y y)) (.f64 y #s(literal 2 binary64)))
(fma.f64 #s(literal 2 binary64) y (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 0 binary64) 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) (-.f64 #s(literal 0 binary64) y) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))))
(fma.f64 (.f64 y #s(literal -2 binary64)) #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 y (*.f64 y y))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) y (.f64 y #s(literal 2 binary64)))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y y) (.f64 y #s(literal 2 binary64)))
(fma.f64 (-.f64 #s(literal 0 binary64) y) #s(literal -2 binary64) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y y)) (*.f64 y #s(literal 2 binary64)))
(fma.f64 #s(literal -1 binary64) (.f64 y #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) (.f64 y (*.f64 y y))))
(neg.f64 (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))))
(neg.f64 (.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (-.f64 #s(literal 0 binary64) y)))
(.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))
(.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) y)
(.f64 (-.f64 #s(literal 0 binary64) y) (+.f64 (.f64 y y) #s(literal -2 binary64)))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (*.f64 y y) #s(literal -2 binary64))))
(.f64 (+.f64 (.f64 y y) #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) y))
(+.f64 #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) (*.f64 y y)))
(+.f64 (-.f64 #s(literal 2 binary64) (*.f64 y y)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 2 binary64) (*.f64 y y)))
(+.f64 (-.f64 #s(literal 0 binary64) (*.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 0 binary64) (*.f64 y y)) #s(literal -2 binary64))
(fma.f64 y (-.f64 #s(literal 0 binary64) y) #s(literal 2 binary64))
(fma.f64 (*.f64 y y) #s(literal -1 binary64) #s(literal 2 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) y) y #s(literal 2 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 y y) #s(literal 2 binary64))
(neg.f64 (+.f64 (*.f64 y y) #s(literal -2 binary64)))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 y y) #s(literal -2 binary64)))
(+.f64 (*.f64 y y) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 y y))
(+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (*.f64 y y)))
(exp.f64 (*.f64 #s(literal 2 binary64) (log.f64 y)))
(exp.f64 (*.f64 (log.f64 (exp.f64 #s(literal 2 binary64))) (log.f64 y)))
(-.f64 (*.f64 y y) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (*.f64 y y)))
(fma.f64 y y #s(literal 0 binary64))
(fma.f64 (*.f64 y y) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (*.f64 y y)) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (-.f64 #s(literal 0 binary64) y) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 y y) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (*.f64 y y)) #s(literal 0 binary64))
(neg.f64 (-.f64 #s(literal 0 binary64) (*.f64 y y)))
(pow.f64 y #s(literal 2 binary64))
(pow.f64 (-.f64 #s(literal 0 binary64) y) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 2 binary64)) (log.f64 y))
(*.f64 y y)
(.f64 (.f64 y y) #s(literal 1 binary64))
(.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) #s(literal -1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) y) (-.f64 #s(literal 0 binary64) y))
(.f64 #s(literal 1 binary64) (.f64 y y))
(.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (.f64 y y)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y #s(literal 2 binary64))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) #s(literal 0 binary64))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(+.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))))
(+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))) (.f64 (.f64 y y) (+.f64 (.f64 y y) #s(literal 2 binary64))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (.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 (.f64 y (.f64 y #s(literal -2 binary64)))))))
(+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))) (.f64 y (.f64 y (.f64 y y))))
(+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (.f64 y (.f64 y #s(literal 2 binary64)))) (.f64 y (.f64 y #s(literal -2 binary64))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(+.f64 (+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y))))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))
(+.f64 (+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))) (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64))))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(-.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(-.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))))))
(-.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y #s(literal -2 binary64))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 #s(literal 0 binary64) (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y #s(literal -2 binary64)))))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(-.f64 #s(literal 0 binary64) (-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))))))
(-.f64 #s(literal 0 binary64) (-.f64 (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y #s(literal -2 binary64)))) #s(literal 0 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y y) (+.f64 (.f64 y y) #s(literal 2 binary64)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (-.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) #s(literal 0 binary64)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64))))))
(-.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))) (.f64 y (.f64 y (.f64 y y))))
(-.f64 (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64)))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))))))
(-.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(-.f64 (+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))) (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64))))) (.f64 y (.f64 y (.f64 y y))))
(fma.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 9 binary64) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(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))))
(fma.f64 y (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 y #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(fma.f64 y (.f64 y #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 #s(literal 2 binary64) (.f64 y y) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.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 (*.f64 y y)))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y y) #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 0 binary64) (.f64 y y)) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) y (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (.f64 y y)) #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(fma.f64 (.f64 y (.f64 y y)) (-.f64 #s(literal 0 binary64) y) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 (.f64 y (.f64 y (.f64 y y))) #s(literal -1 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))))
(fma.f64 #s(literal -2 binary64) (-.f64 #s(literal 0 binary64) (.f64 y y)) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (.f64 y #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) y) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (.f64 y (.f64 y #s(literal -2 binary64))) #s(literal -1 binary64) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) y (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (.f64 y y) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) #s(literal -2 binary64) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (+.f64 (.f64 y y) #s(literal -2 binary64)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (.f64 y y)) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y #s(literal -2 binary64)) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y #s(literal -2 binary64))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y #s(literal 2 binary64)) y (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(neg.f64 (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(neg.f64 (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y #s(literal -2 binary64)))))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) #s(literal 0 binary64))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (neg.f64 (+.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))))
(+.f64 #s(literal 0 binary64) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))) (.f64 y (.f64 y (.f64 y y))))
(+.f64 (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))) (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64))))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(-.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))))
(-.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y))))))
(-.f64 #s(literal 0 binary64) (-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))))
(-.f64 #s(literal 0 binary64) (-.f64 (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.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 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(-.f64 (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64)))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64)))))
(-.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))) (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64))))) (.f64 y (.f64 y (.f64 y y))))
(fma.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 9 binary64) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 y (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 y #s(literal 0 binary64) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 #s(literal 2 binary64) #s(literal 0 binary64) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (.f64 y y) #s(literal 0 binary64) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 0 binary64) (.f64 y y)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (.f64 y y)) #s(literal 0 binary64) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (.f64 y (.f64 y y)) (-.f64 #s(literal 0 binary64) y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (.f64 y (.f64 y y))) #s(literal -1 binary64) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) y (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (.f64 y y)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (.f64 y y))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(neg.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 y (.f64 y (.f64 y y))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))))
(+.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y #s(literal 2 binary64))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) #s(literal 0 binary64))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) #s(literal 0 binary64)) #s(literal 0 binary64)))
(+.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(+.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))))
(+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))) (.f64 (.f64 y y) (+.f64 (.f64 y y) #s(literal 2 binary64))))
(+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (.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 (.f64 y (.f64 y #s(literal -2 binary64)))))))
(+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))) (.f64 y (.f64 y (.f64 y y))))
(+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (.f64 y (.f64 y #s(literal 2 binary64)))) (.f64 y (.f64 y #s(literal -2 binary64))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(+.f64 (+.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y))))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(+.f64 (+.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))
(+.f64 (+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))) (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64))))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))))
(-.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(-.f64 (.f64 y (.f64 y (.f64 y y))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))))))
(-.f64 (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y #s(literal -2 binary64))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 #s(literal 0 binary64) (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y #s(literal -2 binary64)))))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(-.f64 #s(literal 0 binary64) (-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))))))
(-.f64 #s(literal 0 binary64) (-.f64 (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y #s(literal -2 binary64)))) #s(literal 0 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 (.f64 y y) (+.f64 (.f64 y y) #s(literal 2 binary64)))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (-.f64 (+.f64 (.f64 y (.f64 y #s(literal -2 binary64))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) #s(literal 0 binary64)))
(-.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))) (-.f64 #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64))))))
(-.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(-.f64 (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64)))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))) (.f64 y (.f64 y (.f64 y y))))
(-.f64 (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64)))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64)))))))))
(-.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))) (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y)))))
(-.f64 (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (-.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(-.f64 (+.f64 (+.f64 (.f64 y (.f64 y #s(literal 2 binary64))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y (.f64 y #s(literal -2 binary64))))))) (.f64 (.f64 y y) (.f64 y (.f64 y #s(literal 2 binary64))))) (.f64 y (.f64 y (.f64 y y))))
(fma.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(fma.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal 9 binary64) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y)))))
(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))))
(fma.f64 y (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 y #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(fma.f64 y (.f64 y #s(literal 2 binary64)) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 #s(literal 2 binary64) (.f64 y y) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.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 (*.f64 y y)))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 2 binary64) (.f64 y y)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y y) #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))))
(fma.f64 (.f64 y y) (-.f64 #s(literal 0 binary64) (.f64 y y)) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))) y (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y (.f64 y y)) #s(literal 0 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y))))))
(fma.f64 (.f64 y (.f64 y y)) (-.f64 #s(literal 0 binary64) y) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 (.f64 y (.f64 y (.f64 y y))) #s(literal -1 binary64) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))))
(fma.f64 #s(literal -2 binary64) (-.f64 #s(literal 0 binary64) (.f64 y y)) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (.f64 y #s(literal -2 binary64)) (-.f64 #s(literal 0 binary64) y) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (.f64 y (.f64 y #s(literal -2 binary64))) #s(literal -1 binary64) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y (.f64 y y))) y (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 #s(literal 0 binary64) (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (.f64 y y) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) #s(literal -2 binary64) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (.f64 y y)) (+.f64 (.f64 y y) #s(literal -2 binary64)) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (.f64 y y)) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (*.f64 y #s(literal 2 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y #s(literal -2 binary64)) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(fma.f64 (-.f64 #s(literal 0 binary64) y) (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64))) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (.f64 y y))) (+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y #s(literal 2 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y #s(literal -2 binary64))) (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))))
(fma.f64 #s(literal -1 binary64) (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))
(fma.f64 (.f64 y #s(literal 2 binary64)) y (-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (*.f64 y y)))))
(neg.f64 (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(neg.f64 (+.f64 (+.f64 (.f64 y (.f64 y (.f64 y y))) (.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))) (.f64 y (.f64 y #s(literal -2 binary64)))))
(.f64 #s(literal -1 binary64) (+.f64 (.f64 y (.f64 y (+.f64 (.f64 y y) #s(literal -2 binary64)))) (*.f64 (pow.f64 x #s(literal 4 binary64)) #s(literal -9 binary64))))
(+.f64 (*.f64 y #s(literal -2 binary64)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (*.f64 y #s(literal -2 binary64)))
(+.f64 (-.f64 #s(literal 0 binary64) y) (-.f64 #s(literal 0 binary64) y))
(-.f64 (*.f64 y #s(literal -2 binary64)) #s(literal 0 binary64))
(-.f64 #s(literal 0 binary64) (*.f64 y #s(literal 2 binary64)))
(-.f64 (-.f64 #s(literal 0 binary64) y) y)
(fma.f64 y #s(literal -2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) y) #s(literal 0 binary64))
(fma.f64 #s(literal -2 binary64) y #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) y) #s(literal 2 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 y #s(literal -2 binary64)) #s(literal 0 binary64))
(fma.f64 #s(literal -1 binary64) (*.f64 y #s(literal 2 binary64)) #s(literal 0 binary64))
(neg.f64 (*.f64 y #s(literal 2 binary64)))
(*.f64 y #s(literal -2 binary64))
(*.f64 #s(literal 2 binary64) (-.f64 #s(literal 0 binary64) y))
(*.f64 #s(literal -2 binary64) y)
(.f64 (.f64 y #s(literal -2 binary64)) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) y) #s(literal 2 binary64))
(.f64 #s(literal 1 binary64) (.f64 y #s(literal -2 binary64)))
(.f64 #s(literal -1 binary64) (.f64 y #s(literal 2 binary64)))
(.f64 (.f64 y #s(literal 2 binary64)) #s(literal -1 binary64))

simplify184.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

2678×	`-lowering-.f32`
2678×	`-lowering-.f64`
1318×	`+-lowering-+.f64`
1318×	`+-lowering-+.f32`
1016×	`fma-lowering-fma.f32`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	61	1183
1	178	1098
2	436	1098
3	1190	1098
4	3489	1058
0	8182	1058

Stop Event

1×	iter limit
1×	node limit

Counts

156 → 156

Calls

Call 1

Inputs
(* 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 x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 4)
(pow x 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))
(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)
(* -1 (+ (* -2 (pow y 2)) (pow y 4)))
(- (* 9 (pow x 4)) (+ (* -2 (pow y 2)) (pow y 4)))
(- (* 9 (pow x 4)) (+ (* -2 (pow y 2)) (pow y 4)))
(- (* 9 (pow x 4)) (+ (* -2 (pow y 2)) (pow y 4)))
(* 9 (pow x 4))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(* 9 (pow x 4))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (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))
(* -1 (pow y 4))
(- (* 9 (pow x 4)) (pow y 4))
(- (* 9 (pow x 4)) (pow y 4))
(- (* 9 (pow x 4)) (pow y 4))
(* 9 (pow x 4))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(* 9 (pow x 4))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(* 9 (pow x 4))
(+ (* -1 (pow y 4)) (* 9 (pow x 4)))
(+ (* -1 (pow y 4)) (* 9 (pow x 4)))
(+ (* -1 (pow y 4)) (* 9 (pow x 4)))
(* -1 (pow y 4))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(* -1 (pow y 4))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(* 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))
(* (pow y 2) (- 2 (pow y 2)))
(+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))
(+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))
(+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))
(* 9 (pow x 4))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(* 9 (pow x 4))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(* -2 y)
(* -2 y)
(* -2 y)
(* -2 y)
(* -2 y)
(* -2 y)
(* -2 y)
(* -2 y)
(* -2 y)
(* -2 y)
(* -2 y)
(* -2 y)

Outputs
(* 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 x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(pow x 4)
(pow.f64 x #s(literal 4 binary64))
(* 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))
(.f64 y (.f64 y (*.f64 y (-.f64 #s(literal 0 binary64) y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* -1 (pow y 4))
(.f64 y (.f64 y (*.f64 y (-.f64 #s(literal 0 binary64) y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* 2 y)
(*.f64 #s(literal 2 binary64) 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)))
(* y (+ 2 (* -1 (pow y 2))))
(.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))
(* -1 (pow y 3))
(.f64 y (.f64 y (-.f64 #s(literal 0 binary64) 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))
(.f64 y (.f64 y (-.f64 #s(literal 0 binary64) 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))
(*.f64 y (-.f64 #s(literal 0 binary64) 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))
(*.f64 y (-.f64 #s(literal 0 binary64) 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))
(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)
(* -1 (+ (* -2 (pow y 2)) (pow y 4)))
(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(- (* 9 (pow x 4)) (+ (* -2 (pow y 2)) (pow y 4)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(- (* 9 (pow x 4)) (+ (* -2 (pow y 2)) (pow y 4)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(- (* 9 (pow x 4)) (+ (* -2 (pow y 2)) (pow y 4)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (* -1 (/ (+ (* -2 (pow y 2)) (pow y 4)) (pow x 4)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(+ (* 2 (pow y 2)) (* 9 (pow x 4)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(+ (* 9 (pow x 4)) (* (pow y 2) (+ 2 (* -1 (pow y 2)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+ (* 9 (pow x 4)) (* (pow y 2) (+ 2 (* -1 (pow y 2)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* -1 (pow y 4))
(.f64 y (.f64 y (*.f64 y (-.f64 #s(literal 0 binary64) y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))))
(* -1 (pow y 4))
(.f64 y (.f64 y (*.f64 y (-.f64 #s(literal 0 binary64) y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))))
(* -1 (pow y 4))
(.f64 y (.f64 y (*.f64 y (-.f64 #s(literal 0 binary64) y))))
(- (* 9 (pow x 4)) (pow y 4))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(- (* 9 (pow x 4)) (pow y 4))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(- (* 9 (pow x 4)) (pow y 4))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(* (pow x 4) (+ 9 (* -1 (/ (pow y 4) (pow x 4)))))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(+ (* -1 (pow y 4)) (* 9 (pow x 4)))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(+ (* -1 (pow y 4)) (* 9 (pow x 4)))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(+ (* -1 (pow y 4)) (* 9 (pow x 4)))
(-.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y))))
(* -1 (pow y 4))
(.f64 y (.f64 y (*.f64 y (-.f64 #s(literal 0 binary64) y))))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(-.f64 (.f64 #s(literal 9 binary64) (.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(-.f64 (.f64 #s(literal 9 binary64) (.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(-.f64 (.f64 #s(literal 9 binary64) (.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(* -1 (pow y 4))
(.f64 y (.f64 y (*.f64 y (-.f64 #s(literal 0 binary64) y))))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(-.f64 (.f64 #s(literal 9 binary64) (.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(-.f64 (.f64 #s(literal 9 binary64) (.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(* (pow y 4) (- (* 9 (/ (pow x 4) (pow y 4))) 1))
(-.f64 (.f64 #s(literal 9 binary64) (.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))) (.f64 y (.f64 y (*.f64 y y))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(+ (* 2 (pow y 2)) (* 9 (pow x 4)))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 #s(literal 2 binary64) (*.f64 y y)))
(+ (* 9 (pow x 4)) (* (pow y 2) (+ 2 (* -1 (pow y 2)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+ (* 9 (pow x 4)) (* (pow y 2) (+ 2 (* -1 (pow y 2)))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* -1 (pow y 4))
(.f64 y (.f64 y (*.f64 y (-.f64 #s(literal 0 binary64) y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))))
(* -1 (pow y 4))
(.f64 y (.f64 y (*.f64 y (-.f64 #s(literal 0 binary64) y))))
(* (pow y 4) (- (* 2 (/ 1 (pow y 2))) 1))
(.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (*.f64 y y))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))))
(* (pow y 4) (- (+ (* 9 (/ (pow x 4) (pow y 4))) (* 2 (/ 1 (pow y 2)))) 1))
(+.f64 (.f64 (.f64 y (.f64 y (.f64 y y))) (+.f64 #s(literal -1 binary64) (/.f64 #s(literal 2 binary64) (.f64 y y)))) (.f64 #s(literal 9 binary64) (*.f64 #s(literal 1 binary64) (pow.f64 x #s(literal 4 binary64)))))
(* (pow y 2) (- 2 (pow y 2)))
(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(+ (* 9 (pow x 4)) (* (pow y 2) (- 2 (pow y 2))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* 9 (pow x 4))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* (pow x 4) (+ 9 (/ (* (pow y 2) (- 2 (pow y 2))) (pow x 4))))
(+.f64 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (.f64 y y)))))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))
(* -2 y)
(*.f64 y #s(literal -2 binary64))

eval130.0ms (2.8%)

Compiler: Compiled 14500 to 912 computations (93.7% saved)

prune64.0ms (1.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	804	1	805
Fresh	0	0	0
Picked	2	2	4
Done	0	0	0
Total	806	3	809

Accuracy

100.0%

Counts

809 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

100.0%

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

✓

18.8%

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

▶

11.1%

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

Compiler

Compiled 44 to 29 computations (34.1% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(*.f64 y #s(literal 2 binary64))
✓	cost-diff	0	(.f64 y (.f64 y #s(literal 2 binary64)))

Rules

14×	`-lowering-.f32`
14×	`-lowering-.f64`
4×	`*-commutative`
2×	`associate-r`
2×	`square-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	4	10
1	8	9
2	10	9
0	10	9

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

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

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

localize33.0ms (0.7%)

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

Results

22.0ms

256×

valid

Compiler

Compiled 13 to 6 computations (53.8% saved)

Precisions

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

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

const: 0.0ms (0% of total)

backward-pass: 0.0ms (0% of total)

series1.0ms (0%)

Counts

2 → 24

Calls

Call 1

Inputs
#<alt (* y (* y 2))>
#<alt (* y 2)>

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

Calls

6 calls:

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

rewrite15.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

18×	`-lowering-.f32`
18×	`-lowering-.f64`
6×	`exp-lowering-exp.f32`
6×	`exp-prod`
6×	`exp-lowering-exp.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	4	8
1	8	7
2	11	7
3	14	7
4	18	7
5	26	7
6	30	7
7	33	7
0	33	7

Stop Event

1×	iter limit
1×	saturated

Counts

2 → 6

Calls

Call 1

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

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

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

14×	`-lowering-.f32`
14×	`-lowering-.f64`
4×	`*-commutative`
2×	`pow-lowering-pow.f64`
2×	`pow-lowering-pow.f32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	96
1	8	84
2	11	84
0	11	84

Stop Event

1×	iter limit
1×	saturated

Counts

24 → 24

Calls

Call 1

Inputs
(* 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))
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)
(* 2 y)

Outputs
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y y))
(* 2 (pow y 2))
(.f64 #s(literal 2 binary64) (.f64 y 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 y)
(*.f64 #s(literal 2 binary64) y)

eval3.0ms (0.1%)

Compiler: Compiled 152 to 11 computations (92.8% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	30	0	30
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	30	3	33

Accuracy

100.0%

Counts

33 → 3

Alt Table

Click to see full alt table

Status

Accuracy

Program

✓

100.0%

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

✓

18.8%

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

✓

11.1%

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

Compiler

Compiled 113 to 53 computations (53.1% saved)

regimes29.0ms (0.6%)

Counts

6 → 1

Calls

Call 1

Inputs
(.f64 y (.f64 y #s(literal 2 binary64)))
(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(-.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 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y #s(literal -2 binary64))))
(fma.f64 (-.f64 #s(literal 2 binary64) (.f64 y y)) (.f64 y y) (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))))

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

Calls

7 calls:

17.0ms	x
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 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
2.0ms	(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))
2.0ms	(pow.f64 x #s(literal 4 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%)

Counts

5 → 1

Calls

Call 1

Inputs
(.f64 y (.f64 y #s(literal 2 binary64)))
(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(-.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 (.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (.f64 y (.f64 y (.f64 y y)))) (.f64 y (.f64 y #s(literal -2 binary64))))

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

Calls

7 calls:

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 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
2.0ms	(*.f64 y y)
2.0ms	(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))
2.0ms	(pow.f64 x #s(literal 4 binary64))

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)

regimes12.0ms (0.3%)

Accuracy

Total -6.2b remaining (-10.8%)

Threshold costs -6.2b (-10.8%)

Counts

4 → 1

Calls

Call 1

Inputs
(.f64 y (.f64 y #s(literal 2 binary64)))
(.f64 y (.f64 y (-.f64 #s(literal 2 binary64) (*.f64 y y))))
(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
(-.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 y (.f64 y #s(literal 2 binary64)))

Calls

7 calls:

3.0ms	y
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))))
1.0ms	(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
1.0ms	(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))
1.0ms	(pow.f64 x #s(literal 4 binary64))

Results

Accuracy	Segments	Branch
11.1%	1	`x`
11.1%	1	`y`
11.1%	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))))`
11.1%	1	`(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))`
11.1%	1	`(pow.f64 x #s(literal 4 binary64))`
11.1%	1	`(.f64 (.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))`
11.1%	1	`(*.f64 y y)`

Compiler

Compiled 51 to 34 computations (33.3% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

28×	`*-commutative_binary64`
20×	`+-commutative_binary64`
20×	`sub-neg_binary64`
18×	`distribute-lft-neg-in_binary64`
18×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	38
1	39	38
2	63	38
3	84	38
4	94	38
5	98	38
6	99	38

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

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

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

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

soundness1.3s (28%)

Rules

2678×	`-lowering-.f32`
2678×	`-lowering-.f64`
1982×	`-lowering-.f32`
1982×	`-lowering-.f64`
1876×	`sum5-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	29
1	38	29
2	115	29
3	582	29
4	3086	29
5	7819	29
0	8291	29
0	61	1183
1	178	1098
2	436	1098
3	1190	1098
4	3489	1058
0	8182	1058
0	39	535
1	103	479
2	272	478
3	795	478
4	2176	462
5	5988	462
0	8346	462

Stop Event

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

Compiler

Compiled 76 to 43 computations (43.4% saved)

preprocess28.0ms (0.6%)

Remove: (abs y)
Compiler: Compiled 178 to 100 computations (43.8% saved)

From Rump in a 1983 paper, rewritten

analyze0.0ms (0%)

sample1.3s (28.5%)

preprocess194.0ms (4.1%)

explain124.0ms (2.6%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify110.0ms (2.3%)

localize49.0ms (1%)

series5.0ms (0.1%)

rewrite400.0ms (8.5%)

simplify159.0ms (3.4%)

eval43.0ms (0.9%)

prune37.0ms (0.8%)

simplify126.0ms (2.7%)

localize115.0ms (2.4%)

series8.0ms (0.2%)

rewrite145.0ms (3.1%)

simplify184.0ms (3.9%)

eval130.0ms (2.8%)

prune64.0ms (1.4%)

simplify5.0ms (0.1%)

localize33.0ms (0.7%)

series1.0ms (0%)

rewrite15.0ms (0.3%)

simplify6.0ms (0.1%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

regimes29.0ms (0.6%)

regimes12.0ms (0.3%)

regimes12.0ms (0.3%)

simplify9.0ms (0.2%)

soundness1.3s (28%)

preprocess28.0ms (0.6%)

end0.0ms (0%)

Profiling