Details

analyze48.0ms (1.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)

sample1.9s (42%)

Results

1.9s	8126×	body	256	valid
9.0ms	43×	body	2048	valid
8.0ms	50×	body	1024	valid
5.0ms	66×	body	256	infinite
4.0ms	37×	body	512	valid

Bogosity

preprocess5.0ms (0.1%)

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)

simplify8.0ms (0.2%)

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

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

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

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.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))

rewrite119.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1800×	`rational.json-simplify-35`
1614×	`rational.json-1`
1614×	`rational.json-2`
1134×	`exponential.json-3`
1134×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	100	13
3	212	13
4	392	13
5	888	13
6	2361	13
7	4309	13
8	5525	13
9	7651	13

Stop Event

1×	node limit

Counts

1 → 24

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 -1 (-.f64 1 (.f64 200 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (.f64 400 (/.f64 (-.f64 x y) -2))))))) (#(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 0 (.f64 200 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 400 (/.f64 (-.f64 x y) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 200 (-.f64 y x)) (.f64 2 (.f64 200 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 400 (/.f64 (-.f64 x y) -2)) (.f64 2 (.f64 400 (/.f64 (-.f64 x y) -2))))))) (#(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 200 (-.f64 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 400 (/.f64 (-.f64 x y) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 200 (-.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 200 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 400 (/.f64 (-.f64 x y) -2)))))))

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 -1 (-.f64 1 (*.f64 200 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (*.f64 400 (/.f64 (-.f64 x y) -2))))))) (#(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 0 (*.f64 200 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 400 (/.f64 (-.f64 x y) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 200 (-.f64 y x)) (*.f64 2 (*.f64 200 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 400 (/.f64 (-.f64 x y) -2)) (*.f64 2 (*.f64 400 (/.f64 (-.f64 x y) -2))))))) (#(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 200 (-.f64 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 400 (/.f64 (-.f64 x y) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x y) 1600)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x y) 1600))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x y) 1600))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x y) 1600)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 200 (-.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 200 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 400 (/.f64 (-.f64 x y) -2)))))))

simplify148.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1708×	`rational.json-simplify-2`
1466×	`rational.json-simplify-35`
1088×	`rational.json-simplify-1`
958×	`rational.json-simplify-26`
870×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	696
1	158	696
2	272	696
3	616	696
4	1551	696
5	3626	696
6	4465	696
7	4833	696
8	5170	696
9	6545	696
10	7148	696

Stop Event

1×	node limit

Counts

48 → 30

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 -1 (-.f64 1 (*.f64 200 (-.f64 y x))))
(+.f64 -1 (-.f64 1 (*.f64 400 (/.f64 (-.f64 x y) -2))))
(+.f64 (.f64 (-.f64 x y) 100) (.f64 (-.f64 x y) 100))
(-.f64 (*.f64 200 (-.f64 x y)) 0)
(-.f64 0 (*.f64 200 (-.f64 y x)))
(-.f64 0 (*.f64 400 (/.f64 (-.f64 x y) -2)))
(-.f64 (.f64 200 (-.f64 y x)) (.f64 2 (*.f64 200 (-.f64 y x))))
(-.f64 (.f64 400 (/.f64 (-.f64 x y) -2)) (.f64 2 (*.f64 400 (/.f64 (-.f64 x y) -2))))
(/.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 200 (-.f64 y x)) -1)
(/.f64 (*.f64 400 (/.f64 (-.f64 x y) -2)) -1)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (-.f64 x y) 1600))))) 128)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600)))))) 256)
(pow.f64 (*.f64 200 (-.f64 x y)) 1)
(neg.f64 (*.f64 200 (-.f64 y x)))
(neg.f64 (*.f64 400 (/.f64 (-.f64 x y) -2)))

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 -200 (-.f64 y x))
(+.f64 0 (*.f64 200 (-.f64 x y)))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(+.f64 -1 (-.f64 1 (*.f64 200 (-.f64 y x))))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(+.f64 -1 (-.f64 1 (*.f64 400 (/.f64 (-.f64 x y) -2))))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(+.f64 (.f64 (-.f64 x y) 100) (.f64 (-.f64 x y) 100))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(-.f64 (*.f64 200 (-.f64 x y)) 0)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(-.f64 0 (*.f64 200 (-.f64 y x)))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(-.f64 0 (*.f64 400 (/.f64 (-.f64 x y) -2)))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(-.f64 (.f64 200 (-.f64 y x)) (.f64 2 (*.f64 200 (-.f64 y x))))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(-.f64 (.f64 400 (/.f64 (-.f64 x y) -2)) (.f64 2 (*.f64 400 (/.f64 (-.f64 x y) -2))))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (*.f64 200 (-.f64 x y)) 1)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (*.f64 (-.f64 x y) 400) 2)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (*.f64 (-.f64 x y) 800) 4)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (*.f64 (-.f64 x y) 1600) 8)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (.f64 2 (.f64 (-.f64 x y) 1600)) 16)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 x y) 1600))) 32)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (*.f64 200 (-.f64 y x)) -1)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (*.f64 400 (/.f64 (-.f64 x y) -2)) -1)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600)))) 64)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (-.f64 x y) 1600))))) 128)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 1600)))))) 256)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(pow.f64 (*.f64 200 (-.f64 x y)) 1)
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(neg.f64 (*.f64 200 (-.f64 y x)))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))
(neg.f64 (*.f64 400 (/.f64 (-.f64 x y) -2)))
(*.f64 200 (-.f64 x y))
(*.f64 -200 (-.f64 y x))

eval5.0ms (0.1%)

Compiler: Compiled 272 to 178 computations (34.6% saved)

prune100.0ms (2.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

0.0b

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	0.0b	(*.f64 200 (-.f64 x y))
▶	32.6b	(*.f64 200 x)
▶	30.0b	(*.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)

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

rewrite838.0ms (18.6%)

Algorithm

1×	batch-egg-rewrite

Rules

2400×	`rational.json-simplify-35`
2248×	`rational.json-simplify-2`
1142×	`rational.json-simplify-1`
1094×	`exponential.json-3`
1094×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	59	19
2	117	19
3	235	19
4	442	19
5	985	19
6	2511	19
7	4284	19
8	4991	19
9	6010	19
10	6669	19
11	6669	19
12	7570	19
13	7570	19

Stop Event

1×	node limit

Counts

1 → 24

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 y -100) (.f64 x 100)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 y -400) (.f64 x 400)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 1/2 (+.f64 (.f64 y -100) (.f64 x 100))))))) (#(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 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8) 1/8)))) (#(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 y -100) (.f64 x 100)) 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 1/2 (+.f64 (.f64 y -100) (.f64 x 100))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8))))) (#(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 y -400) (.f64 x 400)) 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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 1)))))

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 y -100) (*.f64 x 100)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 y -400) (*.f64 x 400)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 1/2 (+.f64 (*.f64 y -100) (*.f64 x 100))))))) (#(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 (*.f64 (+.f64 (*.f64 200 x) (*.f64 -200 y)) 8) 1/8)))) (#(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 y -100) (*.f64 x 100)) 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 1/2 (+.f64 (*.f64 y -100) (*.f64 x 100))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 (*.f64 200 x) (*.f64 -200 y)) 8))))) (#(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 y -400) (*.f64 x 400)) 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 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 200 x) (*.f64 -200 y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 200 x) (*.f64 -200 y)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 200 x) (*.f64 -200 y)) 8)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 200 x) (*.f64 -200 y)) 8)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 200 x) (*.f64 -200 y)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 200 x) (*.f64 -200 y)) 1)))))

simplify592.0ms (13.1%)

Algorithm

1×	egg-herbie

Rules

3238×	`rational.json-simplify-51`
2812×	`rational.json-simplify-2`
1840×	`rational.json-simplify-35`
1404×	`rational.json-simplify-1`
1370×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	693
1	137	693
2	320	693
3	1043	693
4	1964	693
5	3158	693
6	3705	693
7	3784	693
8	3836	693
9	3874	693
10	3912	693
11	3950	693
12	3988	693
13	4026	693
14	4064	693
15	4102	693
16	4140	693
17	4178	693
18	4216	693
19	5163	693
20	7566	693
21	7631	693
22	7665	693
23	7699	693
24	7731	693

Stop Event

1×	node limit

Counts

39 → 27

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 y -100) (*.f64 x 100)))
(.f64 (+.f64 (.f64 y -400) (*.f64 x 400)) 1/2)
(.f64 4 (.f64 1/2 (+.f64 (.f64 y -100) (.f64 x 100))))
(.f64 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 4) 1/4)
(.f64 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8) 1/8)
(.f64 1/2 (+.f64 (.f64 y -400) (*.f64 x 400)))
(.f64 (+.f64 (.f64 y -100) (*.f64 x 100)) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 4))
(.f64 (.f64 1/2 (+.f64 (.f64 y -100) (.f64 x 100))) 4)
(.f64 1/8 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8))
(/.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 1)
(/.f64 (+.f64 (.f64 y -400) (.f64 x 400)) 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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (*.f64 -200 y)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8)))))) 256)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8))))))) 512)
(pow.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 1)

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 y -100) (*.f64 x 100)))
(.f64 (+.f64 (.f64 y -400) (*.f64 x 400)) 1/2)
(+.f64 (.f64 -200 y) (.f64 200 x))
(.f64 4 (.f64 1/2 (+.f64 (.f64 y -100) (.f64 x 100))))
(.f64 2 (+.f64 (.f64 y -100) (*.f64 x 100)))
(.f64 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 4) 1/4)
(+.f64 (.f64 -200 y) (.f64 200 x))
(.f64 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8) 1/8)
(+.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 y -100) (*.f64 x 100)) 2)
(.f64 2 (+.f64 (.f64 y -100) (*.f64 x 100)))
(.f64 1/4 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 4))
(+.f64 (.f64 -200 y) (.f64 200 x))
(.f64 (.f64 1/2 (+.f64 (.f64 y -100) (.f64 x 100))) 4)
(.f64 2 (+.f64 (.f64 y -100) (*.f64 x 100)))
(.f64 1/8 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8))
(+.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 y -400) (.f64 x 400)) 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 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8)))) 64)
(+.f64 (.f64 -200 y) (.f64 200 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (*.f64 -200 y)) 8))))) 128)
(+.f64 (.f64 -200 y) (.f64 200 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8)))))) 256)
(+.f64 (.f64 -200 y) (.f64 200 x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 8))))))) 512)
(+.f64 (.f64 -200 y) (.f64 200 x))
(pow.f64 (+.f64 (.f64 200 x) (.f64 -200 y)) 1)
(+.f64 (.f64 -200 y) (.f64 200 x))

eval6.0ms (0.1%)

Compiler: Compiled 319 to 265 computations (16.9% saved)

prune4.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

0.0b

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 200 x) (.f64 -200 y))
✓	0.0b	(*.f64 200 (-.f64 x y))
✓	32.6b	(*.f64 200 x)
✓	30.0b	(*.f64 -200 y)

Compiler

Compiled 26 to 20 computations (23.1% saved)

regimes16.0ms (0.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 200 (-.f64 x y))

Calls

4 calls:

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

Results

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

Compiler

Compiled 38 to 26 computations (31.6% saved)

regimes241.0ms (5.3%)

Accuracy

Total -50.7b remaining (-452.4%)

Threshold costs -50.7b (-452.4%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

227.0ms	x
14.0ms	y

Results

Error	Segments	Branch
11.2b	3	`x`
14.9b	5	`y`

Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch23.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
11.0ms	8.302664170657233e+28	9.350118617971295e+32
12.0ms	-4.765666052597585e+80	-1.9196480718560728e+76

Results

19.0ms	247×	body	256	valid
1.0ms	6×	body	1024	valid
0.0ms	3×	body	512	valid

Compiler

Compiled 204 to 169 computations (17.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	59

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 x -25999999999999999295237843782753878667700452851058116960481052251384046419968) (*.f64 200 x) (if (<=.f64 x 149999999999999995945819308032) (*.f64 -200 y) (*.f64 200 x)))

(*.f64 -200 y)

Outputs

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

(if (<=.f64 x -25999999999999999295237843782753878667700452851058116960481052251384046419968) (*.f64 200 x) (if (<=.f64 x 149999999999999995945819308032) (*.f64 -200 y) (*.f64 200 x)))

(*.f64 -200 y)

Compiler

Compiled 31 to 23 computations (25.8% saved)

soundness0.0ms (0%)

end439.0ms (9.7%)

Compiler: Compiled 27 to 19 computations (29.6% saved)

Details

analyze48.0ms (1.1%)

sample1.9s (42%)

preprocess5.0ms (0.1%)

simplify8.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize4.0ms (0.1%)

series2.0ms (0%)

rewrite119.0ms (2.6%)

simplify148.0ms (3.3%)

eval5.0ms (0.1%)

prune100.0ms (2.2%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize7.0ms (0.2%)

series1.0ms (0%)

rewrite838.0ms (18.6%)

simplify592.0ms (13.1%)

eval6.0ms (0.1%)

prune4.0ms (0.1%)

regimes16.0ms (0.4%)

regimes241.0ms (5.3%)

bsearch23.0ms (0.5%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end439.0ms (9.7%)

Profiling