Details

sample80.0ms

Algorithm

intervals

Results

24.0ms	818×	body	80	nan
11.0ms	256×	body	80	valid

simplify12.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	9	7
done	9	7

prune4.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (/ 1.0 x) 1.0)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt`
3×	`*-un-lft-identity` `add-log-exp`
2×	`difference-of-squares`
1×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `times-frac` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--`

Counts

1 → 15

Calls

1 calls:

10.0ms

(- (/ 1.0 x) 1.0)

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

(- (/ 1.0 x) 1.0)

simplify10.1s

Counts

18 → 18

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	8	6
2	10	6
3	13	6
4	16	6
5	22	6
6	26	6
7	42	6
8	46	6
9	52	6
10	61	6
11	81	6
12	102	6
13	115	6
done	115	6
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	10	6
2	13	6
3	16	6
4	22	6
5	26	6
6	42	6
7	46	6
8	52	6
9	61	6
10	82	6
11	103	6
12	111	6
done	111	6
0	6	13
1	8	13
2	9	13
done	9	13
0	5	6
1	7	6
2	8	6
done	8	6
0	6	17
1	9	17
2	24	7
3	71	7
4	201	7
5	582	7
6	1999	7
done	5000	7
0	5	6
1	7	6
2	8	6
done	8	6
0	5	6
1	7	6
2	8	6
done	8	6
0	7	9
1	24	9
2	65	9
3	171	9
4	525	9
5	1956	9
done	5000	9
0	8	17
1	17	15
2	32	15
3	41	13
4	57	13
5	70	13
6	72	13
7	77	11
8	79	11
done	79	11
0	2	2
done	2	2
0	6	11
1	15	11
2	27	11
3	49	11
4	82	9
5	137	9
6	226	9
7	490	9
8	2102	9
done	5001	9
0	4	5
1	5	5
done	5	5
0	6	7
1	7	7
done	7	7
0	6	7
1	8	7
2	9	7
done	9	7
0	6	8
1	7	8
done	7	8
0	6	8
1	8	8
2	9	8
done	9	8
0	4	5
1	6	5
2	7	5
done	7	5
0	2	2
done	2	2
0	6	7
1	13	7
2	17	5
3	18	5
4	23	5
5	25	5
done	25	5
0	6	7
1	13	7
2	17	5
3	18	5
4	23	5
5	25	5
done	25	5
0	6	7
1	13	7
2	17	5
3	18	5
4	23	5
5	25	5
done	25	5

prune30.0ms

Filtered

12 candidates to 18 candidates (-50.0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	18	0	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	1	19

Merged error: 0b

Counts

19 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
done	6	7

end0.0ms

sample1.5s

Algorithm

intervals

Results

690.0ms	24019×	body	80	nan
282.0ms	8000×	body	80	valid

Details

sample80.0ms

simplify12.0ms

prune4.0ms

localize8.0ms

rewrite12.0ms

series13.0ms

simplify10.1s

prune30.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling