Details

sample28.0ms

Algorithm

intervals

Results

13.0ms

256×

body

valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	14
1	15	14
2	21	14
done	21	14

prune11.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: 39.4b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.1b	(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
36.7b	(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
19×	`times-frac`
17×	`add-cube-cbrt` `*-un-lft-identity`
13×	`sqrt-prod`
4×	`add-exp-log` `add-cbrt-cube`
3×	`pow1` `associate-/r` `associate-/l`
2×	`rem-sqrt-square` `div-inv` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `frac-2neg` `sqrt-pow1` `flip3-+` `pow1/2` `sqrt-div` `div-exp` `clear-num` `flip-+`

Counts

2 → 54

Calls

2 calls:

10.0ms	(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
7.0ms	(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

series45.0ms

Counts

2 → 6

Calls

2 calls:

14.0ms	(/ (+ (+ (* x x) (* y y)) (* z z)) 3.0)
31.0ms	(sqrt (/ (+ (+ (* x x) (* y y)) (* z z)) 3.0))

simplify26.6s

Counts

60 → 60

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	13	31
1	17	31
2	23	31
3	25	31
done	25	31
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	13	44
1	18	28
2	31	16
3	64	16
4	90	16
5	129	16
6	174	16
7	270	16
8	518	16
9	1485	16
done	5001	16
0	13	30
1	18	15
2	24	15
done	24	15
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	15	32
1	25	32
2	41	16
3	47	16
done	47	16
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	14	29
1	20	29
2	28	29
3	29	29
done	29	29
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	13	28
1	21	26
2	34	13
3	39	13
done	39	13
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	14	19
1	20	19
2	26	19
done	26	19
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	12	15
1	18	13
2	26	13
done	26	13
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	6	8
1	10	8
done	10	8
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	5	5
1	7	5
done	7	5
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	3	4
1	5	1
done	5	1
0	11	14
1	15	14
2	21	14
done	21	14
0	2	2
1	4	1
done	4	1
0	11	14
1	15	14
2	21	14
done	21	14
0	9	12
1	13	12
2	19	12
done	19	12
0	4	4
1	6	4
done	6	4
0	9	12
1	13	12
2	19	12
done	19	12
0	2	2
done	2	2
0	3	3
1	6	1
done	6	1
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	12	15
1	18	15
2	25	15
done	25	15
0	11	14
1	18	14
2	26	14
3	27	14
done	27	14
0	11	14
1	15	14
2	21	14
done	21	14
0	14	41
1	39	41
2	153	17
3	691	15
4	3617	15
done	5000	15
0	12	29
1	16	29
2	22	29
3	24	29
done	24	29
0	11	14
1	15	14
2	21	14
done	21	14
0	12	41
1	23	41
2	73	15
3	251	15
4	899	15
5	3305	15
done	5000	15
0	11	14
1	15	14
2	21	14
done	21	14
0	11	14
1	15	14
2	21	14
done	21	14
0	9	12
1	16	12
2	33	12
3	59	12
4	71	12
5	86	12
6	116	12
7	158	12
8	173	12
done	173	12
0	2	2
done	2	2
0	14	31
1	24	31
2	39	31
3	45	31
done	45	31
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	13	28
1	19	28
2	27	28
3	28	28
done	28	28
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	12	27
1	20	25
2	32	25
3	37	25
done	37	25
0	11	14
1	15	14
2	21	14
done	21	14
0	13	18
1	19	18
2	25	18
done	25	18
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	11	14
1	17	12
2	25	12
done	25	12
0	11	14
1	15	14
2	21	14
done	21	14
0	5	7
1	9	7
done	9	7
0	11	14
1	15	14
2	21	14
done	21	14
0	4	4
1	6	4
done	6	4
0	11	14
1	15	14
2	21	14
done	21	14
0	2	3
1	4	1
done	4	1
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	3	3
1	5	3
done	5	3
0	10	13
1	14	13
2	20	13
done	20	13
0	12	17
1	18	17
2	24	17
done	24	17
0	11	14
1	15	14
2	21	14
done	21	14
0	10	13
1	16	11
2	24	11
3	26	11
done	26	11
0	11	14
1	15	14
2	21	14
done	21	14
0	11	14
1	15	14
2	21	14
done	21	14
0	10	13
1	14	13
2	20	13
done	20	13
0	14	37
1	42	33
2	131	33
3	454	25
4	1533	25
5	4625	25
done	5000	25
0	10	13
1	16	13
2	41	13
3	87	13
4	156	13
5	306	13
6	662	13
7	1540	13
8	4927	13
done	5000	13
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5
0	13	17
1	33	15
2	85	13
3	110	13
4	126	13
5	150	13
6	208	13
7	383	13
8	999	13
9	3745	13
done	5000	13
0	13	17
1	33	15
2	85	13
3	110	13
4	126	13
5	150	13
6	208	13
7	383	13
8	999	13
9	3745	13
done	5000	13
0	13	17
1	33	15
2	85	13
3	110	13
4	126	13
5	150	13
6	208	13
7	383	13
8	999	13
9	3745	13
done	5000	13

prune135.0ms

Filtered

51 candidates to 60 candidates (-17.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	55	5	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	56	5	61

Merged error: 18.0b

Counts

61 → 5

localize12.0ms

Local error

Found 2 expressions with local error:

0.4b	(* (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt (/ 1 3.0)))
36.6b	(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
29×	`sqrt-prod`
16×	`associate-r`
15×	`*-un-lft-identity`
13×	`add-cube-cbrt` `times-frac`
9×	`sqrt-div`
8×	`unswap-sqr`
7×	`pow1`
6×	`associate-l`
4×	`add-exp-log` `add-cbrt-cube`
3×	`sqrt-pow1` `flip3-+` `pow1/2` `pow-prod-down` `flip-+`
2×	`frac-times` `associate-*l/` `add-log-exp`
1×	`rem-sqrt-square` `sqrt-unprod` `associate-r/` `prod-exp` `-commutative` `cbrt-unprod` `div-inv`

Counts

2 → 64

Calls

2 calls:

21.0ms	(* (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt (/ 1 3.0)))
6.0ms	(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series53.0ms

Counts

2 → 6

Calls

2 calls:

31.0ms	(* (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt (/ 1 3.0)))
22.0ms	(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify42.2s

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	11	27
1	15	27
2	21	27
done	21	27
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	11	38
1	16	24
2	39	14
3	69	14
4	85	14
5	95	14
6	116	14
7	176	14
8	379	14
9	1300	14
done	5001	14
0	11	26
1	16	13
2	22	13
3	24	13
done	24	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	2	2
1	4	1
done	4	1
0	9	12
1	13	12
2	19	12
done	19	12
0	12	16
1	29	16
2	69	14
3	169	14
4	449	14
5	1288	14
6	4246	14
done	5001	14
0	13	36
1	34	32
2	102	32
3	307	24
4	1002	24
5	2934	24
done	5001	24
0	11	24
1	27	24
2	75	22
3	214	20
4	614	20
5	1934	20
done	5000	20
0	9	12
1	14	12
2	27	12
3	39	12
4	65	12
5	137	12
6	319	12
7	776	12
8	2851	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	12	15
1	21	15
2	44	13
3	116	13
4	237	13
5	312	13
6	315	13
7	317	13
8	318	13
done	318	13
0	14	17
1	21	17
2	27	17
done	27	17
0	12	15
1	21	15
2	44	13
3	116	13
4	237	13
5	312	13
6	315	13
7	317	13
8	318	13
done	318	13
0	16	19
1	23	19
2	29	19
done	29	19
0	15	18
1	25	18
2	32	18
done	32	18
0	15	18
1	24	18
2	36	18
3	44	18
4	67	18
5	122	18
6	261	18
7	722	18
8	2757	18
done	5001	18
0	18	53
1	31	33
2	84	21
3	275	21
4	1006	19
5	2433	19
done	5000	19
0	16	37
1	23	37
2	29	37
done	29	37
0	15	18
1	22	18
2	28	18
done	28	18
0	16	53
1	33	53
2	68	19
3	201	19
4	704	19
5	1814	19
6	3142	19
done	5001	19
0	12	15
1	21	15
2	44	13
3	116	13
4	237	13
5	312	13
6	315	13
7	317	13
8	318	13
done	318	13
0	15	18
1	22	18
2	28	18
done	28	18
0	15	18
1	22	18
2	28	18
done	28	18
0	15	19
1	35	18
2	75	16
3	174	14
4	454	14
5	1267	14
6	4188	14
done	5000	14
0	16	39
1	38	35
2	106	35
3	309	27
4	990	27
5	2929	27
done	5001	27
0	14	27
1	33	26
2	81	24
3	219	20
4	626	20
5	1948	20
done	5001	20
0	12	15
1	18	15
2	31	15
3	43	15
4	69	15
5	141	15
6	325	15
7	778	15
8	2832	15
done	5000	15
0	16	19
1	23	19
2	29	19
done	29	19
0	16	19
1	23	19
2	29	19
done	29	19
0	17	20
1	24	19
2	30	19
done	30	19
0	17	20
1	24	19
2	30	19
done	30	19
0	16	19
1	23	19
2	29	19
done	29	19
0	16	19
1	23	19
2	29	19
done	29	19
0	16	19
1	23	19
2	29	19
done	29	19
0	16	19
1	23	19
2	29	19
done	29	19
0	16	19
1	23	19
2	29	19
done	29	19
0	16	19
1	23	19
2	29	19
done	29	19
0	17	20
1	24	19
2	30	19
done	30	19
0	17	20
1	24	19
2	30	19
done	30	19
0	16	19
1	23	19
2	29	19
done	29	19
0	16	19
1	23	19
2	29	19
done	29	19
0	16	19
1	23	19
2	29	19
done	29	19
0	16	19
1	23	19
2	29	19
done	29	19
0	16	24
1	25	24
2	33	24
done	33	24
0	16	23
1	24	18
2	30	18
done	30	18
0	15	18
1	22	18
2	28	18
done	28	18
0	18	25
1	31	23
2	47	18
3	53	18
done	53	18
0	17	22
1	26	20
2	34	18
3	35	18
done	35	18
0	15	21
1	24	17
2	35	14
done	35	14
0	17	22
1	26	21
2	32	21
done	32	21
0	16	19
1	23	18
2	29	18
done	29	18
0	14	18
1	21	14
2	27	14
done	27	12
0	16	21
1	25	21
2	31	21
done	31	21
0	15	18
1	22	18
2	28	18
done	28	18
0	13	17
1	20	14
2	26	14
done	26	12
0	12	15
1	19	14
2	25	14
done	25	12
0	12	15
1	19	14
2	25	14
done	25	12
0	15	18
1	22	18
2	28	18
done	28	18
0	11	14
1	18	12
2	27	12
done	27	12
0	15	18
1	22	18
2	28	18
done	28	18
0	15	18
1	22	18
2	28	18
done	28	18
0	15	18
1	22	18
2	28	18
done	28	18
0	14	17
1	21	17
2	27	17
done	27	17
0	15	18
1	22	18
2	28	18
done	28	18
0	14	17
1	21	17
2	27	17
done	27	17
0	12	15
1	19	14
2	25	14
done	25	12
0	17	21
1	37	21
2	77	19
3	176	19
4	454	19
5	1283	19
6	4228	19
done	5000	19
0	16	29
1	35	29
2	83	27
3	223	25
4	619	25
5	1943	25
done	5001	25
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	11	5
2	23	5
done	23	5

prune107.0ms

Filtered

49 candidates to 70 candidates (-42.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	70	5	75

Merged error: 18.0b

Counts

75 → 5

localize12.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt 3.0))
36.6b	(sqrt (+ (+ (* x x) (* y y)) (* z z)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

45×	`sqrt-prod`
36×	`times-frac`
32×	`add-sqr-sqrt`
31×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-/r` `associate-/l`
4×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
3×	`pow1`
2×	`flip3-+` `flip-+` `associate-/l/` `add-log-exp`
1×	`cbrt-undiv` `rem-sqrt-square` `sqrt-undiv` `frac-2neg` `sqrt-pow1` `pow1/2` `div-exp` `clear-num` `div-inv`

Counts

2 → 78

Calls

2 calls:

11.0ms	(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt 3.0))
10.0ms	(sqrt (+ (+ (* x x) (* y y)) (* z z)))

series57.0ms

Counts

2 → 6

Calls

2 calls:

36.0ms	(/ (sqrt (+ (+ (* x x) (* y y)) (* z z))) (sqrt 3.0))
21.0ms	(sqrt (+ (+ (* x x) (* y y)) (* z z)))

simplify27.4s

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	11	27
1	15	27
2	21	27
done	21	27
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	11	38
1	16	24
2	39	14
3	69	14
4	85	14
5	95	14
6	116	14
7	176	14
8	379	14
9	1300	14
done	5001	14
0	11	26
1	16	13
2	22	13
3	24	13
done	24	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	2	2
1	4	1
done	4	1
0	9	12
1	13	12
2	19	12
done	19	12
0	12	16
1	29	16
2	69	14
3	169	14
4	449	14
5	1288	14
6	4246	14
done	5001	14
0	13	36
1	34	32
2	102	32
3	307	24
4	1002	24
5	2934	24
done	5001	24
0	11	24
1	27	24
2	75	22
3	214	20
4	614	20
5	1934	20
done	5000	20
0	9	12
1	14	12
2	27	12
3	39	12
4	65	12
5	137	12
6	319	12
7	776	12
8	2851	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	14	17
1	20	17
2	27	17
done	27	17
0	13	16
1	20	16
2	28	16
3	29	16
done	29	16
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	16	47
1	29	29
2	76	19
3	153	19
4	275	19
5	402	19
6	729	19
7	1642	19
8	4239	19
done	5001	19
0	14	33
1	18	33
2	24	33
done	24	33
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	14	47
1	25	47
2	47	17
3	85	17
4	175	17
5	314	17
6	535	17
7	1167	17
8	4549	17
done	5000	17
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	10	13
1	14	13
2	20	13
3	22	13
done	22	13
0	3	3
done	3	3
0	16	35
1	26	35
2	41	35
3	47	35
done	47	35
0	14	17
1	18	17
2	24	17
done	24	17
0	16	34
1	23	31
2	31	31
3	32	31
done	32	31
0	14	17
1	18	17
2	24	17
done	24	17
0	15	31
1	21	31
2	29	31
3	30	31
done	30	31
0	14	17
1	18	17
2	24	17
done	24	17
0	14	30
1	22	29
2	30	29
3	31	27
4	38	27
done	38	27
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	15	31
1	21	31
2	29	31
3	30	31
done	30	31
0	14	17
1	18	17
2	24	17
done	24	17
0	13	29
1	21	27
2	33	27
3	38	27
done	38	27
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	16	34
1	23	21
2	29	21
done	29	21
0	14	17
1	18	17
2	24	17
done	24	17
0	16	33
1	22	17
2	28	17
done	28	17
0	14	17
1	18	17
2	24	17
done	24	17
0	15	30
1	20	17
2	26	17
done	26	17
0	14	17
1	18	17
2	24	17
done	24	17
0	14	29
1	21	15
2	27	15
done	27	15
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	15	30
1	20	17
2	26	17
done	26	17
0	14	17
1	18	17
2	24	17
done	24	17
0	13	28
1	20	13
2	28	13
done	28	13
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	15	21
1	21	21
2	27	21
done	27	21
0	14	17
1	18	17
2	24	17
done	24	17
0	15	20
1	20	17
2	26	17
done	26	17
0	14	17
1	18	17
2	24	17
done	24	17
0	14	17
1	18	17
2	24	17
done	24	17
0	14	17
1	18	17
2	24	17
done	24	17
0	13	16
1	19	15
2	25	15
done	25	15
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	14	17
1	18	17
2	24	17
done	24	17
0	14	17
1	18	17
2	24	17
done	24	17
0	12	15
1	18	13
2	26	13
done	26	13
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	7	10
1	11	9
done	11	9
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	7	9
1	10	5
done	10	5
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	6	6
1	8	5
done	8	5
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	3	5
1	5	1
done	5	1
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	6	6
1	8	5
done	8	5
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	3	4
1	5	1
done	5	1
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	15	21
1	21	21
2	27	21
done	27	21
0	14	17
1	18	17
2	24	17
done	24	17
0	15	20
1	20	17
2	26	17
done	26	17
0	14	17
1	18	17
2	24	17
done	24	17
0	14	17
1	18	17
2	24	17
done	24	17
0	14	17
1	18	17
2	24	17
done	24	17
0	13	16
1	19	15
2	25	15
done	25	15
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	14	17
1	18	17
2	24	17
done	24	17
0	14	17
1	18	17
2	24	17
done	24	17
0	12	15
1	18	13
2	26	13
done	26	13
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	6	9
1	10	9
done	10	9
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	6	8
1	9	5
done	9	5
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	5	5
1	7	5
done	7	5
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	3	4
1	5	3
done	5	3
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	5	5
1	7	5
done	7	5
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	2	3
1	4	1
done	4	1
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	4	4
1	6	4
done	6	4
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	14	20
1	20	20
2	26	20
done	26	20
0	14	19
1	19	16
2	25	16
done	25	16
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	12	15
1	18	14
2	24	14
done	24	14
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	11	14
1	17	12
2	25	12
done	25	12
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	13	16
1	17	16
2	23	16
3	25	16
done	25	16
0	12	15
1	16	15
2	22	15
3	24	15
done	24	15
0	16	39
1	38	35
2	104	35
3	309	27
4	993	27
5	2918	27
done	5000	27
0	12	15
1	18	15
2	31	15
3	43	15
4	69	15
5	141	15
6	325	15
7	786	15
8	2840	15
done	5000	15
0	1	1
done	1	1
0	1	1
done	1	1
0	3	3
1	5	2
done	5	2
0	4	4
done	4	4
0	4	4
done	4	4
0	6	6
1	10	5
2	15	5
3	19	5
4	20	5
done	20	5

prune121.0ms

Filtered

57 candidates to 84 candidates (-47.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	81	8	89

Merged error: 17.9b

Counts

89 → 8

localize3.0ms

Local error

Found 1 expressions with local error:

0.4b	(/ z (sqrt 3.0))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

18×	`times-frac`
16×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`sqrt-prod`
6×	`associate-/r*`
3×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
1×	`pow1` `cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 39

Calls

1 calls:

7.0ms

(/ z (sqrt 3.0))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(/ z (sqrt 3.0))

simplify5.4s

Counts

42 → 42

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	8	5
2	10	5
3	11	5
done	11	5
0	5	5
done	5	5
0	8	14
1	17	10
2	43	8
3	93	8
4	131	8
5	174	8
6	304	8
7	808	8
8	3192	8
done	5000	8
0	6	11
done	6	11
0	5	5
done	5	5
0	6	14
1	13	14
2	29	6
3	67	6
4	132	6
5	193	6
6	312	6
7	778	6
8	3411	6
done	5000	6
0	5	5
done	5	5
0	5	5
done	5	5
0	2	2
done	2	2
0	3	3
done	3	3
0	8	13
1	14	13
2	23	13
3	29	13
done	29	13
0	6	6
done	6	6
0	8	12
1	11	9
2	13	9
3	14	9
done	14	9
0	6	6
done	6	6
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	8
1	10	7
2	12	7
3	13	5
4	20	5
done	20	5
0	5	5
done	5	5
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	5
done	5	5
0	7	10
1	9	10
done	9	10
0	6	6
done	6	6
0	7	9
1	8	6
done	8	6
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	4
done	7	4
0	5	5
done	5	5
0	6	6
done	6	6
0	6	6
done	6	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	5
done	5	5
0	6	9
1	10	9
done	10	9
0	5	5
done	5	5
0	6	8
1	9	5
done	9	5
0	5	5
done	5	5
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	4
1	5	3
done	5	3
0	4	4
done	4	4
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	2	3
1	4	1
done	4	1
0	4	4
done	4	4
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	6	9
1	8	9
done	8	9
0	6	8
1	7	5
done	7	5
0	5	5
done	5	5
0	4	4
1	6	3
done	6	3
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4

prune64.0ms

Filtered

31 candidates to 42 candidates (-35.5%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	36	6	42
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	36	14	50

Merged error: 17.9b

Counts

50 → 14

regimes1.0s

Accuracy

60.3% (7.7b remaining)

Error of 25.4b against oracle of 17.7b and baseline of 37.1b

bsearch28.0ms

Steps

Iters	Range		Point
2	4.135158157473059e+56	4.8565297007021245e+56	4.7663582577984905e+56
9	-1.4554583328339677e+161	-1.78774838471666e+153	-1.830674585215142e+153

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	34
1	34	34
done	34	34

end0.0ms

sample758.0ms

Algorithm

intervals

Results

416.0ms

8000×

body

valid

Details

sample28.0ms

simplify7.0ms

prune11.0ms

localize11.0ms

rewrite18.0ms

series45.0ms

simplify26.6s

prune135.0ms

localize12.0ms

rewrite30.0ms

series53.0ms

simplify42.2s

prune107.0ms

localize12.0ms

rewrite24.0ms

series57.0ms

simplify27.4s

prune121.0ms

localize3.0ms

rewrite9.0ms

series6.0ms

simplify5.4s

prune64.0ms

regimes1.0s

bsearch28.0ms

simplify3.0ms

end0.0ms

sample758.0ms

Profiling