Details

analyze1.6s (18.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.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
36.4%	34.3%	60.1%	0.1%	5.5%	0%	0%	10
43%	40.6%	53.8%	0.1%	5.5%	0%	0%	11
51.5%	46.8%	44.1%	0.1%	9%	0%	0%	12

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample1.2s (13.8%)

Results

1.0s	8256×	body	256	valid
139.0ms	1282×	body	256	infinite

Bogosity

preprocess14.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	100
1	33	100
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	13	25

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 12 to 8 computations (33.3% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 x y) (.f64 z (-.f64 1 y)))

Compiler

Compiled 12 to 8 computations (33.3% saved)

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 14 computations (48.1% saved)

series4.0ms (0%)

Counts

2 → 48

Calls

15 calls:

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

rewrite240.0ms (2.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1904×	`rational.json-simplify-1`
1382×	`exponential.json-3`
1382×	`rational.json-1`
1382×	`rational.json-2`
1382×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	75	38
2	160	38
3	306	38
4	573	38
5	1286	38
6	2934	38
7	5086	38
8	6321	38
9	7425	38
10	7505	38
11	7597	38
12	7686	38

Stop Event

1×	node limit

Counts

2 → 33

Calls

Call 1

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

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

Outputs

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

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

simplify656.0ms (7.6%)

Algorithm

1×	egg-herbie

Rules

3216×	`rational.json-simplify-35`
2674×	`rational.json-simplify-41`
1772×	`rational.json-simplify-2`
678×	`rational.json-simplify-51`
526×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	88	1665
1	209	1613
2	507	1613
3	1393	1613
4	2749	1613
5	3514	1613
6	3842	1613
7	4097	1613
8	4271	1613
9	4416	1613
10	6611	1613
11	6954	1613
12	7043	1613
13	7114	1613
14	7158	1613
15	7195	1613
16	7212	1613
17	7343	1613
18	7470	1613
19	7616	1613
20	7743	1613
21	7870	1613
22	7997	1613

Stop Event

1×	node limit

Counts

81 → 60

Calls

Call 1

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

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

eval12.0ms (0.1%)

Compiler: Compiled 679 to 384 computations (43.4% saved)

prune10.0ms (0.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	55	5	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	5	61

Error

0.0b

Counts

61 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
▶	19.3b	(*.f64 z (-.f64 1 y))
▶	30.4b	(*.f64 y (+.f64 x (neg.f64 z)))
▶	43.8b	(*.f64 y x)
	33.0b	z

Compiler

Compiled 38 to 26 computations (31.6% saved)

localize4.0ms (0%)

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

Compiler

Compiled 18 to 6 computations (66.7% saved)

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite221.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1746×	`rational.json-simplify-1`
1390×	`rational.json-1`
1390×	`rational.json-2`
1390×	`rational.json-3`
1370×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	62	17
2	139	17
3	292	17
4	586	17
5	1411	17
6	2767	17
7	4170	17
8	5418	17
9	6457	17
10	6993	17
11	7405	17
12	7627	17

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

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

Outputs

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

simplify175.0ms (2%)

Algorithm

1×	egg-herbie

Rules

2774×	`rational.json-simplify-51`
1842×	`rational.json-simplify-1`
1406×	`rational.json-simplify-2`
1394×	`rational.json-simplify-35`
1178×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	86	1130
1	205	890
2	460	890
3	1062	890
4	3133	890
5	4726	890
6	4965	890
7	5088	890
8	5183	890
9	5276	890
10	7399	890

Stop Event

1×	node limit

Counts

58 → 30

Calls

Call 1

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

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(*.f64 z (-.f64 1 y))

Compiler

Compiled 14 to 9 computations (35.7% saved)

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 26 to 7 computations (73.1% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite141.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1472×	`rational.json-simplify-35`
1406×	`rational.json-1`
1406×	`rational.json-2`
1406×	`rational.json-3`
1390×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	69	23
2	150	23
3	317	23
4	650	23
5	1581	23
6	3189	23
7	4896	23
8	6325	23
9	7502	23

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs

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

simplify344.0ms (4%)

Algorithm

1×	egg-herbie

Rules

3212×	`rational.json-simplify-51`
1870×	`rational.json-simplify-35`
1606×	`rational.json-simplify-1`
1470×	`rational.json-simplify-49`
1134×	`rational.json-simplify-41`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	75	1476
1	166	1454
2	373	1280
3	1012	1236
4	1674	1236
5	2806	1236
6	2878	1236
7	2942	1236
8	2987	1236
9	3030	1236
10	3526	1236
11	4329	1236
12	4415	1236
13	4499	1236
14	4556	1236
15	4613	1236
16	4669	1236
17	4725	1236
18	4781	1236
19	5765	1236

Stop Event

1×	node limit

Counts

58 → 47

Calls

Call 1

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

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

eval23.0ms (0.3%)

Compiler: Compiled 1536 to 714 computations (53.5% saved)

prune18.0ms (0.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	125	3	128
Fresh	0	1	1
Picked	1	0	1
Done	1	2	3
Total	127	6	133

Error

0.0b

Counts

133 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	14.1b	(+.f64 z (*.f64 y x))
✓	19.3b	(*.f64 z (-.f64 1 y))
▶	49.0b	(*.f64 z (neg.f64 y))
▶	30.4b	(*.f64 y (-.f64 x z))
✓	43.8b	(*.f64 y x)
	33.0b	z

Compiler

Compiled 41 to 28 computations (31.7% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 24

Calls

9 calls:

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

rewrite102.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1388×	`rational.json-1`
1388×	`rational.json-2`
1388×	`rational.json-3`
1384×	`exponential.json-3`
1384×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	103	13
3	223	13
4	410	13
5	943	13
6	2570	13
7	4993	13
8	6568	13

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

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

simplify154.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

2562×	`rational.json-simplify-2`
1362×	`rational.json-simplify-35`
1182×	`rational.json-simplify-43`
1148×	`rational.json-simplify-48`
890×	`rational.json-simplify-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	70	809
1	173	659
2	345	659
3	809	659
4	2803	659
5	4532	659
6	5184	659
7	5524	659
8	6316	659
9	7825	659

Stop Event

1×	node limit

Counts

47 → 30

Calls

Call 1

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

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

localize5.0ms (0.1%)

Compiler: Compiled 11 to 5 computations (54.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite185.0ms (2.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 z (*.f64 y x))

Outputs

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

simplify797.0ms (9.3%)

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

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

eval182.0ms (2.1%)

Compiler: Compiled 521 to 251 computations (51.8% saved)

prune8.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	1	1
Picked	0	1	1
Done	0	4	4
Total	56	6	62

Error

0.0b

Counts

62 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	14.1b	(+.f64 z (*.f64 y x))
✓	19.3b	(*.f64 z (-.f64 1 y))
✓	49.0b	(*.f64 z (neg.f64 y))
✓	30.4b	(*.f64 y (-.f64 x z))
✓	43.8b	(*.f64 y x)
	33.0b	z

Compiler

Compiled 41 to 28 computations (31.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

6 alts after pruning (1 fresh and 5 done)

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

Error

0.0b

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	14.1b	(+.f64 z (*.f64 y x))
✓	19.3b	(*.f64 z (-.f64 1 y))
✓	49.0b	(*.f64 z (neg.f64 y))
✓	30.4b	(*.f64 y (-.f64 x z))
✓	43.8b	(*.f64 y x)
	33.0b	z

Compiler

Compiled 41 to 28 computations (31.7% saved)

regimes158.0ms (1.8%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

4 calls:

139.0ms	(+.f64 (.f64 x y) (.f64 z (-.f64 1 y)))
6.0ms	x
6.0ms	z
6.0ms	y

Results

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

Compiler

Compiled 73 to 38 computations (47.9% saved)

regimes283.0ms (3.3%)

Counts

7 → 3

Calls

Call 1

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

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

Calls

3 calls:

181.0ms	x
86.0ms	z
15.0ms	y

Results

Error	Segments	Branch
9.1b	3	`x`
1.0b	3	`y`
6.5b	3	`z`

Compiler

Compiled 44 to 24 computations (45.5% saved)

bsearch510.0ms (5.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
495.0ms	0.005435004672853423	15.187925365984942
15.0ms	-17125446338875.316	-1497564.1220553424

Results

507.0ms	272×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 324 to 217 computations (33% saved)

regimes42.0ms (0.5%)

Counts

5 → 3

Calls

Call 1

Inputs
z
(*.f64 y x)
(*.f64 z (neg.f64 y))
(*.f64 y (-.f64 x z))
(*.f64 z (-.f64 1 y))

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

Calls

3 calls:

16.0ms	z
13.0ms	y
12.0ms	x

Results

Error	Segments	Branch
16.4b	2	`x`
8.8b	3	`y`
9.2b	3	`z`

Compiler

Compiled 33 to 20 computations (39.4% saved)

bsearch23.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
13.0ms	22229685061.843113	5078583587945.699
10.0ms	-6.628146463061744e-17	-5.606741777361069e-18

Results

20.0ms	208×	body	256	valid
1.0ms	6×	body	256	infinite

Compiler

Compiled 252 to 182 computations (27.8% saved)

regimes327.0ms (3.8%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

145.0ms	z
94.0ms	x
87.0ms	y

Results

Error	Segments	Branch
20.7b	12	`x`
9.4b	3	`y`
14.9b	9	`z`

Compiler

Compiled 28 to 17 computations (39.3% saved)

bsearch77.0ms (0.9%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
67.0ms	6.380633327867485e-27	1.3114874735328386e-18
10.0ms	-6.628146463061744e-17	-5.606741777361069e-18

Results

75.0ms

240×

body

256

valid

Compiler

Compiled 228 to 163 computations (28.5% saved)

regimes173.0ms (2%)

Counts

3 → 4

Calls

Call 1

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

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

Calls

3 calls:

86.0ms	y
66.0ms	x
19.0ms	z

Results

Error	Segments	Branch
27.7b	6	`x`
18.4b	4	`y`
21.9b	6	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch42.0ms (0.5%)

Algorithm

3×	binary-search

Steps

Time	Left	Right
14.0ms	0.005435004672853423	15.187925365984942
17.0ms	-1497564.1220553424	-0.00013386203356199541
10.0ms	-7.2098261606046e+75	-2.3876545645090056e+75

Results

36.0ms	368×	body	256	valid
2.0ms	20×	body	256	infinite

Compiler

Compiled 327 to 248 computations (24.2% saved)

regimes81.0ms (0.9%)

Accuracy

Total -39.3b remaining (-173.1%)

Threshold costs -39.3b (-173.1%)

Counts

2 → 3

Calls

Call 1

Inputs
z
(*.f64 y x)

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

Calls

3 calls:

60.0ms	z
11.0ms	x
10.0ms	y

Results

Error	Segments	Branch
28.9b	4	`x`
22.7b	3	`y`
23.2b	3	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch26.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	6.380633327867485e-27	1.3114874735328386e-18
11.0ms	-6.628146463061744e-17	-5.606741777361069e-18

Results

24.0ms

240×

body

256

valid

Compiler

Compiled 198 to 148 computations (25.3% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	273

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(if (<=.f64 y -1500000) (.f64 y (-.f64 x z)) (if (<=.f64 y 1) (+.f64 z (.f64 y x)) (*.f64 y (-.f64 x z))))
(if (<=.f64 y -2758407706096627/324518553658426726783156020576256) (.f64 y (-.f64 x z)) (if (<=.f64 y 23000000000) (.f64 z (-.f64 1 y)) (*.f64 y (-.f64 x z))))
(if (<=.f64 y -8924260225606735/162259276829213363391578010288128) (.f64 y (-.f64 x z)) (if (<=.f64 y 5399988732876221/83076749736557242056487941267521536) z (.f64 y (-.f64 x z))))
(if (<=.f64 y -3999999999999999706159124705924795694035212860797871549050585679121449222144) (.f64 y x) (if (<=.f64 y -1) (.f64 z (neg.f64 y)) (if (<=.f64 y 1) z (*.f64 z (neg.f64 y)))))
(if (<=.f64 y -4867778304876401/162259276829213363391578010288128) (.f64 y x) (if (<=.f64 y 6805647338418769/85070591730234615865843651857942052864) z (.f64 y x)))
z

Outputs
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(if (<=.f64 y -1500000) (.f64 y (-.f64 x z)) (if (<=.f64 y 1) (+.f64 z (.f64 y x)) (*.f64 y (-.f64 x z))))
(if (<=.f64 y -2758407706096627/324518553658426726783156020576256) (.f64 y (-.f64 x z)) (if (<=.f64 y 23000000000) (.f64 z (-.f64 1 y)) (*.f64 y (-.f64 x z))))
(if (<=.f64 y -8924260225606735/162259276829213363391578010288128) (.f64 y (-.f64 x z)) (if (<=.f64 y 5399988732876221/83076749736557242056487941267521536) z (.f64 y (-.f64 x z))))
(if (<=.f64 y -3999999999999999706159124705924795694035212860797871549050585679121449222144) (.f64 y x) (if (<=.f64 y -1) (.f64 z (neg.f64 y)) (if (<=.f64 y 1) z (*.f64 z (neg.f64 y)))))
(if (<=.f64 y -4867778304876401/162259276829213363391578010288128) (.f64 y x) (if (<=.f64 y 6805647338418769/85070591730234615865843651857942052864) z (.f64 y x)))
z

Compiler

Compiled 134 to 73 computations (45.5% saved)

soundness632.0ms (7.3%)

Algorithm

1×	egg-herbie

Rules

3216×	`rational.json-simplify-35`
2674×	`rational.json-simplify-41`
1772×	`rational.json-simplify-2`
678×	`rational.json-simplify-51`
526×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	88	1665
1	209	1613
2	507	1613
3	1393	1613
4	2749	1613
5	3514	1613
6	3842	1613
7	4097	1613
8	4271	1613
9	4416	1613
10	6611	1613
11	6954	1613
12	7043	1613
13	7114	1613
14	7158	1613
15	7195	1613
16	7212	1613
17	7343	1613
18	7470	1613
19	7616	1613
20	7743	1613
21	7870	1613
22	7997	1613

Stop Event

1×	node limit

Compiler

Compiled 38 to 22 computations (42.1% saved)

end55.0ms (0.6%)

Compiler: Compiled 116 to 49 computations (57.8% saved)

Details

analyze1.6s (18.9%)

sample1.2s (13.8%)

preprocess14.0ms (0.2%)

simplify8.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize11.0ms (0.1%)

series4.0ms (0%)

rewrite240.0ms (2.8%)

simplify656.0ms (7.6%)

eval12.0ms (0.1%)

prune10.0ms (0.1%)

localize4.0ms (0%)

localize6.0ms (0.1%)

series3.0ms (0%)

rewrite221.0ms (2.6%)

simplify175.0ms (2%)

localize6.0ms (0.1%)

localize9.0ms (0.1%)

series1.0ms (0%)

rewrite141.0ms (1.6%)

simplify344.0ms (4%)

eval23.0ms (0.3%)

prune18.0ms (0.2%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite102.0ms (1.2%)

simplify154.0ms (1.8%)

localize5.0ms (0.1%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite185.0ms (2.1%)

simplify797.0ms (9.3%)

eval182.0ms (2.1%)

prune8.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes158.0ms (1.8%)

regimes283.0ms (3.3%)

bsearch510.0ms (5.9%)

regimes42.0ms (0.5%)

bsearch23.0ms (0.3%)

regimes327.0ms (3.8%)

bsearch77.0ms (0.9%)

regimes173.0ms (2%)

bsearch42.0ms (0.5%)

regimes81.0ms (0.9%)

bsearch26.0ms (0.3%)

simplify5.0ms (0.1%)

soundness632.0ms (7.3%)

end55.0ms (0.6%)

Profiling