Details

analyze55.0ms (0.7%)

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)

sample702.0ms (8.2%)

Results

659.0ms	8256×	body	256	valid
32.0ms	353×	body	256	infinite

Bogosity

preprocess75.0ms (0.9%)

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)

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

rewrite83.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1892×	`bool.json-1`
1892×	`bool.json-2`
1270×	`bool.json-3`
904×	`rational.json-1`
904×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	72	19
2	214	19
3	498	19
4	1148	19
5	2809	19
6	6463	19

Stop Event

1×	node limit

Counts

1 → 42

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

simplify465.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

2590×	`rational.json-simplify-35`
1474×	`rational.json-simplify-2`
1110×	`rational.json-simplify-45`
1032×	`rational.json-simplify-1`
892×	`rational.json-simplify-26`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	110	1284
1	233	1284
2	502	1278
3	1103	1272
4	2181	1272
5	3066	1272
6	3697	1272
7	4309	1272
8	5388	1272
9	6075	1272
10	6753	1272
11	7350	1272
12	7399	1272
13	7401	1272
14	7401	1272
15	7947	1272

Stop Event

1×	node limit

Counts

66 → 67

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 1 y)))
(+.f64 (+.f64 x y) (neg.f64 (*.f64 x y)))
(+.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 0)
(+.f64 0 (+.f64 y (*.f64 x (-.f64 1 y))))
(+.f64 (*.f64 x (-.f64 1 y)) y)
(+.f64 (-.f64 y (*.f64 x y)) x)
(+.f64 (neg.f64 (*.f64 x y)) (+.f64 x y))
(+.f64 -1 (+.f64 y (+.f64 1 (*.f64 x (-.f64 1 y)))))
(+.f64 (+.f64 y (+.f64 1 (*.f64 x (-.f64 1 y)))) -1)
(+.f64 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 1/2) (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 1/2))
(.f64 (+.f64 y (.f64 x (-.f64 1 y))) 1)
(.f64 1 (+.f64 y (.f64 x (-.f64 1 y))))
(.f64 2 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 1/2))
(.f64 2 (+.f64 (.f64 y 1/2) (.f64 (-.f64 1 y) (.f64 x 1/2))))
(.f64 2 (+.f64 (.f64 y 1/2) (/.f64 (*.f64 x (-.f64 1 y)) 2)))
(.f64 2 (+.f64 (.f64 x 1/2) (.f64 (-.f64 1 x) (.f64 y 1/2))))
(.f64 2 (-.f64 (.f64 (+.f64 x y) 1/2) (.f64 y (.f64 x 1/2))))
(.f64 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 2) 1/2)
(.f64 (-.f64 (.f64 x y) (+.f64 x y)) -1)
(.f64 4 (/.f64 (+.f64 y (.f64 x (-.f64 1 y))) 4))
(.f64 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 4) 1/4)
(.f64 -1 (-.f64 (.f64 x y) (+.f64 x y)))
(.f64 1/2 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 2))
(.f64 1/2 (+.f64 (.f64 (*.f64 x (-.f64 1 y)) 2) (+.f64 y y)))
(.f64 1/2 (-.f64 (.f64 (+.f64 x y) 2) (*.f64 x (+.f64 y y))))
(.f64 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 1/2) 2)
(.f64 1/4 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 4))
(.f64 (/.f64 (+.f64 y (.f64 x (-.f64 1 y))) 4) 4)
(/.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 1)
(/.f64 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 2) 2)
(/.f64 (-.f64 (*.f64 x y) (+.f64 x y)) -1)
(/.f64 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 4) 4)
(/.f64 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 8) 8)
(/.f64 (.f64 2 (-.f64 (.f64 x y) (+.f64 x y))) -2)
(/.f64 (.f64 (-.f64 (.f64 x y) (+.f64 x y)) 4) -4)
(/.f64 (.f64 2 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 8)) 16)
(/.f64 (neg.f64 (.f64 2 (-.f64 (.f64 x y) (+.f64 x y)))) 2)
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 8)) (.f64 2 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 8))) 32)
(/.f64 (+.f64 (neg.f64 (.f64 2 (-.f64 (.f64 x y) (+.f64 x y)))) (neg.f64 (.f64 2 (-.f64 (.f64 x y) (+.f64 x y))))) 4)
(/.f64 (/.f64 (.f64 (-.f64 (.f64 x y) (+.f64 x y)) 4) -1) 4)
(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 y (-.f64 x (*.f64 y x)))
(+.f64 y (*.f64 x (-.f64 1 y)))
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 (+.f64 x y) (neg.f64 (*.f64 x y)))
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(+.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 0)
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 0 (+.f64 y (*.f64 x (-.f64 1 y))))
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 (*.f64 x (-.f64 1 y)) y)
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 (-.f64 y (*.f64 x y)) x)
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(+.f64 (neg.f64 (*.f64 x y)) (+.f64 x y))
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(+.f64 -1 (+.f64 y (+.f64 1 (*.f64 x (-.f64 1 y)))))
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 (+.f64 y (+.f64 1 (*.f64 x (-.f64 1 y)))) -1)
(+.f64 y (*.f64 (-.f64 1 y) x))
(+.f64 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 1/2) (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 1/2))
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 (+.f64 y (.f64 x (-.f64 1 y))) 1)
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 1 (+.f64 y (.f64 x (-.f64 1 y))))
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 2 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 1/2))
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 2 (+.f64 (.f64 y 1/2) (.f64 (-.f64 1 y) (.f64 x 1/2))))
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 2 (+.f64 (.f64 y 1/2) (/.f64 (*.f64 x (-.f64 1 y)) 2)))
(.f64 2 (+.f64 (.f64 y 1/2) (*.f64 (-.f64 1 y) (/.f64 x 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 1/2 (-.f64 1 x)))))
(.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 x y) 1/2) (.f64 y (.f64 x 1/2))))
(.f64 2 (-.f64 (.f64 (+.f64 y x) 1/2) (.f64 y (.f64 x 1/2))))
(.f64 2 (.f64 1/2 (+.f64 y (-.f64 x (*.f64 y x)))))
(.f64 2 (.f64 1/2 (+.f64 x (-.f64 y (*.f64 y x)))))
(.f64 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 2) 1/2)
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 (-.f64 (.f64 x y) (+.f64 x y)) -1)
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(.f64 4 (/.f64 (+.f64 y (.f64 x (-.f64 1 y))) 4))
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 4) 1/4)
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 -1 (-.f64 (.f64 x y) (+.f64 x y)))
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(.f64 1/2 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 2))
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 1/2 (+.f64 (.f64 (*.f64 x (-.f64 1 y)) 2) (+.f64 y y)))
(.f64 1/2 (+.f64 y (+.f64 y (.f64 (*.f64 (-.f64 1 y) x) 2))))
(.f64 1/2 (+.f64 (.f64 (-.f64 1 y) (*.f64 x 2)) (+.f64 y y)))
(.f64 1/2 (-.f64 (.f64 (+.f64 x y) 2) (*.f64 x (+.f64 y y))))
(.f64 1/2 (-.f64 (.f64 (+.f64 y x) 2) (*.f64 x (+.f64 y y))))
(.f64 1/2 (-.f64 (.f64 (+.f64 y x) 2) (*.f64 y (+.f64 x x))))
(.f64 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 1/2) 2)
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 1/4 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 4))
(+.f64 y (*.f64 (-.f64 1 y) x))
(.f64 (/.f64 (+.f64 y (.f64 x (-.f64 1 y))) 4) 4)
(+.f64 y (*.f64 (-.f64 1 y) x))
(/.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 1)
(+.f64 y (*.f64 (-.f64 1 y) x))
(/.f64 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 2) 2)
(+.f64 y (*.f64 (-.f64 1 y) x))
(/.f64 (-.f64 (*.f64 x y) (+.f64 x y)) -1)
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(/.f64 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 4) 4)
(+.f64 y (*.f64 (-.f64 1 y) x))
(/.f64 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 8) 8)
(+.f64 y (*.f64 (-.f64 1 y) x))
(/.f64 (.f64 2 (-.f64 (.f64 x y) (+.f64 x y))) -2)
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(/.f64 (.f64 (-.f64 (.f64 x y) (+.f64 x y)) 4) -4)
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(/.f64 (.f64 2 (.f64 (+.f64 y (*.f64 x (-.f64 1 y))) 8)) 16)
(+.f64 y (*.f64 (-.f64 1 y) x))
(/.f64 (neg.f64 (.f64 2 (-.f64 (.f64 x y) (+.f64 x y)))) 2)
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(/.f64 (+.f64 (.f64 2 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 8)) (.f64 2 (.f64 (+.f64 y (.f64 x (-.f64 1 y))) 8))) 32)
(+.f64 y (*.f64 (-.f64 1 y) x))
(/.f64 (+.f64 (neg.f64 (.f64 2 (-.f64 (.f64 x y) (+.f64 x y)))) (neg.f64 (.f64 2 (-.f64 (.f64 x y) (+.f64 x y))))) 4)
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(/.f64 (/.f64 (.f64 (-.f64 (.f64 x y) (+.f64 x y)) 4) -1) 4)
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))
(neg.f64 (-.f64 (*.f64 x y) (+.f64 x y)))
(+.f64 x (-.f64 y (*.f64 y x)))
(+.f64 y (-.f64 x (*.f64 y x)))

eval13.0ms (0.2%)

Compiler: Compiled 701 to 420 computations (40.1% saved)

prune9.0ms (0.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	63	4	67
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	63	5	68

Error

Counts

68 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
▶	28.1b	(*.f64 (-.f64 1 y) x)
▶	28.3b	(*.f64 y (-.f64 1 x))
	36.0b	y
	35.6b	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))

rewrite105.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1212×	`bool.json-1`
1212×	`bool.json-2`
1192×	`rational.json-simplify-35`
1166×	`rational.json-1`
1166×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	77	13
2	237	13
3	474	13
4	921	13
5	1980	13
6	4310	13
7	7507	13

Stop Event

1×	node limit

Counts

1 → 11

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 (.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 (.f64 y (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -2 (.f64 (+.f64 x -1) y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 1 x) (.f64 y 4)) 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 (.f64 2 (.f64 2 (.f64 (.f64 y (-.f64 1 x)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 y (-.f64 1 x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 y (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 y (-.f64 1 x)) (.f64 y (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 y (-.f64 1 x)) (.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 (*.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 (*.f64 y (-.f64 1 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2 (*.f64 (+.f64 x -1) y)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 x) (*.f64 y 4)) 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 (*.f64 2 (*.f64 2 (*.f64 (*.f64 y (-.f64 1 x)) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 y (-.f64 1 x)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 y (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x)))))))

simplify1.2s (13.5%)

Algorithm

1×	egg-herbie

Rules

5704×	`rational.json-simplify-35`
2278×	`rational.json-simplify-2`
1094×	`rational.json-simplify-53`
722×	`rational.json-simplify-1`
672×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	341
1	101	319
2	212	319
3	452	319
4	1722	319
5	3283	319
6	4229	319
7	4631	319
8	4828	319
9	5030	319
10	5043	319
11	5403	319
12	5407	319
13	5477	319
14	5554	319
15	5760	319
16	5987	319
17	6187	319
18	6377	319
19	6567	319
20	6757	319
21	6947	319
22	6947	319
23	7004	319
24	7007	319
25	7011	319
26	7011	319
27	7202	319
28	7393	319
29	7584	319
30	7775	319
31	7966	319

Stop Event

1×	node limit

Counts

23 → 21

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 (.f64 y (.f64 (-.f64 1 x) 1/2)) (.f64 y (.f64 (-.f64 1 x) 1/2)))
(-.f64 (*.f64 y (-.f64 1 x)) 0)
(/.f64 (*.f64 y (-.f64 1 x)) 1)
(/.f64 (.f64 -2 (.f64 (+.f64 x -1) y)) 2)
(/.f64 (.f64 (-.f64 1 x) (.f64 y 4)) 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 (.f64 2 (.f64 2 (.f64 (.f64 y (-.f64 1 x)) 8))) (.f64 2 (.f64 2 (.f64 (.f64 y (-.f64 1 x)) 8)))) 64)

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

rewrite103.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1212×	`bool.json-1`
1212×	`bool.json-2`
1192×	`rational.json-simplify-35`
1166×	`rational.json-1`
1166×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	77	13
2	237	13
3	474	13
4	921	13
5	1980	13
6	4313	13
7	7510	13

Stop Event

1×	node limit

Counts

1 → 11

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

simplify973.0ms (11.4%)

Algorithm

1×	egg-herbie

Rules

7886×	`rational.json-simplify-41`
3926×	`rational.json-simplify-35`
2864×	`rational.json-simplify-2`
1822×	`rational.json-simplify-53`
734×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	42	341
1	96	319
2	196	319
3	424	319
4	1319	319
5	2590	319
6	3586	319
7	3760	319
8	3886	319
9	4009	319
10	4129	319
11	4249	319
12	4802	319
13	5065	319
14	5123	319
15	5123	319
16	5243	319
17	5363	319
18	5483	319
19	5603	319
20	5867	319
21	6188	319
22	6361	319
23	6506	319
24	6630	319
25	6750	319
26	6750	319
27	7048	319
28	7048	319

Stop Event

1×	node limit

Counts

23 → 22

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

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

eval68.0ms (0.8%)

Compiler: Compiled 347 to 229 computations (34% saved)

prune7.0ms (0.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	41	7	48

Error

Counts

48 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
▶	28.3b	(+.f64 y (*.f64 y (neg.f64 x)))
✓	28.1b	(*.f64 (-.f64 1 y) x)
✓	28.3b	(*.f64 y (-.f64 1 x))
▶	55.1b	(*.f64 y (neg.f64 x))
	36.0b	y
	35.6b	x

Compiler

Compiled 43 to 28 computations (34.9% saved)

localize4.0ms (0%)

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

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

rewrite414.0ms (4.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1568×	`bool.json-1`
1568×	`bool.json-2`
1514×	`rational.json-1`
1514×	`rational.json-2`
1514×	`rational.json-3`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	83	17
2	239	17
3	538	13
4	1205	13
5	2741	13
6	5850	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 y (/.f64 x -2)) (*.f64 y 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 y 1/2) (*.f64 y (/.f64 x -2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 y (-.f64 1 x)) 2) 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 (/.f64 x -2) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 y y) (+.f64 1/2 (/.f64 x -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 (-.f64 1 x) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (-.f64 1 x)) (*.f64 y 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (*.f64 y (-.f64 1 x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 y (*.f64 x -2)) (+.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (+.f64 y y) (*.f64 y (*.f64 x -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 y 1/2) (*.f64 2 (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 1/2) (+.f64 (*.f64 x -2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 1/2) (+.f64 2 (*.f64 x -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 (-.f64 1 x) 4)))))) (#(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 (*.f64 y (-.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 (*.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 (*.f64 2 (*.f64 (*.f64 y (-.f64 1 x)) 8)) (*.f64 2 (*.f64 (*.f64 y (-.f64 1 x)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 y (-.f64 1 x))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 y (-.f64 1 x)) (*.f64 y (-.f64 1 x)))))))

simplify360.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2084×	`rational.json-simplify-2`
1702×	`rational.json-simplify-35`
1572×	`rational.json-simplify-1`
1128×	`rational.json-simplify-48`
1032×	`rational.json-simplify-53`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	83	1101
1	170	973
2	373	973
3	1177	773
4	2225	773
5	2992	773
6	3669	773
7	3885	773
8	4058	773
9	4219	773
10	4485	773
11	4843	773
12	5532	773
13	6436	773
14	6760	773
15	7315	773
16	7480	773
17	7587	773

Stop Event

1×	node limit

Counts

57 → 45

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

Outputs
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.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 y x))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.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 y x))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.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 y x))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.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 y 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 y (*.f64 y 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 y (*.f64 y 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 y (*.f64 y 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 y (*.f64 y 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 y 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 y 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 y 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 y 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 y 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 y 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 y 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 y 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 y 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 y x))
(*.f64 y (-.f64 1 x))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(-.f64 y (*.f64 y 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 y (*.f64 y 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 y (*.f64 y 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 y (*.f64 y x))
(.f64 2 (+.f64 (.f64 y (/.f64 x -2)) (*.f64 y 1/2)))
(.f64 2 (.f64 y (+.f64 (/.f64 x -2) 1/2)))
(.f64 y (.f64 (+.f64 (/.f64 x -2) 1/2) 2))
(.f64 y (.f64 2 (+.f64 (/.f64 x -2) 1/2)))
(*.f64 (+.f64 y y) (+.f64 (/.f64 x -2) 1/2))
(.f64 2 (+.f64 (.f64 y 1/2) (*.f64 y (/.f64 x -2))))
(.f64 2 (+.f64 (.f64 y (/.f64 x -2)) (*.f64 y 1/2)))
(.f64 2 (.f64 y (+.f64 (/.f64 x -2) 1/2)))
(.f64 y (.f64 (+.f64 (/.f64 x -2) 1/2) 2))
(.f64 y (.f64 2 (+.f64 (/.f64 x -2) 1/2)))
(*.f64 (+.f64 y y) (+.f64 (/.f64 x -2) 1/2))
(.f64 (.f64 (*.f64 y (-.f64 1 x)) 2) 1/2)
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y 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 y (*.f64 y 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 y (*.f64 y x))
(*.f64 (+.f64 y y) (+.f64 (/.f64 x -2) 1/2))
(.f64 2 (+.f64 (.f64 y (/.f64 x -2)) (*.f64 y 1/2)))
(.f64 2 (.f64 y (+.f64 (/.f64 x -2) 1/2)))
(.f64 y (.f64 (+.f64 (/.f64 x -2) 1/2) 2))
(.f64 y (.f64 2 (+.f64 (/.f64 x -2) 1/2)))
(*.f64 (+.f64 y y) (+.f64 1/2 (/.f64 x -2)))
(.f64 2 (+.f64 (.f64 y (/.f64 x -2)) (*.f64 y 1/2)))
(.f64 2 (.f64 y (+.f64 (/.f64 x -2) 1/2)))
(.f64 y (.f64 (+.f64 (/.f64 x -2) 1/2) 2))
(.f64 y (.f64 2 (+.f64 (/.f64 x -2) 1/2)))
(*.f64 (+.f64 y y) (+.f64 (/.f64 x -2) 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 y (*.f64 y 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 y (*.f64 y x))
(.f64 (.f64 y (*.f64 (-.f64 1 x) 4)) 1/4)
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y x))
(.f64 (.f64 2 (-.f64 1 x)) (*.f64 y 1/2))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y x))
(.f64 1/2 (.f64 (*.f64 y (-.f64 1 x)) 2))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y x))
(.f64 1/2 (+.f64 (.f64 y (*.f64 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 y (*.f64 y x))
(.f64 1/2 (+.f64 (+.f64 y y) (.f64 y (*.f64 x -2))))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y 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 y (*.f64 y x))
(.f64 (.f64 y 1/2) (*.f64 2 (-.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 y x))
(.f64 (.f64 y 1/2) (+.f64 (*.f64 x -2) 2))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y x))
(.f64 (.f64 y 1/2) (+.f64 2 (*.f64 x -2)))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y 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 y (*.f64 y x))
(.f64 1/4 (.f64 y (*.f64 (-.f64 1 x) 4)))
(.f64 y (+.f64 1 (.f64 -1 x)))
(*.f64 y (+.f64 1 (neg.f64 x)))
(*.f64 y (-.f64 1 x))
(-.f64 y (*.f64 y 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 y (*.f64 y 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 y (*.f64 y 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 y (*.f64 y x))
(/.f64 (.f64 (.f64 y (-.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 y (*.f64 y x))
(/.f64 (.f64 y (.f64 (-.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 y (*.f64 y 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 y (*.f64 y 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 y (*.f64 y x))
(/.f64 (+.f64 (.f64 2 (.f64 (.f64 y (-.f64 1 x)) 8)) (.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 y (*.f64 y x))

eval8.0ms (0.1%)

Compiler: Compiled 379 to 264 computations (30.3% saved)

prune10.0ms (0.1%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	0	2	2
Picked	1	0	1
Done	0	4	4
Total	45	7	52

Error

Counts

52 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
▶	28.3b	(-.f64 y (*.f64 y x))
✓	28.1b	(*.f64 (-.f64 1 y) x)
✓	28.3b	(*.f64 y (-.f64 1 x))
✓	55.1b	(*.f64 y (neg.f64 x))
	36.0b	y
	35.6b	x

Compiler

Compiled 42 to 27 computations (35.7% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite71.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1308×	`bool.json-1`
1308×	`bool.json-2`
1266×	`rational.json-1`
1266×	`rational.json-2`
1266×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	60	13
2	178	13
3	397	13
4	840	13
5	1876	13
6	4320	13

Stop Event

1×	node limit

Counts

1 → 51

Calls

Call 1

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

Outputs

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

simplify869.0ms (10.2%)

Algorithm

1×	egg-herbie

Rules

2562×	`rational.json-simplify-2`
2086×	`rational.json-simplify-35`
1062×	`rational.json-simplify-1`
1034×	`rational.json-simplify-51`
776×	`rational.json-simplify-52`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	120	1019
1	257	1013
2	547	1007
3	1379	1007
4	2530	1007
5	3948	1007
6	5321	1007
7	6308	1007
8	6938	1007
9	7181	1007
10	7379	1007
11	7565	1007

Stop Event

1×	node limit

Counts

75 → 64

Calls

Call 1

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

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

eval10.0ms (0.1%)

Compiler: Compiled 559 to 300 computations (46.3% saved)

prune11.0ms (0.1%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	2	2
Picked	0	1	1
Done	0	4	4
Total	64	7	71

Error

Counts

71 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 (+.f64 x y) (*.f64 x y))
✓	28.3b	(-.f64 y (*.f64 y x))
✓	28.1b	(*.f64 (-.f64 1 y) x)
✓	28.3b	(*.f64 y (-.f64 1 x))
✓	55.1b	(*.f64 y (neg.f64 x))
	36.0b	y
	35.6b	x

Compiler

Compiled 42 to 27 computations (35.7% saved)

regimes17.0ms (0.2%)

Counts

8 → 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 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:

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

Results

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

Compiler

Compiled 51 to 25 computations (51% saved)

regimes43.0ms (0.5%)

Counts

7 → 6

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

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

Calls

2 calls:

26.0ms	y
16.0ms	x

Results

Error	Segments	Branch
7.9b	2	`x`
5.4b	6	`y`

Compiler

Compiled 35 to 17 computations (51.4% saved)

bsearch739.0ms (8.7%)

Algorithm

5×	binary-search

Steps

Time	Left	Right
10.0ms	6.661266988986144e-42	1.196363192337912e-40
9.0ms	1.4172738898923237e-80	1.576256177309835e-79
698.0ms	1.978827876662654e-112	1.9786622423425079e-109
13.0ms	4.2917510162141453e-144	6.890430347985743e-139
9.0ms	6.013300742534405e-157	6.60875913568991e-156

Results

732.0ms

576×

body

256

valid

Compiler

Compiled 422 to 308 computations (27% saved)

regimes757.0ms (8.9%)

Counts

5 → 6

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

Calls

2 calls:

744.0ms	y
13.0ms	x

Results

Error	Segments	Branch
7.9b	2	`x`
5.4b	6	`y`

Compiler

Compiled 24 to 14 computations (41.7% saved)

bsearch114.0ms (1.3%)

Algorithm

5×	binary-search

Steps

Time	Left	Right
10.0ms	6.661266988986144e-42	1.196363192337912e-40
67.0ms	1.4172738898923237e-80	1.576256177309835e-79
12.0ms	1.978827876662654e-112	1.9786622423425079e-109
14.0ms	4.2917510162141453e-144	6.890430347985743e-139
10.0ms	6.013300742534405e-157	6.60875913568991e-156

Results

107.0ms

576×

body

256

valid

Compiler

Compiled 422 to 315 computations (25.4% saved)

regimes419.0ms (4.9%)

Counts

4 → 7

Calls

Call 1

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

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

Calls

2 calls:

393.0ms	x
26.0ms	y

Results

Error	Segments	Branch
13.3b	2	`x`
6.0b	7	`y`

Compiler

Compiled 19 to 11 computations (42.1% saved)

bsearch69.0ms (0.8%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
10.0ms	6.661266988986144e-42	1.196363192337912e-40
9.0ms	1.4172738898923237e-80	1.576256177309835e-79
14.0ms	1.978827876662654e-112	1.9786622423425079e-109
13.0ms	4.2917510162141453e-144	6.890430347985743e-139
11.0ms	6.013300742534405e-157	6.60875913568991e-156
12.0ms	-1803.4205619920863	-0.17890390871090597

Results

59.0ms

704×

body

256

valid

Compiler

Compiled 418 to 310 computations (25.8% saved)

regimes34.0ms (0.4%)

Counts

3 → 7

Calls

Call 1

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

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

Calls

2 calls:

23.0ms	y
10.0ms	x

Results

Error	Segments	Branch
13.9b	3	`x`
12.3b	7	`y`

Compiler

Compiled 14 to 8 computations (42.9% saved)

bsearch544.0ms (6.4%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
418.0ms	6.661266988986144e-42	1.196363192337912e-40
8.0ms	1.4172738898923237e-80	1.576256177309835e-79
13.0ms	1.978827876662654e-112	1.9786622423425079e-109
13.0ms	4.2917510162141453e-144	6.890430347985743e-139
81.0ms	6.013300742534405e-157	6.60875913568991e-156
12.0ms	-1803.4205619920863	-0.17890390871090597

Results

464.0ms

704×

body

256

valid

Compiler

Compiled 390 to 289 computations (25.9% saved)

regimes24.0ms (0.3%)

Accuracy

Total -48.7b remaining (-361%)

Threshold costs -48.7b (-361%)

Counts

2 → 6

Calls

Call 1

Inputs
x
y

Outputs
x
y
x
y
x
y

Calls

2 calls:

16.0ms	y
8.0ms	x

Results

Error	Segments	Branch
15.8b	2	`x`
13.5b	6	`y`

Compiler

Compiled 10 to 6 computations (40% saved)

bsearch54.0ms (0.6%)

Algorithm

5×	binary-search

Steps

Time	Left	Right
11.0ms	6.661266988986144e-42	1.196363192337912e-40
9.0ms	1.4172738898923237e-80	1.576256177309835e-79
12.0ms	1.978827876662654e-112	1.9786622423425079e-109
13.0ms	4.2917510162141453e-144	6.890430347985743e-139
9.0ms	6.013300742534405e-157	6.60875913568991e-156

Results

48.0ms

576×

body

256

valid

Compiler

Compiled 302 to 225 computations (25.5% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	399

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 x y) (*.f64 x y))
(if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) (.f64 (-.f64 1 y) x) (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8249978490502303/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) (.f64 (-.f64 1 y) x) (if (<=.f64 y 7742953005213299/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 4707826301540011/196159429230833773869868419475239575503198607639501078528) x (-.f64 y (*.f64 y x)))))))
(if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) (.f64 (-.f64 1 y) x) (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8038440580489423/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) (.f64 (-.f64 1 y) x) (if (<=.f64 y 7742953005213299/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 725789888154085/98079714615416886934934209737619787751599303819750539264) x (*.f64 y (-.f64 1 x)))))))
(if (<=.f64 y -1) (.f64 y (neg.f64 x)) (if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8249978490502303/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) x (if (<=.f64 y 8276949764193527/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 7355978596156267/196159429230833773869868419475239575503198607639501078528) x (.f64 y (-.f64 1 x))))))))
(if (<=.f64 y -1) (*.f64 y (neg.f64 x)) (if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8249978490502303/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) x (if (<=.f64 y 8009951384703413/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 41377379603379/1532495540865888858358347027150309183618739122183602176) x y))))))
(if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 2453839756149403/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536) x (if (<=.f64 y 5072969210312161/266998379490113760299377713271194014325338065294581596243380200977777465722580068752870260867072) y (if (<=.f64 y 4707826301540011/196159429230833773869868419475239575503198607639501078528) x y)))))
x

Outputs
(-.f64 (+.f64 x y) (*.f64 x y))
(if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) (.f64 (-.f64 1 y) x) (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8249978490502303/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) (.f64 (-.f64 1 y) x) (if (<=.f64 y 7742953005213299/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 4707826301540011/196159429230833773869868419475239575503198607639501078528) x (-.f64 y (*.f64 y x)))))))
(if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) (.f64 (-.f64 1 y) x) (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8038440580489423/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) (.f64 (-.f64 1 y) x) (if (<=.f64 y 7742953005213299/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 725789888154085/98079714615416886934934209737619787751599303819750539264) x (*.f64 y (-.f64 1 x)))))))
(if (<=.f64 y -1) (.f64 y (neg.f64 x)) (if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8249978490502303/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) x (if (<=.f64 y 8276949764193527/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 7355978596156267/196159429230833773869868419475239575503198607639501078528) x (.f64 y (-.f64 1 x))))))))
(if (<=.f64 y -1) (*.f64 y (neg.f64 x)) (if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8249978490502303/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) x (if (<=.f64 y 8009951384703413/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 41377379603379/1532495540865888858358347027150309183618739122183602176) x y))))))
(if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 2453839756149403/169230328010303641331690318856389386196071598838855992136870091590247882556495704531248437872567112920983350278405979725889536) x (if (<=.f64 y 5072969210312161/266998379490113760299377713271194014325338065294581596243380200977777465722580068752870260867072) y (if (<=.f64 y 4707826301540011/196159429230833773869868419475239575503198607639501078528) x y)))))
x

Compiler

Compiled 196 to 122 computations (37.8% saved)

soundness0.0ms (0%)

end77.0ms (0.9%)

Remove: (sort x y)
Compiler: Compiled 202 to 118 computations (41.6% saved)

Details

analyze55.0ms (0.7%)

sample702.0ms (8.2%)

preprocess75.0ms (0.9%)

simplify7.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite83.0ms (1%)

simplify465.0ms (5.5%)

eval13.0ms (0.2%)

prune9.0ms (0.1%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite105.0ms (1.2%)

simplify1.2s (13.5%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite103.0ms (1.2%)

simplify973.0ms (11.4%)

eval68.0ms (0.8%)

prune7.0ms (0.1%)

localize4.0ms (0%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite414.0ms (4.9%)

simplify360.0ms (4.2%)

eval8.0ms (0.1%)

prune10.0ms (0.1%)

localize4.0ms (0.1%)

series1.0ms (0%)

rewrite71.0ms (0.8%)

simplify869.0ms (10.2%)

eval10.0ms (0.1%)

prune11.0ms (0.1%)

regimes17.0ms (0.2%)

regimes43.0ms (0.5%)

bsearch739.0ms (8.7%)

regimes757.0ms (8.9%)

bsearch114.0ms (1.3%)

regimes419.0ms (4.9%)

bsearch69.0ms (0.8%)

regimes34.0ms (0.4%)

bsearch544.0ms (6.4%)

regimes24.0ms (0.3%)

bsearch54.0ms (0.6%)

simplify7.0ms (0.1%)

soundness0.0ms (0%)

end77.0ms (0.9%)

Profiling