Details

analyze59.0ms (0.4%)

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
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	8
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	9
82%	82%	18%	0.1%	0%	0%	0%	10
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample683.0ms (4.7%)

Results

671.0ms

8256×

body

256

valid

Bogosity

preprocess2.9s (20.2%)

Algorithm

2×

egglog

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))

Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(sqrt.f64 (fabs.f64 (-.f64 x y)))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify1.4s (9.8%)

Algorithm

1×

egglog

Counts

1 → 2

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))

Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))

eval1.0ms (0%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(sqrt.f64 (fabs.f64 (-.f64 y x)))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fabs.f64 (-.f64 y x)))

Compiler

Compiled 16 to 5 computations (68.8% saved)

series4.0ms (0%)

Counts

1 → 8

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(sqrt.f64 (fabs.f64 (-.f64 y x)))
0.0ms	x	@	inf	(sqrt.f64 (fabs.f64 (-.f64 y x)))
0.0ms	y	@	-inf	(sqrt.f64 (fabs.f64 (-.f64 y x)))
0.0ms	y	@	inf	(sqrt.f64 (fabs.f64 (-.f64 y x)))
0.0ms	x	@	-inf	(sqrt.f64 (fabs.f64 (-.f64 y x)))

Compiler

Compiled 315 to 235 computations (25.4% saved)

rewrite1.4s (10%)

Algorithm

1×	batch-egg-rewrite

Rules

46× egg-rr

Counts

1 → 46

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (-.f64 y x)))

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

Outputs

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

simplify2.0s (13.6%)

Algorithm

1×

egglog

Counts

54 → 53

Calls

Call 1

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

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

eval21.0ms (0.1%)

Compiler: Compiled 851 to 267 computations (68.6% saved)

prune12.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	2	54

Error

Counts

54 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.5b	(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)
✓	0.0b	(sqrt.f64 (fabs.f64 (-.f64 y x)))

Compiler

Compiled 17 to 13 computations (23.5% saved)

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fabs.f64 (-.f64 x y)))
✓	0.1b	(sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))))
✓	0.5b	(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)

Compiler

Compiled 31 to 9 computations (71% saved)

series12.0ms (0.1%)

Counts

3 → 24

Calls

18 calls:

Time	Variable		Point	Expression
1.0ms	y	@	inf	(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)
1.0ms	x	@	0	(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)
1.0ms	x	@	-inf	(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)
1.0ms	x	@	inf	(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)
1.0ms	y	@	-inf	(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)

Compiler

Compiled 1075 to 835 computations (22.3% saved)

rewrite1.5s (10.7%)

Algorithm

1×	batch-egg-rewrite

Rules

91×	`egg-rr`
91×	`egg-rr`
73×	`egg-rr`

Counts

3 → 255

Calls

Call 1

Inputs
(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)
(sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y))))
(sqrt.f64 (fabs.f64 (-.f64 x y)))

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

Outputs

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

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

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

simplify4.2s (29.4%)

Algorithm

1×

egglog

Counts

279 → 176

Calls

Call 1

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

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

eval39.0ms (0.3%)

Compiler: Compiled 2407 to 1154 computations (52.1% saved)

prune23.0ms (0.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	176	0	176
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	176	2	178

Error

Counts

178 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.5b	(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)
✓	0.0b	(sqrt.f64 (fabs.f64 (-.f64 y x)))

Compiler

Compiled 17 to 13 computations (23.5% saved)

regimes17.0ms (0.1%)

Accuracy

Total -0.5b remaining (-12000%)

Threshold costs -0.5b (-12000%)

Counts

3 → 1

Calls

Call 1

Inputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))
(sqrt.f64 (fabs.f64 (-.f64 y x)))
(pow.f64 (sqrt.f64 (sqrt.f64 (fabs.f64 (-.f64 x y)))) 2)

Outputs
(sqrt.f64 (fabs.f64 (-.f64 x y)))

Calls

5 calls:

3.0ms	(-.f64 x y)
3.0ms	x
3.0ms	(sqrt.f64 (fabs.f64 (-.f64 x y)))
3.0ms	(fabs.f64 (-.f64 x y))
3.0ms	y

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(sqrt.f64 (fabs.f64 (-.f64 x y)))`
0.0b	1	`(fabs.f64 (-.f64 x y))`
0.0b	1	`(-.f64 x y)`

Compiler

Compiled 44 to 27 computations (38.6% saved)

simplify0.0ms (0%)

Stop Event

1×

done

Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness0.0ms (0%)

end11.0ms (0.1%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

Details

analyze59.0ms (0.4%)

sample683.0ms (4.7%)

preprocess2.9s (20.2%)

simplify1.4s (9.8%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0%)

series4.0ms (0%)

rewrite1.4s (10%)

simplify2.0s (13.6%)

eval21.0ms (0.1%)

prune12.0ms (0.1%)

localize14.0ms (0.1%)

series12.0ms (0.1%)

rewrite1.5s (10.7%)

simplify4.2s (29.4%)

eval39.0ms (0.3%)

prune23.0ms (0.2%)

regimes17.0ms (0.1%)

simplify0.0ms (0%)

soundness0.0ms (0%)

end11.0ms (0.1%)

Profiling