Details

analyze106.0ms (2.1%)

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
56.3%	56.2%	43.7%	0.1%	0%	0%	0%	7
65.6%	65.6%	34.3%	0.1%	0%	0%	0%	8
76.6%	76.5%	23.4%	0.1%	0%	0%	0%	9
82%	82%	18%	0.1%	0%	0%	0%	10
87.9%	87.8%	12.1%	0.1%	0%	0%	0%	11
90.8%	90.7%	9.2%	0.1%	0%	0%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample2.3s (44.8%)

Results

1.7s	8127×	body	256	valid
13.0ms	55×	body	2048	valid
6.0ms	39×	body	1024	valid
5.0ms	67×	body	256	infinite
4.0ms	35×	body	512	valid

Bogosity

preprocess9.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	11	26
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(*.f64 200 (-.f64 x y))
(*.f64 200 (-.f64 y x))

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 200 (-.f64 x y))

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

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.1b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(*.f64 200 (-.f64 x y))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 6 computations (53.8% saved)

series3.0ms (0.1%)

Counts

1 → 24

Calls

6 calls:

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

rewrite71.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1402×	`bool.json-1`
1402×	`bool.json-2`
1328×	`rational.json-1`
1328×	`rational.json-2`
1328×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	69	13
2	194	13
3	415	13
4	856	13
5	1876	13
6	4472	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

Inputs
(*.f64 200 (-.f64 x y))

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

Outputs

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

simplify649.0ms (12.7%)

Algorithm

1×	egg-herbie

Rules

7622×	`rational.json-simplify-41`
3844×	`rational.json-simplify-35`
2290×	`rational.json-simplify-49`
2130×	`rational.json-simplify-2`
778×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	527
1	87	527
2	153	527
3	332	527
4	767	527
5	2240	527
6	2979	527
7	3136	527
8	3195	527
9	3240	527
10	3280	527
11	3318	527
12	3356	527
13	3394	527
14	3432	527
15	3470	527
16	3508	527
17	3546	527
18	3584	527
19	3622	527
20	3660	527
21	5101	527
22	5303	527
23	5320	527
24	5321	527
25	5321	527
26	5999	527
27	6167	527
28	6335	527
29	6503	527
30	6671	527
31	6839	527
32	7007	527
33	7007	527

Stop Event

1×	node limit

Counts

35 → 16

Calls

Call 1

Inputs
(*.f64 -200 y)
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 200 x) (.f64 -200 y))
(*.f64 200 x)
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(*.f64 200 x)
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(*.f64 200 x)
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(*.f64 -200 y)
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 200 x) (.f64 -200 y))
(*.f64 -200 y)
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (*.f64 200 (-.f64 x y)) 0)
(+.f64 0 (*.f64 200 (-.f64 x y)))
(+.f64 (.f64 (-.f64 x y) 100) (.f64 (-.f64 x y) 100))
(-.f64 (*.f64 200 (-.f64 x y)) 0)
(/.f64 (*.f64 200 (-.f64 x y)) 1)
(/.f64 (*.f64 (-.f64 x y) 400) 2)
(/.f64 (*.f64 (-.f64 x y) 800) 4)
(/.f64 (*.f64 (-.f64 x y) 1600) 8)
(/.f64 (.f64 2 (.f64 (-.f64 x y) 1600)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 x y) 1600))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600))) (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600)))) 64)

Outputs
(*.f64 -200 y)
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 -200 y) (.f64 200 x))
(*.f64 200 x)
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(*.f64 200 x)
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(*.f64 200 x)
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 -200 y) (.f64 200 x))
(*.f64 -200 y)
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 -200 y) (.f64 200 x))
(*.f64 -200 y)
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (.f64 200 x) (.f64 -200 y))
(+.f64 (.f64 -200 y) (.f64 200 x))
(+.f64 (*.f64 200 (-.f64 x y)) 0)
(*.f64 200 (-.f64 x y))
(+.f64 0 (*.f64 200 (-.f64 x y)))
(*.f64 200 (-.f64 x y))
(+.f64 (.f64 (-.f64 x y) 100) (.f64 (-.f64 x y) 100))
(*.f64 200 (-.f64 x y))
(-.f64 (*.f64 200 (-.f64 x y)) 0)
(*.f64 200 (-.f64 x y))
(/.f64 (*.f64 200 (-.f64 x y)) 1)
(*.f64 200 (-.f64 x y))
(/.f64 (*.f64 (-.f64 x y) 400) 2)
(*.f64 200 (-.f64 x y))
(/.f64 (*.f64 (-.f64 x y) 800) 4)
(*.f64 200 (-.f64 x y))
(/.f64 (*.f64 (-.f64 x y) 1600) 8)
(*.f64 200 (-.f64 x y))
(/.f64 (.f64 2 (.f64 (-.f64 x y) 1600)) 16)
(*.f64 200 (-.f64 x y))
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 x y) 1600))) 32)
(*.f64 200 (-.f64 x y))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600))) (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600)))) 64)
(*.f64 200 (-.f64 x y))

eval3.0ms (0%)

Compiler: Compiled 128 to 81 computations (36.7% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	13	3	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	4	17

Error

0.0b

Counts

17 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.1b	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	0.1b	(*.f64 200 (-.f64 x y))
▶	30.5b	(*.f64 200 x)
▶	32.5b	(*.f64 -200 y)

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize3.0ms (0.1%)

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

localize3.0ms (0.1%)

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

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

series1.0ms (0%)

Counts

1 → 15

Calls

6 calls:

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

rewrite96.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1694×	`bool.json-1`
1694×	`bool.json-2`
1634×	`rational.json-1`
1208×	`rational.json-simplify-35`
1080×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	89	19
2	229	19
3	464	19
4	964	19
5	2102	19
6	4308	19
7	6861	19

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

Inputs
(+.f64 (.f64 200 x) (.f64 -200 y))

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

Outputs

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

simplify951.0ms (18.6%)

Algorithm

1×	egg-herbie

Rules

5862×	`rational.json-simplify-51`
1974×	`rational.json-simplify-35`
1688×	`rational.json-simplify-2`
1168×	`rational.json-simplify-49`
1148×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	599
1	112	599
2	276	599
3	686	599
4	1100	599
5	2404	599
6	3178	599
7	3226	599
8	3256	599
9	3282	599
10	3308	599
11	3334	599
12	3383	599
13	3409	599
14	3435	599
15	3461	599
16	3487	599
17	3513	599
18	3539	599
19	4389	599
20	4765	599
21	4797	599
22	4827	599
23	4856	599
24	4885	599
25	4914	599
26	4943	599
27	4972	599
28	5001	599
29	5030	599
30	5059	599
31	5088	599
32	5117	599
33	5146	599
34	5175	599
35	5204	599
36	5233	599
37	5262	599
38	5291	599
39	5320	599
40	5320	599

Stop Event

1×	node limit

Counts

35 → 23

Calls

Call 1

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

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

eval5.0ms (0.1%)

Compiler: Compiled 247 to 201 computations (18.6% saved)

prune52.0ms (1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

0.0b

Counts

27 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.1b	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	0.1b	(*.f64 200 (-.f64 x y))
✓	30.5b	(*.f64 200 x)
✓	32.5b	(*.f64 -200 y)

Compiler

Compiled 26 to 20 computations (23.1% saved)

regimes73.0ms (1.4%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(+.f64 (.f64 200 x) (.f64 -200 y))

Calls

4 calls:

61.0ms	x
4.0ms	(*.f64 200 (-.f64 x y))
4.0ms	y
4.0ms	(-.f64 x y)

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`(*.f64 200 (-.f64 x y))`
0.1b	1	`(-.f64 x y)`

Compiler

Compiled 38 to 26 computations (31.6% saved)

regimes14.0ms (0.3%)

Counts

3 → 1

Calls

Call 1

Inputs
(*.f64 -200 y)
(*.f64 200 x)
(*.f64 200 (-.f64 x y))

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

Calls

4 calls:

3.0ms	(*.f64 200 (-.f64 x y))
3.0ms	(-.f64 x y)
3.0ms	y
3.0ms	x

Results

Error	Segments	Branch
0.1b	1	`x`
0.1b	1	`y`
0.1b	1	`(*.f64 200 (-.f64 x y))`
0.1b	1	`(-.f64 x y)`

Compiler

Compiled 31 to 21 computations (32.3% saved)

regimes629.0ms (12.3%)

Accuracy

Total -47.8b remaining (-341.3%)

Threshold costs -47.8b (-341.3%)

Counts

2 → 5

Calls

Call 1

Inputs
(*.f64 -200 y)
(*.f64 200 x)

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

Calls

2 calls:

620.0ms	y
8.0ms	x

Results

Error	Segments	Branch
14.5b	3	`x`
14.0b	5	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch47.0ms (0.9%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
9.0ms	4.311011756099479e+54	2.339340305789236e+55
13.0ms	-4.146507341578303e-24	-8.042826642433648e-29
10.0ms	-3.1026054089976976e+27	-2.5470372806119574e+25
15.0ms	-5.554515202198747e+105	-5.768583969957767e+99

Results

38.0ms	470×	body	256	valid
1.0ms	3×	body	2048	valid
1.0ms	4×	body	1024	valid
0.0ms	3×	body	512	valid

Compiler

Compiled 372 to 309 computations (16.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	110

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 200 x) (.f64 -200 y))
(*.f64 200 (-.f64 x y))
(if (<=.f64 y -5800000000000000441917169037238757437152412195321666401706401012878860313185054768274583928734482432) (.f64 -200 y) (if (<=.f64 y -190000000000000010770972672) (.f64 200 x) (if (<=.f64 y -5444517870735015/2722258935367507707706996859454145691648) (.f64 -200 y) (if (<=.f64 y 7000000000000000207758415911235243432762914667434606592) (.f64 200 x) (*.f64 -200 y)))))
(*.f64 -200 y)

Outputs
(+.f64 (.f64 200 x) (.f64 -200 y))
(*.f64 200 (-.f64 x y))
(if (<=.f64 y -5800000000000000441917169037238757437152412195321666401706401012878860313185054768274583928734482432) (.f64 -200 y) (if (<=.f64 y -190000000000000010770972672) (.f64 200 x) (if (<=.f64 y -5444517870735015/2722258935367507707706996859454145691648) (.f64 -200 y) (if (<=.f64 y 7000000000000000207758415911235243432762914667434606592) (.f64 200 x) (*.f64 -200 y)))))
(*.f64 -200 y)

Compiler

Compiled 54 to 40 computations (25.9% saved)

soundness0.0ms (0%)

end88.0ms (1.7%)

Compiler: Compiled 48 to 34 computations (29.2% saved)

Details

analyze106.0ms (2.1%)

sample2.3s (44.8%)

preprocess9.0ms (0.2%)

simplify7.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series3.0ms (0.1%)

rewrite71.0ms (1.4%)

simplify649.0ms (12.7%)

eval3.0ms (0%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize9.0ms (0.2%)

series1.0ms (0%)

rewrite96.0ms (1.9%)

simplify951.0ms (18.6%)

eval5.0ms (0.1%)

prune52.0ms (1%)

regimes73.0ms (1.4%)

regimes14.0ms (0.3%)

regimes629.0ms (12.3%)

bsearch47.0ms (0.9%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

end88.0ms (1.7%)

Profiling