Details

analyze162.0ms (2.7%)

Algorithm

1×

Search

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

sample836.0ms (14%)

Results

718.0ms	8256×	body	256	valid
105.0ms	1221×	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))

rewrite214.0ms (3.6%)

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.3s (20.9%)

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

eval10.0ms (0.2%)

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

prune72.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	51	6	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	7	58

Error

0.0b

Counts

58 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 y z) (+.f64 (.f64 y x) x))
▶	26.3b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
▶	10.4b	(+.f64 x (*.f64 y z))
▶	26.3b	(*.f64 (+.f64 1 y) x)
▶	27.2b	(*.f64 y (+.f64 z x))
	35.7b	x

Compiler

Compiled 102 to 65 computations (36.3% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite245.0ms (4.1%)

Algorithm

1×	batch-egg-rewrite

Rules

2792×	`rational.json-simplify-35`
1810×	`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	1745	32
6	3252	32
7	4347	32
8	6139	32
9	7302	32
10	7321	32
11	7321	32
12	7901	32

Stop Event

1×	node limit

Counts

2 → 53

Calls

Call 1

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

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

Outputs

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

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

simplify463.0ms (7.7%)

Algorithm

1×	egg-herbie

Rules

2228×	`rational.json-simplify-2`
1782×	`rational.json-simplify-35`
1266×	`rational.json-simplify-53`
954×	`exponential.json-simplify-26`
814×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	124	1469
1	271	1469
2	620	1469
3	1436	1469
4	2847	1469
5	3769	1469
6	4261	1469
7	4974	1469
8	5330	1469
9	5751	1469
10	6540	1469
11	7387	1469
12	7721	1469

Stop Event

1×	node limit

Counts

95 → 71

Calls

Call 1

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

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

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

rewrite185.0ms (3.1%)

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

simplify580.0ms (9.7%)

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

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

rewrite187.0ms (3.1%)

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

simplify805.0ms (13.5%)

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)

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

eval33.0ms (0.6%)

Compiler: Compiled 1782 to 1009 computations (43.4% saved)

prune27.0ms (0.4%)

Pruning

9 alts after pruning (4 fresh and 5 done)

	Pruned	Kept	Total
New	166	3	169
Fresh	0	1	1
Picked	0	1	1
Done	1	4	5
Total	167	9	176

Error

0.0b

Counts

176 → 9

Alt Table

Click to see full alt table

Status	Error	Program
▶	27.2b	(+.f64 (.f64 y z) (.f64 y x))
✓	26.3b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	10.4b	(+.f64 x (*.f64 y z))
✓	26.3b	(*.f64 (+.f64 1 y) x)
✓	27.2b	(*.f64 y (+.f64 z x))
▶	37.2b	(*.f64 y z)
▶	53.0b	(*.f64 y x)
	35.7b	x

Compiler

Compiled 68 to 44 computations (35.3% saved)

localize3.0ms (0.1%)

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

localize3.0ms (0.1%)

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

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

rewrite167.0ms (2.8%)

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

simplify209.0ms (3.5%)

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.2%)

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	1	1
Picked	0	1	1
Done	0	7	7
Total	51	9	60

Error

0.0b

Counts

60 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	27.2b	(+.f64 (.f64 y z) (.f64 y x))
✓	26.3b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	10.4b	(+.f64 x (*.f64 y z))
✓	26.3b	(*.f64 (+.f64 1 y) x)
✓	27.2b	(*.f64 y (+.f64 z x))
✓	37.2b	(*.f64 y z)
✓	53.0b	(*.f64 y x)
	35.7b	x

Compiler

Compiled 68 to 44 computations (35.3% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

9 alts after pruning (1 fresh and 8 done)

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

Error

0.0b

Counts

9 → 9

Alt Table

Click to see full alt table

Status	Error	Program
✓	27.2b	(+.f64 (.f64 y z) (.f64 y x))
✓	26.3b	(+.f64 (*.f64 y x) x)
✓	0.0b	(+.f64 x (*.f64 y (+.f64 z x)))
✓	10.4b	(+.f64 x (*.f64 y z))
✓	26.3b	(*.f64 (+.f64 1 y) x)
✓	27.2b	(*.f64 y (+.f64 z x))
✓	37.2b	(*.f64 y z)
✓	53.0b	(*.f64 y x)
	35.7b	x

Compiler

Compiled 68 to 44 computations (35.3% saved)

regimes28.0ms (0.5%)

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

Calls

4 calls:

7.0ms	z
7.0ms	x
6.0ms	(+.f64 x (*.f64 y (+.f64 z x)))
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)

regimes26.0ms (0.4%)

Counts

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

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

Calls

4 calls:

6.0ms	x
6.0ms	z
6.0ms	(+.f64 x (*.f64 y (+.f64 z x)))
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 66 to 29 computations (56.1% saved)

regimes48.0ms (0.8%)

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:

19.0ms	x
14.0ms	y
14.0ms	z

Results

Error	Segments	Branch
7.9b	4	`x`
0.6b	3	`y`
5.8b	3	`z`

Compiler

Compiled 42 to 21 computations (50% saved)

bsearch27.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
11.0ms	2.5850495347957122e-12	6.522061037248326e-10
16.0ms	-22287.882526431353	-3.6166124805327455e-8

Results

24.0ms

272×

body

256

valid

Compiler

Compiled 322 to 215 computations (33.2% saved)

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

21.0ms	x
20.0ms	z
16.0ms	y

Results

Error	Segments	Branch
11.3b	5	`x`
10.4b	3	`y`
15.4b	5	`z`

Compiler

Compiled 32 to 19 computations (40.6% saved)

bsearch15.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
3.0ms	1.118819252839072e-53	1.2827272885414614e-53
12.0ms	-7.93521055626389e-25	-3.6521063879649455e-26

Results

13.0ms

144×

body

256

valid

Compiler

Compiled 178 to 128 computations (28.1% saved)

regimes51.0ms (0.9%)

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:

18.0ms	x
18.0ms	z
14.0ms	y

Results

Error	Segments	Branch
14.5b	5	`x`
10.4b	3	`y`
21.6b	5	`z`

Compiler

Compiled 27 to 16 computations (40.7% saved)

bsearch16.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
5.0ms	1.118819252839072e-53	1.2827272885414614e-53
11.0ms	-7.93521055626389e-25	-3.6521063879649455e-26

Results

14.0ms

144×

body

256

valid

Compiler

Compiled 142 to 101 computations (28.9% saved)

regimes45.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:

16.0ms	x
15.0ms	z
13.0ms	y

Results

Error	Segments	Branch
21.3b	5	`x`
20.3b	3	`y`
25.0b	5	`z`

Compiler

Compiled 22 to 14 computations (36.4% saved)

bsearch14.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
3.0ms	1.118819252839072e-53	1.2827272885414614e-53
11.0ms	-7.93521055626389e-25	-3.6521063879649455e-26

Results

13.0ms

144×

body

256

valid

Compiler

Compiled 124 to 92 computations (25.8% saved)

regimes16.0ms (0.3%)

Accuracy

Total -35.1b remaining (-130.5%)

Threshold costs -35.1b (-130.5%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

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

Calls

3 calls:

9.0ms	y
4.0ms	x
3.0ms	z

Results

Error	Segments	Branch
35.7b	1	`x`
26.9b	3	`y`
35.7b	1	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch29.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	6.522061037248326e-10	3.8799428818056055e-5
16.0ms	-22287.882526431353	-3.6166124805327455e-8

Results

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

Compiler

Compiled 232 to 173 computations (25.4% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	270

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 y z) (+.f64 (.f64 y x) x))
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -1) (.f64 y (+.f64 z x)) (if (<=.f64 y 785801782749509/1208925819614629174706176) (+.f64 x (.f64 y z)) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -110591769249305/170141183460469231731687303715884105728) (.f64 y (+.f64 z x)) (if (<=.f64 y 2480315093377859/215679573337205118357336120696157045389097155380324579848828881993728) (.f64 (+.f64 1 y) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -66355061549583/85070591730234615865843651857942052864) (.f64 y (+.f64 z x)) (if (<=.f64 y 336999333339383/26959946667150639794667015087019630673637144422540572481103610249216) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -5988969657808517/10889035741470030830827987437816582766592) (.f64 y z) (if (<=.f64 y 5176309760092923/431359146674410236714672241392314090778194310760649159697657763987456) x (.f64 y z)))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 700976274800963/18446744073709551616) x (.f64 y x)))
x

Outputs
(+.f64 (.f64 y z) (+.f64 (.f64 y x) x))
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -1) (.f64 y (+.f64 z x)) (if (<=.f64 y 785801782749509/1208925819614629174706176) (+.f64 x (.f64 y z)) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -110591769249305/170141183460469231731687303715884105728) (.f64 y (+.f64 z x)) (if (<=.f64 y 2480315093377859/215679573337205118357336120696157045389097155380324579848828881993728) (.f64 (+.f64 1 y) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -66355061549583/85070591730234615865843651857942052864) (.f64 y (+.f64 z x)) (if (<=.f64 y 336999333339383/26959946667150639794667015087019630673637144422540572481103610249216) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -5988969657808517/10889035741470030830827987437816582766592) (.f64 y z) (if (<=.f64 y 5176309760092923/431359146674410236714672241392314090778194310760649159697657763987456) x (.f64 y z)))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 700976274800963/18446744073709551616) x (.f64 y x)))
x

Compiler

Compiled 136 to 74 computations (45.6% saved)

soundness0.0ms (0%)

end50.0ms (0.8%)

Compiler: Compiled 115 to 44 computations (61.7% saved)

Details

analyze162.0ms (2.7%)

sample836.0ms (14%)

preprocess11.0ms (0.2%)

simplify9.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series4.0ms (0.1%)

rewrite214.0ms (3.6%)

simplify1.3s (20.9%)

eval10.0ms (0.2%)

prune72.0ms (1.2%)

localize8.0ms (0.1%)

series3.0ms (0.1%)

rewrite245.0ms (4.1%)

simplify463.0ms (7.7%)

localize6.0ms (0.1%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite185.0ms (3.1%)

simplify580.0ms (9.7%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite187.0ms (3.1%)

simplify805.0ms (13.5%)

localize6.0ms (0.1%)

eval33.0ms (0.6%)

prune27.0ms (0.4%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

localize6.0ms (0.1%)

series1.0ms (0%)

rewrite167.0ms (2.8%)

simplify209.0ms (3.5%)

eval8.0ms (0.1%)

prune10.0ms (0.2%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes28.0ms (0.5%)

regimes26.0ms (0.4%)

regimes48.0ms (0.8%)

bsearch27.0ms (0.5%)

regimes58.0ms (1%)

bsearch15.0ms (0.3%)

regimes51.0ms (0.9%)

bsearch16.0ms (0.3%)

regimes45.0ms (0.8%)

bsearch14.0ms (0.2%)

regimes16.0ms (0.3%)

bsearch29.0ms (0.5%)

simplify6.0ms (0.1%)

soundness0.0ms (0%)

end50.0ms (0.8%)

Profiling