Details

sample87.0ms

Algorithm

intervals

Results

41.0ms

367×

body

valid

simplify5.9s

Counts

1 → 1

Iterations

Iter	Nodes
done	2434
8	2434
7	2422
6	2265
5	1670
4	779
3	289
2	90
1	27
0	13

prune14.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 7.7b

localize19.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (* z 9.0) t)
0.3b	(- (* x y) (* (* z 9.0) t))
7.3b	(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-cbrt-cube` `add-exp-log`
8×	`pow1`
6×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
5×	`add-log-exp`
4×	`prod-exp` `cbrt-unprod`
3×	`expm1-log1p-u` `times-frac` `associate-r` `pow-prod-down` `log1p-expm1-u` `associate-/l*`
2×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`clear-num` `associate-/r` `sub-neg` `frac-2neg` `fma-neg` `diff-log` `div-sub` `associate-l` `prod-diff` `-commutative` `div-inv`

Counts

3 → 62

Calls

3 calls:

26.0ms	(* (* z 9.0) t)
13.0ms	(- (* x y) (* (* z 9.0) t))
32.0ms	(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

series260.0ms

Counts

3 → 9

Calls

3 calls:

38.0ms	(* (* z 9.0) t)
97.0ms	(- (* x y) (* (* z 9.0) t))
125.0ms	(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

simplify1.2s

Counts

71 → 71

Iterations

Iter	Nodes
done	5001
2	1771
1	352
0	127

prune438.0ms

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 2 expressions with local error:

0.1b	(fma z (- (* 9.0 t)) (* x y))
7.3b	(/ (fma z (- (* 9.0 t)) (* x y)) a)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
9×	`times-frac`
4×	`add-cbrt-cube` `add-exp-log`
3×	`associate-/r` `associate-/l`
2×	`expm1-log1p-u` `pow1` `log1p-expm1-u` `add-log-exp`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `fma-udef` `div-inv`

Counts

2 → 39

Calls

2 calls:

1.0ms	(fma z (- (* 9.0 t)) (* x y))
7.0ms	(/ (fma z (- (* 9.0 t)) (* x y)) a)

series214.0ms

Counts

2 → 6

Calls

2 calls:

98.0ms	(fma z (- (* 9.0 t)) (* x y))
115.0ms	(/ (fma z (- (* 9.0 t)) (* x y)) a)

simplify862.0ms

Counts

45 → 45

Iterations

Iter	Nodes
done	5000
3	1373
2	303
1	127
0	71

prune368.0ms

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (/ y a) (/ x 2.0)) (* (/ (* t 9.0) a) (/ z 2.0)))
0.2b	(/ (* t 9.0) a)
4.9b	(* (/ (* t 9.0) a) (/ z 2.0))
5.8b	(* (/ y a) (/ x 2.0))

rewrite121.0ms

Algorithm

rewrite-expression-head

Rules

46×	`add-sqr-sqrt`
42×	`add-cbrt-cube` `add-exp-log`
38×	`times-frac`
29×	`*-un-lft-identity` `add-cube-cbrt`
26×	`associate-r`
20×	`associate-l`
13×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
10×	`frac-times` `associate-l/` `associate-r/`
9×	`frac-sub`
8×	`pow1`
6×	`add-log-exp` `unswap-sqr`
5×	`div-inv`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`associate-/r*` `sub-div`
2×	`pow-prod-down` `*-commutative`
1×	`clear-num` `sub-neg` `frac-2neg` `flip3--` `fma-neg` `diff-log` `prod-diff` `flip--` `associate-/l*`

Counts

4 → 151

Calls

4 calls:

13.0ms	(- (* (/ y a) (/ x 2.0)) (* (/ (* t 9.0) a) (/ z 2.0)))
14.0ms	(/ (* t 9.0) a)
44.0ms	(* (/ (* t 9.0) a) (/ z 2.0))
45.0ms	(* (/ y a) (/ x 2.0))

series272.0ms

Counts

4 → 12

Calls

4 calls:

131.0ms	(- (* (/ y a) (/ x 2.0)) (* (/ (* t 9.0) a) (/ z 2.0)))
25.0ms	(/ (* t 9.0) a)
61.0ms	(* (/ (* t 9.0) a) (/ z 2.0))
54.0ms	(* (/ y a) (/ x 2.0))

simplify890.0ms

Counts

163 → 163

Iterations

Iter	Nodes
done	5001
1	924
0	294

prune1.0s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize42.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (/ y a) (/ x 2.0)) (* (/ t 1) (/ (* (/ z 2.0) 9.0) a)))
0.2b	(/ (* (/ z 2.0) 9.0) a)
4.4b	(* (/ t 1) (/ (* (/ z 2.0) 9.0) a))
5.8b	(* (/ y a) (/ x 2.0))

rewrite128.0ms

Algorithm

rewrite-expression-head

Rules

71×	`add-exp-log`
57×	`add-cbrt-cube`
48×	`add-sqr-sqrt`
39×	`times-frac`
30×	`*-un-lft-identity`
29×	`add-cube-cbrt`
28×	`div-exp`
26×	`associate-l`
24×	`prod-exp`
20×	`cbrt-undiv` `associate-r`
18×	`cbrt-unprod`
10×	`associate-*l/`
9×	`associate-*r/` `frac-sub`
8×	`frac-times` `pow1`
7×	`unswap-sqr`
6×	`add-log-exp`
5×	`div-inv`
4×	`expm1-log1p-u` `1-exp` `log1p-expm1-u`
3×	`associate-/r*`
2×	`pow-prod-down` `*-commutative`
1×	`clear-num` `sub-neg` `frac-2neg` `flip3--` `fma-neg` `diff-log` `prod-diff` `flip--` `associate-/l*` `sub-div` `associate-/l/`

Counts

4 → 161

Calls

4 calls:

28.0ms	(- (* (/ y a) (/ x 2.0)) (* (/ t 1) (/ (* (/ z 2.0) 9.0) a)))
21.0ms	(/ (* (/ z 2.0) 9.0) a)
52.0ms	(* (/ t 1) (/ (* (/ z 2.0) 9.0) a))
18.0ms	(* (/ y a) (/ x 2.0))

series280.0ms

Counts

4 → 12

Calls

4 calls:

147.0ms	(- (* (/ y a) (/ x 2.0)) (* (/ t 1) (/ (* (/ z 2.0) 9.0) a)))
28.0ms	(/ (* (/ z 2.0) 9.0) a)
62.0ms	(* (/ t 1) (/ (* (/ z 2.0) 9.0) a))
43.0ms	(* (/ y a) (/ x 2.0))

simplify669.0ms

Counts

173 → 173

Iterations

Iter	Nodes
done	5000
1	1040
0	319

prune1.2s

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

regimes805.0ms

Accuracy

39% (4.9b remaining)

Error of 4.9b against oracle of 0.0b and baseline of 8.1b

bsearch182.0ms

Steps

Iters	Range		Point
8	1.0010935971894809e-28	1.8014546121876606e-25	1.30170107312868e-25
9	-3.2699529555631546e+186	-1.777934250629113e+180	-1.9253598394235403e+180

simplify3.8s

Iterations

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

end0.0ms

sample1.8s

Algorithm

intervals

Results

891.0ms

11297×

body

valid