Details

sample38.0ms

Algorithm

intervals

Results

18.0ms

270×

body

valid

simplify37.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	15
1	19	15
2	36	15
3	48	15
4	66	15
5	72	15
done	72	15

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: 25.2b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.7b	(- (* b c) (* a d))
24.8b	(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/r` `associate-/l`
2×	`pow1` `flip3--` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-sub` `div-exp` `clear-num` `flip-+` `div-inv`

Counts

2 → 44

Calls

2 calls:

4.0ms	(- (* b c) (* a d))
14.0ms	(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

series45.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(- (* b c) (* a d))
32.0ms	(/ (- (* b c) (* a d)) (+ (* c c) (* d d)))

simplify32.2s

Counts

50 → 50

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	17
1	20	17
2	28	17
done	28	17
0	12	16
1	23	16
2	42	16
3	55	16
4	73	16
5	79	16
done	79	16
0	12	16
1	20	16
2	40	16
3	54	16
4	83	16
5	122	16
6	220	16
7	841	16
8	4981	16
done	5000	16
0	15	47
1	41	47
2	145	19
3	482	17
4	1610	17
done	5000	17
0	13	33
1	21	33
2	38	33
3	50	33
4	68	33
5	74	33
done	74	33
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	13	47
1	28	47
2	73	17
3	257	17
4	1112	17
done	5000	17
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	8	8
1	12	8
2	22	8
3	38	8
4	49	7
done	49	7
0	6	8
1	10	8
2	18	8
3	19	8
done	19	8
0	8	11
1	12	11
2	16	11
3	19	11
4	20	11
done	20	11
0	8	11
1	12	11
2	16	11
3	19	11
4	20	11
done	20	11
0	15	35
1	26	35
2	42	35
3	48	35
done	48	35
0	13	17
1	18	17
2	25	17
done	25	17
0	14	26
1	21	26
2	30	26
3	31	26
done	31	26
0	13	17
1	18	17
2	25	17
done	25	17
0	11	19
1	19	17
2	32	17
3	37	17
done	37	17
0	12	16
1	17	16
2	24	16
done	24	16
0	14	26
1	21	26
2	28	26
done	28	26
0	13	17
1	18	17
2	25	17
done	25	17
0	13	17
1	18	17
2	25	17
done	25	17
0	13	17
1	18	17
2	25	17
done	25	17
0	10	10
1	16	8
2	25	8
done	25	8
0	12	16
1	17	16
2	24	16
done	24	16
0	9	19
1	14	19
done	14	19
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	8	10
1	11	10
done	11	10
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	2	3
1	4	1
done	4	1
0	11	15
1	19	15
2	36	15
3	48	15
4	66	15
5	72	15
done	72	15
0	7	9
1	10	9
done	10	9
0	11	15
1	16	15
2	23	15
done	23	15
0	13	25
1	23	25
2	53	25
3	102	25
4	157	25
5	183	25
6	191	25
done	191	25
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	9	9
1	18	7
2	37	7
3	56	7
4	92	7
5	100	7
6	106	7
done	106	7
0	12	16
1	17	16
2	24	16
done	24	16
0	12	16
1	17	16
2	24	16
done	24	16
0	11	15
1	16	15
2	23	15
done	23	15
0	14	19
1	39	19
2	93	15
3	160	15
4	318	15
5	751	15
6	2329	15
done	5000	15
0	13	23
1	33	23
2	88	19
3	225	15
4	681	15
5	1912	15
6	4638	15
done	5000	15
0	15	31
1	48	27
2	162	27
3	533	27
4	1457	27
5	2938	27
6	4330	27
done	5000	27
0	11	15
1	22	15
2	63	15
3	159	15
4	234	15
5	277	15
6	306	15
7	347	15
8	440	15
9	730	15
10	1776	15
done	5000	15
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune108.0ms

Filtered

41 candidates to 50 candidates (-22.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	41	9	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	9	51

Merged error: 24.5b

Counts

51 → 9

localize13.0ms

Local error

Found 4 expressions with local error:

0.7b	(- (* b c) (* a d))
16.2b	(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
29.5b	(sqrt (+ (* c c) (* d d)))
29.5b	(sqrt (+ (* c c) (* d d)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac` `sqrt-prod`
6×	`pow1` `add-exp-log` `sqrt-div` `associate-/r*` `add-cbrt-cube` `add-log-exp`
3×	`flip3-+` `flip-+` `associate-/l*`
2×	`rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

4 → 86

Calls

4 calls:

4.0ms	(- (* b c) (* a d))
10.0ms	(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
7.0ms	(sqrt (+ (* c c) (* d d)))
4.0ms	(sqrt (+ (* c c) (* d d)))

series65.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (* b c) (* a d))
40.0ms	(/ (- (* b c) (* a d)) (sqrt (+ (* c c) (* d d))))
6.0ms	(sqrt (+ (* c c) (* d d)))
7.0ms	(sqrt (+ (* c c) (* d d)))

simplify54.9s

Counts

98 → 98

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	14	18
1	21	18
2	29	18
done	29	18
0	13	17
1	24	17
2	43	17
3	56	17
4	74	17
5	80	17
done	80	17
0	13	17
1	21	17
2	41	17
3	55	17
4	84	17
5	123	17
6	221	17
7	846	17
8	4970	17
done	5000	17
0	16	50
1	30	40
2	93	20
3	292	18
4	1041	18
5	4835	18
done	5000	18
0	14	35
1	22	35
2	39	35
3	51	35
4	69	35
5	75	35
done	75	35
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	14	50
1	29	50
2	74	18
3	258	18
4	1097	18
done	5000	18
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	8	8
1	12	8
2	22	8
3	38	8
4	49	7
done	49	7
0	7	9
1	8	9
done	8	9
0	9	12
1	13	12
2	17	12
3	20	12
4	21	12
done	21	12
0	9	12
1	13	12
2	17	12
3	20	12
4	21	12
done	21	12
0	16	37
1	27	37
2	43	37
3	49	37
done	49	37
0	14	18
1	19	18
2	26	18
done	26	18
0	16	36
1	24	27
2	33	27
3	34	27
done	34	27
0	14	18
1	19	18
2	26	18
done	26	18
0	15	27
1	22	27
2	31	27
3	32	27
done	32	27
0	14	18
1	19	18
2	26	18
done	26	18
0	12	20
1	20	19
2	29	19
3	30	17
4	37	17
done	37	17
0	13	17
1	18	17
2	25	17
done	25	17
0	15	27
1	22	27
2	31	27
3	32	27
done	32	27
0	14	18
1	19	18
2	26	18
done	26	18
0	11	19
1	19	17
2	32	17
3	37	17
done	37	17
0	13	17
1	18	17
2	25	17
done	25	17
0	15	28
1	22	28
2	29	28
done	29	28
0	14	18
1	19	18
2	26	18
done	26	18
0	15	27
1	21	18
2	28	18
done	28	18
0	14	18
1	19	18
2	26	18
done	26	18
0	14	18
1	19	18
2	26	18
done	26	18
0	14	18
1	19	18
2	26	18
done	26	18
0	11	11
1	17	10
2	24	10
done	24	10
0	13	17
1	18	17
2	25	17
done	25	17
0	14	18
1	19	18
2	26	18
done	26	18
0	14	18
1	19	18
2	26	18
done	26	18
0	10	10
1	16	8
2	25	8
done	25	8
0	13	17
1	18	17
2	25	17
done	25	17
0	10	21
1	15	21
done	15	21
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	10	20
1	14	11
done	14	11
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	9	11
1	12	11
done	12	11
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	3	4
1	5	3
done	5	3
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	9	11
1	12	11
done	12	11
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	2	3
1	4	1
done	4	1
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	8	10
1	11	10
done	11	10
0	12	16
1	17	16
2	24	16
done	24	16
0	14	27
1	24	27
2	54	27
3	103	27
4	158	27
5	183	27
6	191	27
done	191	27
0	14	26
1	23	17
2	40	17
3	52	17
4	70	17
5	76	17
done	76	17
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	10	10
1	19	9
2	36	9
3	48	7
4	68	7
5	86	7
6	110	7
done	110	7
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	9	9
1	18	7
2	37	7
3	56	7
4	92	7
5	100	7
6	106	7
done	106	7
0	13	17
1	18	17
2	25	17
done	25	17
0	13	17
1	18	17
2	25	17
done	25	17
0	12	16
1	17	16
2	24	16
done	24	16
0	15	20
1	40	20
2	94	16
3	161	16
4	317	16
5	763	16
6	2398	16
done	5000	16
0	14	24
1	34	24
2	71	20
3	129	16
4	272	16
5	639	16
6	1552	16
done	5001	16
0	16	32
1	49	28
2	139	28
3	311	28
4	563	28
5	635	28
6	639	28
done	639	28
0	12	16
1	23	16
2	40	16
done	40	16
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune145.0ms

Filtered

79 candidates to 98 candidates (-24.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	94	4	98
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	96	11	107

Merged error: 23.0b

Counts

107 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.7b	(- (* b c) (* a d))
16.3b	(/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
29.5b	(sqrt (+ (* c c) (* d d)))
29.5b	(sqrt (+ (* c c) (* d d)))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
18×	`times-frac` `sqrt-prod`
6×	`pow1` `add-exp-log` `sqrt-div` `add-cbrt-cube` `associate-/l*` `add-log-exp`
3×	`flip3-+` `associate-/r*` `flip-+`
2×	`rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `clear-num` `div-inv`

Counts

4 → 85

Calls

4 calls:

4.0ms	(- (* b c) (* a d))
10.0ms	(/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
5.0ms	(sqrt (+ (* c c) (* d d)))
6.0ms	(sqrt (+ (* c c) (* d d)))

series53.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (* b c) (* a d))
27.0ms	(/ (sqrt (+ (* c c) (* d d))) (- (* b c) (* a d)))
6.0ms	(sqrt (+ (* c c) (* d d)))
7.0ms	(sqrt (+ (* c c) (* d d)))

simplify1.0min

Counts

97 → 97

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	8	19
1	9	19
done	9	19
0	7	9
1	8	9
done	8	9
0	8	26
1	10	16
2	21	10
3	34	10
4	42	10
5	52	10
6	73	10
7	134	10
8	350	10
9	1295	10
done	5000	10
0	8	18
1	10	9
done	10	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	2	2
1	4	1
done	4	1
0	6	8
1	7	8
done	7	8
0	9	12
1	27	12
2	64	8
3	119	8
4	261	8
5	697	8
6	2312	8
done	5000	8
0	10	24
1	32	20
2	84	18
3	177	16
4	309	16
5	723	16
6	1972	16
done	5000	16
0	8	16
1	21	16
2	44	12
3	90	8
4	215	8
5	576	8
6	1483	8
done	5001	8
0	6	8
1	11	8
2	18	8
3	33	8
4	58	8
5	99	8
6	157	8
7	325	8
8	1570	8
done	5000	8
0	3	3
1	6	1
done	6	1
0	7	9
1	8	9
done	8	9
0	7	9
1	8	9
done	8	9
0	14	18
1	21	18
2	29	18
done	29	18
0	13	17
1	21	17
2	30	17
3	31	17
done	31	17
0	13	17
1	18	17
2	25	17
done	25	17
0	16	50
1	30	40
2	90	20
3	254	18
4	782	18
5	2788	18
done	5000	18
0	14	35
1	19	35
2	26	35
done	26	35
0	13	17
1	18	17
2	25	17
done	25	17
0	14	50
1	26	50
2	49	18
3	93	18
4	214	18
5	613	18
6	2110	18
done	5000	18
0	13	17
1	18	17
2	25	17
done	25	17
0	13	17
1	18	17
2	25	17
done	25	17
0	7	9
1	8	9
done	8	9
0	8	8
1	12	8
2	22	8
3	38	8
4	49	7
done	49	7
0	16	37
1	27	37
2	43	37
3	49	37
done	49	37
0	14	18
1	19	18
2	26	18
done	26	18
0	15	28
1	22	28
2	31	28
3	32	28
done	32	28
0	14	18
1	19	18
2	26	18
done	26	18
0	10	21
1	15	19
2	21	19
3	26	19
done	26	19
0	13	17
1	18	17
2	25	17
done	25	17
0	16	36
1	24	27
2	31	27
done	31	27
0	14	18
1	19	18
2	26	18
done	26	18
0	15	27
1	21	18
2	28	18
done	28	18
0	14	18
1	19	18
2	26	18
done	26	18
0	10	20
1	14	9
2	16	9
done	16	9
0	13	17
1	18	17
2	25	17
done	25	17
0	15	27
1	22	27
2	29	27
done	29	27
0	14	18
1	19	18
2	26	18
done	26	18
0	14	18
1	19	18
2	26	18
done	26	18
0	14	18
1	19	18
2	26	18
done	26	18
0	9	11
1	12	9
2	14	9
done	14	9
0	13	17
1	18	17
2	25	17
done	25	17
0	12	20
1	20	19
2	27	19
done	27	19
0	13	17
1	18	17
2	25	17
done	25	17
0	11	11
1	17	10
2	24	10
done	24	10
0	13	17
1	18	17
2	25	17
done	25	17
0	3	4
1	5	1
done	5	1
0	12	16
1	17	16
2	24	16
done	24	16
0	15	27
1	22	27
2	29	27
done	29	27
0	14	18
1	19	18
2	26	18
done	26	18
0	14	18
1	19	18
2	26	18
done	26	18
0	14	18
1	19	18
2	26	18
done	26	18
0	9	11
1	12	9
2	14	9
done	14	9
0	13	17
1	18	17
2	25	17
done	25	17
0	11	19
1	19	19
2	26	19
done	26	19
0	13	17
1	18	17
2	25	17
done	25	17
0	10	10
1	16	10
2	23	10
done	23	10
0	13	17
1	18	17
2	25	17
done	25	17
0	2	3
1	4	1
done	4	1
0	12	16
1	17	16
2	24	16
done	24	16
0	9	9
1	15	9
2	22	9
done	22	9
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	14	26
1	21	26
2	28	26
done	28	26
0	13	17
1	18	17
2	25	17
done	25	17
0	8	10
1	11	8
2	13	8
done	13	8
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	13	17
1	21	17
2	38	17
3	50	17
4	68	17
5	74	17
done	74	17
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	15	20
1	39	20
2	121	20
3	378	20
4	919	20
5	2391	20
done	5000	20
0	14	24
1	34	24
2	77	24
3	137	24
4	203	24
5	336	24
6	518	24
7	884	24
8	2702	24
done	5000	24
0	16	32
1	43	28
2	105	26
3	227	24
4	370	24
5	791	24
6	2038	24
done	5000	24
0	12	16
1	22	16
2	41	16
3	85	16
4	126	16
5	175	16
6	247	16
7	415	16
8	1675	16
done	5001	16
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune130.0ms

Filtered

75 candidates to 97 candidates (-29.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	97	11	108

Merged error: 23.0b

Counts

108 → 11

localize11.0ms

Local error

Found 3 expressions with local error:

0.7b	(- (* b c) (* a d))
0.7b	(/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d))))
24.5b	(/ (+ (* c c) (* d d)) (- (* b c) (* a d)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
55×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`associate-/r*`
16×	`add-exp-log`
11×	`associate-/r/`
10×	`add-cbrt-cube`
8×	`div-exp`
6×	`flip3--` `flip--` `div-inv` `associate-/l*`
5×	`add-log-exp`
4×	`pow1` `cbrt-undiv`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/`
1×	`sub-neg` `pow-flip` `flip3-+` `diff-log` `flip-+` `inv-pow`

Counts

3 → 127

Calls

3 calls:

8.0ms	(- (* b c) (* a d))
11.0ms	(/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d))))
10.0ms	(/ (+ (* c c) (* d d)) (- (* b c) (* a d)))

series63.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(- (* b c) (* a d))
31.0ms	(/ 1 (/ (+ (* c c) (* d d)) (- (* b c) (* a d))))
21.0ms	(/ (+ (* c c) (* d d)) (- (* b c) (* a d)))

simplify1.3min

Counts

136 → 136

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	17
1	20	17
2	28	17
done	28	17
0	12	16
1	20	16
2	29	16
3	30	16
done	30	16
0	12	16
1	17	16
2	24	16
done	24	16
0	15	47
1	41	47
2	142	19
3	460	17
4	1507	17
done	5000	17
0	13	33
1	18	33
2	25	33
done	25	33
0	12	16
1	17	16
2	24	16
done	24	16
0	13	47
1	25	47
2	64	17
3	162	17
4	448	17
5	1382	17
6	4593	17
done	5000	17
0	12	16
1	17	16
2	24	16
done	24	16
0	12	16
1	17	16
2	24	16
done	24	16
0	6	8
1	10	8
2	18	8
3	19	8
done	19	8
0	8	8
1	12	8
2	22	8
3	38	8
4	49	7
done	49	7
0	15	35
1	26	35
2	42	35
3	48	35
done	48	35
0	13	17
1	18	17
2	25	17
done	25	17
0	14	26
1	21	26
2	30	26
3	31	26
done	31	26
0	13	17
1	18	17
2	25	17
done	25	17
0	9	19
1	14	17
2	20	17
3	25	17
done	25	17
0	12	16
1	17	16
2	24	16
done	24	16
0	14	26
1	21	26
2	28	26
done	28	26
0	13	17
1	18	17
2	25	17
done	25	17
0	13	17
1	18	17
2	25	17
done	25	17
0	13	17
1	18	17
2	25	17
done	25	17
0	8	10
1	11	8
2	13	8
done	13	8
0	12	16
1	17	16
2	24	16
done	24	16
0	11	19
1	19	19
2	26	19
done	26	19
0	12	16
1	17	16
2	24	16
done	24	16
0	10	10
1	16	10
2	23	10
done	23	10
0	12	16
1	17	16
2	24	16
done	24	16
0	2	3
1	4	1
done	4	1
0	11	15
1	16	15
2	23	15
done	23	15
0	9	9
1	15	9
2	22	9
done	22	9
0	11	15
1	19	15
2	36	15
3	48	15
4	66	15
5	72	15
done	72	15
0	13	25
1	20	25
2	27	25
done	27	25
0	12	16
1	17	16
2	24	16
done	24	16
0	7	9
1	10	7
2	12	7
done	12	7
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	12	16
1	20	16
2	37	16
3	49	16
4	67	16
5	73	16
done	73	16
0	11	15
1	19	15
2	36	15
3	48	15
4	66	15
5	72	15
done	72	15
0	14	19
1	38	19
2	120	19
3	377	19
4	906	19
5	2375	19
done	5001	19
0	13	23
1	33	23
2	76	23
3	136	23
4	201	23
5	338	23
6	510	23
7	882	23
8	2699	23
done	5001	23
0	15	31
1	48	27
2	145	25
3	555	23
4	2075	23
done	5000	23
0	11	15
1	21	15
2	50	15
3	169	15
4	682	15
5	1784	15
6	4651	15
done	5000	15
0	2	2
1	5	1
done	5	1
0	14	18
1	21	18
2	32	18
3	34	18
4	35	17
done	35	17
0	13	17
1	21	17
2	30	17
3	34	17
4	36	17
5	37	17
done	37	17
0	15	19
1	26	18
2	46	18
3	65	17
4	94	17
5	121	17
6	129	17
7	145	17
done	145	17
0	14	18
1	24	17
2	39	17
3	52	17
4	78	17
5	108	17
6	116	17
7	122	17
8	139	17
done	139	17
0	16	20
1	29	19
2	44	18
3	69	17
4	99	17
5	125	17
6	134	17
7	148	17
done	148	17
0	15	19
1	27	18
2	39	17
3	56	17
4	82	17
5	112	17
6	118	17
7	124	17
8	138	17
done	138	17
0	14	18
1	27	17
2	49	17
3	104	16
4	213	16
5	459	16
6	536	16
7	592	16
8	607	16
done	607	16
0	14	18
1	23	18
2	41	18
3	92	16
4	238	16
5	603	16
6	1376	16
done	5000	16
0	19	53
1	52	49
2	177	21
3	674	19
4	2791	19
done	5000	19
0	17	53
1	38	49
2	97	19
3	317	19
4	1174	19
5	4847	17
done	5000	17
0	15	37
1	24	37
2	40	37
3	82	33
4	179	33
5	403	33
6	464	33
7	519	33
8	526	33
done	526	33
0	14	18
1	23	18
2	39	18
3	81	16
4	172	16
5	396	16
6	456	16
7	511	16
8	516	16
done	516	16
0	15	53
1	31	53
2	82	19
3	354	17
4	1401	17
done	5000	17
0	14	18
1	23	18
2	39	18
3	81	16
4	172	16
5	396	16
6	456	16
7	511	16
8	516	16
done	516	16
0	14	18
1	23	18
2	39	18
3	81	16
4	172	16
5	396	16
6	456	16
7	511	16
8	516	16
done	516	16
0	2	2
1	5	1
done	5	1
0	12	16
1	19	16
2	30	16
3	37	16
4	43	16
5	57	16
6	83	16
7	131	16
8	185	16
9	246	16
10	498	16
11	2341	16
done	5000	16
0	17	39
1	30	37
2	46	35
3	52	35
done	52	35
0	15	19
1	22	18
2	29	18
done	29	18
0	16	22
1	25	20
2	34	18
3	35	18
done	35	18
0	15	19
1	22	18
2	29	18
done	29	18
0	19	41
1	36	39
2	79	37
3	149	35
4	195	35
done	195	35
0	16	20
1	25	19
2	35	19
3	36	17
4	49	17
5	56	17
done	56	17
0	18	32
1	31	30
2	56	28
3	89	26
4	112	26
done	112	26
0	16	20
1	25	19
2	35	19
3	36	17
4	49	17
5	56	17
done	56	17
0	12	25
1	21	19
2	35	19
3	44	19
done	44	19
0	15	19
1	24	18
2	40	18
3	82	16
4	179	16
5	401	16
6	462	16
7	517	16
8	524	16
done	524	16
0	18	32
1	31	30
2	53	28
3	73	26
4	77	26
done	77	26
0	16	20
1	25	19
2	35	19
3	36	17
4	49	17
5	56	17
done	56	17
0	17	23
1	28	21
2	44	19
3	52	17
4	53	17
done	53	17
0	16	20
1	25	19
2	35	19
3	36	17
4	49	17
5	56	17
done	56	17
0	11	16
1	18	10
2	23	10
done	23	10
0	15	19
1	24	18
2	40	18
3	82	16
4	179	16
5	401	16
6	462	16
7	517	16
8	524	16
done	524	16
0	14	25
1	26	23
2	48	19
3	64	17
4	72	17
5	73	17
done	73	17
0	15	19
1	24	18
2	34	18
3	35	16
4	48	16
5	53	16
done	53	16
0	13	16
1	23	14
2	39	10
3	46	8
done	46	8
0	15	19
1	24	18
2	34	18
3	35	16
4	48	16
5	53	16
done	53	16
0	5	9
1	11	1
done	11	1
0	14	18
1	23	17
2	39	17
3	81	15
4	172	15
5	396	15
6	456	15
7	511	15
8	516	15
done	516	15
0	4	7
1	8	3
2	12	1
done	12	1
0	14	18
1	23	17
2	39	17
3	81	15
4	172	15
5	396	15
6	456	15
7	511	15
8	516	15
done	516	15
0	9	13
1	14	11
2	16	9
3	17	9
done	17	9
0	11	12
1	19	11
2	35	9
3	69	7
4	101	7
5	129	7
6	179	7
7	284	7
8	376	7
9	399	7
done	399	7
0	18	25
1	48	23
2	145	21
3	510	19
4	2053	19
done	5000	19
0	14	26
1	43	21
2	100	21
3	144	21
4	156	21
5	158	21
done	158	21
0	17	29
1	43	27
2	103	25
3	279	23
4	868	23
5	2489	23
6	3695	23
done	5000	23
0	10	10
1	15	9
done	15	9
0	16	36
1	25	35
2	32	35
done	32	35
0	15	19
1	22	18
2	29	18
done	29	18
0	15	19
1	22	18
2	29	18
done	29	18
0	15	19
1	22	18
2	29	18
done	29	18
0	18	38
1	33	37
2	61	37
3	92	35
4	152	35
5	227	35
done	227	35
0	16	20
1	25	19
2	35	19
3	36	17
4	49	17
5	56	17
done	56	17
0	17	29
1	28	28
2	43	28
3	56	26
4	83	26
5	115	26
done	115	26
0	16	20
1	25	19
2	35	19
3	36	17
4	49	17
5	56	17
done	56	17
0	11	22
1	18	19
2	29	19
3	38	19
done	38	19
0	15	19
1	24	18
2	40	18
3	82	16
4	179	16
5	401	16
6	462	16
7	517	16
8	524	16
done	524	16
0	17	29
1	28	28
2	42	28
3	50	26
4	74	26
5	93	26
done	93	26
0	16	20
1	25	19
2	35	19
3	36	17
4	49	17
5	56	17
done	56	17
0	16	20
1	25	19
2	35	19
3	36	17
4	49	17
5	56	17
done	56	17
0	16	20
1	25	19
2	35	19
3	36	17
4	49	17
5	56	17
done	56	17
0	10	13
1	15	10
2	20	10
done	20	10
0	15	19
1	24	18
2	40	18
3	82	16
4	179	16
5	401	16
6	462	16
7	517	16
8	524	16
done	524	16
0	13	22
1	23	21
2	37	19
3	46	17
4	60	17
5	62	17
done	62	17
0	15	19
1	24	18
2	34	18
3	35	16
4	48	16
5	53	16
done	53	16
0	12	13
1	20	12
2	30	10
3	35	8
4	39	8
done	39	8
0	15	19
1	24	18
2	34	18
3	35	16
4	48	16
5	53	16
done	53	16
0	4	6
1	8	1
done	8	1
0	14	18
1	23	17
2	39	17
3	81	15
4	172	15
5	396	15
6	456	15
7	511	15
8	516	15
done	516	15
0	3	4
1	5	1
done	5	1
0	14	18
1	23	17
2	39	17
3	81	15
4	172	15
5	396	15
6	456	15
7	511	15
8	516	15
done	516	15
0	8	10
1	11	9
done	11	9
0	11	12
1	19	11
2	35	9
3	69	7
4	101	7
5	129	7
6	179	7
7	284	7
8	376	7
9	399	7
done	399	7
0	17	22
1	45	21
2	136	21
3	485	19
4	2058	19
done	5000	19
0	14	26
1	43	21
2	100	21
3	144	21
4	156	21
5	158	21
done	158	21
0	16	26
1	40	25
2	94	25
3	256	23
4	814	23
5	2400	23
6	3610	23
done	5000	23
0	10	10
1	15	9
done	15	9
0	15	35
1	24	35
2	31	35
done	31	35
0	14	18
1	21	18
2	28	18
done	28	18
0	14	18
1	21	18
2	28	18
done	28	18
0	14	18
1	21	18
2	28	18
done	28	18
0	17	37
1	32	37
2	60	37
3	91	35
4	151	35
5	222	35
done	222	35
0	15	19
1	24	19
2	34	19
3	35	17
4	48	17
5	53	17
done	53	17
0	16	28
1	27	28
2	42	28
3	55	26
4	82	26
5	120	26
done	120	26
0	15	19
1	24	19
2	34	19
3	35	17
4	48	17
5	53	17
done	53	17
0	10	21
1	17	19
2	28	19
3	37	19
done	37	19
0	14	18
1	23	18
2	39	18
3	81	16
4	172	16
5	396	16
6	456	16
7	511	16
8	516	16
done	516	16
0	16	28
1	27	28
2	41	28
3	49	26
4	73	26
5	92	26
done	92	26
0	15	19
1	24	19
2	34	19
3	35	17
4	48	17
5	53	17
done	53	17
0	15	19
1	24	19
2	34	19
3	35	17
4	48	17
5	53	17
done	53	17
0	15	19
1	24	19
2	34	19
3	35	17
4	48	17
5	53	17
done	53	17
0	9	12
1	14	10
2	19	10
done	19	10
0	14	18
1	23	18
2	39	18
3	81	16
4	172	16
5	396	16
6	456	16
7	511	16
8	516	16
done	516	16
0	12	21
1	22	17
2	38	17
3	51	17
4	60	17
5	61	17
done	61	17
0	14	18
1	23	18
2	33	18
3	34	16
4	47	16
5	54	16
done	54	16
0	11	12
1	19	8
2	31	8
3	33	8
4	34	8
done	34	8
0	14	18
1	23	18
2	33	18
3	34	16
4	47	16
5	54	16
done	54	16
0	3	5
1	6	1
done	6	1
0	13	17
1	22	17
2	38	17
3	80	15
4	173	15
5	397	15
6	457	15
7	508	15
8	515	15
done	515	15
0	2	3
1	4	1
done	4	1
0	13	17
1	22	17
2	38	17
3	80	15
4	173	15
5	397	15
6	457	15
7	508	15
8	515	15
done	515	15
0	7	9
1	10	9
done	10	9
0	10	11
1	18	7
2	36	7
3	73	7
4	123	7
5	140	7
6	162	7
7	198	7
8	303	7
9	385	7
10	408	7
done	408	7
0	16	21
1	44	21
2	135	21
3	489	19
4	2063	19
done	5001	19
0	13	25
1	42	21
2	99	21
3	144	21
4	154	21
5	156	21
done	156	21
0	15	25
1	39	25
2	93	25
3	254	23
4	827	23
5	2411	23
6	3648	23
done	5001	23
0	9	9
1	14	9
done	14	9
0	13	17
1	22	17
2	38	17
3	80	15
4	173	15
5	397	15
6	457	15
7	508	15
8	515	15
done	515	15
0	13	17
1	22	15
2	42	15
3	79	15
4	132	15
5	146	15
6	156	15
done	156	15
0	15	35
1	24	35
2	31	35
done	31	35
0	14	18
1	21	18
2	28	18
done	28	18
0	17	37
1	32	37
2	60	37
3	91	35
4	151	35
5	222	35
done	222	35
0	16	28
1	27	28
2	42	28
3	55	26
4	82	26
5	120	26
done	120	26
0	10	21
1	17	19
2	28	19
3	37	19
done	37	19
0	16	28
1	27	28
2	41	28
3	49	26
4	73	26
5	92	26
done	92	26
0	15	19
1	24	19
2	34	19
3	35	17
4	48	17
5	53	17
done	53	17
0	9	12
1	14	10
2	19	10
done	19	10
0	12	21
1	22	17
2	38	17
3	51	17
4	60	17
5	61	17
done	61	17
0	11	12
1	19	8
2	31	8
3	33	8
4	34	8
done	34	8
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	7	9
1	10	9
done	10	9
0	16	21
1	44	21
2	135	21
3	489	19
4	2063	19
done	5001	19
0	15	25
1	39	25
2	93	25
3	254	23
4	827	23
5	2411	23
6	3648	23
done	5001	23
0	14	18
1	23	17
2	39	17
3	68	15
4	126	15
5	140	15
6	148	15
done	148	15
0	14	18
1	23	17
2	39	17
3	68	15
4	126	15
5	140	15
6	148	15
done	148	15
0	13	17
1	22	15
2	42	15
3	79	15
4	132	15
5	146	15
6	156	15
done	156	15
0	7	9
1	10	9
done	10	9
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune98.0ms

Filtered

83 candidates to 136 candidates (-63.9%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	136	11	147

Merged error: 23.0b

Counts

147 → 11

regimes456.0ms

Accuracy

23.8% (2.2b remaining)

Error of 25.2b against oracle of 23.1b and baseline of 25.9b

bsearch1.0ms

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	53
1	21	53
done	21	53

end0.0ms

sample818.0ms

Algorithm

intervals

Results

395.0ms

8447×

body

valid

Details

sample38.0ms

simplify37.0ms

prune3.0ms

localize11.0ms

rewrite19.0ms

series45.0ms

simplify32.2s

prune108.0ms

localize13.0ms

rewrite28.0ms

series65.0ms

simplify54.9s

prune145.0ms

localize14.0ms

rewrite28.0ms

series53.0ms

simplify1.0min

prune130.0ms

localize11.0ms

rewrite34.0ms

series63.0ms

simplify1.3min

prune98.0ms

regimes456.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample818.0ms

Profiling