Details

analyze84.0ms (5.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
28.6%	25%	62.4%	0.1%	12.5%	0%	0%	6
32%	25%	53.1%	0.1%	21.9%	0%	0%	7
41.7%	31.2%	43.7%	0.1%	25%	0%	0%	8
54.3%	39%	32.8%	0.1%	28.1%	0%	0%	9
62.9%	42.9%	25.4%	0.1%	31.6%	0%	0%	10
72.5%	47.2%	18%	0.1%	34.7%	0%	0%	11
78.4%	49.4%	13.6%	0.1%	37%	0%	0%	12

Compiler

Compiled 16 to 10 computations (37.5% saved)

sample905.0ms (57.5%)

Results

793.0ms	8256×	body	256	valid
99.0ms	982×	body	256	infinite

Bogosity

preprocess17.0ms (1.1%)

Algorithm

2×	egg-herbie

Rules

18×	`rational_best-simplify-1`
16×	`rational_best-simplify-2`
8×	`rational_best-simplify-51`
8×	`rational_best-simplify-43`
6×	`rational_best-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	26	74
2	40	62
3	52	62
4	54	62
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

Inputs
(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))
(+.f64 (+.f64 (.f64 y y) (.f64 (.f64 y 2) x)) (.f64 x x))

Outputs
(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))
(+.f64 (.f64 x x) (+.f64 (.f64 x (.f64 2 y)) (.f64 y y)))
(+.f64 (.f64 x x) (.f64 y (+.f64 y (*.f64 x 2))))
(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))
(+.f64 (+.f64 (.f64 y y) (.f64 (.f64 y 2) x)) (.f64 x x))
(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))
(+.f64 (.f64 x x) (+.f64 (.f64 x (.f64 2 y)) (.f64 y y)))
(+.f64 (.f64 x x) (.f64 y (+.f64 y (*.f64 x 2))))
(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))

Symmetry

(sort x y)

Compiler

Compiled 17 to 11 computations (35.3% saved)

simplify12.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

16×	`rational_best-simplify-2`
16×	`rational_best-simplify-1`
4×	`rational_best-simplify-22`
4×	`rational_best-simplify-51`
4×	`rational_best-simplify-44`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	11	37
1	18	37
2	26	31
3	39	31
4	43	31

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

Inputs
(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))

Outputs
(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))
(+.f64 (.f64 x x) (+.f64 (.f64 x (.f64 y 2)) (.f64 y y)))
(+.f64 (.f64 x x) (.f64 y (+.f64 y (*.f64 x 2))))
(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))

eval1.0ms (0.1%)

Compiler: Compiled 50 to 24 computations (52% saved)

prune1.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

5 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))
▶	0.0b	(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))

Compiler

Compiled 28 to 17 computations (39.3% saved)

localize19.0ms (1.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))
✓	0.0b	(.f64 y (+.f64 (.f64 x 2) y))

Compiler

Compiled 34 to 18 computations (47.1% saved)

series3.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

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

rewrite28.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

52×	`rational_best-simplify-2`
36×	`rational_best-2`
36×	`rational_best-3`
36×	`rational_best-1`
32×	`rational_best-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	50
1	68	50
2	105	50
3	115	50
4	121	50
5	139	50
6	151	50
7	166	50
8	183	50
9	188	50
10	205	50
11	219	50
12	224	50
13	225	50

Stop Event

1×

saturated

Counts

2 → 10

Calls

Call 1

Inputs
(.f64 y (+.f64 (.f64 x 2) y))
(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))

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

Outputs

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

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

simplify24.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

24×	`rational_best-simplify-1`
20×	`rational_best-simplify-2`
8×	`rational_best-simplify-6`
8×	`rational_best-simplify-43`
6×	`rational_best-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	1396
1	46	1396
2	63	1396
3	69	1396
4	69	1396

Stop Event

1×

saturated

Counts

58 → 18

Calls

Call 1

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

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

localize16.0ms (1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x x) (.f64 (*.f64 x 2) y))

Compiler

Compiled 41 to 19 computations (53.7% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite30.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

172×	`rational_best-simplify-2`
116×	`rational_best-simplify-44`
94×	`rational_best-2`
94×	`rational_best-3`
94×	`rational_best-1`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	61	25
2	100	19
3	126	19
4	144	19
5	163	19
6	175	19
7	189	19
8	206	19
9	223	19
10	309	19
11	429	19
12	524	19
13	553	19

Stop Event

1×

saturated

Counts

1 → 14

Calls

Call 1

Inputs
(+.f64 (.f64 x x) (.f64 (*.f64 x 2) y))

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

Outputs

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

simplify28.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

114×	`rational_best-simplify-2`
60×	`rational_best-simplify-44`
24×	`rational_best-simplify-47`
18×	`rational_best-simplify-5`
16×	`rational_best-simplify-6`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	832
1	53	832
2	71	832
3	79	832
4	98	832
5	132	832
6	165	832
7	174	832
8	176	832

Stop Event

1×

saturated

Counts

38 → 21

Calls

Call 1

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

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

eval7.0ms (0.4%)

Compiler: Compiled 467 to 236 computations (49.5% saved)

prune6.0ms (0.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	36	3	39
Fresh	0	0	0
Picked	1	0	1
Done	1	0	1
Total	38	3	41

Error

Counts

41 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0b	(+.f64 (.f64 (+.f64 x (.f64 2 y)) x) (*.f64 y y))
▶	28.9b	(+.f64 (.f64 x x) (.f64 2 (*.f64 y x)))
▶	28.1b	(+.f64 (.f64 2 (.f64 y x)) (*.f64 y y))

Compiler

Compiled 35 to 22 computations (37.1% saved)

localize8.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 2 (.f64 y x))
✓	0.0b	(+.f64 (.f64 2 (.f64 y x)) (*.f64 y y))

Compiler

Compiled 25 to 10 computations (60% saved)

series2.0ms (0.1%)

Counts

2 → 24

Calls

12 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(.f64 2 (.f64 y x))
0.0ms	x	@	inf	(.f64 2 (.f64 y x))
0.0ms	x	@	0	(.f64 2 (.f64 y x))
0.0ms	y	@	inf	(.f64 2 (.f64 y x))
0.0ms	y	@	0	(+.f64 (.f64 2 (.f64 y x)) (*.f64 y y))

rewrite32.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

172×	`rational_best-simplify-2`
114×	`rational_best-simplify-44`
94×	`rational_best-2`
94×	`rational_best-3`
94×	`rational_best-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	63	32
2	109	32
3	136	32
4	145	32
5	163	32
6	175	32
7	189	32
8	206	32
9	223	32
10	309	32
11	440	32
12	533	32
13	562	32

Stop Event

1×

saturated

Counts

2 → 22

Calls

Call 1

Inputs
(+.f64 (.f64 2 (.f64 y x)) (*.f64 y y))
(.f64 2 (.f64 y x))

Outputs

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

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

simplify31.0ms (2%)

Algorithm

1×	egg-herbie

Rules

210×	`rational_best-simplify-2`
130×	`rational_best-simplify-44`
58×	`rational_best-simplify-47`
28×	`rational_best-simplify-6`
26×	`rational_best-simplify-5`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	936
1	67	936
2	104	936
3	142	936
4	205	936
5	272	936
6	322	936
7	325	936

Stop Event

1×

saturated

Counts

46 → 26

Calls

Call 1

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

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

localize9.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(.f64 2 (.f64 y x))
✓	0.0b	(+.f64 (.f64 x x) (.f64 2 (*.f64 y x)))

Compiler

Compiled 25 to 10 computations (60% saved)

series0.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite31.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

168×	`rational_best-simplify-2`
136×	`rational_best-simplify-44`
94×	`rational_best-2`
94×	`rational_best-3`
94×	`rational_best-1`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	63	25
2	107	19
3	128	19
4	144	19
5	163	19
6	175	19
7	189	19
8	206	19
9	223	19
10	309	19
11	449	19
12	547	19
13	576	19

Stop Event

1×

saturated

Counts

1 → 14

Calls

Call 1

Inputs
(+.f64 (.f64 x x) (.f64 2 (*.f64 y x)))

Outputs

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

simplify28.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

114×	`rational_best-simplify-2`
60×	`rational_best-simplify-44`
24×	`rational_best-simplify-47`
18×	`rational_best-simplify-5`
16×	`rational_best-simplify-6`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	832
1	53	832
2	71	832
3	79	832
4	98	832
5	132	832
6	165	832
7	174	832
8	176	832

Stop Event

1×

saturated

Counts

38 → 21

Calls

Call 1

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

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

localize12.0ms (0.8%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (+.f64 x (.f64 2 y)) x)

Compiler

Compiled 34 to 18 computations (47.1% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite12.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

18×	`rational_best-simplify-2`
16×	`rational_best-simplify-1`
14×	`rational_best-4`
14×	`rational_best-2`
14×	`rational_best-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	53	19
2	77	19
3	78	19

Stop Event

1×

saturated

Counts

1 → 5

Calls

Call 1

Inputs
(.f64 (+.f64 x (.f64 2 y)) x)

Outputs

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

simplify16.0ms (1%)

Algorithm

1×	egg-herbie

Rules

18×	`rational_best-simplify-2`
6×	`rational_best-simplify-1`
6×	`rational_best-simplify-6`
4×	`rational_best-simplify-47`
4×	`rational_best-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	605
1	29	605
2	38	605
3	40	605

Stop Event

1×

saturated

Counts

29 → 9

Calls

Call 1

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

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

eval11.0ms (0.7%)

Compiler: Compiled 608 to 334 computations (45.1% saved)

prune10.0ms (0.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	61	3	64
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	61	6	67

Error

Counts

67 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(+.f64 (.f64 (+.f64 x (.f64 2 y)) x) (*.f64 y y))
✓	28.9b	(+.f64 (.f64 x x) (.f64 2 (*.f64 y x)))
✓	28.1b	(+.f64 (.f64 2 (.f64 y x)) (*.f64 y y))
▶	28.1b	(.f64 (+.f64 y (.f64 2 x)) y)
▶	28.9b	(.f64 (+.f64 x (.f64 2 y)) x)
▶	56.3b	(.f64 2 (.f64 y x))

Compiler

Compiled 60 to 39 computations (35% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(.f64 2 (.f64 y x))

Compiler

Compiled 13 to 6 computations (53.8% saved)

localize8.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(.f64 (+.f64 x (.f64 2 y)) x)

Compiler

Compiled 20 to 12 computations (40% saved)

localize8.0ms (0.5%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (+.f64 y (.f64 2 x)) y)

Compiler

Compiled 20 to 12 computations (40% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite12.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

18×	`rational_best-simplify-2`
16×	`rational_best-simplify-1`
14×	`rational_best-4`
14×	`rational_best-2`
14×	`rational_best-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	53	19
2	77	19
3	78	19

Stop Event

1×

saturated

Counts

1 → 5

Calls

Call 1

Inputs
(.f64 (+.f64 y (.f64 2 x)) y)

Outputs

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

simplify16.0ms (1%)

Algorithm

1×	egg-herbie

Rules

20×	`rational_best-simplify-2`
6×	`rational_best-simplify-1`
6×	`rational_best-simplify-6`
6×	`rational_best-simplify-44`
4×	`rational_best-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	605
1	28	605
2	39	605
3	42	605

Stop Event

1×

saturated

Counts

29 → 9

Calls

Call 1

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

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

eval4.0ms (0.3%)

Compiler: Compiled 195 to 123 computations (36.9% saved)

prune6.0ms (0.4%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	0	0
Picked	0	1	1
Done	0	5	5
Total	26	6	32

Error

Counts

32 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(+.f64 (.f64 (+.f64 x (.f64 2 y)) x) (*.f64 y y))
✓	28.9b	(+.f64 (.f64 x x) (.f64 2 (*.f64 y x)))
✓	28.1b	(+.f64 (.f64 2 (.f64 y x)) (*.f64 y y))
✓	28.1b	(.f64 (+.f64 y (.f64 2 x)) y)
✓	28.9b	(.f64 (+.f64 x (.f64 2 y)) x)
✓	56.3b	(.f64 2 (.f64 y x))

Compiler

Compiled 60 to 39 computations (35% saved)

regimes22.0ms (1.4%)

Counts

8 → 1

Calls

Call 1

Inputs
(.f64 2 (.f64 y x))
(.f64 (+.f64 x (.f64 2 y)) x)
(.f64 (+.f64 y (.f64 2 x)) y)
(+.f64 (.f64 2 (.f64 y x)) (*.f64 y y))
(+.f64 (.f64 x x) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))
(+.f64 (.f64 (+.f64 x (.f64 2 y)) x) (*.f64 y y))
(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))

Outputs
(+.f64 (.f64 (+.f64 x (.f64 2 y)) x) (*.f64 y y))

Calls

3 calls:

9.0ms	y
6.0ms	x
5.0ms	(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))

Results

Error	Segments	Branch
0b	1	`x`
0b	1	`y`
0b	1	`(+.f64 (+.f64 (.f64 x x) (.f64 (.f64 x 2) y)) (.f64 y y))`

Compiler

Compiled 95 to 49 computations (48.4% saved)

regimes12.0ms (0.8%)

Counts

6 → 1

Calls

Call 1

Inputs
(.f64 2 (.f64 y x))
(.f64 (+.f64 x (.f64 2 y)) x)
(.f64 (+.f64 y (.f64 2 x)) y)
(+.f64 (.f64 2 (.f64 y x)) (*.f64 y y))
(+.f64 (.f64 x x) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))

Outputs
(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))

Calls

2 calls:

6.0ms	x
5.0ms	y

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`

Compiler

Compiled 56 to 30 computations (46.4% saved)

regimes19.0ms (1.2%)

Counts

5 → 2

Calls

Call 1

Inputs
(.f64 2 (.f64 y x))
(.f64 (+.f64 x (.f64 2 y)) x)
(.f64 (+.f64 y (.f64 2 x)) y)
(+.f64 (.f64 2 (.f64 y x)) (*.f64 y y))
(+.f64 (.f64 x x) (.f64 2 (*.f64 y x)))

Outputs
(.f64 (+.f64 x (.f64 2 y)) x)
(.f64 (+.f64 y (.f64 2 x)) y)

Calls

2 calls:

9.0ms	y
9.0ms	x

Results

Error	Segments	Branch
7.0b	2	`x`
8.2b	2	`y`

Compiler

Compiled 45 to 25 computations (44.4% saved)

bsearch17.0ms (1.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
17.0ms	-7.850728444896704e-139	-9.364252930327105e-144

Results

15.0ms

144×

body

256

valid

Compiler

Compiled 200 to 139 computations (30.5% saved)

regimes7.0ms (0.4%)

Accuracy

Total -27.5b remaining (-95.1%)

Threshold costs -27.5b (-95.1%)

Counts

2 → 1

Calls

Call 1

Inputs
(.f64 2 (.f64 y x))
(.f64 (+.f64 x (.f64 2 y)) x)

Outputs
(.f64 (+.f64 x (.f64 2 y)) x)

Calls

2 calls:

3.0ms	x
3.0ms	y

Results

Error	Segments	Branch
28.9b	1	`x`
28.9b	1	`y`

Compiler

Compiled 20 to 13 computations (35% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	141

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 (+.f64 x (.f64 2 y)) x) (*.f64 y y))
(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))
(if (<=.f64 x -4290498537581631/6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503042048) (.f64 (+.f64 x (.f64 2 y)) x) (.f64 (+.f64 y (.f64 2 x)) y))
(.f64 (+.f64 x (.f64 2 y)) x)
(.f64 2 (.f64 y x))

Outputs
(+.f64 (.f64 (+.f64 x (.f64 2 y)) x) (*.f64 y y))
(+.f64 (.f64 x x) (.f64 y (+.f64 (*.f64 x 2) y)))
(if (<=.f64 x -4290498537581631/6703903964971298549787012499102923063739682910296196688861780721860882015036773488400937149083451713845015929093243025426876941405973284973216824503042048) (.f64 (+.f64 x (.f64 2 y)) x) (.f64 (+.f64 y (.f64 2 x)) y))
(.f64 (+.f64 x (.f64 2 y)) x)
(.f64 2 (.f64 y x))

Compiler

Compiled 62 to 40 computations (35.5% saved)

soundness0.0ms (0%)

end48.0ms (3%)

Compiler: Compiled 80 to 48 computations (40% saved)

Iter	Nodes	Cost
0	10	50
1	68	50
2	105	50
3	115	50
4	121	50
5	139	50
6	151	50
7	166	50
8	183	50
9	188	50
10	205	50
11	219	50
12	224	50
13	225	50

Iter	Nodes	Cost
0	9	25
1	61	25
2	100	19
3	126	19
4	144	19
5	163	19
6	175	19
7	189	19
8	206	19
9	223	19
10	309	19
11	429	19
12	524	19
13	553	19

Iter	Nodes	Cost
0	9	38
1	63	32
2	109	32
3	136	32
4	145	32
5	163	32
6	175	32
7	189	32
8	206	32
9	223	32
10	309	32
11	440	32
12	533	32
13	562	32

Iter	Nodes	Cost
0	9	25
1	63	25
2	107	19
3	128	19
4	144	19
5	163	19
6	175	19
7	189	19
8	206	19
9	223	19
10	309	19
11	449	19
12	547	19
13	576	19

Iter	Nodes	Cost
0	10	50
1	68	50
2	105	50
3	115	50
4	121	50
5	139	50
6	151	50
7	166	50
8	183	50
9	188	50
10	205	50
11	219	50
12	224	50
13	225	50

Iter	Nodes	Cost
0	9	25
1	61	25
2	100	19
3	126	19
4	144	19
5	163	19
6	175	19
7	189	19
8	206	19
9	223	19
10	309	19
11	429	19
12	524	19
13	553	19

Iter	Nodes	Cost
0	9	38
1	63	32
2	109	32
3	136	32
4	145	32
5	163	32
6	175	32
7	189	32
8	206	32
9	223	32
10	309	32
11	440	32
12	533	32
13	562	32

Iter	Nodes	Cost
0	9	25
1	63	25
2	107	19
3	128	19
4	144	19
5	163	19
6	175	19
7	189	19
8	206	19
9	223	19
10	309	19
11	449	19
12	547	19
13	576	19

Details

analyze84.0ms (5.4%)

sample905.0ms (57.5%)

preprocess17.0ms (1.1%)

simplify12.0ms (0.8%)

eval1.0ms (0.1%)

prune1.0ms (0.1%)

localize19.0ms (1.2%)

series3.0ms (0.2%)

rewrite28.0ms (1.8%)

simplify24.0ms (1.5%)

localize16.0ms (1%)

series2.0ms (0.1%)

rewrite30.0ms (1.9%)

simplify28.0ms (1.8%)

eval7.0ms (0.4%)

prune6.0ms (0.4%)

localize8.0ms (0.5%)

series2.0ms (0.1%)

rewrite32.0ms (2%)

simplify31.0ms (2%)

localize9.0ms (0.5%)

series0.0ms (0%)

rewrite31.0ms (2%)

simplify28.0ms (1.8%)

localize12.0ms (0.8%)

series2.0ms (0.1%)

rewrite12.0ms (0.8%)

simplify16.0ms (1%)

eval11.0ms (0.7%)

prune10.0ms (0.7%)

localize4.0ms (0.3%)

localize8.0ms (0.5%)

localize8.0ms (0.5%)

series2.0ms (0.1%)

rewrite12.0ms (0.7%)

simplify16.0ms (1%)

eval4.0ms (0.3%)

prune6.0ms (0.4%)

regimes22.0ms (1.4%)

regimes12.0ms (0.8%)

regimes19.0ms (1.2%)

bsearch17.0ms (1.1%)

regimes7.0ms (0.4%)

simplify3.0ms (0.2%)

soundness0.0ms (0%)

end48.0ms (3%)

Profiling

Iter	Nodes	Cost
0	10	50
1	68	50
2	105	50
3	115	50
4	121	50
5	139	50
6	151	50
7	166	50
8	183	50
9	188	50
10	205	50
11	219	50
12	224	50
13	225	50

Iter	Nodes	Cost
0	9	25
1	61	25
2	100	19
3	126	19
4	144	19
5	163	19
6	175	19
7	189	19
8	206	19
9	223	19
10	309	19
11	429	19
12	524	19
13	553	19

Iter	Nodes	Cost
0	9	38
1	63	32
2	109	32
3	136	32
4	145	32
5	163	32
6	175	32
7	189	32
8	206	32
9	223	32
10	309	32
11	440	32
12	533	32
13	562	32

Iter	Nodes	Cost
0	9	25
1	63	25
2	107	19
3	128	19
4	144	19
5	163	19
6	175	19
7	189	19
8	206	19
9	223	19
10	309	19
11	449	19
12	547	19
13	576	19