Details

analyze55.0ms (0.8%)

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
50.8%	50%	48.4%	0.1%	1.6%	0%	0%	7
60.8%	59.3%	38.2%	0.1%	2.3%	0%	0%	8
70.8%	67.1%	27.7%	0.1%	5.1%	0%	0%	9
77.3%	72.6%	21.3%	0.1%	6%	0%	0%	10
83.9%	76.9%	14.7%	0.1%	8.3%	0%	0%	11
87.7%	79.8%	11.2%	0.1%	8.9%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample2.6s (38.6%)

Results

2.6s	8253×	body	256	valid
28.0ms	350×	body	256	infinite
0.0ms	2×	body	1024	valid
0.0ms	1×	body	512	valid

Bogosity

preprocess4.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

6×	`rational.json-simplify-1`
4×	`rational.json-simplify-48`
2×	`swap-x-y`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	15	38
2	17	38
0	2	2
1	2	2

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1

Outputs
0
1
0

Call 2

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

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

Symmetry

(sort x y)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

6×	`rational.json-simplify-1`
4×	`rational.json-simplify-48`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	11	19
2	14	19
3	15	19

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 16 to 7 computations (56.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 5 computations (70.6% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite94.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1504×	`rational.json-1`
1504×	`rational.json-2`
1504×	`rational.json-3`
1496×	`exponential.json-3`
1496×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	48	19
2	117	19
3	277	19
4	611	19
5	1584	19
6	3818	19
7	6164	19

Stop Event

1×	node limit

Counts

1 → 54

Calls

Call 1

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

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

Outputs

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

simplify211.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

2128×	`rational.json-simplify-1`
1652×	`rational.json-simplify-35`
1118×	`rational.json-simplify-2`
914×	`rational.json-simplify-41`
672×	`rational.json-simplify-42`

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	145	1572
1	326	1572
2	735	1548
3	1827	1536
4	4054	1536
5	5260	1530
6	6673	1530
7	7462	1530
8	7872	1530
9	7890	1530

Stop Event

1×	node limit

Counts

78 → 85

Calls

Call 1

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

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

eval14.0ms (0.2%)

Compiler: Compiled 964 to 476 computations (50.6% saved)

prune13.0ms (0.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	81	4	85
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	81	5	86

Error

Counts

86 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
▶	29.3b	(*.f64 (-.f64 1 y) x)
▶	26.6b	(*.f64 y (-.f64 1 x))
	32.9b	y
	36.4b	x

Compiler

Compiled 29 to 19 computations (34.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite286.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1616×	`rational.json-simplify-35`
1384×	`exponential.json-3`
1384×	`rational.json-1`
1384×	`rational.json-2`
1384×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	55	13
2	128	13
3	238	13
4	428	13
5	912	13
6	2337	13
7	4223	13
8	5298	13
9	6558	13
10	7658	13
11	7840	13

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

Outputs

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

simplify370.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

2110×	`rational.json-simplify-35`
1960×	`rational.json-simplify-2`
1876×	`rational.json-simplify-53`
1046×	`rational.json-simplify-1`
984×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	484
1	170	462
2	332	462
3	766	462
4	2588	462
5	4347	462
6	4973	462
7	5177	462
8	5333	462
9	5508	462
10	6348	462
11	7533	462
12	7658	462
13	7709	462
14	7733	462
15	7751	462
16	7890	462

Stop Event

1×	node limit

Counts

34 → 32

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 13 to 8 computations (38.5% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite186.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1618×	`rational.json-simplify-35`
1384×	`exponential.json-3`
1384×	`rational.json-1`
1384×	`rational.json-2`
1384×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	55	13
2	128	13
3	238	13
4	428	13
5	912	13
6	2338	13
7	4229	13
8	5306	13
9	6566	13
10	7666	13
11	7848	13

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs

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

simplify444.0ms (6.5%)

Algorithm

1×	egg-herbie

Rules

2988×	`rational.json-simplify-35`
1920×	`rational.json-simplify-2`
1694×	`rational.json-simplify-53`
988×	`rational.json-simplify-1`
912×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	484
1	166	462
2	329	462
3	718	462
4	2353	462
5	4060	462
6	4685	462
7	4924	462
8	5113	462
9	5320	462
10	6042	462
11	7111	462
12	7197	462
13	7265	462
14	7286	462
15	7468	462
16	7639	462
17	7806	462
18	7971	462

Stop Event

1×	node limit

Counts

34 → 33

Calls

Call 1

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

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

eval12.0ms (0.2%)

Compiler: Compiled 561 to 387 computations (31% saved)

prune10.0ms (0.2%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	63	7	70

Error

Counts

70 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
▶	26.5b	(+.f64 y (*.f64 y (neg.f64 x)))
✓	29.3b	(*.f64 (-.f64 1 y) x)
✓	26.6b	(*.f64 y (-.f64 1 x))
▶	55.6b	(*.f64 y (neg.f64 x))
	32.9b	y
	36.4b	x

Compiler

Compiled 43 to 28 computations (34.9% saved)

localize4.0ms (0.1%)

Compiler: Compiled 10 to 4 computations (60% saved)

localize6.0ms (0.1%)

Compiler: Compiled 16 to 5 computations (68.8% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

7 alts after pruning (2 fresh and 5 done)

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

Error

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
✓	26.5b	(+.f64 y (*.f64 y (neg.f64 x)))
✓	29.3b	(*.f64 (-.f64 1 y) x)
✓	26.6b	(*.f64 y (-.f64 1 x))
✓	55.6b	(*.f64 y (neg.f64 x))
	32.9b	y
	36.4b	x

Compiler

Compiled 43 to 28 computations (34.9% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	5	5
Total	7	7

Error

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
✓	26.5b	(+.f64 y (*.f64 y (neg.f64 x)))
✓	29.3b	(*.f64 (-.f64 1 y) x)
✓	26.6b	(*.f64 y (-.f64 1 x))
✓	55.6b	(*.f64 y (neg.f64 x))
	32.9b	y
	36.4b	x

Compiler

Compiled 43 to 28 computations (34.9% saved)

regimes106.0ms (1.5%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

3 calls:

95.0ms	x
5.0ms	(-.f64 (+.f64 x y) (*.f64 x y))
5.0ms	y

Results

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

Compiler

Compiled 46 to 23 computations (50% saved)

regimes19.0ms (0.3%)

Counts

6 → 2

Calls

Call 1

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

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

Calls

2 calls:

9.0ms	x
9.0ms	y

Results

Error	Segments	Branch
7.7b	2	`x`
6.6b	2	`y`

Compiler

Compiled 30 to 15 computations (50% saved)

bsearch8.0ms (0.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
7.0ms	5.275491894774284e-48	1.3350207727374611e-47

Results

7.0ms

80×

body

256

valid

Compiler

Compiled 99 to 69 computations (30.3% saved)

regimes307.0ms (4.5%)

Counts

5 → 2

Calls

Call 1

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

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

Calls

2 calls:

298.0ms	x
8.0ms	y

Results

Error	Segments	Branch
7.7b	2	`x`
6.6b	2	`y`

Compiler

Compiled 24 to 14 computations (41.7% saved)

bsearch8.0ms (0.1%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
8.0ms	5.275491894774284e-48	1.3350207727374611e-47

Results

7.0ms

80×

body

256

valid

Compiler

Compiled 94 to 69 computations (26.6% saved)

regimes26.0ms (0.4%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

2 calls:

14.0ms	x
11.0ms	y

Results

Error	Segments	Branch
11.4b	4	`x`
7.4b	3	`y`

Compiler

Compiled 19 to 11 computations (42.1% saved)

bsearch20.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
8.0ms	5.275491894774284e-48	1.3350207727374611e-47
12.0ms	-76.04343588043078	-0.002892129880631135

Results

18.0ms

208×

body

256

valid

Compiler

Compiled 162 to 118 computations (27.2% saved)

regimes25.0ms (0.4%)

Counts

3 → 5

Calls

Call 1

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

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

Calls

2 calls:

16.0ms	x
9.0ms	y

Results

Error	Segments	Branch
11.5b	5	`x`
12.5b	3	`y`

Compiler

Compiled 14 to 8 computations (42.9% saved)

bsearch146.0ms (2.1%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
112.0ms	1.2416814568537684e-12	7.833982467184849e+26
10.0ms	-2.5459062625892195e-121	-3.724760605946141e-123
13.0ms	-5.16396526230239e-97	-6.60722140474526e-103
11.0ms	-2.3243543162734096e-26	-3.816290911677065e-28

Results

141.0ms

560×

body

256

valid

Compiler

Compiled 330 to 243 computations (26.4% saved)

regimes347.0ms (5.1%)

Accuracy

Total -48.3b remaining (-356.1%)

Threshold costs -48.3b (-356.1%)

Counts

2 → 2

Calls

Call 1

Inputs
x
y

Outputs
x
y

Calls

2 calls:

336.0ms	y
11.0ms	x

Results

Error	Segments	Branch
14.0b	4	`x`
13.6b	2	`y`

Compiler

Compiled 10 to 6 computations (40% saved)

bsearch12.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
12.0ms	5.275491894774284e-48	1.3350207727374611e-47

Results

11.0ms

80×

body

256

valid

Compiler

Compiled 54 to 39 computations (27.8% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	199

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (*.f64 x y))
(if (<=.f64 y 100272933961761/12855504354071922204335696738729300820177623950262342682411008) (.f64 (-.f64 1 y) x) (+.f64 y (.f64 y (neg.f64 x))))
(if (<=.f64 y 2468256835981809/411376139330301510538742295639337626245683966408394965837152256) (.f64 (-.f64 1 y) x) (.f64 y (-.f64 1 x)))
(if (<=.f64 y -1) (.f64 y (neg.f64 x)) (if (<=.f64 y 4525137532633317/411376139330301510538742295639337626245683966408394965837152256) x (.f64 y (-.f64 1 x))))
(if (<=.f64 x -2439144006089287/348449143727040986586495598010130648530944) x (if (<=.f64 x -6758232102805581/10086913586276986678343434265636765134100413253239154346994763111486904773503285916522052161250538404046496765518544896) y (if (<=.f64 x -5582121402590261/23258839177459420497578361852416145099316523541994177929007686373780457219628733546438113622840434097944400691400517693873107252115668992) x (if (<=.f64 x 1) y (*.f64 y (neg.f64 x))))))
(if (<=.f64 y 1933467854852417/205688069665150755269371147819668813122841983204197482918576128) x y)
x

Outputs
(-.f64 (+.f64 x y) (*.f64 x y))
(if (<=.f64 y 100272933961761/12855504354071922204335696738729300820177623950262342682411008) (.f64 (-.f64 1 y) x) (+.f64 y (.f64 y (neg.f64 x))))
(if (<=.f64 y 2468256835981809/411376139330301510538742295639337626245683966408394965837152256) (.f64 (-.f64 1 y) x) (.f64 y (-.f64 1 x)))
(if (<=.f64 y -1) (.f64 y (neg.f64 x)) (if (<=.f64 y 4525137532633317/411376139330301510538742295639337626245683966408394965837152256) x (.f64 y (-.f64 1 x))))
(if (<=.f64 x -2439144006089287/348449143727040986586495598010130648530944) x (if (<=.f64 x -6758232102805581/10086913586276986678343434265636765134100413253239154346994763111486904773503285916522052161250538404046496765518544896) y (if (<=.f64 x -5582121402590261/23258839177459420497578361852416145099316523541994177929007686373780457219628733546438113622840434097944400691400517693873107252115668992) x (if (<=.f64 x 1) y (*.f64 y (neg.f64 x))))))
(if (<=.f64 y 1933467854852417/205688069665150755269371147819668813122841983204197482918576128) x y)
x

Compiler

Compiled 99 to 63 computations (36.4% saved)

soundness0.0ms (0%)

end1.4s (21%)

Remove: (sort x y)
Compiler: Compiled 105 to 57 computations (45.7% saved)

Details

analyze55.0ms (0.8%)

sample2.6s (38.6%)

preprocess4.0ms (0.1%)

simplify8.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite94.0ms (1.4%)

simplify211.0ms (3.1%)

eval14.0ms (0.2%)

prune13.0ms (0.2%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite286.0ms (4.2%)

simplify370.0ms (5.4%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite186.0ms (2.7%)

simplify444.0ms (6.5%)

eval12.0ms (0.2%)

prune10.0ms (0.2%)

localize4.0ms (0.1%)

localize6.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes106.0ms (1.5%)

regimes19.0ms (0.3%)

bsearch8.0ms (0.1%)

regimes307.0ms (4.5%)

bsearch8.0ms (0.1%)

regimes26.0ms (0.4%)

bsearch20.0ms (0.3%)

regimes25.0ms (0.4%)

bsearch146.0ms (2.1%)

regimes347.0ms (5.1%)

bsearch12.0ms (0.2%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end1.4s (21%)

Profiling