Details

analyze460.0ms (14.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
53.3%	50%	43.7%	0.1%	6.2%	0%	0%	7
63.3%	59.3%	34.3%	0.1%	6.2%	0%	0%	8
74.1%	67.1%	23.4%	0.1%	9.4%	0%	0%	9
80.2%	72.6%	18%	0.1%	9.4%	0%	0%	10
86.4%	76.9%	12.1%	0.1%	10.9%	0%	0%	11
89.7%	79.8%	9.2%	0.1%	10.9%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.4s (45.9%)

Results

1.4s	8256×	body	256	valid
10.0ms	131×	body	256	infinite

Bogosity

preprocess3.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

4×	`rational.json-simplify-17`
4×	`rational.json-simplify-2`
4×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	13	26
2	16	26
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(*.f64 x (+.f64 y 1))
(*.f64 y (+.f64 x 1))

Outputs
(*.f64 x (+.f64 y 1))
(*.f64 y (+.f64 x 1))

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-17`
2×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	9	13
2	11	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 x (+.f64 y 1))

Outputs
(*.f64 x (+.f64 y 1))

eval0.0ms (0%)

Compiler: Compiled 7 to 5 computations (28.6% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(*.f64 x (+.f64 y 1))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (+.f64 y 1))

Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite98.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1620×	`bool.json-1`
1620×	`bool.json-2`
1580×	`rational.json-1`
1580×	`rational.json-2`
1176×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	78	13
2	239	13
3	477	13
4	937	13
5	2016	13
6	4088	13
7	6496	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 x (+.f64 y 1))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x (+.f64 y 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 x (+.f64 y 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (+.f64 y 1) (.f64 x 1/2)) (.f64 (+.f64 y 1) (.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 x (+.f64 y 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (+.f64 y 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (+.f64 y (+.f64 y 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 y 1) (.f64 x 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (.f64 x 8) (+.f64 y 1)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1)))) (.f64 2 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 x (+.f64 y 1))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 x (+.f64 y 1)) (.f64 x (+.f64 y 1)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 x (+.f64 y 1)) (*.f64 x (+.f64 y 1)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x (+.f64 y 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 x (+.f64 y 1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (+.f64 y 1) (*.f64 x 1/2)) (*.f64 (+.f64 y 1) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x (+.f64 y 1)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (+.f64 y 1)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (+.f64 y (+.f64 y 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 y 1) (*.f64 x 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x 8) (+.f64 y 1)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 x 8) (+.f64 y 1))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x 8) (+.f64 y 1)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 x 8) (+.f64 y 1)))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 x 8) (+.f64 y 1))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 x (+.f64 y 1))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 x (+.f64 y 1)) (*.f64 x (+.f64 y 1)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 x (+.f64 y 1)) (*.f64 x (+.f64 y 1)))))))

simplify583.0ms (18.9%)

Algorithm

1×	egg-herbie

Rules

3280×	`rational.json-simplify-2`
2166×	`rational.json-simplify-53`
2130×	`rational.json-simplify-35`
1610×	`rational.json-simplify-1`
1062×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	431
1	98	431
2	192	431
3	414	431
4	1317	431
5	3336	431
6	4018	431
7	4193	431
8	4365	431
9	4505	431
10	4622	431
11	5755	431
12	5970	431
13	6087	431
14	6218	431
15	6326	431
16	6491	431
17	6623	431
18	6662	431
19	6677	431
20	6708	431
21	6708	431
22	7568	431

Stop Event

1×	node limit

Counts

35 → 17

Calls

Call 1

Inputs
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
x
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 y x) x)
(+.f64 (*.f64 x (+.f64 y 1)) 0)
(+.f64 0 (*.f64 x (+.f64 y 1)))
(+.f64 (.f64 (+.f64 y 1) (.f64 x 1/2)) (.f64 (+.f64 y 1) (.f64 x 1/2)))
(-.f64 (*.f64 x (+.f64 y 1)) 0)
(/.f64 (*.f64 x (+.f64 y 1)) 1)
(/.f64 (*.f64 x (+.f64 y (+.f64 y 2))) 2)
(/.f64 (.f64 (+.f64 y 1) (.f64 x 4)) 4)
(/.f64 (.f64 (.f64 x 8) (+.f64 y 1)) 8)
(/.f64 (.f64 2 (.f64 (*.f64 x 8) (+.f64 y 1))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1)))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1)))) (.f64 2 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1))))) 64)

Outputs
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 (+.f64 1 y) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
x
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 y x) x)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (*.f64 x (+.f64 y 1)) 0)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 0 (*.f64 x (+.f64 y 1)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(+.f64 (.f64 (+.f64 y 1) (.f64 x 1/2)) (.f64 (+.f64 y 1) (.f64 x 1/2)))
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(-.f64 (*.f64 x (+.f64 y 1)) 0)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (*.f64 x (+.f64 y 1)) 1)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (*.f64 x (+.f64 y (+.f64 y 2))) 2)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 (+.f64 y 1) (.f64 x 4)) 4)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 (.f64 x 8) (+.f64 y 1)) 8)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 2 (.f64 (*.f64 x 8) (+.f64 y 1))) 16)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1)))) 32)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1)))) (.f64 2 (.f64 2 (.f64 (.f64 x 8) (+.f64 y 1))))) 64)
(*.f64 x (+.f64 1 y))
(+.f64 x (*.f64 y x))

eval3.0ms (0.1%)

Compiler: Compiled 145 to 103 computations (29% saved)

prune4.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	14	3	17
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	14	4	18

Error

Counts

18 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (*.f64 y x) x)
▶	37.1b	(*.f64 y x)
✓	0.0b	(*.f64 x (+.f64 y 1))
	25.8b	x

Compiler

Compiled 22 to 14 computations (36.4% saved)

localize3.0ms (0.1%)

Compiler: Compiled 7 to 3 computations (57.1% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 y x) x)

Compiler

Compiled 12 to 4 computations (66.7% saved)

series2.0ms (0.1%)

Counts

1 → 15

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	inf	(+.f64 (*.f64 y x) x)
0.0ms	x	@	inf	(+.f64 (*.f64 y x) x)
0.0ms	x	@	-inf	(+.f64 (*.f64 y x) x)
0.0ms	x	@	0	(+.f64 (*.f64 y x) x)
0.0ms	y	@	0	(+.f64 (*.f64 y x) x)

rewrite97.0ms (3.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1810×	`bool.json-1`
1810×	`bool.json-2`
1776×	`rational.json-1`
1144×	`bool.json-3`
1100×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	61	13
2	179	13
3	399	13
4	838	13
5	1850	13
6	3968	13
7	6886	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

Inputs
(+.f64 (*.f64 y x) x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (.f64 y x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 x (+.f64 y 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 x (.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (+.f64 x (.f64 y x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 x 1/2) (.f64 (.f64 y x) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (.f64 (+.f64 y 1) 1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 y x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x x) (.f64 (+.f64 y 1) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x x) (/.f64 (+.f64 y 1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x x) (+.f64 1/2 (.f64 y 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 y 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (+.f64 x (.f64 y x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x (.f64 (+.f64 y 1) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 y (+.f64 y 2)) (.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 x (.f64 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 y (+.f64 x x)) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x 1/2) (+.f64 y (+.f64 y 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 x 1/2) (+.f64 2 (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 y x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 y 1) 1/2) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 x (.f64 (+.f64 y 1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 y 1) 2) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (+.f64 x (.f64 y x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 y x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 x (.f64 (+.f64 y 1) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 y x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x (.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x (.f64 y x)) (+.f64 x (.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x (.f64 y x)) (+.f64 x (*.f64 y x)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (*.f64 y x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (+.f64 y 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 x (*.f64 y x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 x 1/2) (*.f64 (*.f64 y x) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (*.f64 (+.f64 y 1) 1/2) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 y x)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (*.f64 (+.f64 y 1) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (/.f64 (+.f64 y 1) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x x) (+.f64 1/2 (*.f64 y 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 x (*.f64 y x)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (*.f64 (+.f64 y 1) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y (+.f64 y 2)) (*.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 x (*.f64 y x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 y (+.f64 x x)) (+.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/2) (+.f64 y (+.f64 y 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/2) (+.f64 2 (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 y x)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 y 1) 1/2) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 x (*.f64 (+.f64 y 1) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 y 1) 2) (+.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (*.f64 y x)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (*.f64 y x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 y x)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (*.f64 (+.f64 y 1) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 y x)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 x (*.f64 y x)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y x)) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x (*.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x (*.f64 y x)) (+.f64 x (*.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x (*.f64 y x)) (+.f64 x (*.f64 y x)))))))

simplify289.0ms (9.3%)

Algorithm

1×	egg-herbie

Rules

2030×	`rational.json-simplify-2`
1950×	`rational.json-simplify-1`
1474×	`rational.json-simplify-35`
1292×	`rational.json-simplify-41`
1144×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	574
1	166	574
2	354	574
3	854	574
4	1704	574
5	3556	574
6	3819	574
7	4027	574
8	4222	574
9	4484	574
10	4932	574
11	6308	574
12	6667	574
13	7007	574
14	7336	574
15	7678	574

Stop Event

1×	node limit

Counts

46 → 38

Calls

Call 1

Inputs
x
(*.f64 y x)
(*.f64 y x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(*.f64 (+.f64 1 y) x)
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(-.f64 (+.f64 x (*.f64 y x)) 0)
(*.f64 x (+.f64 y 1))
(.f64 (+.f64 x (.f64 y x)) 1)
(.f64 1 (+.f64 x (.f64 y x)))
(.f64 2 (.f64 (+.f64 x (*.f64 y x)) 1/2))
(.f64 2 (+.f64 (.f64 x 1/2) (.f64 (.f64 y x) 1/2)))
(.f64 2 (.f64 (*.f64 (+.f64 y 1) 1/2) x))
(.f64 (.f64 (+.f64 x (*.f64 y x)) 2) 1/2)
(.f64 (+.f64 x x) (.f64 (+.f64 y 1) 1/2))
(*.f64 (+.f64 x x) (/.f64 (+.f64 y 1) 2))
(.f64 (+.f64 x x) (+.f64 1/2 (.f64 y 1/2)))
(*.f64 (+.f64 y 1) x)
(.f64 4 (/.f64 (+.f64 x (.f64 y x)) 4))
(.f64 (.f64 x (*.f64 (+.f64 y 1) 4)) 1/4)
(.f64 (+.f64 y (+.f64 y 2)) (.f64 x 1/2))
(.f64 1/2 (.f64 (+.f64 x (*.f64 y x)) 2))
(.f64 1/2 (+.f64 (.f64 y (+.f64 x x)) (+.f64 x x)))
(.f64 (.f64 x 1/2) (+.f64 y (+.f64 y 2)))
(.f64 (.f64 x 1/2) (+.f64 2 (+.f64 y y)))
(.f64 (.f64 (+.f64 x (*.f64 y x)) 1/2) 2)
(.f64 (.f64 (+.f64 y 1) 1/2) (+.f64 x x))
(.f64 1/4 (.f64 x (*.f64 (+.f64 y 1) 4)))
(*.f64 (/.f64 (+.f64 y 1) 2) (+.f64 x x))
(.f64 (/.f64 (+.f64 x (.f64 y x)) 4) 4)
(/.f64 (+.f64 x (*.f64 y x)) 1)
(/.f64 (.f64 (+.f64 x (.f64 y x)) 2) 2)
(/.f64 (.f64 x (.f64 (+.f64 y 1) 4)) 4)
(/.f64 (.f64 (+.f64 x (.f64 y x)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 x (*.f64 y x)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8)))) 64)

Outputs
x
(*.f64 y x)
(*.f64 x y)
(*.f64 y x)
(*.f64 x y)
(*.f64 (+.f64 1 y) x)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(*.f64 (+.f64 1 y) x)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(*.f64 (+.f64 1 y) x)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(*.f64 (+.f64 1 y) x)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(*.f64 (+.f64 1 y) x)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(*.f64 (+.f64 1 y) x)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(*.f64 (+.f64 1 y) x)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(*.f64 (+.f64 1 y) x)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 -1 (.f64 (-.f64 (*.f64 -1 y) 1) x))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(-.f64 (+.f64 x (*.f64 y x)) 0)
(+.f64 x (*.f64 x y))
(*.f64 x (+.f64 y 1))
(*.f64 x (-.f64 y -1))
(.f64 (+.f64 x (.f64 y x)) 1)
(+.f64 x (*.f64 x y))
(.f64 1 (+.f64 x (.f64 y x)))
(+.f64 x (*.f64 x y))
(.f64 2 (.f64 (+.f64 x (*.f64 y x)) 1/2))
(+.f64 x (*.f64 x y))
(.f64 2 (+.f64 (.f64 x 1/2) (.f64 (.f64 y x) 1/2)))
(+.f64 x (*.f64 x y))
(.f64 2 (.f64 (*.f64 (+.f64 y 1) 1/2) x))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 (.f64 (+.f64 x (*.f64 y x)) 2) 1/2)
(+.f64 x (*.f64 x y))
(.f64 (+.f64 x x) (.f64 (+.f64 y 1) 1/2))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(*.f64 (+.f64 x x) (/.f64 (+.f64 y 1) 2))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 (+.f64 x x) (+.f64 1/2 (.f64 y 1/2)))
(+.f64 x (*.f64 x y))
(*.f64 (+.f64 y 1) x)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 4 (/.f64 (+.f64 x (.f64 y x)) 4))
(+.f64 x (*.f64 x y))
(.f64 (.f64 x (*.f64 (+.f64 y 1) 4)) 1/4)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 (+.f64 y (+.f64 y 2)) (.f64 x 1/2))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 1/2 (.f64 (+.f64 x (*.f64 y x)) 2))
(+.f64 x (*.f64 x y))
(.f64 1/2 (+.f64 (.f64 y (+.f64 x x)) (+.f64 x x)))
(+.f64 x (*.f64 x y))
(.f64 (.f64 x 1/2) (+.f64 y (+.f64 y 2)))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 (.f64 x 1/2) (+.f64 2 (+.f64 y y)))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 (.f64 (+.f64 x (*.f64 y x)) 1/2) 2)
(+.f64 x (*.f64 x y))
(.f64 (.f64 (+.f64 y 1) 1/2) (+.f64 x x))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 1/4 (.f64 x (*.f64 (+.f64 y 1) 4)))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(*.f64 (/.f64 (+.f64 y 1) 2) (+.f64 x x))
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(.f64 (/.f64 (+.f64 x (.f64 y x)) 4) 4)
(+.f64 x (*.f64 x y))
(/.f64 (+.f64 x (*.f64 y x)) 1)
(+.f64 x (*.f64 x y))
(/.f64 (.f64 (+.f64 x (.f64 y x)) 2) 2)
(+.f64 x (*.f64 x y))
(/.f64 (.f64 x (.f64 (+.f64 y 1) 4)) 4)
(*.f64 x (-.f64 y -1))
(*.f64 x (+.f64 y 1))
(/.f64 (.f64 (+.f64 x (.f64 y x)) 8) 8)
(+.f64 x (*.f64 x y))
(/.f64 (.f64 2 (.f64 (+.f64 x (*.f64 y x)) 8)) 16)
(+.f64 x (*.f64 x y))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8))) 32)
(+.f64 x (*.f64 x y))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y x)) 8)))) 64)
(+.f64 x (*.f64 x y))

eval7.0ms (0.2%)

Compiler: Compiled 322 to 177 computations (45% saved)

prune5.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	38	4	42

Error

Counts

42 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (*.f64 y x) x)
✓	37.1b	(*.f64 y x)
✓	0.0b	(*.f64 x (+.f64 y 1))
	25.8b	x

Compiler

Compiled 22 to 14 computations (36.4% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 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

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (*.f64 y x) x)
✓	37.1b	(*.f64 y x)
✓	0.0b	(*.f64 x (+.f64 y 1))
	25.8b	x

Compiler

Compiled 22 to 14 computations (36.4% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

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

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (*.f64 y x) x)
✓	37.1b	(*.f64 y x)
✓	0.0b	(*.f64 x (+.f64 y 1))
	25.8b	x

Compiler

Compiled 22 to 14 computations (36.4% saved)

regimes15.0ms (0.5%)

Counts

4 → 1

Calls

Call 1

Inputs
x
(*.f64 y x)
(*.f64 x (+.f64 y 1))
(+.f64 (*.f64 y x) x)

Outputs
(*.f64 x (+.f64 y 1))

Calls

4 calls:

4.0ms	(*.f64 x (+.f64 y 1))
4.0ms	x
4.0ms	y
3.0ms	(+.f64 y 1)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(*.f64 x (+.f64 y 1))`
0.0b	1	`(+.f64 y 1)`

Compiler

Compiled 34 to 20 computations (41.2% saved)

regimes35.0ms (1.1%)

Accuracy

Total -59.3b remaining (-3347.9%)

Threshold costs -59.3b (-3347.9%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

Outputs
(*.f64 y x)
x
(*.f64 y x)

Calls

2 calls:

24.0ms	x
10.0ms	y

Results

Error	Segments	Branch
19.0b	9	`x`
1.8b	3	`y`

Compiler

Compiled 12 to 7 computations (41.7% saved)

bsearch18.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
6.0ms	0.8332286219781533	1.551398172031305
12.0ms	-2751.0284709717835	-0.29189197902147296

Results

16.0ms

192×

body

256

valid

Compiler

Compiled 132 to 93 computations (29.5% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	47

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(*.f64 x (+.f64 y 1))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Outputs
(*.f64 x (+.f64 y 1))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Compiler

Compiled 27 to 16 computations (40.7% saved)

soundness0.0ms (0%)

end20.0ms (0.7%)

Compiler: Compiled 23 to 12 computations (47.8% saved)

Details

analyze460.0ms (14.9%)

sample1.4s (45.9%)

preprocess3.0ms (0.1%)

simplify10.0ms (0.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series2.0ms (0.1%)

rewrite98.0ms (3.2%)

simplify583.0ms (18.9%)

eval3.0ms (0.1%)

prune4.0ms (0.1%)

localize3.0ms (0.1%)

localize4.0ms (0.1%)

series2.0ms (0.1%)

rewrite97.0ms (3.2%)

simplify289.0ms (9.3%)

eval7.0ms (0.2%)

prune5.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes15.0ms (0.5%)

regimes35.0ms (1.1%)

bsearch18.0ms (0.6%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end20.0ms (0.7%)

Profiling