Details

analyze166.0ms (3.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.6%	25%	72.5%	0.1%	2.3%	0%	0%	9
36.7%	34.3%	59.3%	0.1%	6.2%	0%	0%	10
44.2%	40.6%	51.3%	0.1%	8%	0%	0%	11
52%	46.8%	43.2%	0.1%	9.8%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.7s (35.7%)

Results

1.1s	8256×	body	256	valid
658.0ms	1175×	body	256	infinite

Bogosity

preprocess12.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

14×	`rational.json-simplify-1`
6×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
1	28	76
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	11	19

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 17 to 9 computations (47.1% 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 x (*.f64 y (+.f64 z x)))

Compiler

Compiled 10 to 6 computations (40% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series4.0ms (0.1%)

Counts

2 → 60

Calls

18 calls:

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

rewrite210.0ms (4.4%)

Algorithm

1×	batch-egg-rewrite

Rules

2418×	`rational.json-simplify-2`
1664×	`rational.json-simplify-35`
1362×	`rational.json-1`
1362×	`rational.json-2`
1362×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	53	32
2	113	32
3	239	32
4	461	32
5	1069	32
6	2503	32
7	4213	32
8	5171	32
9	6025	32
10	6642	32
11	6642	32
12	7708	32

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

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

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

Outputs

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

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

simplify1.0s (21.3%)

Algorithm

1×	egg-herbie

Rules

7084×	`rational.json-simplify-41`
3984×	`rational.json-simplify-35`
2186×	`rational.json-simplify-2`
910×	`rational.json-simplify-1`
888×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	102	1587
1	247	1587
2	673	1587
3	1800	1587
4	3524	1587
5	4220	1587
6	4585	1587
7	4814	1587
8	4966	1587
9	5096	1587
10	5634	1587
11	5861	1587
12	6101	1587
13	6136	1587
14	6178	1587
15	6227	1587
16	6326	1587
17	6328	1587
18	6444	1587
19	6560	1587
20	6676	1587
21	6850	1587
22	7052	1587
23	7168	1587
24	7284	1587
25	7400	1587
26	7516	1587
27	7632	1587
28	7748	1587
29	7748	1587
30	7749	1587
31	7749	1587

Stop Event

1×	node limit

Counts

99 → 57

Calls

Call 1

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

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

eval9.0ms (0.2%)

Compiler: Compiled 602 to 279 computations (53.7% saved)

prune10.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	52	5	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	6	58

Error

0.0b

Counts

58 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	21.4b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
▶	21.4b	(*.f64 (+.f64 y 1) x)
▶	32.0b	(*.f64 y (+.f64 z x))
▶	41.5b	(*.f64 y z)
	31.1b	x

Compiler

Compiled 44 to 29 computations (34.1% saved)

localize4.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite182.0ms (3.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

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

Outputs

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

simplify565.0ms (11.7%)

Algorithm

1×	egg-herbie

Rules

2676×	`rational.json-simplify-2`
2458×	`rational.json-simplify-35`
1452×	`rational.json-simplify-1`
1328×	`rational.json-simplify-53`
1234×	`rational.json-simplify-48`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	470
1	130	470
2	245	470
3	520	470
4	1847	470
5	3623	470
6	4221	470
7	4426	470
8	4627	470
9	4794	470
10	4937	470
11	5910	470
12	7028	470
13	7171	470
14	7233	470
15	7277	470
16	7382	470
17	7453	470
18	7532	470
19	7669	470
20	7842	470
21	7976	470

Stop Event

1×	node limit

Counts

38 → 21

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

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

Compiler

Compiled 13 to 5 computations (61.5% saved)

series1.0ms (0%)

Counts

1 → 15

Calls

6 calls:

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

rewrite188.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

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

simplify138.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

1880×	`rational.json-simplify-35`
1270×	`rational.json-simplify-51`
1184×	`rational.json-simplify-41`
1036×	`rational.json-simplify-2`
770×	`rational.json-simplify-42`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	105	767
1	250	767
2	485	767
3	885	767
4	1621	767
5	4535	767
6	5752	767
7	6384	767
8	6964	767
9	7408	767

Stop Event

1×	node limit

Counts

59 → 49

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

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

eval15.0ms (0.3%)

Compiler: Compiled 783 to 527 computations (32.7% saved)

prune13.0ms (0.3%)

Pruning

7 alts after pruning (2 fresh and 5 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	1	1
Picked	0	1	1
Done	0	4	4
Total	85	7	92

Error

0.0b

Counts

92 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.4b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	21.4b	(*.f64 (+.f64 y 1) x)
✓	32.0b	(*.f64 y (+.f64 z x))
✓	41.5b	(*.f64 y z)
▶	53.1b	(*.f64 y x)
	31.1b	x

Compiler

Compiled 50 to 33 computations (34% saved)

localize4.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.4b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	21.4b	(*.f64 (+.f64 y 1) x)
✓	32.0b	(*.f64 y (+.f64 z x))
✓	41.5b	(*.f64 y z)
✓	53.1b	(*.f64 y x)
	31.1b	x

Compiler

Compiled 50 to 33 computations (34% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	21.4b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	21.4b	(*.f64 (+.f64 y 1) x)
✓	32.0b	(*.f64 y (+.f64 z x))
✓	41.5b	(*.f64 y z)
✓	53.1b	(*.f64 y x)
	31.1b	x

Compiler

Compiled 50 to 33 computations (34% saved)

regimes21.0ms (0.4%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

5.0ms	(+.f64 x (*.f64 y (+.f64 z x)))
5.0ms	x
5.0ms	z
5.0ms	y

Results

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

Compiler

Compiled 54 to 27 computations (50% saved)

regimes48.0ms (1%)

Counts

6 → 3

Calls

Call 1

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

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

Calls

3 calls:

21.0ms	z
13.0ms	y
13.0ms	x

Results

Error	Segments	Branch
9.5b	3	`x`
9.0b	3	`y`
16.5b	5	`z`

Compiler

Compiled 37 to 20 computations (45.9% saved)

bsearch28.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	1748323367.3029492	30790998301978.95
15.0ms	-5700740228.971551	-0.0008864618653697693

Results

25.0ms	288×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 340 to 227 computations (33.2% saved)

regimes46.0ms (1%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

19.0ms	z
14.0ms	x
12.0ms	y

Results

Error	Segments	Branch
9.5b	3	`x`
9.0b	3	`y`
16.5b	5	`z`

Compiler

Compiled 32 to 19 computations (40.6% saved)

bsearch29.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	1748323367.3029492	30790998301978.95
16.0ms	-5700740228.971551	-0.0008864618653697693

Results

25.0ms	288×	body	256	valid
0.0ms	4×	body	256	infinite

Compiler

Compiled 340 to 245 computations (27.9% saved)

regimes57.0ms (1.2%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

33.0ms	z
13.0ms	x
10.0ms	y

Results

Error	Segments	Branch
16.2b	3	`x`
9.3b	3	`y`
20.6b	9	`z`

Compiler

Compiled 27 to 16 computations (40.7% saved)

bsearch75.0ms (1.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
10.0ms	1.1878024362839838e-78	5.51317038025609e-77
64.0ms	-3.771588156613994e-9	-4.823202187975109e-23

Results

72.0ms

272×

body

256

valid

Compiler

Compiled 254 to 181 computations (28.7% saved)

regimes40.0ms (0.8%)

Counts

3 → 3

Calls

Call 1

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

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

Calls

3 calls:

21.0ms	z
10.0ms	x
9.0ms	y

Results

Error	Segments	Branch
19.4b	3	`x`
18.7b	3	`y`
25.1b	7	`z`

Compiler

Compiled 22 to 14 computations (36.4% saved)

bsearch27.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
11.0ms	1.1878024362839838e-78	5.51317038025609e-77
16.0ms	-3.771588156613994e-9	-4.823202187975109e-23

Results

24.0ms

272×

body

256

valid

Compiler

Compiled 220 to 164 computations (25.5% saved)

regimes19.0ms (0.4%)

Accuracy

Total -39.6b remaining (-177.2%)

Threshold costs -39.6b (-177.2%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

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

Calls

3 calls:

8.0ms	y
8.0ms	z
3.0ms	x

Results

Error	Segments	Branch
31.1b	1	`x`
22.4b	3	`y`
30.0b	3	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch74.0ms (1.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	9.130613872331146e-10	22486.624667898548
59.0ms	-5700740228.971551	-0.0008864618653697693

Results

71.0ms	320×	body	256	valid
0.0ms	2×	body	256	infinite

Compiler

Compiled 256 to 191 computations (25.4% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	245

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -4728779608739021/4503599627370496) (.f64 y (+.f64 z x)) (if (<=.f64 y 1800000000) (+.f64 (.f64 y x) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -8106479329266893/2251799813685248) (.f64 y (+.f64 z x)) (if (<=.f64 y 1800000000) (.f64 (+.f64 y 1) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -1595073594941899/1329227995784915872903807060280344576) (.f64 y (+.f64 z x)) (if (<=.f64 y 6909626031726577/130370302485407109521180524058200202307293977194619920040712988758680403184853549195737432064) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -4912146075884389/316912650057057350374175801344) (.f64 y z) (if (<=.f64 y 7170366636697391/130370302485407109521180524058200202307293977194619920040712988758680403184853549195737432064) x (.f64 y z)))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Outputs
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -4728779608739021/4503599627370496) (.f64 y (+.f64 z x)) (if (<=.f64 y 1800000000) (+.f64 (.f64 y x) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -8106479329266893/2251799813685248) (.f64 y (+.f64 z x)) (if (<=.f64 y 1800000000) (.f64 (+.f64 y 1) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -1595073594941899/1329227995784915872903807060280344576) (.f64 y (+.f64 z x)) (if (<=.f64 y 6909626031726577/130370302485407109521180524058200202307293977194619920040712988758680403184853549195737432064) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -4912146075884389/316912650057057350374175801344) (.f64 y z) (if (<=.f64 y 7170366636697391/130370302485407109521180524058200202307293977194619920040712988758680403184853549195737432064) x (.f64 y z)))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Compiler

Compiled 124 to 67 computations (46% saved)

soundness0.0ms (0%)

end44.0ms (0.9%)

Compiler: Compiled 106 to 42 computations (60.4% saved)

Details

analyze166.0ms (3.4%)

sample1.7s (35.7%)

preprocess12.0ms (0.2%)

simplify9.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series4.0ms (0.1%)

rewrite210.0ms (4.4%)

simplify1.0s (21.3%)

eval9.0ms (0.2%)

prune10.0ms (0.2%)

localize4.0ms (0.1%)

localize5.0ms (0.1%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite182.0ms (3.8%)

simplify565.0ms (11.7%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite188.0ms (3.9%)

simplify138.0ms (2.8%)

eval15.0ms (0.3%)

prune13.0ms (0.3%)

localize4.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes21.0ms (0.4%)

regimes48.0ms (1%)

bsearch28.0ms (0.6%)

regimes46.0ms (1%)

bsearch29.0ms (0.6%)

regimes57.0ms (1.2%)

bsearch75.0ms (1.5%)

regimes40.0ms (0.8%)

bsearch27.0ms (0.6%)

regimes19.0ms (0.4%)

bsearch74.0ms (1.5%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end44.0ms (0.9%)

Profiling