Details

analyze56.0ms (1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
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)

sample717.0ms (12.7%)

Results

682.0ms	8253×	body	256	valid
23.0ms	305×	body	256	infinite
1.0ms	3×	body	1024	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)

simplify10.0ms (0.2%)

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	x	@	inf	(-.f64 (+.f64 x y) (*.f64 x y))
0.0ms	y	@	-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))

rewrite95.0ms (1.7%)

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

simplify220.0ms (3.9%)

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)

prune101.0ms (1.8%)

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))
▶	31.3b	(*.f64 (-.f64 1 y) x)
▶	22.9b	(*.f64 y (-.f64 1 x))
	31.8b	y
	40.3b	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	@	0	(*.f64 y (-.f64 1 x))
0.0ms	x	@	inf	(*.f64 y (-.f64 1 x))

rewrite192.0ms (3.4%)

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

simplify389.0ms (6.9%)

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)

rewrite198.0ms (3.5%)

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

simplify466.0ms (8.3%)

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))
▶	22.9b	(+.f64 y (*.f64 y (neg.f64 x)))
✓	31.3b	(*.f64 (-.f64 1 y) x)
✓	22.9b	(*.f64 y (-.f64 1 x))
▶	53.6b	(*.f64 y (neg.f64 x))
	31.8b	y
	40.3b	x

Compiler

Compiled 43 to 28 computations (34.9% saved)

localize4.0ms (0.1%)

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 16 to 5 computations (68.8% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite112.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1622×	`rational.json-1`
1622×	`rational.json-2`
1622×	`rational.json-3`
1616×	`rational.json-4`
1380×	`rational.json-simplify-35`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	56	17
2	133	17
3	301	13
4	638	13
5	1510	13
6	3090	13
7	4917	13
8	7173	13

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

Outputs

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

simplify229.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

2334×	`rational.json-simplify-2`
1884×	`rational.json-simplify-35`
956×	`rational.json-simplify-1`
882×	`rational.json-simplify-53`
878×	`rational.json-simplify-45`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	86	1071
1	203	963
2	423	963
3	1322	749
4	2859	749
5	4052	749
6	5014	749
7	5404	749
8	5627	749
9	5845	749
10	6219	749
11	6857	749

Stop Event

1×	node limit

Counts

57 → 46

Calls

Call 1

Inputs
(.f64 y (+.f64 1 (.f64 -1 x)))
(.f64 y (+.f64 1 (.f64 -1 x)))
(.f64 y (+.f64 1 (.f64 -1 x)))
(.f64 y (+.f64 1 (.f64 -1 x)))
(.f64 y (+.f64 1 (.f64 -1 x)))
(.f64 y (+.f64 1 (.f64 -1 x)))
(.f64 y (+.f64 1 (.f64 -1 x)))
(.f64 y (+.f64 1 (.f64 -1 x)))
(.f64 -1 (.f64 y (-.f64 x 1)))
(.f64 -1 (.f64 y (-.f64 x 1)))
(.f64 -1 (.f64 y (-.f64 x 1)))
(.f64 -1 (.f64 y (-.f64 x 1)))
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 y (-.f64 1 x))
(.f64 (.f64 y (-.f64 1 x)) 1)
(.f64 1 (.f64 y (-.f64 1 x)))
(.f64 2 (.f64 y (/.f64 (-.f64 1 x) 2)))
(.f64 2 (.f64 (*.f64 (-.f64 1 x) 1/2) y))
(.f64 (.f64 y (*.f64 (+.f64 x -1) -2)) 1/2)
(.f64 -2 (.f64 (+.f64 x -1) (*.f64 y 1/2)))
(.f64 (+.f64 y y) (.f64 (-.f64 1 x) 1/2))
(*.f64 (+.f64 y y) (/.f64 (-.f64 1 x) 2))
(.f64 (+.f64 y y) (+.f64 1/2 (.f64 x -1/2)))
(*.f64 (-.f64 1 x) y)
(.f64 4 (/.f64 (.f64 y (-.f64 1 x)) 4))
(.f64 (.f64 y (*.f64 4 (-.f64 1 x))) 1/4)
(.f64 (.f64 (+.f64 x -1) -2) (*.f64 y 1/2))
(.f64 1/2 (.f64 y (*.f64 (+.f64 x -1) -2)))
(.f64 1/2 (+.f64 (+.f64 y y) (.f64 x (*.f64 y -2))))
(.f64 (.f64 y 1/2) (*.f64 (+.f64 x -1) -2))
(.f64 (.f64 y (/.f64 (-.f64 1 x) 2)) 2)
(.f64 (.f64 2 (+.f64 x -1)) (/.f64 y -2))
(.f64 (.f64 (-.f64 1 x) 1/2) (+.f64 y y))
(.f64 1/4 (.f64 y (*.f64 4 (-.f64 1 x))))
(*.f64 (/.f64 (-.f64 1 x) 2) (+.f64 y y))
(.f64 (/.f64 (.f64 y (-.f64 1 x)) 4) 4)
(/.f64 (*.f64 y (-.f64 1 x)) 1)
(/.f64 (.f64 y (.f64 (+.f64 x -1) -2)) 2)
(/.f64 (.f64 y (.f64 4 (-.f64 1 x))) 4)
(/.f64 (.f64 (.f64 y (-.f64 1 x)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 y (-.f64 1 x)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 y (-.f64 1 x)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 y (-.f64 1 x)) 8)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 y (-.f64 1 x)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 y (-.f64 1 x)) 8))))) 128)
(pow.f64 (*.f64 y (-.f64 1 x)) 1)

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

eval12.0ms (0.2%)

Compiler: Compiled 408 to 291 computations (28.7% saved)

prune7.0ms (0.1%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	46	0	46
Fresh	0	2	2
Picked	0	1	1
Done	0	4	4
Total	46	7	53

Error

Counts

53 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
✓	22.9b	(+.f64 y (*.f64 y (neg.f64 x)))
✓	31.3b	(*.f64 (-.f64 1 y) x)
✓	22.9b	(*.f64 y (-.f64 1 x))
✓	53.6b	(*.f64 y (neg.f64 x))
	31.8b	y
	40.3b	x

Compiler

Compiled 43 to 28 computations (34.9% 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	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))
✓	22.9b	(+.f64 y (*.f64 y (neg.f64 x)))
✓	31.3b	(*.f64 (-.f64 1 y) x)
✓	22.9b	(*.f64 y (-.f64 1 x))
✓	53.6b	(*.f64 y (neg.f64 x))
	31.8b	y
	40.3b	x

Compiler

Compiled 43 to 28 computations (34.9% saved)

regimes784.0ms (13.9%)

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:

773.0ms	(-.f64 (+.f64 x y) (*.f64 x y))
5.0ms	x
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)

regimes798.0ms (14.1%)

Counts

6 → 4

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

Calls

2 calls:

778.0ms	y
18.0ms	x

Results

Error	Segments	Branch
6.0b	4	`x`
6.6b	2	`y`

Compiler

Compiled 30 to 15 computations (50% saved)

bsearch39.0ms (0.7%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
16.0ms	-1.397237596770876e-50	-6.038316415869177e-56
10.0ms	-2.6817846152805096e-26	-3.633290254523876e-27
13.0ms	-868.8664824357297	-0.018964870935695613

Results

33.0ms

368×

body

256

valid

Compiler

Compiled 396 to 285 computations (28% saved)

regimes138.0ms (2.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:

126.0ms	x
12.0ms	y

Results

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

Compiler

Compiled 24 to 14 computations (41.7% saved)

bsearch11.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
11.0ms	9.178007730046307e-210	3.1720758527404e-208

Results

9.0ms

112×

body

256

valid

Compiler

Compiled 126 to 93 computations (26.2% saved)

regimes373.0ms (6.6%)

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:

359.0ms	y
13.0ms	x

Results

Error	Segments	Branch
13.7b	2	`x`
6.9b	3	`y`

Compiler

Compiled 19 to 11 computations (42.1% saved)

bsearch27.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	9.178007730046307e-210	3.1720758527404e-208
17.0ms	-123797.90453395684	-2.8924215479860004e-10

Results

22.0ms

272×

body

256

valid

Compiler

Compiled 208 to 152 computations (26.9% saved)

regimes130.0ms (2.3%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

2 calls:

114.0ms	x
15.0ms	y

Results

Error	Segments	Branch
14.6b	3	`x`
13.9b	3	`y`

Compiler

Compiled 14 to 8 computations (42.9% saved)

bsearch25.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	9.178007730046307e-210	3.1720758527404e-208
15.0ms	-123797.90453395684	-2.8924215479860004e-10

Results

22.0ms	271×	body	256	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 180 to 131 computations (27.2% saved)

regimes261.0ms (4.6%)

Accuracy

Total -46.5b remaining (-298%)

Threshold costs -46.5b (-298%)

Counts

2 → 2

Calls

Call 1

Inputs
x
y

Outputs
x
y

Calls

2 calls:

250.0ms	y
10.0ms	x

Results

Error	Segments	Branch
16.5b	2	`x`
15.6b	2	`y`

Compiler

Compiled 10 to 6 computations (40% saved)

bsearch10.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
10.0ms	9.178007730046307e-210	3.1720758527404e-208

Results

9.0ms

112×

body

256

valid

Compiler

Compiled 70 to 51 computations (27.1% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	223

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (*.f64 x y))
(if (<=.f64 x -17/2) (.f64 (-.f64 1 y) x) (if (<=.f64 x -4529838868451533/696898287454081973172991196020261297061888) (+.f64 y (.f64 y (neg.f64 x))) (if (<=.f64 x -6234487666778585/3369993333393829974333376885877453834204643052817571560137951281152) (.f64 (-.f64 1 y) x) (.f64 y (-.f64 1 x)))))
(if (<=.f64 y 1792909982104673/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776) (.f64 (-.f64 1 y) x) (.f64 y (-.f64 1 x)))
(if (<=.f64 y -1) (.f64 y (neg.f64 x)) (if (<=.f64 y 1792909982104673/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776) x (.f64 y (-.f64 1 x))))
(if (<=.f64 y -1) (*.f64 y (neg.f64 x)) (if (<=.f64 y 1792909982104673/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776) x y))
(if (<=.f64 y 1792909982104673/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776) x y)
x

Outputs
(-.f64 (+.f64 x y) (*.f64 x y))
(if (<=.f64 x -17/2) (.f64 (-.f64 1 y) x) (if (<=.f64 x -4529838868451533/696898287454081973172991196020261297061888) (+.f64 y (.f64 y (neg.f64 x))) (if (<=.f64 x -6234487666778585/3369993333393829974333376885877453834204643052817571560137951281152) (.f64 (-.f64 1 y) x) (.f64 y (-.f64 1 x)))))
(if (<=.f64 y 1792909982104673/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776) (.f64 (-.f64 1 y) x) (.f64 y (-.f64 1 x)))
(if (<=.f64 y -1) (.f64 y (neg.f64 x)) (if (<=.f64 y 1792909982104673/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776) x (.f64 y (-.f64 1 x))))
(if (<=.f64 y -1) (*.f64 y (neg.f64 x)) (if (<=.f64 y 1792909982104673/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776) x y))
(if (<=.f64 y 1792909982104673/5783580587434429433751774908835077864143572811472030770551607154406796964579734527807229790198231033796398828540485624991996511981318944660739180725221265625970270395356602614932750484465056824778255072212653118189025099776) x y)
x

Compiler

Compiled 107 to 69 computations (35.5% saved)

soundness0.0ms (0%)

end159.0ms (2.8%)

Remove: (sort x y)
Compiler: Compiled 113 to 63 computations (44.2% saved)

Details

analyze56.0ms (1%)

sample717.0ms (12.7%)

preprocess4.0ms (0.1%)

simplify10.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite95.0ms (1.7%)

simplify220.0ms (3.9%)

eval14.0ms (0.2%)

prune101.0ms (1.8%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite192.0ms (3.4%)

simplify389.0ms (6.9%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite198.0ms (3.5%)

simplify466.0ms (8.3%)

eval12.0ms (0.2%)

prune10.0ms (0.2%)

localize4.0ms (0.1%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite112.0ms (2%)

simplify229.0ms (4.1%)

eval12.0ms (0.2%)

prune7.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes784.0ms (13.9%)

regimes798.0ms (14.1%)

bsearch39.0ms (0.7%)

regimes138.0ms (2.5%)

bsearch11.0ms (0.2%)

regimes373.0ms (6.6%)

bsearch27.0ms (0.5%)

regimes130.0ms (2.3%)

bsearch25.0ms (0.4%)

regimes261.0ms (4.6%)

bsearch10.0ms (0.2%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end159.0ms (2.8%)

Profiling