Details

sample62.0ms

Algorithm

intervals

Results

17.0ms	291×	body	80	nan
11.0ms	288×	body	80	valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	8
1	12	8
2	14	8
done	14	8

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

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

1.7b	(* c0 (sqrt (/ A (* V l))))
1.9b	(/ A (* V l))
18.3b	(sqrt (/ A (* V l)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
15×	`sqrt-prod`
11×	`add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log` `associate-r` `add-cbrt-cube`
9×	`times-frac`
6×	`pow1`
3×	`associate-l` `div-inv` `associate-/l*` `add-log-exp`
2×	`cbrt-undiv` `sqrt-div` `div-exp` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `clear-num` `associate-/r` `*-commutative`

Counts

3 → 66

Calls

3 calls:

9.0ms	(* c0 (sqrt (/ A (* V l))))
5.0ms	(/ A (* V l))
4.0ms	(sqrt (/ A (* V l)))

series33.0ms

Counts

3 → 9

Calls

3 calls:

16.0ms	(* c0 (sqrt (/ A (* V l))))
6.0ms	(/ A (* V l))
11.0ms	(sqrt (/ A (* V l)))

simplify40.6s

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	12
2	25	8
3	52	8
4	82	8
5	106	8
6	129	8
7	189	8
8	402	8
9	1339	8
done	5000	8
0	8	14
1	12	7
2	14	7
done	14	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	8
1	13	8
2	22	8
3	32	8
4	42	8
5	58	8
6	77	8
7	93	8
8	98	8
done	98	8
0	7	7
1	13	7
2	20	7
3	28	7
4	37	7
5	49	7
6	68	7
7	94	7
8	104	7
done	104	7
0	6	6
1	12	6
2	22	6
3	34	6
4	47	6
5	58	6
6	74	6
7	93	6
8	109	6
9	114	6
done	114	6
0	6	6
1	9	6
2	11	6
done	11	6
0	11	17
1	26	17
2	114	11
3	524	11
4	1884	9
done	5000	9
0	9	17
1	28	17
2	130	9
3	669	7
4	2190	7
5	4057	7
done	5000	7
0	7	13
1	10	13
2	12	13
done	12	13
0	6	6
1	9	6
2	11	6
done	11	6
0	7	17
1	17	17
2	65	7
3	321	7
4	1205	7
5	2718	7
6	4513	7
done	5000	7
0	6	6
1	9	6
2	11	6
done	11	6
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	4	4
1	9	4
2	11	4
done	11	4
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	3	3
done	3	3
0	5	5
1	10	5
2	12	5
done	12	5
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	3	3
done	3	3
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	13	6
3	16	6
4	17	6
done	17	6
0	5	5
1	8	5
2	12	5
3	15	5
4	16	5
done	16	5
0	8	8
1	12	8
2	14	8
done	14	8
0	10	10
1	14	10
2	16	10
done	16	10
0	9	9
1	16	9
2	19	9
done	19	9
0	9	9
1	15	9
2	23	9
3	31	9
4	54	9
5	112	9
6	255	9
7	719	9
8	2731	9
done	5000	9
0	12	26
1	22	18
2	62	12
3	204	12
4	664	10
5	1746	10
6	4391	10
done	5001	10
0	10	19
1	14	19
2	16	19
done	16	19
0	9	9
1	13	9
2	15	9
done	15	9
0	10	26
1	24	26
2	55	10
3	137	10
4	390	10
5	1015	10
6	2351	10
7	4308	10
done	5000	10
0	9	9
1	13	9
2	15	9
done	15	9
0	9	9
1	13	9
2	15	9
done	15	9
0	10	10
1	14	10
2	16	10
done	16	10
0	10	10
1	14	10
2	16	10
done	16	10
0	10	10
1	14	10
2	16	10
done	16	10
0	10	10
1	14	10
2	16	10
done	16	10
0	10	17
1	16	17
2	20	17
done	20	17
0	10	16
1	15	9
2	17	9
done	17	9
0	9	9
1	13	9
2	15	9
done	15	9
0	8	10
1	11	10
2	13	10
3	14	10
done	14	10
0	7	7
1	8	7
done	8	7
0	6	6
1	9	6
done	9	6
0	4	4
1	7	3
done	7	3
0	4	4
1	5	4
done	5	4
0	9	9
1	13	9
2	15	9
done	15	9
0	3	3
1	6	1
done	6	1
0	9	9
1	13	9
2	15	9
done	15	9
0	9	9
1	13	9
2	15	9
done	15	9
0	8	8
1	12	8
2	14	8
done	14	8
0	4	4
1	5	4
done	5	4
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	1	1
done	1	1
0	1	1
done	1	1
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	5	5
1	8	5
2	10	5
done	10	5
0	9	9
1	21	9
2	70	9
3	200	9
4	375	9
5	431	9
6	437	9
done	437	9
0	1	1
done	1	1
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7

prune176.0ms

Filtered

60 candidates to 75 candidates (-25.0%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	59	16	75
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	59	17	76

Merged error: 8.4b

Counts

76 → 17

localize10.0ms

Local error

Found 4 expressions with local error:

2.5b	(sqrt (sqrt (/ A (* V l))))
2.5b	(sqrt (sqrt (/ A (* V l))))
18.3b	(sqrt (/ A (* V l)))
18.3b	(sqrt (/ A (* V l)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

50×	`sqrt-prod`
20×	`add-sqr-sqrt`
14×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
10×	`pow1` `sqrt-pow1`
6×	`rem-sqrt-square` `pow1/2` `sqrt-div`
4×	`add-exp-log` `add-cbrt-cube` `div-inv` `add-log-exp`

Counts

4 → 84

Calls

4 calls:

6.0ms	(sqrt (sqrt (/ A (* V l))))
5.0ms	(sqrt (sqrt (/ A (* V l))))
4.0ms	(sqrt (/ A (* V l)))
4.0ms	(sqrt (/ A (* V l)))

series83.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(sqrt (sqrt (/ A (* V l))))
33.0ms	(sqrt (sqrt (/ A (* V l))))
10.0ms	(sqrt (/ A (* V l)))
11.0ms	(sqrt (/ A (* V l)))

simplify29.4s

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	12
2	25	8
3	52	8
4	82	8
5	106	8
6	129	8
7	189	8
8	402	8
9	1339	8
done	5000	8
0	8	14
1	12	7
2	14	7
done	14	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	12
2	25	8
3	52	8
4	82	8
5	106	8
6	129	8
7	189	8
8	402	8
9	1339	8
done	5000	8
0	8	14
1	12	7
2	14	7
done	14	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	9	17
1	12	17
2	14	17
done	14	17
0	8	8
1	11	8
2	13	8
done	13	8
0	9	23
1	13	14
2	18	9
3	23	9
4	29	9
5	39	9
6	60	9
7	118	9
8	336	9
9	1261	9
done	5000	9
0	9	16
1	13	8
2	15	8
done	15	8
0	8	8
1	11	8
2	13	8
done	13	8
0	9	15
1	13	8
2	15	8
done	15	8
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	7	7
1	10	7
2	12	7
done	12	7
0	3	3
done	3	3
0	7	7
1	12	7
2	14	7
done	14	7
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	2	2
1	4	1
done	4	1
0	7	7
1	10	7
2	12	7
done	12	7
0	3	3
done	3	3
0	5	5
1	6	5
done	6	5
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	9	17
1	12	17
2	14	17
done	14	17
0	8	8
1	11	8
2	13	8
done	13	8
0	9	23
1	13	14
2	18	9
3	23	9
4	29	9
5	39	9
6	60	9
7	118	9
8	336	9
9	1261	9
done	5000	9
0	9	16
1	13	8
2	15	8
done	15	8
0	8	8
1	11	8
2	13	8
done	13	8
0	9	15
1	13	8
2	15	8
done	15	8
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	7	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
done	6	6
0	6	6
done	6	6
0	6	6
done	6	6
0	5	5
1	7	5
done	7	5
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	7	7
1	10	7
2	12	7
done	12	7
0	3	3
done	3	3
0	7	7
1	12	7
2	14	7
done	14	7
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	2	2
1	4	1
done	4	1
0	7	7
1	10	7
2	12	7
done	12	7
0	3	3
done	3	3
0	5	5
1	6	5
done	6	5
0	3	3
1	4	1
done	4	1
0	3	3
1	6	1
done	6	1
0	4	5
1	10	3
2	11	1
done	11	1
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	1	1
done	1	1
0	1	1
done	1	1
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	1	1
done	1	1
0	1	1
done	1	1
0	14	14
1	27	13
2	67	11
3	177	11
4	404	7
5	802	7
6	1676	7
7	4370	7
done	5001	7
0	17	20
1	39	16
2	88	12
3	297	12
4	591	10
5	1217	7
6	2187	7
done	5000	7
0	7	7
1	15	7
2	41	7
3	80	7
4	208	7
5	705	7
6	3039	7
done	5000	7
0	14	14
1	27	13
2	67	11
3	177	11
4	404	7
5	802	7
6	1676	7
7	4370	7
done	5001	7
0	17	20
1	39	16
2	88	12
3	297	12
4	591	10
5	1217	7
6	2187	7
done	5000	7
0	7	7
1	15	7
2	41	7
3	80	7
4	208	7
5	705	7
6	3039	7
done	5000	7

prune161.0ms

Filtered

74 candidates to 96 candidates (-29.7%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	94	2	96
Fresh	2	13	15
Picked	0	1	1
Done	1	0	1
Total	97	16	113

Merged error: 8.4b

Counts

113 → 16

localize16.0ms

Local error

Found 4 expressions with local error:

2.5b	(sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))
18.3b	(sqrt (/ A (* V l)))
21.4b	(cbrt (/ A (* V l)))
21.4b	(cbrt (/ A (* V l)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

14×	`cbrt-prod`
11×	`add-sqr-sqrt`
10×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
8×	`pow1` `sqrt-prod`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`cbrt-div` `sqrt-pow1` `sqrt-div` `div-inv`
2×	`pow1/2` `pow1/3`
1×	`rem-sqrt-square` `associate-*r/` `pow-prod-down`

Counts

4 → 62

Calls

4 calls:

6.0ms	(sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))
4.0ms	(sqrt (/ A (* V l)))
4.0ms	(cbrt (/ A (* V l)))
4.0ms	(cbrt (/ A (* V l)))

series106.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(sqrt (* (fabs (cbrt (/ A (* V l)))) (sqrt (cbrt (/ A (* V l))))))
10.0ms	(sqrt (/ A (* V l)))
27.0ms	(cbrt (/ A (* V l)))
24.0ms	(cbrt (/ A (* V l)))

simplify35.4s

Counts

74 → 74

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	14
1	11	14
2	13	14
done	13	14
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	5
4	27	5
5	37	5
6	58	5
7	114	5
8	325	5
9	1243	5
done	5001	5
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	14
1	11	14
2	13	14
done	13	14
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	20
2	16	8
3	21	5
4	27	5
5	37	5
6	58	5
7	114	5
8	325	5
9	1243	5
done	5001	5
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	12
2	25	8
3	52	8
4	82	8
5	106	8
6	129	8
7	189	8
8	402	8
9	1339	8
done	5000	8
0	8	14
1	12	7
2	14	7
done	14	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	11	17
1	15	17
2	17	17
done	17	17
0	11	17
1	15	17
2	17	17
done	17	17
0	12	35
1	16	35
2	18	35
done	18	35
0	11	17
1	15	17
2	17	17
done	17	17
0	12	50
1	17	32
2	30	18
3	35	18
4	41	18
5	51	18
6	72	18
7	134	18
8	340	18
9	1268	18
done	5001	18
0	8	8
1	11	8
2	13	8
done	13	8
0	8	8
1	11	8
2	13	8
done	13	8
0	11	12
1	15	12
2	17	12
done	17	12
0	6	6
1	7	6
done	7	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	11	17
1	15	17
2	17	17
done	17	17
0	11	17
1	15	17
2	17	17
done	17	17
0	14	14
1	27	13
2	67	11
3	178	10
4	405	6
5	806	6
6	1686	6
7	4379	6
done	5001	6
0	17	20
1	39	16
2	88	12
3	298	11
4	592	9
5	1228	6
6	2189	6
done	5001	6
0	20	23
1	41	22
2	103	20
3	396	19
4	1430	15
done	5000	11
0	14	14
1	27	13
2	67	11
3	178	10
4	405	6
5	806	6
6	1686	6
7	4379	6
done	5001	6
0	17	20
1	39	16
2	88	12
3	298	11
4	592	9
5	1228	6
6	2189	6
done	5001	6
0	20	23
1	41	22
2	103	20
3	396	19
4	1430	15
done	5000	11
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	1	1
done	1	1
0	1	1
done	1	1
0	21	24
1	44	22
2	90	20
3	212	20
4	476	16
5	1183	16
done	5000	16
0	24	30
1	56	25
2	111	21
3	332	21
4	665	19
5	1419	16
6	3376	16
done	5000	16
0	31	40
1	75	37
2	186	35
3	575	35
4	1924	31
done	5001	31

prune169.0ms

Filtered

64 candidates to 74 candidates (-15.6%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	74	16	90

Merged error: 8.4b

Counts

90 → 16

localize16.0ms

Local error

Found 4 expressions with local error:

18.3b	(sqrt (/ A (* V l)))
18.3b	(sqrt (/ A (* V l)))
18.3b	(sqrt (/ A (* V l)))
18.3b	(sqrt (/ A (* V l)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

28×	`sqrt-prod`
16×	`add-sqr-sqrt`
12×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
8×	`pow1`
4×	`add-exp-log` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `sqrt-div` `add-cbrt-cube` `div-inv` `add-log-exp`

Counts

4 → 72

Calls

4 calls:

5.0ms	(sqrt (/ A (* V l)))
5.0ms	(sqrt (/ A (* V l)))
5.0ms	(sqrt (/ A (* V l)))
5.0ms	(sqrt (/ A (* V l)))

series41.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(sqrt (/ A (* V l)))
10.0ms	(sqrt (/ A (* V l)))
10.0ms	(sqrt (/ A (* V l)))
11.0ms	(sqrt (/ A (* V l)))

simplify12.4s

Counts

84 → 84

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	12
2	25	8
3	52	8
4	82	8
5	106	8
6	129	8
7	189	8
8	402	8
9	1339	8
done	5000	8
0	8	14
1	12	7
2	14	7
done	14	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	12
2	25	8
3	52	8
4	82	8
5	106	8
6	129	8
7	189	8
8	402	8
9	1339	8
done	5000	8
0	8	14
1	12	7
2	14	7
done	14	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	12
2	25	8
3	52	8
4	82	8
5	106	8
6	129	8
7	189	8
8	402	8
9	1339	8
done	5000	8
0	8	14
1	12	7
2	14	7
done	14	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	8	15
1	11	15
2	13	15
done	13	15
0	7	7
1	10	7
2	12	7
done	12	7
0	8	20
1	12	12
2	25	8
3	52	8
4	82	8
5	106	8
6	129	8
7	189	8
8	402	8
9	1339	8
done	5000	8
0	8	14
1	12	7
2	14	7
done	14	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	6	8
1	8	8
2	10	8
3	11	8
done	11	8
0	5	5
done	5	5
0	5	5
done	5	5
0	5	5
done	5	5
0	4	4
1	6	4
done	6	4
0	4	4
done	4	4
0	2	2
1	4	1
done	4	1
0	6	6
1	9	6
2	11	6
done	11	6
0	2	2
done	2	2
0	6	6
1	11	6
2	13	6
done	13	6
0	2	2
done	2	2
0	4	4
1	5	4
done	5	4
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	10	7
2	12	7
done	12	7
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	1	1
done	1	1
0	1	1
done	1	1
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	1	1
done	1	1
0	1	1
done	1	1
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	1	1
done	1	1
0	1	1
done	1	1
0	7	7
1	16	7
2	37	7
3	64	7
4	75	7
done	75	7
0	1	1
done	1	1
0	1	1
done	1	1

prune108.0ms

Filtered

68 candidates to 84 candidates (-23.5%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	84	16	100

Merged error: 8.4b

Counts

100 → 16

regimes1.3s

Accuracy

44.3% (7.4b remaining)

Error of 13.7b against oracle of 6.3b and baseline of 19.6b

bsearch2.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	50
1	36	50
done	36	50

end0.0ms

sample1.7s

Algorithm

intervals

Results

364.0ms	8906×	body	80	valid
350.0ms	8865×	body	80	nan

Details

sample62.0ms

simplify5.0ms

prune4.0ms

localize8.0ms

rewrite20.0ms

series33.0ms

simplify40.6s

prune176.0ms

localize10.0ms

rewrite23.0ms

series83.0ms

simplify29.4s

prune161.0ms

localize16.0ms

rewrite21.0ms

series106.0ms

simplify35.4s

prune169.0ms

localize16.0ms

rewrite21.0ms

series41.0ms

simplify12.4s

prune108.0ms

regimes1.3s

bsearch2.0ms

simplify3.0ms

end0.0ms

sample1.7s

Profiling