Details

sample638.0ms

Algorithm

intervals

Results

183.0ms	60×	body	2560	valid
139.0ms	80×	body	1280	valid
112.0ms	20×	body	320	valid
54.0ms	33×	body	640	valid
18.0ms	4×	body	5120	valid
11.0ms	51×	body	80	valid
4.0ms	8×	body	160	valid

simplify1.2m

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
115	4982
114	4948
113	4917
112	4882
111	4849
110	4815
109	4785
108	4751
107	4719
106	4686
105	4656
104	4621
103	4590
102	4557
101	4527
100	4493
99	4461
98	4427
97	4396
96	4361
95	4328
94	4295
93	4265
92	4230
91	4198
90	4164
89	4133
88	4098
87	4065
86	4031
85	4001
84	3966
83	3934
82	3901
81	3872
80	3837
79	3805
78	3771
77	3742
76	3709
75	3677
74	3644
73	3614
72	3579
71	3546
70	3513
69	3483
68	3448
67	3416
66	3384
65	3355
64	3321
63	3290
62	3256
61	3226
60	3191
59	3159
58	3126
57	3096
56	3061
55	3029
54	2997
53	2968
52	2933
51	2900
50	2867
49	2837
48	2802
47	2769
46	2737
45	2708
44	2674
43	2643
42	2610
41	2580
40	2545
39	2514
38	2481
37	2450
36	2416
35	2384
34	2350
33	2319
32	2284
31	2252
30	2219
29	2190
28	2155
27	2123
26	2089
25	2059
24	2024
23	1991
22	1957
21	1927
20	1892
19	1861
18	1828
17	1798
16	1763
15	1732
14	1699
13	1668
12	1633
11	1592
10	1540
9	1414
8	1328
7	1152
6	859
5	621
4	420
3	215
2	84
1	44
0	23

prune44.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 47.9b

localize92.0ms

Local error

Found 4 expressions with local error:

1.7b	(* (fma y 2.0 1.0) (/ (* t z) 16.0))
2.7b	(* (/ b 16.0) (* (fma a 2.0 1.0) t))
35.9b	(cos (* (/ b 16.0) (* (fma a 2.0 1.0) t)))
40.0b	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))

rewrite176.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-exp-log` `add-cbrt-cube`
16×	`add-sqr-sqrt` `associate-l`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`pow1`
10×	`prod-exp` `cbrt-unprod`
8×	`associate-r`
4×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `pow-prod-down` `log1p-expm1-u` `add-log-exp`
2×	`*-commutative` `div-inv`
1×	`associate-r/` `associate-l/` `unswap-sqr`

Counts

4 → 82

Calls

4 calls:

43.0ms	(* (fma y 2.0 1.0) (/ (* t z) 16.0))
62.0ms	(* (/ b 16.0) (* (fma a 2.0 1.0) t))
47.0ms	(cos (* (/ b 16.0) (* (fma a 2.0 1.0) t)))
19.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))

series330.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(* (fma y 2.0 1.0) (/ (* t z) 16.0))
97.0ms	(* (/ b 16.0) (* (fma a 2.0 1.0) t))
54.0ms	(cos (* (/ b 16.0) (* (fma a 2.0 1.0) t)))
86.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))

simplify2.7s

Counts

94 → 94

Iterations

Iter	Nodes
done	5000
2	1925
1	449
0	178

prune1.8s

Pruning

29 alts after pruning (29 fresh and 0 done)

Merged error: 43.3b

localize57.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (cos (* (fma y 2.0 1.0) (/ (* t z) 16.0))))
1.7b	(* (fma y 2.0 1.0) (/ (* t z) 16.0))
40.0b	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-exp-log` `add-cbrt-cube`
12×	`add-sqr-sqrt`
10×	`associate-r`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`pow1`
6×	`associate-l`
5×	`prod-exp` `cbrt-unprod`
3×	`expm1-log1p-u` `times-frac` `log1p-expm1-u` `add-log-exp`
2×	`cbrt-undiv` `div-exp` `pow-prod-down` `*-commutative` `unswap-sqr`
1×	`associate-*r/` `div-inv`

Counts

3 → 58

Calls

3 calls:

30.0ms	(* x (cos (* (fma y 2.0 1.0) (/ (* t z) 16.0))))
37.0ms	(* (fma y 2.0 1.0) (/ (* t z) 16.0))
14.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))

series314.0ms

Counts

3 → 9

Calls

3 calls:

141.0ms	(* x (cos (* (fma y 2.0 1.0) (/ (* t z) 16.0))))
92.0ms	(* (fma y 2.0 1.0) (/ (* t z) 16.0))
81.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))

simplify2.3s

Counts

67 → 67

Iterations

Iter	Nodes
done	5002
2	1240
1	299
0	124

prune1.3s

Pruning

37 alts after pruning (37 fresh and 0 done)

Merged error: 41.8b

localize7.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify1.0ms

Counts

0 → 0

Iterations

Iter	Nodes
done	0
0	0

prune531.0ms

Pruning

37 alts after pruning (36 fresh and 1 done)

Merged error: 41.8b

localize73.0ms

Local error

Found 4 expressions with local error:

1.7b	(* (fma y 2.0 1.0) (/ (* t z) 16.0))
40.0b	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))
40.0b	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))
40.0b	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-exp-log` `add-cbrt-cube`
9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `-un-lft-identity` `associate-r*`
6×	`pow1`
4×	`expm1-log1p-u` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `associate-l`
2×	`cbrt-undiv` `div-exp`
1×	`associate-r/` `pow-prod-down` `-commutative` `div-inv` `unswap-sqr`

Counts

4 → 56

Calls

4 calls:

35.0ms	(* (fma y 2.0 1.0) (/ (* t z) 16.0))
13.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))
14.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))
24.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))

series311.0ms

Counts

4 → 12

Calls

4 calls:

100.0ms	(* (fma y 2.0 1.0) (/ (* t z) 16.0))
76.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))
66.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))
69.0ms	(cos (* (fma y 2.0 1.0) (/ (* t z) 16.0)))

simplify2.5s

Counts

68 → 68

Iterations

Iter	Nodes
done	5000
2	981
1	220
0	93

prune1.0s

Pruning

41 alts after pruning (40 fresh and 1 done)

Merged error: 41.6b

regimes4.4s

Accuracy

0% (4.6b remaining)

Error of 44.1b against oracle of 39.5b and baseline of 44.1b

bsearch0.0ms

simplify1.0ms

Iterations

Iter	Nodes
done	6
1	6
0	3

end0.0ms

sample15.4s

Algorithm

intervals

Results

6.3s	2282×	body	1280	valid
5.5s	1806×	body	2560	valid
1.5s	1193×	body	640	valid
538.0ms	1917×	body	80	valid
446.0ms	532×	body	320	valid
166.0ms	239×	body	160	valid
144.0ms	31×	body	5120	valid