Details

sample126.0ms

Algorithm

intervals

Results

51.0ms	186×	body	80	valid
30.0ms	26×	body	1280	valid
20.0ms	26×	body	640	valid
7.0ms	13×	body	320	valid
2.0ms	5×	body	160	valid

simplify4.6s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
275	4998
274	4978
273	4962
272	4942
271	4926
270	4906
269	4890
268	4870
267	4854
266	4834
265	4818
264	4798
263	4782
262	4762
261	4746
260	4726
259	4710
258	4690
257	4674
256	4654
255	4638
254	4618
253	4602
252	4582
251	4566
250	4546
249	4530
248	4510
247	4494
246	4474
245	4458
244	4438
243	4422
242	4402
241	4386
240	4366
239	4350
238	4330
237	4314
236	4294
235	4278
234	4258
233	4242
232	4222
231	4206
230	4186
229	4170
228	4150
227	4134
226	4114
225	4098
224	4078
223	4062
222	4042
221	4026
220	4006
219	3990
218	3970
217	3954
216	3934
215	3918
214	3898
213	3882
212	3862
211	3846
210	3826
209	3810
208	3790
207	3774
206	3754
205	3738
204	3718
203	3702
202	3682
201	3666
200	3646
199	3630
198	3610
197	3594
196	3574
195	3558
194	3538
193	3522
192	3502
191	3486
190	3466
189	3450
188	3430
187	3414
186	3394
185	3378
184	3358
183	3342
182	3322
181	3306
180	3286
179	3270
178	3250
177	3234
176	3214
175	3198
174	3178
173	3162
172	3142
171	3126
170	3106
169	3090
168	3070
167	3054
166	3034
165	3018
164	2998
163	2982
162	2962
161	2946
160	2926
159	2910
158	2890
157	2874
156	2854
155	2838
154	2818
153	2802
152	2782
151	2766
150	2746
149	2730
148	2710
147	2694
146	2674
145	2658
144	2638
143	2622
142	2602
141	2586
140	2566
139	2550
138	2530
137	2514
136	2494
135	2478
134	2458
133	2442
132	2422
131	2406
130	2386
129	2370
128	2350
127	2334
126	2314
125	2298
124	2278
123	2262
122	2242
121	2226
120	2206
119	2190
118	2170
117	2154
116	2134
115	2118
114	2098
113	2082
112	2062
111	2046
110	2026
109	2010
108	1990
107	1974
106	1954
105	1938
104	1918
103	1902
102	1882
101	1866
100	1846
99	1830
98	1810
97	1794
96	1774
95	1758
94	1738
93	1722
92	1702
91	1686
90	1666
89	1650
88	1630
87	1614
86	1594
85	1578
84	1558
83	1542
82	1522
81	1506
80	1486
79	1470
78	1450
77	1434
76	1414
75	1398
74	1378
73	1362
72	1342
71	1326
70	1306
69	1290
68	1270
67	1254
66	1234
65	1218
64	1198
63	1182
62	1162
61	1146
60	1126
59	1110
58	1090
57	1074
56	1054
55	1038
54	1018
53	1002
52	982
51	966
50	946
49	930
48	910
47	894
46	874
45	858
44	838
43	822
42	802
41	786
40	766
39	750
38	730
37	714
36	694
35	678
34	658
33	642
32	622
31	606
30	586
29	570
28	550
27	534
26	514
25	498
24	478
23	462
22	442
21	426
20	406
19	390
18	370
17	354
16	334
15	318
14	298
13	282
12	258
11	168
10	135
9	99
8	83
7	63
6	49
5	39
4	37
3	35
2	28
1	14
0	8

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (+ x (cos y)) (* z (sin y)))
0.1b	(* z (sin y))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

14×	`*-un-lft-identity`
11×	`add-sqr-sqrt`
7×	`add-log-exp`
5×	`associate-l`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `distribute-lft-out--`
3×	`associate-r`
2×	`diff-log` `associate--l+` `insert-posit16` `distribute-lft-out` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `sum-log` `sub-neg` `flip3--` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip--`

Counts

2 → 41

Calls

2 calls:

57.0ms	(- (+ x (cos y)) (* z (sin y)))
10.0ms	(* z (sin y))

series167.0ms

Counts

2 → 6

Calls

2 calls:

85.0ms	(- (+ x (cos y)) (* z (sin y)))
82.0ms	(* z (sin y))

simplify1.8s

Counts

47 → 47

Iterations

Iter	Nodes
done	5001
3	1750
2	458
1	170
0	75

prune207.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.0b

localize52.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (sin y)) (cbrt (sin y)))
0.7b	(cbrt (sin y))
0.7b	(cbrt (sin y))
0.7b	(cbrt (sin y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
8×	`add-cbrt-cube`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`cbrt-unprod` `insert-posit16` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative`

Counts

4 → 80

Calls

4 calls:

19.0ms	(* (cbrt (sin y)) (cbrt (sin y)))
3.0ms	(cbrt (sin y))
3.0ms	(cbrt (sin y))
3.0ms	(cbrt (sin y))

series713.0ms

Counts

4 → 12

Calls

4 calls:

205.0ms	(* (cbrt (sin y)) (cbrt (sin y)))
196.0ms	(cbrt (sin y))
180.0ms	(cbrt (sin y))
132.0ms	(cbrt (sin y))

simplify2.3s

Counts

92 → 92

Iterations

Iter	Nodes
done	5000
3	1584
2	517
1	189
0	80

prune515.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sin y) (sin y))
0.3b	(* (* z (pow (* (sin y) (sin y)) 1/3)) (cbrt (sin y)))
0.7b	(cbrt (sin y))
16.3b	(pow (* (sin y) (sin y)) 1/3)

rewrite485.0ms

Algorithm

rewrite-expression-head

Rules

88×	`add-sqr-sqrt`
46×	`associate-l`
45×	`unpow-prod-down`
43×	`unswap-sqr`
34×	`associate-r`
25×	`*-un-lft-identity` `add-cube-cbrt`
24×	`pow1`
23×	`add-exp-log`
17×	`add-cbrt-cube`
14×	`cbrt-prod`
12×	`swap-sqr` `prod-exp`
11×	`cbrt-unprod`
8×	`*-commutative`
6×	`pow-pow`
5×	`pow-prod-down` `sqr-pow`
4×	`pow-exp` `insert-posit16` `add-log-exp`
3×	`pow-unpow` `unpow1/3`
2×	`pow2` `pow-to-exp` `pow-plus` `pow-sqr` `pow-prod-up`
1×	`pow1/3` `sqr-sin` `sin-mult`

Counts

4 → 155

Calls

4 calls:

29.0ms	(* (sin y) (sin y))
411.0ms	(* (* z (pow (* (sin y) (sin y)) 1/3)) (cbrt (sin y)))
3.0ms	(cbrt (sin y))
34.0ms	(pow (* (sin y) (sin y)) 1/3)

series434.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (sin y) (sin y))
75.0ms	(* (* z (pow (* (sin y) (sin y)) 1/3)) (cbrt (sin y)))
148.0ms	(cbrt (sin y))
183.0ms	(pow (* (sin y) (sin y)) 1/3)

simplify1.9s

Counts

167 → 167

Iterations

Iter	Nodes
done	5000
2	1788
1	638
0	214

prune858.0ms

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0.0b

localize74.0ms

Local error

Found 4 expressions with local error:

0.7b	(cbrt (sin y))
0.7b	(cbrt (sin y))
0.7b	(cbrt (* (cbrt (sin y)) (cbrt (sin y))))
16.3b	(pow (* (sin y) (sin y)) 1/3)

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

49×	`cbrt-prod`
31×	`add-sqr-sqrt`
21×	`*-un-lft-identity` `add-cube-cbrt`
15×	`unpow-prod-down`
12×	`pow1`
9×	`swap-sqr` `associate-r` `associate-l`
7×	`add-exp-log`
6×	`pow-pow`
5×	`unswap-sqr`
4×	`add-cbrt-cube` `insert-posit16` `add-log-exp`
3×	`pow-unpow` `pow1/3`
2×	`pow-exp` `*-commutative`
1×	`pow2` `pow-to-exp` `pow-plus` `unpow1/3` `pow-prod-down` `prod-exp` `pow-sqr` `pow-prod-up` `sqr-pow`

Counts

4 → 97

Calls

4 calls:

2.0ms	(cbrt (sin y))
5.0ms	(cbrt (sin y))
25.0ms	(cbrt (* (cbrt (sin y)) (cbrt (sin y))))
27.0ms	(pow (* (sin y) (sin y)) 1/3)

series591.0ms

Counts

4 → 12

Calls

4 calls:

125.0ms	(cbrt (sin y))
110.0ms	(cbrt (sin y))
186.0ms	(cbrt (* (cbrt (sin y)) (cbrt (sin y))))
170.0ms	(pow (* (sin y) (sin y)) 1/3)

simplify2.1s

Counts

109 → 109

Iterations

Iter	Nodes
done	5002
3	2575
2	1048
1	417
0	165

prune775.0ms

Pruning

6 alts after pruning (3 fresh and 3 done)

Merged error: 0.0b

regimes299.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify2.0ms

Iterations

Iter	Nodes
done	10
1	10
0	8

end0.0ms

sample3.7s

Algorithm

intervals

Results

1.4s	5649×	body	80	valid
1.0s	917×	body	1280	valid
657.0ms	812×	body	640	valid
279.0ms	407×	body	320	valid
73.0ms	215×	body	160	valid