Details

sample243.0ms

Algorithm

intervals

Results

75.0ms	330×	body	80	nan
43.0ms	61×	body	1280	valid
26.0ms	182×	body	80	valid
15.0ms	27×	body	640	valid
13.0ms	11×	body	2560	valid
3.0ms	7×	body	320	valid
1.0ms	6×	body	160	valid

simplify121.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	110
6	110
5	108
4	100
3	82
2	58
1	33
0	18

prune32.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 20.0b

localize59.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma (/ z 3.0) (- t) y)
0.2b	(fma (cos (fma (/ z 3.0) (- t) y)) (* 2.0 (sqrt x)) (/ (- (/ a b)) 3.0))
0.2b	(/ (- (/ a b)) 3.0)
24.2b	(cos (fma (/ z 3.0) (- t) y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac`
95×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
52×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
30×	`associate-/l*`
9×	`div-inv`
6×	`add-cbrt-cube` `add-exp-log`
4×	`expm1-log1p-u` `pow1` `neg-mul-1` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r*` `fma-udef`
1×	`neg-sub0` `cbrt-undiv` `cos-sum` `clear-num` `frac-2neg` `div-sub` `div-exp` `distribute-frac-neg` `distribute-neg-frac` `associate-/l/`

Counts

4 → 170

Calls

4 calls:

0.0ms	(fma (/ z 3.0) (- t) y)
0.0ms	(fma (cos (fma (/ z 3.0) (- t) y)) (* 2.0 (sqrt x)) (/ (- (/ a b)) 3.0))
16.0ms	(/ (- (/ a b)) 3.0)
2.0ms	(cos (fma (/ z 3.0) (- t) y))

series622.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(fma (/ z 3.0) (- t) y)
479.0ms	(fma (cos (fma (/ z 3.0) (- t) y)) (* 2.0 (sqrt x)) (/ (- (/ a b)) 3.0))
32.0ms	(/ (- (/ a b)) 3.0)
45.0ms	(cos (fma (/ z 3.0) (- t) y))

simplify1.2s

Counts

182 → 182

Iterations

Iter	Nodes
done	5001
2	2674
1	744
0	344

prune2.0s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 14.5b

localize69.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (- (/ a b)) 3.0)
0.3b	(* (sin y) (- (sin (/ (* t z) 3.0))))
28.4b	(sin (/ (* t z) 3.0))
28.5b	(cos (/ (* t z) 3.0))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac`
101×	`add-sqr-sqrt`
99×	`*-un-lft-identity` `add-cube-cbrt`
55×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
30×	`associate-/l*`
10×	`associate-r`
9×	`div-inv`
8×	`add-cbrt-cube` `add-exp-log`
6×	`pow1`
5×	`neg-mul-1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `associate-l*`
1×	`neg-sub0` `cbrt-undiv` `clear-num` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `distribute-frac-neg` `*-commutative` `distribute-rgt-neg-out` `cbrt-unprod` `distribute-neg-frac` `unswap-sqr` `associate-/l/`

Counts

4 → 186

Calls

4 calls:

33.0ms	(/ (- (/ a b)) 3.0)
34.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
5.0ms	(sin (/ (* t z) 3.0))
5.0ms	(cos (/ (* t z) 3.0))

series205.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(/ (- (/ a b)) 3.0)
118.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
36.0ms	(sin (/ (* t z) 3.0))
14.0ms	(cos (/ (* t z) 3.0))

simplify1.6s

Counts

198 → 198

Iterations

Iter	Nodes
done	5000
2	3234
1	790
0	344

prune2.6s

Pruning

26 alts after pruning (26 fresh and 0 done)

Merged error: 14.4b

localize69.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (- (/ a b)) 3.0)
0.3b	(* (sin y) (- (sin (/ (* t z) 3.0))))
28.4b	(sin (/ (* t z) 3.0))
28.5b	(cos (* (* t 0.3333333333333333) z))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac`
101×	`add-sqr-sqrt`
99×	`*-un-lft-identity` `add-cube-cbrt`
55×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
30×	`associate-/l*`
10×	`associate-r`
9×	`div-inv`
8×	`add-cbrt-cube` `add-exp-log`
6×	`pow1`
5×	`neg-mul-1`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r` `associate-l*`
1×	`neg-sub0` `cbrt-undiv` `clear-num` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `distribute-frac-neg` `*-commutative` `distribute-rgt-neg-out` `cbrt-unprod` `distribute-neg-frac` `unswap-sqr` `associate-/l/`

Counts

4 → 186

Calls

4 calls:

23.0ms	(/ (- (/ a b)) 3.0)
27.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
5.0ms	(sin (/ (* t z) 3.0))
17.0ms	(cos (* (* t 0.3333333333333333) z))

series179.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(/ (- (/ a b)) 3.0)
90.0ms	(* (sin y) (- (sin (/ (* t z) 3.0))))
20.0ms	(sin (/ (* t z) 3.0))
28.0ms	(cos (* (* t 0.3333333333333333) z))

simplify1.5s

Counts

198 → 198

Iterations

Iter	Nodes
done	5000
2	3012
1	772
0	346

prune2.8s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 14.4b

localize99.0ms

Local error

Found 4 expressions with local error:

28.4b	(sin (/ (* t z) 3.0))
28.4b	(sin (/ (* z t) 3.0))
28.4b	(sin (/ (* z t) 3.0))
28.5b	(cos (* (* t 0.3333333333333333) z))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `log1p-expm1-u` `add-log-exp`

Counts

4 → 36

Calls

4 calls:

3.0ms	(sin (/ (* t z) 3.0))
3.0ms	(sin (/ (* z t) 3.0))
3.0ms	(sin (/ (* z t) 3.0))
24.0ms	(cos (* (* t 0.3333333333333333) z))

series111.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(sin (/ (* t z) 3.0))
26.0ms	(sin (/ (* z t) 3.0))
31.0ms	(sin (/ (* z t) 3.0))
14.0ms	(cos (* (* t 0.3333333333333333) z))

simplify1.2s

Counts

48 → 48

Iterations

Iter	Nodes
done	5001
8	2080
7	652
6	304
5	165
4	98
3	83
2	74
1	60
0	44

prune737.0ms

Pruning

26 alts after pruning (25 fresh and 1 done)

Merged error: 14.4b

regimes6.3s

bsearch4.0ms

simplify9.6m

Iterations

Iter	Nodes
286	3766
285	3753
284	3740
283	3727
282	3714
281	3701
280	3688
279	3675
278	3662
277	3649
276	3636
275	3623
274	3610
273	3597
272	3584
271	3571
270	3558
269	3545
268	3532
267	3519
266	3506
265	3493
264	3480
263	3467
262	3454
261	3441
260	3428
259	3415
258	3402
257	3389
256	3376
255	3363
254	3350
253	3337
252	3324
251	3311
250	3298
249	3285
248	3272
247	3259
246	3246
245	3233
244	3220
243	3207
242	3194
241	3181
240	3168
239	3155
238	3142
237	3129
236	3116
235	3103
234	3090
233	3077
232	3064
231	3051
230	3038
229	3025
228	3012
227	2999
226	2986
225	2973
224	2960
223	2947
222	2934
221	2921
220	2908
219	2895
218	2882
217	2869
216	2856
215	2843
214	2830
213	2817
212	2804
211	2791
210	2778
209	2765
208	2752
207	2739
206	2726
205	2713
204	2700
203	2687
202	2674
201	2661
200	2648
199	2635
198	2622
197	2609
196	2596
195	2583
194	2570
193	2557
192	2544
191	2531
190	2518
189	2505
188	2492
187	2479
186	2466
185	2453
184	2440
183	2427
182	2414
181	2401
180	2388
179	2375
178	2362
177	2349
176	2336
175	2323
174	2310
173	2297
172	2284
171	2271
170	2258
169	2245
168	2232
167	2219
166	2206
165	2193
164	2180
163	2167
162	2154
161	2141
160	2128
159	2115
158	2102
157	2089
156	2076
155	2063
154	2050
153	2037
152	2024
151	2011
150	1998
149	1985
148	1972
147	1960
146	1947
145	1934
144	1921
143	1908
142	1895
141	1882
140	1869
139	1856
138	1843
137	1830
136	1817
135	1804
134	1791
133	1778
132	1765
131	1752
130	1739
129	1726
128	1713
127	1700
126	1687
125	1674
124	1661
123	1648
122	1635
121	1622
120	1609
119	1596
118	1583
117	1570
116	1557
115	1544
114	1531
113	1518
112	1505
111	1492
110	1479
109	1466
108	1453
107	1440
106	1427
105	1414
104	1401
103	1388
102	1375
101	1362
100	1349
99	1336
98	1323
97	1310
96	1297
95	1284
94	1271
93	1258
92	1245
91	1232
90	1219
89	1206
88	1193
87	1180
86	1167
85	1154
84	1141
83	1128
82	1115
81	1102
80	1089
79	1076
78	1063
77	1050
76	1037
75	1024
74	1011
73	998
72	985
71	972
70	959
69	946
68	933
67	920
66	907
65	894
64	881
63	868
62	855
61	842
60	829
59	816
58	803
57	790
56	777
55	763
54	750
53	737
52	724
51	711
50	698
49	685
48	672
47	659
46	646
45	633
44	620
43	607
42	594
41	581
40	568
39	555
38	542
37	529
36	516
35	503
34	490
33	477
32	464
31	451
30	438
29	425
28	412
27	399
26	386
25	373
24	360
23	347
22	334
21	321
20	308
19	295
18	282
17	269
16	256
15	243
14	230
13	217
12	204
11	191
10	178
9	165
8	152
7	139
6	126
5	113
4	101
3	84
2	69
1	60
0	42