Details

sample30.0ms

Algorithm

intervals

Results

9.0ms	230×	body	80	valid
2.0ms	10×	body	1280	valid
1.0ms	9×	body	640	valid
1.0ms	3×	body	2560	valid
0.0ms	3×	body	320	valid
0.0ms	1×	body	160	valid

simplify12.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	123
1	12	123
2	19	123
3	29	123
4	39	123
5	54	123
6	94	123
7	155	123
8	234	123
9	414	123
10	505	123
11	547	123
12	608	123
13	653	123
14	704	123
15	740	123
16	772	123
17	805	123
18	841	123
19	876	123
20	909	123
21	942	123
22	976	123
23	1011	123
24	1046	123
25	1078	123
26	1112	123
27	1149	123
28	1182	123
29	1214	123
30	1252	123
31	1287	123
32	1320	123
33	1353	123
34	1387	123
35	1422	123
36	1457	123
37	1489	123
38	1523	123
39	1560	123
40	1593	123
41	1625	123
42	1661	123
43	1696	123
44	1729	123
45	1762	123
46	1796	123
47	1831	123
48	1866	123
49	1898	123
50	1932	123
51	1969	123
52	2002	123
53	2034	123
54	2072	123
55	2107	123
56	2140	123
57	2173	123
58	2207	123
59	2242	123
60	2277	123
61	2309	123
62	2343	123
63	2380	123
64	2413	123
65	2445	123
66	2481	123
67	2516	123
68	2549	123
69	2582	123
70	2616	123
71	2651	123
72	2686	123
73	2718	123
74	2752	123
75	2789	123
76	2822	123
77	2854	123
78	2892	123
79	2927	123
80	2960	123
81	2993	123
82	3027	123
83	3062	123
84	3097	123
85	3129	123
86	3163	123
87	3200	123
88	3233	123
89	3265	123
90	3301	123
91	3336	123
92	3369	123
93	3402	123
94	3436	123
95	3471	123
96	3506	123
97	3538	123
98	3572	123
99	3609	123
100	3642	123
101	3674	123
102	3714	123
103	3749	123
104	3782	123
105	3815	123
106	3849	123
107	3884	123
108	3919	123
109	3951	123
110	3985	123
111	4022	123
112	4055	123
113	4087	123
114	4123	123
115	4158	123
116	4191	123
117	4224	123
118	4258	123
119	4293	123
120	4328	123
121	4360	123
122	4394	123
123	4431	123
124	4464	123
125	4496	123
126	4532	123
127	4567	123
128	4600	123
129	4633	123
130	4667	123
131	4702	123
132	4737	123
133	4769	123
134	4803	123
135	4840	123
136	4873	123
137	4905	123
138	4941	123
139	4976	123
done	5000	123

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- x y) 2.0))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`add-sqr-sqrt` `pow1` `+-commutative` `associate-+r-` `sum-log` `flip3-+` `add-cbrt-cube` `div-sub` `add-exp-log` `add-cube-cbrt` `flip-+` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

16.0ms

(+ x (/ (- x y) 2.0))

series55.0ms

Counts

1 → 3

Calls

1 calls:

54.0ms

(+ x (/ (- x y) 2.0))

simplify3.3s

Counts

16 → 16

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	34	3354
1	92	2983
2	250	2983
3	713	2983
4	3247	2983
done	5013	2983

prune91.0ms

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.1b

localize11.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* 1.5 x) (* 0.5 y))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`add-sqr-sqrt` `pow1` `sub-neg` `*-un-lft-identity` `flip3--` `add-cbrt-cube` `diff-log` `add-exp-log` `add-cube-cbrt` `flip--`

Counts

1 → 12

Calls

1 calls:

12.0ms

(- (* 1.5 x) (* 0.5 y))

series73.0ms

Counts

1 → 3

Calls

1 calls:

73.0ms

(- (* 1.5 x) (* 0.5 y))

simplify2.9s

Counts

15 → 15

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	29	3325
1	88	2954
2	259	2954
3	719	2954
4	1710	2954
done	5000	2954

prune79.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize24.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))
0.5b	(cbrt (+ x (/ (- x y) 2.0)))

rewrite275.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

184.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
35.0ms	(cbrt (+ x (/ (- x y) 2.0)))
29.0ms	(cbrt (+ x (/ (- x y) 2.0)))
23.0ms	(cbrt (+ x (/ (- x y) 2.0)))

series2.4s

Counts

4 → 12

Calls

4 calls:

536.0ms	(* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0))))
590.0ms	(cbrt (+ x (/ (- x y) 2.0)))
621.0ms	(cbrt (+ x (/ (- x y) 2.0)))
604.0ms	(cbrt (+ x (/ (- x y) 2.0)))

simplify154.0ms

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	129	42217