Details

sample25.0ms

Algorithm

intervals

Results

9.0ms

320×

body

valid

simplify5.0ms

Counts

1 → 1

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	11	5
2	13	5
done	13	5

prune14.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

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 12

Calls

1 calls:

4.0ms

(+ (* d1 d2) (* d1 d3))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(+ (* d1 d2) (* d1 d3))

simplify20.4s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	16	8
2	30	6
3	60	6
4	177	6
5	623	6
6	2819	6
done	5000	6
0	7	8
1	12	6
2	17	6
3	18	6
done	18	6
0	7	8
1	15	6
2	26	6
3	43	6
4	102	6
5	300	6
6	1066	6
done	5000	6
0	8	17
1	13	13
2	15	13
done	15	13
0	7	8
1	12	6
2	14	6
done	14	6
0	8	23
1	26	17
2	105	7
3	431	7
4	1225	7
5	3356	7
done	5000	7
0	7	8
1	12	6
2	14	6
done	14	6
0	7	8
1	12	6
2	14	6
done	14	6
0	9	11
1	30	11
2	96	11
3	244	11
4	483	11
5	1232	11
6	4773	11
done	5000	11
0	10	23
1	36	19
2	105	17
3	224	15
4	399	13
5	594	13
6	865	13
7	1083	13
8	1532	13
9	2201	13
10	2232	13
done	2232	13
0	8	15
1	28	15
2	77	11
3	158	11
4	271	11
5	472	11
6	722	11
7	1215	11
8	3266	11
done	5001	11
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	3	3
1	4	3
done	4	3
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune17.0ms

Filtered

10 candidates to 15 candidates (-50.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

17 → 2

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(* d1 (+ d2 d3))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`associate-r`
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-+` `distribute-lft-out` `add-log-exp` `unswap-sqr`

Counts

1 → 23

Calls

1 calls:

7.0ms

(* d1 (+ d2 d3))

series11.0ms

Counts

1 → 3

Calls

1 calls:

11.0ms

(* d1 (+ d2 d3))

simplify15.5s

Counts

26 → 26

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	13	5
2	14	5
done	14	5
0	7	7
1	9	7
done	9	7
0	6	6
1	17	6
2	19	6
done	19	6
0	6	6
1	16	6
2	26	6
3	43	6
4	76	6
5	188	6
6	504	6
7	1671	6
done	5000	6
0	9	17
1	29	17
2	110	9
3	373	9
4	1303	7
5	4152	7
done	5001	7
0	7	13
1	15	13
2	16	13
done	16	13
0	6	6
1	14	6
2	15	6
done	15	6
0	7	17
1	25	17
2	97	7
3	352	7
4	820	7
5	2225	7
done	5000	7
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	7	7
1	9	7
done	9	7
0	7	7
1	9	7
done	9	7
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	3	3
1	4	3
done	4	3
0	7	11
1	11	11
2	13	11
done	13	11
0	6	6
1	8	6
done	8	6
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	6	6
1	14	6
2	15	6
done	15	6
0	6	6
1	14	6
2	15	6
done	15	6
0	5	5
1	13	5
2	14	5
done	14	5
0	8	9
1	29	9
2	63	9
3	105	9
4	194	9
5	477	9
6	1523	9
done	5000	9
0	7	9
1	13	9
2	30	9
3	76	9
4	159	9
5	245	9
6	400	9
7	771	9
8	3375	9
done	5000	9
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5
0	6	7
1	11	5
2	13	5
done	13	5

prune22.0ms

Filtered

17 candidates to 26 candidates (-52.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

28 → 2

regimes163.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	6	7
1	9	7
done	9	7

end0.0ms

sample712.0ms

Algorithm

intervals

Results

303.0ms

10170×

body

valid

Details

sample25.0ms

simplify5.0ms

prune14.0ms

localize5.0ms

rewrite4.0ms

series8.0ms

simplify20.4s

prune17.0ms

localize4.0ms

rewrite7.0ms

series11.0ms

simplify15.5s

prune22.0ms

regimes163.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample712.0ms

Profiling