Details

sample181.0ms

Algorithm

intervals

Results

44.0ms	47×	body	1280	valid
40.0ms	41×	body	10240	exit
26.0ms	45×	body	640	valid
16.0ms	45×	body	320	valid
12.0ms	106×	body	80	valid
5.0ms	60×	body	80	nan
4.0ms	1×	body	2560	valid
3.0ms	7×	body	640	nan
3.0ms	12×	body	160	valid
2.0ms	7×	body	320	nan
2.0ms	4×	body	1280	nan
1.0ms	6×	body	160	nan

simplify16.4s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
230	4994
229	4969
228	4959
227	4946
226	4940
225	4919
224	4909
223	4892
222	4886
221	4861
220	4855
219	4842
218	4836
217	4815
216	4805
215	4788
214	4782
213	4757
212	4751
211	4738
210	4732
209	4711
208	4701
207	4684
206	4678
205	4653
204	4647
203	4634
202	4628
201	4607
200	4597
199	4580
198	4574
197	4549
196	4541
195	4528
194	4522
193	4501
192	4495
191	4478
190	4472
189	4447
188	4441
187	4428
186	4422
185	4401
184	4391
183	4374
182	4368
181	4343
180	4337
179	4324
178	4318
177	4297
176	4289
175	4272
174	4266
173	4241
172	4235
171	4222
170	4216
169	4195
168	4185
167	4168
166	4162
165	4137
164	4131
163	4118
162	4112
161	4091
160	4083
159	4066
158	4060
157	4035
156	4025
155	4012
154	4006
153	3985
152	3975
151	3958
150	3952
149	3927
148	3917
147	3904
146	3898
145	3877
144	3871
143	3854
142	3848
141	3823
140	3813
139	3800
138	3794
137	3773
136	3767
135	3750
134	3744
133	3719
132	3711
131	3698
130	3692
129	3671
128	3663
127	3646
126	3640
125	3615
124	3605
123	3592
122	3586
121	3565
120	3559
119	3542
118	3536
117	3511
116	3501
115	3488
114	3482
113	3461
112	3453
111	3436
110	3430
109	3405
108	3395
107	3382
106	3376
105	3355
104	3345
103	3328
102	3322
101	3297
100	3291
99	3278
98	3272
97	3251
96	3241
95	3224
94	3218
93	3193
92	3185
91	3172
90	3166
89	3145
88	3137
87	3120
86	3114
85	3089
84	3083
83	3070
82	3064
81	3043
80	3033
79	3016
78	3010
77	2985
76	2979
75	2966
74	2960
73	2939
72	2933
71	2916
70	2910
69	2885
68	2877
67	2864
66	2858
65	2837
64	2827
63	2810
62	2804
61	2779
60	2771
59	2758
58	2752
57	2731
56	2723
55	2706
54	2700
53	2675
52	2669
51	2656
50	2650
49	2629
48	2619
47	2602
46	2596
45	2571
44	2565
43	2552
42	2546
41	2525
40	2517
39	2500
38	2494
37	2469
36	2461
35	2448
34	2442
33	2421
32	2413
31	2396
30	2390
29	2365
28	2359
27	2346
26	2340
25	2319
24	2309
23	2292
22	2286
21	2261
20	2253
19	2240
18	2234
17	2213
16	2187
15	2170
14	2164
13	2139
12	2095
11	1735
10	1206
9	788
8	572
7	448
6	253
5	127
4	77
3	53
2	35
1	20
0	12

prune18.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 13.3b

localize24.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (log (fma (expm1 z) y 1.0)) t))
0.1b	(/ (log (fma (expm1 z) y 1.0)) t)
3.0b	(log (fma (expm1 z) y 1.0))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

59×	`add-sqr-sqrt`
56×	`*-un-lft-identity`
54×	`add-cube-cbrt`
49×	`times-frac`
48×	`prod-diff`
17×	`pow1`
14×	`log-pow`
6×	`add-exp-log`
5×	`add-cbrt-cube` `add-log-exp`
4×	`div-inv` `associate-/l*`
3×	`expm1-log1p-u` `log-prod` `associate-/r*` `fma-neg` `insert-posit16` `log1p-expm1-u`
2×	`difference-of-squares`
1×	`cbrt-undiv` `clear-num` `sub-neg` `frac-2neg` `flip3--` `diff-log` `div-exp` `rem-log-exp` `flip--` `distribute-lft-out--`

Counts

3 → 118

Calls

3 calls:

14.0ms	(- x (/ (log (fma (expm1 z) y 1.0)) t))
11.0ms	(/ (log (fma (expm1 z) y 1.0)) t)
2.0ms	(log (fma (expm1 z) y 1.0))

series339.0ms

Counts

3 → 9

Calls

3 calls:

101.0ms	(- x (/ (log (fma (expm1 z) y 1.0)) t))
158.0ms	(/ (log (fma (expm1 z) y 1.0)) t)
80.0ms	(log (fma (expm1 z) y 1.0))

simplify1.4s

Counts

127 → 127

Iterations

Iter	Nodes
done	5000
2	1671
1	619
0	253

prune600.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.3b

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ 1 (/ t (log (fma (expm1 z) y 1.0)))))
0.1b	(/ 1 (/ t (log (fma (expm1 z) y 1.0))))
0.1b	(/ t (log (fma (expm1 z) y 1.0)))
3.0b	(log (fma (expm1 z) y 1.0))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

366×	`times-frac`
254×	`add-sqr-sqrt`
245×	`*-un-lft-identity`
240×	`add-cube-cbrt`
159×	`prod-diff`
49×	`pow1`
44×	`log-pow`
20×	`associate-/r*`
19×	`div-inv`
18×	`add-exp-log`
11×	`add-cbrt-cube`
8×	`div-exp`
6×	`associate-/l*` `add-log-exp`
5×	`difference-of-squares`
4×	`expm1-log1p-u` `cbrt-undiv` `associate-/r/` `insert-posit16` `log1p-expm1-u`
3×	`log-prod` `fma-neg`
2×	`rec-exp` `clear-num` `frac-2neg` `1-exp` `distribute-lft-out--`
1×	`sub-neg` `flip3--` `diff-log` `rem-log-exp` `pow-flip` `flip--` `inv-pow`

Counts

4 → 324

Calls

4 calls:

31.0ms	(- x (/ 1 (/ t (log (fma (expm1 z) y 1.0)))))
10.0ms	(/ 1 (/ t (log (fma (expm1 z) y 1.0))))
11.0ms	(/ t (log (fma (expm1 z) y 1.0)))
2.0ms	(log (fma (expm1 z) y 1.0))

series733.0ms

Counts

4 → 12

Calls

4 calls:

84.0ms	(- x (/ 1 (/ t (log (fma (expm1 z) y 1.0)))))
394.0ms	(/ 1 (/ t (log (fma (expm1 z) y 1.0))))
191.0ms	(/ t (log (fma (expm1 z) y 1.0)))
64.0ms	(log (fma (expm1 z) y 1.0))

simplify2.2s

Counts

336 → 336

Iterations

Iter	Nodes
done	5000
2	4229
1	1617
0	605

prune1.5s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 3.3b

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (fma (expm1 z) y 1.0))
0.1b	(/ (+ (log (sqrt (fma (expm1 z) y 1.0))) (log (sqrt (fma (expm1 z) y 1.0)))) t)
3.0b	(log (sqrt (fma (expm1 z) y 1.0)))
3.0b	(log (sqrt (fma (expm1 z) y 1.0)))

rewrite100.0ms

Algorithm

rewrite-expression-head

Rules

94×	`log-pow`
80×	`*-un-lft-identity`
78×	`times-frac`
73×	`pow1`
57×	`add-sqr-sqrt`
56×	`add-cube-cbrt`
40×	`distribute-rgt-out`
32×	`distribute-lft-out`
27×	`sqrt-pow1` `pow1/2`
26×	`associate-/l*`
12×	`log-prod`
9×	`sqrt-prod`
8×	`distribute-lft1-in` `distribute-rgt1-in` `add-exp-log`
6×	`add-cbrt-cube`
4×	`expm1-log1p-u` `count-2` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`associate-/r*`
2×	`rem-log-exp` `associate-/l/`
1×	`cbrt-undiv` `rem-sqrt-square` `clear-num` `frac-2neg` `flip3-+` `div-exp` `flip-+` `div-inv`

Counts

4 → 180

Calls

4 calls:

4.0ms	(sqrt (fma (expm1 z) y 1.0))
78.0ms	(/ (+ (log (sqrt (fma (expm1 z) y 1.0))) (log (sqrt (fma (expm1 z) y 1.0)))) t)
2.0ms	(log (sqrt (fma (expm1 z) y 1.0)))
2.0ms	(log (sqrt (fma (expm1 z) y 1.0)))

series1.2s

Counts

4 → 12

Calls

4 calls:

137.0ms	(sqrt (fma (expm1 z) y 1.0))
690.0ms	(/ (+ (log (sqrt (fma (expm1 z) y 1.0))) (log (sqrt (fma (expm1 z) y 1.0)))) t)
183.0ms	(log (sqrt (fma (expm1 z) y 1.0)))
226.0ms	(log (sqrt (fma (expm1 z) y 1.0)))

simplify4.0s

Counts

192 → 192

Iterations

Iter	Nodes
done	5008
2	3261
1	992
0	376

prune1.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.0b

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(cbrt (log (fma (expm1 z) y 1.0)))
3.0b	(log (fma (expm1 z) y 1.0))
3.0b	(log (fma (expm1 z) y 1.0))
3.0b	(log (fma (expm1 z) y 1.0))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

9×	`log-prod`
8×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `add-cube-cbrt`
7×	`add-exp-log`
4×	`cbrt-prod` `expm1-log1p-u` `add-cbrt-cube` `log-pow` `insert-posit16` `log1p-expm1-u` `add-log-exp`
3×	`rem-log-exp`
1×	`pow1/3`

Counts

4 → 60

Calls

4 calls:

1.0ms	(cbrt (log (fma (expm1 z) y 1.0)))
1.0ms	(log (fma (expm1 z) y 1.0))
2.0ms	(log (fma (expm1 z) y 1.0))
5.0ms	(log (fma (expm1 z) y 1.0))

series571.0ms

Counts

4 → 12

Calls

4 calls:

291.0ms	(cbrt (log (fma (expm1 z) y 1.0)))
106.0ms	(log (fma (expm1 z) y 1.0))
99.0ms	(log (fma (expm1 z) y 1.0))
74.0ms	(log (fma (expm1 z) y 1.0))

simplify3.5s

Counts

72 → 72

Iterations

Iter	Nodes
done	5000
3	4891
2	1067
1	325
0	126

prune548.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.0b

regimes573.0ms

Accuracy

44.7% (4.3b remaining)

Error of 8.4b against oracle of 4.1b and baseline of 11.9b

bsearch143.0ms

Steps

Iters	Range		Point
7	-1.0132201381967704e-83	-5.1100676164153666e-85	-1.7774096754001219e-84

simplify13.0ms

Iterations

Iter	Nodes
done	34
1	34
0	32

end0.0ms

sample6.2s

Algorithm

intervals

Results

1.5s	1381×	body	10240	exit
1.3s	1486×	body	1280	valid
1.1s	1591×	body	640	valid
475.0ms	480×	body	160	valid
372.0ms	3508×	body	80	valid
280.0ms	882×	body	320	valid
280.0ms	2464×	body	80	nan
165.0ms	78×	body	2560	valid
101.0ms	282×	body	640	nan
77.0ms	108×	body	1280	nan
41.0ms	178×	body	320	nan
14.0ms	89×	body	160	nan