Details

sample40.0ms

Algorithm

intervals

Results

18.0ms

335×

body

valid

simplify2.7s

Counts

1 → 1

Iterations

Useful iterations: 8 (1.1s)

Iter	Nodes	Cost
0	14	17
1	25	17
2	46	17
3	79	17
4	121	17
5	183	17
6	309	17
7	714	17
8	2838	15
done	5000	15

prune12.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: 0.0b

Counts

2 → 2

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ 2.0 z) (* 2.0 1.0))
0.0b	(- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
0.1b	(/ (+ (/ 2.0 z) (* 2.0 1.0)) t)

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt` `*-un-lft-identity`
13×	`times-frac`
12×	`add-cube-cbrt`
10×	`add-log-exp`
6×	`div-inv`
5×	`add-exp-log` `add-cbrt-cube` `distribute-lft-out`
4×	`associate-/l*`
3×	`pow1` `diff-log` `associate-/r*` `distribute-lft-out--`
2×	`sub-neg` `flip3--` `flip3-+` `frac-sub` `flip--` `flip-+` `associate-/l/` `associate--r+` `difference-of-squares`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `div-exp` `clear-num` `sum-log` `associate--r-`

Counts

3 → 67

Calls

3 calls:

7.0ms	(+ (/ 2.0 z) (* 2.0 1.0))
25.0ms	(- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
10.0ms	(/ (+ (/ 2.0 z) (* 2.0 1.0)) t)

series24.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(+ (/ 2.0 z) (* 2.0 1.0))
14.0ms	(- (/ (+ (/ 2.0 z) (* 2.0 1.0)) t) (- 2.0 (/ x y)))
6.0ms	(/ (+ (/ 2.0 z) (* 2.0 1.0)) t)

simplify1.6min

Counts

76 → 76

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	14	11
2	15	11
done	15	11
0	9	10
1	14	10
2	16	10
3	17	10
done	17	10
0	9	10
1	11	10
done	11	10
0	12	29
1	35	29
2	117	13
3	369	11
4	1065	11
5	3131	11
done	5000	11
0	10	21
1	12	21
done	12	21
0	9	10
1	11	10
done	11	10
0	10	29
1	19	29
2	51	11
3	143	11
4	397	11
5	1097	11
6	2986	11
done	5000	11
0	9	10
1	11	10
done	11	10
0	9	10
1	11	10
done	11	10
0	7	8
1	12	8
2	21	8
3	22	8
done	22	8
0	2	2
done	2	2
0	12	23
1	20	23
2	29	23
3	35	23
done	35	23
0	10	11
1	12	11
done	12	11
0	11	20
1	15	20
2	17	20
3	18	20
done	18	20
0	10	11
1	12	11
done	12	11
0	10	19
1	16	17
2	22	17
3	27	17
done	27	17
0	9	10
1	11	10
done	11	10
0	11	14
1	15	14
done	15	14
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	9	10
1	13	8
2	15	8
done	15	8
0	9	10
1	11	10
done	11	10
0	5	7
1	9	7
done	9	7
0	9	10
1	11	10
done	11	10
0	4	4
1	6	4
done	6	4
0	9	10
1	11	10
done	11	10
0	2	3
1	4	1
done	4	1
0	8	9
1	10	9
done	10	9
0	5	7
1	7	7
done	7	7
0	8	8
1	11	8
done	11	8
0	4	4
done	4	4
0	8	8
1	11	8
done	11	8
0	3	3
1	5	1
done	5	1
0	7	7
1	10	7
done	10	7
0	3	3
1	5	3
done	5	3
0	8	9
1	10	9
done	10	9
0	10	13
1	14	13
done	14	13
0	9	10
1	11	10
done	11	10
0	8	9
1	12	7
2	14	7
done	14	7
0	9	10
1	11	10
done	11	10
0	9	10
1	11	10
done	11	10
0	8	9
1	10	9
done	10	9
0	7	7
1	10	7
done	10	7
0	12	25
1	42	21
2	110	21
3	293	21
4	659	19
5	1049	19
6	1531	19
7	2143	19
8	3428	19
done	5000	19
0	8	9
1	12	9
2	25	9
3	48	9
4	64	9
5	74	9
6	81	9
7	84	9
done	84	9
0	16	18
1	22	17
2	31	16
3	47	16
4	72	16
5	113	16
6	160	16
7	304	16
8	425	16
9	470	16
10	482	16
11	563	16
12	810	16
13	1471	16
14	1561	16
15	2335	16
done	5000	16
0	15	17
1	24	16
2	36	16
3	58	16
4	94	16
5	133	16
6	251	16
7	365	16
8	410	16
9	425	16
10	441	16
11	526	16
12	773	16
13	1418	16
14	1516	16
15	2535	16
done	5000	16
0	14	16
1	22	16
2	32	16
3	47	16
4	54	16
5	62	16
6	79	16
7	111	16
8	133	16
9	153	16
10	233	16
11	380	16
12	464	16
13	478	16
14	500	16
15	595	16
16	743	16
17	1074	16
18	1555	16
19	2373	16
20	2780	16
done	2780	16
0	14	16
1	25	16
2	44	16
3	72	16
4	112	16
5	186	16
6	328	16
7	403	16
8	426	16
9	442	16
10	527	16
11	774	16
12	1413	16
13	1509	16
14	2528	16
done	5000	16
0	15	33
1	23	33
2	33	33
3	48	33
4	55	33
5	63	33
6	80	33
7	112	33
8	134	33
9	154	33
10	234	33
11	381	33
12	457	33
13	469	33
14	491	33
15	586	33
16	734	33
17	1067	33
18	1543	33
19	2370	33
20	2710	33
done	2710	33
0	14	16
1	22	16
2	32	16
3	47	16
4	54	16
5	62	16
6	79	16
7	111	16
8	133	16
9	153	16
10	233	16
11	380	16
12	464	16
13	478	16
14	500	16
15	595	16
16	743	16
17	1074	16
18	1555	16
19	2373	16
20	2780	16
done	2780	16
0	15	47
1	24	47
2	60	17
3	228	17
4	1157	17
done	5002	17
0	14	16
1	22	16
2	32	16
3	47	16
4	54	16
5	62	16
6	79	16
7	111	16
8	133	16
9	153	16
10	233	16
11	380	16
12	464	16
13	478	16
14	500	16
15	595	16
16	743	16
17	1074	16
18	1555	16
19	2373	16
20	2780	16
done	2780	16
0	14	16
1	22	16
2	32	16
3	47	16
4	54	16
5	62	16
6	79	16
7	111	16
8	133	16
9	153	16
10	233	16
11	380	16
12	464	16
13	478	16
14	500	16
15	595	16
16	743	16
17	1074	16
18	1555	16
19	2373	16
20	2780	16
done	2780	16
0	22	37
1	63	33
2	184	33
3	623	33
4	2538	33
done	5000	33
0	11	19
1	31	15
2	70	15
3	135	15
4	224	15
5	313	15
6	361	15
7	374	15
done	374	15
0	17	27
1	38	27
2	102	27
3	301	21
4	956	21
5	2857	21
done	5000	21
0	7	7
1	15	7
2	20	7
3	24	7
4	26	7
5	27	7
done	27	7
0	16	19
1	38	19
2	93	19
3	279	19
4	918	19
5	3160	19
done	5001	19
0	17	47
1	34	41
2	84	41
3	226	37
4	641	37
5	1954	37
done	5001	37
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	15	31
1	28	31
2	64	31
3	171	31
4	538	31
5	1773	31
done	5000	31
0	13	15
1	20	15
2	29	15
3	38	15
4	46	15
5	62	15
6	83	15
7	115	15
8	215	15
9	364	15
10	505	15
11	540	15
12	562	15
13	657	15
14	805	15
15	1140	15
16	1618	15
17	2473	15
18	2883	15
19	2926	15
done	2926	15
0	15	17
1	20	17
2	23	17
done	23	17
0	15	17
1	21	17
2	25	17
done	25	17
0	16	18
1	21	18
2	24	18
done	24	18
0	16	18
1	22	18
2	26	18
done	26	18
0	13	15
1	21	15
2	31	15
3	46	15
4	52	15
5	60	15
6	77	15
7	109	15
8	131	15
9	153	15
10	233	15
11	380	15
12	457	15
13	471	15
14	493	15
15	588	15
16	736	15
17	1069	15
18	1544	15
19	2363	15
20	2709	15
done	2709	15
0	13	15
1	21	15
2	31	15
3	46	15
4	52	15
5	60	15
6	77	15
7	109	15
8	131	15
9	153	15
10	233	15
11	380	15
12	457	15
13	471	15
14	493	15
15	588	15
16	736	15
17	1069	15
18	1544	15
19	2363	15
20	2709	15
done	2709	15
0	9	11
1	13	11
2	14	11
done	14	11
0	9	11
1	13	11
2	14	11
done	14	11
0	9	11
1	13	11
2	14	11
done	14	11
0	6	6
1	8	6
2	14	6
3	18	6
4	21	5
done	21	5
0	8	9
1	14	8
2	21	8
3	33	8
4	68	8
5	158	8
6	413	8
7	1266	8
8	4693	8
done	5001	8
0	7	8
1	9	8
done	9	8
0	7	8
1	12	8
2	17	8
3	24	8
4	42	8
5	92	8
6	217	8
7	583	8
8	1952	8
done	5000	8
0	8	17
1	10	17
done	10	17
0	7	8
1	9	8
done	9	8
0	8	23
1	23	23
2	75	9
3	247	9
4	676	9
5	1786	9
6	4187	9
done	5001	9
0	7	8
1	9	8
done	9	8
0	7	8
1	9	8
done	9	8
0	9	11
1	29	11
2	80	11
3	214	11
4	478	11
5	1353	11
done	5000	11
0	10	23
1	33	19
2	81	19
3	165	19
4	259	17
5	365	17
6	505	17
7	652	17
8	970	17
9	1386	17
10	1398	17
done	1398	17
0	8	15
1	25	15
2	60	15
3	124	15
4	191	13
5	291	13
6	437	13
7	819	13
8	2650	13
done	5001	13
0	6	7
1	9	7
2	16	7
done	16	7
0	5	5
1	8	5
done	8	5
0	10	13
1	22	11
2	36	9
3	60	9
4	103	9
5	176	7
6	214	7
7	222	7
done	222	7
0	10	13
1	22	11
2	36	9
3	60	9
4	103	9
5	176	7
6	214	7
7	222	7
done	222	7
0	10	13
1	22	11
2	36	9
3	60	9
4	103	9
5	176	7
6	214	7
7	222	7
done	222	7
0	14	17
1	27	17
2	47	13
3	76	13
4	123	13
5	189	11
6	223	11
7	230	11
done	230	11
0	10	11
1	20	11
2	30	9
3	37	9
4	48	9
5	71	9
6	133	9
7	254	9
8	304	9
9	328	9
10	350	9
11	376	9
done	376	9
0	10	11
1	20	11
2	30	9
3	37	9
4	48	9
5	71	9
6	133	9
7	254	9
8	304	9
9	328	9
10	350	9
11	376	9
done	376	9
0	6	7
1	12	7
2	17	5
3	20	5
4	25	5
5	27	5
6	28	5
7	30	5
8	31	5
done	31	5
0	6	7
1	12	7
2	17	5
3	20	5
4	25	5
5	27	5
6	28	5
7	30	5
8	31	5
done	31	5
0	6	7
1	12	7
2	17	5
3	20	5
4	25	5
5	27	5
6	28	5
7	30	5
8	31	5
done	31	5

prune148.0ms

Filtered

60 candidates to 76 candidates (-26.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	72	4	76
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	72	6	78

Merged error: 0.0b

Counts

78 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)))
0.6b	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

124×	`cbrt-prod`
90×	`times-frac`
88×	`add-sqr-sqrt`
64×	`add-cube-cbrt` `*-un-lft-identity`
28×	`div-inv`
21×	`distribute-lft-out`
19×	`swap-sqr` `associate-r` `associate-l`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div`
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 → 162

Calls

4 calls:

26.0ms	(* (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)))
7.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
7.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
7.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

series110.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)) (cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t)))
22.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
30.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
22.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

simplify53.0s

Counts

174 → 174

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	11	22
1	13	22
done	13	22
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	13	24
1	21	24
2	30	24
3	36	24
done	36	24
0	11	12
1	13	12
done	13	12
0	12	21
1	16	21
2	18	21
3	19	21
done	19	21
0	11	12
1	13	12
done	13	12
0	11	20
1	17	18
2	23	18
3	28	18
done	28	18
0	10	11
1	12	11
done	12	11
0	12	15
1	16	15
done	16	15
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	10	11
1	14	9
2	16	9
done	16	9
0	10	11
1	12	11
done	12	11
0	6	8
1	10	8
done	10	8
0	10	11
1	12	11
done	12	11
0	5	5
1	7	5
done	7	5
0	10	11
1	12	11
done	12	11
0	3	4
1	5	1
done	5	1
0	9	10
1	11	10
done	11	10
0	6	8
1	8	8
done	8	8
0	9	9
1	12	9
done	12	9
0	5	5
done	5	5
0	9	9
1	12	9
done	12	9
0	4	4
1	6	2
done	6	2
0	8	8
1	11	8
done	11	8
0	2	2
1	4	1
done	4	1
0	9	10
1	11	10
done	11	10
0	7	8
1	9	8
done	9	8
0	4	4
1	6	4
done	6	4
0	7	8
1	9	8
done	9	8
0	2	2
done	2	2
0	11	23
1	13	23
done	13	23
0	10	11
1	12	11
done	12	11
0	11	32
1	14	32
2	16	12
3	21	9
4	27	9
5	37	9
6	58	9
7	114	9
8	321	9
9	1233	9
done	5001	9
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	11	22
1	13	22
done	13	22
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	13	24
1	21	24
2	30	24
3	36	24
done	36	24
0	11	12
1	13	12
done	13	12
0	12	21
1	16	21
2	18	21
3	19	21
done	19	21
0	11	12
1	13	12
done	13	12
0	11	20
1	17	18
2	23	18
3	28	18
done	28	18
0	10	11
1	12	11
done	12	11
0	12	15
1	16	15
done	16	15
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	10	11
1	14	9
2	16	9
done	16	9
0	10	11
1	12	11
done	12	11
0	6	8
1	10	8
done	10	8
0	10	11
1	12	11
done	12	11
0	5	5
1	7	5
done	7	5
0	10	11
1	12	11
done	12	11
0	3	4
1	5	1
done	5	1
0	9	10
1	11	10
done	11	10
0	6	8
1	8	8
done	8	8
0	9	9
1	12	9
done	12	9
0	5	5
done	5	5
0	9	9
1	12	9
done	12	9
0	4	4
1	6	2
done	6	2
0	8	8
1	11	8
done	11	8
0	2	2
1	4	1
done	4	1
0	9	10
1	11	10
done	11	10
0	7	8
1	9	8
done	9	8
0	4	4
1	6	4
done	6	4
0	7	8
1	9	8
done	9	8
0	2	2
done	2	2
0	11	23
1	13	23
done	13	23
0	10	11
1	12	11
done	12	11
0	11	32
1	14	32
2	16	12
3	21	9
4	27	9
5	37	9
6	58	9
7	114	9
8	321	9
9	1233	9
done	5001	9
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	11	22
1	13	22
done	13	22
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	13	24
1	21	24
2	30	24
3	36	24
done	36	24
0	11	12
1	13	12
done	13	12
0	12	21
1	16	21
2	18	21
3	19	21
done	19	21
0	11	12
1	13	12
done	13	12
0	11	20
1	17	18
2	23	18
3	28	18
done	28	18
0	10	11
1	12	11
done	12	11
0	12	15
1	16	15
done	16	15
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	10	11
1	14	9
2	16	9
done	16	9
0	10	11
1	12	11
done	12	11
0	6	8
1	10	8
done	10	8
0	10	11
1	12	11
done	12	11
0	5	5
1	7	5
done	7	5
0	10	11
1	12	11
done	12	11
0	3	4
1	5	1
done	5	1
0	9	10
1	11	10
done	11	10
0	6	8
1	8	8
done	8	8
0	9	9
1	12	9
done	12	9
0	5	5
done	5	5
0	9	9
1	12	9
done	12	9
0	4	4
1	6	2
done	6	2
0	8	8
1	11	8
done	11	8
0	2	2
1	4	1
done	4	1
0	9	10
1	11	10
done	11	10
0	7	8
1	9	8
done	9	8
0	4	4
1	6	4
done	6	4
0	7	8
1	9	8
done	9	8
0	2	2
done	2	2
0	11	23
1	13	23
done	13	23
0	10	11
1	12	11
done	12	11
0	11	32
1	14	32
2	16	12
3	21	9
4	27	9
5	37	9
6	58	9
7	114	9
8	321	9
9	1233	9
done	5001	9
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	2	3
1	5	1
done	5	1
0	2	3
1	6	1
done	6	1
0	9	19
1	15	19
2	29	19
3	58	19
4	111	19
5	212	19
6	380	19
7	685	19
8	1076	19
9	1589	19
10	2332	19
11	3247	19
12	4257	19
done	5001	19
0	10	21
1	12	21
done	12	21
0	2	3
1	6	1
done	6	1
0	11	23
1	15	13
2	16	13
done	16	13
0	11	22
1	15	22
2	17	13
3	18	13
done	18	13
0	11	22
1	15	22
2	19	22
3	24	22
4	42	22
5	82	22
6	186	22
7	556	22
8	2235	22
done	5001	22
0	9	19
1	15	19
2	29	19
3	58	19
4	111	19
5	212	19
6	380	19
7	685	19
8	1076	19
9	1589	19
10	2332	19
11	3247	19
12	4257	19
done	5001	19
0	12	45
1	14	45
done	14	45
0	11	22
1	13	22
done	13	22
0	12	65
1	22	65
2	29	23
3	43	12
4	89	12
5	228	12
6	614	12
7	2245	12
done	5000	12
0	11	22
1	14	11
done	14	11
0	11	22
1	14	11
done	14	11
0	8	17
1	10	17
done	10	17
0	3	5
done	3	5
0	12	45
1	14	45
done	14	45
0	11	23
1	13	23
done	13	23
0	11	23
1	13	23
done	13	23
0	11	23
1	13	23
done	13	23
0	14	49
1	22	49
2	31	49
3	37	49
done	37	49
0	12	25
1	14	25
done	14	25
0	13	43
1	17	43
2	19	43
3	20	43
done	20	43
0	12	25
1	14	25
done	14	25
0	12	41
1	18	37
2	24	37
3	29	37
done	29	37
0	11	23
1	13	23
done	13	23
0	13	31
1	17	31
done	17	31
0	12	25
1	14	25
done	14	25
0	12	25
1	14	25
done	14	25
0	12	25
1	14	25
done	14	25
0	11	23
1	15	19
2	17	19
done	17	19
0	11	23
1	13	23
done	13	23
0	7	17
1	11	17
done	11	17
0	11	23
1	13	23
done	13	23
0	6	11
1	8	11
done	8	11
0	11	23
1	13	23
done	13	23
0	4	9
1	6	3
done	6	1
0	10	21
1	12	21
done	12	21
0	7	17
1	9	17
done	9	17
0	10	19
1	13	19
done	13	19
0	6	11
done	6	11
0	10	19
1	13	19
done	13	19
0	5	9
1	7	5
done	7	5
0	9	17
1	12	17
done	12	17
0	3	5
1	5	3
done	5	1
0	10	21
1	12	21
done	12	21
0	8	17
1	10	17
done	10	17
0	5	9
1	7	9
done	7	9
0	12	47
1	18	47
2	22	25
3	31	13
4	46	13
5	74	13
6	146	13
7	355	13
8	1267	13
done	5000	13
0	11	23
1	13	23
done	13	23
0	11	23
1	13	10
2	14	10
done	14	10
0	11	23
1	13	10
2	14	10
done	14	10
0	2	3
1	4	1
done	4	1
0	10	21
1	12	21
done	12	21
0	11	23
1	13	23
done	13	23
0	11	23
1	13	23
done	13	23
0	15	24
1	18	24
done	18	24
0	15	24
1	18	24
done	18	24
0	13	23
1	16	23
done	16	23
0	13	23
1	16	23
done	16	23
0	15	24
1	18	24
done	18	24
0	15	24
1	18	24
done	18	24
0	12	25
1	14	25
done	14	25
0	12	25
1	14	25
done	14	25
0	15	24
1	18	24
done	18	24
0	15	24
1	18	24
done	18	24
0	13	23
1	16	23
done	16	23
0	13	23
1	16	23
done	16	23
0	15	24
1	18	24
done	18	24
0	15	24
1	18	24
done	18	24
0	11	23
1	13	10
2	14	10
done	14	10
0	11	23
1	13	10
2	14	10
done	14	10
0	3	3
1	5	1
done	5	1
0	3	3
1	6	1
done	6	1
0	12	33
1	15	33
done	15	33
0	12	22
1	15	22
done	15	22
0	16	35
1	25	35
2	34	35
3	40	35
done	40	35
0	15	32
1	20	32
2	22	32
3	23	32
done	23	32
0	15	31
1	22	29
2	28	29
3	33	29
done	33	29
0	15	26
1	20	26
done	20	26
0	14	23
1	17	23
done	17	23
0	14	22
1	19	22
2	21	20
done	21	20
0	15	19
1	22	19
done	22	19
0	14	16
1	19	16
done	19	16
0	13	15
1	18	12
done	18	12
0	14	19
1	19	19
done	19	19
0	13	16
1	16	16
done	16	16
0	13	15
1	18	13
done	18	13
0	12	13
1	17	12
done	17	12
0	11	19
1	14	19
done	14	19
0	12	34
1	17	34
2	19	34
done	19	34
0	11	22
1	14	22
done	14	22
0	11	12
1	16	10
2	19	10
done	19	10
0	11	22
1	14	22
done	14	22
0	12	22
1	15	22
done	15	22
0	14	23
1	17	23
done	17	23
0	14	23
1	17	23
done	17	23
0	13	22
1	16	22
done	16	22
0	14	23
1	17	23
done	17	23
0	14	23
1	17	23
done	17	23
0	13	22
1	16	22
done	16	22
0	13	22
1	16	22
done	16	22
0	13	22
1	16	22
done	16	22
0	10	21
1	12	21
done	12	21
0	16	20
1	22	20
done	22	20
0	16	20
1	22	20
done	22	20
0	15	19
1	21	19
done	21	19
0	10	21
1	12	21
done	12	21
0	13	15
1	18	15
done	18	15
0	11	22
1	14	22
done	14	22
0	11	22
1	14	22
done	14	22
0	10	21
1	12	21
done	12	21
0	11	19
1	14	19
done	14	19
0	11	19
1	14	19
done	14	19
0	25	45
1	53	45
2	120	45
3	290	31
4	815	18
5	2820	16
done	5001	16
0	21	42
1	52	39
2	109	36
3	313	23
4	1222	17
done	5000	17
0	33	71
1	83	71
2	227	71
3	654	52
4	2271	40
done	5000	40
0	25	45
1	53	45
2	120	45
3	290	31
4	815	18
5	2820	16
done	5001	16
0	21	42
1	52	39
2	109	36
3	313	23
4	1222	17
done	5000	17
0	33	71
1	83	71
2	227	71
3	654	52
4	2271	40
done	5000	40
0	25	45
1	53	45
2	120	45
3	290	31
4	815	18
5	2820	16
done	5001	16
0	21	42
1	52	39
2	109	36
3	313	23
4	1222	17
done	5000	17
0	33	71
1	83	71
2	227	71
3	654	52
4	2271	40
done	5000	40
0	23	57
1	53	51
2	127	51
3	317	35
4	939	22
5	3256	18
done	5001	18
0	22	48
1	54	45
2	115	45
3	329	27
4	1266	21
done	5000	21
0	35	87
1	88	87
2	265	87
3	860	58
4	4420	50
done	5000	50

prune701.0ms

Filtered

148 candidates to 174 candidates (-17.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	172	2	174
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	173	7	180

Merged error: 0b

Counts

180 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt t) (cbrt t))
0.5b	(cbrt t)
0.5b	(cbrt t)
0.5b	(cbrt t)

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:

7.0ms	(* (cbrt t) (cbrt t))
1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series112.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (cbrt t) (cbrt t))
30.0ms	(cbrt t)
26.0ms	(cbrt t)
26.0ms	(cbrt t)

simplify52.0s

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	174	2
6	360	2
7	911	2
8	3082	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	174	2
6	360	2
7	911	2
8	3082	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	174	2
6	360	2
7	911	2
8	3082	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	314	3
6	887	3
7	2959	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

prune105.0ms

Filtered

52 candidates to 85 candidates (-63.5%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	3	4
Picked	1	0	1
Done	0	2	2
Total	86	6	92

Merged error: 0b

Counts

92 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
0.6b	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

64×	`cbrt-prod`
48×	`times-frac`
36×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`div-inv`
12×	`distribute-lft-out`
4×	`pow1` `add-exp-log` `cbrt-div` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 100

Calls

4 calls:

7.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
8.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
11.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
7.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

series89.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
21.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
21.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))
21.0ms	(cbrt (/ (+ (/ 2.0 z) (* 2.0 1.0)) t))

simplify31.0s

Counts

112 → 112

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	11	22
1	13	22
done	13	22
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	13	24
1	21	24
2	30	24
3	36	24
done	36	24
0	11	12
1	13	12
done	13	12
0	12	21
1	16	21
2	18	21
3	19	21
done	19	21
0	11	12
1	13	12
done	13	12
0	11	20
1	17	18
2	23	18
3	28	18
done	28	18
0	10	11
1	12	11
done	12	11
0	12	15
1	16	15
done	16	15
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	10	11
1	14	9
2	16	9
done	16	9
0	10	11
1	12	11
done	12	11
0	6	8
1	10	8
done	10	8
0	10	11
1	12	11
done	12	11
0	5	5
1	7	5
done	7	5
0	10	11
1	12	11
done	12	11
0	3	4
1	5	1
done	5	1
0	9	10
1	11	10
done	11	10
0	6	8
1	8	8
done	8	8
0	9	9
1	12	9
done	12	9
0	5	5
done	5	5
0	9	9
1	12	9
done	12	9
0	4	4
1	6	2
done	6	2
0	8	8
1	11	8
done	11	8
0	2	2
1	4	1
done	4	1
0	9	10
1	11	10
done	11	10
0	7	8
1	9	8
done	9	8
0	4	4
1	6	4
done	6	4
0	7	8
1	9	8
done	9	8
0	2	2
done	2	2
0	11	23
1	13	23
done	13	23
0	10	11
1	12	11
done	12	11
0	11	32
1	14	32
2	16	12
3	21	9
4	27	9
5	37	9
6	58	9
7	114	9
8	321	9
9	1233	9
done	5001	9
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	11	22
1	13	22
done	13	22
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	13	24
1	21	24
2	30	24
3	36	24
done	36	24
0	11	12
1	13	12
done	13	12
0	12	21
1	16	21
2	18	21
3	19	21
done	19	21
0	11	12
1	13	12
done	13	12
0	11	20
1	17	18
2	23	18
3	28	18
done	28	18
0	10	11
1	12	11
done	12	11
0	12	15
1	16	15
done	16	15
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	10	11
1	14	9
2	16	9
done	16	9
0	10	11
1	12	11
done	12	11
0	6	8
1	10	8
done	10	8
0	10	11
1	12	11
done	12	11
0	5	5
1	7	5
done	7	5
0	10	11
1	12	11
done	12	11
0	3	4
1	5	1
done	5	1
0	9	10
1	11	10
done	11	10
0	6	8
1	8	8
done	8	8
0	9	9
1	12	9
done	12	9
0	5	5
done	5	5
0	9	9
1	12	9
done	12	9
0	4	4
1	6	2
done	6	2
0	8	8
1	11	8
done	11	8
0	2	2
1	4	1
done	4	1
0	9	10
1	11	10
done	11	10
0	7	8
1	9	8
done	9	8
0	4	4
1	6	4
done	6	4
0	7	8
1	9	8
done	9	8
0	2	2
done	2	2
0	11	23
1	13	23
done	13	23
0	10	11
1	12	11
done	12	11
0	11	32
1	14	32
2	16	12
3	21	9
4	27	9
5	37	9
6	58	9
7	114	9
8	321	9
9	1233	9
done	5001	9
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	11	22
1	13	22
done	13	22
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	13	24
1	21	24
2	30	24
3	36	24
done	36	24
0	11	12
1	13	12
done	13	12
0	12	21
1	16	21
2	18	21
3	19	21
done	19	21
0	11	12
1	13	12
done	13	12
0	11	20
1	17	18
2	23	18
3	28	18
done	28	18
0	10	11
1	12	11
done	12	11
0	12	15
1	16	15
done	16	15
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	10	11
1	14	9
2	16	9
done	16	9
0	10	11
1	12	11
done	12	11
0	6	8
1	10	8
done	10	8
0	10	11
1	12	11
done	12	11
0	5	5
1	7	5
done	7	5
0	10	11
1	12	11
done	12	11
0	3	4
1	5	1
done	5	1
0	9	10
1	11	10
done	11	10
0	6	8
1	8	8
done	8	8
0	9	9
1	12	9
done	12	9
0	5	5
done	5	5
0	9	9
1	12	9
done	12	9
0	4	4
1	6	2
done	6	2
0	8	8
1	11	8
done	11	8
0	2	2
1	4	1
done	4	1
0	9	10
1	11	10
done	11	10
0	7	8
1	9	8
done	9	8
0	4	4
1	6	4
done	6	4
0	7	8
1	9	8
done	9	8
0	2	2
done	2	2
0	11	23
1	13	23
done	13	23
0	10	11
1	12	11
done	12	11
0	11	32
1	14	32
2	16	12
3	21	9
4	27	9
5	37	9
6	58	9
7	114	9
8	321	9
9	1233	9
done	5001	9
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	11	22
1	13	22
done	13	22
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	13	24
1	21	24
2	30	24
3	36	24
done	36	24
0	11	12
1	13	12
done	13	12
0	12	21
1	16	21
2	18	21
3	19	21
done	19	21
0	11	12
1	13	12
done	13	12
0	11	20
1	17	18
2	23	18
3	28	18
done	28	18
0	10	11
1	12	11
done	12	11
0	12	15
1	16	15
done	16	15
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	11	12
1	13	12
done	13	12
0	10	11
1	14	9
2	16	9
done	16	9
0	10	11
1	12	11
done	12	11
0	6	8
1	10	8
done	10	8
0	10	11
1	12	11
done	12	11
0	5	5
1	7	5
done	7	5
0	10	11
1	12	11
done	12	11
0	3	4
1	5	1
done	5	1
0	9	10
1	11	10
done	11	10
0	6	8
1	8	8
done	8	8
0	9	9
1	12	9
done	12	9
0	5	5
done	5	5
0	9	9
1	12	9
done	12	9
0	4	4
1	6	2
done	6	2
0	8	8
1	11	8
done	11	8
0	2	2
1	4	1
done	4	1
0	9	10
1	11	10
done	11	10
0	7	8
1	9	8
done	9	8
0	4	4
1	6	4
done	6	4
0	7	8
1	9	8
done	9	8
0	2	2
done	2	2
0	11	23
1	13	23
done	13	23
0	10	11
1	12	11
done	12	11
0	11	32
1	14	32
2	16	12
3	21	9
4	27	9
5	37	9
6	58	9
7	114	9
8	321	9
9	1233	9
done	5001	9
0	10	11
1	12	11
done	12	11
0	10	11
1	12	11
done	12	11
0	25	45
1	53	45
2	120	45
3	290	31
4	815	18
5	2820	16
done	5001	16
0	21	42
1	52	39
2	109	36
3	313	23
4	1222	17
done	5000	17
0	33	71
1	83	71
2	227	71
3	654	52
4	2271	40
done	5000	40
0	25	45
1	53	45
2	120	45
3	290	31
4	815	18
5	2820	16
done	5001	16
0	21	42
1	52	39
2	109	36
3	313	23
4	1222	17
done	5000	17
0	33	71
1	83	71
2	227	71
3	654	52
4	2271	40
done	5000	40
0	25	45
1	53	45
2	120	45
3	290	31
4	815	18
5	2820	16
done	5001	16
0	21	42
1	52	39
2	109	36
3	313	23
4	1222	17
done	5000	17
0	33	71
1	83	71
2	227	71
3	654	52
4	2271	40
done	5000	40
0	25	45
1	53	45
2	120	45
3	290	31
4	815	18
5	2820	16
done	5001	16
0	21	42
1	52	39
2	109	36
3	313	23
4	1222	17
done	5000	17
0	33	71
1	83	71
2	227	71
3	654	52
4	2271	40
done	5000	40

prune676.0ms

Filtered

100 candidates to 112 candidates (-12.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	112	6	118

Merged error: 0b

Counts

118 → 6

regimes522.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	13	15
1	15	15
done	15	15

end0.0ms

sample1.1s

Algorithm

intervals

Results

577.0ms

10476×

body

valid

Details

sample40.0ms

simplify2.7s

prune12.0ms

localize11.0ms

rewrite45.0ms

series24.0ms

simplify1.6min

prune148.0ms

localize23.0ms

rewrite57.0ms

series110.0ms

simplify53.0s

prune701.0ms

localize16.0ms

rewrite13.0ms

series112.0ms

simplify52.0s

prune105.0ms

localize21.0ms

rewrite38.0ms

series89.0ms

simplify31.0s

prune676.0ms

regimes522.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling