Details

analyze165.0ms (2.9%)

Algorithm

1×

Search

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

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.7s (29.8%)

Results

1.6s	8256×	body	256	valid
99.0ms	1163×	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)

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

rewrite210.0ms (3.7%)

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

simplify945.0ms (16.5%)

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

eval9.0ms (0.2%)

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

prune9.0ms (0.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

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

Error

0.0b

Counts

58 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	23.3b	(+.f64 (*.f64 y x) x)
▶	11.6b	(+.f64 x (*.f64 y z))
▶	23.3b	(*.f64 (+.f64 1 y) x)
▶	29.5b	(*.f64 y (+.f64 z x))
	34.6b	x

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite182.0ms (3.2%)

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

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

simplify569.0ms (9.9%)

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

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

simplify779.0ms (13.6%)

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)

series1.0ms (0%)

Counts

1 → 15

Calls

6 calls:

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

rewrite187.0ms (3.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 44

Calls

Call 1

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

Outputs

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

simplify138.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

59 → 49

Calls

Call 1

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

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

eval20.0ms (0.3%)

Compiler: Compiled 1029 to 640 computations (37.8% saved)

prune16.0ms (0.3%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	112	7	119

Error

0.0b

Counts

119 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	23.3b	(+.f64 (*.f64 y x) x)
✓	11.6b	(+.f64 x (*.f64 y z))
✓	23.3b	(*.f64 (+.f64 1 y) x)
✓	29.5b	(*.f64 y (+.f64 z x))
▶	40.1b	(*.f64 y z)
▶	51.7b	(*.f64 y x)
	34.6b	x

Compiler

Compiled 48 to 32 computations (33.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)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	23.3b	(+.f64 (*.f64 y x) x)
✓	11.6b	(+.f64 x (*.f64 y z))
✓	23.3b	(*.f64 (+.f64 1 y) x)
✓	29.5b	(*.f64 y (+.f64 z x))
✓	40.1b	(*.f64 y z)
✓	51.7b	(*.f64 y x)
	34.6b	x

Compiler

Compiled 48 to 32 computations (33.3% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

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

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	23.3b	(+.f64 (*.f64 y x) x)
✓	11.6b	(+.f64 x (*.f64 y z))
✓	23.3b	(*.f64 (+.f64 1 y) x)
✓	29.5b	(*.f64 y (+.f64 z x))
✓	40.1b	(*.f64 y z)
✓	51.7b	(*.f64 y x)
	34.6b	x

Compiler

Compiled 48 to 32 computations (33.3% saved)

regimes25.0ms (0.4%)

Counts

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

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

Calls

4 calls:

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

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 59 to 28 computations (52.5% saved)

regimes55.0ms (1%)

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:

20.0ms	z
19.0ms	x
15.0ms	y

Results

Error	Segments	Branch
7.4b	3	`x`
1.2b	3	`y`
6.3b	3	`z`

Compiler

Compiled 42 to 21 computations (50% saved)

bsearch20.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
8.0ms	0.0028323327209656382	0.00799728532800115
11.0ms	-4380227562.6021185	-24705334.38194022

Results

17.0ms	192×	body	256	valid
0.0ms	3×	body	256	infinite

Compiler

Compiled 232 to 155 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:

20.0ms	x
20.0ms	z
16.0ms	y

Results

Error	Segments	Branch
11.6b	5	`x`
9.1b	3	`y`
14.1b	5	`z`

Compiler

Compiled 32 to 19 computations (40.6% saved)

bsearch26.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	1.2141786235318232e-27	4.0823090556743227e-25
14.0ms	-410.2355719500469	-0.2794585548801859

Results

22.0ms

256×

body

256

valid

Compiler

Compiled 304 to 219 computations (28% saved)

regimes65.0ms (1.1%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

33.0ms	z
21.0ms	x
10.0ms	y

Results

Error	Segments	Branch
18.3b	5	`x`
9.6b	3	`y`
19.3b	9	`z`

Compiler

Compiled 27 to 16 computations (40.7% saved)

bsearch25.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	1.2141786235318232e-27	4.0823090556743227e-25
13.0ms	-4.095649213195747e-12	-6.259009375535706e-17

Results

23.0ms

256×

body

256

valid

Compiler

Compiled 240 to 171 computations (28.8% saved)

regimes66.0ms (1.2%)

Counts

3 → 8

Calls

Call 1

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

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

Calls

3 calls:

25.0ms	y
22.0ms	z
19.0ms	x

Results

Error	Segments	Branch
22.7b	5	`x`
16.7b	8	`y`
23.7b	7	`z`

Compiler

Compiled 22 to 14 computations (36.4% saved)

bsearch99.0ms (1.7%)

Algorithm

7×	binary-search

Steps

Time	Left	Right
23.0ms	1.8845344876878567e+206	1.1192125941350242e+210
15.0ms	1.9407286875492436e+110	1.0201388659595544e+113
13.0ms	1.2141786235318232e-27	4.0823090556743227e-25
12.0ms	-4.095649213195747e-12	-6.259009375535706e-17
10.0ms	-3.3740659228767434e+28	-4.5655872765284046e+27
11.0ms	-1.941721739097884e+53	-4.7746112850917195e+52
15.0ms	-2.117041753573503e+102	-4.803117887202652e+98

Results

73.0ms	832×	body	256	valid
17.0ms	198×	body	256	infinite

Compiler

Compiled 712 to 515 computations (27.7% saved)

regimes27.0ms (0.5%)

Accuracy

Total -37.5b remaining (-153.2%)

Threshold costs -37.5b (-153.2%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y x)

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

Calls

3 calls:

9.0ms	z
9.0ms	y
8.0ms	x

Results

Error	Segments	Branch
33.2b	3	`x`
24.5b	3	`y`
32.9b	3	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch21.0ms (0.4%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
8.0ms	0.0028323327209656382	0.00799728532800115
13.0ms	-410.2355719500469	-0.2794585548801859

Results

19.0ms

208×

body

256

valid

Compiler

Compiled 172 to 128 computations (25.6% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	325

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -25000000) (.f64 y (+.f64 z x)) (if (<=.f64 y 4496393867966703/576460752303423488) (+.f64 x (.f64 y z)) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -11) (.f64 y (+.f64 z x)) (if (<=.f64 y 4529838868451533/348449143727040986586495598010130648530944) (.f64 (+.f64 1 y) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -1419768672255617/5070602400912917605986812821504) (.f64 y (+.f64 z x)) (if (<=.f64 y 7404544304199621/21778071482940061661655974875633165533184) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -80000000000000001272231288780793443746886468511562251118250620461982710177363048486507759886854520832) (.f64 y x) (if (<=.f64 y -58999999999999999600035971787336050611240798074699776) (.f64 y z) (if (<=.f64 y -9399999999999999520171622400) (.f64 y x) (if (<=.f64 y -2028240960365167/633825300114114700748351602688) (.f64 y z) (if (<=.f64 y 6097860015223217/21778071482940061661655974875633165533184) x (if (<=.f64 y 27000000000000001103620086990295988021648383691125335373849252825761398474501718491264917777511257094605437403136) (.f64 y z) (if (<=.f64 y 189999999999999993132152804637433743694739505847473435043835440662863676089854685414617037127850799804942739225902680945313806744195408521240432643422167242133859089767052854447192908658718328807730406490112) (.f64 y x) (*.f64 y z))))))))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 4496393867966703/576460752303423488) x (.f64 y x)))
x

Outputs
(+.f64 x (*.f64 y (+.f64 z x)))
(if (<=.f64 y -25000000) (.f64 y (+.f64 z x)) (if (<=.f64 y 4496393867966703/576460752303423488) (+.f64 x (.f64 y z)) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -11) (.f64 y (+.f64 z x)) (if (<=.f64 y 4529838868451533/348449143727040986586495598010130648530944) (.f64 (+.f64 1 y) x) (*.f64 y (+.f64 z x))))
(if (<=.f64 y -1419768672255617/5070602400912917605986812821504) (.f64 y (+.f64 z x)) (if (<=.f64 y 7404544304199621/21778071482940061661655974875633165533184) x (.f64 y (+.f64 z x))))
(if (<=.f64 y -80000000000000001272231288780793443746886468511562251118250620461982710177363048486507759886854520832) (.f64 y x) (if (<=.f64 y -58999999999999999600035971787336050611240798074699776) (.f64 y z) (if (<=.f64 y -9399999999999999520171622400) (.f64 y x) (if (<=.f64 y -2028240960365167/633825300114114700748351602688) (.f64 y z) (if (<=.f64 y 6097860015223217/21778071482940061661655974875633165533184) x (if (<=.f64 y 27000000000000001103620086990295988021648383691125335373849252825761398474501718491264917777511257094605437403136) (.f64 y z) (if (<=.f64 y 189999999999999993132152804637433743694739505847473435043835440662863676089854685414617037127850799804942739225902680945313806744195408521240432643422167242133859089767052854447192908658718328807730406490112) (.f64 y x) (*.f64 y z))))))))
(if (<=.f64 y -1) (.f64 y x) (if (<=.f64 y 4496393867966703/576460752303423488) x (.f64 y x)))
x

Compiler

Compiled 159 to 83 computations (47.8% saved)

soundness0.0ms (0%)

end51.0ms (0.9%)

Compiler: Compiled 141 to 57 computations (59.6% saved)

Details

analyze165.0ms (2.9%)

sample1.7s (29.8%)

preprocess11.0ms (0.2%)

simplify8.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series4.0ms (0.1%)

rewrite210.0ms (3.7%)

simplify945.0ms (16.5%)

eval9.0ms (0.2%)

prune9.0ms (0.2%)

localize5.0ms (0.1%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite182.0ms (3.2%)

simplify569.0ms (9.9%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite180.0ms (3.1%)

simplify779.0ms (13.6%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite187.0ms (3.3%)

simplify138.0ms (2.4%)

eval20.0ms (0.3%)

prune16.0ms (0.3%)

localize3.0ms (0.1%)

localize3.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes25.0ms (0.4%)

regimes55.0ms (1%)

bsearch20.0ms (0.3%)

regimes58.0ms (1%)

bsearch26.0ms (0.5%)

regimes65.0ms (1.1%)

bsearch25.0ms (0.4%)

regimes66.0ms (1.2%)

bsearch99.0ms (1.7%)

regimes27.0ms (0.5%)

bsearch21.0ms (0.4%)

simplify5.0ms (0.1%)

soundness0.0ms (0%)

end51.0ms (0.9%)

Profiling