Details

analyze71.0ms (0.7%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	6
40.6%	40.6%	59.3%	0.1%	0%	0%	0%	7
46%	45.3%	53.1%	0.1%	1.6%	0%	0%	8
65.3%	63.2%	33.6%	0.1%	3.1%	0%	0%	9
69.5%	66%	28.9%	0.1%	5.1%	0%	0%	10
80.9%	75.1%	17.8%	0.1%	7%	0%	0%	11
83.6%	76.6%	15%	0.1%	8.3%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample709.0ms (6.6%)

Results

664.0ms	8256×	body	256	valid
33.0ms	416×	body	256	infinite

Bogosity

preprocess3.3s (30.4%)

Algorithm

2×

egglog

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify1.8s (16.3%)

Algorithm

1×

egglog

Counts

1 → 2

Calls

Call 1

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

Outputs
(/.f64 (+.f64 x y) (+.f64 y y))
(/.f64 (*.f64 (+.f64 x y) 1/2) y)

eval3.0ms (0%)

Compiler: Compiled 16 to 8 computations (50% 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

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x y) (+.f64 y y))

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (+.f64 y y))

Compiler

Compiled 17 to 5 computations (70.6% saved)

series9.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

Compiler

Compiled 735 to 425 computations (42.2% saved)

rewrite2.0s (18.8%)

Algorithm

1×	batch-egg-rewrite

Rules

88× egg-rr

Counts

1 → 88

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (+.f64 x y) 8)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (/.f64 (+.f64 x y) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x y) y) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) y) (cbrt.f64 (/.f64 (+.f64 x y) 8)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y)) (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (cbrt.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 1/2 y)) (/.f64 (+.f64 x y) (cbrt.f64 (.f64 4 (pow.f64 y 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 x y)) (.f64 (/.f64 1/2 y) (cbrt.f64 (pow.f64 (+.f64 x y) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) 1/2) (pow.f64 y -1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 y))) (/.f64 1 (cbrt.f64 (.f64 4 (pow.f64 y 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 1/2 y) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) (cbrt.f64 (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x y) (cbrt.f64 (.f64 4 (pow.f64 y 2)))) (cbrt.f64 (/.f64 1/2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (neg.f64 y) x) (/.f64 -1/2 y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 -1/2 y) (-.f64 (neg.f64 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x y) (/.f64 1/2 y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 y) (+.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (+.f64 x y) 1/2) (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 x y) (cbrt.f64 (pow.f64 y 2))) (.f64 2 (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 y))) (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 y 2))))) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 4 (pow.f64 y 2))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 y) x)) (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2))) (cbrt.f64 (.f64 -2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (cbrt.f64 (-.f64 (neg.f64 y) x))) (cbrt.f64 (.f64 -2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x y) 1/2) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 y))) (cbrt.f64 (.f64 4 (pow.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 x y) (cbrt.f64 (.f64 4 (pow.f64 y 2)))) (cbrt.f64 (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (.f64 4 (pow.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1/2 (+.f64 x y)) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2))) (cbrt.f64 (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x y) 8)) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y)) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) (cbrt.f64 (.f64 4 (pow.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (cbrt.f64 (+.f64 x y))) (cbrt.f64 (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 x y) (cbrt.f64 (.f64 -2 y))) (neg.f64 (cbrt.f64 (.f64 4 (pow.f64 y 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 x y) -2) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (neg.f64 y) x) (.f64 -2 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 0 (/.f64 (+.f64 x y) -2)) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (/.f64 0 (cbrt.f64 (+.f64 y y))) (/.f64 (+.f64 x y) (cbrt.f64 (.f64 -2 y)))) (cbrt.f64 (.f64 4 (pow.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x y) (+.f64 y y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (+.f64 x y) 1/2) (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 x y) (.f64 2 (cbrt.f64 y))) (cbrt.f64 (pow.f64 y 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 x y) (cbrt.f64 y)) (.f64 2 (cbrt.f64 (pow.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (cbrt.f64 (+.f64 x y)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (+.f64 x y) y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (/.f64 (+.f64 x y) (.f64 -2 y)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (+.f64 x y)) 0) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) (/.f64 (+.f64 y y) (cbrt.f64 (+.f64 x y)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (/.f64 (.f64 (+.f64 x y) 1/2) y) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 x y) 0) (/.f64 -1 (/.f64 (.f64 -2 y) (+.f64 x y))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (+.f64 x y)) (/.f64 y (.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 1/2))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2))) 0) (/.f64 (cbrt.f64 (+.f64 x y)) (/.f64 y (.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 1/2))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (neg.f64 y) x) 0) (/.f64 -1 (/.f64 (.f64 -2 y) (+.f64 x y))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 0) (/.f64 1 (/.f64 1 (/.f64 (.f64 (+.f64 x y) 1/2) y))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 y (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 y (+.f64 y y)) 3) (pow.f64 (/.f64 x (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (/.f64 1/2 y) y) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) y) 3) (pow.f64 (.f64 (/.f64 1/2 y) x) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (/.f64 1/2 y) x) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) x) 3) (pow.f64 (.f64 (/.f64 1/2 y) y) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 x (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 x (+.f64 y y)) 3) (pow.f64 (/.f64 y (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y))) 0) (/.f64 (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y)))) (-.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x)) 0) (/.f64 (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x))) (-.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y)) 0) (/.f64 (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y))) (-.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y))) 0) (/.f64 (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y)))) (-.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 y (+.f64 y y)) 0) (.f64 (/.f64 y (+.f64 y y)) (+.f64 1 (/.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (/.f64 1/2 y) y) 0) (.f64 (.f64 (/.f64 1/2 y) y) (+.f64 1 (/.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (/.f64 1/2 y) x) 0) (.f64 (.f64 (/.f64 1/2 y) x) (+.f64 1 (/.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 x (+.f64 y y)) 0) (.f64 (/.f64 x (+.f64 y y)) (+.f64 1 (/.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 (+.f64 x y) (.f64 -2 y)) 0) (/.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y))))) 0) (/.f64 (+.f64 (pow.f64 (/.f64 y (+.f64 y y)) 3) (pow.f64 (/.f64 x (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x)))) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) y) 3) (pow.f64 (.f64 (/.f64 1/2 y) x) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y)))) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) x) 3) (pow.f64 (.f64 (/.f64 1/2 y) y) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y))))) 0) (/.f64 (+.f64 (pow.f64 (/.f64 x (+.f64 y y)) 3) (pow.f64 (/.f64 y (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 x (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 y (+.f64 y y)) 3) (pow.f64 (/.f64 x (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (/.f64 1/2 y) x) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) y) 3) (pow.f64 (.f64 (/.f64 1/2 y) x) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (/.f64 1/2 y) y) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) x) 3) (pow.f64 (.f64 (/.f64 1/2 y) y) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (/.f64 y (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 x (+.f64 y y)) 3) (pow.f64 (/.f64 y (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y))) 0) (/.f64 (-.f64 0 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (+.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y))))) 0) (/.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (.f64 (+.f64 x y) 1/2) y))))))

Outputs

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

simplify2.5s (23.5%)

Algorithm

1×

egglog

Counts

112 → 121

Calls

Call 1

Inputs
1/2
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(*.f64 1/2 (/.f64 x y))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(*.f64 1/2 (/.f64 x y))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(*.f64 1/2 (/.f64 x y))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
1/2
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
1/2
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(*.f64 (cbrt.f64 (/.f64 (+.f64 x y) 8)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) y))
(*.f64 1/2 (/.f64 (+.f64 x y) y))
(*.f64 (/.f64 (+.f64 x y) y) 1/2)
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) y) (cbrt.f64 (/.f64 (+.f64 x y) 8)))
(.f64 (cbrt.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y)) (cbrt.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 2)))
(.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (cbrt.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y)))
(.f64 (cbrt.f64 (/.f64 1/2 y)) (/.f64 (+.f64 x y) (cbrt.f64 (.f64 4 (pow.f64 y 2)))))
(.f64 (cbrt.f64 (+.f64 x y)) (.f64 (/.f64 1/2 y) (cbrt.f64 (pow.f64 (+.f64 x y) 2))))
(.f64 (.f64 (+.f64 x y) 1/2) (pow.f64 y -1))
(.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 y))) (/.f64 1 (cbrt.f64 (*.f64 4 (pow.f64 y 2)))))
(.f64 (.f64 (/.f64 1/2 y) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) (cbrt.f64 (+.f64 x y)))
(.f64 (/.f64 (+.f64 x y) (cbrt.f64 (.f64 4 (pow.f64 y 2)))) (cbrt.f64 (/.f64 1/2 y)))
(*.f64 (-.f64 (neg.f64 y) x) (/.f64 -1/2 y))
(*.f64 (/.f64 -1/2 y) (-.f64 (neg.f64 y) x))
(*.f64 (+.f64 x y) (/.f64 1/2 y))
(*.f64 (/.f64 1/2 y) (+.f64 x y))
(.f64 -1 (/.f64 (+.f64 x y) (.f64 -2 y)))
(.f64 1 (/.f64 (.f64 (+.f64 x y) 1/2) y))
(.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 1)
(-.f64 0 (/.f64 (+.f64 x y) (*.f64 -2 y)))
(/.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y))
(/.f64 (/.f64 (+.f64 x y) (cbrt.f64 (pow.f64 y 2))) (*.f64 2 (cbrt.f64 y)))
(/.f64 (/.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 y))) (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 y 2))))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 4 (pow.f64 y 2))) 2)))
(/.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 y) x)) (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2))) (cbrt.f64 (*.f64 -2 y)))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (cbrt.f64 (-.f64 (neg.f64 y) x))) (cbrt.f64 (*.f64 -2 y)))
(/.f64 (*.f64 (+.f64 x y) 1/2) y)
(/.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 y))) (cbrt.f64 (.f64 4 (pow.f64 y 2))))
(/.f64 (/.f64 (+.f64 x y) (cbrt.f64 (*.f64 4 (pow.f64 y 2)))) (cbrt.f64 (+.f64 y y)))
(/.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (.f64 4 (pow.f64 y 2))))
(/.f64 (*.f64 1/2 (+.f64 x y)) y)
(/.f64 (.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2))) (cbrt.f64 (+.f64 y y)))
(/.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) 8)) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) y)
(/.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y)) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) (cbrt.f64 (*.f64 4 (pow.f64 y 2))))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (cbrt.f64 (+.f64 x y))) (cbrt.f64 (+.f64 y y)))
(/.f64 (/.f64 (+.f64 x y) (cbrt.f64 (.f64 -2 y))) (neg.f64 (cbrt.f64 (.f64 4 (pow.f64 y 2)))))
(/.f64 (/.f64 (+.f64 x y) -2) (neg.f64 y))
(/.f64 (-.f64 (neg.f64 y) x) (*.f64 -2 y))
(/.f64 (-.f64 0 (/.f64 (+.f64 x y) -2)) y)
(/.f64 (-.f64 (/.f64 0 (cbrt.f64 (+.f64 y y))) (/.f64 (+.f64 x y) (cbrt.f64 (.f64 -2 y)))) (cbrt.f64 (.f64 4 (pow.f64 y 2))))
(/.f64 (+.f64 x y) (+.f64 y y))
(/.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)))
(/.f64 (/.f64 (+.f64 x y) (*.f64 2 (cbrt.f64 y))) (cbrt.f64 (pow.f64 y 2)))
(/.f64 (/.f64 (+.f64 x y) (cbrt.f64 y)) (*.f64 2 (cbrt.f64 (pow.f64 y 2))))
(/.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) y)) 2)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(/.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 1)
(pow.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 3) 1/3)
(pow.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 1)
(pow.f64 (cbrt.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y)) 3)
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 3))
(neg.f64 (/.f64 (+.f64 x y) (*.f64 -2 y)))
(neg.f64 (-.f64 (/.f64 (+.f64 x y) (*.f64 -2 y)) 0))
(if (!=.f64 (cbrt.f64 (+.f64 x y)) 0) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) (/.f64 (+.f64 y y) (cbrt.f64 (+.f64 x y)))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 1 0) (/.f64 (.f64 (+.f64 x y) 1/2) y) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 x y) 0) (/.f64 -1 (/.f64 (.f64 -2 y) (+.f64 x y))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (+.f64 x y)) (/.f64 y (.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 1/2))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2))) 0) (/.f64 (cbrt.f64 (+.f64 x y)) (/.f64 y (.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 1/2))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (-.f64 (neg.f64 y) x) 0) (/.f64 -1 (/.f64 (.f64 -2 y) (+.f64 x y))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 0) (/.f64 1 (/.f64 1 (/.f64 (.f64 (+.f64 x y) 1/2) y))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 y (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 y (+.f64 y y)) 3) (pow.f64 (/.f64 x (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (.f64 (/.f64 1/2 y) y) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) y) 3) (pow.f64 (.f64 (/.f64 1/2 y) x) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (.f64 (/.f64 1/2 y) x) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) x) 3) (pow.f64 (.f64 (/.f64 1/2 y) y) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 x (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 x (+.f64 y y)) 3) (pow.f64 (/.f64 y (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (-.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y))) 0) (/.f64 (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y)))) (-.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (-.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x)) 0) (/.f64 (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x))) (-.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (-.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y)) 0) (/.f64 (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y))) (-.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (-.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y))) 0) (/.f64 (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y)))) (-.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 y (+.f64 y y)) 0) (.f64 (/.f64 y (+.f64 y y)) (+.f64 1 (/.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (.f64 (/.f64 1/2 y) y) 0) (.f64 (.f64 (/.f64 1/2 y) y) (+.f64 1 (/.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (.f64 (/.f64 1/2 y) x) 0) (.f64 (.f64 (/.f64 1/2 y) x) (+.f64 1 (/.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 x (+.f64 y y)) 0) (.f64 (/.f64 x (+.f64 y y)) (+.f64 1 (/.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 (+.f64 x y) (.f64 -2 y)) 0) (/.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y))))) 0) (/.f64 (+.f64 (pow.f64 (/.f64 y (+.f64 y y)) 3) (pow.f64 (/.f64 x (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x)))) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) y) 3) (pow.f64 (.f64 (/.f64 1/2 y) x) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y)))) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) x) 3) (pow.f64 (.f64 (/.f64 1/2 y) y) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y))))) 0) (/.f64 (+.f64 (pow.f64 (/.f64 x (+.f64 y y)) 3) (pow.f64 (/.f64 y (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 x (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 y (+.f64 y y)) 3) (pow.f64 (/.f64 x (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (.f64 (/.f64 1/2 y) x) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) y) 3) (pow.f64 (.f64 (/.f64 1/2 y) x) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (.f64 (/.f64 1/2 y) y) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) x) 3) (pow.f64 (.f64 (/.f64 1/2 y) y) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 y (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 x (+.f64 y y)) 3) (pow.f64 (/.f64 y (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 0 0) (/.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y))) 0) (/.f64 (-.f64 0 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (+.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y))))) 0) (/.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(+.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))
(+.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))
(+.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))
(+.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))
(+.f64 0 (/.f64 (*.f64 (+.f64 x y) 1/2) y))

Outputs
1/2
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(*.f64 1/2 (/.f64 x y))
(/.f64 x (*.f64 2 y))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(*.f64 1/2 (/.f64 x y))
(/.f64 x (*.f64 2 y))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(*.f64 1/2 (/.f64 x y))
(/.f64 x (*.f64 2 y))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
1/2
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
1/2
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(fma.f64 (/.f64 x y) 1/2 1/2)
(*.f64 (cbrt.f64 (/.f64 (+.f64 x y) 8)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) y))
(/.f64 (cbrt.f64 (*.f64 (/.f64 (+.f64 x y) 8) (pow.f64 (+.f64 x y) 2))) y)
(*.f64 1/2 (/.f64 (+.f64 x y) y))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(*.f64 (/.f64 (+.f64 x y) y) 1/2)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) y) (cbrt.f64 (/.f64 (+.f64 x y) 8)))
(/.f64 (cbrt.f64 (*.f64 (/.f64 (+.f64 x y) 8) (pow.f64 (+.f64 x y) 2))) y)
(.f64 (cbrt.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y)) (cbrt.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 2)))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (cbrt.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y)))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(.f64 (cbrt.f64 (/.f64 1/2 y)) (/.f64 (+.f64 x y) (cbrt.f64 (.f64 4 (pow.f64 y 2)))))
(/.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (.f64 (*.f64 y y) 4)))
(.f64 (cbrt.f64 (+.f64 x y)) (.f64 (/.f64 1/2 y) (cbrt.f64 (pow.f64 (+.f64 x y) 2))))
(.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) (/.f64 1/2 y)) (cbrt.f64 (+.f64 x y)))
(.f64 (.f64 (+.f64 x y) 1/2) (pow.f64 y -1))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 y))) (/.f64 1 (cbrt.f64 (*.f64 4 (pow.f64 y 2)))))
(/.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (.f64 (*.f64 y y) 4)))
(.f64 (.f64 (/.f64 1/2 y) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) (cbrt.f64 (+.f64 x y)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) (/.f64 1/2 y)) (cbrt.f64 (+.f64 x y)))
(.f64 (/.f64 (+.f64 x y) (cbrt.f64 (.f64 4 (pow.f64 y 2)))) (cbrt.f64 (/.f64 1/2 y)))
(/.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (.f64 (*.f64 y y) 4)))
(*.f64 (-.f64 (neg.f64 y) x) (/.f64 -1/2 y))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(*.f64 (/.f64 -1/2 y) (-.f64 (neg.f64 y) x))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(*.f64 (+.f64 x y) (/.f64 1/2 y))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(*.f64 (/.f64 1/2 y) (+.f64 x y))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(.f64 -1 (/.f64 (+.f64 x y) (.f64 -2 y)))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(.f64 1 (/.f64 (.f64 (+.f64 x y) 1/2) y))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 1)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(-.f64 0 (/.f64 (+.f64 x y) (*.f64 -2 y)))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(/.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y))
(/.f64 (/.f64 (/.f64 (+.f64 x y) 2) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))
(/.f64 (/.f64 (+.f64 x y) (cbrt.f64 (pow.f64 y 2))) (*.f64 2 (cbrt.f64 y)))
(/.f64 (/.f64 (/.f64 (+.f64 x y) 2) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))
(/.f64 (/.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 y))) (cbrt.f64 (cbrt.f64 (.f64 4 (pow.f64 y 2))))) (cbrt.f64 (pow.f64 (cbrt.f64 (*.f64 4 (pow.f64 y 2))) 2)))
(/.f64 (/.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (cbrt.f64 (.f64 (.f64 y y) 4)))) (cbrt.f64 (pow.f64 (cbrt.f64 (.f64 (*.f64 y y) 4)) 2)))
(/.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 y) x)) (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2))) (cbrt.f64 (*.f64 -2 y)))
(cbrt.f64 (/.f64 (neg.f64 (.f64 (+.f64 x y) (pow.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 2))) (.f64 -2 y)))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (cbrt.f64 (-.f64 (neg.f64 y) x))) (cbrt.f64 (*.f64 -2 y)))
(cbrt.f64 (/.f64 (neg.f64 (.f64 (+.f64 x y) (pow.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 2))) (.f64 -2 y)))
(/.f64 (*.f64 (+.f64 x y) 1/2) y)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(/.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 1/2 y))) (cbrt.f64 (.f64 4 (pow.f64 y 2))))
(/.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (.f64 (*.f64 y y) 4)))
(/.f64 (/.f64 (+.f64 x y) (cbrt.f64 (*.f64 4 (pow.f64 y 2)))) (cbrt.f64 (+.f64 y y)))
(/.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (.f64 (*.f64 y y) 4)))
(/.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (.f64 4 (pow.f64 y 2))))
(/.f64 (.f64 (cbrt.f64 (/.f64 1/2 y)) (+.f64 x y)) (cbrt.f64 (.f64 (*.f64 y y) 4)))
(/.f64 (*.f64 1/2 (+.f64 x y)) y)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(/.f64 (.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2))) (cbrt.f64 (+.f64 y y)))
(cbrt.f64 (/.f64 (.f64 (+.f64 x y) (pow.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 2)) (.f64 2 y)))
(/.f64 (*.f64 (cbrt.f64 (/.f64 (+.f64 x y) 8)) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) y)
(/.f64 (cbrt.f64 (*.f64 (/.f64 (+.f64 x y) 8) (pow.f64 (+.f64 x y) 2))) y)
(/.f64 (.f64 (cbrt.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y)) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) (cbrt.f64 (*.f64 4 (pow.f64 y 2))))
(cbrt.f64 (/.f64 (.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) (pow.f64 (+.f64 x y) 2)) (.f64 (*.f64 y y) 4)))
(/.f64 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (cbrt.f64 (+.f64 x y))) (cbrt.f64 (+.f64 y y)))
(cbrt.f64 (/.f64 (.f64 (+.f64 x y) (pow.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 2)) (.f64 2 y)))
(/.f64 (/.f64 (+.f64 x y) (cbrt.f64 (.f64 -2 y))) (neg.f64 (cbrt.f64 (.f64 4 (pow.f64 y 2)))))
(/.f64 (neg.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 -1/2 y)))) (cbrt.f64 (.f64 (*.f64 y y) 4)))
(/.f64 (/.f64 (+.f64 x y) -2) (neg.f64 y))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(/.f64 (-.f64 (neg.f64 y) x) (*.f64 -2 y))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(/.f64 (-.f64 0 (/.f64 (+.f64 x y) -2)) y)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(/.f64 (-.f64 (/.f64 0 (cbrt.f64 (+.f64 y y))) (/.f64 (+.f64 x y) (cbrt.f64 (.f64 -2 y)))) (cbrt.f64 (.f64 4 (pow.f64 y 2))))
(/.f64 (neg.f64 (.f64 (+.f64 x y) (cbrt.f64 (/.f64 -1/2 y)))) (cbrt.f64 (.f64 (*.f64 y y) 4)))
(/.f64 (+.f64 x y) (+.f64 y y))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(/.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)))
(/.f64 (/.f64 (+.f64 x y) (.f64 (cbrt.f64 y) 2)) (cbrt.f64 (.f64 y y)))
(/.f64 (/.f64 (+.f64 x y) (*.f64 2 (cbrt.f64 y))) (cbrt.f64 (pow.f64 y 2)))
(/.f64 (/.f64 (+.f64 x y) (.f64 (cbrt.f64 y) 2)) (cbrt.f64 (.f64 y y)))
(/.f64 (/.f64 (+.f64 x y) (cbrt.f64 y)) (*.f64 2 (cbrt.f64 (pow.f64 y 2))))
(/.f64 (/.f64 (+.f64 x y) (.f64 (cbrt.f64 y) 2)) (cbrt.f64 (.f64 y y)))
(/.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) y)) 2)
(/.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 x y)) (cbrt.f64 (pow.f64 (+.f64 x y) 2))) y) 2)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(/.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 1)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(pow.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 3) 1/3)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(pow.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 1)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(pow.f64 (cbrt.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y)) 3)
(/.f64 (/.f64 (+.f64 x y) y) 2)
(cbrt.f64 (pow.f64 (/.f64 (*.f64 (+.f64 x y) 1/2) y) 3))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(neg.f64 (/.f64 (+.f64 x y) (*.f64 -2 y)))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(neg.f64 (-.f64 (/.f64 (+.f64 x y) (*.f64 -2 y)) 0))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(if (!=.f64 (cbrt.f64 (+.f64 x y)) 0) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) (/.f64 (+.f64 y y) (cbrt.f64 (+.f64 x y)))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (cbrt.f64 (+.f64 x y)) 0) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) (/.f64 (*.f64 2 y) (cbrt.f64 (+.f64 x y)))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 1 0) (/.f64 (.f64 (+.f64 x y) 1/2) y) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 1 0) (/.f64 (/.f64 (+.f64 x y) y) 2) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (+.f64 x y) 0) (/.f64 -1 (/.f64 (.f64 -2 y) (+.f64 x y))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 x y) 0) (pow.f64 (/.f64 (*.f64 2 y) (+.f64 x y)) -1) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (+.f64 x y)) (/.f64 y (.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 1/2))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (+.f64 x y)) (/.f64 y (*.f64 1/2 (cbrt.f64 (pow.f64 (+.f64 x y) 2))))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2))) 0) (/.f64 (cbrt.f64 (+.f64 x y)) (/.f64 y (.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2)) 1/2))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (neg.f64 (cbrt.f64 (pow.f64 (+.f64 x y) 2))) 0) (/.f64 (cbrt.f64 (+.f64 x y)) (/.f64 y (*.f64 1/2 (cbrt.f64 (pow.f64 (+.f64 x y) 2))))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (-.f64 (neg.f64 y) x) 0) (/.f64 -1 (/.f64 (.f64 -2 y) (+.f64 x y))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (-.f64 (neg.f64 y) x) 0) (pow.f64 (/.f64 (*.f64 2 y) (+.f64 x y)) -1) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 0) (/.f64 1 (/.f64 1 (/.f64 (.f64 (+.f64 x y) 1/2) y))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 0) (/.f64 -1 (/.f64 -2 (/.f64 (+.f64 x y) y))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (/.f64 y (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 y (+.f64 y y)) 3) (pow.f64 (/.f64 x (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 y (.f64 2 y)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (.f64 (/.f64 1/2 y) y) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) y) 3) (pow.f64 (.f64 (/.f64 1/2 y) x) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 y (.f64 2 y)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (.f64 (/.f64 1/2 y) x) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) x) 3) (pow.f64 (.f64 (/.f64 1/2 y) y) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 x (.f64 2 y)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (/.f64 x (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 x (+.f64 y y)) 3) (pow.f64 (/.f64 y (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 x (.f64 2 y)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (-.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y))) 0) (/.f64 (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y)))) (-.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 (-.f64 x y) (.f64 -2 y)) 0) (/.f64 (/.f64 (-.f64 (.f64 y y) (.f64 x x)) (.f64 (.f64 y y) 4)) (/.f64 (-.f64 x y) (.f64 -2 y))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (-.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x)) 0) (/.f64 (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x))) (-.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 (-.f64 x y) (.f64 -2 y)) 0) (/.f64 (/.f64 (-.f64 (.f64 y y) (.f64 x x)) (.f64 (.f64 y y) 4)) (/.f64 (-.f64 x y) (.f64 -2 y))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (-.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y)) 0) (/.f64 (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y))) (-.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 (-.f64 x y) (.f64 2 y)) 0) (/.f64 (/.f64 (-.f64 (.f64 y y) (.f64 x x)) (.f64 (.f64 y y) 4)) (/.f64 (-.f64 x y) (.f64 -2 y))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (-.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y))) 0) (/.f64 (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y)))) (-.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 (-.f64 x y) (.f64 2 y)) 0) (/.f64 (/.f64 (-.f64 (.f64 y y) (.f64 x x)) (.f64 (.f64 y y) 4)) (/.f64 (-.f64 x y) (.f64 -2 y))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (/.f64 y (+.f64 y y)) 0) (.f64 (/.f64 y (+.f64 y y)) (+.f64 1 (/.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 y (.f64 2 y)) 0) (.f64 (*.f64 y (fma.f64 (/.f64 (/.f64 1/2 y) (/.f64 1/2 y)) (/.f64 x y) 1)) (/.f64 1/2 y)) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (.f64 (/.f64 1/2 y) y) 0) (.f64 (.f64 (/.f64 1/2 y) y) (+.f64 1 (/.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 y (.f64 2 y)) 0) (.f64 (*.f64 y (fma.f64 (/.f64 (/.f64 1/2 y) (/.f64 1/2 y)) (/.f64 x y) 1)) (/.f64 1/2 y)) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (.f64 (/.f64 1/2 y) x) 0) (.f64 (.f64 (/.f64 1/2 y) x) (+.f64 1 (/.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 x (.f64 2 y)) 0) (.f64 (/.f64 1/2 y) (*.f64 x (fma.f64 (/.f64 (/.f64 1/2 y) (/.f64 1/2 y)) (/.f64 y x) 1))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (/.f64 x (+.f64 y y)) 0) (.f64 (/.f64 x (+.f64 y y)) (+.f64 1 (/.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 x (.f64 2 y)) 0) (.f64 (/.f64 1/2 y) (*.f64 x (fma.f64 (/.f64 (/.f64 1/2 y) (/.f64 1/2 y)) (/.f64 y x) 1))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (/.f64 (+.f64 x y) (.f64 -2 y)) 0) (/.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 (/.f64 (+.f64 x y) -2) y) 0) (/.f64 (pow.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 2) (/.f64 (/.f64 (+.f64 x y) y) 2)) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y))))) 0) (/.f64 (+.f64 (pow.f64 (/.f64 y (+.f64 y y)) 3) (pow.f64 (/.f64 x (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (*.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x)))) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) y) 3) (pow.f64 (.f64 (/.f64 1/2 y) x) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (*.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y)))) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) x) 3) (pow.f64 (.f64 (/.f64 1/2 y) y) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (*.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y))))) 0) (/.f64 (+.f64 (pow.f64 (/.f64 x (+.f64 y y)) 3) (pow.f64 (/.f64 y (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (*.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (/.f64 x (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 y (+.f64 y y)) 3) (pow.f64 (/.f64 x (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (-.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 x (.f64 2 y)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (.f64 (/.f64 1/2 y) x) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) y) 3) (pow.f64 (.f64 (/.f64 1/2 y) x) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 x (.f64 2 y)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (.f64 (/.f64 1/2 y) y) 0) (/.f64 (+.f64 (pow.f64 (.f64 (/.f64 1/2 y) x) 3) (pow.f64 (.f64 (/.f64 1/2 y) y) 3)) (+.f64 (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) x)) (-.f64 (.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) y)) (.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 y (.f64 2 y)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (/.f64 y (+.f64 y y)) 0) (/.f64 (+.f64 (pow.f64 (/.f64 x (+.f64 y y)) 3) (pow.f64 (/.f64 y (+.f64 y y)) 3)) (+.f64 (.f64 (/.f64 x (+.f64 y y)) (/.f64 x (+.f64 y y))) (-.f64 (.f64 (/.f64 y (+.f64 y y)) (/.f64 y (+.f64 y y))) (.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 y (.f64 2 y)) 0) (/.f64 (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 y 3)) (pow.f64 (.f64 2 y) 3)) (+.f64 (/.f64 (.f64 y (-.f64 y x)) (.f64 (.f64 y y) 4)) (pow.f64 (/.f64 x (.f64 2 y)) 2))) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 0 0) (/.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 0 0) (/.f64 (pow.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 2) (/.f64 (/.f64 (+.f64 x y) y) 2)) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (+.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y))) 0) (/.f64 (-.f64 0 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2)) (+.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (/.f64 (/.f64 (+.f64 x y) -2) y) 0) (/.f64 (pow.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 2) (/.f64 (/.f64 (+.f64 x y) y) 2)) (/.f64 (/.f64 (+.f64 x y) y) 2))
(if (!=.f64 (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y))))) 0) (/.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 3) (+.f64 0 (+.f64 (pow.f64 (/.f64 (.f64 (+.f64 x y) 1/2) y) 2) (.f64 0 (/.f64 (+.f64 x y) (.f64 -2 y)))))) (/.f64 (.f64 (+.f64 x y) 1/2) y))
(if (!=.f64 (pow.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 2) 0) (/.f64 (pow.f64 (/.f64 (/.f64 (+.f64 x y) y) 2) 2) (/.f64 (/.f64 (+.f64 x y) y) 2)) (/.f64 (/.f64 (+.f64 x y) y) 2))
(+.f64 (/.f64 x (+.f64 y y)) (/.f64 y (+.f64 y y)))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(+.f64 (/.f64 y (+.f64 y y)) (/.f64 x (+.f64 y y)))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(+.f64 (.f64 (/.f64 1/2 y) x) (.f64 (/.f64 1/2 y) y))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(+.f64 (.f64 (/.f64 1/2 y) y) (.f64 (/.f64 1/2 y) x))
(/.f64 (/.f64 (+.f64 x y) y) 2)
(+.f64 0 (/.f64 (*.f64 (+.f64 x y) 1/2) y))
(/.f64 (/.f64 (+.f64 x y) y) 2)

eval61.0ms (0.6%)

Compiler: Compiled 3151 to 1533 computations (51.3% saved)

prune15.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	3	122

Error

Counts

122 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	38.0b	(/.f64 x (*.f64 2 y))
▶	0b	(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
	25.4b	1/2

Compiler

Compiled 19 to 15 computations (21.1% saved)

localize10.0ms (0.1%)

Compiler: Compiled 20 to 10 computations (50% saved)

localize9.0ms (0.1%)

Compiler: Compiled 13 to 8 computations (38.5% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	38.0b	(/.f64 x (*.f64 2 y))
✓	0b	(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
	25.4b	1/2

Compiler

Compiled 19 to 15 computations (21.1% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	38.0b	(/.f64 x (*.f64 2 y))
✓	0b	(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
	25.4b	1/2

Compiler

Compiled 19 to 15 computations (21.1% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	38.0b	(/.f64 x (*.f64 2 y))
✓	0b	(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
	25.4b	1/2

Compiler

Compiled 19 to 15 computations (21.1% saved)

regimes21.0ms (0.2%)

Counts

4 → 1

Calls

Call 1

Inputs
1/2
(/.f64 x (*.f64 2 y))
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))
(/.f64 (+.f64 x y) (+.f64 y y))

Outputs
(+.f64 1/2 (*.f64 1/2 (/.f64 x y)))

Calls

3 calls:

7.0ms	y
6.0ms	x
5.0ms	(/.f64 (+.f64 x y) (+.f64 y y))

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`(/.f64 (+.f64 x y) (+.f64 y y))`

Compiler

Compiled 37 to 23 computations (37.8% saved)

regimes35.0ms (0.3%)

Accuracy

Total -47.2b remaining (-328.5%)

Threshold costs -47.2b (-328.5%)

Counts

2 → 7

Calls

Call 1

Inputs
1/2
(/.f64 x (*.f64 2 y))

Outputs
1/2
(/.f64 x (*.f64 2 y))
1/2
(/.f64 x (*.f64 2 y))
1/2
(/.f64 x (*.f64 2 y))
1/2

Calls

2 calls:

25.0ms	y
10.0ms	x

Results

Error	Segments	Branch
15.1b	3	`x`
14.4b	7	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch151.0ms (1.4%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
17.0ms	2.397740833531191e+111	2.077694076069832e+112
16.0ms	4.466919375083385e+70	3.716557141992383e+71
34.0ms	2.976917243995155e-122	7.198198323693492e-94
36.0ms	-5.2254166020675256e-201	-1.7413761275606098e-208
26.0ms	-8.347635204887807e-134	-1.193906738972107e-140
22.0ms	-1926846.8205555733	-0.00047312216408979446

Results

116.0ms	800×	body	256	valid
17.0ms	114×	body	256	infinite

Compiler

Compiled 614 to 509 computations (17.1% saved)

simplify2.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 57 to 43 computations (24.6% saved)

soundness0.0ms (0%)

end75.0ms (0.7%)

Compiler: Compiled 53 to 39 computations (26.4% saved)

Details

analyze71.0ms (0.7%)

sample709.0ms (6.6%)

preprocess3.3s (30.4%)

simplify1.8s (16.3%)

eval3.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series9.0ms (0.1%)

rewrite2.0s (18.8%)

simplify2.5s (23.5%)

eval61.0ms (0.6%)

prune15.0ms (0.1%)

localize10.0ms (0.1%)

localize9.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes21.0ms (0.2%)

regimes35.0ms (0.3%)

bsearch151.0ms (1.4%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end75.0ms (0.7%)

Profiling