Details

analyze62.0ms (2.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)

sample804.0ms (27.1%)

Results

727.0ms	8256×	body	256	valid
65.0ms	501×	body	256	infinite

Bogosity

preprocess142.0ms (4.8%)

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)

simplify131.0ms (4.4%)

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)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

6 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize6.0ms (0.2%)

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.1%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	x	@	inf	(.f64 (+.f64 x y) (.f64 x 2))
0.0ms	y	@	0	(.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	x	@	-inf	(.f64 (+.f64 x y) (.f64 x 2))

rewrite121.0ms (4.1%)

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)))))

simplify616.0ms (20.7%)

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))

eval4.0ms (0.1%)

Compiler: Compiled 229 to 135 computations (41% saved)

prune4.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	20	1	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	2	22

Error

0.0b

Counts

22 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 16 to 11 computations (31.3% saved)

localize4.0ms (0.1%)

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)

series3.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	inf	(.f64 2 (.f64 y x))
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))

rewrite206.0ms (6.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2570×	`rational.json-simplify-2`
1730×	`rational.json-simplify-35`
1394×	`rational.json-1`
1394×	`rational.json-2`
1122×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	48	13
2	113	13
3	220	13
4	378	13
5	843	13
6	1815	13
7	3192	13
8	3932	13
9	4709	13
10	5815	13
11	6474	13
12	6474	13
13	7805	13

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y x) (.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 2 (.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (.f64 x 1/2)) (.f64 y (.f64 x 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (.f64 x 3/2)) (.f64 y (.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 2 (.f64 y x)) 0)))) (#(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 4)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 y (.f64 x 8)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 16 (.f64 y x)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 16 (.f64 y x))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 16 (.f64 y x)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 16 (.f64 y x))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 16 (.f64 y x)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 16 (.f64 y x))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 16 (.f64 y x)))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (*.f64 y x)) 1)))))

Outputs

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

simplify508.0ms (17.1%)

Algorithm

1×	egg-herbie

Rules

2986×	`rational.json-simplify-35`
2158×	`rational.json-simplify-2`
1058×	`rational.json-simplify-53`
1030×	`rational.json-simplify-49`
1028×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	323
1	139	221
2	288	221
3	758	221
4	2759	221
5	4584	221
6	5379	221
7	5668	221
8	5857	221
9	6018	221
10	6819	221
11	7018	221
12	7165	221
13	7281	221
14	7290	221
15	7290	221
16	7440	221
17	7707	221
18	7988	221

Stop Event

1×	node limit

Counts

17 → 19

Calls

Call 1

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

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

eval3.0ms (0.1%)

Compiler: Compiled 181 to 123 computations (32% saved)

prune3.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	18	1	19
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	19	2	21

Error

0.0b

Counts

21 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 16 to 10 computations (37.5% saved)

localize5.0ms (0.2%)

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

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

2 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes16.0ms (0.6%)

Counts

4 → 1

Calls

Call 1

Inputs
(.f64 2 (.f64 y x))
(*.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:

5.0ms	y
4.0ms	x
3.0ms	(.f64 2 (+.f64 (.f64 x x) (*.f64 x 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 54 to 32 computations (40.7% saved)

regimes7.0ms (0.2%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0.0b (-0%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

2 calls:

3.0ms	x
3.0ms	y

Results

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

Compiler

Compiled 18 to 11 computations (38.9% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	45

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 23 to 15 computations (34.8% saved)

soundness210.0ms (7.1%)

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)

end106.0ms (3.6%)

Compiler: Compiled 19 to 11 computations (42.1% saved)

Details

analyze62.0ms (2.1%)

sample804.0ms (27.1%)

preprocess142.0ms (4.8%)

simplify131.0ms (4.4%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series2.0ms (0.1%)

rewrite121.0ms (4.1%)

simplify616.0ms (20.7%)

eval4.0ms (0.1%)

prune4.0ms (0.1%)

localize4.0ms (0.1%)

series3.0ms (0.1%)

rewrite206.0ms (6.9%)

simplify508.0ms (17.1%)

eval3.0ms (0.1%)

prune3.0ms (0.1%)

localize5.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes16.0ms (0.6%)

regimes7.0ms (0.2%)

simplify2.0ms (0.1%)

soundness210.0ms (7.1%)

end106.0ms (3.6%)

Profiling