Details

sample175.0ms

Algorithm

intervals

Results

40.0ms	183×	body	80	valid
35.0ms	326×	body	80	nan
30.0ms	51×	body	1280	valid
14.0ms	14×	body	2560	valid
10.0ms	24×	body	640	valid
4.0ms	11×	body	320	valid
1.0ms	3×	body	160	valid

simplify76.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: 18.4b

localize33.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.8b	(cos (- y (/ (* z t) 3.0)))

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

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

series250.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/ (* z t) 3.0)
23.0ms	(/ a (* b 3.0))
154.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
52.0ms	(cos (- y (/ (* z t) 3.0)))

simplify2.1s

Counts

113 → 113

Iterations

Iter	Nodes
done	5000
2	2919
1	711
0	327

prune1.3s

Pruning

25 alts after pruning (25 fresh and 0 done)

Merged error: 13.8b

localize67.0ms

Local error

Found 4 expressions with local error:

24.8b	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
24.9b	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
52.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
52.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

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

2.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
2.0ms	(cos (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)))

series168.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(sin (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
49.0ms	(cos (fma 1 y (- (* (/ t 3.0) (/ z 1)))))
41.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
38.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify851.0ms

Counts

52 → 52

Iterations

Iter	Nodes
done	5001
3	954
2	252
1	106
0	64

prune1.1s

Pruning

30 alts after pruning (30 fresh and 0 done)

Merged error: 13.7b

localize91.0ms

Local error

Found 4 expressions with local error:

27.4b	(sin (- (* (/ t 3.0) (/ z 1))))
27.6b	(cos (- (* (/ t 3.0) (/ z 1))))
52.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
52.7b	(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:

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

series133.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(sin (- (* (/ t 3.0) (/ z 1))))
18.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
40.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
41.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

33 alts after pruning (33 fresh and 0 done)

Merged error: 13.7b

localize112.0ms

Local error

Found 4 expressions with local error:

27.6b	(cos (- (* (/ t 3.0) (/ z 1))))
27.7b	(sin (- (* 0.3333333333333333 (* t z))))
52.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
52.7b	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

rewrite22.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))))
14.0ms	(sin (- (* 0.3333333333333333 (* t z))))
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)))

series145.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(cos (- (* (/ t 3.0) (/ z 1))))
27.0ms	(sin (- (* 0.3333333333333333 (* t z))))
41.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))
58.0ms	(fma (- (/ t 3.0)) (/ z 1) (* (/ t 3.0) (/ z 1)))

simplify934.0ms

Counts

54 → 54

Iterations

Iter	Nodes
done	5001
3	946
2	226
1	90
0	58

prune829.0ms

Pruning

32 alts after pruning (32 fresh and 0 done)

Merged error: 13.7b

regimes8.8s

Accuracy

50.9% (2.4b remaining)

Error of 16.5b against oracle of 14.1b and baseline of 18.9b

bsearch4.0ms

simplify6.3s

Iterations

Iter	Nodes
done	5001
1226	4997
1225	4993
1224	4989
1223	4985
1222	4981
1221	4977
1220	4973
1219	4969
1218	4965
1217	4961
1216	4957
1215	4953
1214	4949
1213	4945
1212	4941
1211	4937
1210	4933
1209	4929
1208	4925
1207	4921
1206	4917
1205	4913
1204	4909
1203	4905
1202	4901
1201	4897
1200	4893
1199	4889
1198	4885
1197	4881
1196	4877
1195	4873
1194	4869
1193	4865
1192	4861
1191	4857
1190	4853
1189	4849
1188	4845
1187	4841
1186	4837
1185	4833
1184	4829
1183	4825
1182	4821
1181	4817
1180	4813
1179	4809
1178	4805
1177	4801
1176	4797
1175	4793
1174	4789
1173	4785
1172	4781
1171	4777
1170	4773
1169	4769
1168	4765
1167	4761
1166	4757
1165	4753
1164	4749
1163	4745
1162	4741
1161	4737
1160	4733
1159	4729
1158	4725
1157	4721
1156	4717
1155	4713
1154	4709
1153	4705
1152	4701
1151	4697
1150	4693
1149	4689
1148	4685
1147	4681
1146	4677
1145	4673
1144	4669
1143	4665
1142	4661
1141	4657
1140	4653
1139	4649
1138	4645
1137	4641
1136	4637
1135	4633
1134	4629
1133	4625
1132	4621
1131	4617
1130	4613
1129	4609
1128	4605
1127	4601
1126	4597
1125	4593
1124	4589
1123	4585
1122	4581
1121	4577
1120	4573
1119	4569
1118	4565
1117	4561
1116	4557
1115	4553
1114	4549
1113	4545
1112	4541
1111	4537
1110	4533
1109	4529
1108	4525
1107	4521
1106	4517
1105	4513
1104	4509
1103	4505
1102	4501
1101	4497
1100	4493
1099	4489
1098	4485
1097	4481
1096	4477
1095	4473
1094	4469
1093	4465
1092	4461
1091	4457
1090	4453
1089	4449
1088	4445
1087	4441
1086	4437
1085	4433
1084	4429
1083	4425
1082	4421
1081	4417
1080	4413
1079	4409
1078	4405
1077	4401
1076	4397
1075	4393
1074	4389
1073	4385
1072	4381
1071	4377
1070	4373
1069	4369
1068	4365
1067	4361
1066	4357
1065	4353
1064	4349
1063	4345
1062	4341
1061	4337
1060	4333
1059	4329
1058	4325
1057	4321
1056	4317
1055	4313
1054	4309
1053	4305
1052	4301
1051	4297
1050	4293
1049	4289
1048	4285
1047	4281
1046	4277
1045	4273
1044	4269
1043	4265
1042	4261
1041	4257
1040	4253
1039	4249
1038	4245
1037	4241
1036	4237
1035	4233
1034	4229
1033	4225
1032	4221
1031	4217
1030	4213
1029	4209
1028	4205
1027	4201
1026	4197
1025	4193
1024	4189
1023	4185
1022	4181
1021	4177
1020	4173
1019	4169
1018	4165
1017	4161
1016	4157
1015	4153
1014	4149
1013	4145
1012	4141
1011	4137
1010	4133
1009	4129
1008	4125
1007	4121
1006	4117
1005	4113
1004	4109
1003	4105
1002	4101
1001	4097
1000	4093
999	4089
998	4085
997	4081
996	4077
995	4073
994	4069
993	4065
992	4061
991	4057
990	4053
989	4049
988	4045
987	4041
986	4037
985	4033
984	4029
983	4025
982	4021
981	4017
980	4013
979	4009
978	4005
977	4001
976	3997
975	3993
974	3989
973	3985
972	3981
971	3977
970	3973
969	3969
968	3965
967	3961
966	3957
965	3953
964	3949
963	3945
962	3941
961	3937
960	3933
959	3929
958	3925
957	3921
956	3917
955	3913
954	3909
953	3905
952	3901
951	3897
950	3893
949	3889
948	3885
947	3881
946	3877
945	3873
944	3869
943	3865
942	3861
941	3857
940	3853
939	3849
938	3845
937	3841
936	3837
935	3833
934	3829
933	3825
932	3821
931	3817
930	3813
929	3809
928	3805
927	3801
926	3797
925	3793
924	3789
923	3785
922	3781
921	3777
920	3773
919	3769
918	3765
917	3761
916	3757
915	3753
914	3749
913	3745
912	3741
911	3737
910	3733
909	3729
908	3725
907	3721
906	3717
905	3713
904	3709
903	3705
902	3701
901	3697
900	3693
899	3689
898	3685
897	3681
896	3677
895	3673
894	3669
893	3665
892	3661
891	3657
890	3653
889	3649
888	3645
887	3641
886	3637
885	3633
884	3629
883	3625
882	3621
881	3617
880	3613
879	3609
878	3605
877	3601
876	3597
875	3593
874	3589
873	3585
872	3581
871	3577
870	3573
869	3569
868	3565
867	3561
866	3557
865	3553
864	3549
863	3545
862	3541
861	3537
860	3533
859	3529
858	3525
857	3521
856	3517
855	3513
854	3509
853	3505
852	3501
851	3497
850	3493
849	3489
848	3485
847	3481
846	3477
845	3473
844	3469
843	3465
842	3461
841	3457
840	3453
839	3449
838	3445
837	3441
836	3437
835	3433
834	3429
833	3425
832	3421
831	3417
830	3413
829	3409
828	3405
827	3401
826	3397
825	3393
824	3389
823	3385
822	3381
821	3377
820	3373
819	3369
818	3365
817	3361
816	3357
815	3353
814	3349
813	3345
812	3341
811	3337
810	3333
809	3329
808	3325
807	3321
806	3317
805	3313
804	3309
803	3305
802	3301
801	3297
800	3293
799	3289
798	3285
797	3281
796	3277
795	3273
794	3269
793	3265
792	3261
791	3257
790	3253
789	3249
788	3245
787	3241
786	3237
785	3233
784	3229
783	3225
782	3221
781	3217
780	3213
779	3209
778	3205
777	3201
776	3197
775	3193
774	3189
773	3185
772	3181
771	3177
770	3173
769	3169
768	3165
767	3161
766	3157
765	3153
764	3149
763	3145
762	3141
761	3137
760	3133
759	3129
758	3125
757	3121
756	3117
755	3113
754	3109
753	3105
752	3101
751	3097
750	3093
749	3089
748	3085
747	3081
746	3077
745	3073
744	3069
743	3065
742	3061
741	3057
740	3053
739	3049
738	3045
737	3041
736	3037
735	3033
734	3029
733	3025
732	3021
731	3017
730	3013
729	3009
728	3005
727	3001
726	2997
725	2993
724	2989
723	2985
722	2981
721	2977
720	2973
719	2969
718	2965
717	2961
716	2957
715	2953
714	2949
713	2945
712	2941
711	2937
710	2933
709	2929
708	2925
707	2921
706	2917
705	2913
704	2909
703	2905
702	2901
701	2897
700	2893
699	2889
698	2885
697	2881
696	2877
695	2873
694	2869
693	2865
692	2861
691	2857
690	2853
689	2849
688	2845
687	2841
686	2837
685	2833
684	2829
683	2825
682	2821
681	2817
680	2813
679	2809
678	2805
677	2801
676	2797
675	2793
674	2789
673	2785
672	2781
671	2777
670	2773
669	2769
668	2765
667	2761
666	2757
665	2753
664	2749
663	2745
662	2741
661	2737
660	2733
659	2729
658	2725
657	2721
656	2717
655	2713
654	2709
653	2705
652	2701
651	2697
650	2693
649	2689
648	2685
647	2681
646	2677
645	2673
644	2669
643	2665
642	2661
641	2657
640	2653
639	2649
638	2645
637	2641
636	2637
635	2633
634	2629
633	2625
632	2621
631	2617
630	2613
629	2609
628	2605
627	2601
626	2597
625	2593
624	2589
623	2585
622	2581
621	2577
620	2573
619	2569
618	2565
617	2561
616	2557
615	2553
614	2549
613	2545
612	2541
611	2537
610	2533
609	2529
608	2525
607	2521
606	2517
605	2513
604	2509
603	2505
602	2501
601	2497
600	2493
599	2489
598	2485
597	2481
596	2477
595	2473
594	2469
593	2465
592	2461
591	2457
590	2453
589	2449
588	2445
587	2441
586	2437
585	2433
584	2429
583	2425
582	2421
581	2417
580	2413
579	2409
578	2405
577	2401
576	2397
575	2393
574	2389
573	2385
572	2381
571	2377
570	2373
569	2369
568	2365
567	2361
566	2357
565	2353
564	2349
563	2345
562	2341
561	2337
560	2333
559	2329
558	2325
557	2321
556	2317
555	2313
554	2309
553	2305
552	2301
551	2297
550	2293
549	2289
548	2285
547	2281
546	2277
545	2273
544	2269
543	2265
542	2261
541	2257
540	2253
539	2249
538	2245
537	2241
536	2237
535	2233
534	2229
533	2225
532	2221
531	2217
530	2213
529	2209
528	2205
527	2201
526	2197
525	2193
524	2189
523	2185
522	2181
521	2177
520	2173
519	2169
518	2165
517	2161
516	2157
515	2153
514	2149
513	2145
512	2141
511	2137
510	2133
509	2129
508	2125
507	2121
506	2117
505	2113
504	2109
503	2105
502	2101
501	2097
500	2093
499	2089
498	2085
497	2081
496	2077
495	2073
494	2069
493	2065
492	2061
491	2057
490	2053
489	2049
488	2045
487	2041
486	2037
485	2033
484	2029
483	2025
482	2021
481	2017
480	2013
479	2009
478	2005
477	2001
476	1997
475	1993
474	1989
473	1985
472	1981
471	1977
470	1973
469	1969
468	1965
467	1961
466	1957
465	1953
464	1949
463	1945
462	1941
461	1937
460	1933
459	1929
458	1925
457	1921
456	1917
455	1913
454	1909
453	1905
452	1901
451	1897
450	1893
449	1889
448	1885
447	1881
446	1877
445	1873
444	1869
443	1865
442	1861
441	1857
440	1853
439	1849
438	1845
437	1841
436	1837
435	1833
434	1829
433	1825
432	1821
431	1817
430	1813
429	1809
428	1805
427	1801
426	1797
425	1793
424	1789
423	1785
422	1781
421	1777
420	1773
419	1769
418	1765
417	1761
416	1757
415	1753
414	1749
413	1745
412	1741
411	1737
410	1733
409	1729
408	1725
407	1721
406	1717
405	1713
404	1709
403	1705
402	1701
401	1697
400	1693
399	1689
398	1685
397	1681
396	1677
395	1673
394	1669
393	1665
392	1661
391	1657
390	1653
389	1649
388	1645
387	1641
386	1637
385	1633
384	1629
383	1625
382	1621
381	1617
380	1613
379	1609
378	1605
377	1601
376	1597
375	1593
374	1589
373	1585
372	1581
371	1577
370	1573
369	1569
368	1565
367	1561
366	1557
365	1553
364	1549
363	1545
362	1541
361	1537
360	1533
359	1529
358	1525
357	1521
356	1517
355	1513
354	1509
353	1505
352	1501
351	1497
350	1493
349	1489
348	1485
347	1481
346	1477
345	1473
344	1469
343	1465
342	1461
341	1457
340	1453
339	1449
338	1445
337	1441
336	1437
335	1433
334	1429
333	1425
332	1421
331	1417
330	1413
329	1409
328	1405
327	1401
326	1397
325	1393
324	1389
323	1385
322	1381
321	1377
320	1373
319	1369
318	1365
317	1361
316	1357
315	1353
314	1349
313	1345
312	1341
311	1337
310	1333
309	1329
308	1325
307	1321
306	1317
305	1313
304	1309
303	1305
302	1301
301	1297
300	1293
299	1289
298	1285
297	1281
296	1277
295	1273
294	1269
293	1265
292	1261
291	1257
290	1253
289	1249
288	1245
287	1241
286	1237
285	1233
284	1229
283	1225
282	1221
281	1217
280	1213
279	1209
278	1205
277	1201
276	1197
275	1193
274	1189
273	1185
272	1181
271	1177
270	1173
269	1169
268	1165
267	1161
266	1157
265	1153
264	1149
263	1145
262	1141
261	1137
260	1133
259	1129
258	1125
257	1121
256	1117
255	1113
254	1109
253	1105
252	1101
251	1097
250	1093
249	1089
248	1085
247	1081
246	1077
245	1073
244	1069
243	1065
242	1061
241	1057
240	1053
239	1049
238	1045
237	1041
236	1037
235	1033
234	1029
233	1025
232	1021
231	1017
230	1013
229	1009
228	1005
227	1001
226	997
225	993
224	989
223	985
222	981
221	977
220	973
219	969
218	965
217	961
216	957
215	953
214	949
213	945
212	941
211	937
210	933
209	929
208	925
207	921
206	917
205	913
204	909
203	905
202	901
201	897
200	893
199	889
198	885
197	881
196	877
195	873
194	869
193	865
192	861
191	857
190	853
189	849
188	845
187	841
186	837
185	833
184	829
183	825
182	821
181	817
180	813
179	809
178	805
177	801
176	797
175	793
174	789
173	785
172	781
171	777
170	773
169	769
168	765
167	761
166	757
165	753
164	749
163	745
162	741
161	737
160	733
159	729
158	725
157	721
156	717
155	713
154	709
153	705
152	701
151	697
150	693
149	689
148	685
147	681
146	677
145	673
144	669
143	665
142	661
141	657
140	653
139	649
138	645
137	641
136	637
135	633
134	629
133	625
132	621
131	617
130	613
129	609
128	605
127	601
126	597
125	593
124	589
123	585
122	581
121	577
120	573
119	569
118	565
117	561
116	557
115	553
114	549
113	545
112	541
111	537
110	533
109	529
108	525
107	521
106	517
105	513
104	509
103	505
102	501
101	497
100	493
99	489
98	485
97	481
96	477
95	473
94	469
93	465
92	461
91	457
90	453
89	449
88	445
87	441
86	437
85	433
84	429
83	425
82	421
81	417
80	413
79	409
78	405
77	401
76	397
75	393
74	389
73	385
72	381
71	377
70	373
69	369
68	365
67	361
66	357
65	353
64	349
63	345
62	341
61	337
60	333
59	329
58	325
57	321
56	317
55	313
54	309
53	305
52	301
51	297
50	293
49	289
48	285
47	281
46	277
45	273
44	269
43	265
42	261
41	257
40	253
39	249
38	245
37	241
36	237
35	233
34	229
33	225
32	221
31	217
30	213
29	209
28	205
27	201
26	197
25	193
24	189
23	185
22	181
21	177
20	173
19	169
18	165
17	161
16	157
15	153
14	149
13	145
12	141
11	137
10	133
9	129
8	125
7	121
6	117
5	113
4	109
3	103
2	86
1	70
0	50

end0.0ms

sample8.0s

Algorithm

intervals

Results

2.4s	9239×	body	80	nan
2.0s	1550×	body	1280	valid
1.2s	5582×	body	80	valid
592.0ms	989×	body	640	valid
471.0ms	365×	body	2560	valid
233.0ms	428×	body	320	valid
94.0ms	202×	body	160	valid