Details

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 18 computations (25% saved)

sample1.1s (60.5%)

Results

1.1s

8256×

body

256

valid

Bogosity

preprocess111.0ms (6.3%)

Algorithm

2×	egg-herbie

Rules

2464×	`rational.json-simplify-63`
1564×	`rational.json-simplify-44`
1318×	`rational.json-simplify-50`
1084×	`rational.json-simplify-1`
886×	`rational.json-simplify-5`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	86
1	38	86
2	86	86
3	178	86
4	471	86
5	1330	86
6	3102	86
7	4522	86
8	5596	86
9	6172	86
10	6464	86
11	6778	86
12	7228	86
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

Outputs
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 2 y)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (.f64 y (*.f64 y 2)) (pow.f64 y 4)))
(+.f64 (-.f64 (.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (.f64 2 (*.f64 x x)))
(+.f64 (-.f64 (.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (.f64 x (*.f64 2 x)))
(+.f64 (.f64 9 (pow.f64 y 4)) (-.f64 (.f64 x (*.f64 x 2)) (pow.f64 x 4)))
(+.f64 (.f64 9 (pow.f64 y 4)) (-.f64 (.f64 2 (*.f64 x x)) (pow.f64 x 4)))
(+.f64 (-.f64 (.f64 9 (pow.f64 y 4)) (pow.f64 x 4)) (.f64 x (*.f64 x 2)))

Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify118.0ms (6.7%)

Algorithm

1×	egg-herbie

Rules

2976×	`rational.json-simplify-63`
1138×	`rational.json-simplify-2`
1128×	`rational.json-simplify-44`
936×	`rational.json-simplify-50`
816×	`rational.json-simplify-24`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	43
1	24	43
2	49	43
3	95	43
4	244	43
5	671	43
6	2142	43
7	3621	43
8	5802	43
9	6231	43
10	6457	43
11	6617	43
12	6962	43
13	7645	43

Stop Event

1×	node limit

Counts

1 → 4

Calls

Call 1

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

Outputs
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 2 y)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (.f64 y (*.f64 y 2)) (pow.f64 y 4)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))

eval1.0ms (0.1%)

Compiler: Compiled 62 to 46 computations (25.8% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	4	1	5

Error

52.0b

Counts

5 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	52.0b	(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))

Compiler

Compiled 17 to 13 computations (23.5% saved)

localize26.0ms (1.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	23.0b	(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Compiler

Compiled 50 to 36 computations (28% saved)

series3.0ms (0.2%)

Counts

1 → 24

Calls

6 calls:

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

rewrite65.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1686×	`rational.json-1`
1686×	`rational.json-2`
1686×	`rational.json-3`
1684×	`rational.json-4`
1220×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	56	25
2	154	25
3	633	25
4	5056	25

Stop Event

1×	node limit

Counts

1 → 116

Calls

Call 1

Inputs
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 9 (pow.f64 x 4)) (.f64 1/2 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) -9) (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 27) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 18) (+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 (pow.f64 x 4) -9)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) 0) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 18) (.f64 1/2 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) -18)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 0 (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 18)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) -18) (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 y 4)) (.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) -9) (-.f64 (.f64 (pow.f64 x 4) 18) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) -9) (.f64 -1 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -18))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 y 4) 2) (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 y 4) 2) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 y 4) 2) (-.f64 (neg.f64 (pow.f64 y 4)) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27)) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 36) (.f64 1 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)) (-.f64 0 (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 36)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2)) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) 18) (pow.f64 y 4)) (.f64 (pow.f64 x 4) -9))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (pow.f64 x 4) 0) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 2) (-.f64 0 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 36)) (-.f64 0 (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 (pow.f64 x 4) -9)) (.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) -18)) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (.f64 (pow.f64 y 4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (pow.f64 y 4)) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (.f64 (pow.f64 y 4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 0 (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 0 (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 0 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 0 (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 36)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 0)) (.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)) (.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)) (.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 18)) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 36)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (neg.f64 (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2))) (.f64 (pow.f64 y 4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) -18) (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27)) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) 27) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))) (.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))) (.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 -1 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -18))) (.f64 (pow.f64 x 4) -9))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 9 (pow.f64 x 4)) 1/2) (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2))) (.f64 (.f64 9 (pow.f64 x 4)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1/2) (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4))) (.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 1/2 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27))) (.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (-.f64 (.f64 (pow.f64 x 4) 18) (.f64 (pow.f64 y 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 1/2 (/.f64 1 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1/2 (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 1 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 1 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 -1 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 1 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 -1 (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (neg.f64 (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (neg.f64 (pow.f64 y 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 1/2 (-.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (+.f64 (*.f64 (pow.f64 x 4) -9) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (-.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) -9) (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 27) (-.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 (*.f64 (pow.f64 x 4) -9) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 18) (+.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) -9)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (*.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 (*.f64 (pow.f64 x 4) 0) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 18) (*.f64 1/2 (-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2)) (*.f64 (pow.f64 x 4) 27))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (+.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (*.f64 (pow.f64 x 4) -18)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 0 (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (*.f64 (pow.f64 x 4) 18)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 (pow.f64 x 4) -18) (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) -9) (-.f64 (*.f64 (pow.f64 x 4) 18) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) -9) (*.f64 -1 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -18))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 y 4) 2) (-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 y 4) 2) (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 y 4) 2) (-.f64 (neg.f64 (pow.f64 y 4)) (+.f64 (*.f64 (pow.f64 x 4) -9) (*.f64 (pow.f64 y 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 27)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 36) (-.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 27)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 36) (-.f64 (-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2)) (*.f64 (pow.f64 x 4) 27)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 36) (-.f64 (*.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (pow.f64 x 4) 27)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 1 (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27)) (-.f64 0 (-.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27)) (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (*.f64 (pow.f64 x 4) 36)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2)) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))) (*.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 4) -9) (*.f64 (pow.f64 y 4) 2)) (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) 18) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) -9))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 4) 0) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 2) (-.f64 0 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (pow.f64 x 4) 36)) (-.f64 0 (+.f64 (pow.f64 y 4) (+.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (pow.f64 x 4) 27)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) -9)) (*.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (pow.f64 x 4) -9) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (*.f64 (pow.f64 x 4) -18)) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (*.f64 (pow.f64 y 4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (pow.f64 y 4)) (+.f64 (*.f64 (pow.f64 x 4) -9) (*.f64 (pow.f64 y 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 y 4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))) (*.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 0 (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 0 (-.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 0 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (*.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 0 (+.f64 (pow.f64 y 4) (+.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (pow.f64 x 4) 27)))) (+.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (pow.f64 x 4) 36)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 0)) (*.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 27)) (*.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 27)) (*.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (*.f64 (pow.f64 x 4) 18)) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (*.f64 (pow.f64 x 4) 36)) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (neg.f64 (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (+.f64 (*.f64 (pow.f64 x 4) -9) (*.f64 (pow.f64 y 4) 2))) (*.f64 (pow.f64 y 4) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (*.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (*.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (*.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (*.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (*.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) -9) (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2)) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) -18) (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2)) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2)) (*.f64 (pow.f64 x 4) 27)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) 27) (-.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (pow.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (*.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) 18) (-.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (+.f64 (*.f64 (pow.f64 x 4) 36) (*.f64 (pow.f64 x 4) 27)))) (*.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1 (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27)))) (*.f64 (pow.f64 x 4) 36))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 -1 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -18))) (*.f64 (pow.f64 x 4) -9))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 9 (pow.f64 x 4)) 1/2) (*.f64 1/2 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2))) (*.f64 (*.f64 9 (pow.f64 x 4)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1/2) (*.f64 1/2 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (-.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4))) (*.f64 9 (pow.f64 x 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 1/2 (-.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2)) (*.f64 (pow.f64 x 4) 27))) (*.f64 (pow.f64 x 4) 18))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (*.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 1/2 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 1 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (/.f64 -1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 1 (*.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1/2 (/.f64 -1 (*.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))))))

simplify130.0ms (7.4%)

Algorithm

1×	egg-herbie

Rules

1356×	`rational.json-simplify-29`
1242×	`rational.json-simplify-1`
912×	`rational.json-simplify-21`
898×	`rational.json-simplify-24`
862×	`rational.json-simplify-23`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	219	4886
1	627	4814
2	2886	4766

Stop Event

1×	node limit

Counts

140 → 143

Calls

Call 1

Inputs
(*.f64 -1 (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 9 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 9 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 9 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 -1 (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(*.f64 -1 (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 0)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 1/2 (-.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4))))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)))
(+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) -9) (.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2)))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 27) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 0))
(+.f64 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)))
(+.f64 (.f64 (pow.f64 x 4) 18) (+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) -9)))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) 0) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))
(+.f64 (.f64 (pow.f64 x 4) 18) (.f64 1/2 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (*.f64 (pow.f64 x 4) 27))))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) -18)))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 0 (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 18)))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) -18) (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4)))
(+.f64 (neg.f64 (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 9 (pow.f64 x 4)))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(+.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))
(+.f64 (.f64 (pow.f64 x 4) -9) (-.f64 (.f64 (pow.f64 x 4) 18) (pow.f64 y 4)))
(+.f64 (.f64 (pow.f64 x 4) -9) (.f64 -1 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -18))))
(+.f64 (.f64 (pow.f64 y 4) 2) (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (.f64 (pow.f64 y 4) 2) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (.f64 (pow.f64 y 4) 2) (-.f64 (neg.f64 (pow.f64 y 4)) (+.f64 (.f64 (pow.f64 x 4) -9) (*.f64 (pow.f64 y 4) 2))))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))
(+.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 27)))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))))
(+.f64 (.f64 (pow.f64 x 4) 36) (.f64 1 (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27)))))
(+.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)) (-.f64 0 (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))
(+.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 36)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 18))
(+.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (pow.f64 x 4) 36))
(+.f64 (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2)) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (pow.f64 y 4)))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 18) (pow.f64 y 4)) (.f64 (pow.f64 x 4) -9))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (.f64 (pow.f64 x 4) 0) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))))
(+.f64 (.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 2) (-.f64 0 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)))
(+.f64 (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 36)) (-.f64 0 (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))))
(+.f64 (+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 (pow.f64 x 4) -9)) (*.f64 (pow.f64 x 4) 18))
(+.f64 (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)) (pow.f64 y 4))
(+.f64 (+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) -18)) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (*.f64 (pow.f64 y 4) 2))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (pow.f64 y 4)) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2)))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (.f64 (pow.f64 y 4) 2))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))
(+.f64 (-.f64 0 (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (-.f64 0 (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (-.f64 0 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (.f64 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 2))
(+.f64 (-.f64 0 (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 36)))
(+.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 0)) (.f64 9 (pow.f64 x 4)))
(+.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)) (.f64 (pow.f64 x 4) 36))
(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)) (*.f64 (pow.f64 x 4) 36))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 18)) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 36)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (neg.f64 (pow.f64 y 4)))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))
(+.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2))) (*.f64 (pow.f64 y 4) 2))
(+.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (*.f64 9 (pow.f64 x 4)))
(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (.f64 (pow.f64 x 4) 18))
(+.f64 (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (.f64 (pow.f64 x 4) 36))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 x 4) 18))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (pow.f64 y 4))
(+.f64 (-.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (*.f64 (pow.f64 x 4) 18))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) -18) (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (-.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 x 4) 18))
(+.f64 (-.f64 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27)) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 x 4) 36))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 27) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (pow.f64 y 4))
(+.f64 (-.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (*.f64 (pow.f64 x 4) 18))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))) (.f64 (pow.f64 x 4) 36))
(+.f64 (.f64 1 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))) (*.f64 (pow.f64 x 4) 36))
(+.f64 (.f64 -1 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -18))) (*.f64 (pow.f64 x 4) -9))
(+.f64 (.f64 (.f64 9 (pow.f64 x 4)) 1/2) (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2))))
(+.f64 (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2))) (.f64 (*.f64 9 (pow.f64 x 4)) 1/2))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1/2) (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1/2))
(+.f64 (.f64 1/2 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4))) (*.f64 9 (pow.f64 x 4)))
(+.f64 (.f64 1/2 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27))) (*.f64 (pow.f64 x 4) 18))
(.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(.f64 1 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) -1)
(.f64 -1 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)))
(.f64 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 1/2)
(.f64 1/2 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))
(.f64 1/2 (-.f64 (.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) 2)))
(.f64 (.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2) -1/2)
(.f64 2 (/.f64 1/2 (/.f64 1 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))
(.f64 -1/2 (.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2))
(/.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(/.f64 1 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(/.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) -1)
(/.f64 -1 (/.f64 1 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9))))
(/.f64 -1 (/.f64 -1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(/.f64 1/2 (/.f64 1 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)))
(/.f64 1/2 (/.f64 -1 (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)))
(neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))

Outputs
(*.f64 -1 (pow.f64 y 4))
(neg.f64 (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 9 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 9 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 9 (pow.f64 x 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 -1 (pow.f64 y 4))
(neg.f64 (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(*.f64 -1 (pow.f64 y 4))
(neg.f64 (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 -1 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (*.f64 9 (pow.f64 x 4)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 0)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 1/2 (-.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4))))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (.f64 (pow.f64 y 4) 2)))
(+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9))))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) -9) (.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2)))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) -9) (.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))))
(-.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (+.f64 (.f64 (pow.f64 y 4) 2) (*.f64 (pow.f64 x 4) -18)))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 27) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 0))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 0 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 18) (+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) -9)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) 0) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9))))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 x 4) 18))))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4))))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 18) (.f64 1/2 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (*.f64 (pow.f64 x 4) 27))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) -18)))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (.f64 (pow.f64 x 4) -18)))
(+.f64 (+.f64 (.f64 (pow.f64 x 4) 18) (.f64 (pow.f64 y 4) -2)) (+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (.f64 (pow.f64 x 4) -18)))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 0 (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9))))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 18)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) -18) (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)))
(+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (-.f64 (.f64 (pow.f64 x 4) -18) (.f64 2 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)))))
(-.f64 (+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (.f64 (pow.f64 x 4) -18)) (+.f64 (.f64 (pow.f64 y 4) 2) (.f64 (pow.f64 x 4) -18)))
(+.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (neg.f64 (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (neg.f64 (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 9 (pow.f64 x 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) -9) (-.f64 (.f64 (pow.f64 x 4) 18) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) -9) (.f64 -1 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -18))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 y 4) 2) (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9))))
(+.f64 (.f64 (pow.f64 y 4) 2) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (.f64 (pow.f64 y 4) 2)))
(+.f64 (.f64 (pow.f64 y 4) 2) (-.f64 (neg.f64 (pow.f64 y 4)) (+.f64 (.f64 (pow.f64 x 4) -9) (*.f64 (pow.f64 y 4) 2))))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (.f64 (pow.f64 y 4) 2)))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 (pow.f64 x 4) 27)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 0 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))
(-.f64 (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 0 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(-.f64 (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (+.f64 (.f64 (pow.f64 x 4) 0) (.f64 (pow.f64 y 4) 0)))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27)) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))))
(+.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (.f64 (pow.f64 x 4) 36) (.f64 1 (neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27)))))
(+.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)) (-.f64 0 (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 36)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (pow.f64 y 4))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (.f64 (pow.f64 y 4) 2)))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 18))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (pow.f64 x 4) 36))
(+.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2)) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 18) (pow.f64 y 4)) (.f64 (pow.f64 x 4) -9))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (pow.f64 x 4) 0) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (-.f64 (.f64 2 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 2 (+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(-.f64 (.f64 2 (+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))))) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 2) (-.f64 0 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)))
(+.f64 (.f64 2 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)) (neg.f64 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)))
(-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 4) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
(-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 4) (-.f64 (.f64 (pow.f64 x 4) 27) (.f64 (pow.f64 y 4) 3)))
(+.f64 (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 36)) (-.f64 0 (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))))
(+.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 (pow.f64 x 4) -9)) (*.f64 (pow.f64 x 4) 18))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)) (pow.f64 y 4))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) -18)) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (.f64 (pow.f64 x 4) -18)))
(+.f64 (+.f64 (.f64 (pow.f64 x 4) 18) (.f64 (pow.f64 y 4) -2)) (+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (.f64 (pow.f64 x 4) -18)))
(+.f64 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (*.f64 (pow.f64 y 4) 2))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9))))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (pow.f64 y 4)) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (.f64 (pow.f64 y 4) 2))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (.f64 (pow.f64 y 4) 2)))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (-.f64 (.f64 2 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))) (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 2 (+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(-.f64 (.f64 2 (+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))))) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (-.f64 0 (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9))))
(+.f64 (-.f64 0 (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 0 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)) (.f64 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 2))
(+.f64 (.f64 2 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)) (neg.f64 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3)))
(-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 4) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 3))
(-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 4) (-.f64 (.f64 (pow.f64 x 4) 27) (.f64 (pow.f64 y 4) 3)))
(+.f64 (-.f64 0 (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 36)))
(+.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 0)) (.f64 9 (pow.f64 x 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)) (.f64 (pow.f64 x 4) 36))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (.f64 (pow.f64 x 4) 27)) (*.f64 (pow.f64 x 4) 36))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 18)) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) (.f64 (pow.f64 x 4) 36)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (neg.f64 (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (+.f64 (.f64 (pow.f64 x 4) -9) (.f64 (pow.f64 y 4) 2))) (*.f64 (pow.f64 y 4) 2))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (.f64 (pow.f64 y 4) 2)))
(+.f64 (-.f64 (neg.f64 (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (*.f64 9 (pow.f64 x 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (pow.f64 y 4)) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (.f64 (pow.f64 x 4) 18))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 0)) (.f64 (pow.f64 x 4) 36))
(+.f64 (.f64 (pow.f64 x 4) 36) (-.f64 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 0 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))
(-.f64 (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (.f64 0 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(-.f64 (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))) (+.f64 (.f64 (pow.f64 x 4) 0) (.f64 (pow.f64 y 4) 0)))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 x 4) 18))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (pow.f64 y 4))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9))))
(+.f64 (-.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))) (*.f64 (pow.f64 x 4) 18))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4)))))
(+.f64 (pow.f64 y 4) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9))))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) -9) (.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2)) (pow.f64 y 4))
(+.f64 (pow.f64 y 4) (-.f64 (.f64 (pow.f64 x 4) -9) (.f64 2 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))))
(-.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) (+.f64 (.f64 (pow.f64 y 4) 2) (*.f64 (pow.f64 x 4) -18)))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) -18) (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)) (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (-.f64 (.f64 (pow.f64 x 4) -18) (.f64 2 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)))))
(-.f64 (+.f64 (+.f64 (pow.f64 y 4) (.f64 9 (pow.f64 x 4))) (.f64 (pow.f64 x 4) -18)) (+.f64 (.f64 (pow.f64 y 4) 2) (.f64 (pow.f64 x 4) -18)))
(+.f64 (-.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 x 4) 18))
(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(+.f64 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4)) (-.f64 (pow.f64 y 4) (-.f64 (.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 x 4) 18))))
(+.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (*.f64 9 (pow.f64 x 4))))
(+.f64 (-.f64 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27)) (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (*.f64 (pow.f64 x 4) 36))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 27) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (pow.f64 y 4))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (+.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (*.f64 (pow.f64 x 4) 18))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 18) (-.f64 (.f64 (pow.f64 x 4) 36) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))) (+.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (+.f64 (.f64 (pow.f64 x 4) 36) (.f64 (pow.f64 x 4) 27)))) (.f64 (pow.f64 x 4) 36))
(+.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (.f64 1 (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))) (*.f64 (pow.f64 x 4) 36))
(+.f64 (.f64 (pow.f64 x 4) 36) (neg.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27))))
(-.f64 (.f64 (pow.f64 x 4) 36) (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) 27)))
(+.f64 (.f64 -1 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -18))) (*.f64 (pow.f64 x 4) -9))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (.f64 9 (pow.f64 x 4)) 1/2) (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (*.f64 (pow.f64 y 4) 2))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2))) (.f64 (*.f64 9 (pow.f64 x 4)) 1/2))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1/2) (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 1/2 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4))) (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1/2))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(+.f64 (.f64 1/2 (-.f64 (-.f64 (.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4))) (*.f64 9 (pow.f64 x 4)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 1/2 (-.f64 (-.f64 (*.f64 (pow.f64 x 4) 0) (pow.f64 y 4)) (pow.f64 y 4))))
(+.f64 (.f64 1/2 (-.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (.f64 (pow.f64 y 4) 2)) (.f64 (pow.f64 x 4) 27))) (*.f64 (pow.f64 x 4) 18))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 1 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) -1)
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 -1 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2) 1/2)
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 1/2 (.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 1/2 (-.f64 (.f64 (pow.f64 x 4) 18) (*.f64 (pow.f64 y 4) 2)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 (.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2) -1/2)
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 2 (/.f64 1/2 (/.f64 1 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(.f64 -1/2 (.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) 2))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 1)
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 1 (/.f64 1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)) -1)
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 -1 (/.f64 1 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 -1 (/.f64 -1 (-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 1/2 (/.f64 1 (.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) 2)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(/.f64 1/2 (/.f64 -1 (.f64 (+.f64 (pow.f64 y 4) (.f64 (pow.f64 x 4) -9)) 2)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))
(neg.f64 (+.f64 (pow.f64 y 4) (*.f64 (pow.f64 x 4) -9)))
(-.f64 (*.f64 9 (pow.f64 x 4)) (pow.f64 y 4))

eval110.0ms (6.2%)

Compiler: Compiled 3937 to 3083 computations (21.7% saved)

prune41.0ms (2.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	141	2	143
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	141	3	144

Error

52.0b

Counts

144 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	52.0b	(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))
▶	57.8b	(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))
▶	63.0b	(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))

Compiler

Compiled 42 to 32 computations (23.8% saved)

localize13.0ms (0.8%)

Compiler: Compiled 30 to 21 computations (30% saved)

localize13.0ms (0.7%)

Compiler: Compiled 34 to 24 computations (29.4% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune6.0ms (0.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

52.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	52.0b	(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 y (*.f64 y 2)))
✓	57.8b	(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))
✓	63.0b	(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))

Compiler

Compiled 42 to 32 computations (23.8% saved)

regimes10.0ms (0.6%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))

Calls

5 calls:

2.0ms	(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
2.0ms	(pow.f64 x 4)
2.0ms	(*.f64 9 (pow.f64 x 4))
2.0ms	x
2.0ms	y

Results

Error	Segments	Branch
52.0b	1	`x`
52.0b	1	`y`
52.0b	1	`(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))`
52.0b	1	`(*.f64 9 (pow.f64 x 4))`
52.0b	1	`(pow.f64 x 4)`

Compiler

Compiled 88 to 66 computations (25% saved)

regimes10.0ms (0.6%)

Accuracy

Total -5.2b remaining (-9%)

Threshold costs -5.2b (-9%)

Counts

2 → 1

Calls

Call 1

Inputs
(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))

Outputs
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))

Calls

4 calls:

2.0ms	(*.f64 9 (pow.f64 x 4))
2.0ms	(pow.f64 x 4)
2.0ms	y
2.0ms	x

Results

Error	Segments	Branch
57.8b	1	`x`
57.8b	1	`y`
57.8b	1	`(*.f64 9 (pow.f64 x 4))`
57.8b	1	`(pow.f64 x 4)`

Compiler

Compiled 41 to 31 computations (24.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	103

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

Outputs
(+.f64 (-.f64 (.f64 9 (pow.f64 x 4)) (pow.f64 y 4)) (.f64 2 (*.f64 y y)))
(+.f64 (.f64 9 (pow.f64 x 4)) (.f64 y (*.f64 y 2)))
(+.f64 (neg.f64 (pow.f64 y 4)) (.f64 y (.f64 y 2)))

Compiler

Compiled 42 to 32 computations (23.8% saved)

soundness0.0ms (0%)

end32.0ms (1.8%)

Compiler: Compiled 38 to 28 computations (26.3% saved)

Details

analyze0.0ms (0%)

sample1.1s (60.5%)

preprocess111.0ms (6.3%)

simplify118.0ms (6.7%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

localize26.0ms (1.5%)

series3.0ms (0.2%)

rewrite65.0ms (3.7%)

simplify130.0ms (7.4%)

eval110.0ms (6.2%)

prune41.0ms (2.3%)

localize13.0ms (0.8%)

localize13.0ms (0.7%)

eval0.0ms (0%)

prune6.0ms (0.3%)

regimes10.0ms (0.6%)

regimes10.0ms (0.6%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end32.0ms (1.8%)

Profiling