Details

analyze47.0ms (2.5%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
50%	43.7%	43.7%	0.1%	12.5%	0%	0%	7
57.7%	46.8%	34.3%	0.1%	18.7%	0%	0%	8
71.2%	57.8%	23.4%	0.1%	18.7%	0%	0%	9
77%	60.1%	18%	0.1%	21.9%	0%	0%	10
84.5%	66%	12.1%	0.1%	21.9%	0%	0%	11
88%	67.3%	9.2%	0.1%	23.4%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample723.0ms (38.9%)

Results

655.0ms	8256×	body	256	valid
14.0ms	184×	body	256	infinite

Bogosity

preprocess66.0ms (3.5%)

Algorithm

2×	egg-herbie

Rules

1510×	`rational_best_oopsla_all_46_json_45_simplify-49`
1336×	`rational_best_oopsla_all_46_json_45_simplify-7`
1082×	`rational_best_oopsla_all_46_json_45_simplify-13`
814×	`rational_best_oopsla_all_46_json_45_simplify-87`
660×	`rational_best_oopsla_all_46_json_45_simplify-89`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	38
1	44	38
2	159	38
3	616	38
4	3351	38
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(.f64 x (-.f64 1 (.f64 x y)))
(.f64 y (-.f64 1 (.f64 y x)))

Outputs
(.f64 x (-.f64 1 (.f64 x y)))
(-.f64 x (.f64 x (.f64 x y)))
(.f64 y (-.f64 1 (.f64 y x)))
(.f64 y (-.f64 1 (.f64 x y)))
(-.f64 y (.f64 x (.f64 y y)))

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify110.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

1554×	`rational_best_oopsla_all_46_json_45_simplify-89`
1378×	`rational_best_oopsla_all_46_json_45_simplify-74`
1162×	`rational_best_oopsla_all_46_json_45_simplify-23`
1084×	`rational_best_oopsla_all_46_json_45_simplify-24`
706×	`rational_best_oopsla_all_46_json_45_simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	24	19
2	86	19
3	329	19
4	1692	19
5	7771	19

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

Inputs
(.f64 x (-.f64 1 (.f64 x y)))

Outputs
(.f64 x (-.f64 1 (.f64 x y)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 x (.f64 y (.f64 x x)))

eval1.0ms (0%)

Compiler: Compiled 23 to 11 computations (52.2% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

4 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	7.5b	(-.f64 x (.f64 y (.f64 x x)))
▶	0.1b	(.f64 x (-.f64 1 (.f64 x y)))

Compiler

Compiled 18 to 11 computations (38.9% saved)

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 1 (*.f64 x y))
✓	0.0b	(.f64 x (-.f64 1 (.f64 x y)))

Compiler

Compiled 20 to 9 computations (55% saved)

series3.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

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

rewrite80.0ms (4.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1906×	`rational_best_oopsla_all_46_json-2`
1906×	`rational_best_oopsla_all_46_json-1`
1906×	`rational_best_oopsla_all_46_json-4`
1906×	`rational_best_oopsla_all_46_json-3`
638×	`rational_best_oopsla_all_46_json_45_simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	57	32
2	221	32
3	1009	32
4	4261	32

Stop Event

1×	node limit

Counts

2 → 96

Calls

Call 1

Inputs
(.f64 x (-.f64 1 (.f64 x y)))
(-.f64 1 (*.f64 x y))

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

Outputs

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

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

simplify92.0ms (5%)

Algorithm

1×	egg-herbie

Rules

1192×	`rational_best_oopsla_all_46_json_45_simplify-82`
1078×	`rational_best_oopsla_all_46_json_45_simplify-72`
930×	`rational_best_oopsla_all_46_json_45_simplify-7`
804×	`rational_best_oopsla_all_46_json_45_simplify-93`
782×	`rational_best_oopsla_all_46_json_45_simplify-49`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	181	3366
1	622	3262
2	3409	3258

Stop Event

1×	node limit

Counts

144 → 133

Calls

Call 1

Inputs
x
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
x
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
1
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(.f64 -1 (.f64 y x))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(.f64 -1 (.f64 y x))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
1
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(.f64 -1 (.f64 y x))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(.f64 -1 (.f64 y x))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 1 (.f64 -1 (.f64 y x)))
(+.f64 x (.f64 x (.f64 y (neg.f64 x))))
(+.f64 x (.f64 (.f64 x (*.f64 y (neg.f64 x))) (/.f64 x x)))
(+.f64 x (.f64 (/.f64 x x) (.f64 x (*.f64 y (neg.f64 x)))))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) 0)
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 x (.f64 y (*.f64 x x))) 0))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x)))) 0))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 x (/.f64 (-.f64 1 (*.f64 x y)) x)) 0))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (.f64 x (/.f64 (-.f64 1 (*.f64 x y)) x))))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 x y)) 0))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 x y))))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) 0))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 (.f64 x y) (/.f64 x x)) 0))
(+.f64 0 (-.f64 x (.f64 y (.f64 x x))))
(+.f64 (.f64 x (.f64 y (neg.f64 x))) x)
(+.f64 (.f64 (-.f64 x (.f64 y (.f64 x x))) 0) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 (.f64 (.f64 x (*.f64 y (neg.f64 x))) (/.f64 x x)) x)
(+.f64 (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 x (.f64 y (neg.f64 x)))))
(+.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) 0) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 (.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) x))
(+.f64 (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x)) 0) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x))) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 (.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y)) 0) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 (.f64 0 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y))) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) 0) (-.f64 x (.f64 y (.f64 x x))))
(+.f64 (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))) (-.f64 x (.f64 y (.f64 x x))))
(+.f64 (.f64 (-.f64 (.f64 x y) (/.f64 x x)) 0) (-.f64 x (.f64 y (.f64 x x))))
(+.f64 (.f64 (/.f64 x x) (.f64 x (*.f64 y (neg.f64 x)))) x)
(+.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 x (.f64 y (neg.f64 x)))) (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(+.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) x) (.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 (/.f64 x x) (.f64 y (*.f64 x x))))
(-.f64 x (-.f64 0 (.f64 (.f64 x (*.f64 y (neg.f64 x))) (/.f64 x x))))
(-.f64 x (-.f64 0 (.f64 (.f64 y (*.f64 x x)) -1)))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) 0)
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 x (.f64 y (*.f64 x x))) 0))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x)))) 0))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 x (/.f64 (-.f64 1 (*.f64 x y)) x)) 0))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 x y)) 0))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) 0))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 (.f64 x y) (/.f64 x x)) 0))
(-.f64 0 (-.f64 (.f64 y (.f64 x x)) x))
(-.f64 (.f64 x (.f64 y (neg.f64 x))) (neg.f64 x))
(-.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (.f64 x y)))
(-.f64 (.f64 (.f64 y (neg.f64 x)) 0) (-.f64 (.f64 y (.f64 x x)) x))
(-.f64 (.f64 (.f64 x (*.f64 y (neg.f64 x))) (/.f64 x x)) (neg.f64 x))
(-.f64 (.f64 (.f64 y (*.f64 x x)) -1) (neg.f64 x))
(-.f64 (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 y (.f64 x x))))
(-.f64 (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (-.f64 (.f64 y (.f64 x x)) x)))
(-.f64 (.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (neg.f64 x)))
(-.f64 (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x)) (neg.f64 x)))
(-.f64 (.f64 0 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y))) (.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y)) (neg.f64 x)))
(-.f64 (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (+.f64 (*.f64 x y) -1)))
(-.f64 (.f64 (.f64 x x) 0) (-.f64 (.f64 y (.f64 x x)) x))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) 1)
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 x x))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 (/.f64 x x) (.f64 x y)) (-.f64 (/.f64 x x) (.f64 x y))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x)) (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y)) (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))))
(/.f64 (-.f64 (.f64 y (.f64 x x)) x) -1)
(neg.f64 (-.f64 (.f64 y (.f64 x x)) x))
(+.f64 1 (*.f64 y (neg.f64 x)))
(+.f64 (-.f64 1 (*.f64 x y)) 0)
(+.f64 0 (-.f64 1 (*.f64 x y)))
(+.f64 (*.f64 y (neg.f64 x)) 1)
(.f64 1 (-.f64 1 (.f64 x y)))
(.f64 (-.f64 1 (.f64 x y)) 1)
(.f64 (-.f64 1 (.f64 x y)) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (-.f64 1 (.f64 x y)) (/.f64 1 (-.f64 1 (*.f64 x y)))))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y)))))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (-.f64 1 (.f64 x y)) (/.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (-.f64 1 (*.f64 x y)))))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (.f64 (-.f64 1 (.f64 x y)) (/.f64 1 (-.f64 1 (.f64 x y)))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))))
(.f64 (+.f64 (.f64 x y) -1) -1)
(.f64 (+.f64 (.f64 x y) -1) (neg.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))))
(.f64 (+.f64 (.f64 x y) -1) (.f64 -1 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y)))))
(.f64 -1 (+.f64 (.f64 x y) -1))
(.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (-.f64 1 (.f64 x y)))
(.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (.f64 (-.f64 1 (.f64 x y)) (/.f64 1 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y))))))
(.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (.f64 (+.f64 (.f64 x y) -1) (/.f64 -1 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y))))))
(.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (.f64 (-.f64 1 (.f64 x y)) (/.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y))))))
(.f64 (.f64 (-.f64 1 (.f64 x y)) (/.f64 1 (-.f64 1 (.f64 x y)))) (-.f64 1 (*.f64 x y)))
(.f64 (.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (-.f64 1 (*.f64 x y)))
(.f64 (neg.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (+.f64 (.f64 x y) -1))
(/.f64 (-.f64 1 (*.f64 x y)) 1)
(/.f64 (-.f64 1 (.f64 x y)) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y))))
(/.f64 (-.f64 1 (.f64 x y)) (/.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y)))))
(/.f64 (+.f64 (*.f64 x y) -1) -1)
(neg.f64 (+.f64 (*.f64 x y) -1))

Outputs
x
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(neg.f64 (*.f64 y (pow.f64 x 2)))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(neg.f64 (*.f64 y (pow.f64 x 2)))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
x
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(neg.f64 (*.f64 y (pow.f64 x 2)))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(neg.f64 (*.f64 y (pow.f64 x 2)))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 -1 (.f64 y (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 x (*.f64 y (neg.f64 (pow.f64 x 2))))
1
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(.f64 -1 (.f64 y x))
(.f64 -1 (.f64 x y))
(*.f64 y (neg.f64 x))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(.f64 -1 (.f64 y x))
(.f64 -1 (.f64 x y))
(*.f64 y (neg.f64 x))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
1
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(.f64 -1 (.f64 y x))
(.f64 -1 (.f64 x y))
(*.f64 y (neg.f64 x))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(.f64 -1 (.f64 y x))
(.f64 -1 (.f64 x y))
(*.f64 y (neg.f64 x))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 1 (.f64 -1 (.f64 y x)))
(-.f64 1 (*.f64 x y))
(+.f64 x (.f64 x (.f64 y (neg.f64 x))))
(+.f64 x (.f64 (.f64 x (*.f64 y (neg.f64 x))) (/.f64 x x)))
(+.f64 x (.f64 x (.f64 y (neg.f64 x))))
(+.f64 x (.f64 (/.f64 x x) (.f64 x (*.f64 y (neg.f64 x)))))
(+.f64 x (.f64 x (.f64 y (neg.f64 x))))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) 0)
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 x (.f64 y (*.f64 x x))) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x)))) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 x (/.f64 (-.f64 1 (*.f64 x y)) x)) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (.f64 x (/.f64 (-.f64 1 (*.f64 x y)) x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 x y)) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 x y))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 (.f64 x y) (/.f64 x x)) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 0 (-.f64 x (.f64 y (.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 x (.f64 y (neg.f64 x))) x)
(+.f64 x (.f64 x (.f64 y (neg.f64 x))))
(+.f64 (.f64 (-.f64 x (.f64 y (.f64 x x))) 0) (-.f64 x (.f64 y (*.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 (.f64 x (*.f64 y (neg.f64 x))) (/.f64 x x)) x)
(+.f64 x (.f64 x (.f64 y (neg.f64 x))))
(+.f64 (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 x (.f64 y (neg.f64 x)))))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (+.f64 x (.f64 x (*.f64 y (neg.f64 x)))))
(.f64 (/.f64 (-.f64 x (.f64 x (.f64 x y))) (-.f64 x (.f64 x (.f64 x y)))) (+.f64 x (.f64 x (*.f64 y (neg.f64 x)))))
(+.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) 0) (-.f64 x (.f64 y (*.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (-.f64 x (.f64 y (*.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) x))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (+.f64 x (.f64 x (*.f64 y (neg.f64 x)))))
(.f64 (/.f64 (-.f64 x (.f64 x (.f64 x y))) (-.f64 x (.f64 x (.f64 x y)))) (+.f64 x (.f64 x (*.f64 y (neg.f64 x)))))
(+.f64 (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x)) 0) (-.f64 x (.f64 y (*.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x))) (-.f64 x (.f64 y (*.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y)) 0) (-.f64 x (.f64 y (*.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 0 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y))) (-.f64 x (.f64 y (*.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) 0) (-.f64 x (.f64 y (.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))) (-.f64 x (.f64 y (.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 (-.f64 (.f64 x y) (/.f64 x x)) 0) (-.f64 x (.f64 y (.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 (.f64 (/.f64 x x) (.f64 x (*.f64 y (neg.f64 x)))) x)
(+.f64 x (.f64 x (.f64 y (neg.f64 x))))
(+.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 x (.f64 y (neg.f64 x)))) (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (+.f64 x (.f64 x (*.f64 y (neg.f64 x)))))
(.f64 (/.f64 (-.f64 x (.f64 x (.f64 x y))) (-.f64 x (.f64 x (.f64 x y)))) (+.f64 x (.f64 x (*.f64 y (neg.f64 x)))))
(+.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) x) (.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (+.f64 x (.f64 x (*.f64 y (neg.f64 x)))))
(.f64 (/.f64 (-.f64 x (.f64 x (.f64 x y))) (-.f64 x (.f64 x (.f64 x y)))) (+.f64 x (.f64 x (*.f64 y (neg.f64 x)))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 x (.f64 (/.f64 x x) (.f64 y (*.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 x (-.f64 0 (.f64 (.f64 x (*.f64 y (neg.f64 x))) (/.f64 x x))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 x (-.f64 0 (.f64 (.f64 y (*.f64 x x)) -1)))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) 0)
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 x (.f64 y (*.f64 x x))) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x)))) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 x (/.f64 (-.f64 1 (*.f64 x y)) x)) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 x y)) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 (.f64 x y) (/.f64 x x)) 0))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 0 (-.f64 (.f64 y (.f64 x x)) x))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (.f64 x (.f64 y (neg.f64 x))) (neg.f64 x))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (.f64 x y)))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (.f64 (.f64 y (neg.f64 x)) 0) (-.f64 (.f64 y (.f64 x x)) x))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (.f64 (.f64 x (*.f64 y (neg.f64 x))) (/.f64 x x)) (neg.f64 x))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (.f64 (.f64 y (*.f64 x x)) -1) (neg.f64 x))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(-.f64 (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 y (.f64 x x))))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (-.f64 x (.f64 y (*.f64 x x))))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x)))))
(.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (-.f64 x (.f64 x (.f64 x y))) (-.f64 x (.f64 x (*.f64 x y)))))
(-.f64 (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (-.f64 (.f64 y (.f64 x x)) x)))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (-.f64 x (.f64 y (*.f64 x x))))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x)))))
(.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (-.f64 x (.f64 x (.f64 x y))) (-.f64 x (.f64 x (*.f64 x y)))))
(-.f64 (.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (neg.f64 x)))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (-.f64 x (.f64 y (*.f64 x x))))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x)))))
(.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (-.f64 x (.f64 x (.f64 x y))) (-.f64 x (.f64 x (*.f64 x y)))))
(-.f64 (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x)) (neg.f64 x)))
(.f64 (.f64 x (/.f64 (-.f64 1 (*.f64 x y)) x)) (-.f64 0 (neg.f64 x)))
(.f64 x (.f64 x (/.f64 (-.f64 1 (*.f64 x y)) x)))
(.f64 x (.f64 (-.f64 1 (*.f64 x y)) (/.f64 x x)))
(-.f64 (.f64 0 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y))) (.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y)) (neg.f64 x)))
(-.f64 0 (.f64 (neg.f64 x) (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 x y))))
(.f64 x (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 x y)))
(-.f64 (.f64 0 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))) (.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (+.f64 (*.f64 x y) -1)))
(.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (-.f64 1 (*.f64 x y)))
(neg.f64 (.f64 x (+.f64 -1 (.f64 x y))))
(.f64 (-.f64 1 (.f64 x y)) x)
(-.f64 (.f64 (.f64 x x) 0) (-.f64 (.f64 y (.f64 x x)) x))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) 1)
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 x x))
(/.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 x x))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))
(/.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 (/.f64 x x) (.f64 x y)) (-.f64 (/.f64 x x) (.f64 x y))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 (.f64 x y) (/.f64 x x)) (-.f64 (.f64 x y) (/.f64 x x))))
(/.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (-.f64 (.f64 x y) (/.f64 x x)) (-.f64 (.f64 x y) (/.f64 x x))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(/.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (/.f64 (-.f64 x (.f64 x (.f64 x y))) (-.f64 x (.f64 x (.f64 x y)))) (/.f64 (-.f64 x (.f64 x (.f64 x y))) (-.f64 x (.f64 x (.f64 x y))))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x)) (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x))))
(/.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x)) (.f64 x (/.f64 (-.f64 1 (.f64 x y)) x))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y)) (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y))))
(/.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y)) (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x y))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))))
(/.f64 (-.f64 x (.f64 x (.f64 x y))) (/.f64 (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (.f64 x (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))))
(/.f64 (-.f64 (.f64 y (.f64 x x)) x) -1)
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(neg.f64 (-.f64 (.f64 y (.f64 x x)) x))
(-.f64 x (.f64 y (.f64 x x)))
(-.f64 x (.f64 x (.f64 x y)))
(+.f64 1 (*.f64 y (neg.f64 x)))
(-.f64 1 (*.f64 x y))
(+.f64 (-.f64 1 (*.f64 x y)) 0)
(-.f64 1 (*.f64 x y))
(+.f64 0 (-.f64 1 (*.f64 x y)))
(-.f64 1 (*.f64 x y))
(+.f64 (*.f64 y (neg.f64 x)) 1)
(-.f64 1 (*.f64 x y))
(.f64 1 (-.f64 1 (.f64 x y)))
(-.f64 1 (*.f64 x y))
(.f64 (-.f64 1 (.f64 x y)) 1)
(-.f64 1 (*.f64 x y))
(.f64 (-.f64 1 (.f64 x y)) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))))
(-.f64 1 (*.f64 x y))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (-.f64 1 (.f64 x y)) (/.f64 1 (-.f64 1 (*.f64 x y)))))
(-.f64 1 (*.f64 x y))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y)))))
(-.f64 1 (*.f64 x y))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (-.f64 1 (.f64 x y)) (/.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (-.f64 1 (*.f64 x y)))))
(-.f64 1 (*.f64 x y))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (.f64 (-.f64 1 (.f64 x y)) (/.f64 1 (-.f64 1 (.f64 x y)))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))))
(-.f64 1 (*.f64 x y))
(.f64 (-.f64 1 (.f64 x y)) (.f64 (.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))))
(-.f64 1 (*.f64 x y))
(.f64 (+.f64 (.f64 x y) -1) -1)
(-.f64 1 (*.f64 x y))
(.f64 (+.f64 (.f64 x y) -1) (neg.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))))
(-.f64 1 (*.f64 x y))
(.f64 (+.f64 (.f64 x y) -1) (.f64 -1 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y)))))
(-.f64 1 (*.f64 x y))
(.f64 -1 (+.f64 (.f64 x y) -1))
(-.f64 1 (*.f64 x y))
(.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (-.f64 1 (.f64 x y)))
(-.f64 1 (*.f64 x y))
(.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (.f64 (-.f64 1 (.f64 x y)) (/.f64 1 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y))))))
(-.f64 1 (*.f64 x y))
(.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (.f64 (+.f64 (.f64 x y) -1) (/.f64 -1 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y))))))
(-.f64 1 (*.f64 x y))
(.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (.f64 (-.f64 1 (.f64 x y)) (/.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y))))))
(-.f64 1 (*.f64 x y))
(.f64 (.f64 (-.f64 1 (.f64 x y)) (/.f64 1 (-.f64 1 (.f64 x y)))) (-.f64 1 (*.f64 x y)))
(-.f64 1 (*.f64 x y))
(.f64 (.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (-.f64 1 (*.f64 x y)))
(-.f64 1 (*.f64 x y))
(.f64 (neg.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y)))) (+.f64 (.f64 x y) -1))
(-.f64 1 (*.f64 x y))
(/.f64 (-.f64 1 (*.f64 x y)) 1)
(-.f64 1 (*.f64 x y))
(/.f64 (-.f64 1 (.f64 x y)) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y))))
(-.f64 1 (*.f64 x y))
(/.f64 (-.f64 1 (.f64 x y)) (/.f64 (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (.f64 x y))) (/.f64 (-.f64 1 (.f64 x y)) (-.f64 1 (*.f64 x y)))))
(-.f64 1 (*.f64 x y))
(/.f64 (+.f64 (*.f64 x y) -1) -1)
(-.f64 1 (*.f64 x y))
(neg.f64 (+.f64 (*.f64 x y) -1))
(-.f64 1 (*.f64 x y))

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 19 to 5 computations (73.7% saved)

series3.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

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

rewrite105.0ms (5.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1598×	`rational_best_oopsla_all_46_json-2`
1598×	`rational_best_oopsla_all_46_json-1`
1598×	`rational_best_oopsla_all_46_json-4`
1598×	`rational_best_oopsla_all_46_json-3`
1120×	`rational_best_oopsla_all_46_json_45_simplify-72`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	32
1	50	32
2	195	32
3	879	32
4	3781	32

Stop Event

1×	node limit

Counts

2 → 69

Calls

Call 1

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

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

Outputs

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

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

simplify76.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1710×	`rational_best_oopsla_all_46_json_45_simplify-37`
970×	`rational_best_oopsla_all_46_json_45_simplify-72`
826×	`rational_best_oopsla_all_46_json_45_simplify-49`
698×	`rational_best_oopsla_all_46_json_45_simplify-7`
488×	`rational_best_oopsla_all_46_json_45_simplify-89`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	141	2321
1	534	2277
2	2985	2089

Stop Event

1×	node limit

Counts

117 → 84

Calls

Call 1

Inputs
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
x
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
x
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 (.f64 y (.f64 x x)) 0)
(+.f64 (.f64 y (.f64 x x)) (.f64 0 (/.f64 (.f64 y (.f64 x x)) (.f64 y (*.f64 x x)))))
(+.f64 (.f64 y (.f64 x x)) (.f64 0 (.f64 y (/.f64 x x))))
(+.f64 (.f64 y (.f64 x x)) (.f64 0 (.f64 (/.f64 y y) (.f64 x (.f64 x (/.f64 y y))))))
(+.f64 (.f64 y (.f64 x x)) (.f64 0 (.f64 y (/.f64 (*.f64 x x) y))))
(+.f64 0 (.f64 y (.f64 x x)))
(+.f64 (.f64 0 (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x)))) (.f64 y (*.f64 x x)))
(+.f64 (.f64 0 (.f64 y (/.f64 x x))) (.f64 y (.f64 x x)))
(+.f64 (.f64 0 (.f64 (/.f64 y y) (.f64 x (.f64 x (/.f64 y y))))) (.f64 y (.f64 x x)))
(+.f64 (.f64 0 (.f64 y (/.f64 (.f64 x x) y))) (.f64 y (*.f64 x x)))
(-.f64 (.f64 y (.f64 x x)) 0)
(-.f64 0 (.f64 y (neg.f64 (.f64 x x))))
(-.f64 (.f64 0 (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x)))) (.f64 (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x))) (.f64 y (neg.f64 (.f64 x x)))))
(-.f64 (.f64 0 (.f64 y (/.f64 x x))) (.f64 (.f64 y (/.f64 x x)) (neg.f64 (*.f64 x x))))
(/.f64 (.f64 y (.f64 x x)) 1)
(/.f64 (.f64 y (.f64 x x)) (/.f64 x x))
(/.f64 (.f64 y (.f64 x x)) (/.f64 y y))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x))))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y x) (.f64 y x)))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 x (.f64 x (/.f64 y y))) (.f64 x (.f64 x (/.f64 y y)))))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (/.f64 y y) (/.f64 y y)))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 (/.f64 y y) (.f64 x (.f64 x (/.f64 y y)))) (.f64 (/.f64 y y) (.f64 x (.f64 x (/.f64 y y))))))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y (/.f64 x x)) (.f64 y (/.f64 x x))))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y (/.f64 (.f64 x x) y)) (.f64 y (/.f64 (.f64 x x) y))))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x))) (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x)))))
(neg.f64 (.f64 y (neg.f64 (.f64 x x))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(+.f64 x (.f64 (.f64 y (*.f64 x x)) -1))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) 0)
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(+.f64 0 (-.f64 x (.f64 y (.f64 x x))))
(+.f64 (.f64 y (neg.f64 (.f64 x x))) x)
(+.f64 (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 y (neg.f64 (.f64 x x)))))
(+.f64 (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 (.f64 (.f64 y (*.f64 x x)) -1) x)
(+.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 y (neg.f64 (.f64 x x)))) (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(.f64 x (-.f64 1 (.f64 y x)))
(.f64 x (-.f64 (/.f64 x x) (.f64 y x)))
(.f64 x (.f64 (-.f64 1 (*.f64 y x)) (/.f64 x x)))
(.f64 x (-.f64 1 (.f64 x (/.f64 (*.f64 y x) x))))
(.f64 x (-.f64 (/.f64 x x) (.f64 x (/.f64 (*.f64 y x) x))))
(.f64 x (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 y x)))
(.f64 x (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x (/.f64 (.f64 y x) x))))
(.f64 (-.f64 x (.f64 y (*.f64 x x))) 1)
(.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x)))))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 1 (-.f64 x (.f64 y (.f64 x x))))))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (-.f64 x (.f64 y (.f64 x x))))))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 1 (-.f64 x (.f64 y (.f64 x x))))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(.f64 1 (-.f64 x (.f64 y (*.f64 x x))))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (-.f64 x (.f64 y (*.f64 x x))))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 1 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))))))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))))))
(.f64 (-.f64 (.f64 y (*.f64 x x)) x) -1)
(.f64 (-.f64 (.f64 y (.f64 x x)) x) (neg.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(.f64 (neg.f64 x) (+.f64 (.f64 y x) -1))
(.f64 (neg.f64 x) (-.f64 (.f64 y x) (/.f64 x x)))
(.f64 -1 (-.f64 (.f64 y (*.f64 x x)) x))
(.f64 (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 1 (-.f64 x (.f64 y (.f64 x x))))) (-.f64 x (.f64 y (.f64 x x))))
(.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (-.f64 x (.f64 y (.f64 x x))))
(.f64 (-.f64 1 (.f64 y x)) x)
(.f64 (neg.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (-.f64 (.f64 y (*.f64 x x)) x))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) 1)
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 x x))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(/.f64 (-.f64 (.f64 y (.f64 x x)) x) -1)
(neg.f64 (-.f64 (.f64 y (.f64 x x)) x))

Outputs
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
(*.f64 y (pow.f64 x 2))
x
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 -1 (pow.f64 x 2)))
(neg.f64 (*.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 -1 (pow.f64 x 2)))
(neg.f64 (*.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
x
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 -1 (pow.f64 x 2)))
(neg.f64 (*.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 y (.f64 -1 (pow.f64 x 2)))
(neg.f64 (*.f64 y (pow.f64 x 2)))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 -1 (.f64 y (pow.f64 x 2))) x)
(+.f64 x (.f64 y (.f64 -1 (pow.f64 x 2))))
(+.f64 x (neg.f64 (*.f64 y (pow.f64 x 2))))
(+.f64 (.f64 y (.f64 x x)) 0)
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 (.f64 y (.f64 x x)) (.f64 0 (/.f64 (.f64 y (.f64 x x)) (.f64 y (*.f64 x x)))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 (.f64 y (.f64 x x)) (.f64 0 (.f64 y (/.f64 x x))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 (.f64 y (.f64 x x)) (.f64 0 (.f64 (/.f64 y y) (.f64 x (.f64 x (/.f64 y y))))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 (.f64 y (.f64 x x)) (.f64 0 (.f64 y (/.f64 (*.f64 x x) y))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 0 (.f64 y (.f64 x x)))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 (.f64 0 (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x)))) (.f64 y (*.f64 x x)))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 (.f64 0 (.f64 y (/.f64 x x))) (.f64 y (.f64 x x)))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 (.f64 0 (.f64 (/.f64 y y) (.f64 x (.f64 x (/.f64 y y))))) (.f64 y (.f64 x x)))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 (.f64 0 (.f64 y (/.f64 (.f64 x x) y))) (.f64 y (*.f64 x x)))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(-.f64 (.f64 y (.f64 x x)) 0)
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(-.f64 0 (.f64 y (neg.f64 (.f64 x x))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(-.f64 (.f64 0 (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x)))) (.f64 (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x))) (.f64 y (neg.f64 (.f64 x x)))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(-.f64 (.f64 0 (.f64 y (/.f64 x x))) (.f64 (.f64 y (/.f64 x x)) (neg.f64 (*.f64 x x))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) 1)
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) (/.f64 x x))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) (/.f64 y y))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y x) (.f64 y x)))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 x (.f64 x (/.f64 y y))) (.f64 x (.f64 x (/.f64 y y)))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (/.f64 y y) (/.f64 y y)))
(/.f64 (.f64 x (.f64 y x)) (/.f64 (/.f64 y y) (/.f64 y y)))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 (/.f64 y y) (.f64 x (.f64 x (/.f64 y y)))) (.f64 (/.f64 y y) (.f64 x (.f64 x (/.f64 y y))))))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 x (.f64 (/.f64 y y) (.f64 x (/.f64 y y)))) (.f64 x (.f64 (/.f64 y y) (.f64 x (/.f64 y y))))))
(/.f64 (.f64 x (.f64 y x)) (/.f64 (.f64 x (/.f64 y y)) (.f64 x (/.f64 y y))))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y (/.f64 x x)) (.f64 y (/.f64 x x))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (.f64 y (/.f64 (.f64 x x) y)) (.f64 y (/.f64 (.f64 x x) y))))
(/.f64 (.f64 x (.f64 y x)) (/.f64 (.f64 y (/.f64 (.f64 x x) y)) (.f64 y (/.f64 (.f64 x x) y))))
(/.f64 (.f64 y (.f64 x x)) (/.f64 (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x))) (/.f64 (.f64 y (.f64 x x)) (.f64 y (.f64 x x)))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(neg.f64 (.f64 y (neg.f64 (.f64 x x))))
(.f64 y (.f64 x x))
(.f64 x (.f64 y x))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(+.f64 x (.f64 (.f64 y (*.f64 x x)) -1))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) 0)
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(+.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(+.f64 0 (-.f64 x (.f64 y (.f64 x x))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(+.f64 (.f64 y (neg.f64 (.f64 x x))) x)
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(+.f64 (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 y (neg.f64 (.f64 x x)))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(+.f64 (.f64 0 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(+.f64 (.f64 (.f64 y (*.f64 x x)) -1) x)
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(+.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 y (neg.f64 (.f64 x x)))) (.f64 x (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 x (-.f64 1 (.f64 y x)))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 x (-.f64 (/.f64 x x) (.f64 y x)))
(.f64 x (.f64 (-.f64 1 (*.f64 y x)) (/.f64 x x)))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 x (-.f64 1 (.f64 x (/.f64 (*.f64 y x) x))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 x (-.f64 (/.f64 x x) (.f64 x (/.f64 (*.f64 y x) x))))
(.f64 x (-.f64 (/.f64 x x) (.f64 y x)))
(.f64 x (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (*.f64 y x)))
(.f64 x (-.f64 (/.f64 x x) (.f64 y x)))
(.f64 x (-.f64 (.f64 (/.f64 x x) (/.f64 x x)) (.f64 x (/.f64 (.f64 y x) x))))
(.f64 x (-.f64 (/.f64 x x) (.f64 y x)))
(.f64 (-.f64 x (.f64 y (*.f64 x x))) 1)
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x)))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 1 (-.f64 x (.f64 y (.f64 x x))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (-.f64 x (.f64 y (.f64 x x))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 1 (-.f64 x (.f64 y (.f64 x x))))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (-.f64 x (.f64 y (.f64 x x))) (.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 1 (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (-.f64 x (.f64 y (*.f64 x x))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 1 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (-.f64 (.f64 y (*.f64 x x)) x) -1)
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (-.f64 (.f64 y (.f64 x x)) x) (neg.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (*.f64 x x))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (neg.f64 x) (+.f64 (.f64 y x) -1))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (neg.f64 x) (-.f64 (.f64 y x) (/.f64 x x)))
(.f64 x (-.f64 (/.f64 x x) (.f64 y x)))
(.f64 -1 (-.f64 (.f64 y (*.f64 x x)) x))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 1 (-.f64 x (.f64 y (.f64 x x))))) (-.f64 x (.f64 y (.f64 x x))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (-.f64 x (.f64 y (.f64 x x))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (-.f64 1 (.f64 y x)) x)
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(.f64 (neg.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))) (-.f64 (.f64 y (*.f64 x x)) x))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) 1)
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 x x))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(/.f64 (-.f64 x (.f64 y (.f64 x x))) (/.f64 (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x)))) (/.f64 (-.f64 x (.f64 y (.f64 x x))) (-.f64 x (.f64 y (.f64 x x))))))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(/.f64 (-.f64 (.f64 y (.f64 x x)) x) -1)
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))
(neg.f64 (-.f64 (.f64 y (.f64 x x)) x))
(+.f64 x (.f64 y (neg.f64 (.f64 x x))))
(-.f64 x (.f64 x (.f64 y x)))

eval58.0ms (3.1%)

Compiler: Compiled 3992 to 943 computations (76.4% saved)

prune29.0ms (1.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	215	2	217
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	215	4	219

Error

0.0b

Counts

219 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	7.5b	(-.f64 x (.f64 y (.f64 x x)))
✓	0.1b	(.f64 x (-.f64 1 (.f64 x y)))
▶	42.9b	(.f64 x (.f64 y (neg.f64 x)))
	20.2b	x

Compiler

Compiled 29 to 18 computations (37.9% saved)

localize10.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (.f64 y (neg.f64 x)))

Compiler

Compiled 16 to 5 computations (68.8% saved)

series1.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite73.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2042×	`rational_best_oopsla_all_46_json-2`
2042×	`rational_best_oopsla_all_46_json-1`
2042×	`rational_best_oopsla_all_46_json-4`
2042×	`rational_best_oopsla_all_46_json-3`
578×	`rational_best_oopsla_all_46_json_45_simplify-89`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	58	17
2	230	17
3	1158	17
4	4655	17

Stop Event

1×	node limit

Counts

1 → 43

Calls

Call 1

Inputs
(.f64 x (.f64 y (neg.f64 x)))

Outputs

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

simplify86.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

1554×	`rational_best_oopsla_all_46_json_45_simplify-13`
1494×	`rational_best_oopsla_all_46_json_45_simplify-49`
1160×	`rational_best_oopsla_all_46_json_45_simplify-89`
872×	`rational_best_oopsla_all_46_json_45_simplify-74`
852×	`rational_best_oopsla_all_46_json_45_simplify-24`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	96	1303
1	333	1255
2	1199	1255
3	4915	1247

Stop Event

1×	node limit

Counts

67 → 59

Calls

Call 1

Inputs
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) 0)
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 (*.f64 x x) (neg.f64 y)) 0))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 (neg.f64 x) (*.f64 x (/.f64 y y))) 0))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (/.f64 (.f64 x (.f64 x y)) (.f64 x (*.f64 x y))) 0))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x (/.f64 (*.f64 x (neg.f64 y)) x)) 0))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x (/.f64 (.f64 x y) (.f64 x y))) 0))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x x) 0))
(+.f64 0 (.f64 (.f64 x x) (neg.f64 y)))
(+.f64 (.f64 0 (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y)))) (.f64 (*.f64 x x) (neg.f64 y)))
(+.f64 (.f64 0 (.f64 x (/.f64 (.f64 x (neg.f64 y)) x))) (.f64 (*.f64 x x) (neg.f64 y)))
(+.f64 (.f64 0 (.f64 x (/.f64 (.f64 x y) (.f64 x y)))) (.f64 (.f64 x x) (neg.f64 y)))
(+.f64 (.f64 0 (.f64 (neg.f64 x) (.f64 x (/.f64 y y)))) (.f64 (*.f64 x x) (neg.f64 y)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) 0)
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 (*.f64 x x) (neg.f64 y)) 0))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 (neg.f64 x) (*.f64 x (/.f64 y y))) 0))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (/.f64 (.f64 x (.f64 x y)) (.f64 x (*.f64 x y))) 0))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x (/.f64 (*.f64 x (neg.f64 y)) x)) 0))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x (/.f64 (.f64 x y) (.f64 x y))) 0))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x x) 0))
(-.f64 0 (.f64 x (.f64 x y)))
(-.f64 0 (.f64 1 (.f64 x (*.f64 x y))))
(-.f64 0 (.f64 -1 (.f64 (*.f64 x x) (neg.f64 y))))
(-.f64 0 (.f64 (/.f64 x x) (.f64 x (*.f64 x y))))
(-.f64 0 (.f64 (.f64 x (neg.f64 (/.f64 y y))) (*.f64 x (neg.f64 y))))
(-.f64 (.f64 0 (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y)))) (.f64 (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y))) (.f64 x (.f64 x y))))
(-.f64 (.f64 0 (.f64 x (/.f64 (.f64 x (neg.f64 y)) x))) (.f64 (.f64 x (/.f64 (.f64 x (neg.f64 y)) x)) (neg.f64 x)))
(-.f64 (.f64 0 (.f64 x (/.f64 (.f64 x y) (.f64 x y)))) (.f64 (.f64 x (/.f64 (.f64 x y) (.f64 x y))) (*.f64 x y)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) 1)
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 y y))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 x x))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x y) (.f64 x y)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x (/.f64 y y)) (.f64 x (/.f64 y y))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (neg.f64 x) (.f64 x (/.f64 y y))) (.f64 (neg.f64 x) (.f64 x (/.f64 y y)))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y))) (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y)))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x (/.f64 (.f64 x (neg.f64 y)) x)) (.f64 x (/.f64 (.f64 x (neg.f64 y)) x))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x (/.f64 (.f64 x y) (.f64 x y))) (.f64 x (/.f64 (.f64 x y) (.f64 x y)))))
(neg.f64 (.f64 x (.f64 x y)))
(neg.f64 (.f64 1 (.f64 x (*.f64 x y))))
(neg.f64 (.f64 -1 (.f64 (*.f64 x x) (neg.f64 y))))
(neg.f64 (.f64 (/.f64 x x) (.f64 x (*.f64 x y))))
(neg.f64 (.f64 (.f64 x (neg.f64 (/.f64 y y))) (*.f64 x (neg.f64 y))))

Outputs
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) 0)
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 (*.f64 x x) (neg.f64 y)) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 (neg.f64 x) (*.f64 x (/.f64 y y))) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (/.f64 (.f64 x (.f64 x y)) (.f64 x (*.f64 x y))) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x (/.f64 (*.f64 x (neg.f64 y)) x)) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x (/.f64 (.f64 x y) (.f64 x y))) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x x) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 0 (.f64 (.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 0 (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y)))) (.f64 (*.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 0 (.f64 x (/.f64 (.f64 x (neg.f64 y)) x))) (.f64 (*.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 0 (.f64 x (/.f64 (.f64 x y) (.f64 x y)))) (.f64 (.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(+.f64 (.f64 0 (.f64 (neg.f64 x) (.f64 x (/.f64 y y)))) (.f64 (*.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) 0)
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 (*.f64 x x) (neg.f64 y)) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 (neg.f64 x) (*.f64 x (/.f64 y y))) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (/.f64 (.f64 x (.f64 x y)) (.f64 x (*.f64 x y))) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x (/.f64 (*.f64 x (neg.f64 y)) x)) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x (/.f64 (.f64 x y) (.f64 x y))) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 (.f64 x x) 0))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 0 (.f64 x (.f64 x y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 0 (.f64 1 (.f64 x (*.f64 x y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 0 (.f64 -1 (.f64 (*.f64 x x) (neg.f64 y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 0 (.f64 (/.f64 x x) (.f64 x (*.f64 x y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 0 (.f64 (.f64 x (neg.f64 (/.f64 y y))) (*.f64 x (neg.f64 y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 0 (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y)))) (.f64 (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y))) (.f64 x (.f64 x y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 0 (.f64 x (/.f64 (.f64 x (neg.f64 y)) x))) (.f64 (.f64 x (/.f64 (.f64 x (neg.f64 y)) x)) (neg.f64 x)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(-.f64 (.f64 0 (.f64 x (/.f64 (.f64 x y) (.f64 x y)))) (.f64 (.f64 x (/.f64 (.f64 x y) (.f64 x y))) (*.f64 x y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) 1)
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 y y))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 x x))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x y) (.f64 x y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x (/.f64 y y)) (.f64 x (/.f64 y y))))
(/.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (.f64 x (/.f64 y y)) (.f64 x (/.f64 y y))))
(/.f64 (.f64 y (neg.f64 (.f64 x x))) (/.f64 (.f64 x (/.f64 y y)) (.f64 x (/.f64 y y))))
(/.f64 (.f64 y (.f64 x (neg.f64 x))) (/.f64 (.f64 x (/.f64 y y)) (.f64 x (/.f64 y y))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 y (neg.f64 (.f64 x x))) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 y (.f64 x (neg.f64 x))) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (neg.f64 x) (.f64 x (/.f64 y y))) (.f64 (neg.f64 x) (.f64 x (/.f64 y y)))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x (.f64 (neg.f64 x) (/.f64 y y))) (.f64 x (.f64 (neg.f64 x) (/.f64 y y)))))
(/.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (.f64 (neg.f64 x) (.f64 x (/.f64 y y))) (.f64 (neg.f64 x) (.f64 x (/.f64 y y)))))
(/.f64 (.f64 y (neg.f64 (.f64 x x))) (/.f64 (.f64 x (.f64 (neg.f64 x) (/.f64 y y))) (.f64 x (.f64 (neg.f64 x) (/.f64 y y)))))
(/.f64 (.f64 y (.f64 x (neg.f64 x))) (/.f64 (.f64 (.f64 x x) (/.f64 y y)) (.f64 (.f64 x x) (/.f64 y y))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y))) (/.f64 (.f64 x (.f64 x y)) (.f64 x (.f64 x y)))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x (/.f64 (.f64 x (neg.f64 y)) x)) (.f64 x (/.f64 (.f64 x (neg.f64 y)) x))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x (/.f64 (.f64 x y) (.f64 x y))) (.f64 x (/.f64 (.f64 x y) (.f64 x y)))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(neg.f64 (.f64 x (.f64 x y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(neg.f64 (.f64 1 (.f64 x (*.f64 x y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(neg.f64 (.f64 -1 (.f64 (*.f64 x x) (neg.f64 y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(neg.f64 (.f64 (/.f64 x x) (.f64 x (*.f64 x y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))
(neg.f64 (.f64 (.f64 x (neg.f64 (/.f64 y y))) (*.f64 x (neg.f64 y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(.f64 y (.f64 x (neg.f64 x)))

eval8.0ms (0.4%)

Compiler: Compiled 892 to 158 computations (82.3% saved)

prune9.0ms (0.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	58	5	63

Error

0.0b

Counts

63 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	7.5b	(-.f64 x (.f64 y (.f64 x x)))
▶	47.0b	(.f64 (.f64 x x) (neg.f64 y))
✓	0.1b	(.f64 x (-.f64 1 (.f64 x y)))
✓	42.9b	(.f64 x (.f64 y (neg.f64 x)))
	20.2b	x

Compiler

Compiled 37 to 23 computations (37.8% saved)

localize8.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	9.5b	(.f64 (.f64 x x) (neg.f64 y))

Compiler

Compiled 15 to 5 computations (66.7% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite67.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1542×	`rational_best_oopsla_all_46_json-2`
1542×	`rational_best_oopsla_all_46_json-1`
1542×	`rational_best_oopsla_all_46_json-4`
1542×	`rational_best_oopsla_all_46_json-3`
1114×	`rational_best_oopsla_all_46_json_45_simplify-72`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	56	17
2	204	17
3	932	17
4	3636	17

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

Inputs
(.f64 (.f64 x x) (neg.f64 y))

Outputs

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

simplify79.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

1170×	`rational_best_oopsla_all_46_json_45_simplify-49`
1124×	`rational_best_oopsla_all_46_json_45_simplify-89`
962×	`rational_best_oopsla_all_46_json_45_simplify-13`
866×	`rational_best_oopsla_all_46_json_45_simplify-74`
810×	`rational_best_oopsla_all_46_json_45_simplify-24`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	79	1096
1	265	1048
2	1116	1048
3	4262	1048

Stop Event

1×	node limit

Counts

56 → 49

Calls

Call 1

Inputs
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) 0)
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (.f64 (*.f64 x x) (/.f64 y y))))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (/.f64 (.f64 (.f64 x x) y) (.f64 (*.f64 x x) y))))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (.f64 (/.f64 x x) (*.f64 y (neg.f64 (/.f64 x x))))))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (.f64 x (neg.f64 y))))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x)))))
(+.f64 0 (.f64 (.f64 x x) (neg.f64 y)))
(+.f64 (.f64 0 (.f64 (.f64 x x) (/.f64 y y))) (.f64 (*.f64 x x) (neg.f64 y)))
(+.f64 (.f64 0 (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y))) (.f64 (*.f64 x x) (neg.f64 y)))
(+.f64 (.f64 0 (.f64 (/.f64 x x) (.f64 y (neg.f64 (/.f64 x x))))) (.f64 (*.f64 x x) (neg.f64 y)))
(+.f64 (.f64 0 (.f64 x (neg.f64 y))) (.f64 (.f64 x x) (neg.f64 y)))
(+.f64 (.f64 0 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x)))) (.f64 (.f64 x x) (neg.f64 y)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) 0)
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (-.f64 0 (.f64 0 (.f64 (*.f64 x x) (/.f64 y y)))))
(-.f64 0 (.f64 (.f64 x x) y))
(-.f64 (.f64 0 (.f64 (.f64 x x) (/.f64 y y))) (.f64 (*.f64 x x) y))
(-.f64 (.f64 0 (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y))) (.f64 (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y)) (.f64 (.f64 x x) y)))
(-.f64 (.f64 0 (.f64 (/.f64 x x) (.f64 y (neg.f64 (/.f64 x x))))) (.f64 (.f64 (/.f64 x x) (.f64 y (neg.f64 (/.f64 x x)))) (*.f64 x (neg.f64 x))))
(-.f64 (.f64 0 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x)))) (.f64 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x))) (*.f64 x (neg.f64 x))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) 1)
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 x x))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 y y))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 y (/.f64 x x)) (.f64 y (/.f64 x x))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (/.f64 x x) (.f64 y (/.f64 x x))) (.f64 (/.f64 x x) (.f64 y (/.f64 x x)))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x y) (.f64 x y)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x))) (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x)))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (.f64 x x) (/.f64 y y)) (.f64 (.f64 x x) (/.f64 y y))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y)) (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y))))
(/.f64 (.f64 (.f64 x x) y) -1)
(neg.f64 (.f64 (.f64 x x) y))

Outputs
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(.f64 -1 (.f64 y (pow.f64 x 2)))
(*.f64 (pow.f64 x 2) (neg.f64 y))
(*.f64 y (neg.f64 (pow.f64 x 2)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) 0)
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (.f64 (*.f64 x x) (/.f64 y y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (/.f64 (.f64 (.f64 x x) y) (.f64 (*.f64 x x) y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (.f64 (/.f64 x x) (*.f64 y (neg.f64 (/.f64 x x))))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (.f64 x (neg.f64 y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 (.f64 x x) (neg.f64 y)) (.f64 0 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x)))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 0 (.f64 (.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 0 (.f64 (.f64 x x) (/.f64 y y))) (.f64 (*.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 0 (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y))) (.f64 (*.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 0 (.f64 (/.f64 x x) (.f64 y (neg.f64 (/.f64 x x))))) (.f64 (*.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 0 (.f64 x (neg.f64 y))) (.f64 (.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(+.f64 (.f64 0 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x)))) (.f64 (.f64 x x) (neg.f64 y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) 0)
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(-.f64 (.f64 (.f64 x x) (neg.f64 y)) (-.f64 0 (.f64 0 (.f64 (*.f64 x x) (/.f64 y y)))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(-.f64 0 (.f64 (.f64 x x) y))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(-.f64 (.f64 0 (.f64 (.f64 x x) (/.f64 y y))) (.f64 (*.f64 x x) y))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(-.f64 (.f64 0 (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y))) (.f64 (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y)) (.f64 (.f64 x x) y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(-.f64 (.f64 0 (.f64 (/.f64 x x) (.f64 y (neg.f64 (/.f64 x x))))) (.f64 (.f64 (/.f64 x x) (.f64 y (neg.f64 (/.f64 x x)))) (*.f64 x (neg.f64 x))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(-.f64 (.f64 0 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x)))) (.f64 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x))) (*.f64 x (neg.f64 x))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) 1)
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 x x))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 y y))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 y (.f64 x (neg.f64 x))) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 y (neg.f64 (.f64 x x))) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 y (/.f64 x x)) (.f64 y (/.f64 x x))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (/.f64 x x) (.f64 y (/.f64 x x))) (.f64 (/.f64 x x) (.f64 y (/.f64 x x)))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 x y) (.f64 x y)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 y x) (.f64 y x)))
(/.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (.f64 y x) (.f64 y x)))
(/.f64 (.f64 y (.f64 x (neg.f64 x))) (/.f64 (.f64 y x) (.f64 y x)))
(/.f64 (.f64 y (neg.f64 (.f64 x x))) (/.f64 (.f64 y x) (.f64 y x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x))) (.f64 (.f64 x x) (/.f64 (neg.f64 y) (.f64 x x)))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (.f64 (.f64 x x) (/.f64 y y)) (.f64 (.f64 x x) (/.f64 y y))))
(/.f64 (.f64 x (.f64 y (neg.f64 x))) (/.f64 (.f64 x (.f64 (/.f64 y y) x)) (.f64 x (.f64 (/.f64 y y) x))))
(/.f64 (.f64 y (.f64 x (neg.f64 x))) (/.f64 (.f64 (.f64 x x) (/.f64 y y)) (.f64 (.f64 x x) (/.f64 y y))))
(/.f64 (.f64 y (neg.f64 (.f64 x x))) (/.f64 (.f64 x (.f64 x (/.f64 y y))) (.f64 x (.f64 x (/.f64 y y)))))
(/.f64 (.f64 (.f64 x x) (neg.f64 y)) (/.f64 (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y)) (/.f64 (.f64 (.f64 x x) y) (.f64 (.f64 x x) y))))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(/.f64 (.f64 (.f64 x x) y) -1)
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))
(neg.f64 (.f64 (.f64 x x) y))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (.f64 y (neg.f64 x)))
(.f64 y (.f64 x (neg.f64 x)))
(.f64 y (neg.f64 (.f64 x x)))

eval6.0ms (0.3%)

Compiler: Compiled 745 to 136 computations (81.7% saved)

prune9.0ms (0.5%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	49	0	49
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	49	5	54

Error

0.0b

Counts

54 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	7.5b	(-.f64 x (.f64 y (.f64 x x)))
✓	47.0b	(.f64 (.f64 x x) (neg.f64 y))
✓	0.1b	(.f64 x (-.f64 1 (.f64 x y)))
✓	42.9b	(.f64 x (.f64 y (neg.f64 x)))
	20.2b	x

Compiler

Compiled 37 to 23 computations (37.8% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	4	4
Total	5	5

Error

0.0b

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	7.5b	(-.f64 x (.f64 y (.f64 x x)))
✓	47.0b	(.f64 (.f64 x x) (neg.f64 y))
✓	0.1b	(.f64 x (-.f64 1 (.f64 x y)))
✓	42.9b	(.f64 x (.f64 y (neg.f64 x)))
	20.2b	x

Compiler

Compiled 37 to 23 computations (37.8% saved)

regimes17.0ms (0.9%)

Counts

5 → 1

Calls

Call 1

Inputs
x
(.f64 x (.f64 y (neg.f64 x)))
(.f64 (.f64 x x) (neg.f64 y))
(.f64 x (-.f64 1 (.f64 x y)))
(-.f64 x (.f64 y (.f64 x x)))

Outputs
(.f64 x (-.f64 1 (.f64 x y)))

Calls

3 calls:

7.0ms	(.f64 x (-.f64 1 (.f64 x y)))
4.0ms	y
4.0ms	x

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`(.f64 x (-.f64 1 (.f64 x y)))`

Compiler

Compiled 44 to 24 computations (45.5% saved)

regimes26.0ms (1.4%)

Accuracy

Total -48.3b remaining (-382.6%)

Threshold costs -48.3b (-382.6%)

Counts

3 → 3

Calls

Call 1

Inputs
x
(.f64 x (.f64 y (neg.f64 x)))
(.f64 (.f64 x x) (neg.f64 y))

Outputs
(.f64 x (.f64 y (neg.f64 x)))
x
(.f64 x (.f64 y (neg.f64 x)))

Calls

2 calls:

15.0ms	x
10.0ms	y

Results

Error	Segments	Branch
16.7b	5	`x`
12.6b	3	`y`

Compiler

Compiled 21 to 12 computations (42.9% saved)

bsearch30.0ms (1.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
17.0ms	1.0301832778062986e+84	2.206248365216128e+94
13.0ms	-8.53115667055713e+64	-2.2942580570766368e+63

Results

22.0ms	272×	body	256	valid
4.0ms	41×	body	256	infinite

Compiler

Compiled 235 to 163 computations (30.6% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	73

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(*.f64 x (-.f64 1 (*.f64 x y)))

(if (<=.f64 y -30999999999999999053281188229093093017285678021395591728478552064) (*.f64 x (*.f64 y (neg.f64 x))) (if (<=.f64 y 13000000000000000129684526030113686114382619441795556603530616765217403419599914412562972672) x (*.f64 x (*.f64 y (neg.f64 x)))))

Outputs

(*.f64 x (-.f64 1 (*.f64 x y)))

(if (<=.f64 y -30999999999999999053281188229093093017285678021395591728478552064) (*.f64 x (*.f64 y (neg.f64 x))) (if (<=.f64 y 13000000000000000129684526030113686114382619441795556603530616765217403419599914412562972672) x (*.f64 x (*.f64 y (neg.f64 x)))))

Compiler

Compiled 35 to 19 computations (45.7% saved)

soundness0.0ms (0%)

end23.0ms (1.2%)

Compiler: Compiled 31 to 15 computations (51.6% saved)

Details

analyze47.0ms (2.5%)

sample723.0ms (38.9%)

preprocess66.0ms (3.5%)

simplify110.0ms (5.9%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize7.0ms (0.4%)

series3.0ms (0.2%)

rewrite80.0ms (4.3%)

simplify92.0ms (5%)

localize6.0ms (0.3%)

series3.0ms (0.2%)

rewrite105.0ms (5.6%)

simplify76.0ms (4.1%)

eval58.0ms (3.1%)

prune29.0ms (1.6%)

localize10.0ms (0.5%)

series1.0ms (0.1%)

rewrite73.0ms (3.9%)

simplify86.0ms (4.6%)

eval8.0ms (0.4%)

prune9.0ms (0.5%)

localize8.0ms (0.4%)

series0.0ms (0%)

rewrite67.0ms (3.6%)

simplify79.0ms (4.3%)

eval6.0ms (0.3%)

prune9.0ms (0.5%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes17.0ms (0.9%)

regimes26.0ms (1.4%)

bsearch30.0ms (1.6%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end23.0ms (1.2%)

Profiling