Details

analyze57.0ms (1.4%)

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
51.6%	50%	46.8%	0.1%	3.1%	0%	0%	7
62.3%	59.3%	35.9%	0.1%	4.7%	0%	0%	8
72.3%	67.1%	25.8%	0.1%	7%	0%	0%	9
79.1%	72.6%	19.1%	0.1%	8.2%	0%	0%	10
85.1%	76.9%	13.5%	0.1%	9.6%	0%	0%	11
89%	79.8%	9.9%	0.1%	10.2%	0%	0%	12

Compiler

Compiled 10 to 7 computations (30% saved)

sample700.0ms (17%)

Results

671.0ms	8254×	body	256	valid
18.0ms	234×	body	256	infinite
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Bogosity

preprocess11.0ms (0.3%)

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	11	38
1	15	38
2	18	38
0	2	2

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

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

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

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify8.0ms (0.2%)

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	8	19
1	10	19
2	12	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% 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 (*.f64 (+.f64 x 1) y) x)

Compiler

Compiled 9 to 6 computations (33.3% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 20 to 12 computations (40% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite188.0ms (4.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1672×	`rational.json-simplify-1`
1502×	`rational.json-simplify-35`
1372×	`exponential.json-3`
1372×	`rational.json-1`
1372×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	56	13
2	130	13
3	241	13
4	441	13
5	940	13
6	2381	13
7	4158	13
8	5233	13
9	6760	13
10	7595	13
11	7595	13

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

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

Outputs

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

simplify584.0ms (14.2%)

Algorithm

1×	egg-herbie

Rules

2684×	`rational.json-simplify-2`
2446×	`rational.json-simplify-35`
1440×	`rational.json-simplify-1`
1324×	`rational.json-simplify-53`
1246×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	470
1	130	470
2	245	470
3	520	470
4	1847	470
5	3632	470
6	4211	470
7	4414	470
8	4617	470
9	4784	470
10	4927	470
11	5898	470
12	7015	470
13	7158	470
14	7220	470
15	7264	470
16	7369	470
17	7440	470
18	7519	470
19	7656	470
20	7829	470
21	7963	470

Stop Event

1×	node limit

Counts

38 → 20

Calls

Call 1

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

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

eval4.0ms (0.1%)

Compiler: Compiled 218 to 152 computations (30.3% saved)

prune4.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	17	3	20
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	4	21

Error

Counts

21 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(-.f64 (+.f64 (*.f64 y x) y) x)
✓	0.0b	(-.f64 (*.f64 (+.f64 x 1) y) x)
▶	24.9b	(-.f64 (*.f64 y x) x)
▶	8.6b	(-.f64 y x)

Compiler

Compiled 30 to 18 computations (40% 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%)

Counts

1 → 24

Calls

6 calls:

Time	Variable		Point	Expression
0.0ms	y	@	0	(-.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	@	inf	(-.f64 (*.f64 y x) x)

rewrite107.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1566×	`rational.json-1`
1566×	`rational.json-2`
1566×	`rational.json-3`
1564×	`rational.json-4`
1322×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	39	13
2	95	13
3	219	13
4	415	13
5	942	13
6	2650	13
7	5238	13
8	7083	13

Stop Event

1×	node limit

Counts

1 → 86

Calls

Call 1

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

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

Outputs

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

simplify138.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1472×	`rational.json-simplify-35`
1278×	`rational.json-simplify-53`
1258×	`rational.json-simplify-41`
1086×	`rational.json-simplify-2`
1076×	`rational.json-simplify-48`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	191	1982
1	427	1602
2	827	1602
3	1425	1602
4	2766	1602
5	5662	1602
6	7132	1602
7	7432	1602

Stop Event

1×	node limit

Counts

110 → 104

Calls

Call 1

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

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

localize72.0ms (1.8%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 5 computations (73.7% saved)

series1.0ms (0%)

Counts

1 → 21

Calls

6 calls:

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

rewrite193.0ms (4.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1734×	`rational.json-simplify-1`
1654×	`rational.json-simplify-35`
1514×	`exponential.json-3`
1514×	`rational.json-1`
1514×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	40	13
2	94	13
3	209	13
4	397	13
5	907	13
6	2467	13
7	4683	13
8	5582	13
9	6931	13
10	7998	13
11	7998	13

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

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

Outputs

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

simplify142.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

1898×	`rational.json-simplify-35`
1324×	`rational.json-simplify-51`
1082×	`rational.json-simplify-41`
1044×	`rational.json-simplify-2`
974×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	105	845
1	247	845
2	481	845
3	881	845
4	1616	845
5	4515	845
6	5747	845
7	6374	845
8	6970	845
9	7458	845

Stop Event

1×	node limit

Counts

65 → 51

Calls

Call 1

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

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

eval96.0ms (2.3%)

Compiler: Compiled 1483 to 1005 computations (32.2% saved)

prune21.0ms (0.5%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	153	2	155
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	153	6	159

Error

Counts

159 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (*.f64 y x) y) x)
✓	0.0b	(-.f64 (*.f64 (+.f64 x 1) y) x)
✓	24.9b	(-.f64 (*.f64 y x) x)
✓	8.6b	(-.f64 y x)
▶	54.8b	(*.f64 y x)
▶	33.0b	(neg.f64 x)

Compiler

Compiled 39 to 24 computations (38.5% saved)

localize2.0ms (0.1%)

Compiler: Compiled 5 to 3 computations (40% saved)

localize3.0ms (0.1%)

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

eval0.0ms (0%)

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

prune2.0ms (0.1%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	0	0
Picked	1	1
Done	5	5
Total	6	6

Error

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 (*.f64 y x) y) x)
✓	0.0b	(-.f64 (*.f64 (+.f64 x 1) y) x)
✓	24.9b	(-.f64 (*.f64 y x) x)
✓	8.6b	(-.f64 y x)
✓	54.8b	(*.f64 y x)
✓	33.0b	(neg.f64 x)

Compiler

Compiled 39 to 24 computations (38.5% saved)

regimes16.0ms (0.4%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

3 calls:

6.0ms	(-.f64 (*.f64 (+.f64 x 1) y) x)
5.0ms	y
5.0ms	x

Results

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

Compiler

Compiled 44 to 22 computations (50% saved)

regimes32.0ms (0.8%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

2 calls:

19.0ms	y
12.0ms	x

Results

Error	Segments	Branch
0.8b	3	`x`
5.8b	5	`y`

Compiler

Compiled 21 to 10 computations (52.4% saved)

bsearch26.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	1.0561351879577013e-12	1.1391399815733047e-9
13.0ms	-1.4748061148098157	-2.9366177825558524e-7

Results

23.0ms

272×

body

256

valid

Compiler

Compiled 252 to 163 computations (35.3% saved)

regimes182.0ms (4.4%)

Counts

3 → 5

Calls

Call 1

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

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

Calls

2 calls:

166.0ms	x
14.0ms	y

Results

Error	Segments	Branch
8.6b	1	`x`
6.5b	5	`y`

Compiler

Compiled 16 to 9 computations (43.8% saved)

bsearch394.0ms (9.6%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
14.0ms	1.7654932692469535e+162	1.7663197263938527e+164
13.0ms	1.8181719235120869e+137	9.143780736895228e+139
354.0ms	7.545226980814246e+87	6.003462601151127e+89
13.0ms	0.00023521789537878738	347.11103600613313

Results

383.0ms	496×	body	256	valid
4.0ms	51×	body	256	infinite

Compiler

Compiled 386 to 258 computations (33.2% saved)

regimes12.0ms (0.3%)

Accuracy

Total -36.0b remaining (-138.8%)

Threshold costs -36.0b (-138.8%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

2 calls:

8.0ms	y
3.0ms	x

Results

Error	Segments	Branch
33.0b	1	`x`
26.0b	3	`y`

Compiler

Compiled 13 to 8 computations (38.5% saved)

bsearch220.0ms (5.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	0.00023521789537878738	347.11103600613313
207.0ms	-6.257634819035311e+27	-9.60591262674358e+23

Results

217.0ms	272×	body	256	valid
0.0ms	5×	body	256	infinite

Compiler

Compiled 201 to 146 computations (27.4% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	183

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
(if (<=.f64 x -1) (-.f64 (.f64 y x) x) (if (<=.f64 x 5415987671873539/4835703278458516698824704) (-.f64 y x) (-.f64 (.f64 y x) x)))
(if (<=.f64 y 340) (-.f64 y x) (if (<=.f64 y 13500000000000000777261078744518144062615072767442981306154399289104721551042535713931264) (.f64 y x) (if (<=.f64 y 89999999999999998989404811286951753397339282775738813625680110577599914912998147952525370988627392190420192792297310116531092006938884440064) (-.f64 y x) (if (<=.f64 y 2499999999999999844624849095290993666126312898597419963439313289806714647205912506232138742410107652337249949054735532507956317734771623339407474801753878503096320) (.f64 y x) (-.f64 y x)))))
(if (<=.f64 y -980000000000000058720256) (.f64 y x) (if (<=.f64 y 1) (neg.f64 x) (.f64 y x)))
(neg.f64 x)

Outputs
(-.f64 (*.f64 (+.f64 x 1) y) x)
(if (<=.f64 x -1) (-.f64 (.f64 y x) x) (if (<=.f64 x 5415987671873539/4835703278458516698824704) (-.f64 y x) (-.f64 (.f64 y x) x)))
(if (<=.f64 y 340) (-.f64 y x) (if (<=.f64 y 13500000000000000777261078744518144062615072767442981306154399289104721551042535713931264) (.f64 y x) (if (<=.f64 y 89999999999999998989404811286951753397339282775738813625680110577599914912998147952525370988627392190420192792297310116531092006938884440064) (-.f64 y x) (if (<=.f64 y 2499999999999999844624849095290993666126312898597419963439313289806714647205912506232138742410107652337249949054735532507956317734771623339407474801753878503096320) (.f64 y x) (-.f64 y x)))))
(if (<=.f64 y -980000000000000058720256) (.f64 y x) (if (<=.f64 y 1) (neg.f64 x) (.f64 y x)))
(neg.f64 x)

Compiler

Compiled 87 to 46 computations (47.1% saved)

soundness0.0ms (0%)

end883.0ms (21.4%)

Compiler: Compiled 79 to 34 computations (57% saved)

Details

analyze57.0ms (1.4%)

sample700.0ms (17%)

preprocess11.0ms (0.3%)

simplify8.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.2%)

series2.0ms (0%)

rewrite188.0ms (4.6%)

simplify584.0ms (14.2%)

eval4.0ms (0.1%)

prune4.0ms (0.1%)

localize3.0ms (0.1%)

localize4.0ms (0.1%)

series2.0ms (0%)

rewrite107.0ms (2.6%)

simplify138.0ms (3.4%)

localize72.0ms (1.8%)

series1.0ms (0%)

rewrite193.0ms (4.7%)

simplify142.0ms (3.4%)

eval96.0ms (2.3%)

prune21.0ms (0.5%)

localize2.0ms (0.1%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0.1%)

regimes16.0ms (0.4%)

regimes32.0ms (0.8%)

bsearch26.0ms (0.6%)

regimes182.0ms (4.4%)

bsearch394.0ms (9.6%)

regimes12.0ms (0.3%)

bsearch220.0ms (5.3%)

simplify4.0ms (0.1%)

soundness0.0ms (0%)

end883.0ms (21.4%)

Profiling