Details

sample106.0ms

Algorithm

intervals

Results

21.0ms	36×	body	1280	valid
15.0ms	45×	body	640	valid
8.0ms	116×	body	80	valid
7.0ms	32×	body	320	valid
4.0ms	4×	body	2560	valid
4.0ms	77×	body	80	nan
4.0ms	25×	body	160	valid
3.0ms	50×	body	80	overflowed
2.0ms	5×	body	1280	nan
2.0ms	7×	body	640	nan
1.0ms	5×	body	320	nan
0.0ms	3×	body	160	nan

simplify320.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	13
1	20	13
2	33	13
3	47	13
4	67	13
5	89	13
6	111	13
7	146	13
8	179	13
9	232	13
10	383	13
11	422	13
done	422	13

prune5.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: 24.5b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (exp z))
0.1b	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
1.7b	(log (+ (- 1.0 y) (* y (exp z))))
2.8b	(+ (- 1.0 y) (* y (exp z)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
11×	`pow1`
9×	`add-log-exp`
8×	`add-exp-log` `add-cbrt-cube`
5×	`log-pow`
4×	`log-div` `associate-/l*`
3×	`log-prod` `flip3-+` `associate-r` `associate-l` `associate-/r*` `flip-+`
2×	`associate-+l+` `div-sub` `sum-log`
1×	`cbrt-undiv` `+-commutative` `associate-+l-` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 80

Calls

4 calls:

6.0ms	(* y (exp z))
10.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
6.0ms	(log (+ (- 1.0 y) (* y (exp z))))
7.0ms	(+ (- 1.0 y) (* y (exp z)))

series79.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* y (exp z))
49.0ms	(/ (log (+ (- 1.0 y) (* y (exp z)))) t)
16.0ms	(log (+ (- 1.0 y) (* y (exp z))))
8.0ms	(+ (- 1.0 y) (* y (exp z)))

simplify1.5min

Counts

92 → 92

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	17	10
2	34	9
3	65	9
4	154	9
5	420	9
6	1338	9
done	5000	9
0	9	10
1	19	9
2	37	9
3	80	9
4	185	9
5	505	9
6	1742	9
done	5001	9
0	8	9
1	14	9
2	24	9
3	38	9
4	58	9
5	80	9
6	102	9
7	135	9
8	168	9
9	221	9
10	372	9
11	406	9
done	406	9
0	8	9
1	17	9
2	38	9
3	79	9
4	161	9
5	380	9
6	1268	9
done	5000	9
0	9	19
1	15	19
2	25	19
3	39	19
4	59	19
5	81	19
6	103	19
7	136	19
8	169	19
9	222	19
10	375	19
11	404	19
done	404	19
0	8	9
1	14	9
2	24	9
3	38	9
4	58	9
5	80	9
6	102	9
7	135	9
8	168	9
9	221	9
10	372	9
11	406	9
done	406	9
0	9	26
1	28	26
2	98	10
3	469	10
4	2617	10
done	5001	10
0	8	9
1	14	9
2	24	9
3	38	9
4	58	9
5	80	9
6	102	9
7	135	9
8	168	9
9	221	9
10	372	9
11	406	9
done	406	9
0	8	9
1	14	9
2	24	9
3	38	9
4	58	9
5	80	9
6	102	9
7	135	9
8	168	9
9	221	9
10	372	9
11	406	9
done	406	9
0	10	12
1	30	12
2	81	12
3	211	12
4	469	12
5	1381	12
done	5000	12
0	11	26
1	31	21
2	91	21
3	230	21
4	589	21
5	1825	21
done	5000	21
0	9	17
1	24	17
2	70	16
3	188	16
4	509	16
5	1632	16
done	5000	16
0	7	8
1	14	8
2	33	8
3	56	8
4	85	8
5	128	8
6	156	8
7	223	8
8	371	8
9	409	8
10	412	8
done	412	8
0	6	7
1	8	7
2	9	6
done	9	6
0	6	7
1	8	7
2	9	6
done	9	6
0	5	6
1	8	6
2	15	6
3	18	6
4	22	6
5	29	6
6	30	6
done	30	6
0	10	20
1	18	20
2	30	12
3	45	12
4	65	12
5	87	12
6	109	12
7	142	12
8	175	12
9	228	12
10	371	12
11	410	12
done	410	12
0	9	10
1	15	10
2	25	10
3	39	10
4	59	10
5	81	10
6	103	10
7	136	10
8	169	10
9	222	10
10	375	10
11	404	10
done	404	10
0	9	10
1	15	10
2	25	10
3	39	10
4	59	10
5	81	10
6	103	10
7	136	10
8	169	10
9	222	10
10	375	10
11	404	10
done	404	10
0	9	10
1	15	10
2	25	10
3	39	10
4	59	10
5	81	10
6	103	10
7	136	10
8	169	10
9	222	10
10	375	10
11	404	10
done	404	10
0	2	2
1	4	1
done	4	1
0	8	9
1	14	9
2	24	9
3	38	9
4	58	9
5	80	9
6	102	9
7	135	9
8	168	9
9	221	9
10	372	9
11	406	9
done	406	9
0	11	13
1	31	13
2	82	13
3	205	13
4	458	13
5	1357	13
done	5000	13
0	12	27
1	32	22
2	92	22
3	232	22
4	593	22
5	1837	22
done	5000	22
0	10	18
1	25	18
2	74	17
3	193	17
4	512	17
5	1640	17
done	5000	17
0	8	9
1	15	9
2	34	9
3	57	9
4	86	9
5	129	9
6	155	9
7	222	9
8	370	9
9	399	9
10	402	9
done	402	9
0	8	9
1	14	9
2	24	9
3	38	9
4	58	9
5	80	9
6	102	9
7	135	9
8	168	9
9	221	9
10	372	9
11	406	9
done	406	9
0	9	10
1	15	10
2	25	10
3	39	10
4	59	10
5	81	10
6	103	10
7	136	10
8	169	10
9	222	10
10	375	10
11	404	10
done	404	10
0	9	10
1	15	8
2	25	8
3	39	8
4	59	8
5	81	8
6	103	8
7	136	8
8	169	8
9	222	8
10	375	8
11	404	8
done	404	8
0	10	21
1	16	21
2	26	21
3	40	21
4	60	21
5	82	21
6	104	21
7	137	21
8	170	21
9	223	21
10	368	21
11	396	21
done	396	21
0	9	10
1	15	10
2	25	10
3	39	10
4	59	10
5	81	10
6	103	10
7	136	10
8	169	10
9	222	10
10	375	10
11	404	10
done	404	10
0	10	29
1	17	29
2	29	11
3	48	11
4	74	11
5	106	11
6	149	11
7	243	11
8	488	11
9	1463	11
done	5000	11
0	9	10
1	15	10
2	25	10
3	39	10
4	59	10
5	81	10
6	103	10
7	136	10
8	169	10
9	222	10
10	375	10
11	404	10
done	404	10
0	9	10
1	15	10
2	25	10
3	39	10
4	59	10
5	81	10
6	103	10
7	136	10
8	169	10
9	222	10
10	375	10
11	404	10
done	404	10
0	12	13
1	20	13
2	31	13
3	45	13
4	65	13
5	87	13
6	109	13
7	142	13
8	175	13
9	228	13
10	379	13
11	424	13
done	424	13
0	11	12
1	20	12
2	32	12
3	47	12
4	67	12
5	89	12
6	111	12
7	146	12
8	179	12
9	232	12
10	381	12
11	414	12
done	414	12
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	14	35
1	29	35
2	71	15
3	152	13
4	249	13
5	388	13
6	871	13
7	3471	13
done	5000	13
0	12	25
1	18	25
2	28	25
3	42	25
4	62	25
5	84	25
6	106	25
7	141	25
8	174	25
9	227	25
10	374	25
11	421	25
done	421	25
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	12	35
1	25	35
2	51	13
3	103	13
4	188	13
5	270	13
6	418	13
7	946	13
8	3696	13
done	5001	13
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	9	10
1	15	10
2	25	10
3	39	10
4	59	10
5	81	10
6	103	10
7	136	10
8	169	10
9	222	10
10	375	10
11	404	10
done	404	10
0	2	2
done	2	2
0	13	15
1	33	15
2	84	15
3	213	15
4	475	15
5	1392	15
done	5001	15
0	14	29
1	34	24
2	94	24
3	235	24
4	596	24
5	1823	24
done	5000	24
0	12	20
1	27	20
2	76	19
3	195	19
4	517	19
5	1639	19
done	5000	19
0	10	11
1	17	11
2	36	11
3	59	11
4	88	11
5	131	11
6	157	11
7	224	11
8	372	11
9	413	11
10	416	11
done	416	11
0	5	7
1	9	7
done	9	7
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	4	4
1	6	4
done	6	4
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	2	3
1	4	1
done	4	1
0	10	11
1	16	11
2	26	11
3	40	11
4	60	11
5	82	11
6	104	11
7	137	11
8	170	11
9	223	11
10	368	11
11	396	11
done	396	11
0	14	27
1	26	27
2	45	27
3	65	27
4	85	27
5	107	27
6	129	27
7	164	27
8	197	27
9	250	27
10	399	27
11	428	27
done	428	27
0	12	13
1	18	13
2	28	13
3	42	13
4	62	13
5	84	13
6	106	13
7	141	13
8	174	13
9	227	13
10	374	13
11	421	13
done	421	13
0	13	24
1	21	24
2	33	24
3	48	24
4	68	24
5	90	24
6	112	24
7	147	24
8	180	24
9	233	24
10	380	24
11	424	24
done	424	24
0	12	13
1	18	13
2	28	13
3	42	13
4	62	13
5	84	13
6	106	13
7	141	13
8	174	13
9	227	13
10	374	13
11	421	13
done	421	13
0	12	23
1	22	21
2	38	21
3	57	21
4	76	21
5	96	21
6	118	21
7	153	21
8	186	21
9	236	21
10	381	21
11	428	21
done	428	21
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	13	16
1	21	16
2	31	16
3	45	16
4	65	16
5	87	16
6	109	16
7	142	16
8	175	16
9	228	16
10	379	16
11	425	16
done	425	16
0	12	13
1	18	13
2	28	13
3	42	13
4	62	13
5	84	13
6	106	13
7	141	13
8	174	13
9	227	13
10	374	13
11	421	13
done	421	13
0	12	13
1	18	13
2	28	13
3	42	13
4	62	13
5	84	13
6	106	13
7	141	13
8	174	13
9	227	13
10	374	13
11	421	13
done	421	13
0	12	13
1	18	13
2	28	13
3	42	13
4	62	13
5	84	13
6	106	13
7	141	13
8	174	13
9	227	13
10	374	13
11	421	13
done	421	13
0	11	12
1	19	10
2	31	10
3	45	10
4	64	10
5	84	10
6	106	10
7	139	10
8	172	10
9	222	10
10	371	10
11	416	10
done	416	10
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	5	7
1	9	7
done	9	7
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	4	4
1	6	4
done	6	4
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	2	3
1	4	1
done	4	1
0	10	11
1	16	11
2	26	11
3	40	11
4	60	11
5	82	11
6	104	11
7	137	11
8	170	11
9	223	11
10	368	11
11	396	11
done	396	11
0	3	3
1	5	3
done	5	3
0	10	11
1	16	11
2	26	11
3	40	11
4	60	11
5	82	11
6	104	11
7	137	11
8	170	11
9	223	11
10	368	11
11	403	11
done	403	11
0	12	15
1	20	15
2	30	15
3	44	15
4	64	15
5	86	15
6	108	15
7	143	15
8	176	15
9	229	15
10	376	15
11	430	15
done	430	15
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	369	12
11	408	12
done	408	12
0	10	11
1	18	9
2	30	9
3	44	9
4	63	9
5	83	9
6	105	9
7	138	9
8	171	9
9	221	9
10	370	9
11	408	9
done	408	9
0	10	11
1	16	11
2	26	11
3	40	11
4	60	11
5	82	11
6	104	11
7	137	11
8	170	11
9	223	11
10	368	11
11	403	11
done	403	11
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	371	12
11	408	12
done	408	12
0	11	12
1	17	12
2	27	12
3	41	12
4	61	12
5	83	12
6	105	12
7	138	12
8	171	12
9	224	12
10	371	12
11	408	12
done	408	12
0	10	11
1	16	11
2	26	11
3	40	11
4	60	11
5	82	11
6	104	11
7	137	11
8	170	11
9	223	11
10	368	11
11	403	11
done	403	11
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	9	5
2	10	4
done	10	4
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2699	5
done	5001	5
0	8	14
1	17	13
2	48	8
3	91	8
4	156	6
5	332	6
6	1071	6
7	4565	6
done	5000	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	48	6
3	92	6
4	115	6
5	168	6
6	355	6
7	1104	6
8	4616	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	11	13
1	25	13
2	56	11
3	77	11
4	92	11
5	111	11
6	153	11
7	225	11
8	457	11
9	1423	11
done	5000	11
0	7	8
1	13	8
2	20	8
3	26	8
4	32	8
5	46	8
6	70	8
7	105	8
8	134	8
9	168	8
10	190	8
11	241	8
12	397	8
13	435	8
done	435	8
0	7	8
1	13	8
2	20	8
3	26	8
4	32	8
5	46	8
6	70	8
7	105	8
8	134	8
9	168	8
10	190	8
11	241	8
12	397	8
13	435	8
done	435	8
0	13	16
1	30	16
2	70	14
3	91	14
4	109	12
5	129	12
6	151	12
7	210	12
8	417	12
9	1355	12
done	5000	12
0	22	36
1	57	35
2	175	30
3	566	30
4	2195	30
done	5001	30
0	23	36
1	57	36
2	177	32
3	583	32
4	2269	32
done	5000	32
0	17	22
1	37	22
2	89	22
3	153	22
4	265	20
5	364	16
6	427	16
7	522	16
8	737	16
9	1660	16
done	5000	16
0	27	44
1	68	43
2	221	39
3	876	38
4	4131	34
done	5001	34
0	28	44
1	68	44
2	212	40
3	803	40
4	4052	40
done	5000	40
0	10	13
1	26	13
2	63	11
3	102	11
4	125	11
5	144	11
6	179	11
7	251	11
8	493	11
9	1460	11
done	5001	11
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune218.0ms

Filtered

71 candidates to 92 candidates (-29.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	84	8	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	8	93

Merged error: 5.1b

Counts

93 → 8

localize17.0ms

Local error

Found 2 expressions with local error:

0.1b	(* (* z y) (+ (* 0.5 z) 1.0))
3.8b	(/ (+ (* (* z y) (+ (* 0.5 z) 1.0)) (log 1.0)) t)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 51

Calls

2 calls:

9.0ms	(* (* z y) (+ (* 0.5 z) 1.0))
13.0ms	(/ (+ (* (* z y) (+ (* 0.5 z) 1.0)) (log 1.0)) t)

series27.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(* (* z y) (+ (* 0.5 z) 1.0))
20.0ms	(/ (+ (* (* z y) (+ (* 0.5 z) 1.0)) (log 1.0)) t)

simplify52.7s

Counts

57 → 57

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	16
1	29	16
2	69	16
3	92	16
4	94	16
done	94	16
0	13	15
1	29	15
2	70	15
3	96	15
4	98	15
done	98	15
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	16	44
1	50	44
2	187	18
3	890	16
done	5001	16
0	14	31
1	27	31
2	66	31
3	95	31
4	97	31
done	97	31
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	14	44
1	34	44
2	105	16
3	306	16
4	1265	16
done	5000	16
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	11	13
1	27	13
2	81	13
3	188	13
4	332	13
5	362	13
6	390	13
7	500	13
8	866	13
9	887	13
10	910	13
done	910	13
0	2	2
done	2	2
0	16	33
1	35	33
2	83	33
3	112	33
4	114	33
done	114	33
0	14	16
1	27	16
2	66	16
3	95	16
4	97	16
done	97	16
0	15	30
1	30	30
2	71	30
3	97	30
4	99	30
done	99	30
0	14	16
1	27	16
2	66	16
3	95	16
4	97	16
done	97	16
0	14	29
1	31	27
2	76	27
3	106	27
4	108	27
done	108	27
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	15	19
1	30	19
2	69	19
3	96	19
4	98	19
done	98	19
0	14	16
1	27	16
2	66	16
3	95	16
4	97	16
done	97	16
0	14	16
1	27	16
2	66	16
3	95	16
4	97	16
done	97	16
0	14	16
1	27	16
2	66	16
3	95	16
4	97	16
done	97	16
0	13	15
1	28	13
2	69	13
3	94	13
4	96	13
done	96	13
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	5	7
1	9	7
done	9	7
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	4	4
1	6	4
done	6	4
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	2	3
1	4	1
done	4	1
0	12	14
1	25	14
2	64	14
3	87	14
4	89	14
done	89	14
0	3	3
1	5	3
done	5	3
0	12	14
1	25	14
2	64	14
3	87	14
4	89	14
done	89	14
0	14	18
1	29	18
2	68	18
3	93	18
4	95	18
done	95	18
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	12	14
1	27	12
2	68	12
3	95	12
4	97	12
done	97	12
0	13	15
1	26	15
2	65	15
3	90	15
4	92	15
done	92	15
0	13	15
1	26	15
2	65	15
3	90	15
4	92	15
done	92	15
0	12	14
1	25	14
2	64	14
3	87	14
4	89	14
done	89	14
0	16	40
1	52	37
2	220	37
3	1022	30
4	4247	30
done	5000	30
0	12	14
1	27	14
2	73	14
3	146	14
4	252	14
5	360	14
6	429	14
7	602	14
8	1089	14
9	1941	14
10	2591	14
11	2752	14
12	2781	14
13	2789	14
done	2789	14
0	8	9
1	20	9
2	55	9
3	72	9
4	74	9
done	74	9
0	8	9
1	20	9
2	55	9
3	72	9
4	74	9
done	74	9
0	11	12
1	17	12
2	23	12
3	25	12
done	25	12
0	10	11
1	17	11
2	22	11
3	26	11
done	26	11
0	9	10
1	24	10
2	66	10
3	99	10
4	101	10
done	101	10
0	9	10
1	23	10
2	72	10
3	140	10
4	260	10
5	788	10
6	2705	10
done	5001	10
0	14	29
1	41	29
2	178	15
3	944	15
done	5001	15
0	12	29
1	43	29
2	182	13
3	978	13
done	5001	13
0	10	21
1	22	21
2	57	21
3	78	21
4	80	21
done	80	21
0	9	10
1	21	10
2	56	10
3	77	10
4	79	10
done	79	10
0	10	29
1	32	29
2	171	11
3	974	11
4	4718	11
done	5000	11
0	9	10
1	21	10
2	56	10
3	77	10
4	79	10
done	79	10
0	9	10
1	21	10
2	56	10
3	77	10
4	79	10
done	79	10
0	6	7
1	13	7
2	28	7
3	38	7
done	38	7
0	5	5
1	9	5
2	15	5
done	15	5
0	6	7
1	13	7
2	28	7
3	40	7
done	40	7
0	5	5
1	9	5
2	15	5
done	15	5
0	10	17
1	18	17
2	31	17
3	41	17
done	41	17
0	9	10
1	15	10
2	21	10
done	21	10
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	7	7
1	16	7
2	25	7
3	27	7
done	27	7
0	11	13
1	39	13
2	132	13
3	448	13
4	1195	13
5	3184	13
done	5000	13
0	10	15
1	27	15
2	69	15
3	222	15
4	557	15
5	996	15
6	1620	15
7	2830	15
done	5000	15
0	17	22
1	37	22
2	89	22
3	153	22
4	265	20
5	364	16
6	427	16
7	522	16
8	737	16
9	1660	16
done	5000	16
0	14	17
1	31	17
2	77	17
3	141	17
4	255	15
5	354	11
6	417	11
7	503	11
8	721	11
9	1646	11
done	5000	11
0	14	17
1	31	17
2	77	17
3	141	17
4	255	15
5	354	11
6	417	11
7	503	11
8	721	11
9	1646	11
done	5000	11
0	11	13
1	25	13
2	59	11
3	82	11
4	100	9
5	120	9
6	142	9
7	199	9
8	419	9
9	1355	9
done	5000	9
0	11	13
1	25	13
2	59	11
3	82	11
4	100	9
5	120	9
6	142	9
7	199	9
8	419	9
9	1355	9
done	5000	9
0	11	13
1	25	13
2	59	11
3	82	11
4	100	9
5	120	9
6	142	9
7	199	9
8	419	9
9	1355	9
done	5000	9

prune172.0ms

Filtered

48 candidates to 57 candidates (-18.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	53	4	57
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	53	12	65

Merged error: 5.0b

Counts

65 → 12

localize14.0ms

Local error

Found 3 expressions with local error:

0.1b	(* (* z y) (+ (* 0.5 z) 1.0))
0.3b	(/ 1 (/ t (+ (* (* z y) (+ (* 0.5 z) 1.0)) (log 1.0))))
3.8b	(/ t (+ (* (* z y) (+ (* 0.5 z) 1.0)) (log 1.0)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
56×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log`
18×	`associate-/r*`
15×	`add-cbrt-cube`
11×	`associate-/r/`
9×	`pow1`
8×	`div-exp`
6×	`flip3-+` `flip-+` `div-inv` `associate-/l*`
4×	`cbrt-undiv`
3×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rec-exp` `frac-2neg` `1-exp` `associate-*r/` `clear-num`
1×	`distribute-rgt-in` `pow-flip` `distribute-lft-in` `associate-l` `*-commutative` `inv-pow`

Counts

3 → 135

Calls

3 calls:

9.0ms	(* (* z y) (+ (* 0.5 z) 1.0))
16.0ms	(/ 1 (/ t (+ (* (* z y) (+ (* 0.5 z) 1.0)) (log 1.0))))
13.0ms	(/ t (+ (* (* z y) (+ (* 0.5 z) 1.0)) (log 1.0)))

series85.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(* (* z y) (+ (* 0.5 z) 1.0))
31.0ms	(/ 1 (/ t (+ (* (* z y) (+ (* 0.5 z) 1.0)) (log 1.0))))
46.0ms	(/ t (+ (* (* z y) (+ (* 0.5 z) 1.0)) (log 1.0)))

simplify2.2min

Counts

144 → 144

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	14	16
1	29	16
2	69	16
3	92	16
4	94	16
done	94	16
0	13	15
1	29	15
2	70	15
3	96	15
4	98	15
done	98	15
0	13	15
1	26	15
2	65	15
3	90	15
4	92	15
done	92	15
0	16	44
1	50	44
2	187	18
3	841	16
done	5000	16
0	14	31
1	27	31
2	66	31
3	97	31
4	99	31
done	99	31
0	13	15
1	26	15
2	65	15
3	90	15
4	92	15
done	92	15
0	14	44
1	34	44
2	89	16
3	152	16
4	267	16
5	821	16
6	4102	16
done	5001	16
0	13	15
1	26	15
2	65	15
3	90	15
4	92	15
done	92	15
0	13	15
1	26	15
2	65	15
3	90	15
4	92	15
done	92	15
0	2	2
done	2	2
0	11	13
1	27	13
2	81	13
3	188	13
4	332	13
5	362	13
6	390	13
7	500	13
8	866	13
9	887	13
10	910	13
done	910	13
0	16	33
1	35	33
2	83	33
3	114	33
4	116	33
done	116	33
0	14	16
1	27	16
2	66	16
3	97	16
4	99	16
done	99	16
0	15	19
1	30	19
2	71	19
3	95	19
4	97	19
done	97	19
0	14	16
1	27	16
2	66	16
3	97	16
4	99	16
done	99	16
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	13	15
1	26	15
2	65	15
3	86	15
4	88	15
done	88	15
0	15	30
1	30	30
2	69	30
3	96	30
4	98	30
done	98	30
0	14	16
1	27	16
2	66	16
3	97	16
4	99	16
done	99	16
0	14	16
1	27	16
2	66	16
3	97	16
4	99	16
done	99	16
0	14	16
1	27	16
2	66	16
3	97	16
4	99	16
done	99	16
0	4	4
1	6	2
2	8	2
done	8	2
0	13	15
1	26	15
2	65	15
3	86	15
4	88	15
done	88	15
0	14	29
1	31	29
2	70	29
3	95	29
4	97	29
done	97	29
0	13	15
1	26	15
2	65	15
3	90	15
4	92	15
done	92	15
0	13	15
1	28	15
2	67	15
3	90	15
4	92	15
done	92	15
0	13	15
1	26	15
2	65	15
3	90	15
4	92	15
done	92	15
0	2	3
1	4	1
done	4	1
0	12	14
1	25	14
2	64	14
3	87	14
4	89	14
done	89	14
0	12	14
1	27	14
2	66	14
3	89	14
4	91	14
done	91	14
0	12	14
1	25	14
2	64	14
3	87	14
4	89	14
done	89	14
0	14	29
1	29	29
2	68	29
3	91	29
4	93	29
done	93	29
0	13	15
1	26	15
2	65	15
3	90	15
4	92	15
done	92	15
0	3	3
1	5	1
done	5	1
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	13	15
1	26	15
2	65	15
3	88	15
4	90	15
done	90	15
0	12	14
1	25	14
2	64	14
3	87	14
4	89	14
done	89	14
0	15	18
1	44	18
2	146	18
3	734	18
4	4156	18
done	5000	18
0	14	27
1	38	27
2	151	27
3	566	27
4	1775	27
5	4615	27
done	5000	27
0	2	2
1	5	1
done	5	1
0	15	17
1	30	17
2	73	17
3	102	17
4	105	16
done	105	16
0	14	16
1	30	16
2	71	16
3	102	16
4	106	16
5	107	16
done	107	16
0	16	18
1	35	17
2	87	17
3	133	16
4	164	16
5	191	16
6	200	16
7	217	16
done	217	16
0	15	17
1	33	16
2	80	16
3	118	16
4	146	16
5	176	16
6	182	16
7	188	16
8	205	16
done	205	16
0	17	19
1	38	18
2	85	17
3	137	16
4	168	16
5	195	16
6	204	16
7	218	16
done	218	16
0	16	18
1	36	17
2	80	16
3	118	16
4	146	16
5	176	16
6	184	16
7	190	16
8	206	16
done	206	16
0	15	17
1	36	16
2	92	16
3	197	15
4	460	15
5	1136	15
6	1442	15
7	1471	15
8	1490	15
done	1490	15
0	15	17
1	32	17
2	84	17
3	188	15
4	501	15
5	1401	15
6	2505	15
done	5001	15
0	20	50
1	61	46
2	228	20
3	1162	18
done	5001	18
0	18	50
1	47	46
2	122	18
3	357	18
4	1456	18
done	5000	18
0	16	35
1	33	35
2	83	35
3	167	31
4	400	31
5	1072	31
6	1333	31
7	1358	31
8	1365	31
done	1365	31
0	15	17
1	32	17
2	82	17
3	176	15
4	425	15
5	1077	15
6	1382	15
7	1406	15
8	1414	15
done	1414	15
0	16	50
1	40	50
2	125	18
3	487	16
4	2514	16
done	5000	16
0	15	17
1	32	17
2	82	17
3	176	15
4	425	15
5	1077	15
6	1382	15
7	1406	15
8	1414	15
done	1414	15
0	15	17
1	32	17
2	82	17
3	176	15
4	425	15
5	1077	15
6	1382	15
7	1406	15
8	1414	15
done	1414	15
0	2	2
1	5	1
done	5	1
0	13	15
1	28	15
2	67	15
3	90	15
4	92	15
done	92	15
0	18	37
1	39	35
2	87	33
3	124	33
4	126	33
done	126	33
0	16	18
1	31	17
2	70	17
3	93	17
4	95	17
done	95	17
0	17	21
1	34	19
2	75	17
3	97	17
4	99	17
done	99	17
0	16	18
1	31	17
2	70	17
3	93	17
4	95	17
done	95	17
0	20	39
1	45	37
2	120	35
3	215	33
4	272	33
done	272	33
0	17	19
1	34	18
2	76	18
3	100	16
4	115	16
5	122	16
done	122	16
0	19	25
1	40	23
2	97	21
3	157	19
4	181	19
done	181	19
0	17	19
1	34	18
2	76	18
3	100	16
4	115	16
5	122	16
done	122	16
0	8	13
1	16	7
2	30	7
3	39	7
done	39	7
0	16	18
1	33	17
2	83	17
3	169	15
4	402	15
5	1081	15
6	1312	15
7	1336	15
8	1345	15
done	1345	15
0	19	36
1	40	34
2	94	32
3	143	30
4	148	30
done	148	30
0	17	19
1	34	18
2	76	18
3	100	16
4	115	16
5	122	16
done	122	16
0	18	22
1	37	20
2	85	18
3	122	16
4	125	16
done	125	16
0	17	19
1	34	18
2	76	18
3	100	16
4	115	16
5	122	16
done	122	16
0	7	10
1	13	4
2	18	4
done	18	4
0	16	18
1	33	17
2	83	17
3	169	15
4	402	15
5	1081	15
6	1312	15
7	1336	15
8	1345	15
done	1345	15
0	17	35
1	38	33
2	92	29
3	137	27
4	147	27
5	148	27
done	148	27
0	16	18
1	33	17
2	75	17
3	97	15
4	112	15
5	117	15
done	117	15
0	16	21
1	35	19
2	83	15
3	116	13
4	118	13
done	118	13
0	16	18
1	33	17
2	75	17
3	97	15
4	112	15
5	117	15
done	117	15
0	5	9
1	11	1
done	11	1
0	15	17
1	32	16
2	82	16
3	176	14
4	411	14
5	1049	14
6	1357	14
7	1380	14
8	1388	14
done	1388	14
0	4	7
1	8	3
2	12	1
done	12	1
0	15	17
1	32	16
2	82	16
3	176	14
4	411	14
5	1049	14
6	1357	14
7	1380	14
8	1388	14
done	1388	14
0	5	7
1	9	5
2	11	3
3	12	3
done	12	3
0	14	17
1	31	16
2	81	14
3	149	12
4	265	12
5	335	12
6	354	12
done	354	12
0	19	24
1	54	22
2	173	20
3	837	18
done	5000	18
0	17	41
1	48	37
2	189	37
3	773	30
4	2613	30
done	5000	30
0	18	33
1	48	31
2	178	29
3	726	27
4	3142	27
done	5000	27
0	13	15
1	29	14
2	69	14
3	101	14
4	106	14
5	112	14
6	151	14
7	303	14
8	577	14
9	701	14
10	757	14
11	794	14
12	796	14
done	796	14
0	17	34
1	34	33
2	73	33
3	94	33
4	96	33
done	96	33
0	16	18
1	31	17
2	70	17
3	93	17
4	95	17
done	95	17
0	16	18
1	31	17
2	70	17
3	93	17
4	95	17
done	95	17
0	16	18
1	31	17
2	70	17
3	93	17
4	95	17
done	95	17
0	19	36
1	42	35
2	102	35
3	160	33
4	222	33
5	287	33
done	287	33
0	17	19
1	34	18
2	76	18
3	100	16
4	115	16
5	122	16
done	122	16
0	18	22
1	37	21
2	84	21
3	128	19
4	157	19
5	196	19
done	196	19
0	17	19
1	34	18
2	76	18
3	100	16
4	115	16
5	122	16
done	122	16
0	7	10
1	13	7
2	24	7
3	33	7
done	33	7
0	16	18
1	33	17
2	83	17
3	169	15
4	402	15
5	1081	15
6	1312	15
7	1336	15
8	1345	15
done	1345	15
0	18	33
1	37	32
2	83	32
3	118	30
4	144	30
5	163	30
done	163	30
0	17	19
1	34	18
2	76	18
3	100	16
4	115	16
5	122	16
done	122	16
0	17	19
1	34	18
2	76	18
3	100	16
4	115	16
5	122	16
done	122	16
0	17	19
1	34	18
2	76	18
3	100	16
4	115	16
5	122	16
done	122	16
0	6	7
1	10	4
2	15	4
done	15	4
0	16	18
1	33	17
2	83	17
3	169	15
4	402	15
5	1081	15
6	1312	15
7	1336	15
8	1345	15
done	1345	15
0	16	32
1	35	31
2	81	29
3	115	27
4	131	27
5	133	27
done	133	27
0	16	18
1	33	17
2	75	17
3	97	15
4	112	15
5	117	15
done	117	15
0	15	18
1	32	17
2	74	15
3	108	13
4	114	13
done	114	13
0	16	18
1	33	17
2	75	17
3	97	15
4	112	15
5	117	15
done	117	15
0	4	6
1	8	1
done	8	1
0	15	17
1	32	16
2	82	16
3	176	14
4	411	14
5	1049	14
6	1357	14
7	1380	14
8	1388	14
done	1388	14
0	3	4
1	5	1
done	5	1
0	15	17
1	32	16
2	82	16
3	176	14
4	411	14
5	1049	14
6	1357	14
7	1380	14
8	1388	14
done	1388	14
0	4	4
1	6	3
done	6	3
0	14	17
1	31	16
2	81	14
3	149	12
4	265	12
5	335	12
6	354	12
done	354	12
0	18	21
1	51	20
2	164	20
3	814	18
done	5000	18
0	17	41
1	48	37
2	189	37
3	773	30
4	2613	30
done	5000	30
0	17	30
1	45	29
2	169	29
3	694	27
4	2999	27
done	5000	27
0	13	15
1	29	14
2	69	14
3	101	14
4	106	14
5	112	14
6	151	14
7	303	14
8	577	14
9	701	14
10	757	14
11	794	14
12	796	14
done	796	14
0	16	33
1	33	33
2	72	33
3	95	33
4	97	33
done	97	33
0	15	17
1	30	17
2	69	17
3	94	17
4	96	17
done	96	17
0	15	17
1	30	17
2	69	17
3	94	17
4	96	17
done	96	17
0	15	17
1	30	17
2	69	17
3	94	17
4	96	17
done	96	17
0	18	35
1	41	35
2	101	35
3	163	33
4	225	33
5	290	33
done	290	33
0	16	18
1	33	18
2	75	18
3	97	16
4	112	16
5	117	16
done	117	16
0	17	21
1	36	21
2	83	21
3	119	19
4	148	19
5	185	19
done	185	19
0	16	18
1	33	18
2	75	18
3	97	16
4	112	16
5	117	16
done	117	16
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	15	17
1	32	17
2	82	17
3	176	15
4	411	15
5	1064	15
6	1328	15
7	1351	15
8	1360	15
done	1360	15
0	17	32
1	36	32
2	82	32
3	115	30
4	141	30
5	160	30
done	160	30
0	16	18
1	33	18
2	75	18
3	97	16
4	112	16
5	117	16
done	117	16
0	16	18
1	33	18
2	75	18
3	97	16
4	112	16
5	117	16
done	117	16
0	16	18
1	33	18
2	75	18
3	97	16
4	112	16
5	117	16
done	117	16
0	5	6
1	9	4
2	14	4
done	14	4
0	15	17
1	32	17
2	82	17
3	176	15
4	411	15
5	1064	15
6	1328	15
7	1351	15
8	1360	15
done	1360	15
0	15	31
1	34	27
2	82	27
3	118	27
4	134	27
5	135	27
done	135	27
0	15	17
1	32	17
2	74	17
3	104	15
4	119	15
5	124	15
done	124	15
0	14	17
1	31	13
2	75	13
3	102	13
4	105	13
done	105	13
0	15	17
1	32	17
2	74	17
3	104	15
4	119	15
5	124	15
done	124	15
0	3	5
1	6	1
done	6	1
0	14	16
1	31	16
2	81	16
3	169	14
4	416	14
5	1061	14
6	1370	14
7	1393	14
8	1400	14
done	1400	14
0	2	3
1	4	1
done	4	1
0	14	16
1	31	16
2	81	16
3	169	14
4	416	14
5	1061	14
6	1370	14
7	1393	14
8	1400	14
done	1400	14
0	3	3
1	5	3
done	5	3
0	13	16
1	30	12
2	82	12
3	157	12
4	292	12
5	338	12
6	343	12
done	343	12
0	17	20
1	50	20
2	163	20
3	812	18
done	5000	18
0	16	40
1	47	37
2	188	37
3	785	30
4	2620	30
done	5000	30
0	16	29
1	44	29
2	168	29
3	696	27
4	3028	27
done	5000	27
0	12	14
1	28	14
2	68	14
3	96	14
4	101	14
5	107	14
6	146	14
7	298	14
8	572	14
9	704	14
10	751	14
11	786	14
12	788	14
done	788	14
0	14	16
1	31	16
2	81	16
3	169	14
4	416	14
5	1061	14
6	1370	14
7	1393	14
8	1400	14
done	1400	14
0	14	16
1	31	14
2	85	14
3	156	14
4	294	14
5	366	14
6	373	14
done	373	14
0	16	33
1	33	33
2	72	33
3	95	33
4	97	33
done	97	33
0	15	17
1	30	17
2	69	17
3	94	17
4	96	17
done	96	17
0	18	35
1	41	35
2	101	35
3	163	33
4	225	33
5	290	33
done	290	33
0	17	21
1	36	21
2	83	21
3	119	19
4	148	19
5	185	19
done	185	19
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	17	32
1	36	32
2	82	32
3	115	30
4	141	30
5	160	30
done	160	30
0	16	18
1	33	18
2	75	18
3	97	16
4	112	16
5	117	16
done	117	16
0	5	6
1	9	4
2	14	4
done	14	4
0	15	31
1	34	27
2	82	27
3	118	27
4	134	27
5	135	27
done	135	27
0	14	17
1	31	13
2	75	13
3	102	13
4	105	13
done	105	13
0	3	5
1	6	1
done	6	1
0	2	3
1	4	1
done	4	1
0	3	3
1	5	3
done	5	3
0	17	20
1	50	20
2	163	20
3	812	18
done	5000	18
0	16	29
1	44	29
2	168	29
3	696	27
4	3028	27
done	5000	27
0	15	17
1	32	16
2	82	16
3	153	14
4	299	14
5	356	14
6	360	14
done	360	14
0	15	17
1	32	16
2	82	16
3	153	14
4	299	14
5	356	14
6	360	14
done	360	14
0	14	16
1	31	14
2	85	14
3	156	14
4	294	14
5	366	14
6	373	14
done	373	14
0	3	3
1	5	3
done	5	3
0	8	9
1	20	9
2	55	9
3	72	9
4	74	9
done	74	9
0	8	9
1	20	9
2	55	9
3	72	9
4	74	9
done	74	9
0	11	12
1	17	12
2	23	12
3	25	12
done	25	12
0	10	11
1	17	11
2	22	11
3	26	11
done	26	11
0	9	10
1	24	10
2	66	10
3	99	10
4	101	10
done	101	10
0	9	10
1	23	10
2	72	10
3	140	10
4	260	10
5	788	10
6	2705	10
done	5001	10
0	14	29
1	41	29
2	178	15
3	944	15
done	5001	15
0	12	29
1	43	29
2	182	13
3	978	13
done	5001	13
0	10	21
1	22	21
2	57	21
3	78	21
4	80	21
done	80	21
0	9	10
1	21	10
2	56	10
3	77	10
4	79	10
done	79	10
0	10	29
1	32	29
2	171	11
3	974	11
4	4718	11
done	5000	11
0	9	10
1	21	10
2	56	10
3	77	10
4	79	10
done	79	10
0	9	10
1	21	10
2	56	10
3	77	10
4	79	10
done	79	10
0	6	7
1	13	7
2	28	7
3	38	7
done	38	7
0	5	5
1	9	5
2	15	5
done	15	5
0	6	7
1	13	7
2	28	7
3	40	7
done	40	7
0	5	5
1	9	5
2	15	5
done	15	5
0	10	17
1	18	17
2	31	17
3	41	17
done	41	17
0	9	10
1	15	10
2	21	10
done	21	10
0	5	5
1	11	3
2	23	3
3	27	3
done	27	3
0	7	7
1	16	7
2	25	7
3	27	7
done	27	7
0	11	13
1	39	13
2	132	13
3	448	13
4	1195	13
5	3184	13
done	5000	13
0	10	15
1	27	15
2	69	15
3	222	15
4	557	15
5	996	15
6	1620	15
7	2830	15
done	5000	15
0	13	17
1	29	17
2	108	17
3	408	17
4	2192	16
done	5000	16
0	23	29
1	60	29
2	181	29
3	513	25
4	1818	21
done	5000	21
0	23	29
1	60	29
2	181	29
3	513	25
4	1818	21
done	5000	21
0	4	4
done	4	4
0	17	22
1	37	22
2	89	22
3	153	22
4	265	20
5	364	16
6	427	16
7	522	16
8	737	16
9	1660	16
done	5000	16
0	17	22
1	37	22
2	89	22
3	153	22
4	265	20
5	364	16
6	427	16
7	522	16
8	737	16
9	1660	16
done	5000	16
0	11	13
1	25	13
2	59	11
3	82	11
4	100	9
5	120	9
6	142	9
7	199	9
8	419	9
9	1355	9
done	5000	9
0	11	13
1	25	13
2	59	11
3	82	11
4	100	9
5	120	9
6	142	9
7	199	9
8	419	9
9	1355	9
done	5000	9
0	11	13
1	25	13
2	59	11
3	82	11
4	100	9
5	120	9
6	142	9
7	199	9
8	419	9
9	1355	9
done	5000	9

prune283.0ms

Filtered

93 candidates to 144 candidates (-54.8%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	144	12	156

Merged error: 5.0b

Counts

156 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
2.9b	(log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
10.9b	(+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-prod`
5×	`pow1` `add-exp-log`
4×	`add-cbrt-cube`
3×	`log-prod`
2×	`log-div` `associate-+l+` `flip3-+` `pow1/3` `sum-log` `flip-+`
1×	`+-commutative` `associate-+l-` `sub-neg` `diff-log` `rem-log-exp` `log-pow`

Counts

4 → 51

Calls

4 calls:

2.0ms	(cbrt y)
2.0ms	(cbrt y)
8.0ms	(log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
10.0ms	(+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))

series86.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(cbrt y)
26.0ms	(cbrt y)
23.0ms	(log (+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z)))))
12.0ms	(+ (- 1.0 y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (exp z))))

simplify2.7min

Counts

63 → 63

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	13	18
1	26	17
2	55	16
3	109	12
4	273	9
5	967	9
6	4753	9
done	5000	9
0	12	17
1	28	16
2	59	16
3	126	12
4	323	9
5	1165	9
done	5000	9
0	11	16
1	22	16
2	39	16
3	68	12
4	142	9
5	272	9
6	330	9
7	390	9
8	498	9
9	752	9
10	1509	9
11	4086	9
done	5000	9
0	11	16
1	25	16
2	58	16
3	129	12
4	342	9
5	1103	9
done	5000	9
0	12	33
1	23	33
2	40	33
3	69	25
4	143	19
5	273	19
6	331	19
7	391	19
8	498	19
9	762	19
10	1521	19
11	4132	19
done	5001	19
0	11	16
1	22	16
2	39	16
3	68	12
4	142	9
5	272	9
6	330	9
7	390	9
8	498	9
9	752	9
10	1509	9
11	4086	9
done	5000	9
0	12	47
1	36	47
2	130	17
3	740	13
4	4407	10
done	5000	10
0	11	16
1	22	16
2	39	16
3	68	12
4	142	9
5	272	9
6	330	9
7	390	9
8	498	9
9	752	9
10	1509	9
11	4086	9
done	5000	9
0	11	16
1	22	16
2	39	16
3	68	12
4	142	9
5	272	9
6	330	9
7	390	9
8	498	9
9	752	9
10	1509	9
11	4086	9
done	5000	9
0	13	19
1	38	19
2	126	19
3	483	12
4	1190	12
5	3218	12
done	5000	12
0	14	47
1	39	35
2	159	35
3	574	27
4	1462	21
5	3619	21
done	5001	21
0	12	31
1	32	31
2	122	31
3	444	22
4	1192	16
5	2955	16
done	5000	16
0	10	15
1	22	15
2	54	15
3	104	11
4	146	8
5	275	8
6	335	8
7	399	8
8	499	8
9	763	8
10	1523	8
11	4079	8
done	5001	8
0	9	14
1	16	14
2	25	13
3	28	9
4	33	6
5	37	6
6	43	6
7	53	6
8	74	6
9	139	6
10	357	6
11	1273	6
done	5000	6
0	9	14
1	16	14
2	25	13
3	28	9
4	33	6
5	37	6
6	43	6
7	53	6
8	74	6
9	139	6
10	357	6
11	1273	6
done	5000	6
0	8	13
1	16	13
2	38	13
3	72	9
4	78	6
5	82	6
6	91	6
7	105	6
8	133	6
9	198	6
10	407	6
11	1343	6
done	5000	6
0	13	34
1	26	34
2	46	19
3	76	15
4	149	12
5	279	12
6	337	12
7	397	12
8	502	12
9	755	12
10	1516	12
11	4085	12
done	5001	12
0	12	17
1	23	17
2	40	17
3	69	13
4	143	10
5	273	10
6	331	10
7	391	10
8	498	10
9	762	10
10	1521	10
11	4132	10
done	5001	10
0	12	17
1	23	17
2	40	17
3	69	13
4	143	10
5	273	10
6	331	10
7	391	10
8	498	10
9	762	10
10	1521	10
11	4132	10
done	5001	10
0	12	17
1	23	17
2	40	17
3	69	13
4	143	10
5	273	10
6	331	10
7	391	10
8	498	10
9	762	10
10	1521	10
11	4132	10
done	5001	10
0	2	2
1	4	1
done	4	1
0	11	16
1	22	16
2	39	16
3	68	12
4	142	9
5	272	9
6	330	9
7	390	9
8	498	9
9	752	9
10	1509	9
11	4086	9
done	5000	9
0	14	20
1	39	20
2	128	20
3	485	13
4	1201	13
5	3213	13
done	5000	13
0	15	48
1	40	36
2	160	36
3	575	28
4	1462	22
5	3650	22
done	5001	22
0	13	32
1	33	32
2	126	32
3	455	23
4	1194	17
5	2975	17
done	5000	17
0	11	16
1	23	16
2	55	16
3	105	12
4	145	9
5	274	9
6	334	9
7	398	9
8	499	9
9	758	9
10	1511	9
11	4119	9
done	5000	9
0	11	16
1	22	16
2	39	16
3	68	12
4	142	9
5	272	9
6	330	9
7	390	9
8	498	9
9	752	9
10	1509	9
11	4086	9
done	5000	9
0	12	17
1	23	17
2	40	17
3	69	13
4	143	10
5	273	10
6	331	10
7	391	10
8	498	10
9	762	10
10	1521	10
11	4132	10
done	5001	10
0	12	17
1	23	15
2	40	15
3	69	11
4	143	8
5	273	8
6	331	8
7	391	8
8	498	8
9	762	8
10	1521	8
11	4108	8
done	5001	8
0	13	35
1	24	35
2	42	35
3	72	27
4	146	21
5	276	21
6	334	21
7	394	21
8	500	21
9	765	21
10	1527	21
11	4100	21
done	5000	21
0	12	17
1	23	17
2	40	17
3	69	13
4	143	10
5	273	10
6	331	10
7	391	10
8	498	10
9	762	10
10	1521	10
11	4132	10
done	5001	10
0	13	50
1	25	50
2	45	18
3	79	14
4	156	11
5	294	11
6	369	11
7	485	11
8	789	11
9	1980	11
done	5000	11
0	12	17
1	23	17
2	40	17
3	69	13
4	143	10
5	273	10
6	331	10
7	391	10
8	498	10
9	762	10
10	1521	10
11	4132	10
done	5001	10
0	12	17
1	23	17
2	40	17
3	69	13
4	143	10
5	273	10
6	331	10
7	391	10
8	498	10
9	762	10
10	1521	10
11	4132	10
done	5001	10
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	11	13
1	25	13
2	56	11
3	77	11
4	92	11
5	111	11
6	153	11
7	225	11
8	457	11
9	1423	11
done	5000	11
0	7	8
1	13	8
2	20	8
3	26	8
4	32	8
5	46	8
6	70	8
7	105	8
8	134	8
9	168	8
10	190	8
11	241	8
12	397	8
13	435	8
done	435	8
0	7	8
1	13	8
2	20	8
3	26	8
4	32	8
5	46	8
6	70	8
7	105	8
8	134	8
9	168	8
10	190	8
11	241	8
12	397	8
13	435	8
done	435	8
0	13	16
1	30	16
2	70	14
3	91	14
4	109	12
5	129	12
6	151	12
7	210	12
8	417	12
9	1355	12
done	5000	12
0	22	36
1	57	35
2	175	30
3	566	30
4	2195	30
done	5001	30
0	23	36
1	57	36
2	177	32
3	583	32
4	2269	32
done	5000	32
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

prune88.0ms

Filtered

47 candidates to 63 candidates (-34.0%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	63	12	75

Merged error: 5.0b

Counts

75 → 12

regimes1.3s

Accuracy

73.4% (4.2b remaining)

Error of 8.6b against oracle of 4.4b and baseline of 20.1b

bsearch99.0ms

Steps

Iters	Range		Point
7	-3.633872354935684e-51	-1.9620827183228366e-53	-1.1872354773046371e-52
8	-1994846.076561198	-1588.2412550094143	-1608.9440882450247

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	62
1	56	62
done	56	62

end0.0ms

sample3.4s

Algorithm

intervals

Results

1.0s	1417×	body	1280	valid
542.0ms	1568×	body	640	valid
251.0ms	3531×	body	80	valid
200.0ms	889×	body	320	valid
127.0ms	2398×	body	80	nan
110.0ms	90×	body	2560	valid
98.0ms	1462×	body	80	overflowed
74.0ms	526×	body	160	valid
72.0ms	289×	body	640	nan
43.0ms	119×	body	1280	nan
31.0ms	179×	body	320	nan
14.0ms	120×	body	160	nan

Details

sample106.0ms

simplify320.0ms

prune5.0ms

localize11.0ms

rewrite32.0ms

series79.0ms

simplify1.5min

prune218.0ms

localize17.0ms

rewrite24.0ms

series27.0ms

simplify52.7s

prune172.0ms

localize14.0ms

rewrite43.0ms

series85.0ms

simplify2.2min

prune283.0ms

localize15.0ms

rewrite23.0ms

series86.0ms

simplify2.7min

prune88.0ms

regimes1.3s

bsearch99.0ms

simplify4.0ms

end0.0ms

sample3.4s

Profiling