Details

sample44.0ms

Algorithm

intervals

Results

9.0ms	223×	body	80	valid
6.0ms	34×	body	1280	valid
3.0ms	24×	body	640	valid
3.0ms	28×	body	320	valid
1.0ms	11×	body	160	valid
0.0ms	2×	body	2560	valid

simplify8.5s

Counts

1 → 1

Iterations

Useful iterations: 3 (21.0ms)

Iter	Nodes	Cost
0	9	15
1	20	15
2	64	7
3	151	5
4	485	5
5	1994	5
6	4650	5
done	5000	5

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.0b

Counts

2 → 1

localize4.0ms

Local error

Found 1 expressions with local error:

0.0b	(* y (- x z))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-sqr-sqrt`
5×	`-un-lft-identity` `associate-r*`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `associate-l` `add-cbrt-cube`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`flip3--` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`

Counts

1 → 26

Calls

1 calls:

7.0ms

(* y (- x z))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(* y (- x z))

simplify15.2s

Counts

29 → 29

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	12	6
2	20	6
3	25	6
4	29	6
done	29	6
0	6	6
1	11	6
2	24	6
3	49	6
4	90	6
5	192	6
6	441	6
7	1402	6
done	5001	6
0	9	17
1	18	17
2	62	9
3	243	9
4	855	7
5	2965	7
done	5001	7
0	7	13
1	10	13
2	17	13
3	22	13
4	26	13
done	26	13
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	17
1	20	17
2	74	7
3	266	7
4	818	7
5	2511	7
done	5000	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	3	3
1	4	3
done	4	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	7	11
1	12	11
2	15	11
done	15	11
0	6	6
1	9	6
2	10	6
done	10	6
0	3	3
1	6	1
done	6	1
0	7	7
1	15	7
2	16	7
done	16	7
0	3	3
1	6	1
done	6	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	8	9
1	24	9
2	52	9
3	131	9
4	309	9
5	988	9
6	4466	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	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune32.0ms

Filtered

19 candidates to 29 candidates (-52.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Merged error: 0b

Counts

30 → 2

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* y x) (* y (neg z)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 14

Calls

1 calls:

4.0ms

(+ (* y x) (* y (neg z)))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(+ (* y x) (* y (neg z)))

simplify18.9s

Counts

17 → 17

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	19	9
2	40	7
3	87	6
4	237	6
5	980	6
done	5000	6
0	8	9
1	15	7
2	25	6
3	27	6
done	27	6
0	8	9
1	18	7
2	37	6
3	68	6
4	155	6
5	589	6
6	2547	6
done	5000	6
0	9	19
1	16	15
2	23	13
3	24	13
done	24	13
0	8	9
1	15	7
2	22	6
3	23	6
done	23	6
0	9	26
1	29	20
2	121	7
3	571	7
4	2168	7
done	5000	7
0	8	9
1	15	7
2	22	6
3	23	6
done	23	6
0	8	9
1	15	7
2	22	6
3	23	6
done	23	6
0	10	12
1	33	12
2	115	12
3	394	11
4	1037	11
5	2869	11
done	5000	11
0	11	26
1	39	21
2	139	19
3	375	17
4	782	15
5	1310	13
6	1603	13
7	1685	13
done	1685	13
0	9	17
1	31	17
2	101	11
3	242	11
4	421	11
5	724	11
6	1314	11
7	2877	11
done	5000	11
0	7	8
1	15	6
2	26	6
3	41	5
4	46	5
done	46	5
0	4	4
1	6	3
done	6	3
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5
0	6	7
1	12	5
2	21	5
3	22	5
done	22	5

prune17.0ms

Filtered

11 candidates to 17 candidates (-54.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

19 → 2

regimes129.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	12	8
2	15	8
3	16	8
done	16	8

end1.0ms

sample1.2s

Algorithm

intervals

Results

295.0ms	7048×	body	80	valid
166.0ms	940×	body	1280	valid
131.0ms	937×	body	640	valid
72.0ms	642×	body	320	valid
45.0ms	218×	body	2560	valid
31.0ms	361×	body	160	valid

Details

sample44.0ms

simplify8.5s

prune8.0ms

localize4.0ms

rewrite8.0ms

series9.0ms

simplify15.2s

prune32.0ms

localize6.0ms

rewrite4.0ms

series9.0ms

simplify18.9s

prune17.0ms

regimes129.0ms

bsearch0.0ms

simplify3.0ms

end1.0ms

sample1.2s

Profiling