Details

analyze149.0ms (5.8%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	81.2%	0.1%	0%	18.7%	0%	5
16%	12.5%	65.6%	0.1%	0%	21.9%	0%	6
27.9%	18.7%	48.4%	0.1%	0%	32.8%	0%	7
43.4%	28.1%	36.7%	0.1%	0%	35.1%	0%	8
55.6%	32.8%	26.1%	0.1%	0%	41%	0%	9
66.4%	38.2%	19.3%	0.1%	0%	42.3%	0%	10
75.1%	41%	13.6%	0.1%	0%	45.4%	0%	11
81.6%	43.9%	9.9%	0.1%	0%	46.1%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.3s (51.6%)

Results

1.2s	8256×	body	256	valid
109.0ms	645×	body	256	invalid

Bogosity

preprocess92.0ms (3.6%)

Algorithm

2×	egg-herbie

Rules

994×	`rational_best_oopsla_all_46_json_45_simplify-89`
816×	`rational_best_oopsla_all_46_json_45_simplify-23`
790×	`rational_best_oopsla_all_46_json_45_simplify-74`
782×	`rational_best_oopsla_all_46_json_45_simplify-13`
726×	`rational_best_oopsla_all_46_json_45_simplify-37`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	46
1	27	46
2	74	46
3	283	46
4	1181	46
5	4764	46
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(sqrt.f64 (-.f64 (.f64 b b) (.f64 a a)))

Outputs
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(sqrt.f64 (-.f64 (.f64 b b) (.f64 a a)))

Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify65.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1196×	`rational_best_oopsla_all_46_json_45_simplify-49`
770×	`rational_best_oopsla_all_46_json_45_simplify-23`
760×	`rational_best_oopsla_all_46_json_45_simplify-89`
616×	`rational_best_oopsla_all_46_json_45_simplify-74`
522×	`rational_best_oopsla_all_46_json_45_simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	22	23
2	61	23
3	222	23
4	954	23
5	3828	23

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))

Outputs
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(sqrt.f64 (*.f64 (-.f64 a b) (+.f64 a b)))

eval0.0ms (0%)

Compiler: Compiled 18 to 10 computations (44.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

35.9b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	35.9b	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))

Compiler

Compiled 10 to 6 computations (40% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	3.2b	(-.f64 (.f64 a a) (.f64 b b))
✓	33.3b	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))

Compiler

Compiled 25 to 6 computations (76% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	a	@	0	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
0.0ms	a	@	inf	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
0.0ms	b	@	0	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
0.0ms	b	@	inf	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
0.0ms	b	@	-inf	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))

rewrite85.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1874×	`rational_best_oopsla_all_46_json-2`
1874×	`rational_best_oopsla_all_46_json-1`
1874×	`rational_best_oopsla_all_46_json-4`
1874×	`rational_best_oopsla_all_46_json-3`
942×	`rational_best_oopsla_all_46_json_45_simplify-7`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	42
1	60	42
2	204	42
3	817	42
4	3992	42

Stop Event

1×	node limit

Counts

2 → 151

Calls

Call 1

Inputs
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(-.f64 (.f64 a a) (.f64 b b))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 0 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 0 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 1 (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 1 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 a a) (.f64 b (neg.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 a a) (.f64 b b)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 0 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 0 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (.f64 a a) (.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 a (-.f64 a b)) (.f64 b (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 b (-.f64 a b)) (.f64 a (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 b (neg.f64 b)) (.f64 a a))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 a (+.f64 a b)) (.f64 (+.f64 a b) (neg.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 a b) (neg.f64 b)) (.f64 a (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 a a) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (neg.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 0 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 a a) (.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 a (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (neg.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 0 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 (.f64 a a) (.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 b (neg.f64 (+.f64 a b))) (.f64 (neg.f64 (+.f64 a b)) (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (neg.f64 b))) (.f64 (.f64 a a) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 a (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (-.f64 a b))) (.f64 (.f64 a (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 b (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 a (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 a (-.f64 a b))) (.f64 (.f64 b (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (neg.f64 b)) (.f64 a (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) b)) (.f64 (-.f64 (fabs.f64 a) b) b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 (fabs.f64 a) b) b) (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 a (-.f64 a (fabs.f64 b))) (.f64 (-.f64 a (fabs.f64 b)) (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 a (fabs.f64 b)) (fabs.f64 b)) (.f64 a (-.f64 a (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) (fabs.f64 b))) (.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (fabs.f64 b)) (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (neg.f64 (+.f64 a b)) (neg.f64 a)) (.f64 b (neg.f64 (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 1 (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (.f64 a a) (.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (+.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 1 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 1 (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (+.f64 a (.f64 b (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (-.f64 a b) (/.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))) (/.f64 (-.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a b) (.f64 (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (/.f64 (-.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 a b) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 a b) (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 a b) (.f64 1 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 a b) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 a b) (.f64 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 a b) (-.f64 a b)) (-.f64 (.f64 a a) (.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 b b) (.f64 a a)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 b b) (.f64 a a)) (neg.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b a) (neg.f64 (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b a) (.f64 1 (neg.f64 (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b a) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (neg.f64 (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b a) (.f64 -1 (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b a) (+.f64 (neg.f64 b) (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b a) (neg.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b a) (.f64 (neg.f64 (+.f64 a b)) (/.f64 (-.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 a a) (.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (-.f64 a b) (/.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (.f64 b b) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 b b) (.f64 a a))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fabs.f64 a) b) (+.f64 b (fabs.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fabs.f64 a) b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 b (fabs.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fabs.f64 a) b) (.f64 (+.f64 b (fabs.f64 a)) (/.f64 (-.f64 (fabs.f64 a) b) (-.f64 (fabs.f64 a) b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 b (fabs.f64 a)) (-.f64 (fabs.f64 a) b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a (fabs.f64 b)) (+.f64 a (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a (fabs.f64 b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 a (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a (fabs.f64 b)) (.f64 (+.f64 a (fabs.f64 b)) (/.f64 (-.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (+.f64 (fabs.f64 b) (fabs.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 (fabs.f64 b) (fabs.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (.f64 (+.f64 (fabs.f64 b) (fabs.f64 a)) (/.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (-.f64 (fabs.f64 a) (fabs.f64 b)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (fabs.f64 b) (fabs.f64 a)) (-.f64 (fabs.f64 a) (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fabs.f64 b) a) (.f64 -1 (+.f64 a (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 b (fabs.f64 a)) (.f64 -1 (+.f64 b (fabs.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fabs.f64 b) (fabs.f64 a)) (.f64 -1 (+.f64 (fabs.f64 b) (fabs.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 a a) (.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 a b)) (-.f64 b a))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 a b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (+.f64 a b)) (.f64 (-.f64 b a) (/.f64 (+.f64 a b) (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 a a) (.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (neg.f64 b) a) (-.f64 b a))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (neg.f64 a) (fabs.f64 b)) (+.f64 (fabs.f64 b) (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (fabs.f64 a) (neg.f64 b)) (+.f64 (fabs.f64 a) (neg.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 a (neg.f64 b)) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 b b) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 b a))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (neg.f64 (+.f64 a b))) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (.f64 b b)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 a b) (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (+.f64 a b) (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (-.f64 (fabs.f64 a) (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (fabs.f64 a) b) (-.f64 (fabs.f64 a) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 b b) (.f64 a a)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (.f64 b b) (.f64 a a)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 0 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 1 (*.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (*.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 1 (neg.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (neg.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))) (neg.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 b b)))))))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a a) (*.f64 b (neg.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 a a) (*.f64 b b)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 0 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 0 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 a a) (*.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a (-.f64 a b)) (*.f64 b (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 b (-.f64 a b)) (*.f64 a (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 b (neg.f64 b)) (*.f64 a a))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a (+.f64 a b)) (*.f64 (+.f64 a b) (neg.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 a b) (neg.f64 b)) (*.f64 a (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 a a) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 b (neg.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))) (-.f64 (*.f64 a a) (*.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (*.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (neg.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 (*.f64 a a) (*.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 b (neg.f64 (+.f64 a b))) (*.f64 (neg.f64 (+.f64 a b)) (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 b (neg.f64 b))) (*.f64 (*.f64 a a) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 a (-.f64 a b)) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 b (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 b (-.f64 a b))) (*.f64 (*.f64 a (-.f64 a b)) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 b (-.f64 a b)) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 a (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 a (-.f64 a b))) (*.f64 (*.f64 b (-.f64 a b)) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (neg.f64 b)) (*.f64 a (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) b)) (*.f64 (-.f64 (fabs.f64 a) b) b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (fabs.f64 a) b) b) (*.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 a (-.f64 a (fabs.f64 b))) (*.f64 (-.f64 a (fabs.f64 b)) (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 a (fabs.f64 b)) (fabs.f64 b)) (*.f64 a (-.f64 a (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) (fabs.f64 b))) (*.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (fabs.f64 b)) (*.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (neg.f64 (+.f64 a b)) (neg.f64 a)) (*.f64 b (neg.f64 (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 1 (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 1 (*.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 1 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 1 (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (*.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 1 (-.f64 (*.f64 a a) (*.f64 b b)))) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (*.f64 (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 a a) (*.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (+.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 1 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 1 (*.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (+.f64 a (*.f64 b (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (-.f64 a b) (/.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))) (/.f64 (-.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a b) (*.f64 (*.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (/.f64 (-.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a b) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a b) (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a b) (*.f64 1 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a b) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a b) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a b) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a b) (*.f64 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (-.f64 (*.f64 a a) (*.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 b b) (*.f64 a a)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 b b) (*.f64 a a)) (neg.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 b a) (neg.f64 (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 b a) (*.f64 1 (neg.f64 (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 b a) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (neg.f64 (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 b a) (*.f64 -1 (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 b a) (+.f64 (neg.f64 b) (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 b a) (neg.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 b a) (*.f64 (neg.f64 (+.f64 a b)) (/.f64 (-.f64 a b) (-.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (-.f64 (*.f64 a a) (*.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 1 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (*.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (*.f64 (-.f64 a b) (/.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 b b) (*.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (-.f64 (*.f64 b b) (*.f64 a a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fabs.f64 a) b) (+.f64 b (fabs.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fabs.f64 a) b) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (+.f64 b (fabs.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fabs.f64 a) b) (*.f64 (+.f64 b (fabs.f64 a)) (/.f64 (-.f64 (fabs.f64 a) b) (-.f64 (fabs.f64 a) b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 b (fabs.f64 a)) (-.f64 (fabs.f64 a) b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a (fabs.f64 b)) (+.f64 a (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a (fabs.f64 b)) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (+.f64 a (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a (fabs.f64 b)) (*.f64 (+.f64 a (fabs.f64 b)) (/.f64 (-.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (+.f64 (fabs.f64 b) (fabs.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (+.f64 (fabs.f64 b) (fabs.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (*.f64 (+.f64 (fabs.f64 b) (fabs.f64 a)) (/.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (-.f64 (fabs.f64 a) (fabs.f64 b)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (fabs.f64 b) (fabs.f64 a)) (-.f64 (fabs.f64 a) (fabs.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fabs.f64 b) a) (*.f64 -1 (+.f64 a (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 b (fabs.f64 a)) (*.f64 -1 (+.f64 b (fabs.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fabs.f64 b) (fabs.f64 a)) (*.f64 -1 (+.f64 (fabs.f64 b) (fabs.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 1 (-.f64 (*.f64 a a) (*.f64 b b)))) (-.f64 (*.f64 a a) (*.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a b)) (-.f64 b a))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a b)) (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (-.f64 b a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (+.f64 a b)) (*.f64 (-.f64 b a) (/.f64 (+.f64 a b) (+.f64 a b))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))) (-.f64 (*.f64 a a) (*.f64 b b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (neg.f64 b) a) (-.f64 b a))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (neg.f64 a) (fabs.f64 b)) (+.f64 (fabs.f64 b) (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (fabs.f64 a) (neg.f64 b)) (+.f64 (fabs.f64 a) (neg.f64 b)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 a (neg.f64 b)) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))) (-.f64 (*.f64 b b) (*.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 b a))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (neg.f64 (+.f64 a b))) (-.f64 a b))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (*.f64 b b)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (-.f64 a b) (-.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (+.f64 a b) (+.f64 a b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b))) (/.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (-.f64 (*.f64 a a) (*.f64 b b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (-.f64 (fabs.f64 a) (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (-.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 a a) (*.f64 b b)) (/.f64 (-.f64 (fabs.f64 a) b) (-.f64 (fabs.f64 a) b)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 b b) (*.f64 a a)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 b b) (*.f64 a a)))))))

simplify233.0ms (9.1%)

Algorithm

1×	egg-herbie

Rules

1572×	`rational_best_oopsla_all_46_json_45_simplify-89`
1280×	`rational_best_oopsla_all_46_json_45_simplify-24`
1242×	`rational_best_oopsla_all_46_json_45_simplify-74`
832×	`rational_best_oopsla_all_46_json_45_simplify-13`
750×	`rational_best_oopsla_all_46_json_45_simplify-87`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	366	5157
1	1553	5089
2	7655	5089

Stop Event

1×	node limit

Counts

199 → 208

Calls

Call 1

Inputs
(*.f64 (sqrt.f64 -1) b)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (*.f64 (sqrt.f64 -1) b))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (*.f64 (sqrt.f64 -1) b)))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))) (*.f64 (sqrt.f64 -1) b))))
a
(+.f64 a (*.f64 -1/2 (/.f64 (pow.f64 b 2) a)))
(+.f64 a (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (.f64 -1/2 (/.f64 (pow.f64 b 2) a))))
(+.f64 a (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (*.f64 -1/16 (/.f64 (pow.f64 b 6) (pow.f64 a 5))))))
(*.f64 -1 a)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) a)) (.f64 -1 a))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) a)) (*.f64 -1 a)))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) a)) (+.f64 (.f64 1/16 (/.f64 (pow.f64 b 6) (pow.f64 a 5))) (.f64 -1 a))))
a
(+.f64 a (*.f64 -1/2 (/.f64 (pow.f64 b 2) a)))
(+.f64 a (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (.f64 -1/2 (/.f64 (pow.f64 b 2) a))))
(+.f64 a (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (*.f64 -1/16 (/.f64 (pow.f64 b 6) (pow.f64 a 5))))))
(*.f64 (sqrt.f64 -1) b)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (*.f64 (sqrt.f64 -1) b))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (*.f64 (sqrt.f64 -1) b)))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))) (*.f64 (sqrt.f64 -1) b))))
(.f64 -1 (.f64 (sqrt.f64 -1) b))
(+.f64 (.f64 -1 (.f64 (sqrt.f64 -1) b)) (.f64 -1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))))
(+.f64 (.f64 -1 (.f64 (sqrt.f64 -1) b)) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (.f64 1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3))))))
(+.f64 (.f64 -1 (.f64 (sqrt.f64 -1) b)) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (.f64 -1/16 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))))))
(*.f64 -1 (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(pow.f64 a 2)
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(pow.f64 a 2)
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(pow.f64 a 2)
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(*.f64 -1 (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(*.f64 -1 (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 0)
(+.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 0 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))))
(+.f64 0 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))
(+.f64 (.f64 0 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))
(-.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 0)
(-.f64 0 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))) 1)
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 1 (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))))
(.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))
(.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))
(.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))
(.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))
(.f64 -1 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))
(.f64 -1 (.f64 1 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(.f64 -1 (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(.f64 (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))
(.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))) -1)
(.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))))
(.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))
(.f64 (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))
(/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 1)
(/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))
(/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(neg.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))
(+.f64 (.f64 a a) (.f64 b (neg.f64 b)))
(+.f64 (-.f64 (.f64 a a) (.f64 b b)) 0)
(+.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 0 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))))
(+.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 0 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(+.f64 0 (-.f64 (.f64 a a) (.f64 b b)))
(+.f64 (.f64 a (-.f64 a b)) (.f64 b (-.f64 a b)))
(+.f64 (.f64 b (-.f64 a b)) (.f64 a (-.f64 a b)))
(+.f64 (.f64 b (neg.f64 b)) (.f64 a a))
(+.f64 (.f64 a (+.f64 a b)) (.f64 (+.f64 a b) (neg.f64 b)))
(+.f64 (.f64 (+.f64 a b) (neg.f64 b)) (.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 a a) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (neg.f64 b))))
(+.f64 (.f64 0 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 a a) (*.f64 b b)))
(+.f64 (.f64 a (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (neg.f64 b)))
(+.f64 (.f64 0 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 (.f64 a a) (.f64 b b)))
(+.f64 (.f64 b (neg.f64 (+.f64 a b))) (.f64 (neg.f64 (+.f64 a b)) (neg.f64 a)))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (neg.f64 b))) (.f64 (.f64 a a) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(+.f64 (.f64 (.f64 a (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (-.f64 a b))))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (-.f64 a b))) (.f64 (.f64 a (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(+.f64 (.f64 (.f64 b (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 a (-.f64 a b))))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 a (-.f64 a b))) (.f64 (.f64 b (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(+.f64 (.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (neg.f64 b)) (.f64 a (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(+.f64 (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) b)) (.f64 (-.f64 (fabs.f64 a) b) b))
(+.f64 (.f64 (-.f64 (fabs.f64 a) b) b) (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) b)))
(+.f64 (.f64 a (-.f64 a (fabs.f64 b))) (.f64 (-.f64 a (fabs.f64 b)) (fabs.f64 b)))
(+.f64 (.f64 (-.f64 a (fabs.f64 b)) (fabs.f64 b)) (.f64 a (-.f64 a (fabs.f64 b))))
(+.f64 (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) (fabs.f64 b))) (.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (fabs.f64 b)))
(+.f64 (.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (fabs.f64 b)) (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) (fabs.f64 b))))
(+.f64 (.f64 (neg.f64 (+.f64 a b)) (neg.f64 a)) (.f64 b (neg.f64 (+.f64 a b))))
(.f64 (-.f64 (.f64 a a) (*.f64 b b)) 1)
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b))))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b)))))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 1 (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (*.f64 b b))))))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (*.f64 b b))))))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b))))))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 a a) (.f64 b b)))))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))))
(.f64 1 (-.f64 (.f64 a a) (*.f64 b b)))
(*.f64 (-.f64 a b) (+.f64 a b))
(.f64 (-.f64 a b) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))
(.f64 (-.f64 a b) (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(.f64 (-.f64 a b) (.f64 1 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b)))))
(.f64 (-.f64 a b) (.f64 1 (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 a b)))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b)))))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))
(.f64 (-.f64 a b) (+.f64 a (.f64 b (/.f64 (-.f64 a b) (-.f64 a b)))))
(.f64 (-.f64 a b) (.f64 (-.f64 a b) (/.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (-.f64 a b))))
(.f64 (-.f64 a b) (.f64 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))) (/.f64 (-.f64 a b) (-.f64 a b))))
(.f64 (-.f64 a b) (.f64 (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (/.f64 (-.f64 a b) (-.f64 a b))))
(*.f64 (+.f64 a b) (-.f64 a b))
(.f64 (+.f64 a b) (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))))
(.f64 (+.f64 a b) (.f64 1 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b)))))
(.f64 (+.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 a b)))
(.f64 (+.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b)))))
(.f64 (+.f64 a b) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (+.f64 a b))))
(.f64 (+.f64 a b) (.f64 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))
(.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (-.f64 (.f64 a a) (*.f64 b b)))
(.f64 (-.f64 (.f64 b b) (*.f64 a a)) -1)
(.f64 (-.f64 (.f64 b b) (.f64 a a)) (neg.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))))
(*.f64 (-.f64 b a) (neg.f64 (+.f64 a b)))
(.f64 (-.f64 b a) (.f64 1 (neg.f64 (+.f64 a b))))
(.f64 (-.f64 b a) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (neg.f64 (+.f64 a b))))
(.f64 (-.f64 b a) (.f64 -1 (+.f64 a b)))
(*.f64 (-.f64 b a) (+.f64 (neg.f64 b) (neg.f64 a)))
(.f64 (-.f64 b a) (neg.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(.f64 (-.f64 b a) (.f64 (neg.f64 (+.f64 a b)) (/.f64 (-.f64 a b) (-.f64 a b))))
(.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 a a) (*.f64 b b)))
(.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))))
(.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))))
(.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (-.f64 a b))
(.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b))) (-.f64 a b)))
(.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (-.f64 a b) (/.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))
(.f64 -1 (-.f64 (.f64 b b) (*.f64 a a)))
(.f64 -1 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 b b) (.f64 a a))))
(*.f64 (-.f64 (fabs.f64 a) b) (+.f64 b (fabs.f64 a)))
(.f64 (-.f64 (fabs.f64 a) b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 b (fabs.f64 a))))
(.f64 (-.f64 (fabs.f64 a) b) (.f64 (+.f64 b (fabs.f64 a)) (/.f64 (-.f64 (fabs.f64 a) b) (-.f64 (fabs.f64 a) b))))
(*.f64 (+.f64 b (fabs.f64 a)) (-.f64 (fabs.f64 a) b))
(*.f64 (-.f64 a (fabs.f64 b)) (+.f64 a (fabs.f64 b)))
(.f64 (-.f64 a (fabs.f64 b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 a (fabs.f64 b))))
(.f64 (-.f64 a (fabs.f64 b)) (.f64 (+.f64 a (fabs.f64 b)) (/.f64 (-.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b)))))
(*.f64 (+.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b)))
(*.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (+.f64 (fabs.f64 b) (fabs.f64 a)))
(.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 (fabs.f64 b) (fabs.f64 a))))
(.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (.f64 (+.f64 (fabs.f64 b) (fabs.f64 a)) (/.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (-.f64 (fabs.f64 a) (fabs.f64 b)))))
(*.f64 (+.f64 (fabs.f64 b) (fabs.f64 a)) (-.f64 (fabs.f64 a) (fabs.f64 b)))
(.f64 (-.f64 (fabs.f64 b) a) (.f64 -1 (+.f64 a (fabs.f64 b))))
(.f64 (-.f64 b (fabs.f64 a)) (.f64 -1 (+.f64 b (fabs.f64 a))))
(.f64 (-.f64 (fabs.f64 b) (fabs.f64 a)) (.f64 -1 (+.f64 (fabs.f64 b) (fabs.f64 a))))
(.f64 (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))) (-.f64 a b))
(*.f64 (neg.f64 (+.f64 a b)) (-.f64 b a))
(.f64 (neg.f64 (+.f64 a b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 b a)))
(.f64 (neg.f64 (+.f64 a b)) (.f64 (-.f64 b a) (/.f64 (+.f64 a b) (+.f64 a b))))
(.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 a b))
(.f64 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 a b))
(*.f64 (-.f64 (neg.f64 b) a) (-.f64 b a))
(*.f64 (-.f64 (neg.f64 a) (fabs.f64 b)) (+.f64 (fabs.f64 b) (neg.f64 a)))
(*.f64 (-.f64 (fabs.f64 a) (neg.f64 b)) (+.f64 (fabs.f64 a) (neg.f64 b)))
(*.f64 (-.f64 a (neg.f64 b)) (-.f64 a b))
(.f64 (neg.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 b b) (*.f64 a a)))
(.f64 (neg.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 b a))
(*.f64 (neg.f64 (neg.f64 (+.f64 a b))) (-.f64 a b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) 1)
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 a b) (-.f64 a b)))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (+.f64 a b) (+.f64 a b)))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (-.f64 (fabs.f64 a) (fabs.f64 b))))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b))))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (fabs.f64 a) b) (-.f64 (fabs.f64 a) b)))
(/.f64 (-.f64 (.f64 b b) (.f64 a a)) -1)
(neg.f64 (-.f64 (.f64 b b) (.f64 a a)))

Outputs
(*.f64 (sqrt.f64 -1) b)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (*.f64 (sqrt.f64 -1) b))
(+.f64 (.f64 (sqrt.f64 -1) b) (.f64 1/2 (/.f64 (pow.f64 a 2) (*.f64 (sqrt.f64 -1) b))))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (*.f64 (sqrt.f64 -1) b)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (*.f64 (sqrt.f64 -1) b)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 (sqrt.f64 -1) b) (.f64 -1/8 (/.f64 (pow.f64 a 4) (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3))))))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))) (*.f64 (sqrt.f64 -1) b))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 (sqrt.f64 -1) b) (.f64 1/16 (/.f64 (pow.f64 a 6) (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))) (+.f64 (.f64 (sqrt.f64 -1) b) (.f64 -1/8 (/.f64 (pow.f64 a 4) (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))))))
a
(+.f64 a (*.f64 -1/2 (/.f64 (pow.f64 b 2) a)))
(+.f64 a (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (.f64 -1/2 (/.f64 (pow.f64 b 2) a))))
(+.f64 a (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3)))))
(+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (+.f64 a (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3)))))
(+.f64 a (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (*.f64 -1/16 (/.f64 (pow.f64 b 6) (pow.f64 a 5))))))
(+.f64 a (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (*.f64 -1/16 (/.f64 (pow.f64 b 6) (pow.f64 a 5))))))
(*.f64 -1 a)
(neg.f64 a)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) a)) (.f64 -1 a))
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 b 2) a)) (neg.f64 a))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) a)) (*.f64 -1 a)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) a)) (+.f64 (.f64 (/.f64 (pow.f64 b 4) (pow.f64 a 3)) 1/8) (neg.f64 a)))
(+.f64 (.f64 1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) a)) (+.f64 (.f64 1/16 (/.f64 (pow.f64 b 6) (pow.f64 a 5))) (.f64 -1 a))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 b 2) a)) (+.f64 (.f64 (/.f64 (pow.f64 b 4) (pow.f64 a 3)) 1/8) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 b 6) (pow.f64 a 5))) (neg.f64 a))))
a
(+.f64 a (*.f64 -1/2 (/.f64 (pow.f64 b 2) a)))
(+.f64 a (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (.f64 -1/2 (/.f64 (pow.f64 b 2) a))))
(+.f64 a (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3)))))
(+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (+.f64 a (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3)))))
(+.f64 a (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (*.f64 -1/16 (/.f64 (pow.f64 b 6) (pow.f64 a 5))))))
(+.f64 a (+.f64 (.f64 -1/2 (/.f64 (pow.f64 b 2) a)) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 b 4) (pow.f64 a 3))) (*.f64 -1/16 (/.f64 (pow.f64 b 6) (pow.f64 a 5))))))
(*.f64 (sqrt.f64 -1) b)
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (*.f64 (sqrt.f64 -1) b))
(+.f64 (.f64 (sqrt.f64 -1) b) (.f64 1/2 (/.f64 (pow.f64 a 2) (*.f64 (sqrt.f64 -1) b))))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (*.f64 (sqrt.f64 -1) b)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (*.f64 (sqrt.f64 -1) b)))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 (sqrt.f64 -1) b) (.f64 -1/8 (/.f64 (pow.f64 a 4) (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3))))))
(+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))) (*.f64 (sqrt.f64 -1) b))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 -1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (+.f64 (.f64 (sqrt.f64 -1) b) (.f64 1/16 (/.f64 (pow.f64 a 6) (*.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))))))
(+.f64 (.f64 1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 1/16 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))) (+.f64 (.f64 (sqrt.f64 -1) b) (.f64 -1/8 (/.f64 (pow.f64 a 4) (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))))))
(.f64 -1 (.f64 (sqrt.f64 -1) b))
(*.f64 (sqrt.f64 -1) (neg.f64 b))
(+.f64 (.f64 -1 (.f64 (sqrt.f64 -1) b)) (.f64 -1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))))
(+.f64 (.f64 -1 (.f64 (sqrt.f64 -1) b)) (.f64 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b)) -1/2))
(+.f64 (.f64 (sqrt.f64 -1) (neg.f64 b)) (.f64 (/.f64 (pow.f64 a 2) (*.f64 (sqrt.f64 -1) b)) -1/2))
(+.f64 (.f64 -1 (.f64 (sqrt.f64 -1) b)) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (.f64 1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3))))))
(+.f64 (.f64 -1 (.f64 (sqrt.f64 -1) b)) (+.f64 (.f64 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b)) -1/2) (.f64 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3))) 1/8)))
(+.f64 (.f64 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b)) -1/2) (+.f64 (.f64 (sqrt.f64 -1) (neg.f64 b)) (.f64 (/.f64 (pow.f64 a 4) (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3))) 1/8)))
(+.f64 (.f64 -1 (.f64 (sqrt.f64 -1) b)) (+.f64 (.f64 -1/2 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b))) (+.f64 (.f64 1/8 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3)))) (.f64 -1/16 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5)))))))
(+.f64 (.f64 -1 (.f64 (sqrt.f64 -1) b)) (+.f64 (.f64 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b)) -1/2) (+.f64 (.f64 (/.f64 (pow.f64 a 4) (.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3))) 1/8) (.f64 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5))) -1/16))))
(+.f64 (.f64 (sqrt.f64 -1) (neg.f64 b)) (+.f64 (.f64 (/.f64 (pow.f64 a 6) (.f64 (pow.f64 (sqrt.f64 -1) 5) (pow.f64 b 5))) -1/16) (+.f64 (.f64 (/.f64 (pow.f64 a 2) (.f64 (sqrt.f64 -1) b)) -1/2) (.f64 (/.f64 (pow.f64 a 4) (*.f64 (pow.f64 (sqrt.f64 -1) 3) (pow.f64 b 3))) 1/8))))
(*.f64 -1 (pow.f64 b 2))
(neg.f64 (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(pow.f64 a 2)
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(pow.f64 a 2)
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(pow.f64 a 2)
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(*.f64 -1 (pow.f64 b 2))
(neg.f64 (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(*.f64 -1 (pow.f64 b 2))
(neg.f64 (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (*.f64 -1 (pow.f64 b 2)) (pow.f64 a 2))
(+.f64 (pow.f64 a 2) (*.f64 -1 (pow.f64 b 2)))
(+.f64 (pow.f64 a 2) (neg.f64 (pow.f64 b 2)))
(+.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 0)
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(+.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 0 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(+.f64 0 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(+.f64 (.f64 0 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(-.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 0)
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(-.f64 0 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))) 1)
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 1 (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 -1 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 -1 (.f64 1 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 -1 (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 1 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))) -1)
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(.f64 (neg.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))) (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (*.f64 b b)))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) 1)
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))) (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b))))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(neg.f64 (neg.f64 (sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))))
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
(+.f64 (.f64 a a) (.f64 b (neg.f64 b)))
(+.f64 (-.f64 (.f64 a a) (.f64 b b)) 0)
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 0 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 0 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 0 (-.f64 (.f64 a a) (.f64 b b)))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 a (-.f64 a b)) (.f64 b (-.f64 a b)))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 b (-.f64 a b)) (.f64 a (-.f64 a b)))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 b (neg.f64 b)) (.f64 a a))
(+.f64 (.f64 a a) (.f64 b (neg.f64 b)))
(+.f64 (.f64 a (+.f64 a b)) (.f64 (+.f64 a b) (neg.f64 b)))
(*.f64 (+.f64 b a) (+.f64 a (neg.f64 b)))
(+.f64 (.f64 (+.f64 a b) (neg.f64 b)) (.f64 a (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 a (neg.f64 b)))
(+.f64 (.f64 (.f64 a a) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (neg.f64 b))))
(.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 (.f64 a a) (*.f64 b (neg.f64 b))))
(.f64 (+.f64 (.f64 a a) (.f64 b (neg.f64 b))) (/.f64 (.f64 (+.f64 b a) (-.f64 b a)) (*.f64 (+.f64 b a) (-.f64 b a))))
(+.f64 (.f64 0 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 a a) (*.f64 b b)))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 a (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (neg.f64 b)))
(.f64 (.f64 (+.f64 b a) (/.f64 (-.f64 a b) (-.f64 a b))) (+.f64 a (neg.f64 b)))
(.f64 (.f64 (+.f64 b a) (/.f64 (-.f64 b a) (-.f64 b a))) (+.f64 a (neg.f64 b)))
(+.f64 (.f64 0 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 (.f64 a a) (.f64 b b)))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 b (neg.f64 (+.f64 a b))) (.f64 (neg.f64 (+.f64 a b)) (neg.f64 a)))
(*.f64 (neg.f64 (+.f64 b a)) (+.f64 b (neg.f64 a)))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (neg.f64 b))) (.f64 (.f64 a a) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 (.f64 a a) (*.f64 b (neg.f64 b))))
(.f64 (+.f64 (.f64 a a) (.f64 b (neg.f64 b))) (/.f64 (.f64 (+.f64 b a) (-.f64 b a)) (*.f64 (+.f64 b a) (-.f64 b a))))
(+.f64 (.f64 (.f64 a (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (-.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 b (-.f64 a b))) (.f64 (.f64 a (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 (.f64 b (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 a (-.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 a (-.f64 a b))) (.f64 (.f64 b (-.f64 a b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (neg.f64 b)) (.f64 a (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(.f64 (.f64 (+.f64 b a) (/.f64 (-.f64 a b) (-.f64 a b))) (+.f64 a (neg.f64 b)))
(.f64 (.f64 (+.f64 b a) (/.f64 (-.f64 b a) (-.f64 b a))) (+.f64 a (neg.f64 b)))
(+.f64 (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) b)) (.f64 (-.f64 (fabs.f64 a) b) b))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 (-.f64 (fabs.f64 a) b) b) (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) b)))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 a (-.f64 a (fabs.f64 b))) (.f64 (-.f64 a (fabs.f64 b)) (fabs.f64 b)))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 (-.f64 a (fabs.f64 b)) (fabs.f64 b)) (.f64 a (-.f64 a (fabs.f64 b))))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) (fabs.f64 b))) (.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (fabs.f64 b)))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (fabs.f64 b)) (.f64 (fabs.f64 a) (-.f64 (fabs.f64 a) (fabs.f64 b))))
(-.f64 (.f64 a a) (.f64 b b))
(+.f64 (.f64 (neg.f64 (+.f64 a b)) (neg.f64 a)) (.f64 b (neg.f64 (+.f64 a b))))
(*.f64 (neg.f64 (+.f64 b a)) (+.f64 b (neg.f64 a)))
(.f64 (-.f64 (.f64 a a) (*.f64 b b)) 1)
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 1 (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (*.f64 b b))))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (*.f64 b b))))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b))))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 a a) (.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 a a) (.f64 b b)) (.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 1 (-.f64 (.f64 a a) (*.f64 b b)))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (-.f64 a b) (+.f64 a b))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 1 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 1 (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 a b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (+.f64 a (.f64 b (/.f64 (-.f64 a b) (-.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (-.f64 a b) (/.f64 (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (-.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))) (/.f64 (-.f64 a b) (-.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a b) (.f64 (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (/.f64 (-.f64 a b) (-.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (+.f64 a b) (-.f64 a b))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (+.f64 a b) (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (+.f64 a b) (.f64 1 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (+.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 a b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (+.f64 a b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (+.f64 a b) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (+.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (+.f64 a b) (.f64 (*.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (-.f64 (.f64 a a) (*.f64 b b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 b b) (*.f64 a a)) -1)
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (.f64 b b) (.f64 a a)) (neg.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (-.f64 b a) (neg.f64 (+.f64 a b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 b a) (.f64 1 (neg.f64 (+.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 b a) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (neg.f64 (+.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 b a) (.f64 -1 (+.f64 a b)))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (-.f64 b a) (+.f64 (neg.f64 b) (neg.f64 a)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 b a) (neg.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 b a) (.f64 (neg.f64 (+.f64 a b)) (/.f64 (-.f64 a b) (-.f64 a b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 a a) (*.f64 b b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (-.f64 a b))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (*.f64 b b))) (-.f64 a b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (-.f64 a b) (/.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 -1 (-.f64 (.f64 b b) (*.f64 a a)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 -1 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (-.f64 (fabs.f64 a) b) (+.f64 b (fabs.f64 a)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (fabs.f64 a) b) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 b (fabs.f64 a))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (fabs.f64 a) b) (.f64 (+.f64 b (fabs.f64 a)) (/.f64 (-.f64 (fabs.f64 a) b) (-.f64 (fabs.f64 a) b))))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (+.f64 b (fabs.f64 a)) (-.f64 (fabs.f64 a) b))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (-.f64 a (fabs.f64 b)) (+.f64 a (fabs.f64 b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a (fabs.f64 b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 a (fabs.f64 b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 a (fabs.f64 b)) (.f64 (+.f64 a (fabs.f64 b)) (/.f64 (-.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b)))))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (+.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b)))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (+.f64 (fabs.f64 b) (fabs.f64 a)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (+.f64 (fabs.f64 b) (fabs.f64 a))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (.f64 (+.f64 (fabs.f64 b) (fabs.f64 a)) (/.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (-.f64 (fabs.f64 a) (fabs.f64 b)))))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (+.f64 (fabs.f64 b) (fabs.f64 a)) (-.f64 (fabs.f64 a) (fabs.f64 b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (fabs.f64 b) a) (.f64 -1 (+.f64 a (fabs.f64 b))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 b (fabs.f64 a)) (.f64 -1 (+.f64 b (fabs.f64 a))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (-.f64 (fabs.f64 b) (fabs.f64 a)) (.f64 -1 (+.f64 (fabs.f64 b) (fabs.f64 a))))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 1 (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 a a) (.f64 b b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (-.f64 a b))) (-.f64 a b))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (neg.f64 (+.f64 a b)) (-.f64 b a))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (neg.f64 (+.f64 a b)) (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (-.f64 b a)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (neg.f64 (+.f64 a b)) (.f64 (-.f64 b a) (/.f64 (+.f64 a b) (+.f64 a b))))
(.f64 (neg.f64 (+.f64 b a)) (.f64 (/.f64 (+.f64 b a) (+.f64 b a)) (-.f64 b a)))
(.f64 (.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 a a) (.f64 b b)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (.f64 (/.f64 (-.f64 a b) (-.f64 a b)) (*.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 a b))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (.f64 (-.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 a b))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (-.f64 (neg.f64 b) a) (-.f64 b a))
(*.f64 (-.f64 b a) (-.f64 (neg.f64 b) a))
(*.f64 (-.f64 (neg.f64 a) (fabs.f64 b)) (+.f64 (fabs.f64 b) (neg.f64 a)))
(*.f64 (-.f64 (neg.f64 a) (fabs.f64 b)) (+.f64 (neg.f64 a) (fabs.f64 b)))
(-.f64 (.f64 (neg.f64 a) (neg.f64 a)) (.f64 b b))
(*.f64 (-.f64 (fabs.f64 a) (neg.f64 b)) (+.f64 (fabs.f64 a) (neg.f64 b)))
(-.f64 (.f64 (fabs.f64 a) (fabs.f64 a)) (.f64 (neg.f64 b) (neg.f64 b)))
(-.f64 (.f64 a a) (.f64 b (-.f64 b 0)))
(*.f64 (-.f64 a (neg.f64 b)) (-.f64 a b))
(*.f64 (-.f64 a b) (-.f64 a (neg.f64 b)))
(*.f64 (-.f64 a b) (-.f64 b (neg.f64 a)))
(.f64 (neg.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))) (-.f64 (.f64 b b) (*.f64 a a)))
(-.f64 (.f64 a a) (.f64 b b))
(.f64 (neg.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))) (-.f64 b a))
(-.f64 (.f64 a a) (.f64 b b))
(*.f64 (neg.f64 (neg.f64 (+.f64 a b))) (-.f64 a b))
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) 1)
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 a b) (-.f64 a b)))
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))))
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (+.f64 a b) (+.f64 a b)))
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b))) (/.f64 (-.f64 (.f64 a a) (.f64 b b)) (-.f64 (.f64 a a) (.f64 b b)))))
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b))) (.f64 (+.f64 a b) (/.f64 (-.f64 a b) (-.f64 a b)))))
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (fabs.f64 a) (fabs.f64 b)) (-.f64 (fabs.f64 a) (fabs.f64 b))))
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 a (fabs.f64 b)) (-.f64 a (fabs.f64 b))))
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 a a) (.f64 b b)) (/.f64 (-.f64 (fabs.f64 a) b) (-.f64 (fabs.f64 a) b)))
(-.f64 (.f64 a a) (.f64 b b))
(/.f64 (-.f64 (.f64 b b) (.f64 a a)) -1)
(-.f64 (.f64 a a) (.f64 b b))
(neg.f64 (-.f64 (.f64 b b) (.f64 a a)))
(-.f64 (.f64 a a) (.f64 b b))

eval95.0ms (3.7%)

Compiler: Compiled 4574 to 1203 computations (73.7% saved)

prune74.0ms (2.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	206	2	208
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	206	3	209

Error

0.5b

Counts

209 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	35.9b	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
▶	35.0b	(neg.f64 a)
	28.9b	a

Compiler

Compiled 17 to 11 computations (35.3% saved)

localize2.0ms (0.1%)

Compiler: Compiled 5 to 3 computations (40% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

0.5b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	35.9b	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
✓	35.0b	(neg.f64 a)
	28.9b	a

Compiler

Compiled 17 to 11 computations (35.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

0.5b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	35.9b	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
✓	35.0b	(neg.f64 a)
	28.9b	a

Compiler

Compiled 17 to 11 computations (35.3% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Error

0.5b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	35.9b	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
✓	35.0b	(neg.f64 a)
	28.9b	a

Compiler

Compiled 17 to 11 computations (35.3% saved)

regimes189.0ms (7.4%)

Accuracy

Total -63.0b remaining (-12420.2%)

Threshold costs -63.0b (-12420.2%)

Counts

3 → 2

Calls

Call 1

Inputs
a
(neg.f64 a)
(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))

Outputs
(neg.f64 a)
a

Calls

6 calls:

73.0ms	(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))
65.0ms	(*.f64 b b)
33.0ms	b
6.0ms	a
5.0ms	(-.f64 (.f64 a a) (.f64 b b))

Results

Error	Segments	Branch
0.5b	2	`a`
18.5b	11	`b`
15.9b	2	`(sqrt.f64 (-.f64 (.f64 a a) (.f64 b b)))`
15.9b	2	`(-.f64 (.f64 a a) (.f64 b b))`
15.9b	2	`(*.f64 a a)`
23.9b	4	`(*.f64 b b)`

Compiler

Compiled 48 to 28 computations (41.7% saved)

bsearch8.0ms (0.3%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
8.0ms	-3.888707490559086e-241	1.767568087211069e-229

Results

8.0ms

101×

body

256

invalid

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	16

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(if (<=.f64 a -5838907385534247/15015033657609400459942315391018513722623519187099007073355798781525263125238463415894820397160662761697108038369410925238365381332604486523522921813279810320079453845181805154673256699778290824639959535835805252308660678089369234238529227774479195332149248) (neg.f64 a) a)

Outputs

(if (<=.f64 a -5838907385534247/15015033657609400459942315391018513722623519187099007073355798781525263125238463415894820397160662761697108038369410925238365381332604486523522921813279810320079453845181805154673256699778290824639959535835805252308660678089369234238529227774479195332149248) (neg.f64 a) a)

Compiler

Compiled 12 to 8 computations (33.3% saved)

soundness210.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

1572×	`rational_best_oopsla_all_46_json_45_simplify-89`
1280×	`rational_best_oopsla_all_46_json_45_simplify-24`
1242×	`rational_best_oopsla_all_46_json_45_simplify-74`
832×	`rational_best_oopsla_all_46_json_45_simplify-13`
750×	`rational_best_oopsla_all_46_json_45_simplify-87`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	366	5157
1	1553	5089
2	7655	5089

Stop Event

1×	node limit

Compiler

Compiled 10 to 7 computations (30% saved)

end14.0ms (0.6%)

Compiler: Compiled 10 to 6 computations (40% saved)

Details

analyze149.0ms (5.8%)

sample1.3s (51.6%)

preprocess92.0ms (3.6%)

simplify65.0ms (2.5%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.3%)

series3.0ms (0.1%)

rewrite85.0ms (3.3%)

simplify233.0ms (9.1%)

eval95.0ms (3.7%)

prune74.0ms (2.9%)

localize2.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes189.0ms (7.4%)

bsearch8.0ms (0.3%)

simplify2.0ms (0.1%)

soundness210.0ms (8.2%)

end14.0ms (0.6%)

Profiling