Details

sample219.0ms

Algorithm

intervals

Results

53.0ms	58×	body	1280	valid
42.0ms	312×	body	80	nan
21.0ms	173×	body	80	valid
17.0ms	32×	body	640	valid
13.0ms	11×	body	2560	valid
5.0ms	13×	body	320	valid
1.0ms	3×	body	160	valid

simplify117.0ms

Counts

1 → 1

Iterations

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

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 17.3b

localize42.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
0.2b	(/ (* z t) 3.0)
0.3b	(/ a (* b 3.0))
22.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:

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

series274.0ms

Counts

4 → 12

Calls

4 calls:

158.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
40.0ms	(/ (* z t) 3.0)
32.0ms	(/ a (* b 3.0))
44.0ms	(cos (- y (/ (* z t) 3.0)))

simplify1.8s

Counts

113 → 113

Iterations

Iter	Nodes
done	5000
2	2925
1	709
0	327

prune1.3s

Pruning

27 alts after pruning (27 fresh and 0 done)

Merged error: 12.6b

localize93.0ms

Local error

Found 4 expressions with local error:

22.7b	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
22.8b	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
55.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
55.4b	(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)))
0.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

series211.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
46.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
40.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
53.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify968.0ms

Counts

52 → 52

Iterations

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

prune1.2s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 12.5b

localize124.0ms

Local error

Found 4 expressions with local error:

27.3b	(cos (- (* (/ t 3.0) (/ z 1))))
27.6b	(sin (- (* (/ t 3.0) (/ z 1))))
55.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
55.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite35.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:

11.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
21.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
1.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)))

series140.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
27.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
46.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
42.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify917.0ms

Counts

54 → 54

Iterations

Iter	Nodes
done	5001
3	950
2	228
1	92
0	57

prune1.3s

Pruning

31 alts after pruning (31 fresh and 0 done)

Merged error: 12.4b

localize206.0ms

Local error

Found 4 expressions with local error:

27.3b	(cos (- (* (/ t 3.0) (/ z 1))))
27.6b	(sin (- (* (/ t 3.0) (/ z 1))))
55.4b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
55.4b	(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×	`neg-sub0` `fma-udef`
1×	`cos-diff` `cos-neg` `sin-neg` `sin-diff`

Counts

4 → 42

Calls

4 calls:

6.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
8.0ms	(sin (- (* (/ 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)))

series156.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
33.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
45.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)))

simplify992.0ms

Counts

54 → 54

Iterations

Iter	Nodes
done	5001
3	950
2	228
1	92
0	57

prune1.0s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 12.4b

regimes8.2s

Accuracy

49.1% (2.2b remaining)

Error of 16.7b against oracle of 14.5b and baseline of 18.9b

bsearch6.0ms

simplify5.9s

Iterations

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

end0.0ms

sample8.8s

Algorithm

intervals

Results

2.4s	1625×	body	1280	valid
2.3s	9012×	body	80	nan
832.0ms	5512×	body	80	valid
628.0ms	928×	body	640	valid
610.0ms	376×	body	2560	valid
218.0ms	449×	body	320	valid
63.0ms	225×	body	160	valid