Details

analyze3.0ms (0%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	100%	0%	0%	0%	0%	2
50%	50%	50%	0%	0%	0%	0%	3
66.7%	50%	25%	0%	25%	0%	0%	4
80%	50%	12.5%	0%	37.5%	0%	0%	5
88.9%	50%	6.2%	0%	43.7%	0%	0%	6
94.1%	50%	3.1%	0%	46.9%	0%	0%	7
97%	50%	1.6%	0%	48.4%	0%	0%	8
98.5%	50%	0.8%	0%	49.2%	0%	0%	9
99.2%	50.4%	0.4%	0%	49.2%	0%	0%	10
99.6%	50.4%	0.2%	0%	49.4%	0%	0%	11
99.8%	50.4%	0.1%	0%	49.5%	0%	0%	12

Compiler

Compiled 10 to 8 computations (20% saved)

sample5.1s (36.3%)

Results

3.1s	4182×	body	1024	valid
822.0ms	1666×	body	256	valid
615.0ms	1997×	body	512	valid
432.0ms	411×	body	2048	valid
0.0ms	4×	body	256	infinite

Bogosity

preprocess1.9s (13.8%)

Algorithm

2×	egg-herbie

Rules

15824×	`rational.json-simplify-41`
2168×	`rational.json-simplify-1`
980×	`rational.json-simplify-35`
2×	`rational.json-simplify-12`
2×	`rational.json-simplify-10`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	21	25
2	33	25
3	45	25
4	65	25
5	107	25
6	219	25
7	564	25
8	718	25
9	728	25
10	738	25
11	748	25
12	758	25
13	768	25
14	778	25
15	788	25
16	798	25
17	808	25
18	818	25
19	828	25
20	838	25
21	848	25
22	858	25
23	2485	25
24	2495	25
25	2505	25
26	2515	25
27	2525	25
28	2535	25
29	3316	25
30	3326	25
31	3336	25
32	3346	25
33	3356	25
34	3366	25
35	3376	25
36	3386	25
37	3396	25
38	3406	25
39	3416	25
40	3426	25
41	3436	25
42	3446	25
43	3456	25
44	3466	25
45	3476	25
46	3486	25
47	3496	25
48	3506	25
49	3516	25
50	3526	25
51	3536	25
52	3546	25
53	3556	25
54	3566	25
55	3576	25
56	3586	25
57	3596	25
58	3606	25
59	3616	25
60	3626	25
61	3636	25
62	3646	25
63	3656	25
64	3666	25
65	3676	25
66	3686	25
67	3696	25
68	3706	25
69	3716	25
70	3726	25
71	3736	25
72	3746	25
73	3756	25
74	3766	25
75	3776	25
76	3786	25
77	3796	25
78	3806	25
79	3816	25
80	3826	25
81	3836	25
82	3846	25
83	3856	25
84	3866	25
85	3876	25
86	3886	25
87	3896	25
88	3906	25
89	3916	25
90	3926	25
91	3936	25
92	3946	25
93	3956	25
94	3966	25
95	3976	25
96	3986	25
97	3996	25
98	4006	25
99	4016	25
100	4026	25
101	4036	25
102	4046	25
103	4056	25
104	4066	25
105	4076	25
106	4086	25
107	4096	25
108	4106	25
109	4116	25
110	4126	25
111	4136	25
112	4146	25
113	4156	25
114	4166	25
115	4176	25
116	4186	25
117	4196	25
118	4206	25
119	4216	25
120	4226	25
121	4236	25
122	4246	25
123	4256	25
124	4266	25
125	4276	25
126	4286	25
127	4296	25
128	4306	25
129	4316	25
130	4326	25
131	4336	25
132	4346	25
133	4356	25
134	4366	25
135	4376	25
136	4386	25
137	4396	25
138	4406	25
139	4416	25
140	4426	25
141	4436	25
142	4446	25
143	4456	25
144	4466	25
145	4476	25
146	4486	25
147	4496	25
148	4506	25
149	4516	25
150	4526	25
151	4536	25
152	4546	25
153	4556	25
154	4566	25
155	4576	25
156	4586	25
157	4596	25
158	4606	25
159	4616	25
160	4626	25
161	4636	25
162	4646	25
163	4656	25
0	1	1

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0

Outputs
0

Call 2

Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Compiler

Compiled 10 to 8 computations (20% saved)

simplify1.9s (13.7%)

Algorithm

1×	egg-herbie

Rules

15824×	`rational.json-simplify-41`
2168×	`rational.json-simplify-1`
980×	`rational.json-simplify-35`
2×	`rational.json-simplify-12`
2×	`rational.json-simplify-10`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	21	25
2	33	25
3	45	25
4	65	25
5	107	25
6	219	25
7	564	25
8	718	25
9	728	25
10	738	25
11	748	25
12	758	25
13	768	25
14	778	25
15	788	25
16	798	25
17	808	25
18	818	25
19	828	25
20	838	25
21	848	25
22	858	25
23	2485	25
24	2495	25
25	2505	25
26	2515	25
27	2525	25
28	2535	25
29	3316	25
30	3326	25
31	3336	25
32	3346	25
33	3356	25
34	3366	25
35	3376	25
36	3386	25
37	3396	25
38	3406	25
39	3416	25
40	3426	25
41	3436	25
42	3446	25
43	3456	25
44	3466	25
45	3476	25
46	3486	25
47	3496	25
48	3506	25
49	3516	25
50	3526	25
51	3536	25
52	3546	25
53	3556	25
54	3566	25
55	3576	25
56	3586	25
57	3596	25
58	3606	25
59	3616	25
60	3626	25
61	3636	25
62	3646	25
63	3656	25
64	3666	25
65	3676	25
66	3686	25
67	3696	25
68	3706	25
69	3716	25
70	3726	25
71	3736	25
72	3746	25
73	3756	25
74	3766	25
75	3776	25
76	3786	25
77	3796	25
78	3806	25
79	3816	25
80	3826	25
81	3836	25
82	3846	25
83	3856	25
84	3866	25
85	3876	25
86	3886	25
87	3896	25
88	3906	25
89	3916	25
90	3926	25
91	3936	25
92	3946	25
93	3956	25
94	3966	25
95	3976	25
96	3986	25
97	3996	25
98	4006	25
99	4016	25
100	4026	25
101	4036	25
102	4046	25
103	4056	25
104	4066	25
105	4076	25
106	4086	25
107	4096	25
108	4106	25
109	4116	25
110	4126	25
111	4136	25
112	4146	25
113	4156	25
114	4166	25
115	4176	25
116	4186	25
117	4196	25
118	4206	25
119	4216	25
120	4226	25
121	4236	25
122	4246	25
123	4256	25
124	4266	25
125	4276	25
126	4286	25
127	4296	25
128	4306	25
129	4316	25
130	4326	25
131	4336	25
132	4346	25
133	4356	25
134	4366	25
135	4376	25
136	4386	25
137	4396	25
138	4406	25
139	4416	25
140	4426	25
141	4436	25
142	4446	25
143	4456	25
144	4466	25
145	4476	25
146	4486	25
147	4496	25
148	4506	25
149	4516	25
150	4526	25
151	4536	25
152	4546	25
153	4556	25
154	4566	25
155	4576	25
156	4586	25
157	4596	25
158	4606	25
159	4616	25
160	4626	25
161	4636	25
162	4646	25
163	4656	25

Stop Event

1×	node limit

Counts

1 → 1

Calls

Call 1

Inputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Outputs
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

eval0.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

58.6b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	58.6b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Compiler

Compiled 9 to 7 computations (22.2% saved)

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	5.0b	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Compiler

Compiled 24 to 8 computations (66.7% saved)

series1.0ms (0%)

Counts

1 → 8

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
0.0ms	x	@	-inf	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
0.0ms	x	@	inf	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

rewrite99.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1764×	`rational.json-simplify-35`
1310×	`exponential.json-3`
1310×	`rational.json-1`
1310×	`rational.json-2`
1310×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	55	19
2	137	19
3	316	19
4	640	19
5	1628	19
6	4457	19

Stop Event

1×	node limit

Counts

1 → 46

Calls

Call 1

Inputs
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

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

Outputs

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

simplify120.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1122×	`rational.json-simplify-2`
966×	`rational.json-simplify-41`
944×	`rational.json-simplify-54`
638×	`rational.json-simplify-42`
520×	`rational.json-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	125	1202
1	244	1202
2	510	1202
3	1278	1202
4	3421	1202
5	5005	1202
6	6804	1202

Stop Event

1×	node limit

Counts

54 → 63

Calls

Call 1

Inputs
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(+.f64 (exp.f64 x) (/.f64 -1 (exp.f64 x)))
(+.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 0)
(+.f64 0 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(+.f64 -1 (+.f64 (exp.f64 x) (-.f64 1 (exp.f64 (neg.f64 x)))))
(+.f64 -1 (+.f64 (-.f64 1 (exp.f64 (neg.f64 x))) (exp.f64 x)))
(+.f64 -2 (-.f64 1 (-.f64 -1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(+.f64 (/.f64 -1 (exp.f64 x)) (exp.f64 x))
(+.f64 (+.f64 (exp.f64 x) (-.f64 1 (exp.f64 (neg.f64 x)))) -1)
(+.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2) (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2))
(+.f64 (+.f64 (exp.f64 x) -1) (-.f64 1 (exp.f64 (neg.f64 x))))
(+.f64 (-.f64 -1 (exp.f64 (neg.f64 x))) (-.f64 1 (neg.f64 (exp.f64 x))))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1)
(*.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(*.f64 -1 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(.f64 2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2))
(.f64 2 (-.f64 (.f64 (exp.f64 x) 1/2) (/.f64 1/2 (exp.f64 x))))
(.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2) 1/2)
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) -1)
(*.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4))
(.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4) 1/4)
(.f64 1/2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2))
(.f64 1/2 (-.f64 (.f64 (exp.f64 x) 2) (/.f64 2 (exp.f64 x))))
(.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2) 2)
(.f64 (.f64 (exp.f64 x) 1/2) (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))))
(.f64 1/4 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4))
(*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4) 4)
(.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x))
(.f64 (-.f64 (.f64 (exp.f64 x) 1/2) (/.f64 1/2 (exp.f64 x))) 2)
(.f64 (-.f64 (.f64 (exp.f64 x) 2) (/.f64 2 (exp.f64 x))) 1/2)
(.f64 (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (.f64 (exp.f64 x) 1/2))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1)
(/.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2) 2)
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) -1)
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) (*.f64 (exp.f64 (neg.f64 x)) (neg.f64 (exp.f64 x))))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) (*.f64 (neg.f64 (exp.f64 x)) (exp.f64 (neg.f64 x))))
(/.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4) 4)
(/.f64 (*.f64 2 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))) -2)
(/.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8) 8)
(/.f64 (.f64 2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8)) 16)
(/.f64 (*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 4) -4)
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8))) 32)
(/.f64 (.f64 2 (.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 4)) -8)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8))) (.f64 2 (.f64 2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8)))) 64)
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1)
(neg.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))

Outputs
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 2 x)))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 2 x) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5)))))
(+.f64 (.f64 2 x) (+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (.f64 1/2520 (pow.f64 x 7)))))
(+.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) (+.f64 (.f64 1/60 (pow.f64 x 5)) (.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/2520 (pow.f64 x 7)))))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (*.f64 -1 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (exp.f64 x) (/.f64 -1 (exp.f64 x)))
(+.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 0)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 0 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 -1 (+.f64 (exp.f64 x) (-.f64 1 (exp.f64 (neg.f64 x)))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 -1 (+.f64 (-.f64 1 (exp.f64 (neg.f64 x))) (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 -2 (-.f64 1 (-.f64 -1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (/.f64 -1 (exp.f64 x)) (exp.f64 x))
(+.f64 (exp.f64 x) (/.f64 -1 (exp.f64 x)))
(+.f64 (+.f64 (exp.f64 x) (-.f64 1 (exp.f64 (neg.f64 x)))) -1)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2) (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (+.f64 (exp.f64 x) -1) (-.f64 1 (exp.f64 (neg.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(+.f64 (-.f64 -1 (exp.f64 (neg.f64 x))) (-.f64 1 (neg.f64 (exp.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 1 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 -1 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(.f64 2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(.f64 2 (-.f64 (.f64 (exp.f64 x) 1/2) (/.f64 1/2 (exp.f64 x))))
(.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2) 1/2)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) -1)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 4 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4) 1/4)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(.f64 1/2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(.f64 1/2 (-.f64 (.f64 (exp.f64 x) 2) (/.f64 2 (exp.f64 x))))
(.f64 1/2 (-.f64 (.f64 2 (exp.f64 x)) (/.f64 2 (exp.f64 x))))
(.f64 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1/2) 2)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(.f64 (.f64 (exp.f64 x) 1/2) (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))))
(.f64 1/2 (.f64 (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (exp.f64 x)))
(.f64 (exp.f64 x) (.f64 1/2 (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2))))))
(.f64 1/2 (.f64 (exp.f64 x) (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2))))))
(.f64 1/4 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(*.f64 (/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4) 4)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(.f64 (-.f64 (.f64 (exp.f64 x) 1/2) (/.f64 1/2 (exp.f64 x))) 2)
(.f64 2 (-.f64 (.f64 (exp.f64 x) 1/2) (/.f64 1/2 (exp.f64 x))))
(.f64 (-.f64 (.f64 (exp.f64 x) 2) (/.f64 2 (exp.f64 x))) 1/2)
(.f64 1/2 (-.f64 (.f64 2 (exp.f64 x)) (/.f64 2 (exp.f64 x))))
(.f64 (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (.f64 (exp.f64 x) 1/2))
(.f64 (.f64 (exp.f64 x) 1/2) (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))))
(.f64 1/2 (.f64 (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2)))) (exp.f64 x)))
(.f64 (exp.f64 x) (.f64 1/2 (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2))))))
(.f64 1/2 (.f64 (exp.f64 x) (-.f64 2 (.f64 2 (exp.f64 (.f64 x -2))))))
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2) 2)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) -1)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) (*.f64 (exp.f64 (neg.f64 x)) (neg.f64 (exp.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) (*.f64 (neg.f64 (exp.f64 x)) (exp.f64 (neg.f64 x))))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 4) 4)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (*.f64 2 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x))) -2)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8) 8)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (.f64 2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8)) 16)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (*.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 4) -4)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (.f64 2 (.f64 2 (*.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8))) 32)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (.f64 2 (.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 4)) -8)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8))) (.f64 2 (.f64 2 (.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 8)))) 64)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(pow.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 1)
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
(neg.f64 (-.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)))
(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

eval14.0ms (0.1%)

Compiler: Compiled 857 to 533 computations (37.8% saved)

prune97.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	59	4	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	5	64

Error

Counts

64 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.6b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
▶	0.3b	(/.f64 (+.f64 (.f64 2 x) (+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (.f64 1/2520 (pow.f64 x 7)))) 2)
▶	0.5b	(/.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) 2)
▶	58.6b	(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 2)
▶	0.8b	(/.f64 (*.f64 2 x) 2)

Compiler

Compiled 63 to 52 computations (17.5% saved)

localize4.0ms (0%)

Compiler: Compiled 11 to 8 computations (27.3% saved)

localize15.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 40 to 29 computations (27.5% saved)

series1.0ms (0%)

Counts

2 → 24

Calls

6 calls:

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

rewrite270.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1518×	`rational.json-1`
1518×	`rational.json-2`
1518×	`rational.json-3`
1516×	`exponential.json-3`
1516×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	79	44
2	163	44
3	318	44
4	562	44
5	1202	44
6	2512	44
7	4098	44
8	5350	44
9	7126	44

Stop Event

1×	node limit

Counts

2 → 50

Calls

Call 1

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

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

Outputs

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

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

simplify208.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

2550×	`rational.json-simplify-2`
1988×	`rational.json-simplify-35`
1134×	`rational.json-simplify-51`
1100×	`rational.json-simplify-1`
922×	`rational.json-simplify-53`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	140	1604
1	328	1604
2	769	1604
3	1691	1604
4	4419	1604
5	5164	1604
6	5823	1604
7	6625	1604
8	6974	1604
9	7268	1604

Stop Event

1×	node limit

Counts

74 → 73

Calls

Call 1

Inputs
(*.f64 2 x)
(+.f64 (.f64 -2 (pow.f64 x 2)) (.f64 2 x))
(+.f64 (.f64 4/3 (pow.f64 x 3)) (+.f64 (.f64 -2 (pow.f64 x 2)) (*.f64 2 x)))
(+.f64 (.f64 -2/3 (pow.f64 x 4)) (+.f64 (.f64 4/3 (pow.f64 x 3)) (+.f64 (.f64 -2 (pow.f64 x 2)) (.f64 2 x))))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(+.f64 -2 (-.f64 1 (+.f64 -2 (exp.f64 (*.f64 x -2)))))
(+.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 0)
(+.f64 0 (-.f64 1 (exp.f64 (*.f64 x -2))))
(+.f64 -1 (neg.f64 (+.f64 -2 (exp.f64 (*.f64 x -2)))))
(+.f64 (neg.f64 (+.f64 -2 (exp.f64 (*.f64 x -2)))) -1)
(+.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 1/2) (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 1/2))
(.f64 1 (-.f64 1 (exp.f64 (.f64 x -2))))
(.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 1)
(.f64 2 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 1/2))
(.f64 4 (/.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 4))
(.f64 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 2) 1/2)
(.f64 (+.f64 (exp.f64 (.f64 x -2)) -1) -1)
(.f64 -1 (+.f64 (exp.f64 (.f64 x -2)) -1))
(.f64 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 4) 1/4)
(.f64 1/2 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 2))
(.f64 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 1/2) 2)
(.f64 1/4 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 4))
(.f64 (/.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 4) 4)
(/.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 1)
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) 2)
(/.f64 (+.f64 (exp.f64 (*.f64 x -2)) -1) -1)
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 4) 4)
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 8) 8)
(/.f64 (.f64 2 (+.f64 (exp.f64 (.f64 x -2)) -1)) -2)
(/.f64 (.f64 4 (+.f64 (exp.f64 (.f64 x -2)) -1)) -4)
(/.f64 (.f64 2 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 8))) 32)
(/.f64 (.f64 2 (.f64 4 (+.f64 (exp.f64 (*.f64 x -2)) -1))) -8)
(/.f64 (neg.f64 (.f64 4 (+.f64 (exp.f64 (.f64 x -2)) -1))) 4)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 8)))) 64)
(/.f64 (.f64 2 (neg.f64 (.f64 4 (+.f64 (exp.f64 (*.f64 x -2)) -1)))) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 4 (+.f64 (exp.f64 (.f64 x -2)) -1)))) -16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 8))))) 128)
(/.f64 (.f64 2 (.f64 2 (neg.f64 (.f64 4 (+.f64 (exp.f64 (.f64 x -2)) -1))))) 16)
(pow.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 1)
(neg.f64 (+.f64 (exp.f64 (*.f64 x -2)) -1))
(neg.f64 (+.f64 1 (+.f64 -2 (exp.f64 (*.f64 x -2)))))
(+.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 0)
(+.f64 0 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)))
(+.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (.f64 (exp.f64 x) 1/2)) (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (.f64 (exp.f64 x) 1/2)))
(-.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 0)
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 1)
(/.f64 (.f64 (exp.f64 x) (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 2)) 2)
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (*.f64 (exp.f64 x) 4)) 4)
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (*.f64 (exp.f64 x) 8)) 8)
(/.f64 (.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) (.f64 (exp.f64 x) 8)) 16)
(/.f64 (.f64 2 (.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) (*.f64 (exp.f64 x) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) (.f64 (exp.f64 x) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) (*.f64 (exp.f64 x) 8))))) 128)
(pow.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 1)

Outputs
(*.f64 2 x)
(+.f64 (.f64 -2 (pow.f64 x 2)) (.f64 2 x))
(+.f64 (.f64 2 x) (.f64 -2 (pow.f64 x 2)))
(+.f64 (.f64 4/3 (pow.f64 x 3)) (+.f64 (.f64 -2 (pow.f64 x 2)) (*.f64 2 x)))
(+.f64 (.f64 -2 (pow.f64 x 2)) (+.f64 (.f64 2 x) (*.f64 4/3 (pow.f64 x 3))))
(+.f64 (.f64 2 x) (+.f64 (.f64 -2 (pow.f64 x 2)) (*.f64 4/3 (pow.f64 x 3))))
(+.f64 (.f64 -2/3 (pow.f64 x 4)) (+.f64 (.f64 4/3 (pow.f64 x 3)) (+.f64 (.f64 -2 (pow.f64 x 2)) (.f64 2 x))))
(+.f64 (.f64 4/3 (pow.f64 x 3)) (+.f64 (+.f64 (.f64 2 x) (.f64 -2 (pow.f64 x 2))) (.f64 -2/3 (pow.f64 x 4))))
(+.f64 (.f64 -2 (pow.f64 x 2)) (+.f64 (+.f64 (.f64 2 x) (.f64 4/3 (pow.f64 x 3))) (.f64 -2/3 (pow.f64 x 4))))
(+.f64 (.f64 4/3 (pow.f64 x 3)) (+.f64 (.f64 -2 (pow.f64 x 2)) (+.f64 (.f64 2 x) (.f64 -2/3 (pow.f64 x 4)))))
(+.f64 (.f64 -2 (pow.f64 x 2)) (+.f64 (.f64 2 x) (+.f64 (.f64 4/3 (pow.f64 x 3)) (.f64 -2/3 (pow.f64 x 4)))))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(-.f64 1 (exp.f64 (*.f64 -2 x)))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(*.f64 2 x)
(+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3)))
(+.f64 (.f64 2 x) (.f64 (pow.f64 x 3) 1/3))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 2 x) (+.f64 (.f64 (pow.f64 x 3) 1/3) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 2 x) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))))
(+.f64 (.f64 2 x) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 (pow.f64 x 3) 1/3) (.f64 1/60 (pow.f64 x 5)))))
(+.f64 (.f64 2 x) (+.f64 (.f64 (pow.f64 x 3) 1/3) (+.f64 (.f64 1/60 (pow.f64 x 5)) (.f64 1/2520 (pow.f64 x 7)))))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(.f64 (-.f64 1 (exp.f64 (.f64 -2 x))) (exp.f64 x))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(+.f64 -2 (-.f64 1 (+.f64 -2 (exp.f64 (*.f64 x -2)))))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(+.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 0)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(+.f64 0 (-.f64 1 (exp.f64 (*.f64 x -2))))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(+.f64 -1 (neg.f64 (+.f64 -2 (exp.f64 (*.f64 x -2)))))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(+.f64 (neg.f64 (+.f64 -2 (exp.f64 (*.f64 x -2)))) -1)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(+.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 1/2) (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 1/2))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 1 (-.f64 1 (exp.f64 (.f64 x -2))))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 1)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 2 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 1/2))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 4 (/.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 4))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 2) 1/2)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (+.f64 (exp.f64 (.f64 x -2)) -1) -1)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 -1 (+.f64 (exp.f64 (.f64 x -2)) -1))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 4) 1/4)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 1/2 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 2))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 1/2) 2)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 1/4 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 4))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(.f64 (/.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 4) 4)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 1)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) 2)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (+.f64 (exp.f64 (*.f64 x -2)) -1) -1)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 4) 4)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 8) 8)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (+.f64 (exp.f64 (.f64 x -2)) -1)) -2)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 4 (+.f64 (exp.f64 (.f64 x -2)) -1)) -4)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 8)) 16)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 8))) 32)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (.f64 4 (+.f64 (exp.f64 (*.f64 x -2)) -1))) -8)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (neg.f64 (.f64 4 (+.f64 (exp.f64 (.f64 x -2)) -1))) 4)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 8)))) 64)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (neg.f64 (.f64 4 (+.f64 (exp.f64 (*.f64 x -2)) -1)))) 8)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (.f64 2 (.f64 4 (+.f64 (exp.f64 (.f64 x -2)) -1)))) -16)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 8))))) 128)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(/.f64 (.f64 2 (.f64 2 (neg.f64 (.f64 4 (+.f64 (exp.f64 (.f64 x -2)) -1))))) 16)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(pow.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 1)
(-.f64 1 (exp.f64 (*.f64 x -2)))
(neg.f64 (+.f64 (exp.f64 (*.f64 x -2)) -1))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(neg.f64 (+.f64 1 (+.f64 -2 (exp.f64 (*.f64 x -2)))))
(-.f64 1 (exp.f64 (*.f64 x -2)))
(+.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 0)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(+.f64 0 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(+.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (.f64 (exp.f64 x) 1/2)) (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (.f64 (exp.f64 x) 1/2)))
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(-.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 0)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 1)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(/.f64 (.f64 (exp.f64 x) (.f64 (-.f64 1 (exp.f64 (*.f64 x -2))) 2)) 2)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (*.f64 (exp.f64 x) 4)) 4)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (*.f64 (exp.f64 x) 8)) 8)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(/.f64 (.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) (.f64 (exp.f64 x) 8)) 16)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(/.f64 (.f64 2 (.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) (*.f64 (exp.f64 x) 8))) 32)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) (.f64 (exp.f64 x) 8)))) 64)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) 2) (*.f64 (exp.f64 x) 8))))) 128)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))
(pow.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 1)
(.f64 (exp.f64 x) (-.f64 1 (exp.f64 (.f64 x -2))))

localize14.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 36 to 28 computations (22.2% saved)

series2.0ms (0%)

Counts

2 → 3

Calls

6 calls:

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

rewrite125.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1644×	`rational.json-simplify-35`
1406×	`exponential.json-3`
1406×	`rational.json-1`
1406×	`rational.json-2`
1406×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	65	38
2	124	38
3	230	38
4	424	38
5	982	38
6	2740	38
7	4944	38
8	5696	38
9	7072	38

Stop Event

1×	node limit

Counts

2 → 39

Calls

Call 1

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

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

simplify214.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

4070×	`rational.json-simplify-41`
3778×	`rational.json-simplify-51`
2552×	`rational.json-simplify-35`
1220×	`rational.json-simplify-2`
682×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	90	852
1	206	852
2	384	852
3	846	852
4	2263	852
5	3216	852
6	3497	852
7	3724	852
8	3873	852
9	4013	852
10	4150	852
11	4326	852
12	4326	852
13	4460	852
14	4594	852

Stop Event

1×	node limit

Counts

42 → 43

Calls

Call 1

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

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

localize114.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (*.f64 1/2520 (pow.f64 x 7)))
✓	0.0b	(*.f64 1/2520 (pow.f64 x 7))
✓	0.0b	(*.f64 1/60 (pow.f64 x 5))
	0.1b	(*.f64 1/3 (pow.f64 x 3))

Compiler

Compiled 108 to 87 computations (19.4% saved)

series3.0ms (0%)

Counts

3 → 12

Calls

9 calls:

Time	Variable		Point	Expression
1.0ms	x	@	0	(*.f64 1/2520 (pow.f64 x 7))
0.0ms	x	@	0	(*.f64 1/60 (pow.f64 x 5))
0.0ms	x	@	-inf	(*.f64 1/2520 (pow.f64 x 7))
0.0ms	x	@	-inf	(*.f64 1/60 (pow.f64 x 5))
0.0ms	x	@	inf	(*.f64 1/60 (pow.f64 x 5))

rewrite180.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

2602×	`rational.json-simplify-2`
1672×	`rational.json-simplify-35`
1486×	`rational.json-simplify-1`
1392×	`exponential.json-3`
1392×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	75
1	109	75
2	194	75
3	380	75
4	755	75
5	1892	75
6	3870	75
7	5304	75
8	6577	75
9	7524	75
10	7524	75

Stop Event

1×	node limit

Counts

3 → 48

Calls

Call 1

Inputs
(*.f64 1/60 (pow.f64 x 5))
(*.f64 1/2520 (pow.f64 x 7))
(+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (*.f64 1/2520 (pow.f64 x 7)))

Outputs

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

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

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 5) 1/120))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (*.f64 (pow.f64 x 7) 1/1260) (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (*.f64 1/3 (pow.f64 x 3))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (pow.f64 x 7) 1/5040) (+.f64 (*.f64 (pow.f64 x 3) 1/6) (*.f64 (pow.f64 x 5) 1/120))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 (pow.f64 x 7) 1/1260) (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (*.f64 1/3 (pow.f64 x 3))) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.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 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.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 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 (*.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 1)))))

simplify434.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

2974×	`rational.json-simplify-51`
2792×	`rational.json-simplify-35`
1424×	`rational.json-simplify-1`
1218×	`rational.json-simplify-2`
1030×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	117	1854
1	266	1854
2	615	1854
3	1953	1854
4	3825	1854
5	4242	1854
6	4568	1854
7	4723	1854
8	4858	1854
9	4987	1854
10	5633	1854
11	5639	1854
12	5645	1854
13	5645	1854
14	5774	1854
15	5903	1854

Stop Event

1×	node limit

Counts

60 → 62

Calls

Call 1

Inputs
(*.f64 1/3 (pow.f64 x 3))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5)))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(*.f64 1/2520 (pow.f64 x 7))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/60 (pow.f64 x 5))))
(*.f64 1/2520 (pow.f64 x 7))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (*.f64 1/60 (pow.f64 x 5)) 0)
(+.f64 0 (*.f64 1/60 (pow.f64 x 5)))
(+.f64 (.f64 (pow.f64 x 5) 1/120) (.f64 (pow.f64 x 5) 1/120))
(-.f64 (*.f64 1/60 (pow.f64 x 5)) 0)
(/.f64 (*.f64 1/60 (pow.f64 x 5)) 1)
(/.f64 (*.f64 (pow.f64 x 5) 1/30) 2)
(/.f64 (*.f64 (pow.f64 x 5) 1/15) 4)
(/.f64 (.f64 2 (.f64 (pow.f64 x 5) 1/15)) 8)
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 5) 1/15))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 5) 1/15)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 5) 1/15))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 5) 1/15)))))) 128)
(pow.f64 (*.f64 1/60 (pow.f64 x 5)) 1)
(+.f64 (*.f64 1/2520 (pow.f64 x 7)) 0)
(+.f64 0 (*.f64 1/2520 (pow.f64 x 7)))
(+.f64 (.f64 (pow.f64 x 7) 1/5040) (.f64 (pow.f64 x 7) 1/5040))
(-.f64 (*.f64 1/2520 (pow.f64 x 7)) 0)
(/.f64 (*.f64 1/2520 (pow.f64 x 7)) 1)
(/.f64 (*.f64 (pow.f64 x 7) 1/1260) 2)
(/.f64 (*.f64 (pow.f64 x 7) 1/630) 4)
(/.f64 (.f64 (.f64 1/2520 (pow.f64 x 7)) 8) 8)
(/.f64 (.f64 2 (.f64 (*.f64 1/2520 (pow.f64 x 7)) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 1/2520 (pow.f64 x 7)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 1/2520 (pow.f64 x 7)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 1/2520 (pow.f64 x 7)) 8))))) 128)
(pow.f64 (*.f64 1/2520 (pow.f64 x 7)) 1)
(-.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 0)
(.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 1)
(.f64 1 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 5) 1/120))))
(.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 2) 1/2)
(.f64 4 (/.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 4))
(.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 4) 1/4)
(.f64 1/2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 2))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 7) 1/1260) (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/3 (pow.f64 x 3))) 2)))
(.f64 (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 5) 1/120))) 2)
(.f64 1/4 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 4))
(.f64 (/.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 4) 4)
(.f64 (+.f64 (.f64 (pow.f64 x 7) 1/1260) (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/3 (pow.f64 x 3))) 2)) 1/2)
(/.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 1)
(/.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 4) 4)
(/.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 8))))) 128)
(pow.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 1)

Outputs
(*.f64 1/3 (pow.f64 x 3))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5)))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(*.f64 1/2520 (pow.f64 x 7))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (.f64 1/2520 (pow.f64 x 7)))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(*.f64 1/2520 (pow.f64 x 7))
(+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/60 (pow.f64 x 5)))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (.f64 1/2520 (pow.f64 x 7)))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/60 (pow.f64 x 5))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (*.f64 1/60 (pow.f64 x 5)) 0)
(*.f64 1/60 (pow.f64 x 5))
(+.f64 0 (*.f64 1/60 (pow.f64 x 5)))
(*.f64 1/60 (pow.f64 x 5))
(+.f64 (.f64 (pow.f64 x 5) 1/120) (.f64 (pow.f64 x 5) 1/120))
(*.f64 1/60 (pow.f64 x 5))
(-.f64 (*.f64 1/60 (pow.f64 x 5)) 0)
(*.f64 1/60 (pow.f64 x 5))
(/.f64 (*.f64 1/60 (pow.f64 x 5)) 1)
(*.f64 1/60 (pow.f64 x 5))
(/.f64 (*.f64 (pow.f64 x 5) 1/30) 2)
(*.f64 1/60 (pow.f64 x 5))
(/.f64 (*.f64 (pow.f64 x 5) 1/15) 4)
(*.f64 1/60 (pow.f64 x 5))
(/.f64 (.f64 2 (.f64 (pow.f64 x 5) 1/15)) 8)
(*.f64 1/60 (pow.f64 x 5))
(/.f64 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 5) 1/15))) 16)
(*.f64 1/60 (pow.f64 x 5))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 5) 1/15)))) 32)
(*.f64 1/60 (pow.f64 x 5))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (*.f64 (pow.f64 x 5) 1/15))))) 64)
(*.f64 1/60 (pow.f64 x 5))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (pow.f64 x 5) 1/15)))))) 128)
(*.f64 1/60 (pow.f64 x 5))
(pow.f64 (*.f64 1/60 (pow.f64 x 5)) 1)
(*.f64 1/60 (pow.f64 x 5))
(+.f64 (*.f64 1/2520 (pow.f64 x 7)) 0)
(*.f64 1/2520 (pow.f64 x 7))
(+.f64 0 (*.f64 1/2520 (pow.f64 x 7)))
(*.f64 1/2520 (pow.f64 x 7))
(+.f64 (.f64 (pow.f64 x 7) 1/5040) (.f64 (pow.f64 x 7) 1/5040))
(*.f64 1/2520 (pow.f64 x 7))
(-.f64 (*.f64 1/2520 (pow.f64 x 7)) 0)
(*.f64 1/2520 (pow.f64 x 7))
(/.f64 (*.f64 1/2520 (pow.f64 x 7)) 1)
(*.f64 1/2520 (pow.f64 x 7))
(/.f64 (*.f64 (pow.f64 x 7) 1/1260) 2)
(*.f64 1/2520 (pow.f64 x 7))
(/.f64 (*.f64 (pow.f64 x 7) 1/630) 4)
(*.f64 1/2520 (pow.f64 x 7))
(/.f64 (.f64 (.f64 1/2520 (pow.f64 x 7)) 8) 8)
(*.f64 1/2520 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 (*.f64 1/2520 (pow.f64 x 7)) 8)) 16)
(*.f64 1/2520 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (.f64 (.f64 1/2520 (pow.f64 x 7)) 8))) 32)
(*.f64 1/2520 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (*.f64 1/2520 (pow.f64 x 7)) 8)))) 64)
(*.f64 1/2520 (pow.f64 x 7))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (.f64 1/2520 (pow.f64 x 7)) 8))))) 128)
(*.f64 1/2520 (pow.f64 x 7))
(pow.f64 (*.f64 1/2520 (pow.f64 x 7)) 1)
(*.f64 1/2520 (pow.f64 x 7))
(-.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 0)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 1)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 1 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 5) 1/120))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 5) 1/120) (.f64 (pow.f64 x 3) 1/6))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 5) 1/120) (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 7) 1/5040))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 5) 1/120) (.f64 (pow.f64 x 7) 1/5040))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 5) 1/120) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (.f64 (pow.f64 x 3) 1/6))))
(.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 2) 1/2)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 4 (/.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 4))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 4) 1/4)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 1/2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 2))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 7) 1/1260) (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/3 (pow.f64 x 3))) 2)))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 5) 1/120))) 2)
(.f64 2 (+.f64 (.f64 (pow.f64 x 7) 1/5040) (+.f64 (.f64 (pow.f64 x 5) 1/120) (.f64 (pow.f64 x 3) 1/6))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 5) 1/120) (+.f64 (.f64 (pow.f64 x 3) 1/6) (.f64 (pow.f64 x 7) 1/5040))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 3) 1/6) (+.f64 (.f64 (pow.f64 x 5) 1/120) (.f64 (pow.f64 x 7) 1/5040))))
(.f64 2 (+.f64 (.f64 (pow.f64 x 5) 1/120) (+.f64 (.f64 (pow.f64 x 7) 1/5040) (.f64 (pow.f64 x 3) 1/6))))
(.f64 1/4 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 4))
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 (/.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 4) 4)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(.f64 (+.f64 (.f64 (pow.f64 x 7) 1/1260) (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/3 (pow.f64 x 3))) 2)) 1/2)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(/.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 1)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(/.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 2) 2)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(/.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 4) 4)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(/.f64 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 8) 8)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 8)) 16)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 8))) 32)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 8)))) 64)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (.f64 1/3 (pow.f64 x 3)))) 8))))) 128)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))
(pow.f64 (+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/2520 (pow.f64 x 7)) (*.f64 1/3 (pow.f64 x 3)))) 1)
(+.f64 (.f64 1/3 (pow.f64 x 3)) (+.f64 (.f64 1/60 (pow.f64 x 5)) (*.f64 1/2520 (pow.f64 x 7))))
(+.f64 (.f64 1/60 (pow.f64 x 5)) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/2520 (pow.f64 x 7))))

eval86.0ms (0.6%)

Compiler: Compiled 3808 to 3170 computations (16.8% saved)

prune28.0ms (0.2%)

Pruning

8 alts after pruning (3 fresh and 5 done)

	Pruned	Kept	Total
New	189	3	192
Fresh	0	0	0
Picked	0	1	1
Done	0	4	4
Total	189	8	197

Error

Counts

197 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.6b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	0.3b	(/.f64 (+.f64 (.f64 2 x) (+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (.f64 1/2520 (pow.f64 x 7)))) 2)
✓	0.5b	(/.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) 2)
▶	0.8b	(/.f64 (+.f64 (.f64 2 x) (.f64 1/2520 (pow.f64 x 7))) 2)
✓	58.6b	(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 2)
▶	1.5b	(/.f64 (.f64 (.f64 2 x) (exp.f64 x)) 2)
✓	0.8b	(/.f64 (*.f64 2 x) 2)
▶	60.0b	(/.f64 (*.f64 1/3 (pow.f64 x 3)) 2)

Compiler

Compiled 92 to 76 computations (17.4% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 20 to 16 computations (20% saved)

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite243.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

2600×	`rational.json-simplify-35`
2246×	`rational.json-simplify-2`
1300×	`rational.json-simplify-1`
1070×	`exponential.json-3`
1070×	`rational.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	64	13
2	150	13
3	296	13
4	540	13
5	1176	13
6	2388	13
7	3673	13
8	4202	13
9	5059	13
10	5982	13
11	6533	13
12	6533	13
13	7244	13
14	7517	13

Stop Event

1×	node limit

Counts

1 → 31

Calls

Call 1

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

Outputs

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

simplify304.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

2482×	`rational.json-simplify-41`
2168×	`rational.json-simplify-49`
2010×	`rational.json-simplify-2`
1664×	`rational.json-simplify-35`
1474×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	63	559
1	92	559
2	188	559
3	336	559
4	547	559
5	810	559
6	1439	559
7	2244	559
8	2721	559
9	3165	559
10	3445	559
11	3623	559
12	3720	559
13	4915	559
14	4954	559
15	5344	559
16	5517	559
17	5563	559
18	5601	559
19	5639	559
20	5677	559
21	5715	559
22	7220	559
23	7258	559
24	7296	559
25	7334	559
26	7372	559

Stop Event

1×	node limit

Counts

43 → 31

Calls

Call 1

Inputs
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 (pow.f64 x 3) 1/6) 0)
(+.f64 0 (*.f64 (pow.f64 x 3) 1/6))
(+.f64 (.f64 (pow.f64 x 3) 1/12) (.f64 (pow.f64 x 3) 1/12))
(-.f64 (*.f64 (pow.f64 x 3) 1/6) 0)
(.f64 1/3 (.f64 (pow.f64 x 3) 1/2))
(*.f64 (pow.f64 x 3) 1/6)
(.f64 (.f64 1/3 (pow.f64 x 3)) 1/2)
(.f64 2 (.f64 (pow.f64 x 3) 1/12))
(.f64 (.f64 (pow.f64 x 3) 1/6) 1)
(.f64 1 (.f64 (pow.f64 x 3) 1/6))
(.f64 (.f64 (pow.f64 x 3) 2/3) 1/4)
(.f64 4 (/.f64 (.f64 1/3 (pow.f64 x 3)) 8))
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 4/3) 1/8)
(.f64 (.f64 (pow.f64 x 3) 2) 1/12)
(.f64 (.f64 (pow.f64 x 3) 1/2) 1/3)
(.f64 1/2 (.f64 1/3 (pow.f64 x 3)))
(.f64 2/3 (.f64 (pow.f64 x 3) 1/4))
(.f64 (.f64 (pow.f64 x 3) 8/3) 1/16)
(.f64 (.f64 (pow.f64 x 3) 4) 1/24)
(.f64 1/12 (.f64 (pow.f64 x 3) 2))
(.f64 (.f64 (pow.f64 x 3) 1/4) 2/3)
(.f64 1/4 (.f64 (pow.f64 x 3) 2/3))
(*.f64 4/3 (/.f64 (pow.f64 x 3) 8))
(.f64 (.f64 (pow.f64 x 3) 1/12) 2)
(.f64 1/8 (.f64 (pow.f64 x 3) 4/3))
(.f64 1/16 (.f64 (pow.f64 x 3) 8/3))
(.f64 (/.f64 (.f64 1/3 (pow.f64 x 3)) 8) 4)
(.f64 1/24 (.f64 (pow.f64 x 3) 4))
(*.f64 (/.f64 (pow.f64 x 3) 8) 4/3)
(pow.f64 (*.f64 (pow.f64 x 3) 1/6) 1)

Outputs
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (*.f64 (pow.f64 x 3) 1/6) 0)
(*.f64 1/6 (pow.f64 x 3))
(+.f64 0 (*.f64 (pow.f64 x 3) 1/6))
(*.f64 1/6 (pow.f64 x 3))
(+.f64 (.f64 (pow.f64 x 3) 1/12) (.f64 (pow.f64 x 3) 1/12))
(*.f64 1/6 (pow.f64 x 3))
(-.f64 (*.f64 (pow.f64 x 3) 1/6) 0)
(*.f64 1/6 (pow.f64 x 3))
(.f64 1/3 (.f64 (pow.f64 x 3) 1/2))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 (pow.f64 x 3) 1/6)
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 1/3 (pow.f64 x 3)) 1/2)
(*.f64 1/6 (pow.f64 x 3))
(.f64 2 (.f64 (pow.f64 x 3) 1/12))
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 1/6) 1)
(*.f64 1/6 (pow.f64 x 3))
(.f64 1 (.f64 (pow.f64 x 3) 1/6))
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 2/3) 1/4)
(*.f64 1/6 (pow.f64 x 3))
(.f64 4 (/.f64 (.f64 1/3 (pow.f64 x 3)) 8))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 4/3) 1/8)
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 2) 1/12)
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 1/2) 1/3)
(*.f64 1/6 (pow.f64 x 3))
(.f64 1/2 (.f64 1/3 (pow.f64 x 3)))
(*.f64 1/6 (pow.f64 x 3))
(.f64 2/3 (.f64 (pow.f64 x 3) 1/4))
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 8/3) 1/16)
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 4) 1/24)
(*.f64 1/6 (pow.f64 x 3))
(.f64 1/12 (.f64 (pow.f64 x 3) 2))
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 1/4) 2/3)
(*.f64 1/6 (pow.f64 x 3))
(.f64 1/4 (.f64 (pow.f64 x 3) 2/3))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 4/3 (/.f64 (pow.f64 x 3) 8))
(*.f64 1/6 (pow.f64 x 3))
(.f64 (.f64 (pow.f64 x 3) 1/12) 2)
(*.f64 1/6 (pow.f64 x 3))
(.f64 1/8 (.f64 (pow.f64 x 3) 4/3))
(*.f64 1/6 (pow.f64 x 3))
(.f64 1/16 (.f64 (pow.f64 x 3) 8/3))
(*.f64 1/6 (pow.f64 x 3))
(.f64 (/.f64 (.f64 1/3 (pow.f64 x 3)) 8) 4)
(*.f64 1/6 (pow.f64 x 3))
(.f64 1/24 (.f64 (pow.f64 x 3) 4))
(*.f64 1/6 (pow.f64 x 3))
(*.f64 (/.f64 (pow.f64 x 3) 8) 4/3)
(*.f64 1/6 (pow.f64 x 3))
(pow.f64 (*.f64 (pow.f64 x 3) 1/6) 1)
(*.f64 1/6 (pow.f64 x 3))

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (.f64 2 x) (exp.f64 x))

Compiler

Compiled 22 to 13 computations (40.9% saved)

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite174.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

1858×	`rational.json-1`
1858×	`rational.json-2`
1256×	`rational.json-simplify-35`
1116×	`exponential.json-3`
1116×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	52	17
2	113	17
3	241	17
4	413	17
5	887	17
6	1960	17
7	3448	17
8	4300	17
9	5208	17
10	6186	17
11	7514	17

Stop Event

1×	node limit

Counts

1 → 15

Calls

Call 1

Inputs
(.f64 (.f64 2 x) (exp.f64 x))

Outputs

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

simplify125.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

970×	`rational.json-simplify-38`
958×	`rational.json-simplify-1`
930×	`rational.json-simplify-46`
800×	`rational.json-simplify-44`
726×	`rational.json-simplify-49`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	61	515
1	157	497
2	302	497
3	668	497
4	2362	497
5	5009	497
6	6371	497
7	7328	497

Stop Event

1×	node limit

Counts

27 → 32

Calls

Call 1

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

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

localize15.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
	0.0b	(*.f64 1/2520 (pow.f64 x 7))

Compiler

Compiled 36 to 28 computations (22.2% saved)

eval21.0ms (0.2%)

Compiler: Compiled 974 to 779 computations (20% saved)

prune18.0ms (0.1%)

Pruning

8 alts after pruning (1 fresh and 7 done)

	Pruned	Kept	Total
New	89	1	90
Fresh	0	0	0
Picked	0	1	1
Done	1	6	7
Total	90	8	98

Error

Counts

98 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.6b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	0.3b	(/.f64 (+.f64 (.f64 2 x) (+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (.f64 1/2520 (pow.f64 x 7)))) 2)
✓	0.5b	(/.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) 2)
✓	0.8b	(/.f64 (+.f64 (.f64 2 x) (.f64 1/2520 (pow.f64 x 7))) 2)
✓	58.6b	(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 2)
✓	1.5b	(/.f64 (.f64 (.f64 2 x) (exp.f64 x)) 2)
✓	0.8b	(/.f64 (*.f64 2 x) 2)
▶	60.0b	(*.f64 (pow.f64 x 3) 1/6)

Compiler

Compiled 90 to 74 computations (17.8% saved)

localize6.0ms (0%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 12 to 9 computations (25% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite263.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

3452×	`rational.json-simplify-35`
1898×	`rational.json-simplify-2`
1122×	`exponential.json-3`
1122×	`rational.json-1`
1122×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	96	13
3	186	13
4	323	13
5	684	13
6	1635	13
7	2711	13
8	3268	13
9	3908	13
10	4616	13
11	5055	13
12	5055	13
13	5055	13
14	5817	13
15	6652	13
16	7673	13

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

Inputs
(*.f64 (pow.f64 x 3) 1/6)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 3) 1/6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 x 3) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 3) 1/12) (*.f64 (pow.f64 x 3) 1/12))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 x 3) 1/6) 0)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 3) 1/6) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 3) 1/3) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 3) 2/3) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (pow.f64 x 3) 4/3) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (pow.f64 x 3) 4/3)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 4/3))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 4/3)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 4/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) 4/3)))))) 256)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 4/3))))))) 512)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 4/3)))))))) 1024)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 4/3))))))))) 2048)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 4/3))))))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (pow.f64 x 3) 4/3)))))))))) 4096)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (pow.f64 x 3) 1/6) 1)))))

simplify1.1s (7.8%)

Algorithm

1×	egg-herbie

Rules

6032×	`rational.json-simplify-51`
3662×	`rational.json-simplify-35`
1462×	`rational.json-simplify-2`
1164×	`rational.json-simplify-1`
800×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	390
1	145	390
2	258	390
3	636	390
4	1514	390
5	3195	390
6	4251	390
7	4432	390
8	4504	390
9	4571	390
10	4634	390
11	4696	390
12	4811	390
13	4872	390
14	4934	390
15	4996	390
16	5058	390
17	5120	390
18	5182	390
19	5244	390
20	5244	390
21	5244	390
22	5306	390
23	5368	390
24	5430	390
25	5492	390
26	5554	390
27	5616	390
28	5678	390
29	5740	390
30	5802	390
31	5864	390
32	5926	390
33	5988	390
34	6050	390
35	6112	390
36	6174	390
37	6236	390

Stop Event

1×	node limit

Counts

30 → 19

Calls

Call 1

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

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

eval65.0ms (0.5%)

Compiler: Compiled 246 to 225 computations (8.5% saved)

prune6.0ms (0%)

Pruning

8 alts after pruning (0 fresh and 8 done)

	Pruned	Kept	Total
New	19	0	19
Fresh	0	0	0
Picked	0	1	1
Done	0	7	7
Total	19	8	27

Error

Counts

27 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.6b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	0.3b	(/.f64 (+.f64 (.f64 2 x) (+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (.f64 1/2520 (pow.f64 x 7)))) 2)
✓	0.5b	(/.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) 2)
✓	0.8b	(/.f64 (+.f64 (.f64 2 x) (.f64 1/2520 (pow.f64 x 7))) 2)
✓	58.6b	(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 2)
✓	1.5b	(/.f64 (.f64 (.f64 2 x) (exp.f64 x)) 2)
✓	0.8b	(/.f64 (*.f64 2 x) 2)
✓	60.0b	(*.f64 (pow.f64 x 3) 1/6)

Compiler

Compiled 90 to 74 computations (17.8% saved)

regimes14.0ms (0.1%)

Counts

9 → 1

Calls

Call 1

Inputs
(/.f64 (*.f64 2 x) 2)
(*.f64 (pow.f64 x 3) 1/6)
(/.f64 (*.f64 1/3 (pow.f64 x 3)) 2)
(/.f64 (.f64 (.f64 2 x) (exp.f64 x)) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/2520 (pow.f64 x 7))) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) 2)
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 2)
(/.f64 (+.f64 (.f64 2 x) (+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (.f64 1/2520 (pow.f64 x 7)))) 2)

Outputs
(/.f64 (+.f64 (.f64 2 x) (+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (.f64 1/2520 (pow.f64 x 7)))) 2)

Calls

3 calls:

5.0ms	x
3.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
2.0ms	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))

Results

Error	Segments	Branch
0.3b	1	`x`
0.3b	1	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)`
0.3b	1	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 108 to 84 computations (22.2% saved)

regimes72.0ms (0.5%)

Counts

8 → 1

Calls

Call 1

Inputs
(/.f64 (*.f64 2 x) 2)
(*.f64 (pow.f64 x 3) 1/6)
(/.f64 (*.f64 1/3 (pow.f64 x 3)) 2)
(/.f64 (.f64 (.f64 2 x) (exp.f64 x)) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/2520 (pow.f64 x 7))) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) 2)
(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
(/.f64 (.f64 (-.f64 1 (exp.f64 (.f64 x -2))) (exp.f64 x)) 2)

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

Calls

3 calls:

65.0ms	x
2.0ms	(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))
2.0ms	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)

Results

Error	Segments	Branch
0.5b	1	`x`
0.5b	1	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)`
0.5b	1	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 85 to 65 computations (23.5% saved)

regimes6.0ms (0%)

Counts

5 → 1

Calls

Call 1

Inputs
(/.f64 (*.f64 2 x) 2)
(*.f64 (pow.f64 x 3) 1/6)
(/.f64 (*.f64 1/3 (pow.f64 x 3)) 2)
(/.f64 (.f64 (.f64 2 x) (exp.f64 x)) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/2520 (pow.f64 x 7))) 2)

Outputs
(/.f64 (+.f64 (.f64 2 x) (.f64 1/2520 (pow.f64 x 7))) 2)

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
0.8b	1	`x`

Compiler

Compiled 39 to 31 computations (20.5% saved)

regimes6.0ms (0%)

Accuracy

Total -59.3b remaining (-7513%)

Threshold costs -59.3b (-7513%)

Counts

4 → 1

Calls

Call 1

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

Outputs
(/.f64 (*.f64 2 x) 2)

Calls

1 calls:

5.0ms

Results

Error	Segments	Branch
0.8b	1	`x`

Compiler

Compiled 28 to 22 computations (21.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	142

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(/.f64 (+.f64 (.f64 2 x) (+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (.f64 1/2520 (pow.f64 x 7)))) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/2520 (pow.f64 x 7))) 2)
(/.f64 (*.f64 2 x) 2)

Outputs
(/.f64 (+.f64 (.f64 2 x) (+.f64 (+.f64 (.f64 1/3 (pow.f64 x 3)) (.f64 1/60 (pow.f64 x 5))) (.f64 1/2520 (pow.f64 x 7)))) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/2520 (pow.f64 x 7))) 2)
(/.f64 (*.f64 2 x) 2)

Compiler

Compiled 54 to 45 computations (16.7% saved)

soundness368.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1122×	`rational.json-simplify-2`
966×	`rational.json-simplify-41`
944×	`rational.json-simplify-54`
638×	`rational.json-simplify-42`
520×	`rational.json-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	125	1202
1	244	1202
2	510	1202
3	1278	1202
4	3421	1202
5	5005	1202
6	6804	1202

Stop Event

1×	node limit

Compiler

Compiled 93 to 77 computations (17.2% saved)

end214.0ms (1.5%)

Compiler: Compiled 51 to 42 computations (17.6% saved)

Details

analyze3.0ms (0%)

sample5.1s (36.3%)

preprocess1.9s (13.8%)

simplify1.9s (13.7%)

eval0.0ms (0%)

prune1.0ms (0%)

localize8.0ms (0.1%)

series1.0ms (0%)

rewrite99.0ms (0.7%)

simplify120.0ms (0.9%)

eval14.0ms (0.1%)

prune97.0ms (0.7%)

localize4.0ms (0%)

localize15.0ms (0.1%)

series1.0ms (0%)

rewrite270.0ms (1.9%)

simplify208.0ms (1.5%)

localize14.0ms (0.1%)

series2.0ms (0%)

rewrite125.0ms (0.9%)

simplify214.0ms (1.5%)

localize114.0ms (0.8%)

series3.0ms (0%)

rewrite180.0ms (1.3%)

simplify434.0ms (3.1%)

eval86.0ms (0.6%)

prune28.0ms (0.2%)

localize8.0ms (0.1%)

series1.0ms (0%)

rewrite243.0ms (1.7%)

simplify304.0ms (2.2%)

localize8.0ms (0.1%)

series2.0ms (0%)

rewrite174.0ms (1.2%)

simplify125.0ms (0.9%)

localize15.0ms (0.1%)

eval21.0ms (0.2%)

prune18.0ms (0.1%)

localize6.0ms (0%)

series0.0ms (0%)

rewrite263.0ms (1.9%)

simplify1.1s (7.8%)

eval65.0ms (0.5%)

prune6.0ms (0%)

regimes14.0ms (0.1%)

regimes72.0ms (0.5%)

regimes6.0ms (0%)

regimes6.0ms (0%)

simplify3.0ms (0%)

soundness368.0ms (2.6%)

end214.0ms (1.5%)

Profiling