Details

sample43.0ms

Algorithm

intervals

Results

29.0ms

296×

body

valid

simplify29.7s

Counts

1 → 1

Iterations

Iter	Nodes
done	5000
257	4986
256	4970
255	4954
254	4938
253	4922
252	4906
251	4890
250	4874
249	4858
248	4842
247	4826
246	4810
245	4794
244	4778
243	4762
242	4746
241	4730
240	4714
239	4698
238	4682
237	4666
236	4650
235	4634
234	4618
233	4602
232	4586
231	4570
230	4554
229	4538
228	4522
227	4506
226	4490
225	4474
224	4458
223	4442
222	4426
221	4410
220	4394
219	4378
218	4362
217	4346
216	4330
215	4314
214	4298
213	4282
212	4266
211	4250
210	4234
209	4218
208	4202
207	4186
206	4170
205	4154
204	4138
203	4122
202	4106
201	4090
200	4074
199	4058
198	4042
197	4026
196	4010
195	3994
194	3978
193	3962
192	3946
191	3930
190	3914
189	3898
188	3882
187	3866
186	3850
185	3834
184	3818
183	3802
182	3786
181	3770
180	3754
179	3738
178	3722
177	3706
176	3690
175	3674
174	3658
173	3642
172	3626
171	3610
170	3594
169	3578
168	3562
167	3546
166	3530
165	3514
164	3498
163	3482
162	3466
161	3450
160	3434
159	3418
158	3402
157	3386
156	3370
155	3354
154	3338
153	3322
152	3306
151	3290
150	3274
149	3258
148	3242
147	3226
146	3210
145	3194
144	3178
143	3162
142	3146
141	3130
140	3114
139	3098
138	3082
137	3066
136	3050
135	3034
134	3018
133	3002
132	2986
131	2970
130	2954
129	2938
128	2922
127	2906
126	2890
125	2874
124	2858
123	2842
122	2826
121	2810
120	2794
119	2778
118	2762
117	2746
116	2730
115	2714
114	2698
113	2682
112	2666
111	2650
110	2634
109	2618
108	2602
107	2586
106	2570
105	2554
104	2538
103	2522
102	2506
101	2490
100	2474
99	2458
98	2442
97	2426
96	2410
95	2394
94	2378
93	2362
92	2346
91	2330
90	2314
89	2298
88	2282
87	2266
86	2250
85	2234
84	2218
83	2202
82	2186
81	2170
80	2154
79	2138
78	2122
77	2106
76	2090
75	2074
74	2058
73	2042
72	2026
71	2010
70	1994
69	1978
68	1962
67	1946
66	1930
65	1914
64	1898
63	1882
62	1866
61	1850
60	1834
59	1818
58	1802
57	1786
56	1770
55	1754
54	1738
53	1722
52	1706
51	1690
50	1674
49	1658
48	1642
47	1626
46	1610
45	1594
44	1578
43	1562
42	1546
41	1530
40	1514
39	1498
38	1482
37	1466
36	1450
35	1434
34	1418
33	1402
32	1386
31	1370
30	1354
29	1338
28	1322
27	1306
26	1290
25	1274
24	1258
23	1242
22	1226
21	1210
20	1194
19	1178
18	1162
17	1146
16	1130
15	1114
14	1098
13	1082
12	1045
11	968
10	779
9	502
8	293
7	238
6	211
5	183
4	129
3	79
2	50
1	25
0	13

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize35.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
0.0b	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

rewrite94.0ms

Algorithm

rewrite-expression-head

Rules

14×	`prod-diff`
9×	`associate-+l+` `*-un-lft-identity` `add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`times-frac`
3×	`fma-def`
2×	`expm1-log1p-u` `pow1` `sum-log` `sub-neg` `add-cbrt-cube` `diff-log` `add-exp-log` `insert-posit16` `log1p-expm1-u` `div-inv`
1×	`+-commutative` `flip3-+` `flip3--` `fma-neg` `associate-*l/` `frac-sub` `associate-+l-` `flip-+` `flip--` `distribute-lft-out`

Counts

2 → 53

Calls

2 calls:

72.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
21.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

series189.0ms

Counts

2 → 6

Calls

2 calls:

83.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)
106.0ms	(- (* (/ 1.0 8.0) x) (/ (* y z) 2.0))

simplify2.6s

Counts

59 → 59

Iterations

Iter	Nodes
done	5000
3	3951
2	1021
1	341
0	130

prune378.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize59.0ms

Local error

Found 3 expressions with local error:

0.0b	(fma (/ 1.0 8.0) x (- (* (/ z 2.0) (/ y 1))))
0.0b	(+ (fma (/ 1.0 8.0) x (- (* (/ z 2.0) (/ y 1)))) (+ (fma (- (/ z 2.0)) (/ y 1) (* (/ z 2.0) (/ y 1))) t))
52.4b	(fma (- (/ z 2.0)) (/ y 1) (* (/ z 2.0) (/ y 1)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

9×	`*-un-lft-identity`
8×	`add-log-exp`
4×	`add-sqr-sqrt` `add-cube-cbrt`
3×	`expm1-log1p-u` `pow1` `sum-log` `fma-def` `add-cbrt-cube` `add-exp-log` `fma-udef` `insert-posit16` `log1p-expm1-u` `distribute-lft-out`
1×	`+-commutative` `associate-+l+` `associate-+r+` `flip3-+` `flip-+`

Counts

3 → 44

Calls

3 calls:

0.0ms	(fma (/ 1.0 8.0) x (- (* (/ z 2.0) (/ y 1))))
23.0ms	(+ (fma (/ 1.0 8.0) x (- (* (/ z 2.0) (/ y 1)))) (+ (fma (- (/ z 2.0)) (/ y 1) (* (/ z 2.0) (/ y 1))) t))
1.0ms	(fma (- (/ z 2.0)) (/ y 1) (* (/ z 2.0) (/ y 1)))

series265.0ms

Counts

3 → 9

Calls

3 calls:

88.0ms	(fma (/ 1.0 8.0) x (- (* (/ z 2.0) (/ y 1))))
112.0ms	(+ (fma (/ 1.0 8.0) x (- (* (/ z 2.0) (/ y 1)))) (+ (fma (- (/ z 2.0)) (/ y 1) (* (/ z 2.0) (/ y 1))) t))
66.0ms	(fma (- (/ z 2.0)) (/ y 1) (* (/ z 2.0) (/ y 1)))

simplify2.5s

Counts

53 → 53

Iterations

Iter	Nodes
done	5000
3	2944
2	531
1	170
0	76

prune425.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify14.0ms

Iterations

Iter	Nodes
done	31
3	31
2	30
1	28
0	18

end0.0ms

sample2.0s

Algorithm

intervals

Results

1.6s	9160×	body	80	valid
1.0ms	1×	body	2560	valid
0.0ms	1×	body	640	valid