Details

sample85.0ms

Algorithm

intervals

Results

43.0ms	818×	body	80	nan
19.0ms	256×	body	80	valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	13
1	12	13
2	16	13
done	16	13

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

localize10.0ms

Local error

Found 1 expressions with local error:

0.0b	(sqrt (- 1.0 (* x x)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

4×	`add-sqr-sqrt` `sqrt-prod`
2×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-div`
1×	`add-exp-log` `rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `add-cbrt-cube` `flip--` `add-log-exp` `difference-of-squares`

Counts

1 → 16

Calls

1 calls:

3.0ms

(sqrt (- 1.0 (* x x)))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(sqrt (- 1.0 (* x x)))

simplify16.2s

Counts

19 → 19

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	12	7
done	12	7
0	6	7
1	8	7
2	12	7
done	12	7
0	7	15
1	9	15
2	13	15
done	13	15
0	6	7
1	8	7
2	12	7
done	12	7
0	7	20
1	10	12
2	23	8
3	41	8
4	54	8
5	68	8
6	89	8
7	151	8
8	361	8
9	1283	8
done	5000	8
0	7	14
1	10	7
2	14	7
done	14	7
0	6	7
1	8	7
2	12	7
done	12	7
0	6	7
1	8	7
2	12	7
done	12	7
0	6	7
1	8	7
2	12	7
done	12	7
0	2	2
1	4	1
done	4	1
0	5	6
1	7	6
2	11	6
done	11	6
0	5	5
1	6	5
done	6	5
0	5	5
1	7	5
2	8	5
done	8	5
0	8	10
1	25	10
2	68	8
3	166	8
4	399	8
5	1315	8
done	5001	8
0	9	18
1	22	14
2	40	14
3	54	12
4	70	12
5	96	12
6	176	12
7	411	12
8	1378	12
done	5000	12
0	7	12
1	16	12
2	31	10
3	67	8
4	126	8
5	254	8
6	510	8
7	1333	8
done	5001	8
0	5	6
1	6	6
done	6	6
0	3	3
1	6	1
done	6	1
0	6	7
1	8	7
2	12	7
done	12	7
0	6	7
1	8	7
2	12	7
done	12	7
0	17	22
1	43	22
2	120	22
3	365	22
4	1520	19
done	5001	19
0	17	29
1	50	26
2	143	22
3	508	21
4	2446	20
done	5000	20
0	17	29
1	50	26
2	137	22
3	466	21
4	1790	21
done	5001	21

prune47.0ms

Filtered

16 candidates to 19 candidates (-18.8%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0b

Counts

20 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	10	13
done	10	13

end0.0ms

sample2.3s

Algorithm

intervals

Results

1.3s	24019×	body	80	nan
461.0ms	8000×	body	80	valid

Details

sample85.0ms

simplify6.0ms

prune3.0ms

localize10.0ms

rewrite4.0ms

series6.0ms

simplify16.2s

prune47.0ms

simplify1.0ms

end0.0ms

sample2.3s

Profiling