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
85.7%	75%	12.5%	0%	12.5%	0%	0%	5
92.3%	75%	6.2%	0%	18.7%	0%	0%	6
96%	75%	3.1%	0%	21.9%	0%	0%	7
98%	75%	1.6%	0%	23.4%	0%	0%	8
99%	75%	0.8%	0%	24.2%	0%	0%	9
99.5%	75%	0.4%	0%	24.6%	0%	0%	10
99.7%	75%	0.2%	0%	24.8%	0%	0%	11
99.9%	75%	0.1%	0%	24.9%	0%	0%	12

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.2s (40.2%)

Results

1.1s	8256×	body	256	valid
1.0ms	8×	body	256	infinite

Bogosity

preprocess87.0ms (3%)

Algorithm

2×	egg-herbie

Rules

1822×	`rational.json-simplify-35`
1348×	`rational.json-simplify-53`
1002×	`rational.json-simplify-39`
866×	`rational.json-simplify-59`
808×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	14	19
2	22	19
3	46	19
4	205	19
5	2011	19
6	6009	19
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (+.f64 (*.f64 x x) -3) 6)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify91.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

1822×	`rational.json-simplify-35`
1348×	`rational.json-simplify-53`
1002×	`rational.json-simplify-39`
866×	`rational.json-simplify-59`
808×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	14	19
2	22	19
3	46	19
4	205	19
5	2011	19
6	6009	19

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(/.f64 (+.f64 (*.f64 x x) -3) 6)

eval1.0ms (0%)

Compiler: Compiled 15 to 10 computations (33.3% 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.1b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 8 to 6 computations (25% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Compiler

Compiled 19 to 10 computations (47.4% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite66.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1424×	`rational.json-simplify-2`
1322×	`rational.json-1`
1322×	`rational.json-2`
1322×	`rational.json-4`
1322×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	56	19
2	138	19
3	327	19
4	1188	19
5	4476	19

Stop Event

1×	node limit

Counts

1 → 24

Calls

Call 1

Inputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 (+.f64 (.f64 x x) -3) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 x x) -3) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (+.f64 (.f64 x x) -3) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x x) -3) 2) 1/12)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (+.f64 (.f64 x x) -3) 12))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (/.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 1/6 (/.f64 (+.f64 (.f64 x x) -3) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 (.f64 x x) -3) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x x) -3) 1/3) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x x) -3) 4) 1/24)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/6 (+.f64 (.f64 x x) -3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/12 (.f64 (+.f64 (.f64 x x) -3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 (.f64 x x) -3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 (.f64 x x) -3) 12) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/24 (.f64 (+.f64 (.f64 x x) -3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/6 (/.f64 (+.f64 (.f64 x x) -3) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 x x) -3) 1/12) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (+.f64 (*.f64 x x) -3) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x x) -3) 1/6)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/6) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (+.f64 (*.f64 x x) -3) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x x) -3) 2) 1/12)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (+.f64 (*.f64 x x) -3) 12))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/6) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 1/6 (/.f64 (+.f64 (*.f64 x x) -3) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 x x) -3) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/6) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/3) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x x) -3) 4) 1/24)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/6 (+.f64 (*.f64 x x) -3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/12 (*.f64 (+.f64 (*.f64 x x) -3) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 x x) -3) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) -3) 12) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/6) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/24 (*.f64 (+.f64 (*.f64 x x) -3) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/6 (/.f64 (+.f64 (*.f64 x x) -3) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/12) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/6) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 (*.f64 x x) -3) 1/6) 1)))))

simplify128.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

1138×	`rational.json-simplify-2`
1058×	`rational.json-simplify-59`
1028×	`rational.json-simplify-19`
910×	`rational.json-simplify-51`
742×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	53	666
1	82	666
2	206	666
3	576	666
4	1961	666
5	4594	666
6	6543	666
7	7712	666

Stop Event

1×	node limit

Counts

36 → 27

Calls

Call 1

Inputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(+.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 0)
(+.f64 0 (.f64 (+.f64 (.f64 x x) -3) 1/6))
(-.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 0)
(.f64 (+.f64 (.f64 x x) -3) 1/6)
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/6) 1)
(.f64 1 (.f64 (+.f64 (*.f64 x x) -3) 1/6))
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 2) 1/12)
(.f64 2 (/.f64 (+.f64 (.f64 x x) -3) 12))
(.f64 2 (/.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/6) 2))
(.f64 2 (.f64 1/6 (/.f64 (+.f64 (*.f64 x x) -3) 2)))
(.f64 2 (.f64 (+.f64 (*.f64 x x) -3) 1/12))
(.f64 2 (.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1/2))
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/3) 1/2)
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 4) 1/24)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 1/12 (.f64 (+.f64 (*.f64 x x) -3) 2))
(.f64 1/2 (.f64 (+.f64 (*.f64 x x) -3) 1/3))
(.f64 (/.f64 (+.f64 (.f64 x x) -3) 12) 2)
(.f64 (/.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/6) 2) 2)
(.f64 1/24 (.f64 (+.f64 (*.f64 x x) -3) 4))
(.f64 (.f64 1/6 (/.f64 (+.f64 (*.f64 x x) -3) 2)) 2)
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/12) 2)
(.f64 (.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1/2) 2)
(pow.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1)

Outputs
-1/2
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(*.f64 1/6 (pow.f64 x 2))
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
(+.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 0)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(+.f64 0 (.f64 (+.f64 (.f64 x x) -3) 1/6))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(-.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 0)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 (+.f64 (.f64 x x) -3) 1/6)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/6) 1)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 1 (.f64 (+.f64 (*.f64 x x) -3) 1/6))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 2) 1/12)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 2 (/.f64 (+.f64 (.f64 x x) -3) 12))
(.f64 2 (/.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/6) 2))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 2 (.f64 1/6 (/.f64 (+.f64 (*.f64 x x) -3) 2)))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 2 (.f64 (+.f64 (*.f64 x x) -3) 1/12))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 2 (.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1/2))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/3) 1/2)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 4) 1/24)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 1/12 (.f64 (+.f64 (*.f64 x x) -3) 2))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 1/2 (.f64 (+.f64 (*.f64 x x) -3) 1/3))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 (/.f64 (+.f64 (.f64 x x) -3) 12) 2)
(.f64 2 (/.f64 (+.f64 (.f64 x x) -3) 12))
(.f64 (/.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/6) 2) 2)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 1/24 (.f64 (+.f64 (*.f64 x x) -3) 4))
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 (.f64 1/6 (/.f64 (+.f64 (*.f64 x x) -3) 2)) 2)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 (.f64 (+.f64 (*.f64 x x) -3) 1/12) 2)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(.f64 (.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1/2) 2)
(.f64 1/6 (+.f64 (.f64 x x) -3))
(pow.f64 (.f64 (+.f64 (.f64 x x) -3) 1/6) 1)
(.f64 1/6 (+.f64 (.f64 x x) -3))

eval5.0ms (0.2%)

Compiler: Compiled 238 to 165 computations (30.7% saved)

prune4.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	24	3	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	24	4	28

Error

0.1b

Counts

28 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
▶	0.2b	(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
▶	0.2b	(.f64 (+.f64 (.f64 x x) -3) 1/6)
	25.2b	-1/2

Compiler

Compiled 26 to 21 computations (19.2% saved)

localize7.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (+.f64 (.f64 x x) -3) 1/6)

Compiler

Compiled 19 to 10 computations (47.4% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite64.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1366×	`rational.json-simplify-2`
1306×	`rational.json-1`
1306×	`rational.json-2`
1306×	`rational.json-4`
1306×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	54	19
2	119	19
3	282	19
4	1099	19
5	4341	19

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

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

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

Outputs

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

simplify100.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

1400×	`rational.json-simplify-53`
1122×	`rational.json-simplify-2`
970×	`rational.json-simplify-39`
868×	`rational.json-simplify-59`
784×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	369
1	71	369
2	126	369
3	285	369
4	779	369
5	3669	369
6	6779	369

Stop Event

1×	node limit

Counts

21 → 13

Calls

Call 1

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

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

localize11.0ms (0.4%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 1/6 (pow.f64 x 2))

Compiler

Compiled 20 to 16 computations (20% saved)

series1.0ms (0%)

Counts

1 → 0

Calls

3 calls:

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

rewrite384.0ms (13.3%)

Algorithm

1×	batch-egg-rewrite

Rules

3346×	`rational.json-simplify-35`
2346×	`rational.json-simplify-51`
1830×	`rational.json-simplify-2`
1158×	`rational.json-simplify-1`
1076×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	95	13
3	179	13
4	316	13
5	677	13
6	1614	13
7	2653	13
8	3181	13
9	3802	13
10	4480	13
11	5220	13
12	5579	13
13	5579	13
14	6045	13
15	6045	13
16	6603	13
17	7402	13
18	7820	13
19	7879	13

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 2))

Outputs

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

simplify705.0ms (24.4%)

Algorithm

1×	egg-herbie

Rules

6406×	`rational.json-simplify-43`
4066×	`rational.json-simplify-35`
1456×	`rational.json-simplify-2`
1054×	`rational.json-simplify-1`
706×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	234
1	147	234
2	300	234
3	782	234
4	2195	234
5	3652	234
6	4240	234
7	4416	234
8	4565	234
9	4678	234
10	4791	234
11	4976	234
12	5094	234
13	5203	234
14	5203	234
15	5312	234
16	5420	234
17	5527	234
18	5634	234
19	5741	234
20	5848	234
21	5955	234
22	6062	234
23	6169	234
24	6276	234
25	6383	234
26	6383	234

Stop Event

1×	node limit

Counts

18 → 19

Calls

Call 1

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

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

eval9.0ms (0.3%)

Compiler: Compiled 331 to 277 computations (16.3% saved)

prune5.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

0.1b

Counts

36 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
✓	0.2b	(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
✓	0.2b	(.f64 (+.f64 (.f64 x x) -3) 1/6)
	25.2b	-1/2

Compiler

Compiled 26 to 21 computations (19.2% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

0.1b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
✓	0.2b	(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
✓	0.2b	(.f64 (+.f64 (.f64 x x) -3) 1/6)
	25.2b	-1/2

Compiler

Compiled 26 to 21 computations (19.2% saved)

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

0.1b

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(/.f64 (-.f64 (*.f64 x x) 3) 6)
✓	0.2b	(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)
✓	0.2b	(.f64 (+.f64 (.f64 x x) -3) 1/6)
	25.2b	-1/2

Compiler

Compiled 26 to 21 computations (19.2% saved)

regimes14.0ms (0.5%)

Counts

4 → 1

Calls

Call 1

Inputs
-1/2
(.f64 (+.f64 (.f64 x x) -3) 1/6)
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(-.f64 (*.f64 1/6 (pow.f64 x 2)) 1/2)

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)

Calls

4 calls:

4.0ms	(-.f64 (*.f64 x x) 3)
4.0ms	x
3.0ms	(*.f64 x x)
2.0ms	(/.f64 (-.f64 (*.f64 x x) 3) 6)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`(/.f64 (-.f64 (*.f64 x x) 3) 6)`
0.1b	1	`(-.f64 (*.f64 x x) 3)`
0.1b	1	`(*.f64 x x)`

Compiler

Compiled 43 to 30 computations (30.2% saved)

regimes7.0ms (0.2%)

Accuracy

Total -25.0b remaining (-15629.6%)

Threshold costs -25.0b (-15629.6%)

Counts

2 → 1

Calls

Call 1

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

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

Calls

2 calls:

4.0ms	x
2.0ms	(*.f64 x x)

Results

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

Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	39

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

Outputs
(/.f64 (-.f64 (*.f64 x x) 3) 6)
(.f64 (+.f64 (.f64 x x) -3) 1/6)
-1/2

Compiler

Compiled 18 to 14 computations (22.2% saved)

soundness0.0ms (0%)

end21.0ms (0.7%)

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

Details

analyze3.0ms (0.1%)

sample1.2s (40.2%)

preprocess87.0ms (3%)

simplify91.0ms (3.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.2%)

series1.0ms (0%)

rewrite66.0ms (2.3%)

simplify128.0ms (4.4%)

eval5.0ms (0.2%)

prune4.0ms (0.2%)

localize7.0ms (0.3%)

series0.0ms (0%)

rewrite64.0ms (2.2%)

simplify100.0ms (3.5%)

localize11.0ms (0.4%)

series1.0ms (0%)

rewrite384.0ms (13.3%)

simplify705.0ms (24.4%)

eval9.0ms (0.3%)

prune5.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes14.0ms (0.5%)

regimes7.0ms (0.2%)

simplify2.0ms (0.1%)

soundness0.0ms (0%)

end21.0ms (0.7%)

Profiling