Details

analyze230.0ms (9.5%)

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)

sample1.7s (68%)

Results

1.6s

8256×

body

256

valid

Bogosity

preprocess10.0ms (0.4%)

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)

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

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)

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

rewrite87.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1542×	`bool.json-1`
1542×	`bool.json-2`
1500×	`rational.json-1`
1500×	`rational.json-2`
1500×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	51	7
2	154	7
3	326	7
4	664	7
5	1413	7
6	3394	7
7	6422	7

Stop Event

1×	node limit

Counts

1 → 20

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 (+.f64 x 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 (+.f64 x 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 (+.f64 x 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 (.f64 2 (.f64 2 (.f64 (+.f64 x 1/3) 8))) (.f64 2 (.f64 2 (*.f64 (+.f64 x 1/3) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x 1/3) (+.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 (+.f64 x 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 (+.f64 x 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 (+.f64 x 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 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x 1/3) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 x 1/3) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x 1/3) (+.f64 x 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x 1/3) (+.f64 x 1/3))))))

simplify356.0ms (14.6%)

Algorithm

1×	egg-herbie

Rules

3864×	`rational.json-simplify-41`
1930×	`rational.json-simplify-2`
1330×	`rational.json-simplify-49`
1314×	`rational.json-simplify-35`
1030×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	206
1	90	206
2	310	206
3	856	206
4	1428	206
5	2269	206
6	2685	206
7	2734	206
8	2796	206
9	2858	206
10	2903	206
11	2937	206
12	2978	206
13	3008	206
14	3038	206
15	3068	206
16	3098	206
17	3128	206
18	3158	206
19	4106	206
20	7336	206
21	7462	206
22	7942	206

Stop Event

1×	node limit

Counts

32 → 23

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 (+.f64 x 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 (+.f64 x 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 (+.f64 x 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 (.f64 2 (.f64 2 (.f64 (+.f64 x 1/3) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x 1/3) 8)))) 64)

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 (+.f64 x 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 (+.f64 x 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 (+.f64 x 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 (.f64 2 (.f64 2 (.f64 (+.f64 x 1/3) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x 1/3) 8)))) 64)
(+.f64 1/3 x)

eval4.0ms (0.2%)

Compiler: Compiled 158 to 130 computations (17.7% saved)

prune3.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	21	2	23
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	21	3	24

Error

0.0b

Counts

24 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x 1/3)
	30.1b	x
	32.9b	1/3

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x 1/3)
	30.1b	x
	32.9b	1/3

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x 1/3)
	30.1b	x
	32.9b	1/3

Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.0b

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 x 1/3)
	30.1b	x
	32.9b	1/3

Compiler

Compiled 8 to 6 computations (25% saved)

regimes7.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

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

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 19 to 14 computations (26.3% saved)

regimes9.0ms (0.4%)

Accuracy

Total -60.8b remaining (-5381.5%)

Threshold costs -60.8b (-5381.5%)

Counts

2 → 3

Calls

Call 1

Inputs
1/3
x

Outputs
x
1/3
x

Calls

1 calls:

9.0ms

Results

Error	Segments	Branch
1.1b	3	`x`

Compiler

Compiled 5 to 3 computations (40% saved)

bsearch23.0ms (1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
11.0ms	0.0004655833307986515	0.6682571328058488
13.0ms	-2261.1628400366367	-0.002210021736400799

Results

20.0ms

272×

body

256

valid

Compiler

Compiled 112 to 93 computations (17% saved)

simplify2.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 -5944751508129055/18014398509481984) x (if (<=.f64 x 5944751508129055/18014398509481984) 1/3 x))
1/3

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

Compiler

Compiled 18 to 13 computations (27.8% saved)

soundness8.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

Compiler

Compiled 9 to 7 computations (22.2% saved)

end20.0ms (0.8%)

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

Details

analyze230.0ms (9.5%)

sample1.7s (68%)

preprocess10.0ms (0.4%)

simplify8.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize3.0ms (0.1%)

series0.0ms (0%)

rewrite87.0ms (3.6%)

simplify356.0ms (14.6%)

eval4.0ms (0.2%)

prune3.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes7.0ms (0.3%)

regimes9.0ms (0.4%)

bsearch23.0ms (1%)

simplify2.0ms (0.1%)

soundness8.0ms (0.3%)

end20.0ms (0.8%)

Profiling