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
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.4s (39.3%)

Results

2.4s

8256×

body

256

valid

Bogosity

preprocess9.0ms (0.1%)

Algorithm

2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	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)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	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)

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

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 → 3

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)

rewrite671.0ms (10.8%)

Algorithm

1×	batch-egg-rewrite

Rules

3666×	`rational.json-simplify-35`
1902×	`rational.json-simplify-2`
1186×	`rational.json-simplify-1`
1166×	`exponential.json-3`
1166×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	32	7
2	76	7
3	155	7
4	269	7
5	561	7
6	1288	7
7	2574	7
8	3724	7
9	4337	7
10	5104	7
11	5535	7
12	5535	7
13	5996	7
14	5996	7
15	6571	7
16	7441	7

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

Inputs
(-.f64 x 1/3)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 x -1/3)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x -1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 x -1/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1/3 x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 x -1/3) 1/2) (.f64 (+.f64 x -1/3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 1/2) (+.f64 -1/3 (.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 -1/3 (.f64 x 1/2)) (.f64 x 1/2))))) (#(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 2 (.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 /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x -1/3) 8))))))))) 2048)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.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 2 (.f64 2 (.f64 (+.f64 x -1/3) 8)))))))))) 4096)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x -1/3) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 x -1/3)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x -1/3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (+.f64 x -1/3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1/3 x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 x -1/3) 1/2) (*.f64 (+.f64 x -1/3) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 1/2) (+.f64 -1/3 (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 -1/3 (*.f64 x 1/2)) (*.f64 x 1/2))))) (#(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 2 (*.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 /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x -1/3) 8))))))))) 2048)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.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 2 (*.f64 2 (*.f64 (+.f64 x -1/3) 8)))))))))) 4096)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x -1/3) 1)))))

simplify292.0ms (4.7%)

Algorithm

1×	egg-herbie

Rules

4790×	`rational.json-simplify-41`
2548×	`rational.json-simplify-51`
1530×	`rational.json-simplify-35`
1080×	`rational.json-simplify-2`
586×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	234
1	161	234
2	442	234
3	1505	234
4	2967	234
5	3707	234
6	3778	234
7	3821	234
8	3857	234
9	3893	234
10	3929	234
11	3965	234
12	4001	234
13	4037	234
14	4073	234
15	4109	234
16	4145	234
17	4181	234
18	4217	234
19	4253	234

Stop Event

1×	node limit

Counts

36 → 35

Calls

Call 1

Inputs
-1/3
x
x
(+.f64 x -1/3)
(+.f64 (+.f64 x -1/3) 0)
(+.f64 0 (+.f64 x -1/3))
(+.f64 -1/3 x)
(+.f64 (.f64 (+.f64 x -1/3) 1/2) (.f64 (+.f64 x -1/3) 1/2))
(+.f64 (.f64 x 1/2) (+.f64 -1/3 (.f64 x 1/2)))
(+.f64 (+.f64 -1/3 (.f64 x 1/2)) (.f64 x 1/2))
(*.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 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x -1/3) 8)))))))) 1024)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (+.f64 x -1/3) 8))))))))) 2048)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.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 2 (.f64 2 (.f64 (+.f64 x -1/3) 8)))))))))) 4096)
(pow.f64 (+.f64 x -1/3) 1)

Outputs
-1/3
x
x
(+.f64 x -1/3)
(+.f64 -1/3 x)
(+.f64 (+.f64 x -1/3) 0)
(+.f64 -1/3 x)
(+.f64 0 (+.f64 x -1/3))
(+.f64 -1/3 x)
(+.f64 -1/3 x)
(+.f64 (.f64 (+.f64 x -1/3) 1/2) (.f64 (+.f64 x -1/3) 1/2))
(+.f64 -1/3 x)
(+.f64 (.f64 x 1/2) (+.f64 -1/3 (.f64 x 1/2)))
(+.f64 -1/3 x)
(+.f64 (+.f64 -1/3 (.f64 x 1/2)) (.f64 x 1/2))
(+.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 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x -1/3) 8)))))))) 1024)
(+.f64 -1/3 x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (+.f64 x -1/3) 8))))))))) 2048)
(+.f64 -1/3 x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.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 2 (.f64 2 (.f64 (+.f64 x -1/3) 8)))))))))) 4096)
(+.f64 -1/3 x)
(pow.f64 (+.f64 x -1/3) 1)
(+.f64 -1/3 x)

eval7.0ms (0.1%)

Compiler: Compiled 332 to 291 computations (12.3% saved)

prune5.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

0.0b

Counts

36 → 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)
	31.2b	x
	32.0b	-1/3

Compiler

Compiled 16 to 12 computations (25% saved)

localize630.0ms (10.2%)

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)

rewrite322.0ms (5.2%)

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

simplify635.0ms (10.2%)

Algorithm

1×	egg-herbie

Rules

4770×	`rational.json-simplify-51`
3548×	`rational.json-simplify-2`
2350×	`rational.json-simplify-35`
1514×	`rational.json-simplify-1`
564×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	108	754
1	248	736
2	734	736
3	1689	736
4	3340	736
5	4144	736
6	4208	736
7	4256	736
8	4304	736
9	4352	736
10	4400	736
11	4479	736
12	4527	736
13	4575	736
14	4623	736
15	4671	736
16	4719	736
17	4767	736
18	4815	736
19	4863	736
20	7302	736
21	7383	736
22	7435	736
23	7437	736
24	7437	736
25	7481	736
26	7525	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 (*.f64 2 x) 2/3)
(-.f64 (*.f64 2 x) 2/3)
(-.f64 (*.f64 2 x) 2/3)
(*.f64 2 x)
(-.f64 (*.f64 2 x) 2/3)
(-.f64 (*.f64 2 x) 2/3)
(-.f64 (*.f64 2 x) 2/3)
-2/3
(-.f64 x 2/3)
(-.f64 x 2/3)
(-.f64 x 2/3)
x
(-.f64 x 2/3)
(-.f64 x 2/3)
(-.f64 x 2/3)
x
(-.f64 x 2/3)
(-.f64 x 2/3)
(-.f64 x 2/3)
(-.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 (*.f64 2 x) 2/3)
(-.f64 (*.f64 2 x) 2/3)
(*.f64 2 x)
(-.f64 (*.f64 2 x) 2/3)
(-.f64 (*.f64 2 x) 2/3)
(-.f64 (*.f64 2 x) 2/3)
(*.f64 2 x)
(-.f64 (*.f64 2 x) 2/3)
(-.f64 (*.f64 2 x) 2/3)
(-.f64 (*.f64 2 x) 2/3)
-2/3
(-.f64 x 2/3)
(-.f64 x 2/3)
(-.f64 x 2/3)
x
(-.f64 x 2/3)
(-.f64 x 2/3)
(-.f64 x 2/3)
x
(-.f64 x 2/3)
(-.f64 x 2/3)
(-.f64 x 2/3)
(-.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.3%)

Compiler: Compiled 763 to 644 computations (15.6% saved)

prune8.0ms (0.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Error

Counts

66 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(/.f64 (/.f64 (+.f64 -2/3 (+.f64 -2/3 (*.f64 x 4))) 2) 2)
✓	0.0b	(/.f64 (+.f64 x (+.f64 x -2/3)) 2)
✓	0.0b	(-.f64 x 1/3)
	31.2b	x
	32.0b	-1/3

Compiler

Compiled 28 to 23 computations (17.9% saved)

localize16.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 40 to 34 computations (15% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite269.0ms (4.3%)

Algorithm

1×	batch-egg-rewrite

Rules

3742×	`rational.json-simplify-35`
1742×	`rational.json-simplify-2`
1140×	`exponential.json-3`
1140×	`rational.json-1`
1140×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	53	26
2	110	26
3	224	26
4	431	26
5	998	26
6	2293	26
7	3454	26
8	4155	26
9	4950	26
10	5381	26
11	5381	26
12	5856	26
13	5998	26
14	6446	26
15	7325	26

Stop Event

1×	node limit

Counts

2 → 52

Calls

Call 1

Inputs
(+.f64 -2/3 (+.f64 -2/3 (*.f64 x 4)))
(+.f64 -2/3 (*.f64 x 4))

Outputs

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

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

simplify754.0ms (12.1%)

Algorithm

1×	egg-herbie

Rules

3718×	`rational.json-simplify-51`
3402×	`rational.json-simplify-2`
2402×	`rational.json-simplify-35`
1178×	`rational.json-simplify-1`
800×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	110	940
1	236	940
2	683	940
3	1990	940
4	3573	940
5	4302	940
6	4378	940
7	4433	940
8	4481	940
9	4529	940
10	4577	940
11	4661	940
12	4709	940
13	4757	940
14	4805	940
15	4853	940
16	4901	940
17	4949	940
18	4997	940
19	5045	940
20	6837	940
21	6902	940
22	6902	940
23	6902	940
24	6950	940
25	6998	940
26	7046	940
27	7094	940
28	7142	940

Stop Event

1×	node limit

Counts

76 → 59

Calls

Call 1

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

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

eval22.0ms (0.4%)

Compiler: Compiled 946 to 887 computations (6.2% saved)

prune8.0ms (0.1%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	59	5	64

Error

Counts

64 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (/.f64 (+.f64 -2/3 (+.f64 -2/3 (*.f64 x 4))) 2) 2)
✓	0.0b	(/.f64 (+.f64 x (+.f64 x -2/3)) 2)
✓	0.0b	(-.f64 x 1/3)
	31.2b	x
	32.0b	-1/3

Compiler

Compiled 28 to 23 computations (17.9% saved)

eval3.0ms (0.1%)

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

prune2.0ms (0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(/.f64 (/.f64 (+.f64 -2/3 (+.f64 -2/3 (*.f64 x 4))) 2) 2)
✓	0.0b	(/.f64 (+.f64 x (+.f64 x -2/3)) 2)
✓	0.0b	(-.f64 x 1/3)
	31.2b	x
	32.0b	-1/3

Compiler

Compiled 28 to 23 computations (17.9% saved)

regimes9.0ms (0.1%)

Counts

6 → 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)
(/.f64 (/.f64 (+.f64 -2/3 (+.f64 -2/3 (*.f64 x 4))) 2) 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 37 to 29 computations (21.6% saved)

regimes11.0ms (0.2%)

Accuracy

Total -60.3b remaining (-4212.8%)

Threshold costs -60.3b (-4212.8%)

Counts

2 → 3

Calls

Call 1

Inputs
-1/3
x

Outputs
x
-1/3
x

Calls

1 calls:

10.0ms

Results

Error	Segments	Branch
1.4b	3	`x`

Compiler

Compiled 5 to 3 computations (40% saved)

bsearch23.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	1.0689930560069171e-7	27.434380967864094
11.0ms	-62.41347299000895	-0.001144453717381607

Results

20.0ms

272×

body

256

valid

Compiler

Compiled 112 to 93 computations (17% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	29

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

soundness11.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	7

Stop Event

1×

saturated

Compiler

Compiled 9 to 7 computations (22.2% saved)

end20.0ms (0.3%)

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

Details

analyze3.0ms (0%)

sample2.4s (39.3%)

preprocess9.0ms (0.1%)

simplify11.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize2.0ms (0%)

series0.0ms (0%)

rewrite671.0ms (10.8%)

simplify292.0ms (4.7%)

eval7.0ms (0.1%)

prune5.0ms (0.1%)

localize630.0ms (10.2%)

series1.0ms (0%)

rewrite322.0ms (5.2%)

simplify635.0ms (10.2%)

eval16.0ms (0.3%)

prune8.0ms (0.1%)

localize16.0ms (0.3%)

series1.0ms (0%)

rewrite269.0ms (4.3%)

simplify754.0ms (12.1%)

eval22.0ms (0.4%)

prune8.0ms (0.1%)

eval3.0ms (0.1%)

prune2.0ms (0%)

regimes9.0ms (0.1%)

regimes11.0ms (0.2%)

bsearch23.0ms (0.4%)

simplify2.0ms (0%)

soundness11.0ms (0.2%)

end20.0ms (0.3%)

Profiling