Details

sample155.0ms

Algorithm

intervals

Results

46.0ms	56×	body	1280	valid
29.0ms	40×	body	10240	exit
23.0ms	51×	body	640	valid
9.0ms	100×	body	80	valid
8.0ms	4×	body	2560	valid
7.0ms	26×	body	320	valid
5.0ms	78×	body	80	nan
3.0ms	19×	body	160	valid
3.0ms	11×	body	320	nan
2.0ms	6×	body	640	nan
1.0ms	1×	body	1280	nan
0.0ms	3×	body	160	nan

simplify16.0s

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

prune12.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 11.8b

localize26.0ms

Local error

Found 2 expressions with local error:

0.1b	(/ (log (fma (expm1 z) y 1.0)) t)
5.0b	(log (fma (expm1 z) y 1.0))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `*-un-lft-identity` `times-frac` `add-cube-cbrt`
7×	`pow1`
5×	`add-exp-log` `log-pow`
4×	`add-cbrt-cube` `associate-/l*`
3×	`log-prod` `associate-/r*`
2×	`expm1-log1p-u` `insert-posit16` `log1p-expm1-u` `add-log-exp`
1×	`cbrt-undiv` `clear-num` `frac-2neg` `div-exp` `rem-log-exp` `div-inv`

Counts

2 → 49

Calls

2 calls:

16.0ms	(/ (log (fma (expm1 z) y 1.0)) t)
2.0ms	(log (fma (expm1 z) y 1.0))

series261.0ms

Counts

2 → 6

Calls

2 calls:

161.0ms	(/ (log (fma (expm1 z) y 1.0)) t)
100.0ms	(log (fma (expm1 z) y 1.0))

simplify2.1s

Counts

55 → 55

Iterations

Iter	Nodes
done	5005
3	2443
2	786
1	283
0	130

prune353.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.6b

localize34.0ms

Local error

Found 4 expressions with local error:

0.5b	(sqrt (fma (expm1 z) y 1.0))
0.5b	(sqrt (fma (expm1 z) y 1.0))
4.5b	(log (sqrt (fma (expm1 z) y 1.0)))
4.5b	(log (sqrt (fma (expm1 z) y 1.0)))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `log-prod` `sqrt-prod`
10×	`pow1` `*-un-lft-identity` `add-cube-cbrt`
6×	`add-exp-log` `log-pow`
4×	`expm1-log1p-u` `sqrt-pow1` `add-cbrt-cube` `pow1/2` `insert-posit16` `log1p-expm1-u` `add-log-exp`
2×	`rem-sqrt-square` `rem-log-exp`

Counts

4 → 72

Calls

4 calls:

2.0ms	(sqrt (fma (expm1 z) y 1.0))
2.0ms	(sqrt (fma (expm1 z) y 1.0))
3.0ms	(log (sqrt (fma (expm1 z) y 1.0)))
3.0ms	(log (sqrt (fma (expm1 z) y 1.0)))

series524.0ms

Counts

4 → 12

Calls

4 calls:

106.0ms	(sqrt (fma (expm1 z) y 1.0))
100.0ms	(sqrt (fma (expm1 z) y 1.0))
151.0ms	(log (sqrt (fma (expm1 z) y 1.0)))
166.0ms	(log (sqrt (fma (expm1 z) y 1.0)))

simplify3.9s

Counts

84 → 84

Iterations

Iter	Nodes
done	5001
2	2236
1	594
0	210

prune688.0ms

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 3.6b

localize18.0ms

Local error

Found 2 expressions with local error:

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

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 55

Calls

2 calls:

17.0ms	(* (log (fma (expm1 z) y 1.0)) (/ 1 t))
1.0ms	(log (fma (expm1 z) y 1.0))

series263.0ms

Counts

2 → 6

Calls

2 calls:

167.0ms	(* (log (fma (expm1 z) y 1.0)) (/ 1 t))
95.0ms	(log (fma (expm1 z) y 1.0))

simplify2.0s

Counts

61 → 61

Iterations

Iter	Nodes
done	5000
3	2888
2	1010
1	377
0	153

prune357.0ms

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 3.6b

localize36.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (fma (expm1 z) y 1.0))
0.6b	(cbrt (fma (expm1 z) y 1.0))
4.5b	(log (cbrt (fma (expm1 z) y 1.0)))
4.8b	(log (* (cbrt (fma (expm1 z) y 1.0)) (cbrt (fma (expm1 z) y 1.0))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 69

Calls

4 calls:

2.0ms	(cbrt (fma (expm1 z) y 1.0))
1.0ms	(cbrt (fma (expm1 z) y 1.0))
2.0ms	(log (cbrt (fma (expm1 z) y 1.0)))
11.0ms	(log (* (cbrt (fma (expm1 z) y 1.0)) (cbrt (fma (expm1 z) y 1.0))))

series662.0ms

Counts

4 → 12

Calls

4 calls:

162.0ms	(cbrt (fma (expm1 z) y 1.0))
140.0ms	(cbrt (fma (expm1 z) y 1.0))
172.0ms	(log (cbrt (fma (expm1 z) y 1.0)))
189.0ms	(log (* (cbrt (fma (expm1 z) y 1.0)) (cbrt (fma (expm1 z) y 1.0))))

simplify2.4s

Counts

81 → 81

Iterations

Iter	Nodes
done	5002
2	1500
1	470
0	182

prune608.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 3.6b

regimes544.0ms

Accuracy

45.8% (4.2b remaining)

Error of 7.6b against oracle of 3.5b and baseline of 11.2b

bsearch358.0ms

Steps

Iters	Range	Point
8	1.420916407840857e-121	1.7173713759258274e-118	8.16242381116947e-121
5	9.841725025012944e-139	2.5397497498267892e-138	1.9712400723203086e-138
6	-2.1571209694326467e-81	-2.0986290743163836e-82	-1.200391987755555e-81

Iters

Range

Point

1.420916407840857e-121

1.7173713759258274e-118

8.16242381116947e-121

9.841725025012944e-139

2.5397497498267892e-138

1.9712400723203086e-138

-2.1571209694326467e-81

-2.0986290743163836e-82

-1.200391987755555e-81

simplify16.0ms

Iterations

Iter	Nodes
done	48
1	48
0	41

end0.0ms

sample6.8s

Algorithm

intervals

Results

2.1s	1521×	body	10240	exit
1.4s	1496×	body	1280	valid
899.0ms	1546×	body	640	valid
485.0ms	465×	body	160	valid
399.0ms	857×	body	320	valid
383.0ms	3566×	body	80	valid
196.0ms	95×	body	2560	valid
189.0ms	2568×	body	80	nan
143.0ms	288×	body	640	nan
80.0ms	203×	body	320	nan
54.0ms	98×	body	1280	nan
18.0ms	110×	body	160	nan