Details

analyze188.0ms (2.3%)

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.9s (23.7%)

Results

1.7s	8256×	body	256	valid
227.0ms	1179×	body	256	infinite

Bogosity

preprocess47.0ms (0.6%)

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

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

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 14 computations (48.1% saved)

series5.0ms (0.1%)

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

rewrite231.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1898×	`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	1285	38
6	2939	38
7	5089	38
8	6324	38
9	7428	38
10	7508	38
11	7600	38
12	7689	38

Stop Event

1×	node limit

Counts

2 → 33

Calls

Call 1

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

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

Outputs

((#(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 z (*.f64 (-.f64 1 y) 1/2)) (*.f64 z (*.f64 (-.f64 1 y) 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 z (*.f64 (-.f64 1 y) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 1 y) (*.f64 z 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)))))

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

simplify426.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

3224×	`rational.json-simplify-41`
2484×	`rational.json-simplify-35`
1768×	`rational.json-simplify-2`
770×	`rational.json-simplify-51`
500×	`exponential.json-simplify-26`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	87	1665
1	208	1613
2	518	1613
3	1476	1613
4	2961	1613
5	3790	1613
6	4128	1613
7	4337	1613
8	4472	1613
9	4593	1613
10	4708	1613
11	5009	1613
12	5163	1613
13	5214	1613
14	5231	1613
15	5249	1613
16	5263	1613
17	5267	1613
18	5382	1613
19	5510	1613

Stop Event

1×	node limit

Counts

81 → 58

Calls

Call 1

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

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

eval15.0ms (0.2%)

Compiler: Compiled 667 to 383 computations (42.6% saved)

prune12.0ms (0.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	52	6	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	53	6	59

Error

0.0b

Counts

59 → 6

Alt Table

Click to see full alt table

Status	Error	Program
	27.5b	(+.f64 (.f64 x y) (.f64 z (neg.f64 y)))
▶	12.0b	(+.f64 (*.f64 x y) z)
▶	0.0b	(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
▶	24.4b	(*.f64 z (-.f64 1 y))
▶	27.5b	(*.f64 y (+.f64 x (neg.f64 z)))
▶	38.7b	(*.f64 y x)

Compiler

Compiled 106 to 70 computations (34% saved)

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

series4.0ms (0%)

Counts

2 → 72

Calls

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

rewrite144.0ms (1.8%)

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	40
1	69	40
2	150	40
3	317	40
4	650	40
5	1581	40
6	3189	40
7	4896	40
8	6325	40
9	7502	40

Stop Event

1×	node limit

Counts

2 → 37

Calls

Call 1

Inputs
(*.f64 y (+.f64 x (neg.f64 z)))
(+.f64 z (*.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 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 y (.f64 (+.f64 x (neg.f64 z)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (neg.f64 z)) (.f64 y 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)))))
((#(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 (+.f64 x (neg.f64 z)) (+.f64 y y)) (+.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 (+.f64 x (neg.f64 z)) (+.f64 y y)) (+.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)))))

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 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 y (*.f64 (+.f64 x (neg.f64 z)) 4)) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (neg.f64 z)) (*.f64 y 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)))))

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

simplify954.0ms (11.9%)

Algorithm

1×	egg-herbie

Rules

4326×	`rational.json-simplify-35`
2266×	`rational.json-simplify-2`
1026×	`rational.json-simplify-1`
868×	`rational.json-simplify-51`
788×	`rational.json-simplify-53`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	107	2421
1	254	2015
2	583	2015
3	1559	1971
4	3366	1971
5	4535	1971
6	4997	1971
7	5337	1971
8	5520	1971
9	5679	1971
10	5830	1971
11	6136	1971
12	6187	1971
13	6273	1971
14	6339	1971
15	6380	1971
16	6526	1971
17	6671	1971
18	6816	1971
19	6961	1971
20	7154	1971
21	7367	1971
22	7512	1971
23	7657	1971
24	7802	1971
25	7802	1971
26	7803	1971
27	7803	1971
28	7948	1971

Stop Event

1×	node limit

Counts

109 → 66

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 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 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 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 y (.f64 (+.f64 x (neg.f64 z)) 4)) 4)
(/.f64 (.f64 (+.f64 x (neg.f64 z)) (.f64 y 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)
(-.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 (+.f64 x (neg.f64 z)) (+.f64 y y)) (+.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 (+.f64 x (neg.f64 z)) (+.f64 y y)) (+.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 (-.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 z (neg.f64 y))
(+.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 z (neg.f64 y))
(+.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 z (neg.f64 y))
(+.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 y x) (.f64 (+.f64 1 (*.f64 -1 y)) z))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (*.f64 y -1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (neg.f64 y))))
(+.f64 (.f64 y x) (.f64 z (-.f64 1 y)))
(+.f64 (.f64 y x) (.f64 (+.f64 1 (*.f64 -1 y)) z))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (*.f64 y -1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (neg.f64 y))))
(+.f64 (.f64 y x) (.f64 z (-.f64 1 y)))
(+.f64 (.f64 y x) (.f64 (+.f64 1 (*.f64 -1 y)) z))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (*.f64 y -1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (neg.f64 y))))
(+.f64 (.f64 y x) (.f64 z (-.f64 1 y)))
(.f64 (+.f64 1 (.f64 -1 y)) z)
(.f64 z (+.f64 1 (.f64 y -1)))
(*.f64 z (+.f64 1 (neg.f64 y)))
(*.f64 z (-.f64 1 y))
(+.f64 (.f64 y x) (.f64 (+.f64 1 (*.f64 -1 y)) z))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (*.f64 y -1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (neg.f64 y))))
(+.f64 (.f64 y x) (.f64 z (-.f64 1 y)))
(+.f64 (.f64 y x) (.f64 (+.f64 1 (*.f64 -1 y)) z))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (*.f64 y -1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (neg.f64 y))))
(+.f64 (.f64 y x) (.f64 z (-.f64 1 y)))
(+.f64 (.f64 y x) (.f64 (+.f64 1 (*.f64 -1 y)) z))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (*.f64 y -1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (neg.f64 y))))
(+.f64 (.f64 y x) (.f64 z (-.f64 1 y)))
(.f64 -1 (.f64 z (-.f64 y 1)))
(.f64 z (+.f64 1 (.f64 y -1)))
(*.f64 z (+.f64 1 (neg.f64 y)))
(*.f64 z (-.f64 1 y))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 z (-.f64 y 1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (*.f64 y -1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (neg.f64 y))))
(+.f64 (.f64 y x) (.f64 z (-.f64 1 y)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 z (-.f64 y 1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (*.f64 y -1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (neg.f64 y))))
(+.f64 (.f64 y x) (.f64 z (-.f64 1 y)))
(+.f64 (.f64 y x) (.f64 -1 (*.f64 z (-.f64 y 1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (*.f64 y -1))))
(+.f64 (.f64 y x) (.f64 z (+.f64 1 (neg.f64 y))))
(+.f64 (.f64 y x) (.f64 z (-.f64 1 y)))
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 z (neg.f64 y)))
(+.f64 (.f64 y x) (+.f64 (.f64 -1 (*.f64 y z)) z))
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y x) (+.f64 (.f64 -1 (*.f64 y z)) z))
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(+.f64 (.f64 y x) (+.f64 (.f64 -1 (*.f64 y z)) z))
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y z)) (+.f64 (*.f64 y x) z))
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y z)) (+.f64 (*.f64 y x) z))
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y z)) (+.f64 (*.f64 y x) z))
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(+.f64 (.f64 -1 (.f64 y z)) (+.f64 (*.f64 y x) z))
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.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 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 y (.f64 (+.f64 x (neg.f64 z)) 4)) 4)
(+.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 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)))
(-.f64 (+.f64 z (*.f64 y (+.f64 x (neg.f64 z)))) 0)
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(.f64 (+.f64 z (.f64 y (+.f64 x (neg.f64 z)))) 1)
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(.f64 1 (+.f64 z (.f64 y (+.f64 x (neg.f64 z)))))
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(.f64 1/2 (+.f64 (.f64 (+.f64 x (neg.f64 z)) (+.f64 y y)) (+.f64 z z)))
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(.f64 (.f64 (+.f64 z (*.f64 y (+.f64 x (neg.f64 z)))) 1/2) 2)
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(.f64 (+.f64 (.f64 (+.f64 x (neg.f64 z)) (+.f64 y y)) (+.f64 z z)) 1/2)
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(/.f64 (+.f64 z (*.f64 y (+.f64 x (neg.f64 z)))) 1)
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.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 (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(pow.f64 (+.f64 z (*.f64 y (+.f64 x (neg.f64 z)))) 1)
(+.f64 (.f64 y (neg.f64 z)) (+.f64 z (.f64 y x)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))

localize4.0ms (0.1%)

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite183.0ms (2.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	46	13
2	102	13
3	214	13
4	397	13
5	896	13
6	2314	13
7	4169	13
8	5353	13
9	6864	13
10	7675	13
11	7675	13

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

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

simplify785.0ms (9.8%)

Algorithm

1×	egg-herbie

Rules

5682×	`rational.json-simplify-51`
3554×	`rational.json-simplify-35`
1356×	`rational.json-simplify-49`
1150×	`rational.json-simplify-2`
1126×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	689
1	124	689
2	427	689
3	1176	689
4	1887	689
5	2785	689
6	3273	689
7	3347	689
8	3395	689
9	3427	689
10	3459	689
11	3491	689
12	3523	689
13	3555	689
14	3587	689
15	3619	689
16	3651	689
17	3683	689
18	3715	689
19	4626	689
20	4885	689
21	4978	689
22	5067	689
23	5154	689
24	5240	689
25	5453	689
26	5453	689
27	5539	689
28	5625	689
29	5711	689
30	5797	689
31	5883	689
32	5969	689
33	6055	689
34	6141	689
35	6227	689

Stop Event

1×	node limit

Counts

59 → 27

Calls

Call 1

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

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

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)

eval24.0ms (0.3%)

Compiler: Compiled 1374 to 592 computations (56.9% saved)

prune20.0ms (0.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	134	5	139
Fresh	1	0	1
Picked	1	0	1
Done	1	3	4
Total	137	8	145

Error

0.0b

Counts

145 → 8

Alt Table

Click to see full alt table

Status	Error	Program
▶	27.5b	(+.f64 (.f64 y (neg.f64 z)) (.f64 y x))
✓	12.0b	(+.f64 (*.f64 x y) z)
▶	24.4b	(+.f64 z (*.f64 z (neg.f64 y)))
✓	24.4b	(*.f64 z (-.f64 1 y))
▶	51.4b	(*.f64 z (neg.f64 y))
▶	27.5b	(*.f64 y (-.f64 x z))
✓	38.7b	(*.f64 y x)
	35.9b	z

Compiler

Compiled 61 to 41 computations (32.8% 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	z	@	-inf	(*.f64 y (-.f64 x z))
0.0ms	y	@	0	(*.f64 y (-.f64 x z))
0.0ms	x	@	inf	(*.f64 y (-.f64 x z))
0.0ms	x	@	-inf	(*.f64 y (-.f64 x z))
0.0ms	z	@	inf	(*.f64 y (-.f64 x z))

rewrite104.0ms (1.3%)

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

simplify158.0ms (2%)

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

localize4.0ms (0.1%)

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

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 17 to 6 computations (64.7% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite111.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1622×	`rational.json-1`
1622×	`rational.json-2`
1622×	`rational.json-3`
1616×	`rational.json-4`
1380×	`rational.json-simplify-35`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	56	17
2	133	17
3	301	13
4	638	13
5	1510	13
6	3090	13
7	4917	13
8	7173	13

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

Outputs

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

simplify219.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

2340×	`rational.json-simplify-2`
1946×	`rational.json-simplify-35`
964×	`rational.json-simplify-1`
900×	`rational.json-simplify-53`
886×	`rational.json-simplify-45`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	86	1071
1	204	963
2	423	963
3	1319	749
4	2874	749
5	4078	749
6	5049	749
7	5442	749
8	5669	749
9	5891	749
10	6274	749
11	6912	749

Stop Event

1×	node limit

Counts

57 → 45

Calls

Call 1

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

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

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 7 computations (69.6% saved)

series2.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite114.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1640×	`rational.json-simplify-35`
1616×	`rational.json-1`
1616×	`rational.json-2`
1616×	`rational.json-3`
1596×	`rational.json-4`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	69	17
2	156	17
3	348	17
4	704	17
5	1725	17
6	3533	17
7	5536	17
8	7404	17

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

Outputs

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

simplify795.0ms (9.9%)

Algorithm

1×	egg-herbie

Rules

2934×	`rational.json-simplify-35`
2328×	`rational.json-simplify-2`
1550×	`rational.json-simplify-1`
948×	`rational.json-simplify-51`
948×	`rational.json-simplify-41`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	90	1157
1	201	1141
2	468	1141
3	1582	1141
4	3443	1141
5	4876	1141
6	5213	1141
7	5469	1141
8	5624	1141
9	5740	1141
10	5845	1141
11	6696	1141
12	6814	1141
13	6935	1141
14	7074	1141
15	7122	1141
16	7154	1141
17	7181	1141
18	7237	1141
19	7290	1141
20	7396	1141
21	7494	1141
22	7590	1141
23	7686	1141
24	7782	1141
25	7878	1141
26	7974	1141

Stop Event

1×	node limit

Counts

69 → 44

Calls

Call 1

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

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

eval20.0ms (0.2%)

Compiler: Compiled 1113 to 610 computations (45.2% saved)

prune18.0ms (0.2%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	1	1
Picked	0	1	1
Done	0	6	6
Total	119	8	127

Error

0.0b

Counts

127 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	27.5b	(+.f64 (.f64 y (neg.f64 z)) (.f64 y x))
✓	12.0b	(+.f64 (*.f64 x y) z)
✓	24.4b	(+.f64 z (*.f64 z (neg.f64 y)))
✓	24.4b	(*.f64 z (-.f64 1 y))
✓	51.4b	(*.f64 z (neg.f64 y))
✓	27.5b	(*.f64 y (-.f64 x z))
✓	38.7b	(*.f64 y x)
	35.9b	z

Compiler

Compiled 61 to 41 computations (32.8% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

8 alts after pruning (1 fresh and 7 done)

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

Error

0.0b

Counts

8 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	27.5b	(+.f64 (.f64 y (neg.f64 z)) (.f64 y x))
✓	12.0b	(+.f64 (*.f64 x y) z)
✓	24.4b	(+.f64 z (*.f64 z (neg.f64 y)))
✓	24.4b	(*.f64 z (-.f64 1 y))
✓	51.4b	(*.f64 z (neg.f64 y))
✓	27.5b	(*.f64 y (-.f64 x z))
✓	38.7b	(*.f64 y x)
	35.9b	z

Compiler

Compiled 61 to 41 computations (32.8% saved)

regimes41.0ms (0.5%)

Counts

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

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

Calls

4 calls:

16.0ms	z
7.0ms	y
7.0ms	(+.f64 (.f64 x y) (.f64 z (-.f64 1 y)))
7.0ms	x

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 95 to 42 computations (55.8% saved)

regimes23.0ms (0.3%)

Counts

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

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

Calls

3 calls:

7.0ms	z
7.0ms	y
7.0ms	x

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`

Compiler

Compiled 74 to 30 computations (59.5% saved)

regimes62.0ms (0.8%)

Counts

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

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

Calls

3 calls:

30.0ms	z
15.0ms	x
15.0ms	y

Results

Error	Segments	Branch
5.9b	3	`x`
1.2b	3	`y`
6.9b	6	`z`

Compiler

Compiled 50 to 26 computations (48% saved)

bsearch21.0ms (0.3%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
6.0ms	0.0028323327209656382	0.004465565807539681
15.0ms	-53869.33640430183	-0.12485573962767736

Results

19.0ms

208×

body

256

valid

Compiler

Compiled 252 to 169 computations (32.9% saved)

regimes383.0ms (4.8%)

Counts

5 → 5

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

Calls

3 calls:

212.0ms	y
144.0ms	x
26.0ms	z

Results

Error	Segments	Branch
14.1b	5	`x`
10.6b	5	`y`
12.4b	5	`z`

Compiler

Compiled 33 to 20 computations (39.4% saved)

bsearch95.0ms (1.2%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
63.0ms	1.0754210523917597e-47	2.4305795089147074e-45
8.0ms	1.8568493407136204e-125	6.102270532460948e-125
13.0ms	9.86018465106169e-142	1.6877775164358428e-139
11.0ms	-366730.88667387754	-53869.33640430183

Results

89.0ms	400×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 396 to 290 computations (26.8% saved)

regimes118.0ms (1.5%)

Counts

4 → 5

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

Calls

3 calls:

87.0ms	x
18.0ms	y
12.0ms	z

Results

Error	Segments	Branch
20.0b	7	`x`
10.9b	5	`y`
18.0b	3	`z`

Compiler

Compiled 28 to 17 computations (39.3% saved)

bsearch35.0ms (0.4%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
11.0ms	1.0754210523917597e-47	2.4305795089147074e-45
9.0ms	1.8568493407136204e-125	6.102270532460948e-125
11.0ms	9.86018465106169e-142	1.6877775164358428e-139
3.0ms	-3.3891800418962175e-44	-3.08915589621514e-44

Results

31.0ms

336×

body

256

valid

Compiler

Compiled 288 to 211 computations (26.7% saved)

regimes175.0ms (2.2%)

Counts

3 → 7

Calls

Call 1

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

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

Calls

3 calls:

76.0ms	z
76.0ms	y
22.0ms	x

Results

Error	Segments	Branch
24.4b	7	`x`
20.6b	7	`y`
22.6b	7	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch237.0ms (3%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
56.0ms	1.0754210523917597e-47	2.4305795089147074e-45
62.0ms	1.8568493407136204e-125	6.102270532460948e-125
11.0ms	9.86018465106169e-142	1.6877775164358428e-139
4.0ms	-3.3891800418962175e-44	-3.08915589621514e-44
12.0ms	-2.346504966432165e+20	-1.01705159611782e+18
92.0ms	-2.4590797617256584e+103	-4.803117887202652e+98

Results

226.0ms	576×	body	256	valid
4.0ms	48×	body	256	infinite

Compiler

Compiled 495 to 367 computations (25.9% saved)

regimes113.0ms (1.4%)

Accuracy

Total -40.1b remaining (-183.4%)

Threshold costs -40.1b (-183.4%)

Counts

2 → 5

Calls

Call 1

Inputs
z
(*.f64 y x)

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

Calls

3 calls:

81.0ms	x
17.0ms	z
14.0ms	y

Results

Error	Segments	Branch
25.6b	5	`x`
21.9b	5	`y`
24.1b	5	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch35.0ms (0.4%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
11.0ms	1.0754210523917597e-47	2.4305795089147074e-45
8.0ms	1.8568493407136204e-125	6.102270532460948e-125
12.0ms	9.86018465106169e-142	1.6877775164358428e-139
3.0ms	-3.3891800418962175e-44	-3.08915589621514e-44

Results

31.0ms

336×

body

256

valid

Compiler

Compiled 270 to 202 computations (25.2% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	414

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 x y) (.f64 z (-.f64 1 y)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(if (<=.f64 y -1) (.f64 y (-.f64 x z)) (if (<=.f64 y 5072854620270127/1152921504606846976) (+.f64 (.f64 x y) z) (*.f64 y (-.f64 x z))))
(if (<=.f64 y -55000) (.f64 y (-.f64 x z)) (if (<=.f64 y 4424576616881057/26815615859885194199148049996411692254958731641184786755447122887443528060147093953603748596333806855380063716372972101707507765623893139892867298012168192) (.f64 z (-.f64 1 y)) (if (<=.f64 y 905047950073301/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (.f64 y x) (if (<=.f64 y 1647111495365465/803469022129495137770981046170581301261101496891396417650688) z (.f64 y (-.f64 x z))))))
(if (<=.f64 y -3364526530167261/100433627766186892221372630771322662657637687111424552206336) (.f64 y (-.f64 x z)) (if (<=.f64 y 4424576616881057/26815615859885194199148049996411692254958731641184786755447122887443528060147093953603748596333806855380063716372972101707507765623893139892867298012168192) z (if (<=.f64 y 905047950073301/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (.f64 y x) (if (<=.f64 y 498150793720287/3213876088517980551083924184682325205044405987565585670602752) z (*.f64 y (-.f64 x z))))))
(if (<=.f64 y -600000000000000028968423588113241537296267582071905949810948043986265538848346961037851051203493888) (.f64 y x) (if (<=.f64 y -6200000000000000000) (.f64 z (neg.f64 y)) (if (<=.f64 y -3364526530167261/100433627766186892221372630771322662657637687111424552206336) (.f64 y x) (if (<=.f64 y 4424576616881057/26815615859885194199148049996411692254958731641184786755447122887443528060147093953603748596333806855380063716372972101707507765623893139892867298012168192) z (if (<=.f64 y 905047950073301/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (.f64 y x) (if (<=.f64 y 6106364568184163/6427752177035961102167848369364650410088811975131171341205504) z (*.f64 y x)))))))
(if (<=.f64 y -3364526530167261/100433627766186892221372630771322662657637687111424552206336) (.f64 y x) (if (<=.f64 y 4424576616881057/26815615859885194199148049996411692254958731641184786755447122887443528060147093953603748596333806855380063716372972101707507765623893139892867298012168192) z (if (<=.f64 y 905047950073301/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (.f64 y x) (if (<=.f64 y 1647111495365465/803469022129495137770981046170581301261101496891396417650688) z (*.f64 y x)))))
z

Outputs
(+.f64 (.f64 x y) (.f64 z (-.f64 1 y)))
(+.f64 z (*.f64 y (+.f64 x (neg.f64 z))))
(if (<=.f64 y -1) (.f64 y (-.f64 x z)) (if (<=.f64 y 5072854620270127/1152921504606846976) (+.f64 (.f64 x y) z) (*.f64 y (-.f64 x z))))
(if (<=.f64 y -55000) (.f64 y (-.f64 x z)) (if (<=.f64 y 4424576616881057/26815615859885194199148049996411692254958731641184786755447122887443528060147093953603748596333806855380063716372972101707507765623893139892867298012168192) (.f64 z (-.f64 1 y)) (if (<=.f64 y 905047950073301/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (.f64 y x) (if (<=.f64 y 1647111495365465/803469022129495137770981046170581301261101496891396417650688) z (.f64 y (-.f64 x z))))))
(if (<=.f64 y -3364526530167261/100433627766186892221372630771322662657637687111424552206336) (.f64 y (-.f64 x z)) (if (<=.f64 y 4424576616881057/26815615859885194199148049996411692254958731641184786755447122887443528060147093953603748596333806855380063716372972101707507765623893139892867298012168192) z (if (<=.f64 y 905047950073301/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (.f64 y x) (if (<=.f64 y 498150793720287/3213876088517980551083924184682325205044405987565585670602752) z (*.f64 y (-.f64 x z))))))
(if (<=.f64 y -600000000000000028968423588113241537296267582071905949810948043986265538848346961037851051203493888) (.f64 y x) (if (<=.f64 y -6200000000000000000) (.f64 z (neg.f64 y)) (if (<=.f64 y -3364526530167261/100433627766186892221372630771322662657637687111424552206336) (.f64 y x) (if (<=.f64 y 4424576616881057/26815615859885194199148049996411692254958731641184786755447122887443528060147093953603748596333806855380063716372972101707507765623893139892867298012168192) z (if (<=.f64 y 905047950073301/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (.f64 y x) (if (<=.f64 y 6106364568184163/6427752177035961102167848369364650410088811975131171341205504) z (*.f64 y x)))))))
(if (<=.f64 y -3364526530167261/100433627766186892221372630771322662657637687111424552206336) (.f64 y x) (if (<=.f64 y 4424576616881057/26815615859885194199148049996411692254958731641184786755447122887443528060147093953603748596333806855380063716372972101707507765623893139892867298012168192) z (if (<=.f64 y 905047950073301/47634102635436893179040485073748265163400240214004076398607741693502376385799646303105256699577209032590132615988260237052123652332890095616) (.f64 y x) (if (<=.f64 y 1647111495365465/803469022129495137770981046170581301261101496891396417650688) z (*.f64 y x)))))
z

Compiler

Compiled 200 to 110 computations (45% saved)

soundness0.0ms (0%)

end129.0ms (1.6%)

Compiler: Compiled 179 to 81 computations (54.7% saved)

Details

analyze188.0ms (2.3%)

sample1.9s (23.7%)

preprocess47.0ms (0.6%)

simplify8.0ms (0.1%)

eval3.0ms (0%)

prune1.0ms (0%)

localize10.0ms (0.1%)

series5.0ms (0.1%)

rewrite231.0ms (2.9%)

simplify426.0ms (5.3%)

eval15.0ms (0.2%)

prune12.0ms (0.2%)

localize8.0ms (0.1%)

series4.0ms (0%)

rewrite144.0ms (1.8%)

simplify954.0ms (11.9%)

localize4.0ms (0.1%)

localize6.0ms (0.1%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite183.0ms (2.3%)

simplify785.0ms (9.8%)

localize6.0ms (0.1%)

eval24.0ms (0.3%)

prune20.0ms (0.2%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite104.0ms (1.3%)

simplify158.0ms (2%)

localize4.0ms (0.1%)

localize8.0ms (0.1%)

series2.0ms (0%)

rewrite111.0ms (1.4%)

simplify219.0ms (2.7%)

localize8.0ms (0.1%)

series2.0ms (0%)

rewrite114.0ms (1.4%)

simplify795.0ms (9.9%)

eval20.0ms (0.2%)

prune18.0ms (0.2%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes41.0ms (0.5%)

regimes23.0ms (0.3%)

regimes62.0ms (0.8%)

bsearch21.0ms (0.3%)

regimes383.0ms (4.8%)

bsearch95.0ms (1.2%)

regimes118.0ms (1.5%)

bsearch35.0ms (0.4%)

regimes175.0ms (2.2%)

bsearch237.0ms (3%)

regimes113.0ms (1.4%)

bsearch35.0ms (0.4%)

simplify7.0ms (0.1%)

soundness0.0ms (0%)

end129.0ms (1.6%)

Profiling