Details

sample28.0ms

Algorithm

intervals

Results

12.0ms

318×

body

valid

simplify5.2s

Counts

1 → 1

Iterations

Useful iterations: 7 (754.0ms)

Iter	Nodes	Cost
0	10	11
1	20	11
2	47	11
3	129	11
4	270	11
5	501	11
6	764	11
7	1120	9
8	2853	9
done	5000	9

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

localize7.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (- x y) z)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`times-frac`
11×	`add-cube-cbrt`
5×	`associate-/l*`
4×	`distribute-lft-out--` `difference-of-squares`
3×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
2×	`associate-/l/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-sub` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 38

Calls

1 calls:

7.0ms

(/ (- x y) z)

series8.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(/ (- x y) z)

simplify4.4s

Counts

41 → 41

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	11	7
2	13	7
done	13	7
0	6	6
1	14	6
2	19	6
3	22	6
done	22	6
0	6	6
1	11	6
2	17	6
3	21	6
4	24	6
5	30	6
6	34	6
7	50	6
8	54	6
9	61	6
10	70	6
11	90	6
12	111	6
13	129	6
14	136	6
15	142	6
16	145	6
done	145	6
0	9	17
1	20	17
2	68	9
3	203	7
4	562	7
5	2030	7
done	5000	7
0	7	13
1	12	13
2	15	13
3	17	13
done	17	13
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	7	17
1	19	17
2	50	7
3	176	7
4	571	7
5	1720	7
done	5001	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
2	10	4
3	12	4
4	13	3
done	13	3
0	2	2
done	2	2
0	3	3
done	3	3
0	3	3
done	3	3
0	9	15
1	17	15
2	27	15
3	33	15
done	33	15
0	7	7
1	9	7
2	10	7
done	10	7
0	8	12
1	12	12
2	15	12
3	16	12
done	16	12
0	7	7
1	9	7
2	10	7
done	10	7
0	7	11
1	13	9
2	20	9
3	25	9
done	25	9
0	6	6
1	8	6
2	9	6
done	9	6
0	8	10
1	12	10
2	13	10
done	13	10
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	7	7
1	9	7
2	10	7
done	10	7
0	6	6
1	10	4
2	13	4
done	13	4
0	6	6
1	8	6
2	9	6
done	9	6
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	9	11
1	12	11
done	12	11
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	8	8
1	9	8
done	9	8
0	8	8
1	13	8
2	16	8
3	18	8
done	18	8
0	7	7
1	10	5
2	12	5
done	12	5
0	7	7
1	12	7
2	15	7
3	17	7
done	17	7
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	13	5
3	15	5
done	15	5
0	3	3
1	5	3
done	5	3
0	5	5
1	7	5
2	8	5
done	8	5
0	7	9
1	14	9
2	22	9
3	27	9
4	30	9
done	30	9
0	6	6
1	11	6
2	14	6
3	16	6
done	16	6
0	5	5
1	12	3
2	17	3
done	17	3
0	6	6
1	8	6
2	9	6
done	9	6
0	6	6
1	8	6
2	9	6
done	9	6
0	5	5
1	7	5
2	8	5
done	8	5
0	7	7
1	9	7
2	10	7
done	10	7
0	5	5
1	7	5
2	8	5
done	8	5
0	9	13
1	23	11
2	52	11
3	78	11
4	87	11
5	89	11
done	89	11
0	5	5
1	13	5
2	14	5
done	14	5
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7

prune47.0ms

Filtered

30 candidates to 41 candidates (-36.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	40	1	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	40	2	42

Merged error: 0b

Counts

42 → 2

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (/ x z) (/ y z))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
11×	`*-un-lft-identity`
10×	`times-frac`
4×	`distribute-lft-out--` `difference-of-squares`
3×	`add-cube-cbrt` `add-log-exp`
2×	`div-inv`
1×	`pow1` `add-exp-log` `sub-neg` `flip3--` `distribute-rgt-out--` `diff-log` `frac-sub` `add-cbrt-cube` `flip--` `sub-div`

Counts

1 → 23

Calls

1 calls:

15.0ms

(- (/ x z) (/ y z))

series7.0ms

Counts

1 → 3

Calls

1 calls:

7.0ms

(- (/ x z) (/ y z))

simplify11.6s

Counts

26 → 26

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	10	8
2	12	8
3	17	8
4	20	8
5	26	8
6	30	8
7	46	8
8	50	8
9	57	8
10	66	8
11	86	8
12	107	8
13	121	8
14	126	8
15	128	8
done	128	8
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	12	8
2	17	8
3	20	8
4	26	8
5	30	8
6	46	8
7	50	8
8	57	8
9	66	8
10	86	8
11	107	8
12	121	8
13	126	8
14	128	8
done	128	8
0	8	17
1	10	17
2	13	17
done	13	17
0	7	8
1	9	8
2	12	8
done	12	8
0	8	23
1	11	23
2	28	9
3	87	9
4	292	9
5	986	9
6	3239	9
done	5001	9
0	7	8
1	9	8
2	12	8
done	12	8
0	7	8
1	9	8
2	12	8
done	12	8
0	3	3
1	5	3
2	6	3
done	6	3
0	6	7
1	10	7
2	19	5
3	23	5
4	24	5
done	24	5
0	2	3
done	2	3
0	9	11
1	29	11
2	84	11
3	240	11
4	774	11
5	2602	11
done	5000	11
0	10	23
1	29	19
2	57	19
3	85	19
4	114	17
5	137	17
6	160	17
7	177	17
8	187	17
9	188	17
done	188	17
0	4	4
1	6	4
done	6	4
0	8	15
1	21	15
2	42	15
3	82	15
4	149	15
5	247	15
6	348	15
7	579	13
8	2083	13
done	5000	13
0	6	7
1	7	7
done	7	7
0	8	9
1	9	9
done	9	9
0	8	9
1	10	9
2	11	9
done	11	9
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	14	10
done	14	10
0	9	10
1	10	10
done	10	10
0	9	10
1	11	10
2	12	10
done	12	10
0	9	11
1	10	11
done	10	11
0	9	11
1	11	11
2	14	11
done	14	11
0	7	9
1	9	9
2	12	9
done	12	9
0	7	9
1	9	9
2	12	9
done	12	9
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	3	3
1	5	3
2	6	3
done	6	3
0	4	4
1	6	4
done	6	4
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7
0	6	7
1	8	7
2	11	7
done	11	7

prune27.0ms

Filtered

19 candidates to 26 candidates (-36.8%)

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

regimes173.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	10	9
done	10	9

end0.0ms

sample798.0ms

Algorithm

intervals

Results

371.0ms

10055×

body

valid

Details

sample28.0ms

simplify5.2s

prune8.0ms

localize7.0ms

rewrite8.0ms

series8.0ms

simplify4.4s

prune47.0ms

localize8.0ms

rewrite16.0ms

series7.0ms

simplify11.6s

prune27.0ms

regimes173.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample798.0ms

Profiling