Details

analyze632.0ms (11.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
6.3%	6.2%	93.6%	0.2%	0%	0%	0%	9
9.4%	9.4%	90.4%	0.2%	0%	0%	0%	10
14.1%	14%	85.8%	0.2%	0%	0%	0%	11
21.1%	21.1%	78.8%	0.2%	0%	0%	0%	12

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample1.8s (34.4%)

Results

1.6s	8255×	body	256	valid
195.0ms	1201×	body	256	infinite
0.0ms	1×	body	512	valid

Bogosity

preprocess444.0ms (8.4%)

Algorithm

2×	egg-herbie

Rules

3234×	`rational.json-simplify-41`
3168×	`rational.json-simplify-1`
2184×	`rational.json-simplify-35`
2144×	`rational.json-simplify-51`
1886×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	217
1	78	217
2	117	217
3	175	217
4	281	217
5	491	217
6	1024	217
7	1539	217
8	1777	217
9	1833	217
10	1883	217
11	1923	217
12	1963	217
13	2003	217
14	2043	217
15	2083	217
16	2123	217
17	2163	217
18	2203	217
19	2243	217
20	2283	217
21	2323	217
22	4394	217
23	5266	217
24	5356	217
25	5392	217
26	5428	217
27	5464	217
28	5500	217
29	6116	217
30	6194	217
31	6284	217
32	6344	217
33	6404	217
34	6464	217
35	6524	217
36	6584	217
37	6644	217
38	7812	217
39	7848	217
40	7884	217
41	7920	217
42	7956	217
43	7992	217
0	4	4
1	4	4

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
1
3

Call 2

Inputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) y) (/.f64 (.f64 x z) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) z) (/.f64 (.f64 y x) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) t) (/.f64 (.f64 y z) 2)) x)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 z y) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 t z) 2)) y)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y t) 2)) z)

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 y (/.f64 z 2))) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 z (/.f64 y 2))) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) y) (/.f64 (.f64 x z) 2)) t)
(+.f64 t (-.f64 (.f64 1/8 y) (.f64 z (/.f64 x 2))))
(+.f64 t (-.f64 (.f64 1/8 y) (.f64 x (/.f64 z 2))))
(+.f64 (-.f64 (.f64 (/.f64 1 8) z) (/.f64 (.f64 y x) 2)) t)
(+.f64 t (-.f64 (.f64 1/8 z) (.f64 x (/.f64 y 2))))
(+.f64 (-.f64 (.f64 (/.f64 1 8) t) (/.f64 (.f64 y z) 2)) x)
(+.f64 x (-.f64 (.f64 1/8 t) (.f64 y (/.f64 z 2))))
(+.f64 x (-.f64 (.f64 1/8 t) (/.f64 (.f64 y z) 2)))
(+.f64 x (-.f64 (.f64 1/8 t) (.f64 z (/.f64 y 2))))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 z y) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 y (/.f64 z 2))) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 z (/.f64 y 2))) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 t z) 2)) y)
(+.f64 y (-.f64 (.f64 1/8 x) (.f64 z (/.f64 t 2))))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y t) 2)) z)
(+.f64 z (-.f64 (.f64 1/8 x) (.f64 t (/.f64 y 2))))
(+.f64 z (-.f64 (.f64 1/8 x) (.f64 y (/.f64 t 2))))

Symmetry

(sort y z)

Compiler

Compiled 21 to 17 computations (19% saved)

simplify92.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

6090×	`rational.json-simplify-51`
2652×	`rational.json-simplify-41`
1092×	`rational.json-simplify-2`
604×	`rational.json-simplify-35`
566×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	31
1	25	31
2	36	31
3	52	31
4	80	31
5	131	31
6	263	31
7	586	31
8	961	31
9	1140	31
10	1176	31
11	1210	31
12	1238	31
13	1266	31
14	1294	31
15	1322	31
16	1350	31
17	1378	31
18	1406	31
19	1434	31
20	1462	31
21	1490	31
22	1518	31
23	3093	31
24	3834	31

Stop Event

1×	node limit

Counts

1 → 4

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 z (/.f64 y 2))) t)
(+.f64 (-.f64 (.f64 1/8 x) (.f64 y (/.f64 z 2))) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)

eval1.0ms (0%)

Compiler: Compiled 50 to 33 computations (34% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	3	1	4
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	4	1	5

Error

0.0b

Counts

5 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize16.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))

Compiler

Compiled 41 to 22 computations (46.3% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite83.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1540×	`bool.json-1`
1540×	`bool.json-2`
1482×	`rational.json-1`
1482×	`rational.json-2`
1482×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	112	25
2	314	25
3	673	25
4	1413	25
5	3075	25
6	5930	25

Stop Event

1×	node limit

Counts

1 → 37

Calls

Call 1

Inputs
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))

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

Outputs

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

simplify289.0ms (5.5%)

Algorithm

1×	egg-herbie

Rules

3164×	`rational.json-simplify-35`
1594×	`rational.json-simplify-2`
1504×	`rational.json-simplify-1`
942×	`rational.json-simplify-41`
586×	`rational.json-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	96	1751
1	190	1751
2	325	1751
3	534	1751
4	998	1751
5	2202	1751
6	3340	1751
7	4081	1751
8	4542	1751
9	4938	1751
10	4969	1751
11	5316	1751
12	5334	1751
13	5344	1751
14	5388	1751
15	5796	1751
16	6641	1751
17	7723	1751

Stop Event

1×	node limit

Counts

73 → 52

Calls

Call 1

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

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

eval12.0ms (0.2%)

Compiler: Compiled 674 to 418 computations (38% saved)

prune9.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	49	3	52
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	49	4	53

Error

Counts

53 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
▶	17.5b	(+.f64 (*.f64 1/8 x) t)
▶	0.0b	(+.f64 (.f64 1/16 (+.f64 x (-.f64 x (.f64 (*.f64 y z) 8)))) t)
▶	26.0b	(+.f64 (.f64 -1/2 (.f64 y z)) t)

Compiler

Compiled 52 to 38 computations (26.9% saved)

localize9.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 -1/2 (.f64 y z)) t)

Compiler

Compiled 23 to 11 computations (52.2% saved)

series2.0ms (0%)

Counts

1 → 9

Calls

9 calls:

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

rewrite98.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1396×	`rational.json-simplify-35`
1344×	`bool.json-1`
1344×	`bool.json-2`
1294×	`rational.json-1`
1294×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	91	19
2	250	19
3	535	19
4	1103	19
5	2463	19
6	5141	19

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

Inputs
(+.f64 (.f64 -1/2 (.f64 y z)) t)

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

Outputs

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

simplify444.0ms (8.4%)

Algorithm

1×	egg-herbie

Rules

3152×	`rational.json-simplify-41`
2268×	`rational.json-simplify-35`
1986×	`rational.json-simplify-2`
1564×	`rational.json-simplify-49`
818×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	461
1	119	461
2	268	461
3	750	461
4	1396	461
5	2139	461
6	2488	461
7	2537	461
8	2581	461
9	2618	461
10	3085	461
11	3269	461
12	3335	461
13	3385	461
14	3435	461
15	3485	461
16	3535	461
17	3585	461
18	3651	461
19	4776	461
20	7648	461
21	7717	461
22	7786	461
23	7847	461
24	7905	461
25	7959	461

Stop Event

1×	node limit

Counts

29 → 25

Calls

Call 1

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

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

localize99.0ms (1.9%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 58 to 29 computations (50% saved)

series4.0ms (0.1%)

Counts

3 → 96

Calls

24 calls:

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

rewrite91.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1572×	`bool.json-1`
1572×	`bool.json-2`
1520×	`rational.json-1`
1520×	`rational.json-2`
1520×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	57
1	98	57
2	257	57
3	559	57
4	1193	57
5	2703	57
6	5819	57

Stop Event

1×	node limit

Counts

3 → 70

Calls

Call 1

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

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y z) (*.f64 (*.f64 y z) 7))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 z 8)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 y (*.f64 z 8)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (+.f64 z z)) (*.f64 (*.f64 y z) 6))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 z 4)) (*.f64 y (*.f64 z 4)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 y z) 7) (*.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 y z) 6) (*.f64 y (+.f64 z z)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y (*.f64 z 8)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 y (*.f64 z 8)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (*.f64 y 16)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y z) 32) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y (+.f64 z z)) 32) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (*.f64 y (+.f64 z z)) 32)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 (*.f64 y (+.f64 z z)) 32)) (*.f64 2 (*.f64 (*.f64 y (+.f64 z z)) 32))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 y (*.f64 z 8))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 y (*.f64 z 8)) (*.f64 y (*.f64 z 8)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 y (*.f64 z 8)) (*.f64 y (*.f64 z 8)))))))

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

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

simplify295.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

1974×	`rational.json-simplify-35`
1682×	`rational.json-simplify-1`
1188×	`rational.json-simplify-52`
1098×	`rational.json-simplify-2`
1006×	`rational.json-simplify-51`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	145	3166
1	298	3166
2	726	3142
3	2102	3142
4	3956	3142
5	4716	3142
6	5332	3142
7	6294	3142
8	7046	3142
9	7928	3142
10	7974	3142

Stop Event

1×	node limit

Counts

166 → 100

Calls

Call 1

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

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

localize9.0ms (0.2%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

eval68.0ms (1.3%)

Compiler: Compiled 1929 to 1253 computations (35% saved)

prune21.0ms (0.4%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	123	2	125
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	123	6	129

Error

Counts

129 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
✓	17.5b	(+.f64 (*.f64 1/8 x) t)
✓	0.0b	(+.f64 (.f64 1/16 (+.f64 x (-.f64 x (.f64 (*.f64 y z) 8)))) t)
✓	26.0b	(+.f64 (.f64 -1/2 (.f64 y z)) t)
▶	45.3b	(.f64 -1/2 (.f64 y z))
	43.1b	t

Compiler

Compiled 66 to 49 computations (25.8% saved)

localize10.0ms (0.2%)

Compiler: Compiled 15 to 8 computations (46.7% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

6 alts after pruning (1 fresh and 5 done)

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

Error

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
✓	17.5b	(+.f64 (*.f64 1/8 x) t)
✓	0.0b	(+.f64 (.f64 1/16 (+.f64 x (-.f64 x (.f64 (*.f64 y z) 8)))) t)
✓	26.0b	(+.f64 (.f64 -1/2 (.f64 y z)) t)
✓	45.3b	(.f64 -1/2 (.f64 y z))
	43.1b	t

Compiler

Compiled 66 to 49 computations (25.8% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

6 alts after pruning (1 fresh and 5 done)

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

Error

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
✓	17.5b	(+.f64 (*.f64 1/8 x) t)
✓	0.0b	(+.f64 (.f64 1/16 (+.f64 x (-.f64 x (.f64 (*.f64 y z) 8)))) t)
✓	26.0b	(+.f64 (.f64 -1/2 (.f64 y z)) t)
✓	45.3b	(.f64 -1/2 (.f64 y z))
	43.1b	t

Compiler

Compiled 66 to 49 computations (25.8% saved)

regimes159.0ms (3%)

Counts

7 → 1

Calls

Call 1

Inputs
t
(.f64 -1/2 (.f64 y z))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (.f64 1/16 (+.f64 x (-.f64 x (.f64 (*.f64 y z) 8)))) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

Outputs
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)

Calls

9 calls:

69.0ms	z
52.0ms	(*.f64 y z)
6.0ms	(-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2))
6.0ms	x
5.0ms	(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`
0.0b	1	`t`
0.0b	1	`(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)`
0.0b	1	`(-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2))`
0.0b	1	`(*.f64 (/.f64 1 8) x)`
0.0b	1	`(/.f64 (*.f64 y z) 2)`
0.0b	1	`(*.f64 y z)`

Compiler

Compiled 136 to 95 computations (30.1% saved)

regimes137.0ms (2.6%)

Counts

4 → 3

Calls

Call 1

Inputs
t
(.f64 -1/2 (.f64 y z))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)

Outputs
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (*.f64 1/8 x) t)

Calls

5 calls:

94.0ms	z
12.0ms	y
10.0ms	(*.f64 y z)
10.0ms	x
10.0ms	t

Results

Error	Segments	Branch
5.2b	3	`x`
12.8b	3	`y`
11.0b	3	`z`
15.9b	3	`t`
7.6b	3	`(*.f64 y z)`

Compiler

Compiled 49 to 34 computations (30.6% saved)

bsearch87.0ms (1.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
72.0ms	3.330656318766352e-70	2.369586681200935e-64
15.0ms	-1.1510289769000022e+57	-1.733388419323497e+55

Results

82.0ms

256×

body

256

valid

Compiler

Compiled 376 to 291 computations (22.6% saved)

regimes65.0ms (1.2%)

Counts

3 → 3

Calls

Call 1

Inputs
t
(.f64 -1/2 (.f64 y z))
(+.f64 (*.f64 1/8 x) t)

Outputs
(.f64 -1/2 (.f64 y z))
(+.f64 (*.f64 1/8 x) t)
(.f64 -1/2 (.f64 y z))

Calls

5 calls:

25.0ms	z
14.0ms	y
12.0ms	x
8.0ms	(*.f64 y z)
5.0ms	t

Results

Error	Segments	Branch
12.3b	3	`x`
15.2b	4	`y`
11.6b	7	`z`
17.5b	1	`t`
10.7b	3	`(*.f64 y z)`

Compiler

Compiled 42 to 31 computations (26.2% saved)

bsearch25.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
19.0ms	2.2122148863877624e+147	7.167700742207879e+153
6.0ms	-1.6200530359254505e+45	-1.294247988762136e+45

Results

22.0ms

192×

body

256

valid

Compiler

Compiled 240 to 199 computations (17.1% saved)

regimes56.0ms (1.1%)

Accuracy

Total -30.1b remaining (-93.1%)

Threshold costs -30.1b (-93.1%)

Counts

2 → 3

Calls

Call 1

Inputs
t
(.f64 -1/2 (.f64 y z))

Outputs
(.f64 -1/2 (.f64 y z))
t
(.f64 -1/2 (.f64 y z))

Calls

5 calls:

13.0ms	z
13.0ms	t
11.0ms	(*.f64 y z)
9.0ms	x
8.0ms	y

Results

Error	Segments	Branch
37.9b	3	`x`
37.1b	3	`y`
34.6b	5	`z`
33.7b	3	`t`
32.3b	3	`(*.f64 y z)`

Compiler

Compiled 37 to 28 computations (24.3% saved)

bsearch36.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
17.0ms	476847.8859084299	152834773364.69205
18.0ms	-2.0125228875890116e-38	-1.1740838907256342e-47

Results

32.0ms

288×

body

256

valid

Compiler

Compiled 276 to 235 computations (14.9% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	221

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(if (<=.f64 x -17500000000000000519396039778088108581907286668586516480) (+.f64 (.f64 1/8 x) t) (if (<=.f64 x 7964942458125489/1942668892225729070919461906823518906642406839052139521251812409738904285205208498176) (+.f64 (.f64 -1/2 (.f64 y z)) t) (+.f64 (.f64 1/8 x) t)))
(if (<=.f64 (.f64 y z) -1349999999999999921017972685975861665615314944) (.f64 -1/2 (.f64 y z)) (if (<=.f64 (.f64 y z) 3499999999999999745536477996069659597258375827979946762770913533340162976391183064158477473421371924335826948789446772907897011543730415329427324928) (+.f64 (.f64 1/8 x) t) (.f64 -1/2 (*.f64 y z))))
(if (<=.f64 (.f64 y z) -1915619426082361/95780971304118053647396689196894323976171195136475136) (.f64 -1/2 (.f64 y z)) (if (<=.f64 (.f64 y z) 900000000) t (.f64 -1/2 (.f64 y z))))
t

Outputs
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(if (<=.f64 x -17500000000000000519396039778088108581907286668586516480) (+.f64 (.f64 1/8 x) t) (if (<=.f64 x 7964942458125489/1942668892225729070919461906823518906642406839052139521251812409738904285205208498176) (+.f64 (.f64 -1/2 (.f64 y z)) t) (+.f64 (.f64 1/8 x) t)))
(if (<=.f64 (.f64 y z) -1349999999999999921017972685975861665615314944) (.f64 -1/2 (.f64 y z)) (if (<=.f64 (.f64 y z) 3499999999999999745536477996069659597258375827979946762770913533340162976391183064158477473421371924335826948789446772907897011543730415329427324928) (+.f64 (.f64 1/8 x) t) (.f64 -1/2 (*.f64 y z))))
(if (<=.f64 (.f64 y z) -1915619426082361/95780971304118053647396689196894323976171195136475136) (.f64 -1/2 (.f64 y z)) (if (<=.f64 (.f64 y z) 900000000) t (.f64 -1/2 (.f64 y z))))
t

Compiler

Compiled 107 to 68 computations (36.4% saved)

soundness121.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

6090×	`rational.json-simplify-51`
2652×	`rational.json-simplify-41`
1092×	`rational.json-simplify-2`
604×	`rational.json-simplify-35`
566×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	31
1	25	31
2	36	31
3	52	31
4	80	31
5	131	31
6	263	31
7	586	31
8	961	31
9	1140	31
10	1176	31
11	1210	31
12	1238	31
13	1266	31
14	1294	31
15	1322	31
16	1350	31
17	1378	31
18	1406	31
19	1434	31
20	1462	31
21	1490	31
22	1518	31
23	3093	31
24	3834	31

Stop Event

1×	node limit

Compiler

Compiled 28 to 19 computations (32.1% saved)

end45.0ms (0.9%)

Remove: (sort y z)
Compiler: Compiled 121 to 71 computations (41.3% saved)

Details

analyze632.0ms (11.9%)

sample1.8s (34.4%)

preprocess444.0ms (8.4%)

simplify92.0ms (1.7%)

eval1.0ms (0%)

prune1.0ms (0%)

localize16.0ms (0.3%)

series3.0ms (0.1%)

rewrite83.0ms (1.6%)

simplify289.0ms (5.5%)

eval12.0ms (0.2%)

prune9.0ms (0.2%)

localize9.0ms (0.2%)

series2.0ms (0%)

rewrite98.0ms (1.8%)

simplify444.0ms (8.4%)

localize99.0ms (1.9%)

series4.0ms (0.1%)

rewrite91.0ms (1.7%)

simplify295.0ms (5.6%)

localize9.0ms (0.2%)

eval68.0ms (1.3%)

prune21.0ms (0.4%)

localize10.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes159.0ms (3%)

regimes137.0ms (2.6%)

bsearch87.0ms (1.6%)

regimes65.0ms (1.2%)

bsearch25.0ms (0.5%)

regimes56.0ms (1.1%)

bsearch36.0ms (0.7%)

simplify6.0ms (0.1%)

soundness121.0ms (2.3%)

end45.0ms (0.9%)

Profiling