Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	0%	100%	0%	0%	0%	0
100%	0%	0%	100%	0%	0%	0%	1

Compiler

Compiled 24 to 15 computations (37.5% saved)

sample1.3s (67.3%)

Results

1.3s

8256×

body

256

valid

Bogosity

preprocess61.0ms (3.1%)

Algorithm

2×	egg-herbie

Rules

1546×	`rational_best_oopsla_all_46_json_45_simplify-72`
1372×	`rational_best_oopsla_all_46_json_45_simplify-23`
1280×	`rational_best_oopsla_all_46_json_45_simplify-49`
830×	`rational_best_oopsla_all_46_json_45_simplify-89`
800×	`rational_best_oopsla_all_46_json_45_simplify-37`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	38
1	23	38
2	66	38
3	218	38
4	919	38
5	5068	38
0	2	2
1	2	2

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(*.f64 (+.f64 a b) (+.f64 a b))
(*.f64 (+.f64 b a) (+.f64 b a))

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

Symmetry

(sort a b)

Compiler

Compiled 11 to 6 computations (45.5% saved)

simplify56.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1328×	`rational_best_oopsla_all_46_json_45_simplify-35`
1220×	`rational_best_oopsla_all_46_json_45_simplify-80`
1150×	`rational_best_oopsla_all_46_json_45_simplify-72`
1012×	`rational_best_oopsla_all_46_json_45_simplify-49`
946×	`rational_best_oopsla_all_46_json_45_simplify-23`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	16	19
2	47	19
3	172	19
4	755	19
5	3907	19

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 (+.f64 a b) (+.f64 a b))

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

eval0.0ms (0%)

Compiler: Compiled 9 to 4 computations (55.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 (+.f64 a b) (+.f64 a b))

Compiler

Compiled 9 to 4 computations (55.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 a b) (+.f64 a b))

Compiler

Compiled 14 to 4 computations (71.4% saved)

series1.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite72.0ms (3.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1314×	`rational_best_oopsla_all_46_json-2`
1314×	`rational_best_oopsla_all_46_json-1`
1314×	`rational_best_oopsla_all_46_json-4`
1314×	`rational_best_oopsla_all_46_json-3`
940×	`rational_best_oopsla_all_46_json_45_simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	19
1	42	19
2	152	19
3	603	19
4	2850	19

Stop Event

1×	node limit

Counts

1 → 129

Calls

Call 1

Inputs
(*.f64 (+.f64 a b) (+.f64 a b))

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

Outputs

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

simplify79.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1132×	`rational_best_oopsla_all_46_json_45_simplify-82`
1104×	`rational_best_oopsla_all_46_json_45_simplify-72`
912×	`rational_best_oopsla_all_46_json_45_simplify-49`
740×	`rational_best_oopsla_all_46_json_45_simplify-80`
734×	`rational_best_oopsla_all_46_json_45_simplify-13`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	291	3119
1	1018	3119
2	3534	3095

Stop Event

1×	node limit

Counts

153 → 144

Calls

Call 1

Inputs
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (*.f64 (+.f64 a b) (+.f64 a b)) 0)
(+.f64 (.f64 (+.f64 a b) (+.f64 a b)) (.f64 0 (*.f64 (+.f64 a b) (+.f64 a b))))
(+.f64 0 (*.f64 (+.f64 a b) (+.f64 a b)))
(+.f64 (.f64 a (+.f64 a b)) (.f64 b (+.f64 a b)))
(+.f64 (.f64 a (+.f64 a b)) (.f64 (*.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))))
(+.f64 (.f64 a (+.f64 a b)) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (+.f64 a b))))
(+.f64 (.f64 b (+.f64 a b)) (.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 a b)) (.f64 (*.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))))
(+.f64 (.f64 b (+.f64 a b)) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 a (+.f64 a b))))
(+.f64 (.f64 a a) (.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 a a) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (+.f64 b (+.f64 a a)))))
(+.f64 (.f64 a a) (+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a b)))
(+.f64 (.f64 a b) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b)))
(+.f64 (.f64 a b) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b))))
(+.f64 (.f64 a b) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b b)))
(+.f64 (.f64 a b) (+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a a)))
(+.f64 (.f64 b b) (+.f64 (.f64 a (+.f64 a b)) (*.f64 a b)))
(+.f64 (.f64 b b) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 a (+.f64 a b)) (*.f64 a b))))
(+.f64 (.f64 b b) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 a a)))
(+.f64 (+.f64 (.f64 a (+.f64 a b)) (.f64 b b)) (*.f64 a b))
(+.f64 (+.f64 (.f64 a (+.f64 a b)) (.f64 b b)) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (*.f64 a b)))
(+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (+.f64 a b)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) a) (+.f64 (.f64 b (+.f64 a b)) (.f64 a (*.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) a) (+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) a) (+.f64 (.f64 b (+.f64 a b)) (.f64 a (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) a) (+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 a (+.f64 a b)) (.f64 (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) b)))
(+.f64 (.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) b)))
(+.f64 (.f64 0 (.f64 (+.f64 a b) (/.f64 a a))) (*.f64 (+.f64 a b) (+.f64 a b)))
(+.f64 (.f64 0 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (*.f64 (+.f64 a b) (+.f64 a b)))
(+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 b (+.f64 a b)))
(+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (*.f64 b (+.f64 a b))))
(+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (*.f64 a (+.f64 a b))))
(+.f64 (.f64 (.f64 a a) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 b (+.f64 b (+.f64 a a)))))
(+.f64 (.f64 (.f64 a a) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 0 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 b (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 (.f64 a a) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 b (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 (.f64 a a) (/.f64 (+.f64 a b) (+.f64 a b))))
(+.f64 (.f64 (.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b))))
(+.f64 (.f64 (.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 0 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b)))))
(+.f64 (.f64 (.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b)))))
(+.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (+.f64 (.f64 a (+.f64 a b)) (.f64 b b))) (.f64 (*.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) b) (+.f64 (.f64 a (+.f64 a b)) (.f64 b (*.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) b) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) b) (+.f64 (.f64 a (+.f64 a b)) (.f64 b (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) b) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 b (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 a (+.f64 a b)) (.f64 (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) a)))
(+.f64 (.f64 b (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) a)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 a (+.f64 a b)) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 a (+.f64 a b)) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(+.f64 (+.f64 (.f64 a (+.f64 a b)) (.f64 a b)) (*.f64 b b))
(-.f64 (*.f64 (+.f64 a b) (+.f64 a b)) 0)
(-.f64 0 (*.f64 (+.f64 a b) (neg.f64 (+.f64 a b))))
(-.f64 (.f64 a (+.f64 a b)) (.f64 b (neg.f64 (+.f64 a b))))
(-.f64 (.f64 b (+.f64 a b)) (.f64 (+.f64 a b) (neg.f64 a)))
(/.f64 (*.f64 (+.f64 a b) (+.f64 a b)) 1)
(/.f64 (*.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))
(/.f64 (*.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))))
(neg.f64 (*.f64 (+.f64 a b) (neg.f64 (+.f64 a b))))
(fabs.f64 (*.f64 (+.f64 a b) (+.f64 a b)))
(fabs.f64 (*.f64 (+.f64 a b) (neg.f64 (+.f64 a b))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (+.f64 a b)) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (*.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))))
(fabs.f64 (*.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)))
(fabs.f64 (*.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))))
(fabs.f64 (*.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (+.f64 a b)) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (*.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (*.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (*.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (*.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (neg.f64 (+.f64 a b))) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (neg.f64 (+.f64 a b))) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(fabs.f64 (*.f64 (+.f64 a b) (neg.f64 (fabs.f64 (+.f64 a b)))))
(fabs.f64 (*.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (fabs.f64 (+.f64 a b)))))
(fabs.f64 (*.f64 (neg.f64 (+.f64 a b)) (neg.f64 (fabs.f64 (+.f64 a b)))))
(fabs.f64 (*.f64 (neg.f64 (fabs.f64 (+.f64 a b))) (+.f64 a b)))
(fabs.f64 (*.f64 (neg.f64 (fabs.f64 (+.f64 a b))) (fabs.f64 (+.f64 a b))))
(fabs.f64 (*.f64 (neg.f64 (fabs.f64 (+.f64 a b))) (neg.f64 (+.f64 a b))))
(fabs.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(fabs.f64 (.f64 (neg.f64 (+.f64 a b)) (+.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(fabs.f64 (.f64 (neg.f64 (fabs.f64 (+.f64 a b))) (+.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(fabs.f64 (.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(fabs.f64 (.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (+.f64 a b))))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (neg.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(fabs.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (+.f64 a b) (neg.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(fabs.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(fabs.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))

Outputs
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (pow.f64 b 2) (.f64 2 (.f64 b a)))
(+.f64 (pow.f64 b 2) (.f64 b (.f64 2 a)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 b a)) (pow.f64 a 2))
(+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 b a)) (pow.f64 a 2))
(+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 b a)) (pow.f64 a 2))
(+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (pow.f64 b 2) (.f64 2 (.f64 b a)))
(+.f64 (pow.f64 b 2) (.f64 b (.f64 2 a)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (pow.f64 b 2) (.f64 2 (.f64 b a)))
(+.f64 (pow.f64 b 2) (.f64 b (.f64 2 a)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 b a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 b (.f64 2 a)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (pow.f64 b 2) (+.f64 (.f64 b (.f64 2 a)) (pow.f64 a 2)))
(+.f64 (*.f64 (+.f64 a b) (+.f64 a b)) 0)
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (+.f64 a b) (+.f64 a b)) (.f64 0 (*.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 0 (*.f64 (+.f64 a b) (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a (+.f64 a b)) (.f64 b (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a (+.f64 a b)) (.f64 (*.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a (+.f64 a b)) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b (+.f64 a b)) (.f64 a (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b (+.f64 a b)) (.f64 (*.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b (+.f64 a b)) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 a (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a a) (.f64 b (+.f64 b (+.f64 a a))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a a) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (+.f64 b (+.f64 a a)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a a) (+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a b) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a b) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a b) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a b) (+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a a)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b b) (+.f64 (.f64 a (+.f64 a b)) (*.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b b) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 a (+.f64 a b)) (*.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b b) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 a a)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (+.f64 (.f64 a (+.f64 a b)) (.f64 b b)) (*.f64 a b))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (+.f64 (.f64 a (+.f64 a b)) (.f64 b b)) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (*.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) a) (+.f64 (.f64 b (+.f64 a b)) (.f64 a (*.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) a) (+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) a) (+.f64 (.f64 b (+.f64 a b)) (.f64 a (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) a) (+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 a (+.f64 a b)) (.f64 (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 0 (.f64 (+.f64 a b) (/.f64 a a))) (*.f64 (+.f64 a b) (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 0 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (*.f64 (+.f64 a b) (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 b (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (*.f64 b (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 a (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 b (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (*.f64 a (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a a) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 b (+.f64 b (+.f64 a a)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a a) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 0 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 b (+.f64 b (+.f64 a a))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a a) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 b (+.f64 b (+.f64 a a))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 (.f64 a a) (/.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 0 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))) (+.f64 (.f64 0 (.f64 (+.f64 a b) (+.f64 a b))) (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (+.f64 (.f64 a (+.f64 a b)) (*.f64 b b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (+.f64 (.f64 a (+.f64 a b)) (.f64 b b))) (.f64 (*.f64 a b) (/.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) b) (+.f64 (.f64 a (+.f64 a b)) (.f64 b (*.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) b) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) b) (+.f64 (.f64 a (+.f64 a b)) (.f64 b (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) b) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 a (+.f64 a b)) (.f64 (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) a)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 b (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) a)))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 a (+.f64 a b)) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 a (+.f64 a b)) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (.f64 (.f64 a (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b)))) (+.f64 (.f64 (.f64 a (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(+.f64 (+.f64 (.f64 a (+.f64 a b)) (.f64 a b)) (*.f64 b b))
(*.f64 (+.f64 b a) (+.f64 b a))
(-.f64 (*.f64 (+.f64 a b) (+.f64 a b)) 0)
(*.f64 (+.f64 b a) (+.f64 b a))
(-.f64 0 (*.f64 (+.f64 a b) (neg.f64 (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(-.f64 (.f64 a (+.f64 a b)) (.f64 b (neg.f64 (+.f64 a b))))
(-.f64 (.f64 a (+.f64 b a)) (.f64 b (neg.f64 (+.f64 b a))))
(*.f64 (+.f64 b a) (-.f64 b (neg.f64 a)))
(-.f64 (.f64 b (+.f64 a b)) (.f64 (+.f64 a b) (neg.f64 a)))
(-.f64 (.f64 a (+.f64 b a)) (.f64 b (neg.f64 (+.f64 b a))))
(*.f64 (+.f64 b a) (-.f64 b (neg.f64 a)))
(/.f64 (*.f64 (+.f64 a b) (+.f64 a b)) 1)
(*.f64 (+.f64 b a) (+.f64 b a))
(/.f64 (*.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(/.f64 (*.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(neg.f64 (*.f64 (+.f64 a b) (neg.f64 (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (+.f64 a b) (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (+.f64 a b) (neg.f64 (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (+.f64 a b)) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (+.f64 a b)) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (*.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (*.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (*.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (*.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (*.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (neg.f64 (+.f64 a b))) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (neg.f64 (+.f64 a b))) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b))) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b)) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b))) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b))) (*.f64 (+.f64 a b) (/.f64 1 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (+.f64 a b) (neg.f64 (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (neg.f64 (+.f64 a b)) (neg.f64 (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (neg.f64 (fabs.f64 (+.f64 a b))) (+.f64 a b)))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (neg.f64 (fabs.f64 (+.f64 a b))) (fabs.f64 (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (*.f64 (neg.f64 (fabs.f64 (+.f64 a b))) (neg.f64 (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (neg.f64 (+.f64 a b)) (+.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (neg.f64 (fabs.f64 (+.f64 a b))) (+.f64 a (.f64 b (/.f64 (+.f64 a b) (+.f64 a b))))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (neg.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (/.f64 (+.f64 a b) (+.f64 a b))) (*.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (/.f64 (+.f64 a b) (+.f64 a b)) (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (+.f64 a b) (neg.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (fabs.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (+.f64 a b) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (fabs.f64 (+.f64 a b)) (+.f64 a b))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (fabs.f64 (+.f64 a b)) (neg.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))
(fabs.f64 (.f64 (neg.f64 (/.f64 (+.f64 a b) (+.f64 a b))) (.f64 (neg.f64 (+.f64 a b)) (fabs.f64 (+.f64 a b)))))
(*.f64 (+.f64 b a) (+.f64 b a))

eval19.0ms (1%)

Compiler: Compiled 2884 to 406 computations (85.9% saved)

prune20.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

145 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))
✓	0.0b	(*.f64 (+.f64 a b) (+.f64 a b))

Compiler

Compiled 22 to 11 computations (50% saved)

localize9.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))
✓	0.0b	(*.f64 b (+.f64 b (+.f64 a a)))

Compiler

Compiled 33 to 7 computations (78.8% saved)

series4.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

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

rewrite80.0ms (4.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1900×	`rational_best_oopsla_all_46_json-2`
1900×	`rational_best_oopsla_all_46_json-1`
1900×	`rational_best_oopsla_all_46_json-3`
1898×	`rational_best_oopsla_all_46_json-4`
776×	`rational_best_oopsla_all_46_json_45_simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	50
1	65	50
2	235	50
3	940	50
4	4170	50

Stop Event

1×	node limit

Counts

2 → 108

Calls

Call 1

Inputs
(*.f64 b (+.f64 b (+.f64 a a)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))

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

Outputs

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

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

simplify146.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

896×	`rational_best_oopsla_all_46_json_45_simplify-13`
882×	`rational_best_oopsla_all_46_json_45_simplify-49`
862×	`rational_best_oopsla_all_46_json_45_simplify-10`
798×	`rational_best_oopsla_all_46_json_45_simplify-72`
580×	`rational_best_oopsla_all_46_json_45_simplify-7`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	214	4226
1	710	4226
2	2901	4226
3	7687	4226

Stop Event

1×	node limit

Counts

156 → 126

Calls

Call 1

Inputs
(.f64 2 (.f64 a b))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(.f64 2 (.f64 a b))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(.f64 2 (.f64 a b))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (*.f64 b (+.f64 b (+.f64 a a))) 0)
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) 0))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) b)) 0))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (+.f64 b (+.f64 a a))) 0))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 0 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b)))) 0))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) 0))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (neg.f64 (*.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) 0))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 0 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) b))))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 0 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b))))))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 0 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(+.f64 0 (*.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 b b) (.f64 b (+.f64 a a)))
(+.f64 (.f64 b b) (.f64 (/.f64 b b) (*.f64 b (+.f64 a a))))
(+.f64 (.f64 b b) (.f64 (*.f64 b (+.f64 a a)) (/.f64 b b)))
(+.f64 (.f64 b (+.f64 a a)) (.f64 b b))
(+.f64 (.f64 b a) (.f64 b (+.f64 b a)))
(+.f64 (.f64 b (+.f64 b a)) (.f64 b a))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) 0) (.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) b)) 0) (*.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 (.f64 b (+.f64 b (+.f64 a a))) 0) (*.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 0 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b)))) 0) (.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) 0) (*.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 (neg.f64 (.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) 0) (*.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 0 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) b))) (*.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 (/.f64 b b) (.f64 b (+.f64 a a))) (*.f64 b b))
(+.f64 (.f64 (.f64 b (+.f64 a a)) (/.f64 b b)) (*.f64 b b))
(+.f64 (.f64 (.f64 b a) (/.f64 b b)) (.f64 (/.f64 b b) (.f64 b (+.f64 b a))))
(+.f64 (.f64 (/.f64 b b) (.f64 b (+.f64 b a))) (.f64 (.f64 b a) (/.f64 b b)))
(+.f64 (.f64 (.f64 b (+.f64 b a)) (/.f64 b b)) (.f64 (/.f64 b b) (.f64 b a)))
(+.f64 (.f64 (/.f64 b b) (.f64 b a)) (.f64 (.f64 b (+.f64 b a)) (/.f64 b b)))
(+.f64 (.f64 (.f64 b b) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b (+.f64 a a))))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b (+.f64 a a))) (.f64 (.f64 b b) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 (.f64 b (+.f64 a a)) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b b)))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b b)) (.f64 (.f64 b (+.f64 a a)) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 (.f64 b a) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b (+.f64 b a))))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b (+.f64 b a))) (.f64 (.f64 b a) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 (.f64 b (+.f64 b a)) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b a)))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b a)) (.f64 (.f64 b (+.f64 b a)) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 0 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b))))) (.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 b (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (+.f64 a a)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (+.f64 a a)) (.f64 b (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 a (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (+.f64 b a)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (+.f64 b a)) (.f64 a (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 (+.f64 a a) (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) b))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) b) (.f64 (+.f64 a a) (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(+.f64 (.f64 0 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (*.f64 b (+.f64 b (+.f64 a a))))
(+.f64 (.f64 (+.f64 b a) (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) a))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) a) (.f64 (+.f64 b a) (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(-.f64 (*.f64 b (+.f64 b (+.f64 a a))) 0)
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) 0))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) b)) 0))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (+.f64 b (+.f64 a a))) 0))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b)))) 0))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) 0))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (neg.f64 (*.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) 0))
(-.f64 0 (*.f64 (+.f64 b (+.f64 a a)) (neg.f64 b)))
(-.f64 0 (.f64 1 (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(-.f64 0 (.f64 (/.f64 b b) (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(-.f64 0 (.f64 -1 (.f64 b (+.f64 b (+.f64 a a)))))
(-.f64 0 (.f64 (neg.f64 (.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) b))
(-.f64 (.f64 b b) (.f64 b (neg.f64 (+.f64 a a))))
(-.f64 (.f64 b (+.f64 a a)) (neg.f64 (.f64 b b)))
(-.f64 (.f64 0 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (*.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(/.f64 (*.f64 b (+.f64 b (+.f64 a a))) 1)
(/.f64 (*.f64 b (+.f64 b (+.f64 a a))) (/.f64 b b))
(/.f64 (*.f64 b (+.f64 b (+.f64 a a))) (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 b (+.f64 b (+.f64 a a)))))
(/.f64 (*.f64 b (+.f64 b (+.f64 a a))) (/.f64 (/.f64 b b) (/.f64 b b)))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (.f64 (+.f64 b (+.f64 a a)) (/.f64 b b)) (*.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 b (+.f64 b (+.f64 a a))))))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) b)) (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) b))))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b)))) (+.f64 b (.f64 (/.f64 b b) (*.f64 (+.f64 a a) (/.f64 b b))))))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(neg.f64 (*.f64 (+.f64 b (+.f64 a a)) (neg.f64 b)))
(neg.f64 (.f64 1 (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(neg.f64 (.f64 (/.f64 b b) (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(neg.f64 (.f64 -1 (.f64 b (+.f64 b (+.f64 a a)))))
(neg.f64 (.f64 (neg.f64 (.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) b))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a (neg.f64 a)))
(-.f64 (.f64 a a) (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b)))
(-.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) 0)
(-.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)) 0))
(-.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))) 0))
(-.f64 0 (.f64 -1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))
(-.f64 (+.f64 (.f64 a a) (.f64 b (+.f64 a a))) (neg.f64 (*.f64 b b)))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)) 1)
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))))
(.f64 1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))
(.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))
(.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 1 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))))))
(.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))))))
(.f64 -1 (neg.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))
(.f64 (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))
(.f64 (neg.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))) -1)
(.f64 (neg.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (neg.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))))
(.f64 (.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))
(.f64 (neg.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (neg.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))
(/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) 1)
(/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))))
(/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))))
(neg.f64 (.f64 -1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))

Outputs
(.f64 2 (.f64 a b))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(.f64 2 (.f64 a b))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(.f64 2 (.f64 a b))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 b 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 b 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(pow.f64 a 2)
(+.f64 (.f64 2 (.f64 a b)) (pow.f64 a 2))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (.f64 2 (.f64 a b)) (+.f64 (pow.f64 b 2) (pow.f64 a 2)))
(+.f64 (*.f64 b (+.f64 b (+.f64 a a))) 0)
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) b)) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (+.f64 b (+.f64 a a))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 0 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b)))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (neg.f64 (*.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 0 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) b))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 0 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b))))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 0 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 0 (*.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b b) (.f64 b (+.f64 a a)))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b b) (.f64 (/.f64 b b) (*.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b b) (.f64 (*.f64 b (+.f64 a a)) (/.f64 b b)))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 a a)) (.f64 b b))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b a) (.f64 b (+.f64 b a)))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (+.f64 b a)) (.f64 b a))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) 0) (.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) b)) 0) (*.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (+.f64 b (+.f64 a a))) 0) (*.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 0 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b)))) 0) (.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) 0) (*.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (neg.f64 (.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) 0) (*.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 0 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) b))) (*.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (/.f64 b b) (.f64 b (+.f64 a a))) (*.f64 b b))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (+.f64 a a)) (/.f64 b b)) (*.f64 b b))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b a) (/.f64 b b)) (.f64 (/.f64 b b) (.f64 b (+.f64 b a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (/.f64 b b) (.f64 b (+.f64 b a))) (.f64 (.f64 b a) (/.f64 b b)))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (+.f64 b a)) (/.f64 b b)) (.f64 (/.f64 b b) (.f64 b a)))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (/.f64 b b) (.f64 b a)) (.f64 (.f64 b (+.f64 b a)) (/.f64 b b)))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b b) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b (+.f64 a a))))
(.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (.f64 b (+.f64 a (+.f64 a b))))
(.f64 b (.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (+.f64 a (+.f64 a b))))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b (+.f64 a a))) (.f64 (.f64 b b) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (.f64 b (+.f64 a (+.f64 a b))))
(.f64 b (.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (+.f64 a (+.f64 a b))))
(+.f64 (.f64 (.f64 b (+.f64 a a)) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b b)))
(.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (.f64 b (+.f64 a (+.f64 a b))))
(.f64 b (.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (+.f64 a (+.f64 a b))))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b b)) (.f64 (.f64 b (+.f64 a a)) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (.f64 b (+.f64 a (+.f64 a b))))
(.f64 b (.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (+.f64 a (+.f64 a b))))
(+.f64 (.f64 (.f64 b a) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b (+.f64 b a))))
(.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (.f64 b (+.f64 a (+.f64 a b))))
(.f64 b (.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (+.f64 a (+.f64 a b))))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b (+.f64 b a))) (.f64 (.f64 b a) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (.f64 b (+.f64 a (+.f64 a b))))
(.f64 b (.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (+.f64 a (+.f64 a b))))
(+.f64 (.f64 (.f64 b (+.f64 b a)) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b a)))
(.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (.f64 b (+.f64 a (+.f64 a b))))
(.f64 b (.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (+.f64 a (+.f64 a b))))
(+.f64 (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (.f64 b a)) (.f64 (.f64 b (+.f64 b a)) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))))
(.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (.f64 b (+.f64 a (+.f64 a b))))
(.f64 b (.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (+.f64 a (+.f64 a b))))
(+.f64 (.f64 0 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b))))) (.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 b (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (+.f64 a a)))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (+.f64 a a)) (.f64 b (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 a (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (+.f64 b a)))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (+.f64 b a)) (.f64 a (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (+.f64 a a) (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) b))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) b) (.f64 (+.f64 a a) (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 0 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (*.f64 b (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (+.f64 b a) (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))) (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) a))
(*.f64 b (+.f64 a (+.f64 a b)))
(+.f64 (.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) a) (.f64 (+.f64 b a) (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 (*.f64 b (+.f64 b (+.f64 a a))) 0)
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) b)) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (+.f64 b (+.f64 a a))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b)))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 (neg.f64 (*.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) 0))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 0 (*.f64 (+.f64 b (+.f64 a a)) (neg.f64 b)))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 0 (.f64 1 (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 0 (.f64 (/.f64 b b) (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 0 (.f64 -1 (.f64 b (+.f64 b (+.f64 a a)))))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 0 (.f64 (neg.f64 (.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) b))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 (.f64 b b) (.f64 b (neg.f64 (+.f64 a a))))
(*.f64 b (-.f64 b (neg.f64 (+.f64 a a))))
(*.f64 b (-.f64 (+.f64 a a) (neg.f64 b)))
(*.f64 b (+.f64 a (-.f64 a (neg.f64 b))))
(-.f64 (.f64 b (+.f64 a a)) (neg.f64 (.f64 b b)))
(*.f64 b (-.f64 b (neg.f64 (+.f64 a a))))
(*.f64 b (-.f64 (+.f64 a a) (neg.f64 b)))
(*.f64 b (+.f64 a (-.f64 a (neg.f64 b))))
(-.f64 (.f64 0 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a))))) (.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (*.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (.f64 b (+.f64 a (+.f64 a b))))
(.f64 b (.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (+.f64 a (+.f64 a b))))
(/.f64 (*.f64 b (+.f64 b (+.f64 a a))) 1)
(*.f64 b (+.f64 a (+.f64 a b)))
(/.f64 (*.f64 b (+.f64 b (+.f64 a a))) (/.f64 b b))
(*.f64 b (+.f64 a (+.f64 a b)))
(/.f64 (*.f64 b (+.f64 b (+.f64 a a))) (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))
(*.f64 b (+.f64 a (+.f64 a b)))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 b (+.f64 b (+.f64 a a)))))
(*.f64 b (+.f64 a (+.f64 a b)))
(/.f64 (*.f64 b (+.f64 b (+.f64 a a))) (/.f64 (/.f64 b b) (/.f64 b b)))
(*.f64 b (+.f64 a (+.f64 a b)))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (.f64 (+.f64 b (+.f64 a a)) (/.f64 b b)) (*.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))))
(*.f64 b (+.f64 a (+.f64 a b)))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 b (+.f64 b (+.f64 a a)))) (/.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 b (+.f64 b (+.f64 a a))))))
(/.f64 (.f64 b (+.f64 a (+.f64 a b))) (/.f64 (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 b (+.f64 a (+.f64 a b)))) (/.f64 (.f64 b (+.f64 a (+.f64 a b))) (*.f64 b (+.f64 a (+.f64 a b))))))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) b)) (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) b))))
(/.f64 (.f64 b (+.f64 a (+.f64 a b))) (/.f64 (.f64 b (/.f64 (+.f64 a (+.f64 a b)) b)) (*.f64 b (/.f64 (+.f64 a (+.f64 a b)) b))))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (+.f64 b (.f64 (/.f64 b b) (.f64 (+.f64 a a) (/.f64 b b)))) (+.f64 b (.f64 (/.f64 b b) (*.f64 (+.f64 a a) (/.f64 b b))))))
(/.f64 (.f64 b (+.f64 a (+.f64 a b))) (/.f64 (+.f64 b (.f64 (+.f64 a a) (.f64 (/.f64 b b) (/.f64 b b)))) (+.f64 b (.f64 (+.f64 a a) (*.f64 (/.f64 b b) (/.f64 b b))))))
(/.f64 (.f64 b (+.f64 b (+.f64 a a))) (/.f64 (.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a)))) (*.f64 b (/.f64 (+.f64 b (+.f64 a a)) (+.f64 b (+.f64 a a))))))
(*.f64 b (+.f64 a (+.f64 a b)))
(neg.f64 (*.f64 (+.f64 b (+.f64 a a)) (neg.f64 b)))
(*.f64 b (+.f64 a (+.f64 a b)))
(neg.f64 (.f64 1 (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(*.f64 b (+.f64 a (+.f64 a b)))
(neg.f64 (.f64 (/.f64 b b) (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b))))
(*.f64 b (+.f64 a (+.f64 a b)))
(neg.f64 (.f64 -1 (.f64 b (+.f64 b (+.f64 a a)))))
(*.f64 b (+.f64 a (+.f64 a b)))
(neg.f64 (.f64 (neg.f64 (.f64 (+.f64 b (+.f64 a a)) (/.f64 b b))) b))
(*.f64 b (+.f64 a (+.f64 a b)))
(-.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a (neg.f64 a)))
(-.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a (neg.f64 a)))
(+.f64 (.f64 b (+.f64 a (-.f64 a (neg.f64 b)))) (.f64 a a))
(-.f64 (.f64 a a) (.f64 (+.f64 b (+.f64 a a)) (neg.f64 b)))
(-.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a (neg.f64 a)))
(+.f64 (.f64 b (+.f64 a (-.f64 a (neg.f64 b)))) (.f64 a a))
(-.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) 0)
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(-.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)) 0))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(-.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))) 0))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(-.f64 0 (.f64 -1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(-.f64 (+.f64 (.f64 a a) (.f64 b (+.f64 a a))) (neg.f64 (*.f64 b b)))
(-.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a (neg.f64 a)))
(+.f64 (.f64 b (+.f64 a (-.f64 a (neg.f64 b)))) (.f64 a a))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)) 1)
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (.f64 (.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 1 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 -1 (neg.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (neg.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))) -1)
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (neg.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (neg.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a)))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(.f64 (neg.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))) (neg.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) 1)
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (/.f64 (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))) (/.f64 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)) (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a)))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))
(neg.f64 (.f64 -1 (+.f64 (.f64 b (+.f64 b (+.f64 a a))) (*.f64 a a))))
(+.f64 (.f64 b (+.f64 a (+.f64 a b))) (.f64 a a))

eval18.0ms (1%)

Compiler: Compiled 3366 to 421 computations (87.5% saved)

prune17.0ms (0.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	126	2	128

Error

0.0b

Counts

128 → 2

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))
✓	0.0b	(*.f64 (+.f64 a b) (+.f64 a b))

Compiler

Compiled 22 to 11 computations (50% saved)

regimes13.0ms (0.7%)

Accuracy

Total -0.0b remaining (-300%)

Threshold costs -0.0b (-300%)

Counts

2 → 1

Calls

Call 1

Inputs
(*.f64 (+.f64 a b) (+.f64 a b))
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))

Outputs
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))

Calls

4 calls:

4.0ms	(*.f64 (+.f64 a b) (+.f64 a b))
3.0ms	b
3.0ms	(+.f64 a b)
2.0ms	a

Results

Error	Segments	Branch
0.0b	1	`a`
0.0b	1	`b`
0.0b	1	`(*.f64 (+.f64 a b) (+.f64 a b))`
0.0b	1	`(+.f64 a b)`

Compiler

Compiled 40 to 20 computations (50% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	50

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 b (+.f64 b (+.f64 a a))) (.f64 a a))
(*.f64 (+.f64 a b) (+.f64 a b))

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

Compiler

Compiled 22 to 11 computations (50% saved)

soundness0.0ms (0%)

end30.0ms (1.5%)

Compiler: Compiled 46 to 23 computations (50% saved)

Details

analyze0.0ms (0%)

sample1.3s (67.3%)

preprocess61.0ms (3.1%)

simplify56.0ms (2.9%)

eval0.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0.2%)

series1.0ms (0.1%)

rewrite72.0ms (3.7%)

simplify79.0ms (4.1%)

eval19.0ms (1%)

prune20.0ms (1%)

localize9.0ms (0.5%)

series4.0ms (0.2%)

rewrite80.0ms (4.1%)

simplify146.0ms (7.5%)

eval18.0ms (1%)

prune17.0ms (0.9%)

regimes13.0ms (0.7%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end30.0ms (1.5%)

Profiling