Details

sample29.0ms

Algorithm

intervals

Results

13.0ms

320×

body

valid

simplify109.0ms

Counts

1 → 1

Iterations

Useful iterations: 3 (12.0ms)

Iter	Nodes	Cost
0	11	13
1	19	13
2	39	11
3	91	9
4	159	9
5	168	9
done	168	9

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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 → 2

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(* d1 (+ 32.0 (+ (+ d3 5.0) d2)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity`
6×	`associate-r` `distribute-lft-out`
5×	`add-sqr-sqrt`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
2×	`associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `add-log-exp` `unswap-sqr`

Counts

1 → 25

Calls

1 calls:

11.0ms

(* d1 (+ 32.0 (+ (+ d3 5.0) d2)))

series15.0ms

Counts

1 → 3

Calls

1 calls:

15.0ms

(* d1 (+ 32.0 (+ (+ d3 5.0) d2)))

simplify7.6s

Counts

28 → 28

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	23	9
2	61	9
3	137	9
4	204	9
5	211	9
done	211	9
0	11	11
1	19	11
2	38	11
3	67	11
4	73	11
done	73	11
0	10	10
1	27	10
2	66	10
3	142	10
4	210	10
5	216	10
done	216	10
0	10	10
1	26	10
2	73	10
3	189	10
4	367	10
5	695	10
6	1623	10
done	5000	10
0	13	29
1	39	29
2	193	13
3	1349	13
done	5001	13
0	11	21
1	25	21
2	63	21
3	138	21
4	205	21
5	211	21
done	211	21
0	10	10
1	24	10
2	62	10
3	140	10
4	204	10
5	212	10
done	212	10
0	11	29
1	35	29
2	162	11
3	1046	11
done	5002	11
0	10	10
1	24	10
2	62	10
3	140	10
4	204	10
5	212	10
done	212	10
0	10	10
1	24	10
2	62	10
3	140	10
4	204	10
5	212	10
done	212	10
0	11	11
1	19	11
2	38	11
3	67	11
4	73	11
done	73	11
0	11	11
1	19	11
2	38	11
3	67	11
4	73	11
done	73	11
0	3	3
1	4	3
done	4	3
0	7	7
1	18	7
2	37	7
3	54	7
done	54	7
0	3	3
1	4	3
done	4	3
0	7	7
1	12	7
2	32	7
3	49	7
4	55	7
done	55	7
0	11	19
1	21	19
2	42	19
3	68	19
4	70	19
done	70	19
0	10	10
1	18	10
2	37	10
3	63	10
4	66	10
done	66	10
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	10	10
1	24	10
2	62	10
3	140	10
4	208	10
5	215	10
done	215	10
0	10	10
1	24	10
2	62	10
3	140	10
4	208	10
5	215	10
done	215	10
0	9	9
1	23	9
2	61	9
3	137	9
4	204	9
5	211	9
done	211	9
0	12	13
1	37	13
2	105	13
3	427	13
4	1987	13
done	5001	13
0	11	17
1	27	17
2	104	17
3	454	17
4	2424	17
done	5001	17
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7

prune42.0ms

Filtered

20 candidates to 28 candidates (-40.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

30 → 2

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ d3 5.0) d1)
0.0b	(+ (* d1 d2) (* (+ d3 5.0) d1))
0.0b	(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-log-exp`
7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
4×	`associate-l` `sum-log`
3×	`flip3-+` `associate-r` `flip-+`
2×	`+-commutative` `associate-*l/`
1×	`associate-+l+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

3 → 45

Calls

3 calls:

7.0ms	(* (+ d3 5.0) d1)
4.0ms	(+ (* d1 d2) (* (+ d3 5.0) d1))
7.0ms	(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

series24.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(* (+ d3 5.0) d1)
9.0ms	(+ (* d1 d2) (* (+ d3 5.0) d1))
10.0ms	(+ (+ (* d1 d2) (* (+ d3 5.0) d1)) (* d1 32.0))

simplify48.6s

Counts

54 → 54

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	16
1	29	15
2	71	12
3	179	10
4	736	10
5	4248	10
done	5001	10
0	13	15
1	26	14
2	60	12
3	141	10
4	452	10
5	2149	10
done	5000	10
0	12	14
1	20	14
2	40	12
3	92	10
4	163	10
5	178	10
done	178	10
0	12	14
1	23	14
2	54	12
3	137	10
4	317	10
5	830	10
6	4296	10
done	5000	10
0	13	29
1	21	29
2	41	25
3	93	21
4	159	21
5	170	21
done	170	21
0	12	14
1	20	14
2	40	12
3	92	10
4	160	10
5	174	10
done	174	10
0	13	41
1	34	41
2	138	13
3	744	11
done	5001	11
0	12	14
1	20	14
2	40	12
3	92	10
4	160	10
5	174	10
done	174	10
0	12	14
1	20	14
2	40	12
3	92	10
4	160	10
5	174	10
done	174	10
0	14	17
1	36	17
2	102	15
3	300	15
4	1223	15
done	5000	15
0	15	41
1	43	37
2	140	31
3	489	25
4	2334	25
done	5001	25
0	13	27
1	36	27
2	117	23
3	405	19
4	1809	19
done	5000	19
0	11	13
1	20	13
2	47	11
3	103	9
4	203	9
5	270	9
6	392	9
7	687	9
8	1113	9
9	1281	9
10	1496	9
11	1733	9
done	1733	9
0	8	9
1	12	9
2	24	7
3	42	7
4	50	7
done	50	7
0	10	11
1	20	10
2	45	8
3	91	8
4	247	8
5	778	8
6	3530	8
done	5000	8
0	9	10
1	13	10
2	25	8
3	46	8
4	57	8
done	57	8
0	9	10
1	16	10
2	36	8
3	75	8
4	160	8
5	406	8
6	1463	8
done	5000	8
0	10	21
1	14	21
2	26	17
3	44	17
4	54	17
done	54	17
0	9	10
1	13	10
2	25	8
3	43	8
4	53	8
done	53	8
0	10	29
1	27	29
2	99	9
3	453	9
4	2341	9
done	5001	9
0	9	10
1	13	10
2	25	8
3	43	8
4	53	8
done	53	8
0	9	10
1	13	10
2	25	8
3	43	8
4	53	8
done	53	8
0	11	13
1	33	13
2	103	13
3	342	13
4	914	13
5	2518	13
done	5000	13
0	12	29
1	40	23
2	134	21
3	432	19
4	1189	17
5	3159	17
done	5000	17
0	10	19
1	31	19
2	100	15
3	311	15
4	893	15
5	2516	15
done	5000	15
0	8	9
1	13	9
2	30	7
3	58	7
4	97	7
5	119	7
6	153	7
7	246	7
8	310	7
9	347	7
10	394	7
11	397	7
done	397	7
0	5	5
1	7	5
2	15	5
done	15	5
0	7	7
1	9	7
done	9	7
0	6	6
1	11	6
2	20	6
done	20	6
0	6	6
1	10	6
2	28	6
3	40	6
4	67	6
5	133	6
6	333	6
7	949	6
8	3387	6
done	5000	6
0	9	17
1	29	17
2	90	9
3	256	9
4	979	7
5	3629	7
done	5000	7
0	7	13
1	9	13
2	17	13
done	17	13
0	6	6
1	8	6
2	16	6
done	16	6
0	7	17
1	19	17
2	80	7
3	291	7
4	726	7
5	1840	7
6	4312	7
done	5000	7
0	6	6
1	8	6
2	16	6
done	16	6
0	6	6
1	8	6
2	16	6
done	16	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	7	9
1	11	9
2	21	9
3	33	9
4	35	9
done	35	9
0	6	6
1	8	6
2	16	6
done	16	6
0	5	5
1	9	3
2	20	3
3	28	3
done	28	3
0	6	6
1	8	6
done	8	6
0	6	6
1	8	6
done	8	6
0	5	5
1	7	5
2	15	5
done	15	5
0	5	5
1	7	5
2	15	5
done	15	5
0	8	9
1	23	9
2	40	9
3	81	9
4	157	9
5	382	9
6	1272	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	395	9
7	764	9
8	3363	9
done	5000	9
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	9	11
1	18	9
2	32	7
3	44	7
4	48	7
done	48	7
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5
0	6	7
1	9	7
2	13	5
3	15	5
done	15	5

prune70.0ms

Filtered

42 candidates to 54 candidates (-28.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

56 → 2

regimes207.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

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

end0.0ms

sample859.0ms

Algorithm

intervals

Results

426.0ms	10143×	body	80	valid
3.0ms	18×	body	640	valid
1.0ms	8×	body	1280	valid
1.0ms	5×	body	320	valid
0.0ms	6×	body	160	valid

Details

sample29.0ms

simplify109.0ms

prune9.0ms

localize7.0ms

rewrite12.0ms

series15.0ms

simplify7.6s

prune42.0ms

localize9.0ms

rewrite19.0ms

series24.0ms

simplify48.6s

prune70.0ms

regimes207.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample859.0ms

Profiling