Details

sample1.5s

Algorithm

intervals

Results

1.1s

2203×

body

valid

simplify1.2s

Counts

1 → 1

Iterations

Iter	Nodes
done	5001
3	1923
2	391
1	145
0	63

prune460.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 23.0b

localize183.0ms

Local error

Found 4 expressions with local error:

6.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.5b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.5b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite206.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`distribute-rgt-in` `pow1` `-un-lft-identity` `distribute-lft-in` `add-cbrt-cube` `associate-r` `associate-l*` `add-exp-log` `add-cube-cbrt`
8×	`sub-neg` `prod-diff` `associate-l/` `associate-r/`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`

Counts

4 → 136

Calls

4 calls:

43.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
60.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
42.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
58.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series1.1s

Counts

4 → 12

Calls

4 calls:

252.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
293.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
268.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
253.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

simplify525.0ms

Counts

148 → 148

Iterations

Iter	Nodes
done	5000
1	1197
0	384

prune4.3s

Pruning

19 alts after pruning (19 fresh and 0 done)

Merged error: 12.6b

localize182.0ms

Local error

Found 4 expressions with local error:

6.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.5b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.5b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.2b	(* (* y5 y0) (fma k y2 (- (* j y3))))

rewrite198.0ms

Algorithm

rewrite-expression-head

Rules

18×	`flip3--` `flip--`
17×	`add-sqr-sqrt`
15×	`pow1` `add-cbrt-cube` `add-exp-log`
12×	`frac-times` `associate-r`
11×	`*-un-lft-identity` `add-cube-cbrt`
10×	`distribute-rgt-in` `distribute-lft-in` `associate-l`
6×	`sub-neg` `prod-diff` `pow-prod-down` `associate-l/` `prod-exp` `associate-r/` `cbrt-unprod`
4×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`
3×	`unswap-sqr`
2×	`fma-udef`

Counts

4 → 124

Calls

4 calls:

51.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
68.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
58.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
16.0ms	(* (* y5 y0) (fma k y2 (- (* j y3))))

series1.1s

Counts

4 → 12

Calls

4 calls:

291.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
303.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
304.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
156.0ms	(* (* y5 y0) (fma k y2 (- (* j y3))))

simplify404.0ms

Counts

136 → 136

Iterations

Iter	Nodes
done	5001
1	1046
0	342

prune4.3s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 11.6b

localize230.0ms

Local error

Found 4 expressions with local error:

6.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.2b	(* (* (fma k y2 (* (- y3) j)) y5) y0)
7.5b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.5b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite193.0ms

Algorithm

rewrite-expression-head

Rules

18×	`flip3--` `flip--`
17×	`add-sqr-sqrt`
15×	`pow1` `add-cbrt-cube` `add-exp-log`
12×	`frac-times` `associate-r`
11×	`*-un-lft-identity` `add-cube-cbrt`
10×	`associate-l`
9×	`distribute-rgt-in` `distribute-lft-in`
6×	`sub-neg` `prod-diff` `pow-prod-down` `associate-l/` `prod-exp` `associate-r/` `cbrt-unprod`
4×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`
3×	`unswap-sqr`

Counts

4 → 122

Calls

4 calls:

69.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
28.0ms	(* (* (fma k y2 (* (- y3) j)) y5) y0)
42.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
50.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series916.0ms

Counts

4 → 12

Calls

4 calls:

249.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
145.0ms	(* (* (fma k y2 (* (- y3) j)) y5) y0)
267.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
255.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify482.0ms

Counts

134 → 134

Iterations

Iter	Nodes
done	5000
1	1028
0	337

prune5.3s

Pruning

18 alts after pruning (18 fresh and 0 done)

Merged error: 11.4b

localize260.0ms

Local error

Found 4 expressions with local error:

6.5b	(cbrt (- (* y0 b) (* y1 i)))
6.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
7.2b	(* (* (fma k y2 (* (- y3) j)) y5) y0)
7.5b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite172.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
13×	`pow1` `flip3--` `add-cbrt-cube` `add-exp-log` `flip--`
10×	`*-un-lft-identity` `add-cube-cbrt`
9×	`associate-r`
8×	`frac-times`
7×	`associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`expm1-log1p-u` `sub-neg` `prod-diff` `associate-l/` `associate-r/` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `*-commutative`
2×	`cbrt-div` `unswap-sqr`
1×	`pow1/3`

Counts

4 → 103

Calls

4 calls:

7.0ms	(cbrt (- (* y0 b) (* y1 i)))
47.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
28.0ms	(* (* (fma k y2 (* (- y3) j)) y5) y0)
86.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

series835.0ms

Counts

4 → 12

Calls

4 calls:

172.0ms	(cbrt (- (* y0 b) (* y1 i)))
260.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
160.0ms	(* (* (fma k y2 (* (- y3) j)) y5) y0)
244.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify1.6s

Counts

115 → 115

Iterations

Iter	Nodes
done	5000
2	4393
1	913
0	312

prune4.0s

Pruning

17 alts after pruning (17 fresh and 0 done)

Merged error: 11.1b

regimes11.7s

Accuracy

1.9% (10.7b remaining)

Error of 27.3b against oracle of 16.6b and baseline of 27.5b

bsearch4.1s

Steps

Iters	Range		Point
6	5.604108139256275e-94	6.78437448520633e-93	1.6451640527347206e-93
3	-2.2125883850179293e-170	-1.5317024342047325e-170	-1.6589667466238724e-170
6	-1.7594621600115652e-106	-2.5278552535922703e-107	-5.443632402079177e-107
8	-0.034521240911218075	-4.141032225251026e-06	-1.520268482954331e-05

simplify13.8s

Iterations

Iter	Nodes
done	5000
1173	4998
1172	4994
1171	4990
1170	4986
1169	4982
1168	4978
1167	4974
1166	4970
1165	4966
1164	4962
1163	4958
1162	4954
1161	4950
1160	4946
1159	4942
1158	4938
1157	4934
1156	4930
1155	4926
1154	4922
1153	4918
1152	4914
1151	4910
1150	4906
1149	4902
1148	4898
1147	4894
1146	4890
1145	4886
1144	4882
1143	4878
1142	4874
1141	4870
1140	4866
1139	4862
1138	4858
1137	4854
1136	4850
1135	4846
1134	4842
1133	4838
1132	4834
1131	4830
1130	4826
1129	4822
1128	4818
1127	4814
1126	4810
1125	4806
1124	4802
1123	4798
1122	4794
1121	4790
1120	4786
1119	4782
1118	4778
1117	4774
1116	4770
1115	4766
1114	4762
1113	4758
1112	4754
1111	4750
1110	4746
1109	4742
1108	4738
1107	4734
1106	4730
1105	4726
1104	4722
1103	4718
1102	4714
1101	4710
1100	4706
1099	4702
1098	4698
1097	4694
1096	4690
1095	4686
1094	4682
1093	4678
1092	4674
1091	4670
1090	4666
1089	4662
1088	4658
1087	4654
1086	4650
1085	4646
1084	4642
1083	4638
1082	4634
1081	4630
1080	4626
1079	4622
1078	4618
1077	4614
1076	4610
1075	4606
1074	4602
1073	4598
1072	4594
1071	4590
1070	4586
1069	4582
1068	4578
1067	4574
1066	4570
1065	4566
1064	4562
1063	4558
1062	4554
1061	4550
1060	4546
1059	4542
1058	4538
1057	4534
1056	4530
1055	4526
1054	4522
1053	4518
1052	4514
1051	4510
1050	4506
1049	4502
1048	4498
1047	4494
1046	4490
1045	4486
1044	4482
1043	4478
1042	4474
1041	4470
1040	4466
1039	4462
1038	4458
1037	4454
1036	4450
1035	4446
1034	4442
1033	4438
1032	4434
1031	4430
1030	4426
1029	4422
1028	4418
1027	4414
1026	4410
1025	4406
1024	4402
1023	4398
1022	4394
1021	4390
1020	4386
1019	4382
1018	4378
1017	4374
1016	4370
1015	4366
1014	4362
1013	4358
1012	4354
1011	4350
1010	4346
1009	4342
1008	4338
1007	4334
1006	4330
1005	4326
1004	4322
1003	4318
1002	4314
1001	4310
1000	4306
999	4302
998	4298
997	4294
996	4290
995	4286
994	4282
993	4278
992	4274
991	4270
990	4266
989	4262
988	4258
987	4254
986	4250
985	4246
984	4242
983	4238
982	4234
981	4230
980	4226
979	4222
978	4218
977	4214
976	4210
975	4206
974	4202
973	4198
972	4194
971	4190
970	4186
969	4182
968	4178
967	4174
966	4170
965	4166
964	4162
963	4158
962	4154
961	4150
960	4146
959	4142
958	4138
957	4134
956	4130
955	4126
954	4122
953	4118
952	4114
951	4110
950	4106
949	4102
948	4098
947	4094
946	4090
945	4086
944	4082
943	4078
942	4074
941	4070
940	4066
939	4062
938	4058
937	4054
936	4050
935	4046
934	4042
933	4038
932	4034
931	4030
930	4026
929	4022
928	4018
927	4014
926	4010
925	4006
924	4002
923	3998
922	3994
921	3990
920	3986
919	3982
918	3978
917	3974
916	3970
915	3966
914	3962
913	3958
912	3954
911	3950
910	3946
909	3942
908	3938
907	3934
906	3930
905	3926
904	3922
903	3918
902	3914
901	3910
900	3906
899	3902
898	3898
897	3894
896	3890
895	3886
894	3882
893	3878
892	3874
891	3870
890	3866
889	3862
888	3858
887	3854
886	3850
885	3846
884	3842
883	3838
882	3834
881	3830
880	3826
879	3822
878	3818
877	3814
876	3810
875	3806
874	3802
873	3798
872	3794
871	3790
870	3786
869	3782
868	3778
867	3774
866	3770
865	3766
864	3762
863	3758
862	3754
861	3750
860	3746
859	3742
858	3738
857	3734
856	3730
855	3726
854	3722
853	3718
852	3714
851	3710
850	3706
849	3702
848	3698
847	3694
846	3690
845	3686
844	3682
843	3678
842	3674
841	3670
840	3666
839	3662
838	3658
837	3654
836	3650
835	3646
834	3642
833	3638
832	3634
831	3630
830	3626
829	3622
828	3618
827	3614
826	3610
825	3606
824	3602
823	3598
822	3594
821	3590
820	3586
819	3582
818	3578
817	3574
816	3570
815	3566
814	3562
813	3558
812	3554
811	3550
810	3546
809	3542
808	3538
807	3534
806	3530
805	3526
804	3522
803	3518
802	3514
801	3510
800	3506
799	3502
798	3498
797	3494
796	3490
795	3486
794	3482
793	3478
792	3474
791	3470
790	3466
789	3462
788	3458
787	3454
786	3450
785	3446
784	3442
783	3438
782	3434
781	3430
780	3426
779	3422
778	3418
777	3414
776	3410
775	3406
774	3402
773	3398
772	3394
771	3390
770	3386
769	3382
768	3378
767	3374
766	3370
765	3366
764	3362
763	3358
762	3354
761	3350
760	3346
759	3342
758	3338
757	3334
756	3330
755	3326
754	3322
753	3318
752	3314
751	3310
750	3306
749	3302
748	3298
747	3294
746	3290
745	3286
744	3282
743	3278
742	3274
741	3270
740	3266
739	3262
738	3258
737	3254
736	3250
735	3246
734	3242
733	3238
732	3234
731	3230
730	3226
729	3222
728	3218
727	3214
726	3210
725	3206
724	3202
723	3198
722	3194
721	3190
720	3186
719	3182
718	3178
717	3174
716	3170
715	3166
714	3162
713	3158
712	3154
711	3150
710	3146
709	3142
708	3138
707	3134
706	3130
705	3126
704	3122
703	3118
702	3114
701	3110
700	3106
699	3102
698	3098
697	3094
696	3090
695	3086
694	3082
693	3078
692	3074
691	3070
690	3066
689	3062
688	3058
687	3054
686	3050
685	3046
684	3042
683	3038
682	3034
681	3030
680	3026
679	3022
678	3018
677	3014
676	3010
675	3006
674	3002
673	2998
672	2994
671	2990
670	2986
669	2982
668	2978
667	2974
666	2970
665	2966
664	2962
663	2958
662	2954
661	2950
660	2946
659	2942
658	2938
657	2934
656	2930
655	2926
654	2922
653	2918
652	2914
651	2910
650	2906
649	2902
648	2898
647	2894
646	2890
645	2886
644	2882
643	2878
642	2874
641	2870
640	2866
639	2862
638	2858
637	2854
636	2850
635	2846
634	2842
633	2838
632	2834
631	2830
630	2826
629	2822
628	2818
627	2814
626	2810
625	2806
624	2802
623	2798
622	2794
621	2790
620	2786
619	2782
618	2778
617	2774
616	2770
615	2766
614	2762
613	2758
612	2754
611	2750
610	2746
609	2742
608	2738
607	2734
606	2730
605	2726
604	2722
603	2718
602	2714
601	2710
600	2706
599	2702
598	2698
597	2694
596	2690
595	2686
594	2682
593	2678
592	2674
591	2670
590	2666
589	2662
588	2658
587	2654
586	2650
585	2646
584	2642
583	2638
582	2634
581	2630
580	2626
579	2622
578	2618
577	2614
576	2610
575	2606
574	2602
573	2598
572	2594
571	2590
570	2586
569	2582
568	2578
567	2574
566	2570
565	2566
564	2562
563	2558
562	2554
561	2550
560	2546
559	2542
558	2538
557	2534
556	2530
555	2526
554	2522
553	2518
552	2514
551	2510
550	2506
549	2502
548	2498
547	2494
546	2490
545	2486
544	2482
543	2478
542	2474
541	2470
540	2466
539	2462
538	2458
537	2454
536	2450
535	2446
534	2442
533	2438
532	2434
531	2430
530	2426
529	2422
528	2418
527	2414
526	2410
525	2406
524	2402
523	2398
522	2394
521	2390
520	2386
519	2382
518	2378
517	2374
516	2370
515	2366
514	2362
513	2358
512	2354
511	2350
510	2346
509	2342
508	2338
507	2334
506	2330
505	2326
504	2322
503	2318
502	2314
501	2310
500	2306
499	2302
498	2298
497	2294
496	2290
495	2286
494	2282
493	2278
492	2274
491	2270
490	2266
489	2262
488	2258
487	2254
486	2250
485	2246
484	2242
483	2238
482	2234
481	2230
480	2226
479	2222
478	2218
477	2214
476	2210
475	2206
474	2202
473	2198
472	2194
471	2190
470	2186
469	2182
468	2178
467	2174
466	2170
465	2166
464	2162
463	2158
462	2154
461	2150
460	2146
459	2142
458	2138
457	2134
456	2130
455	2126
454	2122
453	2118
452	2114
451	2110
450	2106
449	2102
448	2098
447	2094
446	2090
445	2086
444	2082
443	2078
442	2074
441	2070
440	2066
439	2062
438	2058
437	2054
436	2050
435	2046
434	2042
433	2038
432	2034
431	2030
430	2026
429	2022
428	2018
427	2014
426	2010
425	2006
424	2002
423	1998
422	1994
421	1990
420	1986
419	1982
418	1978
417	1974
416	1970
415	1966
414	1962
413	1958
412	1954
411	1950
410	1946
409	1942
408	1938
407	1934
406	1930
405	1926
404	1922
403	1918
402	1914
401	1910
400	1906
399	1902
398	1898
397	1894
396	1890
395	1886
394	1882
393	1878
392	1874
391	1870
390	1866
389	1862
388	1858
387	1854
386	1850
385	1846
384	1842
383	1838
382	1834
381	1830
380	1826
379	1822
378	1818
377	1814
376	1810
375	1806
374	1802
373	1798
372	1794
371	1790
370	1786
369	1782
368	1778
367	1774
366	1770
365	1766
364	1762
363	1758
362	1754
361	1750
360	1746
359	1742
358	1738
357	1734
356	1730
355	1726
354	1722
353	1718
352	1714
351	1710
350	1706
349	1702
348	1698
347	1694
346	1690
345	1686
344	1682
343	1678
342	1674
341	1670
340	1666
339	1662
338	1658
337	1654
336	1650
335	1646
334	1642
333	1638
332	1634
331	1630
330	1626
329	1622
328	1618
327	1614
326	1610
325	1606
324	1602
323	1598
322	1594
321	1590
320	1586
319	1582
318	1578
317	1574
316	1570
315	1566
314	1562
313	1558
312	1554
311	1550
310	1546
309	1542
308	1538
307	1534
306	1530
305	1526
304	1522
303	1518
302	1514
301	1510
300	1506
299	1502
298	1498
297	1494
296	1490
295	1486
294	1482
293	1478
292	1474
291	1470
290	1466
289	1462
288	1458
287	1454
286	1450
285	1446
284	1442
283	1438
282	1434
281	1430
280	1426
279	1422
278	1418
277	1414
276	1410
275	1406
274	1402
273	1398
272	1394
271	1390
270	1386
269	1382
268	1378
267	1374
266	1370
265	1366
264	1362
263	1358
262	1354
261	1350
260	1346
259	1342
258	1338
257	1334
256	1330
255	1326
254	1322
253	1318
252	1314
251	1310
250	1306
249	1302
248	1298
247	1294
246	1290
245	1286
244	1282
243	1278
242	1274
241	1270
240	1266
239	1262
238	1258
237	1254
236	1250
235	1246
234	1242
233	1238
232	1234
231	1230
230	1226
229	1222
228	1218
227	1214
226	1210
225	1206
224	1202
223	1198
222	1194
221	1190
220	1186
219	1182
218	1178
217	1174
216	1170
215	1166
214	1162
213	1158
212	1154
211	1150
210	1146
209	1142
208	1138
207	1134
206	1130
205	1126
204	1122
203	1118
202	1114
201	1110
200	1106
199	1102
198	1098
197	1094
196	1090
195	1086
194	1082
193	1078
192	1074
191	1070
190	1066
189	1062
188	1058
187	1054
186	1050
185	1046
184	1042
183	1038
182	1034
181	1030
180	1026
179	1022
178	1018
177	1014
176	1010
175	1006
174	1002
173	998
172	994
171	990
170	986
169	982
168	978
167	974
166	970
165	966
164	962
163	958
162	954
161	950
160	946
159	942
158	938
157	934
156	930
155	926
154	922
153	918
152	914
151	910
150	906
149	902
148	898
147	894
146	890
145	886
144	882
143	878
142	874
141	870
140	866
139	862
138	858
137	854
136	850
135	846
134	842
133	838
132	834
131	830
130	826
129	822
128	818
127	814
126	810
125	806
124	802
123	798
122	794
121	790
120	786
119	782
118	778
117	774
116	770
115	766
114	762
113	758
112	754
111	750
110	746
109	742
108	738
107	734
106	730
105	726
104	722
103	718
102	714
101	710
100	706
99	702
98	698
97	694
96	690
95	686
94	682
93	678
92	674
91	670
90	666
89	662
88	658
87	654
86	650
85	646
84	642
83	638
82	634
81	630
80	626
79	622
78	618
77	614
76	610
75	606
74	602
73	598
72	594
71	590
70	586
69	582
68	578
67	574
66	570
65	566
64	562
63	558
62	554
61	550
60	546
59	542
58	538
57	534
56	530
55	526
54	522
53	518
52	514
51	510
50	506
49	502
48	498
47	494
46	490
45	486
44	482
43	478
42	474
41	470
40	466
39	462
38	458
37	454
36	450
35	446
34	442
33	438
32	434
31	430
30	426
29	422
28	418
27	414
26	410
25	406
24	402
23	398
22	394
21	390
20	386
19	382
18	378
17	374
16	370
15	366
14	362
13	358
12	354
11	350
10	346
9	342
8	338
7	334
6	330
5	326
4	322
3	315
2	296
1	248
0	158

end0.0ms

sample33.8s

Algorithm

intervals

Results

25.2s

72962×

body

valid