Details

analyze0.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample1.6s (18.3%)

Results

671.0ms	2041×	body	1024	valid
580.0ms	4909×	body	256	valid
200.0ms	1068×	body	512	valid
95.0ms	238×	body	2048	valid

Bogosity

preprocess2.9s (33.8%)

Algorithm

2×	egg-herbie

Rules

9280×	`rational.json-simplify-41`
3624×	`rational.json-simplify-35`
2062×	`rational.json-simplify-48`
1252×	`rational.json-simplify-1`
120×	`rational.json-simplify-18`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	58
1	33	58
2	54	58
3	98	58
4	214	58
5	590	58
6	831	58
7	1002	58
8	1272	58
9	1582	58
10	1738	58
11	1830	58
12	1862	58
13	1890	58
14	1918	58
15	2038	58
16	2118	58
17	2196	58
18	2232	58
19	2260	58
20	2288	58
21	2316	58
22	2536	58
23	2716	58
24	2765	58
25	2819	58
26	2847	58
27	2875	58
28	2903	58
29	2931	58
30	2959	58
31	2987	58
32	3015	58
33	3043	58
34	3099	58
35	3133	58
36	3167	58
37	3197	58
38	3227	58
39	3255	58
40	3283	58
41	3311	58
42	3339	58
43	3367	58
44	3395	58
45	3423	58
46	3451	58
47	3479	58
48	3507	58
49	3535	58
50	3563	58
51	3591	58
52	3619	58
53	3647	58
54	3675	58
55	3703	58
56	3731	58
57	3759	58
58	3787	58
59	3815	58
60	3843	58
61	3871	58
62	3899	58
63	3927	58
64	3955	58
65	3983	58
66	4011	58
67	4039	58
68	4067	58
69	4095	58
70	4123	58
71	4151	58
72	4179	58
73	4207	58
74	4235	58
75	4263	58
76	4291	58
77	4319	58
78	4347	58
79	4375	58
80	4403	58
81	4431	58
82	4459	58
83	4487	58
84	4515	58
85	4543	58
86	4571	58
87	4599	58
88	4599	58
89	4627	58
90	4655	58
91	4683	58
92	4711	58
93	4739	58
94	4767	58
95	4795	58
96	4823	58
97	4851	58
98	4879	58
99	4907	58
100	4935	58
101	4963	58
102	4991	58
103	5019	58
104	5047	58
105	5075	58
106	5103	58
107	5131	58
108	5159	58
109	5187	58
110	5215	58
111	5243	58
112	5271	58
113	5299	58
114	5327	58
115	5355	58
116	5383	58
117	5411	58
118	5439	58
119	5467	58
120	5495	58
121	5523	58
122	5551	58
123	5579	58
124	5607	58
125	5635	58
126	5663	58
127	5691	58
128	5719	58
129	5747	58
130	5775	58
131	5803	58
132	5831	58
133	5859	58
134	5887	58
135	5915	58
136	5943	58
137	5971	58
138	5999	58
139	6027	58
140	6055	58
141	6083	58
142	6111	58
143	6139	58
144	6167	58
145	6195	58
146	6223	58
147	6251	58
148	6279	58
149	6307	58
150	6335	58
151	6363	58
152	6391	58
153	6419	58
154	6447	58
155	6475	58
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 y)))) 1)

Outputs
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 y)))) 1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 y)))) -1)

Compiler

Compiled 14 to 13 computations (7.1% saved)

simplify1.2s (13.8%)

Algorithm

1×	egg-herbie

Rules

5342×	`rational.json-simplify-48`
4578×	`rational.json-simplify-1`
3836×	`rational.json-simplify-41`
1340×	`rational.json-simplify-35`
388×	`rational.json-simplify-18`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	29
1	21	29
2	33	29
3	58	29
4	117	29
5	304	29
6	429	29
7	518	29
8	663	29
9	819	29
10	927	29
11	1008	29
12	1093	29
13	1191	29
14	1276	29
15	1318	29
16	1341	29
17	1359	29
18	1375	29
19	1391	29
20	1407	29
21	1423	29
22	1444	29
23	1461	29
24	1478	29
25	1494	29
26	1510	29
27	1526	29
28	1542	29
29	1558	29
30	1574	29
31	1590	29
32	1606	29
33	1622	29
34	1638	29
35	1654	29
36	1670	29
37	1686	29
38	1702	29
39	1718	29
40	1734	29
41	1750	29
42	1766	29
43	1782	29
44	1798	29
45	1814	29
46	1830	29
47	1846	29
48	1862	29
49	1878	29
50	1894	29
51	1910	29
52	1926	29
53	1942	29
54	1958	29
55	1974	29
56	1990	29
57	2006	29
58	2022	29
59	2038	29
60	2054	29
61	2070	29
62	2086	29
63	2102	29
64	2118	29
65	2134	29
66	2150	29
67	2166	29
68	2182	29
69	2198	29
70	2214	29
71	2230	29
72	2246	29
73	2262	29
74	2278	29
75	2294	29
76	2310	29
77	2326	29
78	2342	29
79	2358	29
80	2374	29
81	5018	29
82	5071	29
83	5090	29
84	5109	29
85	5127	29
86	5145	29
87	5825	29
88	5849	29
89	5867	29
90	5885	29
91	5903	29
92	5921	29
93	5939	29
94	5957	29
95	5975	29
96	5993	29
97	6011	29
98	6608	29
99	7171	29
100	7424	29
101	7665	29
102	7809	29
103	7850	29
104	7868	29
105	7886	29
106	7904	29
107	7922	29
108	7940	29
109	7958	29
110	7976	29
111	7994	29

Stop Event

1×	node limit

Counts

1 → 3

Calls

Call 1

Inputs
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Outputs
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 -2 x)))) -1)

eval1.0ms (0%)

Compiler: Compiled 32 to 29 computations (9.4% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

29.8b

Counts

4 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	29.8b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Compiler

Compiled 12 to 11 computations (8.3% saved)

localize16.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))
✓	0.0b	(+.f64 1 (exp.f64 (*.f64 -2 x)))
✓	2.7b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Compiler

Compiled 37 to 31 computations (16.2% saved)

series3.0ms (0%)

Counts

3 → 20

Calls

9 calls:

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

rewrite86.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1250×	`rational.json-1`
1250×	`rational.json-2`
1250×	`rational.json-3`
1248×	`rational.json-4`
1244×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	69
1	91	69
2	200	69
3	418	69
4	846	69
5	2233	69
6	5586	69

Stop Event

1×	node limit

Counts

3 → 101

Calls

Call 1

Inputs
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(+.f64 1 (exp.f64 (*.f64 -2 x)))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))

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

Outputs

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

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

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (/.f64 -2 (+.f64 2 (*.f64 2 (exp.f64 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (/.f64 1 (-.f64 -1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 1/2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 2 (*.f64 2 (exp.f64 (*.f64 -2 x)))) (/.f64 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2) (/.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (/.f64 8 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4) (/.f64 (/.f64 8 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 8 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 8 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))) (+.f64 2 (*.f64 2 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))))

simplify107.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

1270×	`rational.json-simplify-53`
1208×	`rational.json-simplify-51`
864×	`rational.json-simplify-2`
826×	`rational.json-simplify-41`
822×	`rational.json-simplify-39`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	3367
1	442	3367
2	2721	3163
3	5045	3163

Stop Event

1×	node limit

Counts

121 → 155

Calls

Call 1

Inputs
x
(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 2/15 (pow.f64 x 5)) x))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (*.f64 2/15 (pow.f64 x 5)) x)))
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
2
(+.f64 2 (*.f64 -2 x))
(+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 2 (.f64 -2 x)))
(+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 2 (+.f64 (.f64 -2 x) (*.f64 -4/3 (pow.f64 x 3)))))
1
(+.f64 1 x)
(+.f64 1 (+.f64 (*.f64 -1/3 (pow.f64 x 3)) x))
(+.f64 1 (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 x (.f64 2/15 (pow.f64 x 5)))))
(+.f64 -2 (-.f64 1 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x))))))
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)
(+.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 0)
(+.f64 0 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1))
(+.f64 -1 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 1/2) (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 1/2))
(.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 1/2))
(.f64 1 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1))
(.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) (-.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2)))
(.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 1)
(.f64 4 (/.f64 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2) 8))
(.f64 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2) 1/2)
(.f64 (.f64 2 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -2)) 1/4)
(.f64 1/2 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2))
(.f64 1/4 (.f64 2 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -2)))
(.f64 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 1/2) 2)
(.f64 (-.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2)) (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2) 8) 4)
(.f64 (+.f64 (/.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) -2) 1) (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 1)
(/.f64 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -2) 2)
(/.f64 (.f64 2 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2)) 4)
(/.f64 (.f64 4 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2)) 8)
(/.f64 (.f64 2 (.f64 4 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -2))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 4 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2)))) 32)
(pow.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 1)
(-.f64 (exp.f64 (*.f64 -2 x)) -1)
(-.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 0)
(-.f64 0 (-.f64 -1 (exp.f64 (*.f64 -2 x))))
(-.f64 (+.f64 2 (exp.f64 (*.f64 -2 x))) 1)
(-.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2) (/.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) -2))
(.f64 2 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))
(.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))
(.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1)
(.f64 4 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x)))) 1/2)
(.f64 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4) 1/4)
(.f64 (-.f64 -1 (exp.f64 (.f64 -2 x))) -1)
(.f64 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2) 2)
(.f64 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 8) 1/8)
(.f64 1/2 (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x)))))
(.f64 1/4 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4))
(.f64 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4) 4)
(.f64 1/8 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 8))
(.f64 (+.f64 (exp.f64 (+.f64 x x)) 1) (exp.f64 (.f64 -2 x)))
(/.f64 2 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1)
(/.f64 4 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) 2)
(/.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) (.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x))))))
(/.f64 8 (/.f64 8 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 4) 4)
(/.f64 (-.f64 -1 (exp.f64 (*.f64 -2 x))) -1)
(/.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2) 1/2)
(/.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 8) 8)
(/.f64 1/2 (/.f64 1/2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 (.f64 -2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2)
(/.f64 (.f64 (-.f64 -1 (exp.f64 (.f64 -2 x))) 4) -4)
(/.f64 (.f64 2 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 8)) 16)
(/.f64 1/4 (/.f64 1/4 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4) (/.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4)))
(/.f64 (neg.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2)) (/.f64 (-.f64 -1 (exp.f64 (.f64 -2 x))) (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x))))))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 8))) 32)
(/.f64 (.f64 8 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2)) 4)
(/.f64 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) 1/2) 4)
(/.f64 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) 1/4) 8)
(/.f64 (/.f64 4 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 4)
(pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1)
(neg.f64 (-.f64 -1 (exp.f64 (*.f64 -2 x))))
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 0)
(+.f64 0 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 -1 (-.f64 1 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x))))))
(+.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 0)
(-.f64 0 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(-.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (/.f64 -2 (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x))))))
(-.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (/.f64 1 (-.f64 -1 (exp.f64 (.f64 -2 x)))))
(.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(.f64 1 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))))
(.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 1)
(.f64 4 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (/.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) 1/2)
(.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2) (/.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(.f64 (.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 1/4)
(.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) 2)
(.f64 1/4 (.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))))
(.f64 1/4 (/.f64 8 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4) (/.f64 (/.f64 8 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(.f64 (/.f64 8 (+.f64 1 (exp.f64 (.f64 -2 x)))) 1/4)
(.f64 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 4)
(.f64 (/.f64 -2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1)
(.f64 (/.f64 (/.f64 8 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))
(.f64 (/.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))
(.f64 (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x))))
(.f64 (/.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x)))))
(pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(neg.f64 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))

Outputs
x
(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 2/15 (pow.f64 x 5)) x))
(+.f64 x (+.f64 (.f64 2/15 (pow.f64 x 5)) (.f64 -1/3 (pow.f64 x 3))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 x (.f64 2/15 (pow.f64 x 5))))
(+.f64 (.f64 -17/315 (pow.f64 x 7)) (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (*.f64 2/15 (pow.f64 x 5)) x)))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (*.f64 -17/315 (pow.f64 x 7))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 -17/315 (pow.f64 x 7)) (+.f64 x (*.f64 2/15 (pow.f64 x 5)))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 2/15 (pow.f64 x 5)) (+.f64 x (*.f64 -17/315 (pow.f64 x 7)))))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 2/15 (pow.f64 x 5)) (*.f64 -17/315 (pow.f64 x 7)))))
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(-.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
2
(+.f64 2 (*.f64 -2 x))
(+.f64 2 (*.f64 x -2))
(+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 2 (.f64 -2 x)))
(+.f64 2 (+.f64 (.f64 x -2) (.f64 2 (pow.f64 x 2))))
(+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 2 (+.f64 (.f64 -2 x) (*.f64 -4/3 (pow.f64 x 3)))))
(+.f64 2 (+.f64 (+.f64 (.f64 x -2) (.f64 (pow.f64 x 3) -4/3)) (*.f64 2 (pow.f64 x 2))))
(+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 (.f64 (pow.f64 x 3) -4/3) (+.f64 2 (*.f64 x -2))))
(+.f64 (.f64 2 (pow.f64 x 2)) (+.f64 2 (+.f64 (.f64 x -2) (*.f64 (pow.f64 x 3) -4/3))))
(+.f64 (.f64 x -2) (+.f64 (.f64 (pow.f64 x 3) -4/3) (+.f64 2 (*.f64 2 (pow.f64 x 2)))))
1
(+.f64 1 x)
(+.f64 x 1)
(+.f64 1 (+.f64 (*.f64 -1/3 (pow.f64 x 3)) x))
(+.f64 (*.f64 -1/3 (pow.f64 x 3)) (+.f64 x 1))
(+.f64 x (+.f64 1 (*.f64 -1/3 (pow.f64 x 3))))
(+.f64 x (+.f64 (*.f64 -1/3 (pow.f64 x 3)) 1))
(+.f64 1 (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 x (.f64 2/15 (pow.f64 x 5)))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) 1))
(+.f64 (+.f64 x (.f64 2/15 (pow.f64 x 5))) (+.f64 1 (.f64 -1/3 (pow.f64 x 3))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 x (+.f64 (.f64 2/15 (pow.f64 x 5)) 1)))
(+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 2/15 (pow.f64 x 5)) 1)))
(+.f64 -2 (-.f64 1 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x))))))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 0)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 0 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 -1 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 1/2) (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 1/2))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 1/2))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 1 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) (-.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2)))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 4 (/.f64 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2) 8))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2) 1/2)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 (.f64 2 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -2)) 1/4)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 1/2 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 1/4 (.f64 2 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -2)))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 1/2) 2)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 (-.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2)) (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 (/.f64 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2) 8) 4)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(.f64 (+.f64 (/.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) -2) 1) (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(/.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(/.f64 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -2) 2)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(/.f64 (.f64 2 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2)) 4)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(/.f64 (.f64 4 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2)) 8)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(/.f64 (.f64 2 (.f64 4 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -2))) 16)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(/.f64 (.f64 2 (.f64 2 (.f64 4 (+.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2)))) 32)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(pow.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 1)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (.f64 2 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
(-.f64 (exp.f64 (*.f64 -2 x)) -1)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 0)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 0 (-.f64 -1 (exp.f64 (*.f64 -2 x))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 (+.f64 2 (exp.f64 (*.f64 -2 x))) 1)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2) (/.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) -2))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 2 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 4 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x)))) 1/2)
(.f64 1/2 (+.f64 2 (.f64 2 (exp.f64 (*.f64 x -2)))))
(.f64 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4) 1/4)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (-.f64 -1 (exp.f64 (.f64 -2 x))) -1)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2) 2)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 8) 1/8)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 1/2 (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x)))))
(.f64 1/2 (+.f64 2 (.f64 2 (exp.f64 (*.f64 x -2)))))
(.f64 1/4 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4) 4)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 1/8 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 8))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (+.f64 (exp.f64 (+.f64 x x)) 1) (exp.f64 (.f64 -2 x)))
(.f64 (exp.f64 (.f64 x -2)) (+.f64 1 (exp.f64 (+.f64 x x))))
(/.f64 2 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 4 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) 2)
(/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) 2)
(/.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) (.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x))))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 8 (/.f64 8 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 4) 4)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (-.f64 -1 (exp.f64 (*.f64 -2 x))) -1)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2) 1/2)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 8) 8)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 1/2 (/.f64 1/2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 -2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -2)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 (-.f64 -1 (exp.f64 (.f64 -2 x))) 4) -4)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 8)) 16)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 1/4 (/.f64 1/4 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4) (/.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 4)))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (neg.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2)) (/.f64 (-.f64 -1 (exp.f64 (.f64 -2 x))) (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x))))))
(/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) 2)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 8))) 32)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 8 (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2)) 4)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) 1/2) 4)
(/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) 2)
(/.f64 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) 1/4) 8)
(/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) 2)
(/.f64 (/.f64 4 (/.f64 1 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 4)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(pow.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1)
(+.f64 1 (exp.f64 (*.f64 x -2)))
(neg.f64 (-.f64 -1 (exp.f64 (*.f64 -2 x))))
(+.f64 1 (exp.f64 (*.f64 x -2)))
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 0)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(+.f64 0 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(+.f64 -1 (-.f64 1 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x))))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(+.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 0)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(-.f64 0 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(-.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (/.f64 -2 (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x))))))
(-.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2)))) (/.f64 -2 (+.f64 2 (.f64 2 (exp.f64 (*.f64 x -2))))))
(-.f64 (/.f64 -1 (-.f64 -1 (exp.f64 (.f64 x -2)))) (/.f64 -2 (+.f64 2 (.f64 2 (exp.f64 (*.f64 x -2))))))
(-.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (/.f64 1 (-.f64 -1 (exp.f64 (.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 1 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 1)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 4 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(.f64 4 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 x -2)))))
(.f64 4 (/.f64 -1/2 (-.f64 -1 (exp.f64 (.f64 x -2)))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (/.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (/.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (.f64 x -2))))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (/.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (*.f64 x -2)))))
(.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) 1/2)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2) (/.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 1/2 (/.f64 4 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (.f64 x -2)))))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 1/2 (/.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (*.f64 x -2))))))
(.f64 (.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))) 1/4)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) 2)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 1/4 (.f64 2 (/.f64 4 (+.f64 1 (exp.f64 (*.f64 -2 x))))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 1/4 (/.f64 8 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4) (/.f64 (/.f64 8 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 1/4 (/.f64 8 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (.f64 x -2)))))))
(.f64 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) 1/4) (/.f64 8 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (.f64 x -2))))))
(.f64 (/.f64 8 (+.f64 1 (exp.f64 (.f64 -2 x)))) 1/4)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 4)
(.f64 4 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 x -2)))))
(.f64 4 (/.f64 -1/2 (-.f64 -1 (exp.f64 (.f64 x -2)))))
(.f64 (/.f64 -2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (/.f64 (/.f64 8 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 1/4 (/.f64 8 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (.f64 x -2)))))))
(.f64 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) 1/4) (/.f64 8 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (.f64 x -2))))))
(.f64 (/.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 1/2 (/.f64 4 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (.f64 x -2)))))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 1/2 (/.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (*.f64 x -2))))))
(.f64 (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (/.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 1 (exp.f64 (.f64 -2 x)))) (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x)))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (/.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (.f64 x -2))))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (/.f64 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (*.f64 x -2)))))
(pow.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(neg.f64 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))

eval49.0ms (0.6%)

Compiler: Compiled 2336 to 2084 computations (10.8% saved)

prune24.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	151	4	155
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	151	5	156

Error

0.0b

Counts

156 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	47.3b	(-.f64 (/.f64 2 (+.f64 2 (*.f64 x -2))) 1)
✓	29.8b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
▶	60.0b	(-.f64 (+.f64 x 1) 1)
▶	31.7b	(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)
	30.3b	x

Compiler

Compiled 42 to 36 computations (14.3% saved)

localize10.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)
✓	0.1b	(*.f64 -1/3 (pow.f64 x 3))

Compiler

Compiled 20 to 15 computations (25% saved)

series2.0ms (0%)

Counts

2 → 3

Calls

6 calls:

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

rewrite251.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

2294×	`rational.json-simplify-35`
2106×	`rational.json-simplify-2`
1412×	`rational.json-simplify-1`
1088×	`exponential.json-3`
1088×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	52	32
2	107	32
3	211	32
4	387	32
5	854	32
6	2215	32
7	3878	32
8	4615	32
9	5615	32
10	6296	32
11	6315	32
12	6350	32
13	7027	32
14	7338	32

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

Inputs
(*.f64 -1/3 (pow.f64 x 3))
(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)

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

Outputs

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

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

simplify509.0ms (6%)

Algorithm

1×	egg-herbie

Rules

3778×	`rational.json-simplify-51`
2878×	`rational.json-simplify-35`
1428×	`rational.json-simplify-1`
1236×	`rational.json-simplify-2`
536×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	88	702
1	201	702
2	502	702
3	1608	702
4	3270	702
5	4075	702
6	4225	702
7	4334	702
8	4444	702
9	4529	702
10	4614	702
11	4700	702
12	4800	702
13	4886	702
14	4972	702
15	4972	702
16	7275	702
17	7540	702
18	7627	702
19	7710	702
20	7788	702
21	7866	702
22	7944	702

Stop Event

1×	node limit

Counts

42 → 43

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.7b	(-.f64 (+.f64 x 1) 1)

Compiler

Compiled 12 to 9 computations (25% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite225.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

2190×	`rational.json-simplify-35`
1786×	`rational.json-simplify-2`
1502×	`rational.json-simplify-1`
1216×	`exponential.json-3`
1216×	`rational.json-1`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	53	1
2	139	1
3	250	1
4	519	1
5	1194	1
6	2432	1
7	3505	1
8	4331	1
9	5176	1
10	5751	1
11	5877	1
12	5975	1
13	5975	1
14	7361	1

Stop Event

1×	node limit

Counts

1 → 40

Calls

Call 1

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

Outputs

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

simplify371.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

3108×	`rational.json-simplify-51`
2222×	`rational.json-simplify-1`
1826×	`rational.json-simplify-48`
1460×	`rational.json-simplify-2`
1248×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	80	52
1	156	52
2	591	52
3	1953	52
4	3279	52
5	4088	52
6	4210	52
7	4264	52
8	4322	52
9	4383	52
10	5058	52
11	5995	52
12	6297	52
13	6427	52
14	6554	52
15	6700	52
16	7169	52
17	7302	52
18	7435	52
19	7568	52
20	7649	52

Stop Event

1×	node limit

Counts

52 → 41

Calls

Call 1

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

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

localize11.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 2 (+.f64 2 (*.f64 x -2)))
✓	2.7b	(-.f64 (/.f64 2 (+.f64 2 (*.f64 x -2))) 1)

Compiler

Compiled 30 to 25 computations (16.7% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite82.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1192×	`rational.json-1`
1192×	`rational.json-2`
1192×	`rational.json-3`
1190×	`rational.json-4`
1186×	`exponential.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	44
1	79	44
2	181	44
3	363	44
4	764	44
5	2055	44
6	5277	44

Stop Event

1×	node limit

Counts

2 → 56

Calls

Call 1

Inputs
(-.f64 (/.f64 2 (+.f64 2 (*.f64 x -2))) 1)
(/.f64 2 (+.f64 2 (*.f64 x -2)))

Outputs

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

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

simplify118.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1456×	`rational.json-simplify-57`
1214×	`rational.json-simplify-35`
854×	`rational.json-simplify-51`
836×	`rational.json-simplify-2`
814×	`rational.json-simplify-46`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	133	2480
1	293	2480
2	613	2348
3	1488	2348
4	3048	2348
5	4614	2348
6	5871	2348

Stop Event

1×	node limit

Counts

80 → 119

Calls

Call 1

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

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

eval52.0ms (0.6%)

Compiler: Compiled 2417 to 2032 computations (15.9% saved)

prune33.0ms (0.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	201	2	203
Fresh	0	1	1
Picked	1	0	1
Done	0	3	3
Total	202	6	208

Error

0.0b

Counts

208 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.8b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
✓	60.0b	(-.f64 (+.f64 x 1) 1)
▶	60.0b	(+.f64 (+.f64 x -1) 1)
✓	31.7b	(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)
	30.3b	x
	47.5b	-1

Compiler

Compiled 41 to 35 computations (14.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.7b	(+.f64 (+.f64 x -1) 1)

Compiler

Compiled 13 to 10 computations (23.1% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite180.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1788×	`rational.json-simplify-35`
1476×	`rational.json-simplify-51`
1374×	`exponential.json-3`
1374×	`rational.json-1`
1374×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	58	1
2	131	1
3	241	1
4	486	1
5	1112	1
6	2265	1
7	3239	1
8	3995	1
9	4782	1
10	5726	1
11	6385	1
12	7340	1

Stop Event

1×	node limit

Counts

1 → 28

Calls

Call 1

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

Outputs

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

simplify459.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

3496×	`rational.json-simplify-48`
2376×	`rational.json-simplify-1`
1162×	`rational.json-simplify-35`
1090×	`rational.json-simplify-41`
942×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	40
1	135	40
2	500	40
3	1387	40
4	2254	40
5	3472	40
6	3719	40
7	4232	40
8	4405	40
9	4518	40
10	4620	40
11	5469	40
12	5589	40
13	5718	40
14	5841	40
15	5947	40
16	6058	40
17	6123	40
18	6148	40
19	6173	40
20	6198	40
21	6223	40
22	6558	40

Stop Event

1×	node limit

Counts

40 → 29

Calls

Call 1

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

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

eval4.0ms (0%)

Compiler: Compiled 155 to 121 computations (21.9% saved)

prune6.0ms (0.1%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	29	6	35

Error

0.0b

Counts

35 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.8b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
✓	60.0b	(-.f64 (+.f64 x 1) 1)
✓	60.0b	(+.f64 (+.f64 x -1) 1)
✓	31.7b	(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)
	30.3b	x
	47.5b	-1

Compiler

Compiled 41 to 35 computations (14.6% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

6 alts after pruning (2 fresh and 4 done)

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

Error

0.0b

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.8b	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
✓	60.0b	(-.f64 (+.f64 x 1) 1)
✓	60.0b	(+.f64 (+.f64 x -1) 1)
✓	31.7b	(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)
	30.3b	x
	47.5b	-1

Compiler

Compiled 41 to 35 computations (14.6% saved)

regimes84.0ms (1%)

Counts

7 → 3

Calls

Call 1

Inputs
-1
x
(+.f64 (+.f64 x -1) 1)
(-.f64 (+.f64 x 1) 1)
(-.f64 (/.f64 2 (+.f64 2 (*.f64 x -2))) 1)
(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Outputs
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)
-1

Calls

7 calls:

32.0ms	y
13.0ms	(*.f64 -2 x)
13.0ms	x
6.0ms	(exp.f64 (*.f64 -2 x))
5.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Results

Error	Segments	Branch
0.0b	3	`x`
21.5b	6	`y`
0.0b	3	`(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)`
0.0b	3	`(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))`
0.0b	3	`(+.f64 1 (exp.f64 (*.f64 -2 x)))`
0.0b	3	`(exp.f64 (*.f64 -2 x))`
0.0b	3	`(*.f64 -2 x)`

Compiler

Compiled 87 to 73 computations (16.1% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	2.3503074277619776e-5	836.1959645353862
0.0ms	-0.10950459956686977	-6.336826022550782e-5

Compiler

Compiled 17 to 15 computations (11.8% saved)

regimes51.0ms (0.6%)

Accuracy

Total -46.7b remaining (-289.1%)

Threshold costs -46.7b (-289.1%)

Counts

6 → 2

Calls

Call 1

Inputs
-1
x
(+.f64 (+.f64 x -1) 1)
(-.f64 (+.f64 x 1) 1)
(-.f64 (/.f64 2 (+.f64 2 (*.f64 x -2))) 1)
(+.f64 (*.f64 -1/3 (pow.f64 x 3)) x)

Outputs
-1
x

Calls

2 calls:

39.0ms	y
9.0ms	x

Results

Error	Segments	Branch
16.2b	2	`x`
27.8b	5	`y`

Compiler

Compiled 36 to 28 computations (22.2% saved)

bsearch19.0ms (0.2%)

Algorithm

1×	binary-search

Steps

Time	Left	Right
19.0ms	-418.0979822676931	-1.1751537138809888e-5

Results

17.0ms

144×

body

256

valid

Compiler

Compiled 89 to 78 computations (12.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	91

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(if (<=.f64 (*.f64 -2 x) -3602879701896397/36028797018963968) (-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1) (if (<=.f64 (*.f64 -2 x) 5902958103587057/147573952589676412928) (+.f64 (*.f64 -1/3 (pow.f64 x 3)) x) -1))

(if (<=.f64 x -1) -1 x)

-1

Outputs

(if (<=.f64 (*.f64 -2 x) -3602879701896397/36028797018963968) (-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1) (if (<=.f64 (*.f64 -2 x) 5902958103587057/147573952589676412928) (+.f64 (*.f64 -1/3 (pow.f64 x 3)) x) -1))

(if (<=.f64 x -1) -1 x)

-1

Compiler

Compiled 43 to 36 computations (16.3% saved)

soundness114.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1270×	`rational.json-simplify-53`
1208×	`rational.json-simplify-51`
864×	`rational.json-simplify-2`
826×	`rational.json-simplify-41`
822×	`rational.json-simplify-39`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	200	3367
1	442	3367
2	2721	3163
3	5045	3163

Stop Event

1×	node limit

Compiler

Compiled 20 to 18 computations (10% saved)

end29.0ms (0.3%)

Compiler: Compiled 39 to 32 computations (17.9% saved)

Details

analyze0.0ms (0%)

sample1.6s (18.3%)

preprocess2.9s (33.8%)

simplify1.2s (13.8%)

eval1.0ms (0%)

prune1.0ms (0%)

localize16.0ms (0.2%)

series3.0ms (0%)

rewrite86.0ms (1%)

simplify107.0ms (1.2%)

eval49.0ms (0.6%)

prune24.0ms (0.3%)

localize10.0ms (0.1%)

series2.0ms (0%)

rewrite251.0ms (2.9%)

simplify509.0ms (6%)

localize5.0ms (0.1%)

series0.0ms (0%)

rewrite225.0ms (2.6%)

simplify371.0ms (4.3%)

localize11.0ms (0.1%)

series1.0ms (0%)

rewrite82.0ms (1%)

simplify118.0ms (1.4%)

eval52.0ms (0.6%)

prune33.0ms (0.4%)

localize5.0ms (0.1%)

series0.0ms (0%)

rewrite180.0ms (2.1%)

simplify459.0ms (5.4%)

eval4.0ms (0%)

prune6.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes84.0ms (1%)

bsearch0.0ms (0%)

regimes51.0ms (0.6%)

bsearch19.0ms (0.2%)

simplify3.0ms (0%)

soundness114.0ms (1.3%)

end29.0ms (0.3%)

Profiling