Details

sample188.0ms

Algorithm

intervals

Results

49.0ms	56×	body	1280	valid
41.0ms	58×	body	640	valid
32.0ms	36×	body	10240	exit
13.0ms	107×	body	80	valid
6.0ms	86×	body	80	nan
5.0ms	18×	body	320	valid
3.0ms	1×	body	2560	valid
3.0ms	16×	body	160	valid
3.0ms	9×	body	640	nan
2.0ms	5×	body	1280	nan
2.0ms	7×	body	320	nan
0.0ms	1×	body	160	nan

simplify18.6s

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

prune17.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 13.9b

localize15.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)
2.2b	(log (fma (expm1 z) y 1.0))

rewrite28.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` `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 → 115

Calls

3 calls:

17.0ms	(- x (/ (log (fma (expm1 z) y 1.0)) t))
5.0ms	(/ (log (fma (expm1 z) y 1.0)) t)
1.0ms	(log (fma (expm1 z) y 1.0))

series380.0ms

Counts

3 → 9

Calls

3 calls:

93.0ms	(- x (/ (log (fma (expm1 z) y 1.0)) t))
186.0ms	(/ (log (fma (expm1 z) y 1.0)) t)
101.0ms	(log (fma (expm1 z) y 1.0))

simplify2.2s

Counts

124 → 124

Iterations

Iter	Nodes
done	5000
2	1693
1	617
0	250

prune902.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 4.6b

localize37.0ms

Local error

Found 4 expressions with local error:

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

rewrite122.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/` `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 → 320

Calls

4 calls:

52.0ms	(- x (/ 1 (/ t (log (fma (expm1 z) y 1.0)))))
9.0ms	(/ t (log (fma (expm1 z) y 1.0)))
23.0ms	(/ 1 (/ t (log (fma (expm1 z) y 1.0))))
2.0ms	(log (fma (expm1 z) y 1.0))

series598.0ms

Counts

4 → 12

Calls

4 calls:

118.0ms	(- x (/ 1 (/ t (log (fma (expm1 z) y 1.0)))))
281.0ms	(/ t (log (fma (expm1 z) y 1.0)))
99.0ms	(/ 1 (/ t (log (fma (expm1 z) y 1.0))))
99.0ms	(log (fma (expm1 z) y 1.0))

simplify2.5s

Counts

332 → 332

Iterations

Iter	Nodes
done	5019
2	3682
1	1614
0	601

prune2.7s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 4.6b

localize70.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ 1 (sqrt (log (fma (expm1 z) y 1.0))))
0.1b	(* (/ 1 (/ 1 (sqrt (log (fma (expm1 z) y 1.0))))) (/ 1 (/ t (sqrt (log (fma (expm1 z) y 1.0))))))
2.2b	(log (fma (expm1 z) y 1.0))
2.2b	(log (fma (expm1 z) y 1.0))

rewrite253.0ms

Algorithm

rewrite-expression-head

Rules

533×	`times-frac`
452×	`add-sqr-sqrt`
306×	`add-exp-log`
254×	`*-un-lft-identity`
191×	`div-exp`
158×	`add-cube-cbrt`
138×	`sqrt-prod`
91×	`prod-exp`
80×	`associate-r` `associate-l`
77×	`unswap-sqr`
76×	`rec-exp` `1-exp`
42×	`add-cbrt-cube`
34×	`pow1`
24×	`log-pow`
19×	`cbrt-undiv`
9×	`cbrt-unprod` `div-inv`
7×	`associate-/r*`
6×	`log-prod`
5×	`pow-flip`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `associate-/l*` `inv-pow`
2×	`rem-log-exp` `associate-/r/`
1×	`frac-times` `clear-num` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-l/` `associate-r/` `un-div-inv` `*-commutative`

Counts

4 → 433

Calls

4 calls:

6.0ms	(/ 1 (sqrt (log (fma (expm1 z) y 1.0))))
205.0ms	(* (/ 1 (/ 1 (sqrt (log (fma (expm1 z) y 1.0))))) (/ 1 (/ t (sqrt (log (fma (expm1 z) y 1.0))))))
2.0ms	(log (fma (expm1 z) y 1.0))
2.0ms	(log (fma (expm1 z) y 1.0))

series738.0ms

Counts

4 → 12

Calls

4 calls:

357.0ms	(/ 1 (sqrt (log (fma (expm1 z) y 1.0))))
170.0ms	(* (/ 1 (/ 1 (sqrt (log (fma (expm1 z) y 1.0))))) (/ 1 (/ t (sqrt (log (fma (expm1 z) y 1.0))))))
112.0ms	(log (fma (expm1 z) y 1.0))
99.0ms	(log (fma (expm1 z) y 1.0))

simplify3.5s

Counts

445 → 445

Iterations

Iter	Nodes
done	5016
2	3837
1	1838
0	602

prune2.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 4.6b

localize66.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (/ 1 (/ 1 (sqrt (expm1 (log1p (log (fma (expm1 z) y 1.0))))))) (/ 1 (/ t (sqrt (log (fma (expm1 z) y 1.0))))))
0.2b	(expm1 (log1p (log (fma (expm1 z) y 1.0))))
2.2b	(log (fma (expm1 z) y 1.0))
2.2b	(log (fma (expm1 z) y 1.0))

rewrite231.0ms

Algorithm

rewrite-expression-head

Rules

494×	`times-frac`
430×	`add-sqr-sqrt`
302×	`add-exp-log`
232×	`*-un-lft-identity`
189×	`div-exp`
136×	`add-cube-cbrt`
113×	`sqrt-prod`
91×	`prod-exp`
80×	`associate-r`
77×	`unswap-sqr`
75×	`rec-exp` `1-exp`
71×	`associate-l`
40×	`add-cbrt-cube`
19×	`pow1`
18×	`cbrt-undiv`
11×	`log-pow`
9×	`cbrt-unprod`
8×	`div-inv`
6×	`log-prod`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down`
2×	`rem-log-exp` `associate-/r/` `pow-flip` `inv-pow`
1×	`frac-times` `expm1-log1p` `associate-l/` `associate-r/` `un-div-inv` `*-commutative` `expm1-udef`

Counts

4 → 384

Calls

4 calls:

181.0ms	(* (/ 1 (/ 1 (sqrt (expm1 (log1p (log (fma (expm1 z) y 1.0))))))) (/ 1 (/ t (sqrt (log (fma (expm1 z) y 1.0))))))
0.0ms	(expm1 (log1p (log (fma (expm1 z) y 1.0))))
2.0ms	(log (fma (expm1 z) y 1.0))
2.0ms	(log (fma (expm1 z) y 1.0))

series1.1s

Counts

4 → 12

Calls

4 calls:

702.0ms	(* (/ 1 (/ 1 (sqrt (expm1 (log1p (log (fma (expm1 z) y 1.0))))))) (/ 1 (/ t (sqrt (log (fma (expm1 z) y 1.0))))))
234.0ms	(expm1 (log1p (log (fma (expm1 z) y 1.0))))
91.0ms	(log (fma (expm1 z) y 1.0))
89.0ms	(log (fma (expm1 z) y 1.0))

simplify2.5s

Counts

396 → 396

Iterations

Iter	Nodes
done	5001
2	3681
1	1833
0	567

prune2.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 4.6b

regimes679.0ms

Accuracy

44.8% (4.4b remaining)

Error of 9.0b against oracle of 4.6b and baseline of 12.5b

bsearch149.0ms

Steps

Iters	Range		Point
9	-3.985075016512312e-89	-1.1843633516951345e-94	-1.3559852777609237e-91

simplify7.0ms

Iterations

Iter	Nodes
done	26
1	26
0	23

end0.0ms

sample5.6s

Algorithm

intervals

Results

1.6s	1507×	body	10240	exit
1.1s	1407×	body	1280	valid
778.0ms	1629×	body	640	valid
434.0ms	3570×	body	80	valid
359.0ms	279×	body	640	nan
341.0ms	894×	body	320	valid
140.0ms	2488×	body	80	nan
137.0ms	81×	body	2560	valid
109.0ms	108×	body	1280	nan
108.0ms	445×	body	160	valid
67.0ms	176×	body	320	nan
16.0ms	108×	body	160	nan