Details

analyze57.0ms (0.8%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
25%	25%	74.9%	0.1%	0%	0%	0%	5
37.5%	37.5%	62.4%	0.1%	0%	0%	0%	6
50.8%	50%	48.4%	0.1%	1.6%	0%	0%	7
60.8%	59.3%	38.2%	0.1%	2.3%	0%	0%	8
70.8%	67.1%	27.7%	0.1%	5.1%	0%	0%	9
77.3%	72.6%	21.3%	0.1%	6%	0%	0%	10
83.9%	76.9%	14.7%	0.1%	8.3%	0%	0%	11
87.7%	79.8%	11.2%	0.1%	8.9%	0%	0%	12

Compiler

Compiled 10 to 6 computations (40% saved)

sample2.4s (35.3%)

Results

2.3s	8252×	body	256	valid
29.0ms	351×	body	256	infinite
1.0ms	3×	body	1024	valid
0.0ms	1×	body	512	valid

Bogosity

preprocess10.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

12×	`rational.json-simplify-1`
6×	`rational.json-simplify-41`
2×	`swap-x-y`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	16	38
2	20	38
3	21	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 (*.f64 x y) x) y)
(+.f64 (+.f64 (*.f64 y x) y) x)

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

Symmetry

(sort x y)

Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`rational.json-simplify-1`
4×	`rational.json-simplify-41`
2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	10	19
2	14	19
3	18	19

Stop Event

1×

saturated

Counts

1 → 4

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 30 to 11 computations (63.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

5 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 19 to 5 computations (73.7% saved)

series5.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite83.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1788×	`bool.json-1`
1788×	`bool.json-2`
1756×	`rational.json-1`
1756×	`rational.json-2`
1238×	`bool.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	32
1	71	32
2	203	32
3	472	32
4	1074	32
5	2641	32
6	6007	32

Stop Event

1×	node limit

Counts

2 → 55

Calls

Call 1

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

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

Outputs

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

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

simplify280.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

2026×	`rational.json-simplify-2`
1938×	`rational.json-simplify-35`
1282×	`rational.json-simplify-48`
1234×	`rational.json-simplify-1`
1042×	`rational.json-simplify-53`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	130	1585
1	260	1585
2	590	1579
3	1345	1579
4	2626	1579
5	3435	1579
6	3789	1579
7	4091	1579
8	4375	1579
9	4833	1579
10	5059	1579
11	5604	1579
12	5980	1579
13	6398	1579
14	6895	1579

Stop Event

1×	node limit

Counts

103 → 82

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

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

eval15.0ms (0.2%)

Compiler: Compiled 840 to 441 computations (47.5% saved)

prune13.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	77	5	82
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	77	6	83

Error

Counts

83 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (+.f64 (*.f64 x y) x) y)
▶	29.5b	(+.f64 (*.f64 y x) y)
▶	27.5b	(*.f64 (+.f64 1 y) x)
▶	29.5b	(*.f64 (+.f64 1 x) y)
	36.9b	y
	34.2b	x

Compiler

Compiled 36 to 23 computations (36.1% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

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

rewrite95.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1626×	`bool.json-1`
1626×	`bool.json-2`
1586×	`rational.json-1`
1586×	`rational.json-2`
1184×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	80	13
2	248	13
3	483	13
4	941	13
5	2028	13
6	4106	13
7	6516	13

Stop Event

1×	node limit

Counts

1 → 11

Calls

Call 1

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

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

Outputs

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

simplify1.2s (17.5%)

Algorithm

1×	egg-herbie

Rules

4934×	`rational.json-simplify-35`
2490×	`rational.json-simplify-2`
1112×	`rational.json-simplify-53`
972×	`rational.json-simplify-1`
778×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	275
1	92	275
2	182	275
3	435	275
4	1866	275
5	3539	275
6	4368	275
7	4740	275
8	4948	275
9	5153	275
10	5335	275
11	5665	275
12	5665	275
13	5738	275
14	5908	275
15	6094	275
16	6323	275
17	6492	275
18	6639	275
19	6783	275
20	6927	275
21	7071	275
22	7215	275
23	7359	275
24	7359	275
25	7462	275
26	7462	275
27	7606	275
28	7750	275
29	7894	275

Stop Event

1×	node limit

Counts

23 → 16

Calls

Call 1

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

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

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

rewrite94.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1626×	`bool.json-1`
1626×	`bool.json-2`
1586×	`rational.json-1`
1586×	`rational.json-2`
1184×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	80	13
2	248	13
3	483	13
4	941	13
5	2028	13
6	4106	13
7	6516	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 (+.f64 1 y) x) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 (+.f64 1 y) x) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 1 y) x) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 1 y) x) 8))) (*.f64 2 (*.f64 2 (*.f64 (*.f64 (+.f64 1 y) x) 8)))) 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))))))

simplify1.2s (17.7%)

Algorithm

1×	egg-herbie

Rules

4920×	`rational.json-simplify-35`
2506×	`rational.json-simplify-2`
1114×	`rational.json-simplify-53`
970×	`rational.json-simplify-1`
790×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	275
1	92	275
2	182	275
3	436	275
4	1871	275
5	3522	275
6	4343	275
7	4716	275
8	4927	275
9	5132	275
10	5314	275
11	5652	275
12	5652	275
13	5725	275
14	5895	275
15	6081	275
16	6310	275
17	6479	275
18	6626	275
19	6770	275
20	6914	275
21	7058	275
22	7202	275
23	7346	275
24	7346	275
25	7452	275
26	7452	275
27	7596	275
28	7740	275
29	7884	275

Stop Event

1×	node limit

Counts

23 → 17

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series1.0ms (0%)

Counts

1 → 21

Calls

6 calls:

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

rewrite97.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1810×	`bool.json-1`
1810×	`bool.json-2`
1776×	`rational.json-1`
1144×	`bool.json-3`
1100×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	61	13
2	179	13
3	399	13
4	838	13
5	1850	13
6	3968	13
7	6886	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

Outputs

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

simplify286.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2012×	`rational.json-simplify-2`
1964×	`rational.json-simplify-1`
1468×	`rational.json-simplify-35`
1298×	`rational.json-simplify-41`
1138×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	652
1	164	652
2	352	652
3	861	652
4	1700	652
5	3571	652
6	3834	652
7	4042	652
8	4237	652
9	4491	652
10	4928	652
11	6301	652
12	6657	652
13	6996	652
14	7325	652
15	7666	652

Stop Event

1×	node limit

Counts

52 → 39

Calls

Call 1

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

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

eval13.0ms (0.2%)

Compiler: Compiled 606 to 368 computations (39.3% saved)

prune11.0ms (0.2%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	70	8	78

Error

Counts

78 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (+.f64 (*.f64 x y) x) y)
✓	29.5b	(+.f64 (*.f64 y x) y)
▶	27.5b	(+.f64 (*.f64 y x) x)
✓	27.5b	(*.f64 (+.f64 1 y) x)
✓	29.5b	(*.f64 (+.f64 1 x) y)
▶	55.8b	(*.f64 y x)
	36.9b	y
	34.2b	x

Compiler

Compiled 48 to 30 computations (37.5% saved)

localize3.0ms (0%)

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

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 4 computations (66.7% saved)

series0.0ms (0%)

Counts

1 → 15

Calls

6 calls:

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

rewrite94.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1810×	`bool.json-1`
1810×	`bool.json-2`
1776×	`rational.json-1`
1144×	`bool.json-3`
1100×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	61	13
2	179	13
3	399	13
4	838	13
5	1850	13
6	3968	13
7	6886	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

Outputs

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

simplify285.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2030×	`rational.json-simplify-2`
1950×	`rational.json-simplify-1`
1474×	`rational.json-simplify-35`
1292×	`rational.json-simplify-41`
1144×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	79	574
1	166	574
2	354	574
3	854	574
4	1704	574
5	3556	574
6	3819	574
7	4027	574
8	4222	574
9	4484	574
10	4932	574
11	6308	574
12	6667	574
13	7007	574
14	7336	574
15	7678	574

Stop Event

1×	node limit

Counts

46 → 38

Calls

Call 1

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

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

eval6.0ms (0.1%)

Compiler: Compiled 322 to 177 computations (45% saved)

prune7.0ms (0.1%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	38	0	38
Fresh	0	2	2
Picked	0	1	1
Done	0	5	5
Total	38	8	46

Error

Counts

46 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (+.f64 (*.f64 x y) x) y)
✓	29.5b	(+.f64 (*.f64 y x) y)
✓	27.5b	(+.f64 (*.f64 y x) x)
✓	27.5b	(*.f64 (+.f64 1 y) x)
✓	29.5b	(*.f64 (+.f64 1 x) y)
✓	55.8b	(*.f64 y x)
	36.9b	y
	34.2b	x

Compiler

Compiled 48 to 30 computations (37.5% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	2	2
Picked	0	0
Done	6	6
Total	8	8

Error

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (+.f64 (*.f64 x y) x) y)
✓	29.5b	(+.f64 (*.f64 y x) y)
✓	27.5b	(+.f64 (*.f64 y x) x)
✓	27.5b	(*.f64 (+.f64 1 y) x)
✓	29.5b	(*.f64 (+.f64 1 x) y)
✓	55.8b	(*.f64 y x)
	36.9b	y
	34.2b	x

Compiler

Compiled 48 to 30 computations (37.5% saved)

regimes19.0ms (0.3%)

Counts

8 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 49 to 23 computations (53.1% saved)

regimes44.0ms (0.7%)

Counts

7 → 6

Calls

Call 1

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

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

Calls

2 calls:

28.0ms	y
15.0ms	x

Results

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

Compiler

Compiled 33 to 15 computations (54.5% saved)

bsearch58.0ms (0.9%)

Algorithm

5×	binary-search

Steps

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

Results

51.0ms

576×

body

256

valid

Compiler

Compiled 478 to 357 computations (25.3% saved)

regimes37.0ms (0.6%)

Counts

4 → 7

Calls

Call 1

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

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

Calls

2 calls:

25.0ms	y
11.0ms	x

Results

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

Compiler

Compiled 18 to 10 computations (44.4% saved)

bsearch69.0ms (1%)

Algorithm

6×	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
14.0ms	4.2917510162141453e-144	6.890430347985743e-139
9.0ms	6.013300742534405e-157	6.60875913568991e-156
14.0ms	-67794.13186210717	-0.17890390871090597

Results

60.0ms

720×

body

256

valid

Compiler

Compiled 476 to 351 computations (26.3% saved)

regimes34.0ms (0.5%)

Counts

3 → 7

Calls

Call 1

Inputs
x
y
(*.f64 y x)

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

Calls

2 calls:

23.0ms	y
10.0ms	x

Results

Error	Segments	Branch
13.5b	3	`x`
11.9b	7	`y`

Compiler

Compiled 13 to 7 computations (46.2% saved)

bsearch72.0ms (1.1%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
13.0ms	7.201420000090054e-36	1.2851403143341646e-30
9.0ms	1.4172738898923237e-80	1.576256177309835e-79
12.0ms	1.978827876662654e-112	1.9786622423425079e-109
13.0ms	4.2917510162141453e-144	6.890430347985743e-139
10.0ms	6.013300742534405e-157	6.60875913568991e-156
14.0ms	-67794.13186210717	-0.17890390871090597

Results

64.0ms

752×

body

256

valid

Compiler

Compiled 408 to 300 computations (26.5% saved)

regimes26.0ms (0.4%)

Accuracy

Total -48.7b remaining (-362.9%)

Threshold costs -48.7b (-362.9%)

Counts

2 → 6

Calls

Call 1

Inputs
x
y

Outputs
x
y
x
y
x
y

Calls

2 calls:

17.0ms	y
9.0ms	x

Results

Error	Segments	Branch
15.2b	2	`x`
13.4b	6	`y`

Compiler

Compiled 10 to 6 computations (40% saved)

bsearch60.0ms (0.9%)

Algorithm

5×	binary-search

Steps

Time	Left	Right
14.0ms	7.201420000090054e-36	1.2851403143341646e-30
9.0ms	1.4172738898923237e-80	1.576256177309835e-79
13.0ms	1.978827876662654e-112	1.9786622423425079e-109
15.0ms	4.2917510162141453e-144	6.890430347985743e-139
10.0ms	6.013300742534405e-157	6.60875913568991e-156

Results

54.0ms

608×

body

256

valid

Compiler

Compiled 318 to 237 computations (25.5% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	64	328

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (+.f64 (*.f64 x y) 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) (.f64 (+.f64 1 x) y) (if (<=.f64 y 2550072580000839/98079714615416886934934209737619787751599303819750539264) x (.f64 (+.f64 1 x) y))))))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7732508084371119/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8249978490502303/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) x (if (<=.f64 y 8276949764193527/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) (.f64 (+.f64 1 x) y) (if (<=.f64 y 1225996432692711/98079714615416886934934209737619787751599303819750539264) x (*.f64 (+.f64 1 x) y)))))))
(if (<=.f64 y -1) (*.f64 y 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 5407556058124341/730750818665451459101842416358141509827966271488) x y))))))
(if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 7192288940437905/84615164005151820665845159428194693098035799419427996068435045795123941278247852265624218936283556460491675139202989862944768) x (if (<=.f64 y 8009951384703413/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 4442964977485945/11692013098647223345629478661730264157247460343808) x y)))))
x

Outputs
(+.f64 (+.f64 (*.f64 x y) 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) (.f64 (+.f64 1 x) y) (if (<=.f64 y 2550072580000839/98079714615416886934934209737619787751599303819750539264) x (.f64 (+.f64 1 x) y))))))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7732508084371119/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 8249978490502303/42307582002575910332922579714097346549017899709713998034217522897561970639123926132812109468141778230245837569601494931472384) x (if (<=.f64 y 8276949764193527/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) (.f64 (+.f64 1 x) y) (if (<=.f64 y 1225996432692711/98079714615416886934934209737619787751599303819750539264) x (*.f64 (+.f64 1 x) y)))))))
(if (<=.f64 y -1) (*.f64 y 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 5407556058124341/730750818665451459101842416358141509827966271488) x y))))))
(if (<=.f64 y 6279873474903045/966134380754314586173837972732996836074731832426608749664308812862879785572390106134048441645480644490615904007875544294341269665260746913935727168366770187174245203705856) x (if (<=.f64 y 7556769264271775/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) y (if (<=.f64 y 7192288940437905/84615164005151820665845159428194693098035799419427996068435045795123941278247852265624218936283556460491675139202989862944768) x (if (<=.f64 y 8009951384703413/533996758980227520598755426542388028650676130589163192486760401955554931445160137505740521734144) y (if (<=.f64 y 4442964977485945/11692013098647223345629478661730264157247460343808) x y)))))
x

Compiler

Compiled 162 to 101 computations (37.7% saved)

soundness0.0ms (0%)

end66.0ms (1%)

Remove: (sort x y)
Compiler: Compiled 170 to 100 computations (41.2% saved)

Details

analyze57.0ms (0.8%)

sample2.4s (35.3%)

preprocess10.0ms (0.2%)

simplify8.0ms (0.1%)

eval1.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0.1%)

series5.0ms (0.1%)

rewrite83.0ms (1.2%)

simplify280.0ms (4.1%)

eval15.0ms (0.2%)

prune13.0ms (0.2%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite95.0ms (1.4%)

simplify1.2s (17.5%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite94.0ms (1.4%)

simplify1.2s (17.7%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite97.0ms (1.4%)

simplify286.0ms (4.2%)

eval13.0ms (0.2%)

prune11.0ms (0.2%)

localize3.0ms (0%)

localize4.0ms (0.1%)

series0.0ms (0%)

rewrite94.0ms (1.4%)

simplify285.0ms (4.2%)

eval6.0ms (0.1%)

prune7.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes19.0ms (0.3%)

regimes44.0ms (0.7%)

bsearch58.0ms (0.9%)

regimes37.0ms (0.6%)

bsearch69.0ms (1%)

regimes34.0ms (0.5%)

bsearch72.0ms (1.1%)

regimes26.0ms (0.4%)

bsearch60.0ms (0.9%)

simplify7.0ms (0.1%)

soundness0.0ms (0%)

end66.0ms (1%)

Profiling