Details

sample195.0ms

Algorithm

intervals

Results

36.0ms	331×	body	80	nan
26.0ms	45×	body	1280	valid
26.0ms	10×	body	320	valid
18.0ms	193×	body	80	valid
15.0ms	38×	body	640	valid
11.0ms	12×	body	2560	valid
1.0ms	2×	body	160	valid

simplify101.0ms

Counts

1 → 1

Iterations

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

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 19.4b

localize46.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

23×	`cos-sum`
22×	`add-sqr-sqrt` `*-un-lft-identity` `add-cube-cbrt`
21×	`prod-diff`
19×	`add-cbrt-cube` `add-exp-log`
15×	`times-frac`
9×	`pow1`
5×	`prod-exp` `cbrt-unprod` `div-inv`
4×	`expm1-log1p-u` `cbrt-undiv` `associate-/r` `div-exp` `log1p-expm1-u` `associate-/l` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`clear-num` `frac-2neg`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 101

Calls

4 calls:

11.0ms	(/ (* z t) 3.0)
8.0ms	(/ a (* b 3.0))
29.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
35.0ms	(cos (- y (/ (* z t) 3.0)))

series237.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (* z t) 3.0)
21.0ms	(/ a (* b 3.0))
136.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
61.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.6s

Counts

113 → 113

Iterations

Iter	Nodes
done	5000
2	2919
1	711
0	327

prune1.2s

Pruning

23 alts after pruning (23 fresh and 0 done)

Merged error: 13.6b

localize87.0ms

Local error

Found 4 expressions with local error:

24.5b	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
24.8b	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
53.8b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.8b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite8.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` `fma-udef` `log1p-expm1-u` `add-log-exp`
1×	`cos-sum` `sin-sum`

Counts

4 → 40

Calls

4 calls:

3.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
3.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series220.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
54.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
59.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
55.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify948.0ms

Counts

52 → 52

Iterations

Iter	Nodes
done	5000
3	946
2	252
1	106
0	64

prune971.0ms

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 13.4b

localize127.0ms

Local error

Found 4 expressions with local error:

27.7b	(sin (- (* (/ t 3.0) (/ z 1))))
27.7b	(cos (- (* (/ t 3.0) (/ z 1))))
53.8b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.8b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite19.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`
2×	`neg-sub0` `fma-udef`
1×	`cos-diff` `cos-neg` `sin-neg` `sin-diff`

Counts

4 → 42

Calls

4 calls:

8.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
8.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series174.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
20.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
54.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
62.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify1.0s

Counts

54 → 54

Iterations

Iter	Nodes
done	5000
3	957
2	228
1	92
0	57

prune1.2s

Pruning

34 alts after pruning (34 fresh and 0 done)

Merged error: 13.4b

localize107.0ms

Local error

Found 4 expressions with local error:

27.7b	(sin (/ z (/ 3.0 t)))
27.7b	(cos (- (* (/ t 3.0) (/ z 1))))
53.8b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.8b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite15.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`
2×	`fma-udef`
1×	`neg-sub0` `cos-diff` `cos-neg`

Counts

4 → 40

Calls

4 calls:

8.0ms	(sin (/ z (/ 3.0 t)))
6.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
1.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series153.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(sin (/ z (/ 3.0 t)))
22.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
53.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
52.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify934.0ms

Counts

52 → 52

Iterations

Iter	Nodes
done	5000
3	965
2	198
1	84
0	55

prune805.0ms

Pruning

33 alts after pruning (33 fresh and 0 done)

Merged error: 13.4b

regimes8.6s

Accuracy

47.1% (2.0b remaining)

Error of 16.5b against oracle of 14.4b and baseline of 18.3b

bsearch4.0ms

simplify5.4s

Iterations

Iter	Nodes
done	5001
1224	4999
1223	4995
1222	4991
1221	4987
1220	4983
1219	4979
1218	4975
1217	4971
1216	4967
1215	4963
1214	4959
1213	4955
1212	4951
1211	4947
1210	4943
1209	4939
1208	4935
1207	4931
1206	4927
1205	4923
1204	4919
1203	4915
1202	4911
1201	4907
1200	4903
1199	4899
1198	4895
1197	4891
1196	4887
1195	4883
1194	4879
1193	4875
1192	4871
1191	4867
1190	4863
1189	4859
1188	4855
1187	4851
1186	4847
1185	4843
1184	4839
1183	4835
1182	4831
1181	4827
1180	4823
1179	4819
1178	4815
1177	4811
1176	4807
1175	4803
1174	4799
1173	4795
1172	4791
1171	4787
1170	4783
1169	4779
1168	4775
1167	4771
1166	4767
1165	4763
1164	4759
1163	4755
1162	4751
1161	4747
1160	4743
1159	4739
1158	4735
1157	4731
1156	4727
1155	4723
1154	4719
1153	4715
1152	4711
1151	4707
1150	4703
1149	4699
1148	4695
1147	4691
1146	4687
1145	4683
1144	4679
1143	4675
1142	4671
1141	4667
1140	4663
1139	4659
1138	4655
1137	4651
1136	4647
1135	4643
1134	4639
1133	4635
1132	4631
1131	4627
1130	4623
1129	4619
1128	4615
1127	4611
1126	4607
1125	4603
1124	4599
1123	4595
1122	4591
1121	4587
1120	4583
1119	4579
1118	4575
1117	4571
1116	4567
1115	4563
1114	4559
1113	4555
1112	4551
1111	4547
1110	4543
1109	4539
1108	4535
1107	4531
1106	4527
1105	4523
1104	4519
1103	4515
1102	4511
1101	4507
1100	4503
1099	4499
1098	4495
1097	4491
1096	4487
1095	4483
1094	4479
1093	4475
1092	4471
1091	4467
1090	4463
1089	4459
1088	4455
1087	4451
1086	4447
1085	4443
1084	4439
1083	4435
1082	4431
1081	4427
1080	4423
1079	4419
1078	4415
1077	4411
1076	4407
1075	4403
1074	4399
1073	4395
1072	4391
1071	4387
1070	4383
1069	4379
1068	4375
1067	4371
1066	4367
1065	4363
1064	4359
1063	4355
1062	4351
1061	4347
1060	4343
1059	4339
1058	4335
1057	4331
1056	4327
1055	4323
1054	4319
1053	4315
1052	4311
1051	4307
1050	4303
1049	4299
1048	4295
1047	4291
1046	4287
1045	4283
1044	4279
1043	4275
1042	4271
1041	4267
1040	4263
1039	4259
1038	4255
1037	4251
1036	4247
1035	4243
1034	4239
1033	4235
1032	4231
1031	4227
1030	4223
1029	4219
1028	4215
1027	4211
1026	4207
1025	4203
1024	4199
1023	4195
1022	4191
1021	4187
1020	4183
1019	4179
1018	4175
1017	4171
1016	4167
1015	4163
1014	4159
1013	4155
1012	4151
1011	4147
1010	4143
1009	4139
1008	4135
1007	4131
1006	4127
1005	4123
1004	4119
1003	4115
1002	4111
1001	4107
1000	4103
999	4099
998	4095
997	4091
996	4087
995	4083
994	4079
993	4075
992	4071
991	4067
990	4063
989	4059
988	4055
987	4051
986	4047
985	4043
984	4039
983	4035
982	4031
981	4027
980	4023
979	4019
978	4015
977	4011
976	4007
975	4003
974	3999
973	3995
972	3991
971	3987
970	3983
969	3979
968	3975
967	3971
966	3967
965	3963
964	3959
963	3955
962	3951
961	3947
960	3943
959	3939
958	3935
957	3931
956	3927
955	3923
954	3919
953	3915
952	3911
951	3907
950	3903
949	3899
948	3895
947	3891
946	3887
945	3883
944	3879
943	3875
942	3871
941	3867
940	3863
939	3859
938	3855
937	3851
936	3847
935	3843
934	3839
933	3835
932	3831
931	3827
930	3823
929	3819
928	3815
927	3811
926	3807
925	3803
924	3799
923	3795
922	3791
921	3787
920	3783
919	3779
918	3775
917	3771
916	3767
915	3763
914	3759
913	3755
912	3751
911	3747
910	3743
909	3739
908	3735
907	3731
906	3727
905	3723
904	3719
903	3715
902	3711
901	3707
900	3703
899	3699
898	3695
897	3691
896	3687
895	3683
894	3679
893	3675
892	3671
891	3667
890	3663
889	3659
888	3655
887	3651
886	3647
885	3643
884	3639
883	3635
882	3631
881	3627
880	3623
879	3619
878	3615
877	3611
876	3607
875	3603
874	3599
873	3595
872	3591
871	3587
870	3583
869	3579
868	3575
867	3571
866	3567
865	3563
864	3559
863	3555
862	3551
861	3547
860	3543
859	3539
858	3535
857	3531
856	3527
855	3523
854	3519
853	3515
852	3511
851	3507
850	3503
849	3499
848	3495
847	3491
846	3487
845	3483
844	3479
843	3475
842	3471
841	3467
840	3463
839	3459
838	3455
837	3451
836	3447
835	3443
834	3439
833	3435
832	3431
831	3427
830	3423
829	3419
828	3415
827	3411
826	3407
825	3403
824	3399
823	3395
822	3391
821	3387
820	3383
819	3379
818	3375
817	3371
816	3367
815	3363
814	3359
813	3355
812	3351
811	3347
810	3343
809	3339
808	3335
807	3331
806	3327
805	3323
804	3319
803	3315
802	3311
801	3307
800	3303
799	3299
798	3295
797	3291
796	3287
795	3283
794	3279
793	3275
792	3271
791	3267
790	3263
789	3259
788	3255
787	3251
786	3247
785	3243
784	3239
783	3235
782	3231
781	3227
780	3223
779	3219
778	3215
777	3211
776	3207
775	3203
774	3199
773	3195
772	3191
771	3187
770	3183
769	3179
768	3175
767	3171
766	3167
765	3163
764	3159
763	3155
762	3151
761	3147
760	3143
759	3139
758	3135
757	3131
756	3127
755	3123
754	3119
753	3115
752	3111
751	3107
750	3103
749	3099
748	3095
747	3091
746	3087
745	3083
744	3079
743	3075
742	3071
741	3067
740	3063
739	3059
738	3055
737	3051
736	3047
735	3043
734	3039
733	3035
732	3031
731	3027
730	3023
729	3019
728	3015
727	3011
726	3007
725	3003
724	2999
723	2995
722	2991
721	2987
720	2983
719	2979
718	2975
717	2971
716	2967
715	2963
714	2959
713	2955
712	2951
711	2947
710	2943
709	2939
708	2935
707	2931
706	2927
705	2923
704	2919
703	2915
702	2911
701	2907
700	2903
699	2899
698	2895
697	2891
696	2887
695	2883
694	2879
693	2875
692	2871
691	2867
690	2863
689	2859
688	2855
687	2851
686	2847
685	2843
684	2839
683	2835
682	2831
681	2827
680	2823
679	2819
678	2815
677	2811
676	2807
675	2803
674	2799
673	2795
672	2791
671	2787
670	2783
669	2779
668	2775
667	2771
666	2767
665	2763
664	2759
663	2755
662	2751
661	2747
660	2743
659	2739
658	2735
657	2731
656	2727
655	2723
654	2719
653	2715
652	2711
651	2707
650	2703
649	2699
648	2695
647	2691
646	2687
645	2683
644	2679
643	2675
642	2671
641	2667
640	2663
639	2659
638	2655
637	2651
636	2647
635	2643
634	2639
633	2635
632	2631
631	2627
630	2623
629	2619
628	2615
627	2611
626	2607
625	2603
624	2599
623	2595
622	2591
621	2587
620	2583
619	2579
618	2575
617	2571
616	2567
615	2563
614	2559
613	2555
612	2551
611	2547
610	2543
609	2539
608	2535
607	2531
606	2527
605	2523
604	2519
603	2515
602	2511
601	2507
600	2503
599	2499
598	2495
597	2491
596	2487
595	2483
594	2479
593	2475
592	2471
591	2467
590	2463
589	2459
588	2455
587	2451
586	2447
585	2443
584	2439
583	2435
582	2431
581	2427
580	2423
579	2419
578	2415
577	2411
576	2407
575	2403
574	2399
573	2395
572	2391
571	2387
570	2383
569	2379
568	2375
567	2371
566	2367
565	2363
564	2359
563	2355
562	2351
561	2347
560	2343
559	2339
558	2335
557	2331
556	2327
555	2323
554	2319
553	2315
552	2311
551	2307
550	2303
549	2299
548	2295
547	2291
546	2287
545	2283
544	2279
543	2275
542	2271
541	2267
540	2263
539	2259
538	2255
537	2251
536	2247
535	2243
534	2239
533	2235
532	2231
531	2227
530	2223
529	2219
528	2215
527	2211
526	2207
525	2203
524	2199
523	2195
522	2191
521	2187
520	2183
519	2179
518	2175
517	2171
516	2167
515	2163
514	2159
513	2155
512	2151
511	2147
510	2143
509	2139
508	2135
507	2131
506	2127
505	2123
504	2119
503	2115
502	2111
501	2107
500	2103
499	2099
498	2095
497	2091
496	2087
495	2083
494	2079
493	2075
492	2071
491	2067
490	2063
489	2059
488	2055
487	2051
486	2047
485	2043
484	2039
483	2035
482	2031
481	2027
480	2023
479	2019
478	2015
477	2011
476	2007
475	2003
474	1999
473	1995
472	1991
471	1987
470	1983
469	1979
468	1975
467	1971
466	1967
465	1963
464	1959
463	1955
462	1951
461	1947
460	1943
459	1939
458	1935
457	1931
456	1927
455	1923
454	1919
453	1915
452	1911
451	1907
450	1903
449	1899
448	1895
447	1891
446	1887
445	1883
444	1879
443	1875
442	1871
441	1867
440	1863
439	1859
438	1855
437	1851
436	1847
435	1843
434	1839
433	1835
432	1831
431	1827
430	1823
429	1819
428	1815
427	1811
426	1807
425	1803
424	1799
423	1795
422	1791
421	1787
420	1783
419	1779
418	1775
417	1771
416	1767
415	1763
414	1759
413	1755
412	1751
411	1747
410	1743
409	1739
408	1735
407	1731
406	1727
405	1723
404	1719
403	1715
402	1711
401	1707
400	1703
399	1699
398	1695
397	1691
396	1687
395	1683
394	1679
393	1675
392	1671
391	1667
390	1663
389	1659
388	1655
387	1651
386	1647
385	1643
384	1639
383	1635
382	1631
381	1627
380	1623
379	1619
378	1615
377	1611
376	1607
375	1603
374	1599
373	1595
372	1591
371	1587
370	1583
369	1579
368	1575
367	1571
366	1567
365	1563
364	1559
363	1555
362	1551
361	1547
360	1543
359	1539
358	1535
357	1531
356	1527
355	1523
354	1519
353	1515
352	1511
351	1507
350	1503
349	1499
348	1495
347	1491
346	1487
345	1483
344	1479
343	1475
342	1471
341	1467
340	1463
339	1459
338	1455
337	1451
336	1447
335	1443
334	1439
333	1435
332	1431
331	1427
330	1423
329	1419
328	1415
327	1411
326	1407
325	1403
324	1399
323	1395
322	1391
321	1387
320	1383
319	1379
318	1375
317	1371
316	1367
315	1363
314	1359
313	1355
312	1351
311	1347
310	1343
309	1339
308	1335
307	1331
306	1327
305	1323
304	1319
303	1315
302	1311
301	1307
300	1303
299	1299
298	1295
297	1291
296	1287
295	1283
294	1279
293	1275
292	1271
291	1267
290	1263
289	1259
288	1255
287	1251
286	1247
285	1243
284	1239
283	1235
282	1231
281	1227
280	1223
279	1219
278	1215
277	1211
276	1207
275	1203
274	1199
273	1195
272	1191
271	1187
270	1183
269	1179
268	1175
267	1171
266	1167
265	1163
264	1159
263	1155
262	1151
261	1147
260	1143
259	1139
258	1135
257	1131
256	1127
255	1123
254	1119
253	1115
252	1111
251	1107
250	1103
249	1099
248	1095
247	1091
246	1087
245	1083
244	1079
243	1075
242	1071
241	1067
240	1063
239	1059
238	1055
237	1051
236	1047
235	1043
234	1039
233	1035
232	1031
231	1027
230	1023
229	1019
228	1015
227	1011
226	1007
225	1003
224	999
223	995
222	991
221	987
220	983
219	979
218	975
217	971
216	967
215	963
214	959
213	955
212	951
211	947
210	943
209	939
208	935
207	931
206	927
205	923
204	919
203	915
202	911
201	907
200	903
199	899
198	895
197	891
196	887
195	883
194	879
193	875
192	871
191	867
190	863
189	859
188	855
187	851
186	847
185	843
184	839
183	835
182	831
181	827
180	823
179	819
178	815
177	811
176	807
175	803
174	799
173	795
172	791
171	787
170	783
169	779
168	775
167	771
166	767
165	763
164	759
163	755
162	751
161	747
160	743
159	739
158	735
157	731
156	727
155	723
154	719
153	715
152	711
151	707
150	703
149	699
148	695
147	691
146	687
145	683
144	679
143	675
142	671
141	667
140	663
139	659
138	655
137	651
136	647
135	643
134	639
133	635
132	631
131	627
130	623
129	619
128	615
127	611
126	607
125	603
124	599
123	595
122	591
121	587
120	583
119	579
118	575
117	571
116	567
115	563
114	559
113	555
112	551
111	547
110	543
109	539
108	535
107	531
106	527
105	523
104	519
103	515
102	511
101	507
100	503
99	499
98	495
97	491
96	487
95	483
94	479
93	475
92	471
91	467
90	463
89	459
88	455
87	451
86	447
85	443
84	439
83	435
82	431
81	427
80	423
79	419
78	415
77	411
76	407
75	403
74	399
73	395
72	391
71	387
70	383
69	379
68	375
67	371
66	367
65	363
64	359
63	355
62	351
61	347
60	343
59	339
58	335
57	331
56	327
55	323
54	319
53	315
52	311
51	307
50	303
49	299
48	295
47	291
46	287
45	283
44	279
43	275
42	271
41	267
40	263
39	259
38	255
37	251
36	247
35	243
34	239
33	235
32	231
31	227
30	223
29	219
28	215
27	211
26	207
25	203
24	199
23	195
22	191
21	187
20	183
19	179
18	175
17	171
16	167
15	163
14	159
13	155
12	151
11	147
10	143
9	139
8	135
7	131
6	127
5	123
4	119
3	114
2	93
1	73
0	54

end0.0ms

sample7.6s

Algorithm

intervals

Results

2.5s	9021×	body	80	nan
1.3s	1537×	body	1280	valid
934.0ms	5565×	body	80	valid
585.0ms	994×	body	640	valid
478.0ms	409×	body	2560	valid
196.0ms	458×	body	320	valid
84.0ms	185×	body	160	valid