Details

sample30.0ms

Algorithm

intervals

Results

12.0ms

310×

body

valid

simplify25.9s

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	5	122
1	11	97
2	23	97
3	32	97
4	40	97
5	65	97
6	110	97
7	177	97
8	242	97
9	313	97
10	380	97
11	442	97
12	498	97
13	554	97
14	610	97
15	668	97
16	724	97
17	781	97
18	837	97
19	892	97
20	948	97
21	1005	97
22	1061	97
23	1116	97
24	1172	97
25	1227	97
26	1283	97
27	1339	97
28	1395	97
29	1451	97
30	1507	97
31	1562	97
32	1618	97
33	1673	97
34	1729	97
35	1785	97
36	1841	97
37	1897	97
38	1953	97
39	2009	97
40	2065	97
41	2122	97
42	2178	97
43	2233	97
44	2289	97
45	2344	97
46	2400	97
47	2456	97
48	2512	97
49	2567	97
50	2623	97
51	2678	97
52	2734	97
53	2790	97
54	2846	97
55	2901	97
56	2957	97
57	3013	97
58	3069	97
59	3124	97
60	3180	97
61	3237	97
62	3293	97
63	3348	97
64	3404	97
65	3459	97
66	3515	97
67	3572	97
68	3628	97
69	3683	97
70	3739	97
71	3794	97
72	3850	97
73	3906	97
74	3962	97
75	4017	97
76	4073	97
77	4129	97
78	4185	97
79	4241	97
80	4297	97
81	4353	97
82	4409	97
83	4466	97
84	4522	97
85	4578	97
86	4634	97
87	4689	97
88	4745	97
89	4801	97
90	4859	97
91	4917	97
92	4990	97
done	5000	97

prune15.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ y (fma x y x))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 18

Calls

1 calls:

5.0ms

(+ y (fma x y x))

series19.0ms

Counts

1 → 3

Calls

1 calls:

19.0ms

(+ y (fma x y x))

simplify2.0s

Counts

21 → 21

Iterations

Useful iterations: 2 (38.0ms)

Iter	Nodes	Cost
0	30	3364
1	82	2968
2	230	2843
3	922	2843
done	5000	2843

prune117.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize7.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
done	0	0

prune8.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

Merged error: 0b

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	97
1	5	97
done	5	97

end0.0ms

sample560.0ms

Algorithm

intervals

Results

293.0ms	9139×	body	80	valid
0.0ms	3×	body	1280	valid
0.0ms	1×	body	320	valid