Details

analyze3.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
83.3%	62.5%	12.5%	0%	25%	0%	0%	5
91.7%	68.7%	6.2%	0%	25%	0%	0%	6
95.8%	71.8%	3.1%	0%	25%	0%	0%	7
97.9%	73.4%	1.6%	0%	25%	0%	0%	8
99%	74.2%	0.8%	0%	25%	0%	0%	9
99.5%	74.6%	0.4%	0%	25%	0%	0%	10
99.7%	74.8%	0.2%	0%	25%	0%	0%	11
99.9%	74.9%	0.1%	0%	25%	0%	0%	12

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample1.1s (14.9%)

Results

1.1s	8256×	body	256	valid
0.0ms	1×	body	256	infinite

Bogosity

preprocess4.0ms (0%)

Algorithm

2×	egg-herbie

Rules

2×	`rational.json-simplify-16`
2×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	9	13
2	10	13
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

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

Outputs
(*.f64 x (-.f64 x 1))
(*.f64 x (+.f64 x -1))

Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-16`
2×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	9	13
2	10	13

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs
(*.f64 x (-.f64 x 1))
(*.f64 x (+.f64 x -1))

eval0.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 x (-.f64 x 1))

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite2.0s (25.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1488×	`rational.json-simplify-53`
1358×	`rational.json-simplify-35`
1320×	`exponential.json-3`
1320×	`rational.json-1`
1320×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	51	13
2	125	13
3	221	13
4	404	13
5	855	13
6	2167	13
7	3794	13
8	4935	13
9	6376	13
10	7157	13
11	7157	13
12	7630	13

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

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

Outputs

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

simplify2.0s (25.9%)

Algorithm

1×	egg-herbie

Rules

2362×	`rational.json-simplify-2`
2294×	`rational.json-simplify-35`
1456×	`exponential.json-simplify-26`
1152×	`rational.json-simplify-53`
1042×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	49	374
1	133	354
2	272	354
3	629	354
4	2300	354
5	4153	354
6	5169	354
7	5736	354
8	5903	354
9	6009	354
10	6936	354
11	7616	354
12	7624	354
13	7934	354

Stop Event

1×	node limit

Counts

26 → 20

Calls

Call 1

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

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

eval4.0ms (0.1%)

Compiler: Compiled 163 to 120 computations (26.4% saved)

prune3.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

21 → 3

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (neg.f64 x) (pow.f64 x 2))
✓	0.0b	(*.f64 x (-.f64 x 1))
▶	22.7b	(neg.f64 x)

Compiler

Compiled 16 to 11 computations (31.3% saved)

localize2.0ms (0%)

Compiler: Compiled 4 to 2 computations (50% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 8 computations (42.9% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite2.0s (25.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2384×	`rational.json-simplify-2`
1748×	`rational.json-simplify-35`
1276×	`exponential.json-3`
1276×	`rational.json-1`
1276×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	55	17
2	125	17
3	250	17
4	506	17
5	1215	17
6	2755	17
7	4255	17
8	5259	17
9	6310	17
10	7103	17
11	7312	17
12	7532	17

Stop Event

1×	node limit

Counts

1 → 26

Calls

Call 1

Inputs
(+.f64 (neg.f64 x) (pow.f64 x 2))

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

Outputs

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

simplify522.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

3012×	`rational.json-simplify-1`
2404×	`rational.json-simplify-48`
2030×	`rational.json-simplify-35`
1326×	`rational.json-simplify-49`
1190×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	65	642
1	141	642
2	435	642
3	1243	642
4	1978	642
5	3181	642
6	3267	642
7	3377	642
8	3466	642
9	3553	642
10	3616	642
11	4331	642
12	4430	642
13	4671	642
14	5292	642
15	5392	642
16	5429	642
17	5466	642
18	5503	642
19	6385	642
20	7230	642
21	7390	642
22	7483	642
23	7574	642
24	7665	642

Stop Event

1×	node limit

Counts

38 → 32

Calls

Call 1

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

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

eval7.0ms (0.1%)

Compiler: Compiled 314 to 229 computations (27.1% saved)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	32	0	32
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	32	3	35

Error

Counts

35 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (neg.f64 x) (pow.f64 x 2))
✓	0.0b	(*.f64 x (-.f64 x 1))
✓	22.7b	(neg.f64 x)

Compiler

Compiled 16 to 11 computations (31.3% saved)

regimes9.0ms (0.1%)

Accuracy

Total -22.7b remaining (-582038.9%)

Threshold costs -22.7b (-582038.9%)

Counts

3 → 1

Calls

Call 1

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

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

Calls

2 calls:

5.0ms	(*.f64 x (-.f64 x 1))
3.0ms	x

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(*.f64 x (-.f64 x 1))`

Compiler

Compiled 22 to 13 computations (40.9% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18

Stop Event

1×	done
1×	saturated

Calls

Call 1

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

Outputs
(*.f64 x (-.f64 x 1))
(neg.f64 x)

Compiler

Compiled 9 to 6 computations (33.3% saved)

soundness0.0ms (0%)

end14.0ms (0.2%)

Compiler: Compiled 8 to 5 computations (37.5% saved)

Details

analyze3.0ms (0%)

sample1.1s (14.9%)

preprocess4.0ms (0%)

simplify11.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite2.0s (25.8%)

simplify2.0s (25.9%)

eval4.0ms (0.1%)

prune3.0ms (0%)

localize2.0ms (0%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite2.0s (25.7%)

simplify522.0ms (6.8%)

eval7.0ms (0.1%)

prune4.0ms (0.1%)

regimes9.0ms (0.1%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end14.0ms (0.2%)

Profiling