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.8s (39.7%)

Results

3.9s	4109×	body	1024	valid
1.1s	2025×	body	512	valid
394.0ms	428×	body	2048	valid
393.0ms	1694×	body	256	valid
1.0ms	14×	body	256	infinite

Bogosity

preprocess1.9s (13.1%)

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.2%)

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)

prune2.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.2b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	58.2b	(/.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.6b	(-.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)))

rewrite86.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1962×	`bool.json-1`
1962×	`bool.json-2`
970×	`rational.json-simplify-35`
878×	`rational.json-1`
878×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	82	19
2	243	19
3	556	19
4	1212	19
5	2899	19
6	6965	19

Stop Event

1×	node limit

Counts

1 → 36

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

simplify137.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

1840×	`rational.json-simplify-35`
1216×	`rational.json-simplify-1`
852×	`rational.json-simplify-2`
850×	`rational.json-simplify-41`
832×	`rational.json-simplify-46`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	109	992
1	207	992
2	425	974
3	899	968
4	1670	968
5	2801	968
6	4095	968
7	6752	968
8	7649	968

Stop Event

1×	node limit

Counts

44 → 55

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

eval16.0ms (0.1%)

Compiler: Compiled 740 to 452 computations (38.9% saved)

prune8.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	52	3	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	4	56

Error

Counts

56 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 45 to 37 computations (17.8% saved)

localize6.0ms (0%)

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

localize15.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 36 to 28 computations (22.2% saved)

series4.0ms (0%)

Counts

3 → 3

Calls

9 calls:

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

rewrite116.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1694×	`bool.json-1`
1694×	`bool.json-2`
1638×	`rational.json-1`
1188×	`rational.json-simplify-35`
1080×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	45
1	98	45
2	243	45
3	467	45
4	949	45
5	2098	45
6	4330	45
7	6878	45

Stop Event

1×	node limit

Counts

3 → 63

Calls

Call 1

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

Outputs

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

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

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

simplify883.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

7688×	`rational.json-simplify-41`
3828×	`rational.json-simplify-35`
1062×	`rational.json-simplify-2`
1006×	`rational.json-simplify-1`
798×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	118	912
1	240	912
2	751	912
3	1890	912
4	2955	912
5	3439	912
6	3545	912
7	3616	912
8	3681	912
9	3742	912
10	3802	912
11	3910	912
12	3970	912
13	4030	912
14	4090	912
15	4150	912
16	4210	912
17	4270	912
18	4270	912
19	4270	912
20	4330	912
21	4390	912
22	4450	912
23	4510	912
24	4570	912
25	4630	912
26	4690	912
27	4750	912
28	4810	912
29	4870	912
30	4930	912
31	4990	912
32	5050	912
33	5110	912
34	5170	912
35	5230	912

Stop Event

1×	node limit

Counts

66 → 70

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

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

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

Compiler

Compiled 69 to 55 computations (20.3% saved)

series2.0ms (0%)

Counts

2 → 3

Calls

6 calls:

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

rewrite112.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1900×	`bool.json-1`
1372×	`rational.json-simplify-35`
1272×	`bool.json-2`
1212×	`rational.json-1`
1212×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	44
1	116	44
2	278	44
3	538	44
4	1103	44
5	2385	44
6	4859	44
7	7715	44

Stop Event

1×	node limit

Counts

2 → 31

Calls

Call 1

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

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

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

simplify217.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

3570×	`rational.json-simplify-41`
2928×	`rational.json-simplify-51`
2076×	`rational.json-simplify-35`
960×	`rational.json-simplify-2`
560×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	77	808
1	156	808
2	395	808
3	1119	808
4	2164	808
5	2723	808
6	2925	808
7	3031	808
8	3119	808
9	3205	808
10	3290	808
11	3373	808
12	3455	808
13	3537	808
14	3619	808
15	3619	808

Stop Event

1×	node limit

Counts

34 → 34

Calls

Call 1

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

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

eval59.0ms (0.4%)

Compiler: Compiled 2717 to 2318 computations (14.7% saved)

prune22.0ms (0.2%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	145	3	148
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	145	7	152

Error

Counts

152 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.2b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	0.4b	(/.f64 (+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5)))) 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/60 (pow.f64 x 5))) 2)
▶	0.5b	(/.f64 (+.f64 x (+.f64 x (*.f64 1/3 (pow.f64 x 3)))) 2)
✓	0.8b	(/.f64 (*.f64 2 x) 2)
▶	60.0b	(/.f64 (*.f64 1/3 (pow.f64 x 3)) 2)

Compiler

Compiled 77 to 63 computations (18.2% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (*.f64 1/3 (pow.f64 x 3)) 2)
	0.0b	(pow.f64 x 3)
	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)

rewrite102.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1712×	`bool.json-1`
1712×	`bool.json-2`
1142×	`rational.json-simplify-35`
1064×	`rational.json-1`
1064×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	94	13
2	269	13
3	556	13
4	1111	13
5	2376	13
6	4679	13
7	7233	13

Stop Event

1×	node limit

Counts

1 → 30

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

simplify277.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

2414×	`rational.json-simplify-1`
2388×	`rational.json-simplify-41`
2026×	`rational.json-simplify-49`
1860×	`rational.json-simplify-2`
1664×	`rational.json-simplify-35`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	546
1	88	546
2	141	546
3	237	546
4	356	546
5	553	546
6	1077	546
7	1749	546
8	2149	546
9	2491	546
10	2695	546
11	2872	546
12	2969	546
13	4141	546
14	4180	546
15	4570	546
16	4608	546
17	4646	546
18	4684	546
19	4722	546
20	4760	546
21	4798	546
22	6226	546
23	6264	546
24	6302	546
25	6340	546
26	6378	546
27	7064	546

Stop Event

1×	node limit

Counts

42 → 30

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 (/.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)
(.f64 1/16 (.f64 (pow.f64 x 3) 8/3))

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

localize14.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 40 to 29 computations (27.5% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite104.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1992×	`bool.json-1`
1296×	`bool.json-2`
1264×	`rational.json-simplify-35`
1252×	`rational.json-1`
1252×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	89	25
2	229	25
3	466	25
4	989	25
5	2230	25
6	4767	25
7	7744	25

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

Outputs

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

simplify484.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

3260×	`rational.json-simplify-1`
2696×	`rational.json-simplify-41`
2062×	`rational.json-simplify-35`
1560×	`rational.json-simplify-49`
1430×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	789
1	119	789
2	232	789
3	690	789
4	1332	789
5	2052	789
6	2389	789
7	2435	789
8	2472	789
9	2504	789
10	4999	789
11	5192	789
12	5281	789
13	5369	789
14	5428	789
15	5483	789
16	5535	789
17	5586	789
18	5636	789
19	6744	789
20	6792	789
21	6835	789
22	6872	789
23	6906	789
24	6940	789
25	7205	789

Stop Event

1×	node limit

Counts

33 → 25

Calls

Call 1

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

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

localize15.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 36 to 28 computations (22.2% saved)

series0.0ms (0%)

Counts

1 → 3

Calls

3 calls:

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

rewrite98.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1700×	`bool.json-1`
1700×	`bool.json-2`
1644×	`rational.json-1`
1200×	`rational.json-simplify-35`
1090×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	98	25
2	243	25
3	467	25
4	949	25
5	2098	25
6	4343	25
7	6900	25

Stop Event

1×	node limit

Counts

1 → 20

Calls

Call 1

Inputs
(+.f64 (.f64 2 x) (.f64 1/60 (pow.f64 x 5)))

Outputs

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

simplify714.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

4108×	`rational.json-simplify-1`
3478×	`rational.json-simplify-41`
1806×	`rational.json-simplify-35`
1122×	`rational.json-simplify-2`
756×	`rational.json-simplify-51`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	57	551
1	119	545
2	224	545
3	590	545
4	1756	545
5	2709	545
6	3004	545
7	3043	545
8	3077	545
9	3110	545
10	3143	545
11	3176	545
12	3217	545
13	3247	545
14	3277	545
15	3307	545
16	3337	545
17	3367	545
18	3397	545
19	3427	545
20	5903	545
21	5948	545
22	5998	545
23	6041	545
24	6080	545
25	6115	545
26	6150	545
27	6184	545
28	6214	545
29	6244	545
30	6274	545
31	6304	545
32	6334	545
33	6364	545
34	6394	545
35	6424	545

Stop Event

1×	node limit

Counts

23 → 26

Calls

Call 1

Inputs
(*.f64 2 x)
(*.f64 1/60 (pow.f64 x 5))
(*.f64 1/60 (pow.f64 x 5))
(-.f64 (+.f64 (+.f64 x x) (*.f64 1/60 (pow.f64 x 5))) 0)
(.f64 2 (+.f64 x (.f64 (pow.f64 x 5) 1/120)))
(.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 1)
(.f64 1 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))))
(.f64 (.f64 4 (+.f64 x (*.f64 (pow.f64 x 5) 1/120))) 1/2)
(.f64 4 (/.f64 (+.f64 x (.f64 (pow.f64 x 5) 1/120)) 2))
(.f64 4 (+.f64 (.f64 x 1/2) (/.f64 (*.f64 (pow.f64 x 5) 1/120) 2)))
(.f64 (.f64 2 (.f64 4 (+.f64 x (.f64 (pow.f64 x 5) 1/120)))) 1/4)
(.f64 1/2 (.f64 4 (+.f64 x (*.f64 (pow.f64 x 5) 1/120))))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 5) 1/30) (*.f64 x 4)))
(.f64 (+.f64 x (.f64 (pow.f64 x 5) 1/120)) 2)
(.f64 1/4 (.f64 2 (.f64 4 (+.f64 x (.f64 (pow.f64 x 5) 1/120)))))
(.f64 (/.f64 (+.f64 x (.f64 (pow.f64 x 5) 1/120)) 2) 4)
(/.f64 (+.f64 (+.f64 x x) (*.f64 1/60 (pow.f64 x 5))) 1)
(/.f64 (.f64 4 (+.f64 x (.f64 (pow.f64 x 5) 1/120))) 2)
(/.f64 (.f64 2 (.f64 4 (+.f64 x (*.f64 (pow.f64 x 5) 1/120)))) 4)
(/.f64 (.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 (+.f64 x x) (*.f64 1/60 (pow.f64 x 5))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 8))) 32)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 8)))) 64)

Outputs
(*.f64 2 x)
(*.f64 1/60 (pow.f64 x 5))
(*.f64 1/60 (pow.f64 x 5))
(-.f64 (+.f64 (+.f64 x x) (*.f64 1/60 (pow.f64 x 5))) 0)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 2 (+.f64 x (.f64 (pow.f64 x 5) 1/120)))
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 1)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 1 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))))
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 (.f64 4 (+.f64 x (*.f64 (pow.f64 x 5) 1/120))) 1/2)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 4 (/.f64 (+.f64 x (.f64 (pow.f64 x 5) 1/120)) 2))
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 4 (+.f64 (.f64 x 1/2) (/.f64 (*.f64 (pow.f64 x 5) 1/120) 2)))
(.f64 4 (+.f64 (.f64 x 1/2) (*.f64 (pow.f64 x 5) 1/240)))
(.f64 (.f64 2 (.f64 4 (+.f64 x (.f64 (pow.f64 x 5) 1/120)))) 1/4)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 1/2 (.f64 4 (+.f64 x (*.f64 (pow.f64 x 5) 1/120))))
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 1/2 (+.f64 (.f64 (pow.f64 x 5) 1/30) (*.f64 x 4)))
(.f64 1/2 (+.f64 (.f64 x 4) (*.f64 (pow.f64 x 5) 1/30)))
(.f64 (+.f64 x (.f64 (pow.f64 x 5) 1/120)) 2)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 1/4 (.f64 2 (.f64 4 (+.f64 x (.f64 (pow.f64 x 5) 1/120)))))
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(.f64 (/.f64 (+.f64 x (.f64 (pow.f64 x 5) 1/120)) 2) 4)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(/.f64 (+.f64 (+.f64 x x) (*.f64 1/60 (pow.f64 x 5))) 1)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(/.f64 (.f64 4 (+.f64 x (.f64 (pow.f64 x 5) 1/120))) 2)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(/.f64 (.f64 2 (.f64 4 (+.f64 x (*.f64 (pow.f64 x 5) 1/120)))) 4)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(/.f64 (.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 8) 8)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(/.f64 (.f64 2 (.f64 (+.f64 (+.f64 x x) (*.f64 1/60 (pow.f64 x 5))) 8)) 16)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 8))) 32)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 8))) (.f64 2 (.f64 2 (.f64 (+.f64 (+.f64 x x) (.f64 1/60 (pow.f64 x 5))) 8)))) 64)
(+.f64 (*.f64 1/60 (pow.f64 x 5)) (+.f64 x x))
(+.f64 x (+.f64 x (*.f64 1/60 (pow.f64 x 5))))

eval53.0ms (0.4%)

Compiler: Compiled 2301 to 1921 computations (16.5% saved)

prune25.0ms (0.2%)

Pruning

8 alts after pruning (2 fresh and 6 done)

	Pruned	Kept	Total
New	178	2	180
Fresh	0	0	0
Picked	0	1	1
Done	1	5	6
Total	179	8	187

Error

Counts

187 → 8

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.2b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	0.4b	(/.f64 (+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5)))) 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/60 (pow.f64 x 5))) 2)
✓	0.5b	(/.f64 (+.f64 x (+.f64 x (*.f64 1/3 (pow.f64 x 3)))) 2)
✓	0.8b	(/.f64 (*.f64 2 x) 2)
▶	60.2b	(/.f64 (*.f64 1/60 (pow.f64 x 5)) 2)
▶	60.0b	(*.f64 (pow.f64 x 3) 1/6)

Compiler

Compiled 83 to 68 computations (18.1% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(pow.f64 x 3)
✓	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)

rewrite91.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1588×	`bool.json-1`
1588×	`bool.json-2`
1532×	`rational.json-1`
1532×	`rational.json-2`
1532×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	69	13
2	188	13
3	381	13
4	758	13
5	1589	13
6	3679	13
7	6375	13

Stop Event

1×	node limit

Counts

1 → 11

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

simplify626.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

8298×	`rational.json-simplify-41`
1956×	`rational.json-simplify-35`
916×	`rational.json-simplify-2`
764×	`rational.json-simplify-1`
440×	`rational.json-simplify-51`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	299
1	81	299
2	146	299
3	325	299
4	729	299
5	2078	299
6	2760	299
7	2854	299
8	2912	299
9	2952	299
10	2988	299
11	3022	299
12	3056	299
13	3090	299
14	3124	299
15	3158	299
16	3192	299
17	3226	299
18	3260	299
19	3294	299
20	3328	299
21	3362	299
22	3396	299
23	3430	299
24	3464	299
25	3498	299
26	3532	299
27	3566	299
28	3600	299
29	3634	299
30	3668	299
31	3702	299
32	3736	299
33	3770	299
34	3804	299
35	3804	299

Stop Event

1×	node limit

Counts

23 → 12

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 (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) 4/3))) (.f64 2 (.f64 2 (.f64 (pow.f64 x 3) 4/3)))) 64)

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

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

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/60 (pow.f64 x 5)) 2)
0.0ms	x	@	0	(/.f64 (*.f64 1/60 (pow.f64 x 5)) 2)
0.0ms	x	@	-inf	(/.f64 (*.f64 1/60 (pow.f64 x 5)) 2)

rewrite77.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1312×	`bool.json-1`
1312×	`bool.json-2`
1218×	`rational.json-1`
1218×	`rational.json-2`
1218×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	94	13
2	269	13
3	556	13
4	1113	13
5	2367	13
6	4917	13

Stop Event

1×	node limit

Counts

1 → 30

Calls

Call 1

Inputs
(/.f64 (*.f64 1/60 (pow.f64 x 5)) 2)

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 5) 1/120) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (pow.f64 x 5) 1/120))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (pow.f64 x 5) 1/240) (*.f64 (pow.f64 x 5) 1/240))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (pow.f64 x 5) 1/120) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/60 (*.f64 (pow.f64 x 5) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 5) 1/120)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/60 (pow.f64 x 5)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (pow.f64 x 5) 1/240))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 5) 1/120) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (pow.f64 x 5) 1/120))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 5) 1/30) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (*.f64 1/60 (pow.f64 x 5)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/120 (pow.f64 x 5))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 5) 1/15) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 5) 2) 1/240)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 5) 1/2) 1/60)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 1/60 (pow.f64 x 5)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/30 (*.f64 (pow.f64 x 5) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 5) 2/15) 1/16)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 5) 4) 1/480)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/240 (*.f64 (pow.f64 x 5) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 5) 1/4) 1/30)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (pow.f64 x 5) 1/30))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/15 (/.f64 (pow.f64 x 5) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 5) 1/240) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (pow.f64 x 5) 1/15))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 1/60 (pow.f64 x 5)) 8) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/480 (*.f64 (pow.f64 x 5) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/16 (*.f64 (pow.f64 x 5) 2/15))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 x 5) 8) 1/15)))) (#(struct:change #<rule egg-rr> (2) ((x not (not (*.f64 (pow.f64 x 5) 1/120)))))) (#(struct:change #<rule egg-rr> (2) ((x and (*.f64 (pow.f64 x 5) 1/120) (*.f64 (pow.f64 x 5) 1/120))))) (#(struct:change #<rule egg-rr> (2) ((x or (*.f64 (pow.f64 x 5) 1/120) (*.f64 (pow.f64 x 5) 1/120))))))

simplify390.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

4458×	`rational.json-simplify-2`
2702×	`rational.json-simplify-49`
2124×	`rational.json-simplify-51`
1566×	`rational.json-simplify-35`
816×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	62	546
1	88	546
2	141	546
3	237	546
4	355	546
5	518	546
6	826	546
7	1548	546
8	2239	546
9	2470	546
10	2559	546
11	2639	546
12	2714	546
13	2790	546
14	2847	546
15	2907	546
16	2964	546
17	2991	546
18	3018	546
19	3135	546
20	3162	546
21	3189	546
22	3396	546
23	3634	546
24	4433	546
25	5032	546
26	5673	546
27	5784	546
28	5826	546
29	5865	546
30	5904	546
31	5943	546
32	5982	546
33	6021	546
34	6060	546
35	7246	546

Stop Event

1×	node limit

Counts

42 → 30

Calls

Call 1

Inputs
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(+.f64 (*.f64 (pow.f64 x 5) 1/120) 0)
(+.f64 0 (*.f64 (pow.f64 x 5) 1/120))
(+.f64 (.f64 (pow.f64 x 5) 1/240) (.f64 (pow.f64 x 5) 1/240))
(-.f64 (*.f64 (pow.f64 x 5) 1/120) 0)
(.f64 1/60 (.f64 (pow.f64 x 5) 1/2))
(*.f64 (pow.f64 x 5) 1/120)
(.f64 (.f64 1/60 (pow.f64 x 5)) 1/2)
(.f64 2 (.f64 (pow.f64 x 5) 1/240))
(.f64 (.f64 (pow.f64 x 5) 1/120) 1)
(.f64 1 (.f64 (pow.f64 x 5) 1/120))
(.f64 (.f64 (pow.f64 x 5) 1/30) 1/4)
(.f64 4 (/.f64 (.f64 1/60 (pow.f64 x 5)) 8))
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 1/15) 1/8)
(.f64 (.f64 (pow.f64 x 5) 2) 1/240)
(.f64 (.f64 (pow.f64 x 5) 1/2) 1/60)
(.f64 1/2 (.f64 1/60 (pow.f64 x 5)))
(.f64 1/30 (.f64 (pow.f64 x 5) 1/4))
(.f64 (.f64 (pow.f64 x 5) 2/15) 1/16)
(.f64 (.f64 (pow.f64 x 5) 4) 1/480)
(.f64 1/240 (.f64 (pow.f64 x 5) 2))
(.f64 (.f64 (pow.f64 x 5) 1/4) 1/30)
(.f64 1/4 (.f64 (pow.f64 x 5) 1/30))
(*.f64 1/15 (/.f64 (pow.f64 x 5) 8))
(.f64 (.f64 (pow.f64 x 5) 1/240) 2)
(.f64 1/8 (.f64 (pow.f64 x 5) 1/15))
(.f64 (/.f64 (.f64 1/60 (pow.f64 x 5)) 8) 4)
(.f64 1/480 (.f64 (pow.f64 x 5) 4))
(.f64 1/16 (.f64 (pow.f64 x 5) 2/15))
(*.f64 (/.f64 (pow.f64 x 5) 8) 1/15)

Outputs
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(+.f64 (*.f64 (pow.f64 x 5) 1/120) 0)
(*.f64 1/120 (pow.f64 x 5))
(+.f64 0 (*.f64 (pow.f64 x 5) 1/120))
(*.f64 1/120 (pow.f64 x 5))
(+.f64 (.f64 (pow.f64 x 5) 1/240) (.f64 (pow.f64 x 5) 1/240))
(*.f64 1/120 (pow.f64 x 5))
(-.f64 (*.f64 (pow.f64 x 5) 1/120) 0)
(*.f64 1/120 (pow.f64 x 5))
(.f64 1/60 (.f64 (pow.f64 x 5) 1/2))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 (pow.f64 x 5) 1/120)
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 1/60 (pow.f64 x 5)) 1/2)
(*.f64 1/120 (pow.f64 x 5))
(.f64 2 (.f64 (pow.f64 x 5) 1/240))
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 1/120) 1)
(*.f64 1/120 (pow.f64 x 5))
(.f64 1 (.f64 (pow.f64 x 5) 1/120))
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 1/30) 1/4)
(*.f64 1/120 (pow.f64 x 5))
(.f64 4 (/.f64 (.f64 1/60 (pow.f64 x 5)) 8))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 1/15) 1/8)
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 2) 1/240)
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 1/2) 1/60)
(*.f64 1/120 (pow.f64 x 5))
(.f64 1/2 (.f64 1/60 (pow.f64 x 5)))
(*.f64 1/120 (pow.f64 x 5))
(.f64 1/30 (.f64 (pow.f64 x 5) 1/4))
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 2/15) 1/16)
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 4) 1/480)
(*.f64 1/120 (pow.f64 x 5))
(.f64 1/240 (.f64 (pow.f64 x 5) 2))
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 1/4) 1/30)
(*.f64 1/120 (pow.f64 x 5))
(.f64 1/4 (.f64 (pow.f64 x 5) 1/30))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 1/15 (/.f64 (pow.f64 x 5) 8))
(*.f64 1/120 (pow.f64 x 5))
(.f64 (.f64 (pow.f64 x 5) 1/240) 2)
(*.f64 1/120 (pow.f64 x 5))
(.f64 1/8 (.f64 (pow.f64 x 5) 1/15))
(*.f64 1/120 (pow.f64 x 5))
(.f64 (/.f64 (.f64 1/60 (pow.f64 x 5)) 8) 4)
(*.f64 1/120 (pow.f64 x 5))
(.f64 1/480 (.f64 (pow.f64 x 5) 4))
(*.f64 1/120 (pow.f64 x 5))
(.f64 1/16 (.f64 (pow.f64 x 5) 2/15))
(*.f64 1/120 (pow.f64 x 5))
(*.f64 (/.f64 (pow.f64 x 5) 8) 1/15)
(*.f64 1/120 (pow.f64 x 5))

eval21.0ms (0.1%)

Compiler: Compiled 767 to 672 computations (12.4% saved)

prune13.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	0	0
Picked	1	0	1
Done	1	6	7
Total	87	7	94

Error

Counts

94 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	58.2b	(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)
✓	0.4b	(/.f64 (+.f64 (.f64 2 x) (+.f64 (.f64 1/3 (pow.f64 x 3)) (*.f64 1/60 (pow.f64 x 5)))) 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/60 (pow.f64 x 5))) 2)
✓	0.5b	(/.f64 (+.f64 x (+.f64 x (*.f64 1/3 (pow.f64 x 3)))) 2)
✓	0.8b	(/.f64 (*.f64 2 x) 2)
	60.2b	(*.f64 (pow.f64 x 5) 1/120)

Compiler

Compiled 75 to 61 computations (18.7% saved)

regimes14.0ms (0.1%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

3 calls:

6.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.4b	1	`x`
0.4b	1	`(/.f64 (-.f64 (exp.f64 x) (exp.f64 (neg.f64 x))) 2)`
0.4b	1	`(-.f64 (exp.f64 x) (exp.f64 (neg.f64 x)))`

Compiler

Compiled 106 to 84 computations (20.8% saved)

regimes13.0ms (0.1%)

Counts

9 → 1

Calls

Call 1

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

Outputs
(/.f64 (+.f64 (.f64 2 x) (.f64 1/3 (pow.f64 x 3))) 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.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 89 to 70 computations (21.3% saved)

regimes7.0ms (0%)

Counts

7 → 1

Calls

Call 1

Inputs
(/.f64 (*.f64 2 x) 2)
(*.f64 (pow.f64 x 3) 1/6)
(*.f64 (pow.f64 x 5) 1/120)
(/.f64 (*.f64 1/60 (pow.f64 x 5)) 2)
(/.f64 (*.f64 1/3 (pow.f64 x 3)) 2)
(/.f64 (+.f64 x (+.f64 x (*.f64 1/3 (pow.f64 x 3)))) 2)
(/.f64 (+.f64 (.f64 2 x) (.f64 1/60 (pow.f64 x 5))) 2)

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

Calls

1 calls:

5.0ms

Results

Error	Segments	Branch
0.5b	1	`x`

Compiler

Compiled 54 to 43 computations (20.4% saved)

regimes5.0ms (0%)

Accuracy

Total -59.4b remaining (-7148.7%)

Threshold costs -59.4b (-7148.7%)

Counts

5 → 1

Calls

Call 1

Inputs
(/.f64 (*.f64 2 x) 2)
(*.f64 (pow.f64 x 3) 1/6)
(*.f64 (pow.f64 x 5) 1/120)
(/.f64 (*.f64 1/60 (pow.f64 x 5)) 2)
(/.f64 (*.f64 1/3 (pow.f64 x 3)) 2)

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

Calls

1 calls:

4.0ms

Results

Error	Segments	Branch
0.8b	1	`x`

Compiler

Compiled 32 to 26 computations (18.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	124

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

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

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

Compiler

Compiled 48 to 39 computations (18.8% saved)

soundness0.0ms (0%)

end34.0ms (0.2%)

Compiler: Compiled 45 to 36 computations (20% saved)

Details

analyze3.0ms (0%)

sample5.8s (39.7%)

preprocess1.9s (13.1%)

simplify1.9s (13.2%)

eval0.0ms (0%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series1.0ms (0%)

rewrite86.0ms (0.6%)

simplify137.0ms (0.9%)

eval16.0ms (0.1%)

prune8.0ms (0.1%)

localize6.0ms (0%)

localize15.0ms (0.1%)

series4.0ms (0%)

rewrite116.0ms (0.8%)

simplify883.0ms (6.1%)

localize28.0ms (0.2%)

series2.0ms (0%)

rewrite112.0ms (0.8%)

simplify217.0ms (1.5%)

eval59.0ms (0.4%)

prune22.0ms (0.2%)

localize9.0ms (0.1%)

series1.0ms (0%)

rewrite102.0ms (0.7%)

simplify277.0ms (1.9%)

localize14.0ms (0.1%)

series0.0ms (0%)

rewrite104.0ms (0.7%)

simplify484.0ms (3.3%)

localize15.0ms (0.1%)

series0.0ms (0%)

rewrite98.0ms (0.7%)

simplify714.0ms (4.9%)

eval53.0ms (0.4%)

prune25.0ms (0.2%)

localize6.0ms (0%)

series0.0ms (0%)

rewrite91.0ms (0.6%)

simplify626.0ms (4.3%)

localize9.0ms (0.1%)

series1.0ms (0%)

rewrite77.0ms (0.5%)

simplify390.0ms (2.7%)

eval21.0ms (0.1%)

prune13.0ms (0.1%)

regimes14.0ms (0.1%)

regimes13.0ms (0.1%)

regimes7.0ms (0%)

regimes5.0ms (0%)

simplify3.0ms (0%)

soundness0.0ms (0%)

end34.0ms (0.2%)

Profiling