Details

analyze92.0ms (4.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
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
53.3%	50%	43.7%	0.1%	6.2%	0%	0%	7
63.3%	59.3%	34.3%	0.1%	6.2%	0%	0%	8
74.1%	67.1%	23.4%	0.1%	9.4%	0%	0%	9
80.2%	72.6%	18%	0.1%	9.4%	0%	0%	10
86.4%	76.9%	12.1%	0.1%	10.9%	0%	0%	11
89.7%	79.8%	9.2%	0.1%	10.9%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample997.0ms (48.6%)

Results

975.0ms	8256×	body	256	valid
11.0ms	148×	body	256	infinite

Bogosity

preprocess112.0ms (5.4%)

Algorithm

2×	egg-herbie

Rules

1366×	`rational_best_oopsla_all_46_json_45_simplify-7`
1318×	`rational_best_oopsla_all_46_json_45_simplify-49`
1180×	`rational_best_oopsla_all_46_json_45_simplify-72`
772×	`rational_best_oopsla_all_46_json_45_simplify-10`
742×	`rational_best_oopsla_all_46_json_45_simplify-31`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	29	26
2	125	26
3	580	26
4	3068	26
5	6630	26
0	2	2
1	2	2

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(.f64 (.f64 x 27) y)
(.f64 (.f64 y 27) x)

Outputs
(.f64 (.f64 x 27) y)
(.f64 x (.f64 27 y))
(.f64 (.f64 y 27) x)
(.f64 (.f64 x 27) y)
(.f64 x (.f64 27 y))

Symmetry

(sort x y)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify123.0ms (6%)

Algorithm

1×	egg-herbie

Rules

1688×	`rational_best_oopsla_all_46_json_45_simplify-23`
1218×	`rational_best_oopsla_all_46_json_45_simplify-35`
1156×	`rational_best_oopsla_all_46_json_45_simplify-10`
810×	`rational_best_oopsla_all_46_json_45_simplify-49`
628×	`rational_best_oopsla_all_46_json_45_simplify-7`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	17	13
2	69	13
3	319	13
4	1594	13
5	4886	13
6	7248	13

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

Inputs
(.f64 (.f64 x 27) y)

Outputs
(.f64 (.f64 x 27) y)
(.f64 x (.f64 y 27))
(.f64 x (.f64 27 y))

eval1.0ms (0%)

Compiler: Compiled 17 to 11 computations (35.3% 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.1b

Counts

4 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.3b	(.f64 (.f64 x 27) y)
▶	0.2b	(.f64 x (.f64 y 27))

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 x (.f64 y 27))

Compiler

Compiled 13 to 8 computations (38.5% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite67.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1756×	`rational_best_oopsla_all_46_json-2`
1756×	`rational_best_oopsla_all_46_json-1`
1756×	`rational_best_oopsla_all_46_json-4`
1756×	`rational_best_oopsla_all_46_json-3`
990×	`rational_best_oopsla_all_46_json_45_simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	49	13
2	180	13
3	837	13
4	4049	13

Stop Event

1×	node limit

Counts

1 → 32

Calls

Call 1

Inputs
(.f64 x (.f64 y 27))

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

Outputs

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

simplify114.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

1210×	`rational_best_oopsla_all_46_json_45_simplify-89`
1210×	`rational_best_oopsla_all_46_json_45_simplify-49`
926×	`rational_best_oopsla_all_46_json_45_simplify-24`
920×	`rational_best_oopsla_all_46_json_45_simplify-74`
824×	`rational_best_oopsla_all_46_json_45_simplify-10`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	82	1116
1	292	1116
2	1283	1116
3	4769	1116

Stop Event

1×	node limit

Counts

56 → 49

Calls

Call 1

Inputs
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 y 27)) 0)
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54)))))
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (.f64 (/.f64 x x) (.f64 y (.f64 27 (/.f64 x x))))))
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (.f64 27 (*.f64 x (/.f64 y y)))))
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (*.f64 y -27)))))
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (.f64 x (/.f64 (*.f64 y 27) x))))
(+.f64 0 (.f64 x (.f64 y 27)))
(+.f64 (.f64 0 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54)))) (.f64 x (.f64 y 27)))
(+.f64 (.f64 0 (.f64 (/.f64 x x) (.f64 y (.f64 27 (/.f64 x x))))) (.f64 x (.f64 y 27)))
(+.f64 (.f64 0 (.f64 27 (.f64 x (/.f64 y y)))) (.f64 x (*.f64 y 27)))
(+.f64 (.f64 0 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27)))) (.f64 x (*.f64 y 27)))
(+.f64 (.f64 0 (.f64 x (/.f64 (.f64 y 27) x))) (.f64 x (*.f64 y 27)))
(-.f64 (.f64 x (.f64 y 27)) 0)
(-.f64 0 (.f64 x (.f64 y -27)))
(-.f64 (.f64 0 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54)))) (.f64 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54))) (*.f64 y -27)))
(-.f64 (.f64 0 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27)))) (.f64 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27))) (.f64 x (.f64 y -27))))
(/.f64 (.f64 x (.f64 y 27)) 1)
(/.f64 (.f64 x (.f64 y 27)) (/.f64 y y))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 x x))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 y 54) (.f64 y 54)))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x 27) (.f64 x 27)))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 (/.f64 x x) (.f64 y -27)) (.f64 (/.f64 x x) (.f64 y -27))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 -27 (/.f64 y y)) (.f64 -27 (/.f64 y y))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 (/.f64 x x) (.f64 y (.f64 27 (/.f64 x x)))) (.f64 (/.f64 x x) (.f64 y (.f64 27 (/.f64 x x))))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 27 (.f64 x (/.f64 y y))) (.f64 27 (.f64 x (/.f64 y y)))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54))) (.f64 x (/.f64 (.f64 y 54) (.f64 y 54)))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x y) (.f64 x y)))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27))) (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27)))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x (/.f64 (.f64 y 27) x)) (.f64 x (/.f64 (.f64 y 27) x))))
(neg.f64 (.f64 x (.f64 y -27)))

Outputs
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 y 27)) 0)
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54)))))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (.f64 (/.f64 x x) (.f64 y (.f64 27 (/.f64 x x))))))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (.f64 27 (*.f64 x (/.f64 y y)))))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (*.f64 y -27)))))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 y 27)) (.f64 0 (.f64 x (/.f64 (*.f64 y 27) x))))
(.f64 27 (.f64 y x))
(+.f64 0 (.f64 x (.f64 y 27)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54)))) (.f64 x (.f64 y 27)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (.f64 (/.f64 x x) (.f64 y (.f64 27 (/.f64 x x))))) (.f64 x (.f64 y 27)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (.f64 27 (.f64 x (/.f64 y y)))) (.f64 x (*.f64 y 27)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27)))) (.f64 x (*.f64 y 27)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (.f64 x (/.f64 (.f64 y 27) x))) (.f64 x (*.f64 y 27)))
(.f64 27 (.f64 y x))
(-.f64 (.f64 x (.f64 y 27)) 0)
(.f64 27 (.f64 y x))
(-.f64 0 (.f64 x (.f64 y -27)))
(neg.f64 (.f64 y (.f64 x -27)))
(-.f64 (.f64 0 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54)))) (.f64 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54))) (*.f64 y -27)))
(neg.f64 (.f64 y (.f64 x -27)))
(-.f64 (.f64 0 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27)))) (.f64 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27))) (.f64 x (.f64 y -27))))
(neg.f64 (.f64 y (.f64 x -27)))
(/.f64 (.f64 x (.f64 y 27)) 1)
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 y y))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 x x))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 y 54) (.f64 y 54)))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y 54) (.f64 y 54)))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y 108) (.f64 y 108)))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y -27) (.f64 y -27)))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y (.f64 x -27)) (.f64 y (.f64 x -27))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (/.f64 x x) (/.f64 x x)))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x 27) (.f64 x 27)))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 (/.f64 x x) (.f64 y -27)) (.f64 (/.f64 x x) (.f64 y -27))))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 -27 (/.f64 y y)) (.f64 -27 (/.f64 y y))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 (/.f64 y y) -27) (.f64 (/.f64 y y) -27)))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 (/.f64 x x) (.f64 y (.f64 27 (/.f64 x x)))) (.f64 (/.f64 x x) (.f64 y (.f64 27 (/.f64 x x))))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y (.f64 (/.f64 x x) (.f64 27 (/.f64 x x)))) (.f64 y (.f64 (/.f64 x x) (.f64 27 (/.f64 x x))))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 27 (.f64 (/.f64 x x) (.f64 y (/.f64 x x)))) (.f64 27 (.f64 (/.f64 x x) (.f64 y (/.f64 x x))))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 (/.f64 x x) (.f64 27 (.f64 y (/.f64 x x)))) (.f64 (/.f64 x x) (.f64 27 (.f64 y (/.f64 x x))))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 27 (.f64 x (/.f64 y y))) (.f64 27 (.f64 x (/.f64 y y)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 27 (.f64 x (/.f64 y y))) (.f64 27 (.f64 x (/.f64 y y)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 (/.f64 y y) (.f64 27 x)) (.f64 (/.f64 y y) (.f64 27 x))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54))) (.f64 x (/.f64 (.f64 y 54) (.f64 y 54)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 x (/.f64 (.f64 y 54) (.f64 y 54))) (.f64 x (/.f64 (.f64 y 54) (.f64 y 54)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 x (/.f64 (.f64 y 108) (.f64 y 108))) (.f64 x (/.f64 (.f64 y 108) (.f64 y 108)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 x (/.f64 (.f64 y -27) (.f64 y -27))) (.f64 x (/.f64 (.f64 y -27) (.f64 y -27)))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x y) (.f64 x y)))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27))) (/.f64 (.f64 x (.f64 y -27)) (.f64 x (.f64 y -27)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (/.f64 (.f64 y (.f64 x -27)) (.f64 y (.f64 x -27))) (/.f64 (.f64 y (.f64 x -27)) (.f64 y (.f64 x -27)))))
(/.f64 (.f64 x (.f64 y 27)) (/.f64 (.f64 x (/.f64 (.f64 y 27) x)) (.f64 x (/.f64 (.f64 y 27) x))))
(.f64 27 (.f64 y x))
(neg.f64 (.f64 x (.f64 y -27)))
(neg.f64 (.f64 y (.f64 x -27)))

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 x 27) y)

Compiler

Compiled 13 to 8 computations (38.5% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite69.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1812×	`rational_best_oopsla_all_46_json-2`
1812×	`rational_best_oopsla_all_46_json-1`
1812×	`rational_best_oopsla_all_46_json-4`
1812×	`rational_best_oopsla_all_46_json-3`
994×	`rational_best_oopsla_all_46_json_45_simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	47	13
2	168	13
3	842	13
4	4171	13

Stop Event

1×	node limit

Counts

1 → 35

Calls

Call 1

Inputs
(.f64 (.f64 x 27) y)

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

Outputs

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

simplify84.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1300×	`rational_best_oopsla_all_46_json_45_simplify-89`
1180×	`rational_best_oopsla_all_46_json_45_simplify-49`
982×	`rational_best_oopsla_all_46_json_45_simplify-74`
968×	`rational_best_oopsla_all_46_json_45_simplify-24`
822×	`rational_best_oopsla_all_46_json_45_simplify-10`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	84	1307
1	294	1303
2	1335	1303
3	4899	1303

Stop Event

1×	node limit

Counts

59 → 62

Calls

Call 1

Inputs
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 27 y)) 0)
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (*.f64 27 y)))))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27)))))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (*.f64 x 27))))))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 27 y)))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 27 (*.f64 y (/.f64 x x)))))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 (*.f64 x 27) (/.f64 y y))))
(+.f64 0 (.f64 x (.f64 27 y)))
(+.f64 (.f64 0 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y)))) (.f64 x (*.f64 27 y)))
(+.f64 (.f64 0 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27)))) (.f64 x (.f64 27 y)))
(+.f64 (.f64 0 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27))))) (.f64 x (*.f64 27 y)))
(+.f64 (.f64 0 (.f64 27 y)) (.f64 x (.f64 27 y)))
(+.f64 (.f64 0 (.f64 27 (.f64 y (/.f64 x x)))) (.f64 x (*.f64 27 y)))
(+.f64 (.f64 0 (.f64 (.f64 x 27) (/.f64 y y))) (.f64 x (*.f64 27 y)))
(-.f64 (.f64 x (.f64 27 y)) 0)
(-.f64 0 (.f64 y (.f64 x -27)))
(-.f64 (.f64 0 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y)))) (.f64 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y))) (.f64 y (.f64 x -27))))
(-.f64 (.f64 0 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27)))) (.f64 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27))) (*.f64 x -27)))
(-.f64 (.f64 0 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27))))) (.f64 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27)))) (*.f64 x -27)))
(/.f64 (.f64 x (.f64 27 y)) 1)
(/.f64 (.f64 x (.f64 27 y)) (/.f64 x x))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 x 27) (.f64 x 27)))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 y y))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 y (/.f64 (.f64 x 27) (.f64 x 27))) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27)))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 (/.f64 x x) 54) (.f64 (/.f64 x x) 54)))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (/.f64 (.f64 x 27) (.f64 x 27))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 (.f64 x 27) (/.f64 y y)) (.f64 (.f64 x 27) (/.f64 y y))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 27 y) (.f64 27 y)))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27)))) (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27))))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y))) (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y)))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27))) (.f64 (.f64 x 27) (/.f64 y (.f64 x 27)))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 27 (.f64 y (/.f64 x x))) (.f64 27 (.f64 y (/.f64 x x)))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 x y) (.f64 x y)))
(neg.f64 (.f64 y (.f64 x -27)))

Outputs
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 27 y)) 0)
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (*.f64 27 y)))))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27)))))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (*.f64 x 27))))))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 27 y)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 27 (*.f64 y (/.f64 x x)))))
(.f64 27 (.f64 y x))
(+.f64 (.f64 x (.f64 27 y)) (.f64 0 (.f64 (*.f64 x 27) (/.f64 y y))))
(.f64 27 (.f64 y x))
(+.f64 0 (.f64 x (.f64 27 y)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y)))) (.f64 x (*.f64 27 y)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27)))) (.f64 x (.f64 27 y)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27))))) (.f64 x (*.f64 27 y)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (.f64 27 y)) (.f64 x (.f64 27 y)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (.f64 27 (.f64 y (/.f64 x x)))) (.f64 x (*.f64 27 y)))
(.f64 27 (.f64 y x))
(+.f64 (.f64 0 (.f64 (.f64 x 27) (/.f64 y y))) (.f64 x (*.f64 27 y)))
(.f64 27 (.f64 y x))
(-.f64 (.f64 x (.f64 27 y)) 0)
(.f64 27 (.f64 y x))
(-.f64 0 (.f64 y (.f64 x -27)))
(neg.f64 (.f64 y (.f64 x -27)))
(neg.f64 (.f64 -27 (.f64 y x)))
(-.f64 (.f64 0 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y)))) (.f64 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y))) (.f64 y (.f64 x -27))))
(.f64 (/.f64 (.f64 27 (.f64 y x)) (.f64 27 (.f64 y x))) (neg.f64 (.f64 y (*.f64 x -27))))
(.f64 (/.f64 (.f64 27 (.f64 y x)) (.f64 27 (.f64 y x))) (neg.f64 (.f64 -27 (*.f64 y x))))
(.f64 (/.f64 (.f64 y (.f64 x 54)) (.f64 y (.f64 x 54))) (neg.f64 (.f64 y (*.f64 x -27))))
(-.f64 (.f64 0 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27)))) (.f64 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27))) (*.f64 x -27)))
(.f64 (.f64 (.f64 27 x) (/.f64 y (.f64 27 x))) (-.f64 0 (*.f64 x -27)))
(.f64 (.f64 x (.f64 (/.f64 y (.f64 27 x)) 27)) (neg.f64 (*.f64 x -27)))
(.f64 (.f64 x (.f64 27 (/.f64 y (.f64 27 x)))) (neg.f64 (*.f64 x -27)))
(.f64 (.f64 27 (.f64 x (/.f64 y (.f64 27 x)))) (neg.f64 (*.f64 x -27)))
(-.f64 (.f64 0 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27))))) (.f64 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27)))) (*.f64 x -27)))
(.f64 (.f64 y (.f64 (/.f64 (.f64 27 x) (.f64 27 x)) (/.f64 (.f64 27 x) (.f64 27 x)))) (-.f64 0 (.f64 x -27)))
(.f64 (.f64 y (.f64 (/.f64 (.f64 27 x) (.f64 27 x)) (/.f64 (.f64 27 x) (.f64 27 x)))) (neg.f64 (.f64 x -27)))
(.f64 (.f64 y (.f64 (/.f64 (.f64 x 54) (.f64 x 54)) (/.f64 (.f64 x 54) (.f64 x 54)))) (neg.f64 (.f64 x -27)))
(/.f64 (.f64 x (.f64 27 y)) 1)
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 x x))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 x 27) (.f64 x 27)))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 y y))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 27 (.f64 y x)) (.f64 27 (.f64 y x))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y (.f64 x 54)) (.f64 y (.f64 x 54))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 y (/.f64 (.f64 x 27) (.f64 x 27))) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y (/.f64 (.f64 27 x) (.f64 27 x))) (.f64 y (/.f64 (.f64 27 x) (.f64 27 x)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y (/.f64 (.f64 x 54) (.f64 x 54))) (.f64 y (/.f64 (.f64 x 54) (.f64 x 54)))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 (/.f64 x x) 54) (.f64 (/.f64 x x) 54)))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 (/.f64 x x) 54) (.f64 (/.f64 x x) 54)))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 (/.f64 x x) 108) (.f64 (/.f64 x x) 108)))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (/.f64 (.f64 x 27) (.f64 x 27))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (/.f64 (.f64 27 x) (.f64 27 x)) (/.f64 (.f64 27 x) (.f64 27 x))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (/.f64 (.f64 x 54) (.f64 x 54)) (/.f64 (.f64 x 54) (.f64 x 54))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 (.f64 x 27) (/.f64 y y)) (.f64 (.f64 x 27) (/.f64 y y))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 (.f64 27 x) (/.f64 y y)) (.f64 (.f64 27 x) (/.f64 y y))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 (/.f64 y y) (.f64 x 54)) (.f64 (/.f64 y y) (.f64 x 54))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 27 (.f64 x (/.f64 y y))) (.f64 27 (.f64 x (/.f64 y y)))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 27 y) (.f64 27 y)))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27)))) (.f64 (/.f64 (.f64 x 27) (.f64 x 27)) (.f64 y (/.f64 (.f64 x 27) (.f64 x 27))))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y (.f64 (/.f64 (.f64 27 x) (.f64 27 x)) (/.f64 (.f64 27 x) (.f64 27 x)))) (.f64 y (.f64 (/.f64 (.f64 27 x) (.f64 27 x)) (/.f64 (.f64 27 x) (.f64 27 x))))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (.f64 y (.f64 (/.f64 (.f64 x 54) (.f64 x 54)) (/.f64 (.f64 x 54) (.f64 x 54)))) (.f64 y (.f64 (/.f64 (.f64 x 54) (.f64 x 54)) (/.f64 (.f64 x 54) (.f64 x 54))))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y))) (/.f64 (.f64 x (.f64 27 y)) (.f64 x (.f64 27 y)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (/.f64 (.f64 27 (.f64 y x)) (.f64 27 (.f64 y x))) (/.f64 (.f64 27 (.f64 y x)) (.f64 27 (.f64 y x)))))
(/.f64 (.f64 27 (.f64 y x)) (/.f64 (/.f64 (.f64 y (.f64 x 54)) (.f64 y (.f64 x 54))) (/.f64 (.f64 y (.f64 x 54)) (.f64 y (.f64 x 54)))))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 (.f64 x 27) (/.f64 y (.f64 x 27))) (.f64 (.f64 x 27) (/.f64 y (.f64 x 27)))))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 27 (.f64 y (/.f64 x x))) (.f64 27 (.f64 y (/.f64 x x)))))
(.f64 27 (.f64 y x))
(/.f64 (.f64 x (.f64 27 y)) (/.f64 (.f64 x y) (.f64 x y)))
(.f64 27 (.f64 y x))
(neg.f64 (.f64 y (.f64 x -27)))
(neg.f64 (.f64 -27 (.f64 y x)))

eval32.0ms (1.6%)

Compiler: Compiled 2017 to 1223 computations (39.4% saved)

prune17.0ms (0.8%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	110	3	113

Error

0.0b

Counts

113 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.3b	(.f64 (.f64 x 27) y)
✓	0.2b	(.f64 x (.f64 y 27))
▶	0.3b	(.f64 27 (.f64 y x))

Compiler

Compiled 21 to 15 computations (28.6% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 27 (.f64 y x))

Compiler

Compiled 13 to 6 computations (53.8% saved)

series0.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite62.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

1400×	`rational_best_oopsla_all_46_json-2`
1400×	`rational_best_oopsla_all_46_json-1`
1400×	`rational_best_oopsla_all_46_json-4`
1400×	`rational_best_oopsla_all_46_json-3`
1080×	`rational_best_oopsla_all_46_json_45_simplify-72`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	154	13
3	704	13
4	3156	13

Stop Event

1×	node limit

Counts

1 → 27

Calls

Call 1

Inputs
(.f64 27 (.f64 y x))

Outputs

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

simplify69.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1138×	`rational_best_oopsla_all_46_json_45_simplify-7`
1138×	`rational_best_oopsla_all_46_json_45_simplify-49`
1114×	`rational_best_oopsla_all_46_json_45_simplify-80`
730×	`rational_best_oopsla_all_46_json_45_simplify-89`
588×	`rational_best_oopsla_all_46_json_45_simplify-24`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	351
1	207	351
2	858	351
3	3753	351

Stop Event

1×	node limit

Counts

27 → 28

Calls

Call 1

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

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

eval7.0ms (0.3%)

Compiler: Compiled 402 to 195 computations (51.5% saved)

prune5.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

31 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.3b	(.f64 (.f64 x 27) y)
✓	0.2b	(.f64 x (.f64 y 27))
✓	0.3b	(.f64 27 (.f64 y x))

Compiler

Compiled 21 to 15 computations (28.6% saved)

regimes18.0ms (0.9%)

Accuracy

Total -0.3b remaining (-139.3%)

Threshold costs -0.3b (-139.3%)

Counts

3 → 1

Calls

Call 1

Inputs
(.f64 27 (.f64 y x))
(.f64 x (.f64 y 27))
(.f64 (.f64 x 27) y)

Outputs
(.f64 x (.f64 y 27))

Calls

4 calls:

7.0ms	(*.f64 x 27)
4.0ms	x
3.0ms	y
3.0ms	(.f64 (.f64 x 27) y)

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`y`
0.2b	1	`(.f64 (.f64 x 27) y)`
0.2b	1	`(*.f64 x 27)`

Compiler

Compiled 35 to 24 computations (31.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(.f64 x (.f64 y 27))
(.f64 27 (.f64 y x))

Outputs
(.f64 x (.f64 y 27))
(.f64 27 (.f64 y x))

Compiler

Compiled 14 to 10 computations (28.6% saved)

soundness146.0ms (7.1%)

Algorithm

1×	egg-herbie

Rules

1688×	`rational_best_oopsla_all_46_json_45_simplify-23`
1218×	`rational_best_oopsla_all_46_json_45_simplify-35`
1156×	`rational_best_oopsla_all_46_json_45_simplify-10`
810×	`rational_best_oopsla_all_46_json_45_simplify-49`
628×	`rational_best_oopsla_all_46_json_45_simplify-7`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	17	13
2	69	13
3	319	13
4	1594	13
5	4886	13
6	7248	13

Stop Event

1×	node limit

Compiler

Compiled 17 to 11 computations (35.3% saved)

end17.0ms (0.8%)

Remove: (sort x y)
Compiler: Compiled 26 to 18 computations (30.8% saved)

Details

analyze92.0ms (4.5%)

sample997.0ms (48.6%)

preprocess112.0ms (5.4%)

simplify123.0ms (6%)

eval1.0ms (0%)

prune1.0ms (0.1%)

localize5.0ms (0.2%)

series3.0ms (0.1%)

rewrite67.0ms (3.3%)

simplify114.0ms (5.5%)

localize6.0ms (0.3%)

series0.0ms (0%)

rewrite69.0ms (3.4%)

simplify84.0ms (4.1%)

eval32.0ms (1.6%)

prune17.0ms (0.8%)

localize4.0ms (0.2%)

series0.0ms (0%)

rewrite62.0ms (3%)

simplify69.0ms (3.4%)

eval7.0ms (0.3%)

prune5.0ms (0.2%)

regimes18.0ms (0.9%)

simplify2.0ms (0.1%)

soundness146.0ms (7.1%)

end17.0ms (0.8%)

Profiling