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)

sample4.7s (78.3%)

Results

4.6s

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)

simplify9.0ms (0.1%)

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)

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

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)

rewrite275.0ms (4.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1662×	`rational.json-simplify-35`
1394×	`bool.json-1`
1394×	`bool.json-2`
1350×	`rational.json-1`
1350×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	50	7
2	152	7
3	323	7
4	642	7
5	1340	7
6	3110	7
7	5800	7

Stop Event

1×	node limit

Counts

1 → 26

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

simplify826.0ms (13.8%)

Algorithm

1×	egg-herbie

Rules

5436×	`rational.json-simplify-1`
4450×	`rational.json-simplify-41`
1658×	`rational.json-simplify-35`
1388×	`rational.json-simplify-2`
1328×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	203
1	108	203
2	336	203
3	946	203
4	1662	203
5	2019	203
6	2068	203
7	2106	203
8	2137	203
9	2168	203
10	2950	203
11	2984	203
12	3014	203
13	3044	203
14	3071	203
15	3098	203
16	3545	203
17	3574	203
18	3603	203
19	3630	203
20	6708	203
21	6749	203
22	6833	203
23	7105	203
24	7212	203
25	7240	203
26	7267	203
27	7294	203
28	7321	203
29	7348	203
30	7375	203
31	7402	203
32	7429	203
33	7456	203
34	7483	203
35	7510	203

Stop Event

1×	node limit

Counts

29 → 28

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

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

eval5.0ms (0.1%)

Compiler: Compiled 203 to 170 computations (16.3% saved)

prune58.0ms (1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	26	2	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	26	3	29

Error

0.0b

Counts

29 → 3

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x 1/3)
	31.1b	x
	31.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)
	31.1b	x
	31.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)
	31.1b	x
	31.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)
	31.1b	x
	31.9b	-1/3

Compiler

Compiled 8 to 6 computations (25% saved)

regimes9.0ms (0.2%)

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:

5.0ms	(-.f64 x (/.f64 1 3))
4.0ms	x

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

Accuracy

Total -60.8b remaining (-5611.3%)

Threshold costs -60.8b (-5611.3%)

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)

bsearch24.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	0.034083242380540064	8.603486561744598
14.0ms	-3.8991291440419467	-4.1489912418280465e-13

Results

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

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

end56.0ms (0.9%)

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

Details

analyze3.0ms (0%)

sample4.7s (78.3%)

preprocess9.0ms (0.1%)

simplify9.0ms (0.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize2.0ms (0%)

series0.0ms (0%)

rewrite275.0ms (4.6%)

simplify826.0ms (13.8%)

eval5.0ms (0.1%)

prune58.0ms (1%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes9.0ms (0.2%)

regimes9.0ms (0.2%)

bsearch24.0ms (0.4%)

simplify2.0ms (0%)

soundness9.0ms (0.2%)

end56.0ms (0.9%)

Profiling