Details

analyze3.0ms (0.1%)

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
75%	75%	25%	0%	0%	0%	0%	4
87.5%	87.5%	12.5%	0%	0%	0%	0%	5
93.8%	93.7%	6.2%	0%	0%	0%	0%	6
96.9%	96.8%	3.1%	0%	0%	0%	0%	7
98.4%	98.4%	1.6%	0%	0%	0%	0%	8
99.2%	99.2%	0.8%	0%	0%	0%	0%	9
99.6%	99.6%	0.4%	0%	0%	0%	0%	10
99.8%	99.8%	0.2%	0%	0%	0%	0%	11
99.9%	99.9%	0.1%	0%	0%	0%	0%	12

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample2.2s (49.9%)

Results

2.2s

8256×

body

256

valid

Bogosity

preprocess10.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	7
1	9	7
0	1	1

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(+.f64 x (/.f64 1 3))

Outputs
(+.f64 x (/.f64 1 3))
(+.f64 x 1/3)

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify15.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	7
1	9	7

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 x (/.f64 1 3))

Outputs
(+.f64 x (/.f64 1 3))
(+.f64 x 1/3)

eval1.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 x 1/3)

Compiler

Compiled 4 to 3 computations (25% saved)

localize2.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x 1/3)

Compiler

Compiled 6 to 4 computations (33.3% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite254.0ms (5.8%)

Algorithm

1×	batch-egg-rewrite

Rules

2644×	`rational.json-simplify-35`
2380×	`rational.json-simplify-2`
1438×	`rational.json-simplify-1`
1180×	`exponential.json-3`
1180×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	33	7
2	78	7
3	158	7
4	288	7
5	619	7
6	1514	7
7	3050	7
8	4473	7
9	5221	7
10	6210	7
11	6815	7
12	6815	7
13	7802	7
14	7813	7

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

Inputs
(+.f64 x 1/3)

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

Outputs

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

simplify725.0ms (16.6%)

Algorithm

1×	egg-herbie

Rules

3884×	`rational.json-simplify-41`
1784×	`rational.json-simplify-2`
1760×	`rational.json-simplify-35`
1752×	`rational.json-simplify-51`
538×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	241
1	132	241
2	395	241
3	1309	241
4	2390	241
5	2896	241
6	2964	241
7	3010	241
8	3045	241
9	3079	241
10	4043	241
11	4118	241
12	4154	241
13	4188	241
14	4218	241
15	4248	241
16	4768	241
17	4803	241
18	4838	241
19	4868	241
20	7647	241
21	7694	241
22	7748	241
23	7792	241
24	7828	241
25	7862	241
26	7893	241
27	7923	241
28	7953	241
29	7983	241

Stop Event

1×	node limit

Counts

37 → 28

Calls

Call 1

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

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

eval5.0ms (0.1%)

Compiler: Compiled 243 to 212 computations (12.8% saved)

prune4.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	25	3	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	25	4	29

Error

0.0b

Counts

29 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(/.f64 (+.f64 x (+.f64 x 2/3)) 2)
✓	0.0b	(+.f64 x 1/3)
	29.0b	x
	33.5b	1/3

Compiler

Compiled 16 to 12 computations (25% saved)

localize45.0ms (1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite335.0ms (7.7%)

Algorithm

1×	batch-egg-rewrite

Rules

3382×	`rational.json-simplify-35`
1816×	`rational.json-simplify-2`
1378×	`rational.json-simplify-1`
1158×	`exponential.json-3`
1158×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	20
1	40	20
2	90	20
3	186	20
4	367	20
5	874	20
6	1948	20
7	3037	20
8	3760	20
9	4469	20
10	5190	20
11	5573	20
12	5573	20
13	6051	20
14	6240	20
15	6704	20
16	7551	20
17	7997	20

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(+.f64 x (+.f64 x 2/3))
(+.f64 x 2/3)

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

Outputs

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

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

simplify680.0ms (15.6%)

Algorithm

1×	egg-herbie

Rules

4728×	`rational.json-simplify-51`
3550×	`rational.json-simplify-2`
2326×	`rational.json-simplify-35`
1510×	`rational.json-simplify-1`
566×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	108	754
1	247	736
2	732	736
3	1682	736
4	3322	736
5	4121	736
6	4185	736
7	4233	736
8	4281	736
9	4329	736
10	4377	736
11	4456	736
12	4504	736
13	4552	736
14	4600	736
15	4648	736
16	4696	736
17	4744	736
18	4792	736
19	4840	736
20	7242	736
21	7323	736
22	7375	736
23	7377	736
24	7377	736
25	7421	736
26	7465	736

Stop Event

1×	node limit

Counts

76 → 62

Calls

Call 1

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

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

eval16.0ms (0.4%)

Compiler: Compiled 763 to 645 computations (15.5% saved)

prune10.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	62	4	66

Error

0.0b

Counts

66 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x (+.f64 x 2/3)) 2)
✓	0.0b	(+.f64 x 1/3)
	29.0b	x
	33.5b	1/3

Compiler

Compiled 16 to 12 computations (25% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x (+.f64 x 2/3)) 2)
✓	0.0b	(+.f64 x 1/3)
	29.0b	x
	33.5b	1/3

Compiler

Compiled 16 to 12 computations (25% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

0.0b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x (+.f64 x 2/3)) 2)
✓	0.0b	(+.f64 x 1/3)
	29.0b	x
	33.5b	1/3

Compiler

Compiled 16 to 12 computations (25% saved)

regimes8.0ms (0.2%)

Counts

5 → 1

Calls

Call 1

Inputs
1/3
x
(+.f64 x 1/3)
(+.f64 x (/.f64 1 3))
(/.f64 (+.f64 x (+.f64 x 2/3)) 2)

Outputs
(+.f64 x 1/3)

Calls

2 calls:

4.0ms	x
3.0ms	(+.f64 x (/.f64 1 3))

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`(+.f64 x (/.f64 1 3))`

Compiler

Compiled 26 to 19 computations (26.9% saved)

regimes10.0ms (0.2%)

Accuracy

Total -61.1b remaining (-8383.6%)

Threshold costs -61.1b (-8383.6%)

Counts

2 → 3

Calls

Call 1

Inputs
1/3
x

Outputs
x
1/3
x

Calls

1 calls:

9.0ms

Results

Error	Segments	Branch
0.7b	3	`x`

Compiler

Compiled 5 to 3 computations (40% saved)

bsearch29.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	0.19673387342201387	1620788.3693265412
16.0ms	-1.0302113462607298e+24	-2.2277221623966724e-8

Results

25.0ms

320×

body

256

valid

Compiler

Compiled 130 to 108 computations (16.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	29

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x 1/3)
(if (<=.f64 x -6124895493223875/18014398509481984) x (if (<=.f64 x 5944751508129055/18014398509481984) 1/3 x))
1/3

Outputs
(+.f64 x 1/3)
(if (<=.f64 x -6124895493223875/18014398509481984) x (if (<=.f64 x 5944751508129055/18014398509481984) 1/3 x))
1/3

Compiler

Compiled 18 to 13 computations (27.8% saved)

soundness9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	7
1	9	7

Stop Event

1×

saturated

Compiler

Compiled 9 to 7 computations (22.2% saved)

end19.0ms (0.4%)

Compiler: Compiled 16 to 11 computations (31.3% saved)

Details

analyze3.0ms (0.1%)

sample2.2s (49.9%)

preprocess10.0ms (0.2%)

simplify15.0ms (0.3%)

eval1.0ms (0%)

prune1.0ms (0%)

localize2.0ms (0.1%)

series0.0ms (0%)

rewrite254.0ms (5.8%)

simplify725.0ms (16.6%)

eval5.0ms (0.1%)

prune4.0ms (0.1%)

localize45.0ms (1%)

series1.0ms (0%)

rewrite335.0ms (7.7%)

simplify680.0ms (15.6%)

eval16.0ms (0.4%)

prune10.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes8.0ms (0.2%)

regimes10.0ms (0.2%)

bsearch29.0ms (0.7%)

simplify3.0ms (0.1%)

soundness9.0ms (0.2%)

end19.0ms (0.4%)

Profiling