Details

sample43.0ms

Algorithm

intervals

Results

28.0ms	133×	body	1280	valid
6.0ms	123×	body	80	valid

simplify37.0ms

Counts

1 → 1

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	8	12
1	15	8
2	29	8
3	40	8
4	47	8
5	53	8
6	56	8
done	56	8

prune7.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 7.3b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (fabs x) (/ 1.0 x))
3.4b	(- 1 (* (fabs x) (/ 1.0 x)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`associate-r`
10×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`associate-l`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `sub-neg` `flip3--` `diff-log` `associate-r/` `div-exp` `pow-prod-down` `-commutative` `flip--` `div-inv`

Counts

2 → 44

Calls

2 calls:

8.0ms	(* (fabs x) (/ 1.0 x))
4.0ms	(- 1 (* (fabs x) (/ 1.0 x)))

series12.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(* (fabs x) (/ 1.0 x))
8.0ms	(- 1 (* (fabs x) (/ 1.0 x)))

simplify38.4s

Counts

50 → 50

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	9	10
1	19	9
2	30	9
3	58	9
4	119	9
5	254	9
6	658	9
7	2404	9
done	5001	9
0	8	9
1	15	9
2	27	9
3	40	9
4	51	9
5	54	9
done	54	9
0	8	9
1	18	9
2	37	9
3	65	9
4	114	9
5	236	9
6	663	9
7	2441	9
done	5000	9
0	9	19
1	16	19
2	28	19
3	41	19
4	52	19
5	55	19
done	55	19
0	8	9
1	15	9
2	27	9
3	40	9
4	51	9
5	54	9
done	54	9
0	9	26
1	17	26
2	43	10
3	139	10
4	631	10
5	3614	10
done	5001	10
0	8	9
1	15	9
2	27	9
3	40	9
4	51	9
5	54	9
done	54	9
0	8	9
1	15	9
2	27	9
3	40	9
4	51	9
5	54	9
done	54	9
0	10	12
1	33	10
2	100	10
3	419	10
4	1742	10
done	5000	10
0	11	26
1	32	17
2	116	17
3	320	17
4	656	17
5	967	17
6	1220	17
7	1268	17
done	1268	17
0	6	7
1	13	7
2	24	7
3	34	7
4	45	7
5	48	7
done	48	7
0	9	17
1	26	15
2	75	15
3	214	15
4	578	15
5	1424	15
6	3248	15
done	5000	15
0	7	8
1	13	8
2	16	8
3	20	8
4	21	8
done	21	8
0	6	7
1	13	7
2	24	7
3	34	7
4	45	7
5	48	7
done	48	7
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	8	9
1	13	9
2	20	9
3	29	9
4	35	9
5	45	9
6	52	9
7	64	9
8	87	9
9	101	9
10	107	9
done	107	9
0	7	8
1	11	8
2	17	8
3	26	8
4	36	8
5	45	8
6	50	8
7	59	8
8	76	8
9	95	8
10	103	8
done	103	8
0	6	7
1	12	7
2	21	7
3	35	7
4	55	7
5	69	7
6	81	7
7	99	7
8	115	7
9	122	7
10	139	7
11	141	7
done	141	7
0	6	7
1	11	7
2	20	7
3	34	7
4	67	7
5	148	7
6	360	7
7	1393	7
done	5000	7
0	11	20
1	26	20
2	104	12
3	444	10
4	1694	10
done	5000	10
0	9	20
1	22	20
2	71	10
3	227	10
4	782	8
5	2441	8
done	5000	8
0	7	15
1	10	15
2	13	15
3	17	15
4	18	15
done	18	15
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	7	20
1	20	20
2	74	8
3	270	8
4	829	8
5	2521	8
done	5000	8
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	8	9
1	11	9
2	14	9
3	18	9
4	19	9
done	19	9
0	8	9
1	11	9
2	14	9
3	18	9
4	19	9
done	19	9
0	7	12
1	10	12
2	12	12
done	12	12
0	6	7
1	7	7
done	7	7
0	9	14
1	18	14
2	47	14
3	86	14
4	142	14
5	158	14
done	158	14
0	8	11
1	13	11
2	23	11
3	38	11
4	51	11
5	53	11
done	53	11
0	8	10
1	15	8
2	32	8
3	69	8
4	103	8
done	103	8
0	8	11
1	13	11
2	24	11
3	38	11
4	50	11
done	50	11
0	7	8
1	10	8
2	13	8
3	17	8
4	18	8
done	18	8
0	7	7
1	12	5
2	19	5
3	28	5
4	34	5
done	34	5
0	7	10
1	14	10
2	24	8
3	53	8
4	72	8
5	73	8
done	73	8
0	6	7
1	11	7
2	14	5
3	29	5
4	30	5
done	30	5
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	4	4
1	7	2
2	10	2
done	10	2
0	4	4
1	5	4
done	5	4
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	4	4
1	5	4
done	5	4
0	7	8
1	14	8
2	26	8
3	39	8
4	50	8
5	53	8
done	53	8
0	7	8
1	14	8
2	26	8
3	39	8
4	50	8
5	53	8
done	53	8
0	7	8
1	14	8
2	26	8
3	39	8
4	50	8
5	53	8
done	53	8
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6

prune66.0ms

Filtered

39 candidates to 50 candidates (-28.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	1	51

Merged error: 0b

Counts

51 → 1

localize6.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify0.0ms

Counts: 0 → 0

prune3.0ms

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0b

Counts

1 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	10	8
done	10	8

end0.0ms

sample1.2s

Algorithm

intervals

Results

826.0ms	3949×	body	1280	valid
193.0ms	4051×	body	80	valid

Details

sample43.0ms

simplify37.0ms

prune7.0ms

localize6.0ms

rewrite13.0ms

series12.0ms

simplify38.4s

prune66.0ms

localize6.0ms

rewrite0.0ms

series0.0ms

simplify0.0ms

prune3.0ms

simplify1.0ms

end0.0ms

sample1.2s

Profiling