Details

analyze62.0ms (1.1%)

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
42.9%	37.5%	50%	0.1%	12.5%	0%	0%	7
55.6%	46.8%	37.5%	0.1%	15.6%	0%	0%	8
63.6%	53.1%	30.4%	0.1%	16.4%	0%	0%	9
73.9%	58.5%	20.7%	0.1%	20.7%	0%	0%	10
79.3%	62%	16.2%	0.1%	21.7%	0%	0%	11
85.7%	65%	10.8%	0.1%	24.1%	0%	0%	12

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample3.2s (54.1%)

Results

3.1s	8256×	body	256	valid
124.0ms	468×	body	256	infinite

Bogosity

preprocess293.0ms (5%)

Algorithm

2×	egg-herbie

Rules

1106×	`rational.json-simplify-2`
918×	`rational.json-simplify-44`
904×	`rational.json-simplify-37`
824×	`rational.json-simplify-47`
824×	`rational.json-simplify-39`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	50
1	22	38
2	36	38
3	77	38
4	384	38
5	3954	38
6	6248	38
7	7322	38
8	7980	38
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify136.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1814×	`rational.json-simplify-35`
1346×	`rational.json-simplify-53`
1020×	`rational.json-simplify-39`
866×	`rational.json-simplify-59`
654×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	14	19
2	22	19
3	43	19
4	198	19
5	1981	19
6	5968	19
7	7845	19

Stop Event

1×	node limit

Counts

1 → 5

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 39 to 21 computations (46.2% saved)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

6 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 20 to 13 computations (35% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 8 computations (70.4% saved)

series3.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite115.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

2020×	`rational.json-simplify-35`
1146×	`rational.json-1`
1146×	`rational.json-2`
1146×	`rational.json-4`
1146×	`rational.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	44
1	61	32
2	136	32
3	325	32
4	1186	32
5	3971	32

Stop Event

1×	node limit

Counts

2 → 37

Calls

Call 1

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

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

Outputs

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

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

simplify244.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

936×	`rational.json-simplify-59`
934×	`rational.json-simplify-51`
898×	`rational.json-simplify-41`
874×	`rational.json-simplify-2`
830×	`rational.json-simplify-19`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	75	1681
1	158	1573
2	407	1483
3	1432	1483
4	3272	1483
5	6034	1483
6	7489	1483

Stop Event

1×	node limit

Counts

85 → 53

Calls

Call 1

Inputs
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(.f64 2 (.f64 y x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (.f64 y x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(.f64 2 (.f64 y x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(-.f64 (*.f64 x (+.f64 x y)) 0)
(*.f64 x (+.f64 x y))
(.f64 (.f64 x (+.f64 x y)) 1)
(.f64 2 (/.f64 (.f64 x (+.f64 x y)) 2))
(.f64 (.f64 x (*.f64 2 (+.f64 x y))) 1/2)
(.f64 1 (.f64 x (+.f64 x y)))
(.f64 (.f64 (*.f64 x (+.f64 x y)) 4) 1/4)
(*.f64 (+.f64 x y) x)
(.f64 4 (/.f64 (.f64 x (+.f64 x y)) 4))
(.f64 (.f64 2 (+.f64 x y)) (/.f64 x 2))
(.f64 1/2 (.f64 x (*.f64 2 (+.f64 x y))))
(.f64 (/.f64 (.f64 x (+.f64 x y)) 2) 2)
(.f64 (/.f64 x 2) (.f64 2 (+.f64 x y)))
(.f64 (/.f64 (.f64 x (+.f64 x y)) 4) 4)
(.f64 1/4 (.f64 (*.f64 x (+.f64 x y)) 4))
(/.f64 (*.f64 x (+.f64 x y)) 1)
(/.f64 (.f64 x (.f64 2 (+.f64 x y))) 2)
(/.f64 (.f64 (.f64 x (+.f64 x y)) 4) 4)
(/.f64 (.f64 (.f64 x (+.f64 x y)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 x (+.f64 x y)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 8))) 32)
(pow.f64 (*.f64 x (+.f64 x y)) 1)
(+.f64 (.f64 x x) (.f64 x (+.f64 x (+.f64 y y))))
(+.f64 (.f64 x y) (.f64 x (+.f64 x (+.f64 x y))))
(+.f64 (.f64 x (+.f64 x y)) (.f64 x (+.f64 x y)))
(+.f64 (.f64 x (.f64 2 (+.f64 x y))) 0)
(+.f64 0 (.f64 x (.f64 2 (+.f64 x y))))
(+.f64 (.f64 x (+.f64 x (+.f64 y y))) (.f64 x x))
(+.f64 (.f64 x (+.f64 x (+.f64 x y))) (.f64 x y))
(-.f64 (.f64 x (.f64 2 (+.f64 x y))) 0)
(/.f64 (.f64 x (.f64 2 (+.f64 x y))) 1)
(/.f64 (.f64 (.f64 x (+.f64 x y)) 4) 2)
(/.f64 (.f64 (.f64 x (+.f64 x y)) 8) 4)
(/.f64 (.f64 2 (.f64 (*.f64 x (+.f64 x y)) 8)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 8))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 8)))) 32)
(pow.f64 (.f64 x (.f64 2 (+.f64 x y))) 1)

Outputs
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(pow.f64 x 2)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(*.f64 y x)
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(+.f64 (*.f64 y x) (pow.f64 x 2))
(.f64 2 (.f64 y x))
(.f64 y (.f64 x 2))
(.f64 x (.f64 y 2))
(*.f64 y (+.f64 x x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(.f64 2 (.f64 y x))
(.f64 y (.f64 x 2))
(.f64 x (.f64 y 2))
(*.f64 y (+.f64 x x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(.f64 2 (.f64 y x))
(.f64 y (.f64 x 2))
(.f64 x (.f64 y 2))
(*.f64 y (+.f64 x x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 y (.f64 x 2)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(-.f64 (*.f64 x (+.f64 x y)) 0)
(*.f64 x (+.f64 y x))
(*.f64 x (+.f64 x y))
(*.f64 x (+.f64 y x))
(.f64 (.f64 x (+.f64 x y)) 1)
(*.f64 x (+.f64 y x))
(.f64 2 (/.f64 (.f64 x (+.f64 x y)) 2))
(*.f64 x (+.f64 y x))
(.f64 (.f64 x (*.f64 2 (+.f64 x y))) 1/2)
(*.f64 x (+.f64 y x))
(.f64 1 (.f64 x (+.f64 x y)))
(*.f64 x (+.f64 y x))
(.f64 (.f64 (*.f64 x (+.f64 x y)) 4) 1/4)
(*.f64 x (+.f64 y x))
(*.f64 (+.f64 x y) x)
(*.f64 x (+.f64 y x))
(.f64 4 (/.f64 (.f64 x (+.f64 x y)) 4))
(*.f64 x (+.f64 y x))
(.f64 (.f64 2 (+.f64 x y)) (/.f64 x 2))
(*.f64 x (+.f64 y x))
(.f64 1/2 (.f64 x (*.f64 2 (+.f64 x y))))
(*.f64 x (+.f64 y x))
(.f64 (/.f64 (.f64 x (+.f64 x y)) 2) 2)
(*.f64 x (+.f64 y x))
(.f64 (/.f64 x 2) (.f64 2 (+.f64 x y)))
(*.f64 x (+.f64 y x))
(.f64 (/.f64 (.f64 x (+.f64 x y)) 4) 4)
(*.f64 x (+.f64 y x))
(.f64 1/4 (.f64 (*.f64 x (+.f64 x y)) 4))
(*.f64 x (+.f64 y x))
(/.f64 (*.f64 x (+.f64 x y)) 1)
(*.f64 x (+.f64 y x))
(/.f64 (.f64 x (.f64 2 (+.f64 x y))) 2)
(*.f64 x (+.f64 y x))
(/.f64 (.f64 (.f64 x (+.f64 x y)) 4) 4)
(*.f64 x (+.f64 y x))
(/.f64 (.f64 (.f64 x (+.f64 x y)) 8) 8)
(*.f64 x (+.f64 y x))
(/.f64 (.f64 2 (.f64 (*.f64 x (+.f64 x y)) 8)) 16)
(*.f64 x (+.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 8))) 32)
(*.f64 x (+.f64 y x))
(pow.f64 (*.f64 x (+.f64 x y)) 1)
(*.f64 x (+.f64 y x))
(+.f64 (.f64 x x) (.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(+.f64 (.f64 x y) (.f64 x (+.f64 x (+.f64 x y))))
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(+.f64 (.f64 x (+.f64 x y)) (.f64 x (+.f64 x y)))
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(+.f64 (.f64 x (.f64 2 (+.f64 x y))) 0)
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(+.f64 0 (.f64 x (.f64 2 (+.f64 x y))))
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(+.f64 (.f64 x (+.f64 x (+.f64 y y))) (.f64 x x))
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(+.f64 (.f64 x (+.f64 x (+.f64 x y))) (.f64 x y))
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(-.f64 (.f64 x (.f64 2 (+.f64 x y))) 0)
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(/.f64 (.f64 x (.f64 2 (+.f64 x y))) 1)
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(/.f64 (.f64 (.f64 x (+.f64 x y)) 4) 2)
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(/.f64 (.f64 (.f64 x (+.f64 x y)) 8) 4)
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(/.f64 (.f64 2 (.f64 (*.f64 x (+.f64 x y)) 8)) 8)
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 8))) 16)
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 8)))) 32)
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))
(pow.f64 (.f64 x (.f64 2 (+.f64 x y))) 1)
(*.f64 x (+.f64 x (+.f64 x (+.f64 y y))))
(*.f64 x (+.f64 (+.f64 y y) (+.f64 x x)))
(.f64 x (.f64 2 (+.f64 y x)))

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 18 to 9 computations (50% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite193.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1664×	`rational.json-simplify-35`
1554×	`exponential.json-3`
1554×	`rational.json-1`
1554×	`rational.json-2`
1554×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	55	19
2	124	19
3	250	19
4	447	19
5	1002	19
6	2440	19
7	4593	19
8	5785	19
9	7009	19

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (.f64 (+.f64 x y) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (+.f64 x y)) (.f64 x (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (.f64 (+.f64 x y) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (.f64 (+.f64 x y) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x y) (.f64 x 4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x y) (.f64 x 8)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 x (+.f64 x y)) 16) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 x (.f64 (+.f64 x y) 2)) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (*.f64 (+.f64 x y) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (*.f64 (+.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (+.f64 x y)) (*.f64 x (+.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (*.f64 (+.f64 x y) 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 (+.f64 x y) 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x y) (*.f64 x 4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x y) (*.f64 x 8)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x (+.f64 x y)) 16) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 x (+.f64 x y)) 16)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x (+.f64 x y)) 16))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x (+.f64 x y)) 16)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x (+.f64 x y)) 16))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x (+.f64 x y)) 16))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x (+.f64 x y)) 16)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 x (*.f64 (+.f64 x y) 2)) 1)))))

simplify653.0ms (11.1%)

Algorithm

1×	egg-herbie

Rules

3176×	`rational.json-simplify-35`
2976×	`rational.json-simplify-2`
1358×	`rational.json-simplify-53`
958×	`rational.json-simplify-1`
902×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	48	902
1	123	794
2	250	794
3	556	794
4	1954	794
5	4093	794
6	5016	794
7	5252	794
8	5390	794
9	5502	794
10	5614	794
11	6235	794
12	6628	794
13	6904	794
14	7005	794
15	7190	794
16	7190	794
17	7300	794
18	7410	794
19	7525	794
20	7635	794
21	7745	794

Stop Event

1×	node limit

Counts

38 → 21

Calls

Call 1

Inputs
(.f64 2 (.f64 y x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (.f64 y x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(.f64 2 (.f64 y x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 x (.f64 (+.f64 x y) 2)) 0)
(+.f64 0 (.f64 x (.f64 (+.f64 x y) 2)))
(+.f64 (.f64 x (+.f64 x y)) (.f64 x (+.f64 x y)))
(-.f64 (.f64 x (.f64 (+.f64 x y) 2)) 0)
(/.f64 (.f64 x (.f64 (+.f64 x y) 2)) 1)
(/.f64 (.f64 (+.f64 x y) (.f64 x 4)) 2)
(/.f64 (.f64 (+.f64 x y) (.f64 x 8)) 4)
(/.f64 (.f64 (.f64 x (+.f64 x y)) 16) 8)
(/.f64 (.f64 2 (.f64 (*.f64 x (+.f64 x y)) 16)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 x (+.f64 x y)) 16)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16))))) 128)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16)))))) 256)
(pow.f64 (.f64 x (.f64 (+.f64 x y) 2)) 1)

Outputs
(.f64 2 (.f64 y x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(*.f64 2 (pow.f64 x 2))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(.f64 2 (.f64 y x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(.f64 2 (.f64 y x))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 2 (pow.f64 x 2)) (.f64 2 (*.f64 y x)))
(+.f64 (.f64 2 (.f64 y x)) (*.f64 2 (pow.f64 x 2)))
(.f64 2 (+.f64 (.f64 y x) (pow.f64 x 2)))
(+.f64 (.f64 x (.f64 (+.f64 x y) 2)) 0)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(+.f64 0 (.f64 x (.f64 (+.f64 x y) 2)))
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(+.f64 (.f64 x (+.f64 x y)) (.f64 x (+.f64 x y)))
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(-.f64 (.f64 x (.f64 (+.f64 x y) 2)) 0)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (.f64 x (.f64 (+.f64 x y) 2)) 1)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (.f64 (+.f64 x y) (.f64 x 4)) 2)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (.f64 (+.f64 x y) (.f64 x 8)) 4)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (.f64 (.f64 x (+.f64 x y)) 16) 8)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (.f64 2 (.f64 (*.f64 x (+.f64 x y)) 16)) 16)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16))) 32)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 x (+.f64 x y)) 16)))) 64)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16))))) 128)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 x (+.f64 x y)) 16)))))) 256)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))
(pow.f64 (.f64 x (.f64 (+.f64 x y) 2)) 1)
(.f64 x (.f64 2 (+.f64 y x)))
(*.f64 (+.f64 y x) (+.f64 x x))

eval88.0ms (1.5%)

Compiler: Compiled 744 to 395 computations (46.9% saved)

prune9.0ms (0.2%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	73	3	76

Error

0.0b

Counts

76 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 27 to 17 computations (37% saved)

localize4.0ms (0.1%)

Compiler: Compiled 12 to 4 computations (66.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

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

Compiler

Compiled 27 to 17 computations (37% saved)

regimes14.0ms (0.2%)

Accuracy

Total -22.9b remaining (-195819%)

Threshold costs -22.9b (-195819%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))
3.0ms	x
3.0ms	y
3.0ms	(+.f64 (.f64 x x) (.f64 x y))

Results

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

Compiler

Compiled 49 to 29 computations (40.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	32

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 16 to 10 computations (37.5% saved)

soundness743.0ms (12.6%)

Algorithm

1×	egg-herbie

Rules

1814×	`rational.json-simplify-35`
1346×	`rational.json-simplify-53`
1020×	`rational.json-simplify-39`
866×	`rational.json-simplify-59`
654×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	14	19
2	22	19
3	43	19
4	198	19
5	1981	19
6	5968	19
7	7845	19

Stop Event

1×	node limit

Compiler

Compiled 48 to 25 computations (47.9% saved)

end120.0ms (2%)

Compiler: Compiled 14 to 8 computations (42.9% saved)

Details

analyze62.0ms (1.1%)

sample3.2s (54.1%)

preprocess293.0ms (5%)

simplify136.0ms (2.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series3.0ms (0.1%)

rewrite115.0ms (2%)

simplify244.0ms (4.1%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite193.0ms (3.3%)

simplify653.0ms (11.1%)

eval88.0ms (1.5%)

prune9.0ms (0.2%)

localize4.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes14.0ms (0.2%)

simplify2.0ms (0%)

soundness743.0ms (12.6%)

end120.0ms (2%)

Profiling