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)

sample2.6s (27.4%)

Results

1.3s	2169×	body	1024	valid
778.0ms	4869×	body	256	valid
504.0ms	1000×	body	512	valid
79.0ms	218×	body	2048	valid

Bogosity

preprocess2.8s (28.7%)

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.1s (11.6%)

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

30.3b

Counts

4 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 12 to 11 computations (8.3% saved)

localize15.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 37 to 31 computations (16.2% saved)

series3.0ms (0%)

Counts

2 → 16

Calls

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

rewrite71.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1242×	`bool.json-1`
1242×	`bool.json-2`
1204×	`rational.json-simplify-35`
1198×	`rational.json-1`
1198×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	52
1	128	52
2	357	52
3	755	52
4	1588	52
5	3910	52

Stop Event

1×	node limit

Counts

2 → 49

Calls

Call 1

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

Outputs
((#(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 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 2 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))))) (#(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 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4) 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 2 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))) (.f64 2 (.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -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)))) 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 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 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 1/2 (.f64 (+.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 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (/.f64 1/2 (.f64 (+.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 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 1 (.f64 (+.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 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 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (.f64 (+.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 1 (exp.f64 (.f64 -2 x))) 1/4) (/.f64 2 (.f64 (+.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 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (/.f64 2 (+.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))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) (+.f64 1 (exp.f64 (.f64 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2))) (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -2 (+.f64 1 (exp.f64 (.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.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 or (/.f64 2 (+.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 (/.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 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 2 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4))))) (#(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 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4) 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 2 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -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)))) 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 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 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 1/2 (*.f64 (+.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 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 2 (*.f64 2 (exp.f64 (*.f64 -2 x)))) (/.f64 1/2 (*.f64 (+.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 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 1 (*.f64 (+.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 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 (+.f64 2 (*.f64 2 (exp.f64 (*.f64 -2 x)))) (*.f64 (+.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 1 (exp.f64 (*.f64 -2 x))) 1/4) (/.f64 2 (*.f64 (+.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 2 (*.f64 2 (exp.f64 (*.f64 -2 x)))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 2 (+.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))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))) (+.f64 1 (exp.f64 (*.f64 -2 x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1/2 (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) (*.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))) (+.f64 2 (*.f64 2 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 -2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))) (#(struct:change #<rule egg-rr> (2) ((x not (not (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))))))) (#(struct:change #<rule egg-rr> (2) ((x and (/.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 or (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))))))))

simplify105.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

1256×	`rational.json-simplify-59`
1036×	`rational.json-simplify-55`
976×	`rational.json-simplify-35`
856×	`rational.json-simplify-2`
800×	`rational.json-simplify-50`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	116	2407
1	225	2407
2	553	2359
3	1636	2359
4	3475	2167
5	5420	2167

Stop Event

1×	node limit

Counts

65 → 91

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)
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 (/.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 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))
(.f64 (.f64 2 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)) 1/2)
(.f64 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4) 1/4)
(.f64 1/2 (.f64 2 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1)))
(.f64 1/4 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4))
(.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 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4) 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 2 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1)) 2)
(/.f64 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4) 4)
(/.f64 (.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))) 16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))) (.f64 2 (.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4)))) 32)
(+.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 1 (+.f64 1 (exp.f64 (.f64 -2 x)))))
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 0)
(.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 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))))
(.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 1)
(.f64 4 (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 4))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))))
(.f64 (/.f64 4 (+.f64 1 (exp.f64 (.f64 -2 x)))) 1/2)
(.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2) (/.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))))
(.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 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))))
(.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4) (/.f64 2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))))
(.f64 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))) 1/4)
(.f64 (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 4) 4)
(.f64 (/.f64 2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))
(.f64 (/.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))
(.f64 (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) (+.f64 1 (exp.f64 (.f64 -2 x))))
(.f64 (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2))) (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x)))))
(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 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5))))
(+.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 -17/315 (pow.f64 x 7)) (+.f64 x (+.f64 (.f64 2/15 (pow.f64 x 5)) (*.f64 -1/3 (pow.f64 x 3)))))
(+.f64 (.f64 2/15 (pow.f64 x 5)) (+.f64 (+.f64 x (.f64 -1/3 (pow.f64 x 3))) (*.f64 -17/315 (pow.f64 x 7))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2)))) -1)
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 1 (+.f64 x (+.f64 (.f64 2/15 (pow.f64 x 5)) (.f64 -1/3 (pow.f64 x 3)))))
(+.f64 1 (+.f64 x (+.f64 (.f64 -1/3 (pow.f64 x 3)) (.f64 2/15 (pow.f64 x 5)))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 x (+.f64 1 (.f64 2/15 (pow.f64 x 5)))))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 x (+.f64 (.f64 2/15 (pow.f64 x 5)) 1)))
(+.f64 (.f64 -1/3 (pow.f64 x 3)) (+.f64 (.f64 2/15 (pow.f64 x 5)) (+.f64 x 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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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) 4) 1/4)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 2 (+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4))
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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) 4) 4)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1)) 2)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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) 4) 4)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) -1) 4)) 8)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))) 16)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4))) (.f64 2 (.f64 2 (.f64 (+.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) -1) 4)))) 32)
(+.f64 (.f64 2 (/.f64 1 (+.f64 1 (exp.f64 (.f64 x -2))))) -1)
(+.f64 -1 (.f64 1/2 (/.f64 4 (+.f64 1 (exp.f64 (.f64 x -2))))))
(+.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)))) 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 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 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 1/2 (.f64 (+.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 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/4)))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 1/2 (.f64 1/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 2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (*.f64 x -2))))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (.f64 x -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 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 4))
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/2))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (/.f64 (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) 1/2)) (+.f64 1 (exp.f64 (.f64 x -2)))))
(.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 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 1 (.f64 (+.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 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/4)))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 1/2 (.f64 1/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 2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (*.f64 x -2))))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 (/.f64 -2 (-.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 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))))
(.f64 1/4 (/.f64 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) 1/4)))
(.f64 1/4 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (.f64 1/4 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (*.f64 x -2)))))))
(.f64 1/4 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/4))))
(.f64 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4) (/.f64 2 (.f64 (+.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 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/4)))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 1/2 (.f64 1/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 2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (*.f64 x -2))))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (.f64 x -2)))))
(.f64 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 -2 x)))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))) 1/4)
(.f64 1/4 (/.f64 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) 1/4)))
(.f64 1/4 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (.f64 1/4 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (*.f64 x -2)))))))
(.f64 1/4 (/.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/4))))
(.f64 (/.f64 (/.f64 2 (+.f64 1 (exp.f64 (.f64 -2 x)))) 4) 4)
(/.f64 2 (+.f64 1 (exp.f64 (*.f64 x -2))))
(/.f64 -2 (-.f64 -1 (exp.f64 (*.f64 x -2))))
(.f64 (/.f64 2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/4))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/4)))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 1/2 (.f64 1/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 2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (*.f64 x -2))))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (.f64 x -2)))))
(.f64 (/.f64 1 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) (.f64 (+.f64 1 (exp.f64 (*.f64 -2 x))) 1/2))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/4)))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 1/2 (.f64 1/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 2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (*.f64 x -2))))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (.f64 x -2)))))
(.f64 (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/4))) (+.f64 1 (exp.f64 (.f64 -2 x))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 (/.f64 1/2 (+.f64 1 (exp.f64 (.f64 x -2)))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/4)))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 1/2 (.f64 1/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 2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (+.f64 1 (exp.f64 (*.f64 x -2))))))
(.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (/.f64 (/.f64 -2 (-.f64 -1 (exp.f64 (.f64 x -2)))) (+.f64 1 (exp.f64 (.f64 x -2)))))
(.f64 (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) (.f64 (+.f64 1 (exp.f64 (.f64 -2 x))) 1/2))) (+.f64 2 (.f64 2 (exp.f64 (*.f64 -2 x)))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) (.f64 (+.f64 1 (exp.f64 (*.f64 x -2))) 1/2))))
(.f64 (+.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (/.f64 (/.f64 1/2 (.f64 (+.f64 1 (exp.f64 (.f64 x -2))) 1/2)) (+.f64 1 (exp.f64 (.f64 x -2)))))
(.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))))))
(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))))

eval34.0ms (0.4%)

Compiler: Compiled 1506 to 1329 computations (11.8% saved)

prune13.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	88	3	91
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	88	4	92

Error

Counts

92 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 31 to 26 computations (16.1% saved)

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

rewrite109.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1730×	`bool.json-1`
1730×	`bool.json-2`
1674×	`rational.json-1`
1146×	`rational.json-simplify-35`
1082×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	79	32
2	208	32
3	422	32
4	866	32
5	1868	32
6	4223	32
7	7019	32

Stop Event

1×	node limit

Counts

2 → 32

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 (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) -8/3))) (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) -8/3)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (.f64 -1/3 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x and (.f64 -1/3 (pow.f64 x 3)) (.f64 -1/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (.f64 -1/3 (pow.f64 x 3)) (*.f64 -1/3 (pow.f64 x 3)))))))
((#(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 x (.f64 -1/3 (pow.f64 x 3))) 1/2))))) (#(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 x (+.f64 x (.f64 (pow.f64 x 3) -2/3))) 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 x (+.f64 x (.f64 (pow.f64 x 3) -2/3))))))) (#(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 x (.f64 -1/3 (pow.f64 x 3))) 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 (+.f64 x (.f64 -1/3 (pow.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) -2/3))) 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 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 -1/3 (pow.f64 x 3))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 -1/3 (pow.f64 x 3))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x (.f64 -1/3 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x (.f64 -1/3 (pow.f64 x 3))) (+.f64 x (.f64 -1/3 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x (.f64 -1/3 (pow.f64 x 3))) (+.f64 x (*.f64 -1/3 (pow.f64 x 3))))))))

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 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) -8/3))) (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) -8/3)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 -1/3 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 -1/3 (pow.f64 x 3)) (*.f64 -1/3 (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 -1/3 (pow.f64 x 3)) (*.f64 -1/3 (pow.f64 x 3)))))))

((#(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 x (*.f64 -1/3 (pow.f64 x 3))) 1/2))))) (#(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 x (+.f64 x (*.f64 (pow.f64 x 3) -2/3))) 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 x (+.f64 x (*.f64 (pow.f64 x 3) -2/3))))))) (#(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 x (*.f64 -1/3 (pow.f64 x 3))) 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 (+.f64 x (*.f64 -1/3 (pow.f64 x 3))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (+.f64 x (*.f64 (pow.f64 x 3) -2/3))) 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 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 -1/3 (pow.f64 x 3))) 8))) (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 -1/3 (pow.f64 x 3))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (+.f64 x (*.f64 -1/3 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x and (+.f64 x (*.f64 -1/3 (pow.f64 x 3))) (+.f64 x (*.f64 -1/3 (pow.f64 x 3))))))) (#(struct:change #<rule egg-rr> (2) ((x or (+.f64 x (*.f64 -1/3 (pow.f64 x 3))) (+.f64 x (*.f64 -1/3 (pow.f64 x 3))))))))

simplify723.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

3298×	`rational.json-simplify-35`
2760×	`rational.json-simplify-2`
2640×	`rational.json-simplify-51`
1358×	`rational.json-simplify-49`
1122×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	581
1	156	581
2	387	581
3	1072	581
4	2119	581
5	2759	581
6	2876	581
7	2962	581
8	3027	581
9	3091	581
10	3155	581
11	3219	581
12	3284	581
13	3349	581
14	3414	581
15	3479	581
16	3544	581
17	3609	581
18	3674	581
19	4645	581
20	6455	581
21	6541	581
22	6545	581
23	6545	581
24	6545	581
25	6576	581
26	6638	581
27	6700	581
28	6761	581
29	6822	581
30	6883	581
31	6944	581
32	7005	581
33	7066	581
34	7127	581

Stop Event

1×	node limit

Counts

35 → 35

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 (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) -8/3))) (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) -8/3)))) 64)
(-.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 x (*.f64 -1/3 (pow.f64 x 3))) 1/2))
(.f64 2 (+.f64 (.f64 (pow.f64 x 3) -1/6) (*.f64 x 1/2)))
(.f64 (+.f64 x (+.f64 x (.f64 (pow.f64 x 3) -2/3))) 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 x (+.f64 x (.f64 (pow.f64 x 3) -2/3))))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 3) -2/3) (+.f64 x x)))
(.f64 (.f64 (+.f64 x (*.f64 -1/3 (pow.f64 x 3))) 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 (+.f64 x (*.f64 -1/3 (pow.f64 x 3))) 1)
(/.f64 (+.f64 x (+.f64 x (*.f64 (pow.f64 x 3) -2/3))) 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 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 -1/3 (pow.f64 x 3))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 -1/3 (pow.f64 x 3))) 8)))) 64)

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 (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) -8/3))) (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) -8/3)))) 64)
(*.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 x (*.f64 -1/3 (pow.f64 x 3))) 1/2))
(+.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 x (+.f64 x (.f64 (pow.f64 x 3) -2/3))) 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 x (+.f64 x (.f64 (pow.f64 x 3) -2/3))))
(+.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 x (*.f64 -1/3 (pow.f64 x 3))) 1/2) 2)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(.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 (+.f64 x (*.f64 -1/3 (pow.f64 x 3))) 1)
(+.f64 x (*.f64 -1/3 (pow.f64 x 3)))
(/.f64 (+.f64 x (+.f64 x (*.f64 (pow.f64 x 3) -2/3))) 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 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 -1/3 (pow.f64 x 3))) 8))) (.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)))

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	3.0b	(-.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)

rewrite105.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1840×	`bool.json-1`
1840×	`bool.json-2`
1184×	`rational.json-simplify-35`
1148×	`rational.json-1`
1148×	`rational.json-2`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	13
1	72	1
2	245	1
3	478	1
4	984	1
5	2250	1
6	4810	1
7	7397	1

Stop Event

1×	node limit

Counts

1 → 33

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 (+.f64 x -3) 3)))) (#(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 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 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 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 (*.f64 2 (*.f64 2 (*.f64 x 8))) (*.f64 2 (*.f64 2 (*.f64 x 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x . x)))) (#(struct:change #<rule egg-rr> (2) ((x not (not x))))) (#(struct:change #<rule egg-rr> (2) ((x and x x)))) (#(struct:change #<rule egg-rr> (2) ((x or x x)))))

simplify376.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

3576×	`rational.json-simplify-48`
2418×	`rational.json-simplify-51`
1914×	`rational.json-simplify-2`
1646×	`rational.json-simplify-1`
1498×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	65	45
1	118	45
2	459	45
3	1366	45
4	2165	45
5	2897	45
6	3197	45
7	3274	45
8	3331	45
9	3395	45
10	3893	45
11	5053	45
12	5519	45
13	5587	45
14	5651	45
15	5722	45
16	5965	45
17	6319	45
18	6412	45
19	6505	45
20	6598	45
21	6691	45
22	7491	45

Stop Event

1×	node limit

Counts

45 → 34

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 (+.f64 x -3) 3)
(+.f64 3 (+.f64 x -3))
(+.f64 (+.f64 x 3) -3)
(+.f64 (.f64 x 1/2) (.f64 x 1/2))
(+.f64 -3 (+.f64 x 3))
(*.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 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 (.f64 2 (.f64 2 (.f64 x 8))) (.f64 2 (.f64 2 (.f64 x 8)))) 64)

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 (+.f64 x -3) 3)
x
(+.f64 3 (+.f64 x -3))
x
(+.f64 (+.f64 x 3) -3)
x
(+.f64 (.f64 x 1/2) (.f64 x 1/2))
x
(+.f64 -3 (+.f64 x 3))
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 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 (.f64 2 (.f64 2 (.f64 x 8))) (.f64 2 (.f64 2 (.f64 x 8)))) 64)
x

eval14.0ms (0.1%)

Compiler: Compiled 561 to 443 computations (21% saved)

prune10.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	69	4	73

Error

Counts

73 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 31 to 26 computations (16.1% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	3.0b	(+.f64 (+.f64 x 2) -2)

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 2) -2)
0.0ms	x	@	inf	(+.f64 (+.f64 x 2) -2)
0.0ms	x	@	-inf	(+.f64 (+.f64 x 2) -2)

rewrite88.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1510×	`bool.json-1`
1510×	`bool.json-2`
1468×	`rational.json-1`
1468×	`rational.json-2`
1468×	`rational.json-3`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	70	1
2	192	1
3	378	1
4	789	1
5	1759	1
6	3826	1
7	6457	1

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

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

Outputs

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

simplify1.3s (13.4%)

Algorithm

1×	egg-herbie

Rules

4456×	`rational.json-simplify-51`
3988×	`rational.json-simplify-2`
2956×	`rational.json-simplify-35`
1012×	`rational.json-simplify-1`
946×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	32
1	80	32
2	290	32
3	829	32
4	1377	32
5	2049	32
6	2398	32
7	2471	32
8	2517	32
9	2548	32
10	2578	32
11	2608	32
12	2638	32
13	2668	32
14	2698	32
15	2728	32
16	2758	32
17	2788	32
18	2818	32
19	3470	32
20	3833	32
21	3879	32
22	3925	32
23	3968	32
24	4010	32
25	4052	32
26	4094	32
27	4136	32
28	4178	32
29	4220	32
30	4262	32
31	4304	32
32	4346	32
33	4346	32
34	4388	32
35	7480	32
36	7537	32
37	7565	32
38	7593	32
39	7621	32
40	7649	32
41	7677	32
42	7705	32
43	7733	32
44	7761	32
45	7789	32
46	7817	32
47	7845	32
48	7873	32
49	7901	32
50	7929	32

Stop Event

1×	node limit

Counts

32 → 21

Calls

Call 1

Inputs
x
x
x
x
x
x
x
x
x
x
x
x
(-.f64 x 0)
(*.f64 x 1)
(.f64 2 (.f64 x 1/2))
(*.f64 1 x)
(*.f64 (+.f64 x x) 1/2)
(.f64 4 (.f64 x 1/4))
(.f64 (.f64 x 4) 1/4)
(.f64 (.f64 x 8) 1/8)
(*.f64 1/2 (+.f64 x x))
(.f64 (.f64 x 1/2) 2)
(.f64 1/4 (.f64 x 4))
(.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 (.f64 2 (.f64 2 (.f64 x 8))) (.f64 2 (.f64 2 (.f64 x 8)))) 64)

Outputs
x
x
x
x
x
x
x
x
x
x
x
x
(-.f64 x 0)
x
(*.f64 x 1)
x
(.f64 2 (.f64 x 1/2))
x
(*.f64 1 x)
x
(*.f64 (+.f64 x x) 1/2)
x
(.f64 4 (.f64 x 1/4))
x
(.f64 (.f64 x 4) 1/4)
x
(.f64 (.f64 x 8) 1/8)
x
(*.f64 1/2 (+.f64 x x))
x
(.f64 (.f64 x 1/2) 2)
x
(.f64 1/4 (.f64 x 4))
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 (.f64 2 (.f64 2 (.f64 x 8))) (.f64 2 (.f64 2 (.f64 x 8)))) 64)
x

eval3.0ms (0%)

Compiler: Compiled 113 to 86 computations (23.9% saved)

prune4.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	21	0	21
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	21	4	25

Error

Counts

25 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 31 to 26 computations (16.1% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 31 to 26 computations (16.1% saved)

regimes77.0ms (0.8%)

Counts

5 → 3

Calls

Call 1

Inputs
x
(+.f64 (+.f64 x 2) -2)
(-.f64 (+.f64 x 1) 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)
(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)

Calls

7 calls:

31.0ms	y
12.0ms	x
11.0ms	(*.f64 -2 x)
6.0ms	(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)
6.0ms	(exp.f64 (*.f64 -2 x))

Results

Error	Segments	Branch
0b	3	`x`
21.3b	8	`y`
0b	3	`(-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)`
0b	3	`(/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x))))`
0b	3	`(+.f64 1 (exp.f64 (*.f64 -2 x)))`
0b	3	`(exp.f64 (*.f64 -2 x))`
0b	3	`(*.f64 -2 x)`

Compiler

Compiled 77 to 64 computations (16.9% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	0.00017612212955035392	13429.957546548776
0.0ms	-144.81795298441727	-1.664745153831437e-5

Compiler

Compiled 17 to 15 computations (11.8% saved)

regimes10.0ms (0.1%)

Accuracy

Total -31.8b remaining (-107.1%)

Threshold costs -31.8b (-107.1%)

Counts

4 → 1

Calls

Call 1

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

Outputs
x

Calls

2 calls:

4.0ms	x
3.0ms	y

Results

Error	Segments	Branch
29.7b	1	`x`
29.7b	1	`y`

Compiler

Compiled 26 to 19 computations (26.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	108

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(if (<=.f64 (*.f64 -2 x) -100) (-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1) (if (<=.f64 (*.f64 -2 x) 7378697629483821/36893488147419103232) (+.f64 (*.f64 -1/3 (pow.f64 x 3)) x) (-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)))

Outputs

(if (<=.f64 (*.f64 -2 x) -100) (-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1) (if (<=.f64 (*.f64 -2 x) 7378697629483821/36893488147419103232) (+.f64 (*.f64 -1/3 (pow.f64 x 3)) x) (-.f64 (/.f64 2 (+.f64 1 (exp.f64 (*.f64 -2 x)))) 1)))

Compiler

Compiled 44 to 37 computations (15.9% saved)

soundness0.0ms (0%)

end29.0ms (0.3%)

Compiler: Compiled 42 to 35 computations (16.7% saved)

Details

analyze0.0ms (0%)

sample2.6s (27.4%)

preprocess2.8s (28.7%)

simplify1.1s (11.6%)

eval1.0ms (0%)

prune1.0ms (0%)

localize15.0ms (0.2%)

series3.0ms (0%)

rewrite71.0ms (0.7%)

simplify105.0ms (1.1%)

eval34.0ms (0.4%)

prune13.0ms (0.1%)

localize12.0ms (0.1%)

series2.0ms (0%)

rewrite109.0ms (1.1%)

simplify723.0ms (7.5%)

localize5.0ms (0.1%)

series0.0ms (0%)

rewrite105.0ms (1.1%)

simplify376.0ms (3.9%)

eval14.0ms (0.1%)

prune10.0ms (0.1%)

localize7.0ms (0.1%)

series0.0ms (0%)

rewrite88.0ms (0.9%)

simplify1.3s (13.4%)

eval3.0ms (0%)

prune4.0ms (0%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes77.0ms (0.8%)

bsearch0.0ms (0%)

regimes10.0ms (0.1%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end29.0ms (0.3%)

Profiling