Details

analyze319.0ms (11%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	6
50%	50%	50%	0.1%	0%	0%	0%	7
62.5%	62.4%	37.5%	0.1%	0%	0%	0%	8
76.2%	76.1%	23.8%	0.1%	0%	0%	0%	9
81.8%	81.8%	18.1%	0.1%	0%	0%	0%	10
87.8%	87.7%	12.2%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 22 to 13 computations (40.9% saved)

sample1.4s (49.1%)

Results

1.4s

8256×

body

256

valid

Bogosity

preprocess89.0ms (3.1%)

Algorithm

2×	egg-herbie

Rules

1196×	`rational.json-simplify-2`
918×	`rational.json-simplify-44`
872×	`rational.json-simplify-1`
836×	`rational.json-simplify-51`
818×	`rational.json-simplify-39`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	110
1	32	110
2	56	110
3	134	110
4	562	110
5	4574	110
6	7156	110
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 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
(/.f64 (-.f64 (.f64 y y) (.f64 (.f64 x 4) x)) (+.f64 (.f64 y y) (.f64 (.f64 x 4) x)))

Outputs
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(/.f64 (-.f64 (.f64 y y) (.f64 (.f64 x 4) x)) (+.f64 (.f64 y y) (.f64 (.f64 x 4) x)))
(/.f64 (-.f64 (.f64 y y) (.f64 x (.f64 x 4))) (+.f64 (.f64 y y) (.f64 x (.f64 x 4))))

Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify98.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1842×	`rational.json-simplify-35`
1768×	`rational.json-simplify-51`
1348×	`rational.json-simplify-53`
1044×	`rational.json-simplify-39`
870×	`rational.json-simplify-59`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	55
1	19	55
2	32	55
3	70	55
4	287	55
5	2296	55
6	6442	55

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

Outputs
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))

eval1.0ms (0%)

Compiler: Compiled 40 to 21 computations (47.5% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

31.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	31.0b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

Compiler

Compiled 21 to 12 computations (42.9% saved)

localize17.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	3.6b	(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))
✓	30.5b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

Compiler

Compiled 53 to 26 computations (50.9% saved)

series4.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite119.0ms (4.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1662×	`rational.json-1`
1662×	`rational.json-2`
1662×	`rational.json-4`
1662×	`rational.json-3`
1648×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	80
1	76	80
2	186	80
3	509	80
4	1768	80
5	5551	80

Stop Event

1×	node limit

Counts

2 → 54

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
(-.f64 (.f64 x x) (.f64 (*.f64 y 4) y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))) (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (/.f64 1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) (/.f64 1/2 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) (.f64 (/.f64 1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (/.f64 1/2 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (/.f64 1 (.f64 4 (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (-.f64 (.f64 x x) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (/.f64 -1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 1/2) (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 4 (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))) (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x x) (neg.f64 (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 (.f64 x x) (-.f64 (.f64 y (.f64 y 4)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (.f64 y (.f64 y 4))) (.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x x) (-.f64 (.f64 y (.f64 y 4)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 y y) x) (-.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 y y) (fabs.f64 x)) (-.f64 (fabs.f64 x) (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) -2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (.f64 y (.f64 y 4)) (*.f64 x x)))))))

Outputs

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x x) (neg.f64 (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 (*.f64 x x) (-.f64 (*.f64 y (*.f64 y 4)) 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 y (*.f64 y 4))) (*.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x x) (-.f64 (*.f64 y (*.f64 y 4)) 1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4)))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 4 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 y y) x) (-.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 y y) (fabs.f64 x)) (-.f64 (fabs.f64 x) (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 4 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4)))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 2) 4) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) -2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 2) 4)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 x x) (*.f64 y (*.f64 y 4))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 y (*.f64 y 4)) (*.f64 x x)))))))

simplify119.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1296×	`rational.json-simplify-53`
1246×	`rational.json-simplify-2`
1080×	`rational.json-simplify-35`
924×	`rational.json-simplify-1`
758×	`rational.json-simplify-51`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	183	4832
1	381	4592
2	860	4218
3	2583	4002
4	6318	4002

Stop Event

1×	node limit

Counts

102 → 119

Calls

Call 1

Inputs
-1
(-.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1)
(-.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))) 1)
(-.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 1/32 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))) 1)
1
(-.f64 (+.f64 1 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (+.f64 1 (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 y 2) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 4))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (+.f64 1 (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 y 2) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 4))) (+.f64 (.f64 16 (/.f64 (.f64 (pow.f64 y 4) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 6))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
1
(-.f64 (+.f64 1 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (+.f64 1 (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 y 2) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 4))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(-.f64 (+.f64 1 (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 y 2) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 4))) (+.f64 (.f64 16 (/.f64 (.f64 (pow.f64 y 4) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 6))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
1
(+.f64 (*.f64 -8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) 1)
(+.f64 (.f64 -8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 1 (.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)))))
(+.f64 (.f64 -8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 1 (+.f64 (.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 -128 (/.f64 (pow.f64 y 6) (pow.f64 x 6))))))
-1
(-.f64 (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(-.f64 (+.f64 (.f64 -1/4 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 y 4))) (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(-.f64 (+.f64 (.f64 1/16 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 4)) (pow.f64 y 6))) (+.f64 (.f64 -1/4 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 y 4))) (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
-1
(-.f64 (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(-.f64 (+.f64 (.f64 -1/4 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 y 4))) (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(-.f64 (+.f64 (.f64 1/16 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 4)) (pow.f64 y 6))) (+.f64 (.f64 -1/4 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 y 4))) (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(*.f64 -4 (pow.f64 y 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(*.f64 -4 (pow.f64 y 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(*.f64 -4 (pow.f64 y 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 0)
(+.f64 0 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))
(+.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))) (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))))
(-.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 0)
(.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (/.f64 1 (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 1)
(.f64 1 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) (/.f64 1/2 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))
(.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) (.f64 (/.f64 1 (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 1/2))
(.f64 2 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))))
(.f64 2 (/.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 2))
(.f64 2 (.f64 (/.f64 1/2 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))))
(.f64 (.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 2) 1/2)
(.f64 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (/.f64 1 (.f64 4 (+.f64 (.f64 x x) (.f64 y (*.f64 y 4))))))
(.f64 (/.f64 1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))))
(.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (/.f64 -1 (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(.f64 -1 (/.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(.f64 1/2 (.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 2))
(.f64 (/.f64 1/2 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2))
(.f64 (.f64 (/.f64 1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 1/2) (.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 2))
(.f64 (/.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) -1)
(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))) 2)
(.f64 (/.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 2) 2)
(.f64 (/.f64 1 (.f64 4 (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))) (.f64 4 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(.f64 (/.f64 -1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (-.f64 (.f64 y (.f64 y 4)) (*.f64 x x)))
(pow.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 1)
(neg.f64 (/.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))
(+.f64 (.f64 x x) (neg.f64 (.f64 y (*.f64 y 4))))
(+.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 0)
(+.f64 0 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))))
(+.f64 -1 (-.f64 (.f64 x x) (-.f64 (.f64 y (*.f64 y 4)) 1)))
(+.f64 (neg.f64 (.f64 y (.f64 y 4))) (*.f64 x x))
(+.f64 (-.f64 (.f64 x x) (-.f64 (.f64 y (*.f64 y 4)) 1)) -1)
(.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 1)
(.f64 1 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 2) 1/2)
(.f64 2 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2))
(.f64 (.f64 4 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 1/4)
(.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) -1)
(.f64 -1 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)))
(.f64 1/2 (.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 2))
(.f64 1/4 (.f64 4 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 2)
(*.f64 (+.f64 (+.f64 y y) x) (-.f64 x (+.f64 y y)))
(*.f64 (+.f64 (+.f64 y y) (fabs.f64 x)) (-.f64 (fabs.f64 x) (+.f64 y y)))
(/.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 1)
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 2)
(/.f64 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 4)
(/.f64 (-.f64 (.f64 y (.f64 y 4)) (*.f64 x x)) -1)
(/.f64 (.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 2) 4) 8)
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) -2) -2)
(/.f64 (.f64 2 (.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 4)) 16)
(pow.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 1)
(neg.f64 (-.f64 (.f64 y (.f64 y 4)) (*.f64 x x)))

Outputs
-1
(-.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1)
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) -1)
(+.f64 -1 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))
(-.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))) 1)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (-.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) 1))
(+.f64 -1 (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 -1 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4)))))
(-.f64 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (*.f64 1/32 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))) 1)
(+.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (.f64 1/32 (/.f64 (pow.f64 x 6) (pow.f64 y 6)))) (-.f64 (*.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) 1))
(+.f64 -1 (+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/32 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 -1 (+.f64 (.f64 -1/8 (/.f64 (pow.f64 x 4) (pow.f64 y 4))) (*.f64 1/32 (/.f64 (pow.f64 x 6) (pow.f64 y 6))))))
1
(-.f64 (+.f64 1 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (-.f64 1 (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (-.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (*.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8))
(-.f64 (+.f64 1 (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 y 2) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 4))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (+.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -4 (.f64 (-.f64 (.f64 (pow.f64 y 2) -4) (.f64 (pow.f64 y 2) 4)) (/.f64 (pow.f64 y 2) (pow.f64 x 4))))) (-.f64 1 (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (-.f64 (.f64 -4 (+.f64 (.f64 (.f64 (pow.f64 y 2) -8) (/.f64 (pow.f64 y 2) (pow.f64 x 4))) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (+.f64 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 4)) (.f64 (.f64 (pow.f64 y 2) -8) -4)) (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)))
(+.f64 1 (+.f64 (.f64 (pow.f64 y 2) (.f64 -4 (.f64 -8 (/.f64 (pow.f64 y 2) (pow.f64 x 4))))) (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)))
(-.f64 (+.f64 1 (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 y 2) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 4))) (+.f64 (.f64 16 (/.f64 (.f64 (pow.f64 y 4) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 6))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (+.f64 (.f64 -4 (.f64 (-.f64 (.f64 (pow.f64 y 2) -4) (.f64 (pow.f64 y 2) 4)) (/.f64 (pow.f64 y 2) (pow.f64 x 4)))) (+.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 16 (.f64 (-.f64 (.f64 (pow.f64 y 2) -4) (.f64 (pow.f64 y 2) 4)) (/.f64 (pow.f64 y 4) (pow.f64 x 6)))))) (-.f64 1 (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (-.f64 (+.f64 (.f64 -4 (+.f64 (.f64 (.f64 (pow.f64 y 2) -8) (/.f64 (pow.f64 y 2) (pow.f64 x 4))) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 (.f64 (pow.f64 y 2) -8) (.f64 (/.f64 (pow.f64 y 4) (pow.f64 x 6)) 16))) (*.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 4)) (.f64 (.f64 (pow.f64 y 2) -8) -4)) (.f64 (.f64 (pow.f64 y 2) -8) (.f64 16 (/.f64 (pow.f64 y 4) (pow.f64 x 6))))) (*.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)))
(+.f64 (.f64 (.f64 (pow.f64 y 2) -8) (+.f64 (.f64 16 (/.f64 (pow.f64 y 4) (pow.f64 x 6))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 4))))) (+.f64 1 (*.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)))
(+.f64 1 (+.f64 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8) (.f64 (.f64 (pow.f64 y 2) -8) (+.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 4))) (*.f64 16 (/.f64 (pow.f64 y 4) (pow.f64 x 6)))))))
1
(-.f64 (+.f64 1 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (-.f64 1 (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (-.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (*.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8))
(-.f64 (+.f64 1 (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 y 2) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 4))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (+.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 -4 (.f64 (-.f64 (.f64 (pow.f64 y 2) -4) (.f64 (pow.f64 y 2) 4)) (/.f64 (pow.f64 y 2) (pow.f64 x 4))))) (-.f64 1 (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (-.f64 (.f64 -4 (+.f64 (.f64 (.f64 (pow.f64 y 2) -8) (/.f64 (pow.f64 y 2) (pow.f64 x 4))) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (+.f64 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 4)) (.f64 (.f64 (pow.f64 y 2) -8) -4)) (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)))
(+.f64 1 (+.f64 (.f64 (pow.f64 y 2) (.f64 -4 (.f64 -8 (/.f64 (pow.f64 y 2) (pow.f64 x 4))))) (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)))
(-.f64 (+.f64 1 (+.f64 (.f64 -4 (/.f64 (.f64 (pow.f64 y 2) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 4))) (+.f64 (.f64 16 (/.f64 (.f64 (pow.f64 y 4) (-.f64 (.f64 -4 (pow.f64 y 2)) (.f64 4 (pow.f64 y 2)))) (pow.f64 x 6))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))))
(+.f64 (+.f64 (.f64 -4 (.f64 (-.f64 (.f64 (pow.f64 y 2) -4) (.f64 (pow.f64 y 2) 4)) (/.f64 (pow.f64 y 2) (pow.f64 x 4)))) (+.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 16 (.f64 (-.f64 (.f64 (pow.f64 y 2) -4) (.f64 (pow.f64 y 2) 4)) (/.f64 (pow.f64 y 4) (pow.f64 x 6)))))) (-.f64 1 (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (-.f64 (+.f64 (.f64 -4 (+.f64 (.f64 (.f64 (pow.f64 y 2) -8) (/.f64 (pow.f64 y 2) (pow.f64 x 4))) (/.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 (.f64 (pow.f64 y 2) -8) (.f64 (/.f64 (pow.f64 y 4) (pow.f64 x 6)) 16))) (*.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (+.f64 (+.f64 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 4)) (.f64 (.f64 (pow.f64 y 2) -8) -4)) (.f64 (.f64 (pow.f64 y 2) -8) (.f64 16 (/.f64 (pow.f64 y 4) (pow.f64 x 6))))) (*.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)))
(+.f64 (.f64 (.f64 (pow.f64 y 2) -8) (+.f64 (.f64 16 (/.f64 (pow.f64 y 4) (pow.f64 x 6))) (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 4))))) (+.f64 1 (*.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)))
(+.f64 1 (+.f64 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8) (.f64 (.f64 (pow.f64 y 2) -8) (+.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 4))) (*.f64 16 (/.f64 (pow.f64 y 4) (pow.f64 x 6)))))))
1
(+.f64 (*.f64 -8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) 1)
(+.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (-.f64 1 (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (-.f64 (.f64 -4 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (.f64 4 (/.f64 (pow.f64 y 2) (pow.f64 x 2)))))
(+.f64 1 (*.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8))
(+.f64 (.f64 -8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 1 (.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)))))
(+.f64 1 (+.f64 (.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)))
(+.f64 1 (+.f64 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8) (.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4)))))
(+.f64 (+.f64 1 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8)) (.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))))
(+.f64 (.f64 -8 (/.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 1 (+.f64 (.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 -128 (/.f64 (pow.f64 y 6) (pow.f64 x 6))))))
(+.f64 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8) (+.f64 (.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (+.f64 (*.f64 -128 (/.f64 (pow.f64 y 6) (pow.f64 x 6))) 1)))
(+.f64 1 (+.f64 (.f64 (/.f64 (pow.f64 y 2) (pow.f64 x 2)) -8) (+.f64 (.f64 32 (/.f64 (pow.f64 y 4) (pow.f64 x 4))) (*.f64 -128 (/.f64 (pow.f64 y 6) (pow.f64 x 6))))))
-1
(-.f64 (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(-.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4)))
(-.f64 -1 (-.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4)))
(-.f64 -1 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2))
(-.f64 (+.f64 (.f64 -1/4 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 y 4))) (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (-.f64 (.f64 -1/4 (.f64 (pow.f64 x 2) (/.f64 (-.f64 (.f64 (pow.f64 x 2) 1/4) (.f64 (pow.f64 x 2) -1/4)) (pow.f64 y 4)))) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 x 2) (/.f64 (.f64 (pow.f64 x 2) 1/2) (pow.f64 y 4)))) (-.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (+.f64 1 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4))))
(+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (-.f64 -1 (-.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4) (.f64 (pow.f64 x 2) (.f64 -1/4 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))))
(+.f64 (-.f64 -1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2)) (.f64 (pow.f64 x 2) (.f64 -1/4 (/.f64 (.f64 1/2 (pow.f64 x 2)) (pow.f64 y 4)))))
(+.f64 (-.f64 -1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2)) (.f64 (pow.f64 x 2) (.f64 -1/4 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 4)) (pow.f64 y 6))) (+.f64 (.f64 -1/4 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 y 4))) (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(+.f64 (+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (.f64 -1/4 (.f64 (pow.f64 x 2) (/.f64 (-.f64 (.f64 (pow.f64 x 2) 1/4) (.f64 (pow.f64 x 2) -1/4)) (pow.f64 y 4))))) (-.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 x 4) (-.f64 (.f64 (pow.f64 x 2) 1/4) (.f64 (pow.f64 x 2) -1/4))) (pow.f64 y 6))) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4))))
(+.f64 (+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (.f64 -1/4 (.f64 (pow.f64 x 2) (/.f64 (.f64 (pow.f64 x 2) 1/2) (pow.f64 y 4))))) (-.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 x 2) 1/2) (/.f64 (pow.f64 x 4) (pow.f64 y 6)))) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4))))
(+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (+.f64 (.f64 (pow.f64 x 2) (.f64 -1/4 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (-.f64 (.f64 (pow.f64 x 4) (.f64 1/16 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 6))))) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4)))))
(+.f64 (-.f64 -1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2)) (+.f64 (.f64 (pow.f64 x 2) (.f64 -1/4 (/.f64 (.f64 1/2 (pow.f64 x 2)) (pow.f64 y 4)))) (.f64 (pow.f64 x 4) (.f64 1/16 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 6)))))))
(+.f64 (-.f64 -1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2)) (+.f64 (.f64 (pow.f64 x 2) (.f64 -1/4 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (.f64 (pow.f64 x 4) (.f64 1/16 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 6)))))))
-1
(-.f64 (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(-.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4)))
(-.f64 -1 (-.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4) (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4)))
(-.f64 -1 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2))
(-.f64 (+.f64 (.f64 -1/4 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 y 4))) (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2)))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (-.f64 (.f64 -1/4 (.f64 (pow.f64 x 2) (/.f64 (-.f64 (.f64 (pow.f64 x 2) 1/4) (.f64 (pow.f64 x 2) -1/4)) (pow.f64 y 4)))) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4))))
(+.f64 (.f64 -1/4 (.f64 (pow.f64 x 2) (/.f64 (.f64 (pow.f64 x 2) 1/2) (pow.f64 y 4)))) (-.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (+.f64 1 (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4))))
(+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (-.f64 -1 (-.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4) (.f64 (pow.f64 x 2) (.f64 -1/4 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))))
(+.f64 (-.f64 -1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2)) (.f64 (pow.f64 x 2) (.f64 -1/4 (/.f64 (.f64 1/2 (pow.f64 x 2)) (pow.f64 y 4)))))
(+.f64 (-.f64 -1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2)) (.f64 (pow.f64 x 2) (.f64 -1/4 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))))
(-.f64 (+.f64 (.f64 1/16 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 4)) (pow.f64 y 6))) (+.f64 (.f64 -1/4 (/.f64 (.f64 (-.f64 (.f64 1/4 (pow.f64 x 2)) (.f64 -1/4 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 y 4))) (.f64 1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))))) (+.f64 (.f64 -1/4 (/.f64 (pow.f64 x 2) (pow.f64 y 2))) 1))
(+.f64 (+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (.f64 -1/4 (.f64 (pow.f64 x 2) (/.f64 (-.f64 (.f64 (pow.f64 x 2) 1/4) (.f64 (pow.f64 x 2) -1/4)) (pow.f64 y 4))))) (-.f64 (.f64 1/16 (/.f64 (.f64 (pow.f64 x 4) (-.f64 (.f64 (pow.f64 x 2) 1/4) (.f64 (pow.f64 x 2) -1/4))) (pow.f64 y 6))) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4))))
(+.f64 (+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (.f64 -1/4 (.f64 (pow.f64 x 2) (/.f64 (.f64 (pow.f64 x 2) 1/2) (pow.f64 y 4))))) (-.f64 (.f64 1/16 (.f64 (.f64 (pow.f64 x 2) 1/2) (/.f64 (pow.f64 x 4) (pow.f64 y 6)))) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4))))
(+.f64 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) 1/4) (+.f64 (.f64 (pow.f64 x 2) (.f64 -1/4 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (-.f64 (.f64 (pow.f64 x 4) (.f64 1/16 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 6))))) (+.f64 1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/4)))))
(+.f64 (-.f64 -1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2)) (+.f64 (.f64 (pow.f64 x 2) (.f64 -1/4 (/.f64 (.f64 1/2 (pow.f64 x 2)) (pow.f64 y 4)))) (.f64 (pow.f64 x 4) (.f64 1/16 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 6)))))))
(+.f64 (-.f64 -1 (.f64 (/.f64 (pow.f64 x 2) (pow.f64 y 2)) -1/2)) (+.f64 (.f64 (pow.f64 x 2) (.f64 -1/4 (.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 4))))) (.f64 (pow.f64 x 4) (.f64 1/16 (*.f64 1/2 (/.f64 (pow.f64 x 2) (pow.f64 y 6)))))))
(*.f64 -4 (pow.f64 y 2))
(*.f64 (pow.f64 y 2) -4)
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(pow.f64 x 2)
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(pow.f64 x 2)
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(pow.f64 x 2)
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(*.f64 -4 (pow.f64 y 2))
(*.f64 (pow.f64 y 2) -4)
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(*.f64 -4 (pow.f64 y 2))
(*.f64 (pow.f64 y 2) -4)
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (*.f64 -4 (pow.f64 y 2)) (pow.f64 x 2))
(+.f64 (pow.f64 x 2) (*.f64 (pow.f64 y 2) -4))
(+.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 0)
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(+.f64 0 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(+.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))) (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))))
(+.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 2 (.f64 x x)))) (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 2 (.f64 x x)))))
(/.f64 (.f64 2 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (+.f64 (.f64 y (.f64 y 8)) (.f64 x (.f64 x 2))))
(/.f64 (.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) -2) (+.f64 (.f64 y (.f64 y 8)) (.f64 x (.f64 x 2))))
(.f64 2 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 x (.f64 x 2)))))
(-.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 0)
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (/.f64 1 (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 1)
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 1 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) (/.f64 1/2 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) (.f64 (/.f64 1 (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 1/2))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 2 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))))
(+.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 2 (.f64 x x)))) (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 2 (.f64 x x)))))
(/.f64 (.f64 2 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (+.f64 (.f64 y (.f64 y 8)) (.f64 x (.f64 x 2))))
(/.f64 (.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) -2) (+.f64 (.f64 y (.f64 y 8)) (.f64 x (.f64 x 2))))
(.f64 2 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 x (.f64 x 2)))))
(.f64 2 (/.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 2))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 2 (.f64 (/.f64 1/2 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 2) 1/2)
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (/.f64 1 (.f64 4 (+.f64 (.f64 x x) (.f64 y (*.f64 y 4))))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (/.f64 1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (/.f64 -1 (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 -1 (/.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 1/2 (.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 2))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (/.f64 1/2 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (.f64 (/.f64 1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 1/2) (.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 2))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (/.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) -1)
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 (.f64 x x) 2))) 2)
(+.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 2 (.f64 x x)))) (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 2 (.f64 x x)))))
(/.f64 (.f64 2 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (+.f64 (.f64 y (.f64 y 8)) (.f64 x (.f64 x 2))))
(/.f64 (.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) -2) (+.f64 (.f64 y (.f64 y 8)) (.f64 x (.f64 x 2))))
(.f64 2 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 y (.f64 y 8)) (.f64 x (.f64 x 2)))))
(.f64 (/.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 2) 2)
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (/.f64 1 (.f64 4 (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))) (.f64 4 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(.f64 (/.f64 -1 (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) (-.f64 (.f64 y (.f64 y 4)) (*.f64 x x)))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(pow.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 1)
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(neg.f64 (/.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) (+.f64 (.f64 x x) (.f64 y (.f64 y 4)))))
(/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) (+.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(+.f64 (.f64 x x) (neg.f64 (.f64 y (*.f64 y 4))))
(+.f64 (.f64 x x) (.f64 y (*.f64 y -4)))
(+.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 0)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(+.f64 0 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))))
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(+.f64 -1 (-.f64 (.f64 x x) (-.f64 (.f64 y (*.f64 y 4)) 1)))
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(+.f64 (neg.f64 (.f64 y (.f64 y 4))) (*.f64 x x))
(+.f64 (.f64 x x) (neg.f64 (.f64 y (*.f64 y 4))))
(+.f64 (.f64 x x) (.f64 y (*.f64 y -4)))
(+.f64 (-.f64 (.f64 x x) (-.f64 (.f64 y (*.f64 y 4)) 1)) -1)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 1)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 1 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))))
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 2) 1/2)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 2 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2))
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 (.f64 4 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))) 1/4)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)) -1)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 -1 (-.f64 (.f64 y (.f64 y 4)) (.f64 x x)))
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 1/2 (.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 2))
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 1/4 (.f64 4 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))))
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(.f64 (/.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 2)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(*.f64 (+.f64 (+.f64 y y) x) (-.f64 x (+.f64 y y)))
(-.f64 (.f64 x x) (.f64 (+.f64 y y) (+.f64 y y)))
(*.f64 (+.f64 (+.f64 y y) (fabs.f64 x)) (-.f64 (fabs.f64 x) (+.f64 y y)))
(-.f64 (.f64 x x) (.f64 (+.f64 y y) (+.f64 y y)))
(/.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 1)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 2)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(/.f64 (.f64 4 (-.f64 (.f64 x x) (.f64 y (.f64 y 4)))) 4)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(/.f64 (-.f64 (.f64 y (.f64 y 4)) (*.f64 x x)) -1)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(/.f64 (.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 2) 4) 8)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(/.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) -2) -2)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(/.f64 (.f64 2 (.f64 (.f64 (-.f64 (.f64 x x) (.f64 y (.f64 y 4))) 2) 4)) 16)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(pow.f64 (-.f64 (.f64 x x) (.f64 y (*.f64 y 4))) 1)
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))
(neg.f64 (-.f64 (.f64 y (.f64 y 4)) (*.f64 x x)))
(-.f64 (.f64 x x) (.f64 y (*.f64 y 4)))

eval194.0ms (6.7%)

Compiler: Compiled 3081 to 2104 computations (31.7% saved)

prune16.0ms (0.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	117	2	119
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	117	3	120

Error

0.4b

Counts

120 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	31.0b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
	35.9b	1
	27.7b	-1

Compiler

Compiled 27 to 18 computations (33.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.4b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	31.0b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
	35.9b	1
	27.7b	-1

Compiler

Compiled 27 to 18 computations (33.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.4b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	31.0b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
	35.9b	1
	27.7b	-1

Compiler

Compiled 27 to 18 computations (33.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.4b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	31.0b	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
	35.9b	1
	27.7b	-1

Compiler

Compiled 27 to 18 computations (33.3% saved)

regimes193.0ms (6.7%)

Counts

3 → 5

Calls

Call 1

Inputs
-1
1
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

Outputs
-1
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
1
(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))
-1

Calls

5 calls:

83.0ms	y
83.0ms	x
11.0ms	(*.f64 x x)
11.0ms	(.f64 (.f64 y 4) y)
3.0ms	(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))

Results

Error	Segments	Branch
10.1b	8	`x`
8.2b	5	`y`
12.8b	2	`(/.f64 (-.f64 (.f64 x x) (.f64 (.f64 y 4) y)) (+.f64 (.f64 x x) (.f64 (.f64 y 4) y)))`
11.8b	5	`(*.f64 x x)`
8.9b	3	`(.f64 (.f64 y 4) y)`

Compiler

Compiled 62 to 38 computations (38.7% saved)

bsearch67.0ms (2.3%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
12.0ms	7.625133079502496e+131	4.086831655995371e+132
18.0ms	9.970814543002532e-147	9.4820544142535e-141
20.0ms	-2.3400420235865265e-86	-3.2868162094958536e-97
17.0ms	-1.2778379682800116e+121	-3.0983307306686378e+116

Results

61.0ms

528×

body

256

valid

Compiler

Compiled 884 to 577 computations (34.7% saved)

regimes76.0ms (2.6%)

Accuracy

Total -51.3b remaining (-437.9%)

Threshold costs -51.3b (-437.9%)

Counts

2 → 3

Calls

Call 1

Inputs
-1
1

Outputs
-1
1
-1

Calls

2 calls:

61.0ms	x
13.0ms	y

Results

Error	Segments	Branch
16.4b	3	`x`
11.7b	3	`y`

Compiler

Compiled 10 to 8 computations (20% saved)

bsearch29.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	1.419252566346153e-32	1.6830592523047767e-30
16.0ms	-3.086760922566262e-64	-5.7323931081173914e-67

Results

26.0ms

240×

body

256

valid

Compiler

Compiled 146 to 136 computations (6.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	171

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(if (<=.f64 y -2599999999999999890671552303473135282068371118980048627376360881552980184591593701535380628605860141611953967717658132480) -1 (if (<=.f64 y -7888096943614129/19239260838083241802870625048898248928261591440656956380834127638791856333738872368854622194768025215237611323392) (/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y))) (if (<=.f64 y 2240669956266631/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864) 1 (if (<=.f64 y 2699999999999999959479029507817655037042227854895263740325153303411528042317801656044527213164777995432219581620774697034820351950848) (/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y))) -1))))

(if (<=.f64 y -8744618579202119/29642774844752946028434172162224104410437116074403984394101141506025761187823616) -1 (if (<=.f64 y 6165710032489747/45671926166590716193865151022383844364247891968) 1 -1))

-1

Outputs

(if (<=.f64 y -2599999999999999890671552303473135282068371118980048627376360881552980184591593701535380628605860141611953967717658132480) -1 (if (<=.f64 y -7888096943614129/19239260838083241802870625048898248928261591440656956380834127638791856333738872368854622194768025215237611323392) (/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y))) (if (<=.f64 y 2240669956266631/219673525124179510879420825570604582952621929604585773100622830693937381868724993667921908501166545759273481964527387457187903615990932602002368905315681828864) 1 (if (<=.f64 y 2699999999999999959479029507817655037042227854895263740325153303411528042317801656044527213164777995432219581620774697034820351950848) (/.f64 (-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y)) (+.f64 (*.f64 x x) (*.f64 (*.f64 y 4) y))) -1))))

(if (<=.f64 y -8744618579202119/29642774844752946028434172162224104410437116074403984394101141506025761187823616) -1 (if (<=.f64 y 6165710032489747/45671926166590716193865151022383844364247891968) 1 -1))

-1

Compiler

Compiled 75 to 50 computations (33.3% saved)

soundness0.0ms (0%)

end124.0ms (4.3%)

Compiler: Compiled 71 to 46 computations (35.2% saved)

Details

analyze319.0ms (11%)

sample1.4s (49.1%)

preprocess89.0ms (3.1%)

simplify98.0ms (3.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize17.0ms (0.6%)

series4.0ms (0.1%)

rewrite119.0ms (4.1%)

simplify119.0ms (4.1%)

eval194.0ms (6.7%)

prune16.0ms (0.6%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes193.0ms (6.7%)

bsearch67.0ms (2.3%)

regimes76.0ms (2.6%)

bsearch29.0ms (1%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end124.0ms (4.3%)

Profiling