Details

sample37.0ms

Algorithm

intervals

Results

8.0ms	169×	body	80	valid
8.0ms	28×	body	1280	valid
6.0ms	33×	body	640	valid
2.0ms	17×	body	320	valid
1.0ms	9×	body	160	valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6

prune3.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: 0.1b

Counts

2 → 1

localize13.0ms

Local error

Found 2 expressions with local error:

0.1b	(* x (/ (sin y) y))
0.1b	(/ (sin y) y)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt`
19×	`times-frac`
18×	`add-cube-cbrt` `*-un-lft-identity`
13×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
4×	`pow1`
3×	`associate-l` `associate-/r` `associate-/l`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

2 → 59

Calls

2 calls:

9.0ms	(* x (/ (sin y) y))
4.0ms	(/ (sin y) y)

series18.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(* x (/ (sin y) y))
6.0ms	(/ (sin y) y)

simplify32.2s

Counts

65 → 65

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	6
1	7	6
2	8	6
done	8	6
0	4	5
1	7	5
2	9	5
3	10	5
done	10	5
0	4	5
done	4	5
0	7	14
1	16	14
2	48	8
3	115	6
4	193	6
5	309	6
6	770	6
7	3350	6
done	5001	6
0	5	11
done	5	11
0	4	5
done	4	5
0	5	14
1	12	14
2	28	6
3	66	6
4	131	6
5	191	6
6	317	6
7	810	6
8	3527	6
done	5000	6
0	4	5
done	4	5
0	4	5
done	4	5
0	3	3
done	3	3
0	2	2
done	2	2
0	7	13
1	13	13
2	22	13
3	28	13
done	28	13
0	5	6
done	5	6
0	6	10
1	8	10
2	10	10
3	11	10
done	11	10
0	5	6
done	5	6
0	6	9
1	10	7
2	16	7
3	21	7
done	21	7
0	4	5
done	4	5
0	6	9
1	8	9
done	8	9
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	5
1	7	3
2	9	3
done	9	3
0	4	5
done	4	5
0	5	7
1	9	7
done	9	7
0	4	5
done	4	5
0	4	4
1	6	4
done	6	4
0	4	5
done	4	5
0	2	3
1	4	1
done	4	1
0	3	4
done	3	4
0	3	3
1	5	3
done	5	3
0	3	4
done	3	4
0	5	8
1	7	8
done	7	8
0	4	5
done	4	5
0	4	4
1	6	2
2	8	2
done	8	2
0	4	5
done	4	5
0	4	5
done	4	5
0	3	4
done	3	4
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	8	9
1	13	9
2	20	9
3	29	9
4	35	9
5	45	9
6	52	9
7	64	9
8	87	9
9	101	9
10	107	9
done	107	9
0	7	8
1	11	8
2	17	8
3	26	8
4	36	8
5	45	8
6	50	8
7	59	8
8	76	8
9	95	8
10	103	8
done	103	8
0	6	7
1	12	7
2	21	7
3	35	7
4	55	7
5	69	7
6	81	7
7	99	7
8	115	7
9	122	7
10	139	7
11	141	7
done	141	7
0	6	7
1	11	7
2	20	7
3	34	7
4	67	7
5	148	7
6	360	7
7	1396	7
done	5000	7
0	11	20
1	26	20
2	104	12
3	444	10
4	1697	10
done	5000	10
0	9	20
1	22	20
2	71	10
3	225	10
4	778	8
5	2424	8
done	5000	8
0	7	15
1	10	15
2	13	15
3	17	15
4	18	15
done	18	15
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	7	20
1	20	20
2	74	8
3	270	8
4	830	8
5	2532	8
done	5000	8
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	7	8
1	8	8
done	8	8
0	7	8
1	8	8
done	8	8
0	8	9
1	11	9
2	14	9
3	18	9
4	19	9
done	19	9
0	8	9
1	11	9
2	14	9
3	18	9
4	19	9
done	19	9
0	7	13
1	10	13
2	12	13
done	12	13
0	6	7
1	7	7
done	7	7
0	9	15
1	18	15
2	47	15
3	86	15
4	142	15
5	158	15
done	158	15
0	8	12
1	13	12
2	23	12
3	38	12
4	51	12
5	53	12
done	53	12
0	8	11
1	15	9
2	32	9
3	69	9
4	103	9
done	103	9
0	8	11
1	13	11
2	24	11
3	38	11
4	50	11
done	50	11
0	7	8
1	10	8
2	13	8
3	17	8
4	18	8
done	18	8
0	7	7
1	12	5
2	19	5
3	28	5
4	34	5
done	34	5
0	7	9
1	14	9
2	24	7
3	31	7
4	49	7
5	79	7
6	82	7
done	82	7
0	6	6
1	11	6
2	14	4
3	15	4
4	20	4
5	21	4
done	21	4
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	4	4
1	5	4
done	5	4
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	6	7
1	9	7
2	12	7
3	16	7
4	17	7
done	17	7
0	5	6
1	8	6
2	11	6
3	15	6
4	16	6
done	16	6
0	4	4
1	5	4
done	5	4
0	12	13
1	28	13
2	74	13
3	187	13
4	555	13
5	1331	13
done	5001	13
0	3	4
done	3	4
0	3	4
done	3	4
0	8	9
1	19	9
2	57	9
3	120	9
4	185	9
5	201	9
6	232	9
7	292	9
8	499	9
9	1425	9
done	5000	9
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6

prune110.0ms

Filtered

52 candidates to 65 candidates (-25.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	56	9	65
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	10	66

Merged error: 0b

Counts

66 → 10

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b	(* x (* (sin y) (/ 1 y)))
0.3b	(* (sin y) (/ 1 y))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-exp-log`
18×	`add-sqr-sqrt`
16×	`add-cbrt-cube`
14×	`associate-r`
13×	`prod-exp`
12×	`*-un-lft-identity`
11×	`add-cube-cbrt` `times-frac`
9×	`pow1`
7×	`cbrt-unprod`
6×	`associate-l`
4×	`associate-*r/` `div-exp` `pow-prod-down`
3×	`unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `1-exp` `un-div-inv` `*-commutative` `add-log-exp`
1×	`div-inv`

Counts

2 → 60

Calls

2 calls:

9.0ms	(* x (* (sin y) (/ 1 y)))
9.0ms	(* (sin y) (/ 1 y))

series17.0ms

Counts

2 → 6

Calls

2 calls:

12.0ms	(* x (* (sin y) (/ 1 y)))
5.0ms	(* (sin y) (/ 1 y))

simplify44.5s

Counts

66 → 66

Iterations

Useful iterations: 3 (7.0ms)

Iter	Nodes	Cost
0	5	6
1	10	6
2	13	4
3	28	4
4	29	4
done	29	4
0	6	7
1	8	6
done	8	6
0	7	8
1	12	7
2	22	6
3	31	6
4	49	6
5	74	6
6	79	6
7	88	6
8	102	6
done	102	6
0	8	9
1	15	8
2	22	6
3	39	6
4	57	6
5	83	6
6	86	6
7	95	6
8	107	6
done	107	6
0	7	8
1	14	7
2	20	6
3	31	6
4	43	6
5	75	6
6	94	6
7	101	6
8	108	6
done	108	6
0	6	7
1	14	7
2	23	5
3	44	5
4	65	5
5	84	5
6	110	5
7	115	5
8	124	5
9	141	5
done	141	5
0	6	7
1	13	7
2	22	5
3	50	5
4	95	5
5	193	5
6	467	5
7	1459	5
done	5000	5
0	11	20
1	27	16
2	73	8
3	246	8
4	592	8
5	1065	6
6	2761	6
done	5000	6
0	9	20
1	24	20
2	73	10
3	204	10
4	486	6
5	979	6
6	2132	6
done	5001	6
0	7	15
1	12	15
2	15	11
3	30	11
4	31	11
done	31	11
0	6	7
1	11	7
2	14	5
3	29	5
4	30	5
done	30	5
0	7	20
1	22	20
2	76	6
3	223	6
4	449	6
5	616	6
6	1129	6
7	2862	6
done	5000	6
0	6	7
1	11	7
2	14	5
3	29	5
4	30	5
done	30	5
0	6	7
1	11	7
2	14	5
3	29	5
4	30	5
done	30	5
0	7	8
1	10	8
done	10	8
0	7	8
1	10	8
done	10	8
0	8	9
1	13	8
2	16	8
3	20	6
4	31	6
done	31	6
0	8	9
1	13	8
2	16	8
3	20	6
4	31	6
done	31	6
0	7	8
1	12	8
2	15	6
3	30	6
4	31	6
done	31	6
0	7	8
1	12	8
2	15	6
3	30	6
4	31	6
done	31	6
0	7	12
1	12	12
2	14	12
done	14	12
0	6	7
1	9	7
done	9	7
0	9	14
1	20	12
2	49	10
3	85	8
4	96	8
done	96	8
0	8	11
1	15	9
2	25	7
3	38	5
4	40	5
done	40	5
0	7	10
1	14	6
2	29	4
3	33	2
4	37	2
done	37	2
0	8	11
1	15	10
2	26	10
3	39	8
4	76	8
5	83	8
done	83	8
0	7	8
1	12	7
2	15	7
3	19	5
4	30	5
done	30	5
0	6	7
1	11	4
2	16	2
3	20	2
done	20	2
0	7	10
1	14	10
2	24	8
3	53	8
4	72	8
5	73	8
done	73	8
0	6	7
1	11	7
2	14	5
3	29	5
4	30	5
done	30	5
0	5	6
1	10	4
2	15	2
3	19	2
done	19	2
0	4	4
1	7	2
2	10	2
done	10	2
0	4	4
1	7	2
2	10	2
done	10	2
0	6	7
1	11	7
2	14	5
3	29	5
4	32	5
done	32	5
0	6	7
1	11	7
2	14	5
3	29	5
4	32	5
done	32	5
0	5	6
1	10	6
2	13	4
3	28	4
4	29	4
done	29	4
0	4	4
1	7	2
2	10	2
done	10	2
0	7	8
1	15	8
2	30	6
3	63	6
4	91	6
5	93	6
done	93	6
0	7	8
1	15	8
2	30	6
3	63	6
4	91	6
5	93	6
done	93	6
0	9	10
1	14	9
2	23	9
3	30	9
4	37	9
5	49	9
6	59	9
7	77	9
8	92	9
9	107	9
10	110	9
done	110	9
0	10	11
1	18	10
2	42	9
3	84	9
4	160	9
5	271	9
6	316	9
7	344	9
8	383	9
done	383	9
0	11	12
1	21	11
2	41	9
3	88	9
4	163	9
5	269	9
6	308	9
7	334	9
8	373	9
done	373	9
0	10	11
1	20	10
2	35	9
3	68	9
4	116	9
5	206	9
6	329	9
7	357	9
8	403	9
done	403	9
0	9	10
1	18	10
2	31	8
3	62	8
4	109	8
5	181	8
6	297	8
7	338	8
8	368	8
9	404	8
done	404	8
0	8	9
1	19	9
2	43	7
3	98	7
4	167	7
5	235	7
6	317	7
7	393	7
8	412	7
9	431	7
done	431	7
0	8	9
1	18	9
2	41	7
3	103	7
4	232	7
5	477	7
6	1228	7
7	4029	7
done	5001	7
0	15	26
1	37	22
2	126	12
3	613	12
4	2708	12
done	5000	12
0	13	26
1	34	26
2	126	14
3	509	14
4	1954	10
done	5000	10
0	11	26
1	32	26
2	127	10
3	575	10
4	2104	8
done	5000	8
0	9	19
1	17	19
2	32	15
3	65	15
4	92	15
5	94	15
done	94	15
0	8	9
1	16	9
2	31	7
3	64	7
4	90	7
5	92	7
done	92	7
0	9	26
1	27	26
2	117	8
3	615	8
4	2289	8
done	5000	8
0	8	9
1	16	9
2	31	7
3	64	7
4	90	7
5	92	7
done	92	7
0	8	9
1	16	9
2	31	7
3	64	7
4	90	7
5	92	7
done	92	7
0	4	4
1	5	4
done	5	4
0	8	9
1	16	9
2	31	7
3	64	7
4	90	7
5	93	7
done	93	7
0	8	9
1	16	9
2	31	7
3	64	7
4	90	7
5	93	7
done	93	7
0	7	8
1	15	8
2	30	6
3	63	6
4	91	6
5	93	6
done	93	6
0	4	4
1	5	4
done	5	4
0	6	6
1	12	4
2	22	4
3	28	4
done	28	4
0	12	13
1	28	13
2	74	13
3	187	13
4	555	13
5	1331	13
done	5001	13
0	3	4
done	3	4
0	3	4
done	3	4
0	8	9
1	19	9
2	57	9
3	120	9
4	185	9
5	201	9
6	232	9
7	292	9
8	499	9
9	1425	9
done	5000	9
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6
0	5	6
1	8	6
2	12	6
3	15	6
4	16	6
done	16	6

prune87.0ms

Filtered

47 candidates to 66 candidates (-40.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	66	10	76

Merged error: 0b

Counts

76 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
0.3b	(cbrt (/ (sin y) y))
0.3b	(cbrt (/ (sin y) y))
0.3b	(cbrt (/ (sin y) y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

103×	`cbrt-prod`
81×	`add-sqr-sqrt`
69×	`times-frac`
57×	`add-cube-cbrt` `*-un-lft-identity`
16×	`swap-sqr` `associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 144

Calls

4 calls:

14.0ms	(* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
3.0ms	(cbrt (/ (sin y) y))
3.0ms	(cbrt (/ (sin y) y))
3.0ms	(cbrt (/ (sin y) y))

series123.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(* (cbrt (/ (sin y) y)) (cbrt (/ (sin y) y)))
26.0ms	(cbrt (/ (sin y) y))
26.0ms	(cbrt (/ (sin y) y))
31.0ms	(cbrt (/ (sin y) y))

simplify45.3s

Counts

156 → 156

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	5	6
done	5	6
0	5	6
done	5	6
0	6	12
done	6	12
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	8	14
1	14	14
2	23	14
3	29	14
done	29	14
0	6	7
done	6	7
0	7	11
1	9	11
2	11	11
3	12	11
done	12	11
0	6	7
done	6	7
0	7	10
1	11	8
2	17	8
3	22	8
done	22	8
0	5	6
done	5	6
0	7	10
1	9	10
done	9	10
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	6	6
1	8	4
2	10	4
done	10	4
0	5	6
done	5	6
0	6	8
1	10	8
done	10	8
0	5	6
done	5	6
0	5	5
1	7	5
done	7	5
0	5	6
done	5	6
0	3	4
1	5	1
done	5	1
0	4	5
done	4	5
0	2	2
1	4	1
done	4	1
0	4	5
done	4	5
0	3	3
done	3	3
0	4	4
1	6	4
done	6	4
0	3	3
done	3	3
0	2	2
done	2	2
0	6	13
done	6	13
0	5	6
done	5	6
0	6	17
1	7	17
2	9	7
3	14	4
4	20	4
5	30	4
6	53	4
7	118	4
8	324	4
9	1243	4
done	5000	4
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	6	12
done	6	12
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	8	14
1	14	14
2	23	14
3	29	14
done	29	14
0	6	7
done	6	7
0	7	11
1	9	11
2	11	11
3	12	11
done	12	11
0	6	7
done	6	7
0	7	10
1	11	8
2	17	8
3	22	8
done	22	8
0	5	6
done	5	6
0	7	10
1	9	10
done	9	10
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	6	6
1	8	4
2	10	4
done	10	4
0	5	6
done	5	6
0	6	8
1	10	8
done	10	8
0	5	6
done	5	6
0	5	5
1	7	5
done	7	5
0	5	6
done	5	6
0	3	4
1	5	1
done	5	1
0	4	5
done	4	5
0	2	2
1	4	1
done	4	1
0	4	5
done	4	5
0	3	3
done	3	3
0	4	4
1	6	4
done	6	4
0	3	3
done	3	3
0	2	2
done	2	2
0	6	13
done	6	13
0	5	6
done	5	6
0	6	17
1	7	17
2	9	7
3	14	4
4	20	4
5	30	4
6	53	4
7	118	4
8	324	4
9	1243	4
done	5000	4
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	6	12
done	6	12
0	5	6
done	5	6
0	5	6
done	5	6
0	5	6
done	5	6
0	8	14
1	14	14
2	23	14
3	29	14
done	29	14
0	6	7
done	6	7
0	7	11
1	9	11
2	11	11
3	12	11
done	12	11
0	6	7
done	6	7
0	7	10
1	11	8
2	17	8
3	22	8
done	22	8
0	5	6
done	5	6
0	7	10
1	9	10
done	9	10
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	6	6
1	8	4
2	10	4
done	10	4
0	5	6
done	5	6
0	6	8
1	10	8
done	10	8
0	5	6
done	5	6
0	5	5
1	7	5
done	7	5
0	5	6
done	5	6
0	3	4
1	5	1
done	5	1
0	4	5
done	4	5
0	2	2
1	4	1
done	4	1
0	4	5
done	4	5
0	3	3
done	3	3
0	4	4
1	6	4
done	6	4
0	3	3
done	3	3
0	2	2
done	2	2
0	6	13
done	6	13
0	5	6
done	5	6
0	6	17
1	7	17
2	9	7
3	14	4
4	20	4
5	30	4
6	53	4
7	118	4
8	324	4
9	1243	4
done	5000	4
0	5	6
done	5	6
0	5	6
done	5	6
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	4	9
1	8	9
2	14	9
3	21	9
4	26	9
done	26	9
0	5	11
done	5	11
0	2	3
1	6	1
done	6	1
0	6	13
1	8	8
2	9	8
done	9	8
0	6	12
1	8	12
2	10	8
3	11	8
done	11	8
0	6	12
1	8	12
2	12	12
3	17	12
4	35	12
5	75	12
6	181	12
7	552	12
8	2249	12
done	5000	12
0	4	9
1	8	9
2	14	9
3	21	9
4	26	9
done	26	9
0	7	25
done	7	25
0	6	12
done	6	12
0	7	35
1	15	35
2	24	13
3	38	7
4	84	7
5	195	7
6	504	7
7	1764	7
done	5000	7
0	6	12
1	7	6
done	7	6
0	6	12
1	7	6
done	7	6
0	4	7
done	4	7
0	3	5
done	3	5
0	7	25
done	7	25
0	6	13
done	6	13
0	6	13
done	6	13
0	6	13
done	6	13
0	9	29
1	15	29
2	24	29
3	30	29
done	30	29
0	7	15
done	7	15
0	8	23
1	10	23
2	12	23
3	13	23
done	13	23
0	7	15
done	7	15
0	8	21
1	12	17
2	18	17
3	23	17
done	23	17
0	6	13
done	6	13
0	8	21
1	10	21
done	10	21
0	7	15
done	7	15
0	7	15
done	7	15
0	7	15
done	7	15
0	7	13
1	9	9
2	11	9
done	11	9
0	6	13
done	6	13
0	7	17
1	11	17
done	11	17
0	6	13
done	6	13
0	6	11
1	8	11
done	8	11
0	6	13
done	6	13
0	4	9
1	6	3
done	6	1
0	5	11
done	5	11
0	3	5
1	5	3
done	5	1
0	5	11
done	5	11
0	4	7
done	4	7
0	5	9
1	7	9
done	7	9
0	7	27
1	11	27
2	13	15
3	22	8
4	37	8
5	63	8
6	137	8
7	361	8
8	1276	8
done	5000	8
0	6	13
done	6	13
0	6	13
done	6	5
0	6	13
done	6	5
0	2	3
1	4	1
done	4	1
0	5	11
done	5	11
0	6	13
done	6	13
0	6	13
done	6	13
0	10	14
1	11	14
done	11	14
0	10	14
1	11	14
done	11	14
0	8	13
1	9	13
done	9	13
0	8	13
1	9	13
done	9	13
0	10	14
1	11	14
done	11	14
0	10	14
1	11	14
done	11	14
0	7	15
done	7	15
0	7	15
done	7	15
0	10	14
1	11	14
done	11	14
0	10	14
1	11	14
done	11	14
0	8	13
1	9	13
done	9	13
0	8	13
1	9	13
done	9	13
0	10	14
1	11	14
done	11	14
0	10	14
1	11	14
done	11	14
0	6	13
done	6	5
0	6	13
done	6	5
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	7	18
1	8	18
done	8	18
0	7	12
1	8	12
done	8	12
0	11	20
1	18	20
2	27	20
3	33	20
done	33	20
0	10	17
1	13	17
2	15	17
3	16	17
done	16	17
0	10	16
1	15	14
2	21	14
3	26	14
done	26	14
0	10	16
1	13	16
done	13	16
0	9	13
1	10	13
done	10	13
0	9	12
1	12	10
2	14	10
done	14	10
0	10	14
1	15	14
done	15	14
0	9	11
1	12	11
done	12	11
0	8	10
1	11	7
done	11	7
0	7	8
1	10	7
done	10	7
0	6	9
1	7	9
done	7	9
0	7	19
1	10	19
2	12	19
done	12	19
0	6	12
1	7	12
done	7	12
0	6	7
1	9	5
2	12	5
done	12	5
0	6	12
1	7	12
done	7	12
0	7	12
1	8	12
done	8	12
0	9	13
1	10	13
done	10	13
0	9	13
1	10	13
done	10	13
0	8	12
1	9	12
done	9	12
0	9	13
1	10	13
done	10	13
0	9	13
1	10	13
done	10	13
0	8	12
1	9	12
done	9	12
0	8	12
1	9	12
done	9	12
0	8	12
1	9	12
done	9	12
0	5	11
done	5	11
0	5	11
done	5	11
0	8	10
1	11	10
done	11	10
0	6	12
1	7	12
done	7	12
0	6	12
1	7	12
done	7	12
0	5	11
done	5	11
0	6	9
1	7	9
done	7	9
0	6	9
1	7	9
done	7	9
0	14	15
1	35	13
2	80	13
3	210	13
4	718	13
5	2002	13
done	5000	13
0	10	11
1	26	10
2	46	9
3	99	8
4	189	5
5	451	5
6	1263	5
7	4245	5
done	5000	5
0	12	14
1	26	14
2	42	14
3	98	13
4	212	10
5	520	9
6	1373	9
done	5000	9
0	14	15
1	35	13
2	80	13
3	210	13
4	718	13
5	2002	13
done	5000	13
0	10	11
1	26	10
2	46	9
3	99	8
4	189	5
5	451	5
6	1263	5
7	4245	5
done	5000	5
0	12	14
1	26	14
2	42	14
3	98	13
4	212	10
5	520	9
6	1373	9
done	5000	9
0	14	15
1	35	13
2	80	13
3	210	13
4	718	13
5	2002	13
done	5000	13
0	10	11
1	26	10
2	46	9
3	99	8
4	189	5
5	451	5
6	1263	5
7	4245	5
done	5000	5
0	12	14
1	26	14
2	42	14
3	98	13
4	212	10
5	520	9
6	1373	9
done	5000	9
0	14	15
1	35	13
2	85	13
3	199	13
4	565	13
5	1347	13
done	5000	13
0	13	15
1	36	14
2	76	12
3	193	9
4	464	9
5	1433	6
done	5001	6
0	16	20
1	41	20
2	89	18
3	219	16
4	665	15
5	3094	13
done	5000	13

prune169.0ms

Filtered

126 candidates to 156 candidates (-23.8%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	156	10	166

Merged error: 0b

Counts

166 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt x) (cbrt x))
0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt x) (cbrt x))
1.0ms	(cbrt x)
2.0ms	(cbrt x)
2.0ms	(cbrt x)

series123.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(* (cbrt x) (cbrt x))
27.0ms	(cbrt x)
35.0ms	(cbrt x)
32.0ms	(cbrt x)

simplify52.7s

Counts

85 → 85

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	4	6
done	4	6
0	3	3
done	3	3
0	3	3
done	3	3
0	3	3
done	3	3
0	2	2
1	4	1
done	4	1
0	2	2
done	2	2
0	4	7
done	4	7
0	3	3
done	3	3
0	4	8
1	5	8
2	7	4
3	12	1
4	16	1
5	22	1
6	32	1
7	55	1
8	122	1
9	333	1
10	1272	1
done	5000	1
0	3	3
done	3	3
0	3	3
done	3	3
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	2	3
done	2	3
0	3	5
done	3	5
0	2	3
1	6	1
done	6	1
0	4	7
1	6	5
2	7	5
done	7	5
0	4	6
1	6	6
2	8	5
3	9	5
done	9	5
0	4	6
1	6	6
2	10	6
3	15	6
4	33	6
5	73	6
6	177	6
7	560	6
8	2247	6
done	5000	6
0	2	3
done	2	3
0	5	13
done	5	13
0	4	6
done	4	6
0	5	17
1	13	17
2	20	7
3	34	3
4	53	3
5	87	3
6	151	3
7	335	3
8	832	3
9	3226	3
done	5000	3
0	4	6
1	5	3
done	5	3
0	4	6
1	5	3
done	5	3
0	5	13
done	5	13
0	4	7
done	4	7
0	4	7
done	4	7
0	4	7
done	4	7
0	3	5
1	5	3
done	5	1
0	3	5
done	3	5
0	5	15
1	9	15
2	11	9
3	20	5
4	35	5
5	61	5
6	131	5
7	348	5
8	1255	5
done	5001	5
0	4	7
done	4	7
0	4	7
done	4	2
0	4	7
done	4	2
0	2	3
1	4	1
done	4	1
0	3	5
done	3	5
0	4	7
done	4	7
0	4	7
done	4	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	6	7
1	7	7
done	7	7
0	4	7
done	4	2
0	4	7
done	4	2
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	5	9
1	6	9
done	6	9
0	5	6
1	6	6
done	6	6
0	5	5
1	8	4
done	8	4
0	5	10
1	8	10
2	10	10
done	10	10
0	4	6
1	5	6
done	5	6
0	4	4
1	7	2
2	10	2
done	10	2
0	4	6
1	5	6
done	5	6
0	5	6
1	6	6
done	6	6
0	3	5
done	3	5
0	4	6
1	5	6
done	5	6
0	4	6
1	5	6
done	5	6
0	3	5
done	3	5
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	8	8
1	20	7
2	28	5
3	50	2
4	87	2
5	171	2
6	353	2
7	904	2
8	3078	2
done	5000	2
0	9	10
1	19	8
2	35	5
3	72	2
4	126	2
5	264	2
6	568	2
7	1635	2
done	5000	2
0	12	13
1	23	12
2	40	11
3	95	10
4	227	9
5	546	7
6	1204	6
7	3460	2
done	5000	2
0	10	10
1	23	9
2	39	5
3	79	3
4	156	3
5	315	3
6	887	3
7	2939	3
done	5000	3
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	15	17
1	31	16
2	66	14
3	189	11
4	553	10
5	2139	10
done	5000	9

prune56.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

10 alts after pruning (6 fresh and 4 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	6	6
Picked	0	1	1
Done	0	3	3
Total	85	10	95

Merged error: 0b

Counts

95 → 10

regimes253.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	6
1	6	6
done	6	6

end0.0ms

sample1.1s

Algorithm

intervals

Results

249.0ms	906×	body	1280	valid
244.0ms	5239×	body	80	valid
193.0ms	1001×	body	640	valid
73.0ms	545×	body	320	valid
29.0ms	309×	body	160	valid

Details

sample37.0ms

simplify7.0ms

prune3.0ms

localize13.0ms

rewrite15.0ms

series18.0ms

simplify32.2s

prune110.0ms

localize8.0ms

rewrite20.0ms

series17.0ms

simplify44.5s

prune87.0ms

localize10.0ms

rewrite29.0ms

series123.0ms

simplify45.3s

prune169.0ms

localize9.0ms

rewrite13.0ms

series123.0ms

simplify52.7s

prune56.0ms

regimes253.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling