Details

sample18.0ms

Algorithm

intervals

Results

7.0ms

256×

body

valid

simplify8.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7

prune7.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.2b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.2b	(/ (* x 100.0) (+ x y))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity`
6×	`add-exp-log` `add-cbrt-cube`
4×	`times-frac` `associate-/r*`
3×	`add-sqr-sqrt` `add-cube-cbrt`
2×	`cbrt-undiv` `div-exp` `associate-/r/` `distribute-lft-out`
1×	`pow1` `frac-2neg` `flip3-+` `prod-exp` `clear-num` `cbrt-unprod` `flip-+` `div-inv` `associate-/l*` `add-log-exp`

Counts

1 → 25

Calls

1 calls:

8.0ms

(/ (* x 100.0) (+ x y))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(/ (* x 100.0) (+ x y))

simplify27.8s

Counts

28 → 28

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	15	10
2	22	10
3	28	10
4	34	10
5	43	10
6	56	10
7	74	10
8	90	10
9	97	10
10	114	10
11	116	10
done	116	10
0	8	9
1	15	9
2	21	9
3	30	9
4	33	9
5	39	9
6	48	9
7	61	9
8	79	9
9	95	9
10	102	9
11	119	9
12	121	9
done	121	9
0	7	8
1	14	8
2	26	8
3	45	8
4	61	8
5	69	8
6	81	8
7	99	8
8	115	8
9	122	8
10	139	8
11	141	8
done	141	8
0	7	8
1	11	8
2	15	8
3	20	8
4	29	8
5	42	8
6	75	8
7	165	8
8	388	8
9	1063	8
10	4180	8
done	5000	8
0	12	23
1	40	23
2	165	13
3	658	13
4	2635	11
done	5000	11
0	10	23
1	42	23
2	172	11
3	792	9
4	2968	9
done	5000	9
0	8	17
1	12	17
2	16	17
3	19	17
4	20	17
done	20	17
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	8	23
1	19	23
2	60	9
3	239	9
4	1017	9
5	3150	9
done	5001	9
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	4	4
1	9	4
2	11	4
done	11	4
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	6	11
1	9	11
done	9	11
0	6	6
1	7	6
done	7	6
0	5	6
1	6	6
done	6	6
0	6	6
1	7	6
done	7	6
0	3	3
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	3	3
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	5	5
1	8	5
done	8	5
0	6	7
1	10	7
2	12	7
done	12	7
0	8	13
1	17	13
2	31	13
3	44	13
4	48	13
done	48	13
0	7	8
1	11	8
2	15	8
3	18	8
4	19	8
done	19	8
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	5	5
1	10	3
2	18	3
3	27	3
4	32	3
done	32	3
0	5	5
1	6	5
done	6	5
0	9	11
1	26	11
2	39	11
3	59	11
4	99	11
5	214	11
6	626	11
7	2458	11
done	5000	11
0	8	11
1	16	11
2	39	11
3	88	11
4	159	11
5	260	11
6	400	9
7	926	9
8	3561	9
done	5001	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune54.0ms

Filtered

22 candidates to 28 candidates (-27.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	24	4	28
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	25	4	29

Merged error: 0b

Counts

29 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 100.0 (+ x y))
0.2b	(* x (/ 100.0 (+ x y)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity`
25×	`add-sqr-sqrt` `times-frac`
20×	`add-cube-cbrt`
18×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
7×	`distribute-lft-out`
4×	`pow1` `associate-/r*` `associate-/r/`
3×	`associate-l` `associate-/l*`
2×	`cbrt-undiv` `flip3-+` `div-exp` `prod-exp` `cbrt-unprod` `flip-+` `div-inv` `add-log-exp` `unswap-sqr`
1×	`frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `-commutative`

Counts

2 → 70

Calls

2 calls:

6.0ms	(/ 100.0 (+ x y))
10.0ms	(* x (/ 100.0 (+ x y)))

series13.0ms

Counts

2 → 6

Calls

2 calls:

6.0ms	(/ 100.0 (+ x y))
8.0ms	(* x (/ 100.0 (+ x y)))

simplify40.9s

Counts

76 → 76

Iterations

Useful iterations: 2 (2.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	9	10
1	15	10
2	22	10
3	31	10
4	37	10
5	47	10
6	54	10
7	66	10
8	89	10
9	103	10
10	109	10
done	109	10
0	8	9
1	13	9
2	19	9
3	28	9
4	38	9
5	47	9
6	52	9
7	61	9
8	78	9
9	97	9
10	105	9
done	105	9
0	7	8
1	14	8
2	23	8
3	37	8
4	57	8
5	70	8
6	82	8
7	100	8
8	116	8
9	123	8
10	140	8
11	142	8
done	142	8
0	7	8
1	13	8
2	22	8
3	36	8
4	77	8
5	165	8
6	388	8
7	1473	8
done	5000	8
0	12	23
1	40	23
2	147	13
3	550	11
4	1998	11
done	5000	11
0	10	23
1	24	23
2	73	11
3	229	11
4	804	9
5	2570	9
done	5001	9
0	8	17
1	12	17
2	15	17
3	19	17
4	20	17
done	20	17
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	23
1	22	23
2	76	9
3	270	9
4	823	9
5	2606	9
done	5000	9
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	8	9
1	10	9
done	10	9
0	8	9
1	10	9
done	10	9
0	9	10
1	13	10
2	16	10
3	20	10
4	21	10
done	21	10
0	9	10
1	13	10
2	16	10
3	20	10
4	21	10
done	21	10
0	8	15
1	12	15
2	14	15
done	14	15
0	7	8
1	9	8
done	9	8
0	10	17
1	20	17
2	49	17
3	91	17
4	147	17
5	163	17
done	163	17
0	9	12
1	15	12
2	25	12
3	40	12
4	53	12
5	55	12
done	55	12
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	7	9
1	14	7
2	31	7
3	68	7
4	98	7
done	98	7
0	9	14
1	15	14
2	26	14
3	39	14
4	51	14
done	51	14
0	8	9
1	12	9
2	15	9
3	19	9
4	20	9
done	20	9
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	6	6
1	11	4
2	18	4
3	27	4
4	33	4
done	33	4
0	8	13
1	16	13
2	26	11
3	33	11
4	53	11
5	83	11
6	86	11
done	86	11
0	7	8
1	13	8
2	16	6
3	17	6
4	22	6
5	23	6
done	23	6
0	4	5
1	9	3
2	14	1
done	14	1
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	4	3
done	4	3
0	9	11
1	26	11
2	38	11
3	59	11
4	99	11
5	214	11
6	621	11
7	2459	11
done	5000	11
0	8	11
1	16	11
2	33	11
3	76	11
4	136	11
5	224	11
6	358	11
7	655	9
8	2652	9
done	5000	9
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	7	8
1	11	8
2	14	8
3	18	8
4	19	8
done	19	8
0	6	7
1	10	7
2	13	7
3	17	7
4	18	7
done	18	7
0	3	3
1	4	3
done	4	3
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	220	7
4	496	7
5	1299	7
6	2986	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	31	7
3	69	7
4	152	7
5	302	7
6	586	7
7	1368	7
8	4784	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	2	2
done	2	2
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	10
1	11	10
2	13	10
3	14	10
done	14	10
0	7	7
1	8	7
done	8	7
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	6	6
1	7	6
done	7	6
0	8	12
1	11	12
done	11	12
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	4	4
1	6	2
2	8	2
done	8	2
0	6	6
1	7	6
done	7	6
0	7	11
1	12	11
done	12	11
0	6	6
1	7	6
done	7	6
0	6	6
1	9	6
done	9	6
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	5
1	8	5
done	8	5
0	5	5
1	6	5
done	6	5
0	7	11
1	10	11
done	10	11
0	6	6
1	7	6
done	7	6
0	3	3
1	5	1
done	5	1
0	3	3
1	5	1
done	5	1
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	8	9
1	22	9
2	31	9
3	48	9
4	89	9
5	204	9
6	605	9
7	2437	9
done	5000	9
0	7	9
1	12	9
2	21	9
3	38	9
4	63	9
5	104	9
6	160	9
7	328	9
8	1613	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune91.0ms

Filtered

55 candidates to 76 candidates (-38.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	76	4	80

Merged error: 0b

Counts

80 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (+ x y) 100.0)
0.2b	(/ x (/ (+ x y) 100.0))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

108×	`times-frac`
92×	`*-un-lft-identity`
60×	`add-sqr-sqrt` `add-cube-cbrt`
19×	`associate-/r*`
16×	`distribute-lft-out`
9×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/l*`
6×	`div-inv`
4×	`cbrt-undiv` `div-exp`
2×	`pow1` `frac-2neg` `clear-num` `associate-/l/` `add-log-exp`
1×	`flip3-+` `associate-/r/` `flip-+`

Counts

2 → 115

Calls

2 calls:

7.0ms	(/ (+ x y) 100.0)
9.0ms	(/ x (/ (+ x y) 100.0))

series13.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ (+ x y) 100.0)
8.0ms	(/ x (/ (+ x y) 100.0))

simplify27.0s

Counts

121 → 121

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	16	10
2	24	10
3	37	10
4	41	10
5	49	10
6	64	10
7	90	10
8	99	10
done	99	10
0	8	9
1	14	9
2	19	9
3	26	9
4	39	9
5	43	9
6	51	9
7	66	9
8	92	9
9	101	9
done	101	9
0	7	8
1	13	8
2	23	8
3	32	8
4	44	8
5	63	8
6	72	8
7	83	8
8	101	8
9	121	8
10	127	8
done	127	8
0	7	8
1	10	8
2	15	8
3	22	8
4	32	8
5	59	8
6	132	8
7	308	8
8	847	8
9	3169	8
done	5001	8
0	12	23
1	39	23
2	148	13
3	597	11
4	2243	9
done	5000	9
0	10	23
1	26	23
2	100	11
3	370	9
4	1447	9
5	3894	9
done	5001	9
0	8	17
1	11	17
2	14	17
3	15	17
4	17	17
5	19	17
6	20	17
done	20	17
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	23
1	18	23
2	56	9
3	229	9
4	948	9
5	2880	9
done	5001	9
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	2	2
done	2	2
0	6	6
1	9	6
2	13	6
3	15	6
4	21	6
5	25	6
6	29	6
done	29	6
0	10	19
1	17	19
2	26	19
3	32	19
done	32	19
0	8	9
1	9	9
done	9	9
0	9	12
1	12	12
2	14	12
3	15	12
done	15	12
0	8	9
1	9	9
done	9	9
0	12	21
1	23	21
2	59	21
3	152	21
4	278	21
5	372	21
6	408	21
7	418	21
done	418	21
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	11	18
1	18	18
2	36	18
3	80	18
4	124	18
5	143	18
6	148	18
7	149	18
done	149	18
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	17
1	19	15
2	42	15
3	117	15
4	148	15
5	172	15
6	174	15
done	174	15
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	11	16
1	18	16
2	33	16
3	61	16
4	97	16
5	119	16
6	129	16
7	138	16
done	138	16
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	13
1	15	13
2	24	13
3	34	13
4	44	13
5	48	13
6	50	13
7	51	13
done	51	13
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	12
1	16	10
2	27	10
3	49	10
4	54	10
5	58	10
6	64	10
done	64	10
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	9	13
1	17	13
2	32	11
3	79	11
4	192	11
5	255	11
6	299	11
done	299	11
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	10
1	14	10
2	23	8
3	49	8
4	96	8
5	104	8
done	104	8
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	9
1	9	9
2	11	9
3	12	9
done	12	9
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	9	16
1	12	16
done	12	16
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	8	9
1	9	9
done	9	9
0	11	18
1	20	18
2	41	18
3	70	18
4	96	18
5	128	18
6	149	18
7	159	18
done	159	18
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	10	15
1	15	15
2	23	15
3	36	15
4	44	15
5	50	15
6	53	15
done	53	15
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	14
1	16	12
2	29	12
3	56	12
4	68	12
5	80	12
6	85	12
done	85	12
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	13
1	15	13
2	22	13
3	30	13
4	34	13
5	43	13
6	49	13
7	54	13
8	55	13
done	55	13
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	9	10
1	12	10
2	15	10
3	16	10
4	18	10
5	20	10
6	21	10
done	21	10
0	8	9
1	13	7
2	19	7
3	24	7
4	26	7
5	29	7
6	33	7
done	33	7
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	8	10
1	14	10
2	21	8
3	37	8
4	63	8
5	86	8
6	106	8
done	106	8
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	7
1	11	7
2	14	5
3	23	5
4	32	5
5	34	5
done	34	5
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	4	4
1	6	2
2	8	2
done	8	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	6
1	6	6
done	6	6
0	6	6
1	10	6
2	13	4
3	22	4
4	31	4
5	33	4
done	33	4
0	9	15
1	14	15
done	14	15
0	7	8
1	8	8
done	8	8
0	8	8
1	11	8
done	11	8
0	7	8
1	8	8
done	8	8
0	11	17
1	22	17
2	43	17
3	72	15
4	132	15
5	196	15
done	196	15
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	10	14
1	17	14
2	25	14
3	38	12
4	65	12
5	105	12
done	105	12
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	8	13
1	15	11
2	26	11
3	35	11
done	35	11
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	10	12
1	17	12
2	24	12
3	32	10
4	56	10
5	75	10
done	75	10
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	9	9
1	14	9
2	17	9
3	18	7
4	31	7
5	36	7
done	36	7
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	8
1	12	6
2	17	6
done	17	6
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	3	5
1	6	1
done	6	1
0	6	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	7	8
1	10	8
2	13	8
3	14	8
4	16	8
5	18	8
6	19	8
done	19	8
0	3	5
1	6	1
done	6	1
0	6	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	2	3
1	4	1
done	4	1
0	6	7
1	9	7
2	12	7
3	13	7
4	15	7
5	17	7
6	18	7
done	18	7
0	5	5
1	8	5
done	8	5
0	5	5
1	9	5
2	12	3
3	18	3
4	25	3
5	30	3
done	30	3
0	7	7
1	12	7
2	15	7
3	16	5
done	16	5
0	6	7
1	9	7
2	12	7
done	12	7
0	8	15
1	11	15
done	11	15
0	7	8
1	8	8
done	8	8
0	10	17
1	19	17
2	40	17
3	71	17
4	97	17
5	131	17
6	157	17
7	167	17
done	167	17
0	9	14
1	14	14
2	22	14
3	35	14
4	43	14
5	49	14
6	52	14
done	52	14
0	8	13
1	15	11
2	28	11
3	55	11
4	63	11
5	72	11
6	87	11
7	90	11
done	90	11
0	9	12
1	14	12
2	21	12
3	29	12
4	33	12
5	42	12
6	48	12
7	53	12
8	54	12
done	54	12
0	8	9
1	11	9
2	14	9
3	15	9
4	17	9
5	19	9
6	20	9
done	20	9
0	7	8
1	12	6
2	18	6
3	23	6
done	23	6
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	7	9
1	13	9
2	20	7
3	30	7
4	50	7
5	80	7
6	92	7
done	92	7
0	6	6
1	10	6
2	13	4
3	19	4
4	26	4
5	31	4
done	31	4
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	4	5
1	5	5
done	5	5
0	7	8
1	10	8
2	13	8
done	13	8
0	7	8
1	10	8
2	13	8
done	13	8
0	6	7
1	9	7
2	12	7
done	12	7
0	4	5
1	5	5
done	5	5
0	7	7
1	10	7
2	11	7
done	11	7
0	6	6
1	10	6
2	12	6
3	13	6
done	13	6
0	6	6
1	7	6
done	7	6
0	9	17
1	31	17
2	93	9
3	236	7
4	620	7
5	1689	7
6	4465	7
done	5001	7
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	15	17
2	47	7
3	119	7
4	298	7
5	589	7
6	1238	7
7	3090	7
done	5000	7
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	2	2
done	2	2
0	9	15
1	16	15
2	25	15
3	31	15
done	31	15
0	7	7
1	8	7
done	8	7
0	8	12
1	11	12
2	13	12
3	14	12
done	14	12
0	7	7
1	8	7
done	8	7
0	7	11
1	12	9
2	18	9
3	23	9
done	23	9
0	6	6
1	7	6
done	7	6
0	8	10
1	11	10
done	11	10
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	6	6
1	9	4
2	11	4
done	11	4
0	6	6
1	7	6
done	7	6
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	5	7
1	9	7
done	9	7
0	6	6
1	7	6
done	7	6
0	4	4
1	6	4
done	6	4
0	6	6
1	7	6
done	7	6
0	2	3
1	4	1
done	4	1
0	5	5
1	6	5
done	6	5
0	3	3
1	5	3
done	5	3
0	5	5
1	6	5
done	6	5
0	7	9
1	10	9
done	10	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	10	3
done	10	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	9	13
1	24	11
2	54	11
3	102	11
4	155	11
5	207	11
6	262	11
7	326	11
8	461	11
9	708	11
10	784	11
11	785	11
done	785	11
0	5	5
1	8	5
2	15	5
3	20	5
4	24	5
done	24	5
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
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

prune135.0ms

Filtered

87 candidates to 121 candidates (-39.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	121	4	125

Merged error: 0b

Counts

125 → 4

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 1 (+ x y))
0.3b	(* (* x 100.0) (/ 1 (+ x y)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

33×	`*-un-lft-identity`
28×	`add-exp-log`
24×	`times-frac`
19×	`add-sqr-sqrt` `add-cube-cbrt`
18×	`associate-r`
16×	`add-cbrt-cube`
12×	`prod-exp`
8×	`pow1`
7×	`distribute-lft-out`
6×	`div-exp` `cbrt-unprod`
4×	`associate-/r*` `associate-/r/`
3×	`cbrt-undiv` `rec-exp` `1-exp` `pow-prod-down` `associate-/l*`
2×	`flip3-+` `flip-+` `div-inv` `add-log-exp`
1×	`pow-flip` `frac-2neg` `associate-r/` `associate-l` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

2 → 80

Calls

2 calls:

11.0ms	(/ 1 (+ x y))
13.0ms	(* (* x 100.0) (/ 1 (+ x y)))

series13.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ 1 (+ x y))
8.0ms	(* (* x 100.0) (/ 1 (+ x y)))

simplify58.8s

Counts

86 → 86

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	9
1	17	9
2	31	7
3	80	7
4	91	7
5	97	7
6	99	7
done	99	7
0	8	9
1	17	9
2	31	7
3	80	7
4	91	7
5	97	7
6	99	7
done	99	7
0	10	11
1	16	10
2	25	10
3	30	10
4	36	10
5	45	10
6	58	10
7	76	10
8	92	10
9	99	10
10	116	10
11	118	10
done	118	10
0	11	12
1	20	11
2	43	10
3	89	10
4	127	10
5	212	10
6	362	10
7	394	10
8	435	10
done	435	10
0	12	13
1	23	12
2	42	10
3	96	10
4	136	10
5	223	10
6	376	10
7	410	10
8	459	10
done	459	10
0	11	12
1	22	11
2	37	10
3	67	10
4	116	10
5	198	10
6	360	10
7	390	10
8	421	10
done	421	10
0	9	10
1	16	9
2	23	9
3	30	9
4	33	9
5	39	9
6	48	9
7	61	9
8	79	9
9	95	9
10	102	9
11	119	9
12	121	9
done	121	9
0	10	11
1	20	10
2	37	9
3	77	9
4	146	9
5	237	9
6	379	9
7	415	9
8	469	9
done	469	9
0	11	12
1	23	11
2	37	9
3	85	9
4	152	9
5	241	9
6	380	9
7	412	9
8	454	9
done	454	9
0	10	11
1	22	10
2	33	9
3	63	9
4	121	9
5	199	9
6	350	9
7	389	9
8	432	9
done	432	9
0	9	10
1	21	10
2	47	8
3	118	8
4	171	8
5	257	8
6	357	8
7	501	8
8	528	8
9	546	8
done	546	8
0	9	10
1	20	10
2	45	8
3	121	8
4	217	8
5	428	8
6	1036	8
7	3606	8
done	5000	8
0	16	29
1	51	25
2	166	13
3	766	13
4	3584	11
done	5001	11
0	14	29
1	36	29
2	125	15
3	479	15
4	2044	11
done	5000	11
0	14	29
1	53	25
2	170	11
3	792	11
4	3745	11
done	5000	11
0	12	29
1	38	29
2	129	13
3	513	13
4	2204	9
done	5000	9
0	10	21
1	19	21
2	33	17
3	82	17
4	91	17
5	96	17
6	98	17
done	98	17
0	9	10
1	18	10
2	32	8
3	81	8
4	92	8
5	96	8
6	98	8
done	98	8
0	10	29
1	29	29
2	129	9
3	714	9
4	2354	9
done	5001	9
0	9	10
1	18	10
2	32	8
3	81	8
4	92	8
5	96	8
6	98	8
done	98	8
0	9	10
1	18	10
2	32	8
3	81	8
4	92	8
5	96	8
6	98	8
done	98	8
0	10	17
1	19	17
2	32	17
3	44	17
done	44	17
0	9	10
1	16	10
2	22	10
done	22	10
0	12	19
1	27	17
2	73	15
3	169	13
4	241	13
5	258	13
6	268	13
done	268	13
0	11	14
1	22	12
2	45	10
3	86	8
4	120	8
5	122	8
6	123	8
done	123	8
0	8	11
1	18	7
2	45	5
3	74	3
4	92	3
5	101	3
done	101	3
0	8	11
1	18	7
2	45	5
3	74	3
4	92	3
5	101	3
done	101	3
0	11	16
1	22	15
2	46	15
3	98	13
4	174	13
5	217	13
6	238	13
7	242	13
done	242	13
0	10	11
1	19	10
2	33	10
3	53	8
4	68	8
5	75	8
6	77	8
done	77	8
0	7	8
1	15	5
2	28	3
3	50	3
4	76	3
5	91	3
6	92	3
done	92	3
0	7	8
1	15	5
2	28	3
3	50	3
4	76	3
5	91	3
6	92	3
done	92	3
0	10	15
1	21	15
2	44	13
3	141	13
4	210	13
5	248	13
6	266	13
done	266	13
0	9	10
1	18	10
2	32	8
3	81	8
4	92	8
5	98	8
6	100	8
done	100	8
0	6	7
1	14	5
2	27	3
3	51	3
4	77	3
5	96	3
6	97	3
done	97	3
0	6	7
1	14	5
2	27	3
3	51	3
4	77	3
5	96	3
6	97	3
done	97	3
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	11	13
1	33	13
2	56	11
3	122	11
4	172	11
5	291	11
6	714	11
7	2558	11
done	5000	11
0	10	13
1	23	13
2	50	11
3	167	11
4	364	11
5	680	11
6	1085	9
7	1749	9
done	5001	9
0	7	7
1	13	7
2	16	5
3	17	5
4	22	5
5	23	5
done	23	5
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	2	2
1	5	1
done	5	1
0	5	5
1	6	5
done	6	5
0	6	6
1	9	5
2	13	5
3	15	5
4	21	5
5	26	5
done	26	5
0	7	7
1	12	6
2	13	5
3	19	5
4	25	5
5	30	5
done	30	5
0	6	6
1	13	5
2	14	5
3	18	5
4	20	5
5	26	5
6	31	5
done	31	5
0	6	6
1	9	6
done	9	6
0	9	17
1	32	13
2	74	7
3	157	7
4	382	7
5	985	7
6	2182	7
7	3489	7
done	5002	7
0	7	13
1	10	13
done	10	13
0	6	6
1	9	6
done	9	6
0	7	17
1	17	17
2	33	7
3	70	7
4	94	7
5	152	7
6	280	7
7	623	7
8	1646	7
9	4689	7
done	5001	7
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	2	2
1	5	1
done	5	1
0	4	4
1	8	4
2	10	4
3	11	4
done	11	4
0	9	15
1	18	13
2	27	11
3	33	11
done	33	11
0	7	7
1	10	6
done	10	6
0	8	10
1	13	8
2	15	6
3	16	6
done	16	6
0	7	7
1	10	6
done	10	6
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	9	5
done	9	5
0	4	7
1	8	3
2	12	1
done	12	1
0	6	6
1	9	5
done	9	5
0	8	12
1	13	11
done	13	11
0	7	7
1	10	6
done	10	6
0	7	7
1	10	6
done	10	6
0	7	7
1	10	6
done	10	6
0	3	4
1	5	1
done	5	1
0	6	6
1	9	5
done	9	5
0	3	4
1	5	1
done	5	1
0	6	6
1	9	5
done	9	5
0	7	11
1	12	11
done	12	11
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	6	6
1	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	5	5
1	8	5
done	8	5
0	2	3
1	4	1
done	4	1
0	5	5
1	8	5
done	8	5
0	5	5
1	8	5
done	8	5
0	5	5
1	8	3
2	10	3
done	10	3
0	7	11
1	12	11
done	12	11
0	6	6
1	9	6
done	9	6
0	2	3
1	4	1
done	4	1
0	2	3
1	4	1
done	4	1
0	6	6
1	9	5
done	9	5
0	6	6
1	9	5
done	9	5
0	5	5
1	8	3
2	10	3
done	10	3
0	8	9
1	24	9
2	33	9
3	50	9
4	91	9
5	201	9
6	602	9
7	2419	9
done	5000	9
0	7	9
1	14	9
2	23	9
3	40	9
4	65	9
5	106	9
6	164	9
7	332	9
8	1645	9
done	5000	9
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune277.0ms

Filtered

47 candidates to 86 candidates (-83.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	86	4	90

Merged error: 0b

Counts

90 → 4

regimes83.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
done	8	7

end0.0ms

sample479.0ms

Algorithm

intervals

Results

216.0ms

8000×

body

valid

Details

sample18.0ms

simplify8.0ms

prune7.0ms

localize5.0ms

rewrite8.0ms

series8.0ms

simplify27.8s

prune54.0ms

localize5.0ms

rewrite19.0ms

series13.0ms

simplify40.9s

prune91.0ms

localize5.0ms

rewrite22.0ms

series13.0ms

simplify27.0s

prune135.0ms

localize7.0ms

rewrite27.0ms

series13.0ms

simplify58.8s

prune277.0ms

regimes83.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample479.0ms

Profiling