Details

analyze419.0ms (7.5%)

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

Results

2.2s	8225×	body	256	valid
4.0ms	59×	body	256	infinite
2.0ms	11×	body	1024	valid
2.0ms	15×	body	512	valid
1.0ms	5×	body	2048	valid

Bogosity

preprocess13.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 500 (-.f64 x y))
(*.f64 500 (-.f64 y x))

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify8.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 500 (-.f64 x y))

Outputs
(*.f64 500 (-.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 500 (-.f64 x y))

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 500 (-.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 500 (-.f64 x y))
0.0ms	x	@	-inf	(*.f64 500 (-.f64 x y))
0.0ms	x	@	0	(*.f64 500 (-.f64 x y))
0.0ms	y	@	inf	(*.f64 500 (-.f64 x y))
0.0ms	y	@	-inf	(*.f64 500 (-.f64 x y))

rewrite122.0ms (2.2%)

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 500 (-.f64 x y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 500 (-.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (.f64 500 (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (.f64 500 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (.f64 1000 (/.f64 (-.f64 x y) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 x y) 250) (.f64 (-.f64 x y) 250))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 500 (-.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 500 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (.f64 1000 (/.f64 (-.f64 x y) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 500 (-.f64 y x)) (.f64 2 (.f64 500 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 1000 (/.f64 (-.f64 x y) -2)) (.f64 2 (.f64 1000 (/.f64 (-.f64 x y) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 500 (-.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x y) 1000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x y) 2000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x y) 4000) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (-.f64 x y) 4000)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 500 (-.f64 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 1000 (/.f64 (-.f64 x y) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 500 (-.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 500 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (.f64 1000 (/.f64 (-.f64 x y) -2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 500 (-.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 500 (-.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (*.f64 500 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (*.f64 1000 (/.f64 (-.f64 x y) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x y) 250) (*.f64 (-.f64 x y) 250))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 500 (-.f64 x y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 500 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 1000 (/.f64 (-.f64 x y) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 500 (-.f64 y x)) (*.f64 2 (*.f64 500 (-.f64 y x))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 1000 (/.f64 (-.f64 x y) -2)) (*.f64 2 (*.f64 1000 (/.f64 (-.f64 x y) -2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 500 (-.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x y) 1000) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x y) 2000) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x y) 4000) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 x y) 4000)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x y) 4000))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 500 (-.f64 y x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 1000 (/.f64 (-.f64 x y) -2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x y) 4000)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x y) 4000))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x y) 4000))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x y) 4000)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 500 (-.f64 x y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 500 (-.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 1000 (/.f64 (-.f64 x y) -2)))))))

simplify151.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1704×	`rational.json-simplify-2`
1466×	`rational.json-simplify-35`
1086×	`rational.json-simplify-1`
956×	`rational.json-simplify-26`
870×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	69	696
1	158	696
2	271	696
3	615	696
4	1549	696
5	3612	696
6	4452	696
7	4820	696
8	5156	696
9	6571	696
10	7168	696

Stop Event

1×	node limit

Counts

48 → 30

Calls

Call 1

Inputs
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (*.f64 500 (-.f64 x y)) 0)
(+.f64 0 (*.f64 500 (-.f64 x y)))
(+.f64 -1 (-.f64 1 (*.f64 500 (-.f64 y x))))
(+.f64 -1 (-.f64 1 (*.f64 1000 (/.f64 (-.f64 x y) -2))))
(+.f64 (.f64 (-.f64 x y) 250) (.f64 (-.f64 x y) 250))
(-.f64 (*.f64 500 (-.f64 x y)) 0)
(-.f64 0 (*.f64 500 (-.f64 y x)))
(-.f64 0 (*.f64 1000 (/.f64 (-.f64 x y) -2)))
(-.f64 (.f64 500 (-.f64 y x)) (.f64 2 (*.f64 500 (-.f64 y x))))
(-.f64 (.f64 1000 (/.f64 (-.f64 x y) -2)) (.f64 2 (*.f64 1000 (/.f64 (-.f64 x y) -2))))
(/.f64 (*.f64 500 (-.f64 x y)) 1)
(/.f64 (*.f64 (-.f64 x y) 1000) 2)
(/.f64 (*.f64 (-.f64 x y) 2000) 4)
(/.f64 (*.f64 (-.f64 x y) 4000) 8)
(/.f64 (.f64 2 (.f64 (-.f64 x y) 4000)) 16)
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 x y) 4000))) 32)
(/.f64 (*.f64 500 (-.f64 y x)) -1)
(/.f64 (*.f64 1000 (/.f64 (-.f64 x y) -2)) -1)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (-.f64 x y) 4000))))) 128)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000)))))) 256)
(pow.f64 (*.f64 500 (-.f64 x y)) 1)
(neg.f64 (*.f64 500 (-.f64 y x)))
(neg.f64 (*.f64 1000 (/.f64 (-.f64 x y) -2)))

Outputs
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 500 x)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(*.f64 -500 y)
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (.f64 500 x) (.f64 -500 y))
(+.f64 (.f64 -500 y) (.f64 500 x))
(+.f64 (*.f64 500 (-.f64 x y)) 0)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(+.f64 0 (*.f64 500 (-.f64 x y)))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(+.f64 -1 (-.f64 1 (*.f64 500 (-.f64 y x))))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(+.f64 -1 (-.f64 1 (*.f64 1000 (/.f64 (-.f64 x y) -2))))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(+.f64 (.f64 (-.f64 x y) 250) (.f64 (-.f64 x y) 250))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(-.f64 (*.f64 500 (-.f64 x y)) 0)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(-.f64 0 (*.f64 500 (-.f64 y x)))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(-.f64 0 (*.f64 1000 (/.f64 (-.f64 x y) -2)))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(-.f64 (.f64 500 (-.f64 y x)) (.f64 2 (*.f64 500 (-.f64 y x))))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(-.f64 (.f64 1000 (/.f64 (-.f64 x y) -2)) (.f64 2 (*.f64 1000 (/.f64 (-.f64 x y) -2))))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (*.f64 500 (-.f64 x y)) 1)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (*.f64 (-.f64 x y) 1000) 2)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (*.f64 (-.f64 x y) 2000) 4)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (*.f64 (-.f64 x y) 4000) 8)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (.f64 2 (.f64 (-.f64 x y) 4000)) 16)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 x y) 4000))) 32)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (*.f64 500 (-.f64 y x)) -1)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (*.f64 1000 (/.f64 (-.f64 x y) -2)) -1)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000)))) 64)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (-.f64 x y) 4000))))) 128)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x y) 4000)))))) 256)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(pow.f64 (*.f64 500 (-.f64 x y)) 1)
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(neg.f64 (*.f64 500 (-.f64 y x)))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))
(neg.f64 (*.f64 1000 (/.f64 (-.f64 x y) -2)))
(*.f64 500 (-.f64 x y))
(*.f64 -500 (-.f64 y x))

eval10.0ms (0.2%)

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

prune5.0ms (0.1%)

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

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 500 x) (.f64 -500 y))
✓	0.0b	(*.f64 500 (-.f64 x y))
▶	31.4b	(*.f64 500 x)
▶	32.0b	(*.f64 -500 y)

Compiler

Compiled 26 to 20 computations (23.1% saved)

localize3.0ms (0%)

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

localize3.0ms (0%)

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

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

series1.0ms (0%)

Counts

1 → 6

Calls

6 calls:

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

rewrite239.0ms (4.3%)

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 500 x) (.f64 -500 y))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (.f64 500 x) (.f64 -500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (+.f64 (.f64 y -250) (.f64 x 250)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 y -1000) (.f64 x 1000)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 1/2 (+.f64 (.f64 y -250) (.f64 x 250))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (+.f64 (.f64 y -1000) (.f64 x 1000)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 y -250) (.f64 x 250)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (+.f64 (.f64 y -250) (.f64 x 250))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 y -1000) (.f64 x 1000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 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 500 x) (.f64 -500 y)) 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 1)))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 500 x) (*.f64 -500 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 y -250) (*.f64 x 250)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 y -1000) (*.f64 x 1000)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 1/2 (+.f64 (*.f64 y -250) (*.f64 x 250))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 y -1000) (*.f64 x 1000)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 y -250) (*.f64 x 250)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (+.f64 (*.f64 y -250) (*.f64 x 250))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 y -1000) (*.f64 x 1000)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 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 500 x) (*.f64 -500 y)) 8)))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 8))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 500 x) (*.f64 -500 y)) 1)))))

simplify1.3s (23.5%)

Algorithm

1×	egg-herbie

Rules

3180×	`rational.json-simplify-51`
2816×	`rational.json-simplify-2`
1812×	`rational.json-simplify-35`
1426×	`rational.json-simplify-1`
1362×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	522
1	137	522
2	322	522
3	1056	522
4	1974	522
5	3136	522
6	3697	522
7	3776	522
8	3828	522
9	3866	522
10	3904	522
11	3942	522
12	3980	522
13	4018	522
14	4056	522
15	4094	522
16	4132	522
17	4170	522
18	4208	522
19	5149	522
20	7518	522
21	7583	522
22	7617	522
23	7651	522
24	7683	522

Stop Event

1×	node limit

Counts

30 → 27

Calls

Call 1

Inputs
(*.f64 -500 y)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 -500 y)
(*.f64 -500 y)
(-.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 0)
(.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 1)
(.f64 1 (+.f64 (.f64 500 x) (*.f64 -500 y)))
(.f64 2 (+.f64 (.f64 y -250) (*.f64 x 250)))
(.f64 (+.f64 (.f64 y -1000) (*.f64 x 1000)) 1/2)
(.f64 4 (.f64 1/2 (+.f64 (.f64 y -250) (.f64 x 250))))
(.f64 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 4) 1/4)
(.f64 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8) 1/8)
(.f64 1/2 (+.f64 (.f64 y -1000) (*.f64 x 1000)))
(.f64 (+.f64 (.f64 y -250) (*.f64 x 250)) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 4))
(.f64 (.f64 1/2 (+.f64 (.f64 y -250) (.f64 x 250))) 4)
(.f64 1/8 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8))
(/.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 1)
(/.f64 (+.f64 (.f64 y -1000) (.f64 x 1000)) 2)
(/.f64 (.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)))))) 256)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8))))))) 512)
(pow.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 1)

Outputs
(*.f64 -500 y)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 500 x)
(*.f64 -500 y)
(*.f64 -500 y)
(-.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 0)
(+.f64 (.f64 -500 y) (.f64 500 x))
(.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 1)
(+.f64 (.f64 -500 y) (.f64 500 x))
(.f64 1 (+.f64 (.f64 500 x) (*.f64 -500 y)))
(+.f64 (.f64 -500 y) (.f64 500 x))
(.f64 2 (+.f64 (.f64 y -250) (*.f64 x 250)))
(.f64 (+.f64 (.f64 y -1000) (*.f64 x 1000)) 1/2)
(+.f64 (.f64 -500 y) (.f64 500 x))
(.f64 4 (.f64 1/2 (+.f64 (.f64 y -250) (.f64 x 250))))
(.f64 2 (+.f64 (.f64 y -250) (*.f64 x 250)))
(.f64 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 4) 1/4)
(+.f64 (.f64 -500 y) (.f64 500 x))
(.f64 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8) 1/8)
(+.f64 (.f64 -500 y) (.f64 500 x))
(.f64 1/2 (+.f64 (.f64 y -1000) (*.f64 x 1000)))
(+.f64 (.f64 -500 y) (.f64 500 x))
(.f64 (+.f64 (.f64 y -250) (*.f64 x 250)) 2)
(.f64 2 (+.f64 (.f64 y -250) (*.f64 x 250)))
(.f64 1/4 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 4))
(+.f64 (.f64 -500 y) (.f64 500 x))
(.f64 (.f64 1/2 (+.f64 (.f64 y -250) (.f64 x 250))) 4)
(.f64 2 (+.f64 (.f64 y -250) (*.f64 x 250)))
(.f64 1/8 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8))
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 1)
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (+.f64 (.f64 y -1000) (.f64 x 1000)) 2)
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 4) 4)
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 8) 8)
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)) 16)
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 8))) 32)
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)))) 64)
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (*.f64 -500 y)) 8))))) 128)
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)))))) 256)
(+.f64 (.f64 -500 y) (.f64 500 x))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8)))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 8))))))) 512)
(+.f64 (.f64 -500 y) (.f64 500 x))
(pow.f64 (+.f64 (.f64 500 x) (.f64 -500 y)) 1)
(+.f64 (.f64 -500 y) (.f64 500 x))

eval6.0ms (0.1%)

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

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

Counts

31 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (.f64 500 x) (.f64 -500 y))
✓	0.0b	(*.f64 500 (-.f64 x y))
✓	31.4b	(*.f64 500 x)
✓	32.0b	(*.f64 -500 y)

Compiler

Compiled 26 to 20 computations (23.1% saved)

regimes17.0ms (0.3%)

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`(*.f64 500 (-.f64 x y))`
0.0b	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 -500 y)
(*.f64 500 x)
(*.f64 500 (-.f64 x y))

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

Calls

4 calls:

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

Results

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

Compiler

Compiled 31 to 21 computations (32.3% saved)

regimes23.0ms (0.4%)

Accuracy

Total -47.8b remaining (-339.9%)

Threshold costs -47.8b (-339.9%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

14.0ms	y
9.0ms	x

Results

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

Compiler

Compiled 14 to 10 computations (28.6% saved)

bsearch202.0ms (3.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
189.0ms	1.2055584014269021e+86	6.659645758772406e+88
13.0ms	-4.075919492405949e-57	-1.572496508866727e-65

Results

198.0ms

272×

body

256

valid

Compiler

Compiled 216 to 179 computations (17.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	78

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 500 (-.f64 x y))
(if (<=.f64 x -5300541194335153/7067388259113537318333190002971674063309935587502475832486424805170479104) (.f64 500 x) (if (<=.f64 x 121999999999999996263547740709883479830540554697867555271103338298405912308620703301632) (.f64 -500 y) (*.f64 500 x)))
(*.f64 -500 y)

Outputs
(+.f64 (.f64 500 x) (.f64 -500 y))
(*.f64 500 (-.f64 x y))
(if (<=.f64 x -5300541194335153/7067388259113537318333190002971674063309935587502475832486424805170479104) (.f64 500 x) (if (<=.f64 x 121999999999999996263547740709883479830540554697867555271103338298405912308620703301632) (.f64 -500 y) (*.f64 500 x)))
(*.f64 -500 y)

Compiler

Compiled 40 to 30 computations (25% saved)

soundness0.0ms (0%)

end775.0ms (13.9%)

Compiler: Compiled 34 to 24 computations (29.4% saved)

Details

analyze419.0ms (7.5%)

sample2.2s (40%)

preprocess13.0ms (0.2%)

simplify8.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite122.0ms (2.2%)

simplify151.0ms (2.7%)

eval10.0ms (0.2%)

prune5.0ms (0.1%)

localize3.0ms (0%)

localize3.0ms (0%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite239.0ms (4.3%)

simplify1.3s (23.5%)

eval6.0ms (0.1%)

prune5.0ms (0.1%)

regimes17.0ms (0.3%)

regimes14.0ms (0.3%)

regimes23.0ms (0.4%)

bsearch202.0ms (3.6%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end775.0ms (13.9%)

Profiling