Details

sample39.0ms

Algorithm

intervals

Results

23.0ms	117×	body	1280	valid
6.0ms	139×	body	80	valid

simplify64.0ms

Counts

1 → 1

Iterations

Iter	Nodes
done	69
7	69
6	67
5	61
4	55
3	48
2	32
1	15
0	8

prune16.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 16.8b

localize16.0ms

Local error

Found 1 expressions with local error:

28.1b

(fma (fabs x) (/ (- 1.0) x) 1)

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma (fabs x) (/ (- 1.0) x) 1)

series41.0ms

Counts

1 → 3

Calls

1 calls:

41.0ms

(fma (fabs x) (/ (- 1.0) x) 1)

simplify3.7s

Counts

13 → 13

Iterations

Iter	Nodes
done	5000
4	2512
3	267
2	74
1	34
0	20

prune57.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (fabs x) (/ (- 1.0) x))
3.6b	(+ (* (fabs x) (/ (- 1.0) x)) 1)

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

34×	`associate-r`
31×	`times-frac`
28×	`add-sqr-sqrt`
23×	`*-un-lft-identity` `add-cube-cbrt`
9×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
7×	`add-cbrt-cube` `add-exp-log`
4×	`pow1` `add-log-exp`
3×	`neg-mul-1` `associate-l`
2×	`expm1-log1p-u` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `sum-log` `fma-def` `flip3-+` `div-exp` `pow-prod-down` `associate-r/` `distribute-frac-neg` `-commutative` `distribute-rgt-neg-out` `flip-+` `div-inv`

Counts

2 → 70

Calls

2 calls:

20.0ms	(* (fabs x) (/ (- 1.0) x))
23.0ms	(+ (* (fabs x) (/ (- 1.0) x)) 1)

series156.0ms

Counts

2 → 6

Calls

2 calls:

95.0ms	(* (fabs x) (/ (- 1.0) x))
61.0ms	(+ (* (fabs x) (/ (- 1.0) x)) 1)

simplify2.1s

Counts

76 → 76

Iterations

Iter	Nodes
done	5000
2	2857
1	431
0	143

prune266.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize24.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune5.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.8s

Iterations

Iter	Nodes
done	5000
622	4994
621	4986
620	4978
619	4970
618	4962
617	4954
616	4946
615	4938
614	4930
613	4922
612	4914
611	4906
610	4898
609	4890
608	4882
607	4874
606	4866
605	4858
604	4850
603	4842
602	4834
601	4826
600	4818
599	4810
598	4802
597	4794
596	4786
595	4778
594	4770
593	4762
592	4754
591	4746
590	4738
589	4730
588	4722
587	4714
586	4706
585	4698
584	4690
583	4682
582	4674
581	4666
580	4658
579	4650
578	4642
577	4634
576	4626
575	4618
574	4610
573	4602
572	4594
571	4586
570	4578
569	4570
568	4562
567	4554
566	4546
565	4538
564	4530
563	4522
562	4514
561	4506
560	4498
559	4490
558	4482
557	4474
556	4466
555	4458
554	4450
553	4442
552	4434
551	4426
550	4418
549	4410
548	4402
547	4394
546	4386
545	4378
544	4370
543	4362
542	4354
541	4346
540	4338
539	4330
538	4322
537	4314
536	4306
535	4298
534	4290
533	4282
532	4274
531	4266
530	4258
529	4250
528	4242
527	4234
526	4226
525	4218
524	4210
523	4202
522	4194
521	4186
520	4178
519	4170
518	4162
517	4154
516	4146
515	4138
514	4130
513	4122
512	4114
511	4106
510	4098
509	4090
508	4082
507	4074
506	4066
505	4058
504	4050
503	4042
502	4034
501	4026
500	4018
499	4010
498	4002
497	3994
496	3986
495	3978
494	3970
493	3962
492	3954
491	3946
490	3938
489	3930
488	3922
487	3914
486	3906
485	3898
484	3890
483	3882
482	3874
481	3866
480	3858
479	3850
478	3842
477	3834
476	3826
475	3818
474	3810
473	3802
472	3794
471	3786
470	3778
469	3770
468	3762
467	3754
466	3746
465	3738
464	3730
463	3722
462	3714
461	3706
460	3698
459	3690
458	3682
457	3674
456	3666
455	3658
454	3650
453	3642
452	3634
451	3626
450	3618
449	3610
448	3602
447	3594
446	3586
445	3578
444	3570
443	3562
442	3554
441	3546
440	3538
439	3530
438	3522
437	3514
436	3506
435	3498
434	3490
433	3482
432	3474
431	3466
430	3458
429	3450
428	3442
427	3434
426	3426
425	3418
424	3410
423	3402
422	3394
421	3386
420	3378
419	3370
418	3362
417	3354
416	3346
415	3338
414	3330
413	3322
412	3314
411	3306
410	3298
409	3290
408	3282
407	3274
406	3266
405	3258
404	3250
403	3242
402	3234
401	3226
400	3218
399	3210
398	3202
397	3194
396	3186
395	3178
394	3170
393	3162
392	3154
391	3146
390	3138
389	3130
388	3122
387	3114
386	3106
385	3098
384	3090
383	3082
382	3074
381	3066
380	3058
379	3050
378	3042
377	3034
376	3026
375	3018
374	3010
373	3002
372	2994
371	2986
370	2978
369	2970
368	2962
367	2954
366	2946
365	2938
364	2930
363	2922
362	2914
361	2906
360	2898
359	2890
358	2882
357	2874
356	2866
355	2858
354	2850
353	2842
352	2834
351	2826
350	2818
349	2810
348	2802
347	2794
346	2786
345	2778
344	2770
343	2762
342	2754
341	2746
340	2738
339	2730
338	2722
337	2714
336	2706
335	2698
334	2690
333	2682
332	2674
331	2666
330	2658
329	2650
328	2642
327	2634
326	2626
325	2618
324	2610
323	2602
322	2594
321	2586
320	2578
319	2570
318	2562
317	2554
316	2546
315	2538
314	2530
313	2522
312	2514
311	2506
310	2498
309	2490
308	2482
307	2474
306	2466
305	2458
304	2450
303	2442
302	2434
301	2426
300	2418
299	2410
298	2402
297	2394
296	2386
295	2378
294	2370
293	2362
292	2354
291	2346
290	2338
289	2330
288	2322
287	2314
286	2306
285	2298
284	2290
283	2282
282	2274
281	2266
280	2258
279	2250
278	2242
277	2234
276	2226
275	2218
274	2210
273	2202
272	2194
271	2186
270	2178
269	2170
268	2162
267	2154
266	2146
265	2138
264	2130
263	2122
262	2114
261	2106
260	2098
259	2090
258	2082
257	2074
256	2066
255	2058
254	2050
253	2042
252	2034
251	2026
250	2018
249	2010
248	2002
247	1994
246	1986
245	1978
244	1970
243	1962
242	1954
241	1946
240	1938
239	1930
238	1922
237	1914
236	1906
235	1898
234	1890
233	1882
232	1874
231	1866
230	1858
229	1850
228	1842
227	1834
226	1826
225	1818
224	1810
223	1802
222	1794
221	1786
220	1778
219	1770
218	1762
217	1754
216	1746
215	1738
214	1730
213	1722
212	1714
211	1706
210	1698
209	1690
208	1682
207	1674
206	1666
205	1658
204	1650
203	1642
202	1634
201	1626
200	1618
199	1610
198	1602
197	1594
196	1586
195	1578
194	1570
193	1562
192	1554
191	1546
190	1538
189	1530
188	1522
187	1514
186	1506
185	1498
184	1490
183	1482
182	1474
181	1466
180	1458
179	1450
178	1442
177	1434
176	1426
175	1418
174	1410
173	1402
172	1394
171	1386
170	1378
169	1370
168	1362
167	1354
166	1346
165	1338
164	1330
163	1322
162	1314
161	1306
160	1298
159	1290
158	1282
157	1274
156	1266
155	1258
154	1250
153	1242
152	1234
151	1226
150	1218
149	1210
148	1202
147	1194
146	1186
145	1178
144	1170
143	1162
142	1154
141	1146
140	1138
139	1130
138	1122
137	1114
136	1106
135	1098
134	1090
133	1082
132	1074
131	1066
130	1058
129	1050
128	1042
127	1034
126	1026
125	1018
124	1010
123	1002
122	994
121	986
120	978
119	970
118	962
117	954
116	946
115	938
114	930
113	922
112	914
111	906
110	898
109	890
108	882
107	874
106	866
105	858
104	850
103	842
102	834
101	826
100	818
99	810
98	802
97	794
96	786
95	778
94	770
93	762
92	754
91	746
90	738
89	730
88	722
87	714
86	706
85	698
84	690
83	682
82	674
81	666
80	658
79	650
78	642
77	634
76	626
75	618
74	610
73	602
72	594
71	586
70	578
69	570
68	562
67	554
66	546
65	538
64	530
63	522
62	514
61	506
60	498
59	490
58	482
57	474
56	466
55	458
54	450
53	442
52	434
51	426
50	418
49	410
48	402
47	394
46	386
45	378
44	370
43	362
42	354
41	346
40	338
39	330
38	322
37	314
36	306
35	298
34	290
33	282
32	274
31	266
30	258
29	250
28	242
27	234
26	226
25	218
24	210
23	202
22	194
21	186
20	178
19	170
18	162
17	154
16	146
15	138
14	130
13	122
12	114
11	106
10	98
9	90
8	82
7	74
6	66
5	58
4	50
3	40
2	25
1	16
0	9

end0.0ms

sample2.5s

Algorithm

intervals

Results

2.0s	4046×	body	1280	valid
252.0ms	3954×	body	80	valid