Details

sample17.0ms

Algorithm

intervals

Results

8.0ms

256×

body

valid

simplify11.8s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	123
1	12	123
2	19	123
3	28	123
4	38	123
5	54	123
6	93	123
7	143	123
8	183	123
9	235	123
10	275	123
11	327	123
12	375	123
13	459	123
14	503	123
15	570	123
16	596	123
17	633	123
18	670	123
19	718	123
20	757	123
21	804	123
22	836	123
23	881	123
24	914	123
25	961	123
26	999	123
27	1041	123
28	1074	123
29	1127	123
30	1159	123
31	1201	123
32	1238	123
33	1285	123
34	1317	123
35	1364	123
36	1397	123
37	1444	123
38	1482	123
39	1524	123
40	1557	123
41	1610	123
42	1642	123
43	1684	123
44	1721	123
45	1768	123
46	1800	123
47	1847	123
48	1880	123
49	1927	123
50	1965	123
51	2007	123
52	2040	123
53	2093	123
54	2125	123
55	2167	123
56	2204	123
57	2251	123
58	2283	123
59	2330	123
60	2363	123
61	2410	123
62	2452	123
63	2494	123
64	2527	123
65	2580	123
66	2612	123
67	2654	123
68	2691	123
69	2738	123
70	2770	123
71	2819	123
72	2852	123
73	2899	123
74	2937	123
75	2979	123
76	3012	123
77	3065	123
78	3097	123
79	3139	123
80	3178	123
81	3225	123
82	3257	123
83	3304	123
84	3337	123
85	3384	123
86	3426	123
87	3468	123
88	3501	123
89	3554	123
90	3586	123
91	3628	123
92	3665	123
93	3712	123
94	3744	123
95	3789	123
96	3822	123
97	3869	123
98	3911	123
99	3953	123
100	3986	123
101	4039	123
102	4071	123
103	4113	123
104	4150	123
105	4197	123
106	4229	123
107	4278	123
108	4311	123
109	4358	123
110	4396	123
111	4438	123
112	4471	123
113	4524	123
114	4556	123
115	4598	123
116	4637	123
117	4684	123
118	4716	123
119	4765	123
120	4798	123
121	4845	123
122	4883	123
123	4925	123
124	4958	123
done	5000	123

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ (- y x) 2.0))

rewrite24.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` `div-sub` `add-exp-log` `flip-+` `log1p-expm1-u` `distribute-lft-out`

Counts

1 → 18

Calls

1 calls:

24.0ms

(+ x (/ (- y x) 2.0))

series57.0ms

Counts

1 → 3

Calls

1 calls:

57.0ms

(+ x (/ (- y x) 2.0))

simplify3.6s

Counts

21 → 21

Iterations

Useful iterations: 2 (104.0ms)

Iter	Nodes	Cost
0	35	3758
1	98	3242
2	269	3217
3	813	3217
4	4105	3217
done	5000	3217

prune112.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0b

localize11.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

prune4.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	5	83
1	7	83
done	7	83

end0.0ms

sample567.0ms

Algorithm

intervals

Results

336.0ms

8000×

body

valid