Details

analyze166.0ms (2.6%)

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)

sample842.0ms (13%)

Results

728.0ms	8256×	body	256	valid
101.0ms	1136×	body	256	infinite

Bogosity

preprocess11.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.1%)

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

rewrite222.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

2414×	`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	2501	32
7	4209	32
8	5167	32
9	6021	32
10	6638	32
11	6638	32
12	7704	32

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

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

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

Outputs

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

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

simplify1.2s (19%)

Algorithm

1×	egg-herbie

Rules

6496×	`rational.json-simplify-41`
3998×	`rational.json-simplify-35`
2132×	`rational.json-simplify-2`
880×	`rational.json-simplify-51`
878×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	100	1791
1	244	1587
2	667	1587
3	1798	1587
4	3480	1587
5	4182	1587
6	4589	1587
7	4852	1587
8	5023	1587
9	5153	1587
10	5712	1587
11	5894	1587
12	6090	1587
13	6146	1587
14	6257	1587
15	6380	1587
16	6380	1587
17	6380	1587
18	6496	1587
19	6626	1587
20	6744	1587
21	6860	1587
22	6976	1587
23	7092	1587
24	7208	1587
25	7338	1587
26	7454	1587
27	7570	1587
28	7686	1587
29	7686	1587

Stop Event

1×	node limit

Counts

99 → 57

Calls

Call 1

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

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

eval217.0ms (3.4%)

Compiler: Compiled 606 to 275 computations (54.6% saved)

prune11.0ms (0.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	51	6	57
Fresh	0	0	0
Picked	1	0	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
▶	0.0b	(+.f64 (.f64 y z) (+.f64 (.f64 y x) x))
▶	21.4b	(+.f64 (*.f64 y x) x)
▶	14.3b	(+.f64 x (*.f64 y z))
▶	21.4b	(*.f64 (+.f64 1 y) x)
▶	28.8b	(*.f64 y (+.f64 z x))
	34.5b	x

Compiler

Compiled 92 to 59 computations (35.9% saved)

localize398.0ms (6.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 26 to 7 computations (73.1% saved)

series3.0ms (0.1%)

Counts

2 → 42

Calls

15 calls:

Time	Variable		Point	Expression
1.0ms	y	@	-inf	(+.f64 (*.f64 y x) x)
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)

rewrite250.0ms (3.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2792×	`rational.json-simplify-35`
1816×	`rational.json-simplify-1`
1448×	`exponential.json-3`
1448×	`rational.json-1`
1448×	`rational.json-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	38
1	62	38
2	139	32
3	316	32
4	676	32
5	1741	32
6	3247	32
7	4343	32
8	6136	32
9	7299	32
10	7318	32
11	7318	32
12	7898	32

Stop Event

1×	node limit

Counts

2 → 53

Calls

Call 1

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

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

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

simplify269.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

2070×	`rational.json-simplify-2`
1804×	`rational.json-simplify-35`
816×	`rational.json-simplify-53`
810×	`rational.json-simplify-1`
736×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	127	1469
1	274	1469
2	608	1469
3	1401	1469
4	2800	1469
5	3658	1469
6	4056	1469
7	4535	1469
8	5021	1469
9	5482	1469
10	6363	1469
11	7098	1469
12	7560	1469
13	7946	1469

Stop Event

1×	node limit

Counts

95 → 72

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite194.0ms (3%)

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	58	13
2	136	13
3	241	13
4	441	13
5	938	13
6	2379	13
7	4160	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 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 1 y) (*.f64 x 8)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 1 y) (*.f64 x 8))))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (+.f64 1 y) x) 1)))))

simplify596.0ms (9.2%)

Algorithm

1×	egg-herbie

Rules

2778×	`rational.json-simplify-2`
2570×	`rational.json-simplify-35`
1512×	`rational.json-simplify-53`
1212×	`rational.json-simplify-1`
1048×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	314
1	126	314
2	236	314
3	529	314
4	1881	314
5	3654	314
6	4197	314
7	4382	314
8	4566	314
9	4756	314
10	4928	314
11	5927	314
12	6533	314
13	6808	314
14	6808	314
15	6862	314
16	6887	314
17	6970	314
18	7015	314
19	7191	314
20	7335	314
21	7467	314

Stop Event

1×	node limit

Counts

26 → 20

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

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite193.0ms (3%)

Algorithm

1×	batch-egg-rewrite

Rules

1524×	`rational.json-simplify-35`
1424×	`rational.json-simplify-1`
1386×	`exponential.json-3`
1386×	`rational.json-1`
1386×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	102	13
3	214	13
4	397	13
5	896	13
6	2312	13
7	4174	13
8	5358	13
9	6869	13
10	7680	13
11	7680	13

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

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

simplify824.0ms (12.7%)

Algorithm

1×	egg-herbie

Rules

5824×	`rational.json-simplify-51`
3524×	`rational.json-simplify-35`
1364×	`rational.json-simplify-49`
1152×	`rational.json-simplify-2`
1114×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	689
1	121	689
2	420	689
3	1176	689
4	1869	689
5	2750	689
6	3233	689
7	3307	689
8	3355	689
9	3387	689
10	3419	689
11	3451	689
12	3483	689
13	3515	689
14	3547	689
15	3579	689
16	3611	689
17	3643	689
18	3675	689
19	4583	689
20	4842	689
21	4935	689
22	5024	689
23	5111	689
24	5197	689
25	5410	689
26	5410	689
27	5496	689
28	5582	689
29	5668	689
30	5754	689
31	5840	689
32	5926	689
33	6012	689
34	6098	689
35	6184	689

Stop Event

1×	node limit

Counts

59 → 26

Calls

Call 1

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

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

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)

eval31.0ms (0.5%)

Compiler: Compiled 1836 to 1004 computations (45.3% saved)

prune25.0ms (0.4%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	172	3	175
Fresh	0	1	1
Picked	0	1	1
Done	1	3	4
Total	173	8	181

Error

0.0b

Counts

181 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	28.8b	(+.f64 (.f64 y z) (.f64 y x))
✓	21.4b	(+.f64 (*.f64 y x) x)
✓	14.3b	(+.f64 x (*.f64 y z))
✓	21.4b	(*.f64 (+.f64 1 y) x)
✓	28.8b	(*.f64 y (+.f64 z x))
▶	42.1b	(*.f64 y z)
▶	49.8b	(*.f64 y x)
	34.5b	x

Compiler

Compiled 58 to 38 computations (34.5% saved)

localize3.0ms (0%)

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

localize3.0ms (0%)

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

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 19 to 6 computations (68.4% saved)

series1.0ms (0%)

Counts

1 → 18

Calls

9 calls:

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

rewrite173.0ms (2.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2754×	`rational.json-simplify-2`
1304×	`rational.json-1`
1304×	`rational.json-2`
1304×	`rational.json-3`
1284×	`exponential.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	53	13
2	117	13
3	255	13
4	474	13
5	1107	13
6	2764	13
7	4899	13
8	6163	13
9	7022	13
10	7022	13

Stop Event

1×	node limit

Counts

1 → 48

Calls

Call 1

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

Outputs

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

simplify216.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

2960×	`rational.json-simplify-2`
1500×	`rational.json-simplify-35`
1496×	`rational.json-simplify-53`
1416×	`rational.json-simplify-1`
1292×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	105	822
1	243	822
2	565	822
3	1454	822
4	3695	822
5	5381	822
6	6280	822
7	6419	822
8	6530	822
9	6635	822
10	6767	822
11	7821	822

Stop Event

1×	node limit

Counts

66 → 51

Calls

Call 1

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

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

eval8.0ms (0.1%)

Compiler: Compiled 474 to 252 computations (46.8% saved)

prune10.0ms (0.1%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	1	1
Picked	0	1	1
Done	0	6	6
Total	51	8	59

Error

0.0b

Counts

59 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	28.8b	(+.f64 (.f64 y z) (.f64 y x))
✓	21.4b	(+.f64 (*.f64 y x) x)
✓	14.3b	(+.f64 x (*.f64 y z))
✓	21.4b	(*.f64 (+.f64 1 y) x)
✓	28.8b	(*.f64 y (+.f64 z x))
✓	42.1b	(*.f64 y z)
✓	49.8b	(*.f64 y x)
	34.5b	x

Compiler

Compiled 58 to 38 computations (34.5% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

8 alts after pruning (1 fresh and 7 done)

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

Error

0.0b

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	28.8b	(+.f64 (.f64 y z) (.f64 y x))
✓	21.4b	(+.f64 (*.f64 y x) x)
✓	14.3b	(+.f64 x (*.f64 y z))
✓	21.4b	(*.f64 (+.f64 1 y) x)
✓	28.8b	(*.f64 y (+.f64 z x))
✓	42.1b	(*.f64 y z)
✓	49.8b	(*.f64 y x)
	34.5b	x

Compiler

Compiled 58 to 38 computations (34.5% saved)

regimes27.0ms (0.4%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

7.0ms	(+.f64 x (*.f64 y (+.f64 z x)))
6.0ms	x
6.0ms	z
6.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 75 to 30 computations (60% saved)

regimes43.0ms (0.7%)

Counts

7 → 3

Calls

Call 1

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

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

Calls

3 calls:

14.0ms	z
14.0ms	x
13.0ms	y

Results

Error	Segments	Branch
7.7b	3	`x`
1.3b	3	`y`
7.4b	3	`z`

Compiler

Compiled 42 to 21 computations (50% saved)

bsearch28.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	8.68875356035391e-6	9.775092849134452
15.0ms	-5.550502417122935	-9.521645271898693e-9

Results

25.0ms

288×

body

256

valid

Compiler

Compiled 340 to 227 computations (33.2% saved)

regimes69.0ms (1.1%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

31.0ms	z
24.0ms	x
12.0ms	y

Results

Error	Segments	Branch
9.2b	5	`x`
8.9b	3	`y`
13.0b	7	`z`

Compiler

Compiled 32 to 19 computations (40.6% saved)

bsearch24.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	12.134020106689762	14435.945103729506
11.0ms	-114.34865387709024	-5.550502417122935

Results

21.0ms	240×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 286 to 206 computations (28% saved)

regimes82.0ms (1.3%)

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:

38.0ms	x
31.0ms	z
11.0ms	y

Results

Error	Segments	Branch
13.5b	11	`x`
9.9b	3	`y`
20.0b	9	`z`

Compiler

Compiled 27 to 16 computations (40.7% saved)

bsearch28.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	9.877789990607384e-24	9.473641442916037e-21
16.0ms	-5.550502417122935	-9.521645271898693e-9

Results

25.0ms

272×

body

256

valid

Compiler

Compiled 254 to 181 computations (28.7% saved)

regimes54.0ms (0.8%)

Counts

3 → 4

Calls

Call 1

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

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

Calls

3 calls:

22.0ms	z
19.0ms	x
12.0ms	y

Results

Error	Segments	Branch
22.9b	5	`x`
20.6b	4	`y`
25.8b	7	`z`

Compiler

Compiled 22 to 14 computations (36.4% saved)

bsearch60.0ms (0.9%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
14.0ms	8.68875356035391e-6	9.775092849134452
14.0ms	-5.550502417122935	-9.521645271898693e-9
32.0ms	-4.331288746677901e+238	-1.0981282687796637e+206

Results

41.0ms	464×	body	256	valid
14.0ms	161×	body	256	infinite

Compiler

Compiled 386 to 283 computations (26.7% saved)

regimes26.0ms (0.4%)

Accuracy

Total -39.1b remaining (-172.5%)

Threshold costs -39.1b (-172.5%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

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

Calls

3 calls:

14.0ms	z
9.0ms	y
3.0ms	x

Results

Error	Segments	Branch
34.5b	1	`x`
22.7b	3	`y`
31.9b	5	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch30.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	8.68875356035391e-6	9.775092849134452
15.0ms	-5.550502417122935	-9.521645271898693e-9

Results

26.0ms

288×

body

256

valid

Compiler

Compiled 232 to 173 computations (25.4% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	261

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -1) (.f64 y (+.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -21) (.f64 y (+.f64 z x)) (if (<=.f64 y 45) (.f64 (+.f64 1 y) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -3687223749824619/302231454903657293676544) (.f64 y (+.f64 z x)) (if (<=.f64 y 1295997295890293/166153499473114484112975882535043072) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -15999999999999999749520600428758758355736396403189392846713340598610086606224371578033052110909282892937136496142714834561348045635194268959136480375167243142968433984438025611277059702803707504038057026162004066304) (.f64 y x) (if (<=.f64 y -3475661731392059/302231454903657293676544) (.f64 y z) (if (<=.f64 y 1) x (*.f64 y x))))
(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 -1) (.f64 y (+.f64 z x)) (if (<=.f64 y 1) (+.f64 x (.f64 y z)) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -21) (.f64 y (+.f64 z x)) (if (<=.f64 y 45) (.f64 (+.f64 1 y) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -3687223749824619/302231454903657293676544) (.f64 y (+.f64 z x)) (if (<=.f64 y 1295997295890293/166153499473114484112975882535043072) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -15999999999999999749520600428758758355736396403189392846713340598610086606224371578033052110909282892937136496142714834561348045635194268959136480375167243142968433984438025611277059702803707504038057026162004066304) (.f64 y x) (if (<=.f64 y -3475661731392059/302231454903657293676544) (.f64 y z) (if (<=.f64 y 1) x (*.f64 y x))))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 1) x (.f64 y x)))
x

Compiler

Compiled 131 to 71 computations (45.8% saved)

soundness0.0ms (0%)

end45.0ms (0.7%)

Compiler: Compiled 113 to 45 computations (60.2% saved)

Details

analyze166.0ms (2.6%)

sample842.0ms (13%)

preprocess11.0ms (0.2%)

simplify9.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series4.0ms (0.1%)

rewrite222.0ms (3.4%)

simplify1.2s (19%)

eval217.0ms (3.4%)

prune11.0ms (0.2%)

localize398.0ms (6.2%)

series3.0ms (0.1%)

rewrite250.0ms (3.9%)

simplify269.0ms (4.2%)

localize6.0ms (0.1%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite194.0ms (3%)

simplify596.0ms (9.2%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite193.0ms (3%)

simplify824.0ms (12.7%)

localize5.0ms (0.1%)

eval31.0ms (0.5%)

prune25.0ms (0.4%)

localize3.0ms (0%)

localize3.0ms (0%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite173.0ms (2.7%)

simplify216.0ms (3.3%)

eval8.0ms (0.1%)

prune10.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes27.0ms (0.4%)

regimes43.0ms (0.7%)

bsearch28.0ms (0.4%)

regimes69.0ms (1.1%)

bsearch24.0ms (0.4%)

regimes82.0ms (1.3%)

bsearch28.0ms (0.4%)

regimes54.0ms (0.8%)

bsearch60.0ms (0.9%)

regimes26.0ms (0.4%)

bsearch30.0ms (0.5%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end45.0ms (0.7%)

Profiling