Details

sample270.0ms

Algorithm

intervals

Results

91.0ms	1188×	body	80	nan
35.0ms	397×	body	80	valid
5.0ms	12×	body	640	valid
2.0ms	8×	body	320	valid
2.0ms	2×	body	1280	valid
1.0ms	4×	body	160	valid

simplify2.8s

Counts

1 → 1

Iterations

Useful iterations: 4 (37.0ms)

Iter	Nodes	Cost
0	17	18
1	30	18
2	58	18
3	111	18
4	282	17
5	951	17
6	4645	17
done	5000	17

prune18.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: 1.8b

Counts

2 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
0.2b	(* y (- (log z) t))
0.3b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
4.0b	(log (- 1.0 z))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

27×	`log-prod`
24×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
22×	`associate--l+`
17×	`distribute-rgt-in` `distribute-lft-in`
14×	`add-cube-cbrt` `associate-+r+`
10×	`associate-+l+` `associate-*r/`
9×	`add-log-exp`
8×	`pow1`
7×	`add-exp-log`
6×	`sub-neg` `flip3--` `associate-r` `add-cbrt-cube` `flip--`
5×	`distribute-lft-out--`
4×	`frac-add` `difference-of-squares`
3×	`exp-prod` `associate-l`
2×	`log-div` `sum-log` `log-pow` `rem-exp-log`
1×	`+-commutative` `flip3-+` `rem-log-exp` `exp-sum` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 101

Calls

4 calls:

11.0ms	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
9.0ms	(* y (- (log z) t))
14.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
4.0ms	(log (- 1.0 z))

series127.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b))))
20.0ms	(* y (- (log z) t))
45.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))

simplify1.9min

Counts

113 → 113

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	81	8
4	172	8
5	521	8
6	2302	8
done	5001	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	3
2	8	3
done	8	3
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	6
4	23	6
5	33	6
6	56	6
7	116	6
8	332	6
9	1267	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	16	17
1	31	16
2	58	16
3	128	16
4	325	15
5	1038	15
6	4831	15
done	5000	15
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	548	16
9	636	16
10	648	16
done	648	16
0	15	16
1	27	16
2	51	16
3	100	16
4	223	15
5	605	15
6	2514	15
done	5000	15
0	16	33
1	25	33
2	40	33
3	58	33
4	90	33
5	129	33
6	181	33
7	336	33
8	550	33
9	634	33
10	646	33
done	646	33
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	548	16
9	636	16
10	648	16
done	648	16
0	16	47
1	38	47
2	117	17
3	506	17
4	2989	17
done	5000	17
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	548	16
9	636	16
10	648	16
done	648	16
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	548	16
9	636	16
10	648	16
done	648	16
0	31	59
1	85	55
2	238	55
3	886	51
4	4781	51
done	5000	51
0	18	35
1	41	31
2	121	31
3	495	27
4	1619	27
done	5001	27
0	27	48
1	69	46
2	181	46
3	657	45
4	3170	38
done	5001	38
0	14	21
1	31	19
2	83	19
3	217	18
4	503	18
5	1028	18
6	1190	18
7	1192	18
done	1192	18
0	27	50
1	69	48
2	201	48
3	828	45
4	3761	40
done	5001	40
0	14	25
1	31	23
2	85	23
3	215	20
4	454	20
5	994	20
6	1354	20
7	1368	20
done	1368	20
0	22	39
1	49	39
2	137	39
3	518	39
4	1879	32
done	5001	32
0	10	11
1	21	11
2	47	11
3	67	11
4	100	11
5	106	11
done	106	11
0	17	19
1	45	19
2	127	19
3	437	19
4	1412	19
5	4399	19
done	5001	19
0	18	47
1	52	38
2	167	38
3	614	38
4	2173	38
done	5000	38
0	16	31
1	43	31
2	123	31
3	390	31
4	1207	31
5	3831	31
done	5000	31
0	14	15
1	24	15
2	46	15
3	79	15
4	143	15
5	208	15
6	288	15
7	473	15
8	644	15
9	677	15
10	678	15
done	678	15
0	12	13
1	19	13
2	27	13
3	36	13
4	45	13
5	48	13
6	54	13
7	71	13
8	102	13
9	144	13
10	176	13
11	183	13
12	208	13
13	231	13
14	232	13
done	232	13
0	14	19
1	23	19
2	37	16
3	56	16
4	79	16
5	92	16
6	108	16
7	163	16
8	291	16
9	451	16
10	509	16
11	551	16
12	605	16
13	623	16
done	623	16
0	13	14
1	20	14
2	28	14
3	37	14
4	46	14
5	49	14
6	55	14
7	72	14
8	103	14
9	145	14
10	177	14
11	184	14
12	209	14
13	232	14
14	233	14
done	233	14
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	14	15
1	20	15
2	27	15
3	36	15
4	45	15
5	48	15
6	54	15
7	71	15
8	102	15
9	144	15
10	176	15
11	183	15
12	208	15
13	231	15
14	232	15
done	232	15
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	12	13
1	19	13
2	27	13
3	36	13
4	45	13
5	48	13
6	54	13
7	71	13
8	102	13
9	144	13
10	176	13
11	183	13
12	208	13
13	231	13
14	232	13
done	232	13
0	12	13
1	19	13
2	27	13
3	36	13
4	45	13
5	48	13
6	54	13
7	71	13
8	102	13
9	144	13
10	176	13
11	183	13
12	208	13
13	231	13
14	232	13
done	232	13
0	14	19
1	23	19
2	37	16
3	56	16
4	79	16
5	92	16
6	108	16
7	163	16
8	291	16
9	451	16
10	509	16
11	551	16
12	605	16
13	623	16
done	623	16
0	13	14
1	20	14
2	28	14
3	37	14
4	46	14
5	49	14
6	55	14
7	72	14
8	103	14
9	145	14
10	177	14
11	184	14
12	209	14
13	232	14
14	233	14
done	233	14
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	14	15
1	20	15
2	27	15
3	36	15
4	45	15
5	48	15
6	54	15
7	71	15
8	102	15
9	144	15
10	176	15
11	183	15
12	208	15
13	231	15
14	232	15
done	232	15
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	12	13
1	19	13
2	27	13
3	36	13
4	45	13
5	48	13
6	54	13
7	71	13
8	102	13
9	144	13
10	176	13
11	183	13
12	208	13
13	231	13
14	232	13
done	232	13
0	13	13
1	22	13
2	34	12
3	46	12
4	60	12
5	68	12
6	80	12
7	114	12
8	170	12
9	230	12
10	238	12
11	239	12
done	239	12
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	549	16
9	637	16
10	649	16
done	649	16
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	549	16
9	637	16
10	649	16
done	649	16
0	14	15
1	23	15
2	38	15
3	56	15
4	88	15
5	127	15
6	179	15
7	334	15
8	548	15
9	634	15
10	646	15
done	646	15
0	13	13
1	22	13
2	34	12
3	46	12
4	60	12
5	68	12
6	80	12
7	114	12
8	170	12
9	230	12
10	238	12
11	239	12
done	239	12
0	13	13
1	22	13
2	34	12
3	46	12
4	60	12
5	68	12
6	80	12
7	114	12
8	170	12
9	230	12
10	238	12
11	239	12
done	239	12
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	549	16
9	635	16
10	647	16
done	647	16
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	549	16
9	635	16
10	647	16
done	647	16
0	14	15
1	23	15
2	38	15
3	56	15
4	88	15
5	127	15
6	179	15
7	334	15
8	548	15
9	634	15
10	646	15
done	646	15
0	13	13
1	22	13
2	34	12
3	46	12
4	60	12
5	68	12
6	80	12
7	114	12
8	170	12
9	230	12
10	238	12
11	239	12
done	239	12
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	25	7
3	50	7
4	91	6
5	193	6
6	442	6
7	1393	6
done	5000	6
0	10	20
1	19	20
2	63	10
3	243	10
4	874	8
5	3006	8
done	5001	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	265	8
4	812	8
5	2547	8
done	5001	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	6	5
done	6	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	6	5
done	6	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	8	13
1	13	13
2	16	13
done	16	13
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	6	1
done	6	1
0	8	8
1	16	8
2	17	8
done	17	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	986	10
6	4540	10
done	5000	10
0	8	11
1	14	11
2	31	11
3	77	11
4	164	11
5	250	11
6	410	11
7	781	11
8	3429	11
done	5000	11
0	17	34
1	28	34
2	47	34
3	70	34
4	120	34
5	199	34
6	353	34
7	888	34
8	2775	34
done	5000	34
0	16	17
1	25	17
2	40	17
3	58	17
4	90	17
5	129	17
6	181	17
7	336	17
8	550	17
9	634	17
10	646	17
done	646	17
0	2	2
1	5	1
done	5	1
0	7	7
1	12	7
2	25	7
3	50	7
4	91	6
5	193	6
6	442	6
7	1393	6
done	5000	6
0	9	9
1	16	9
2	30	9
3	55	9
4	96	8
5	211	8
6	477	8
7	1483	8
done	5001	8
0	16	17
1	28	15
2	55	15
3	113	15
4	264	15
5	815	15
6	3375	15
done	5000	15
0	16	17
1	28	17
2	54	17
3	108	17
4	257	16
5	772	16
6	3210	16
done	5001	16
0	17	35
1	29	35
2	53	35
3	102	35
4	225	33
5	609	33
6	2509	33
done	5001	33
0	16	17
1	28	17
2	52	17
3	101	17
4	224	16
5	610	16
6	2512	16
done	5000	16
0	17	50
1	32	49
2	83	18
3	240	18
4	1039	17
done	5000	17
0	16	17
1	28	17
2	52	17
3	101	17
4	224	16
5	614	16
6	2516	16
done	5001	16
0	16	17
1	28	17
2	52	17
3	101	17
4	224	16
5	614	16
6	2516	16
done	5001	16
0	12	16
1	29	16
2	79	16
3	156	16
4	303	16
5	532	14
6	799	14
7	1185	14
8	1630	14
9	3483	14
done	5001	14
0	16	22
1	41	20
2	95	15
3	253	15
4	612	15
5	1558	13
done	5000	13
0	17	21
1	40	20
2	95	15
3	247	15
4	726	14
5	1869	13
done	5000	13
0	16	18
1	32	15
2	62	11
3	113	11
4	142	11
5	197	11
6	300	11
7	420	11
8	536	11
9	592	11
10	612	11
11	614	11
done	614	11
0	17	20
1	36	18
2	67	16
3	144	14
4	314	13
5	750	13
6	1437	13
7	1794	13
8	1844	13
done	1844	13
0	17	19
1	36	16
2	66	14
3	136	13
4	331	13
5	902	13
6	1724	13
7	1912	13
8	1921	13
done	1921	13
0	11	13
1	23	10
2	42	6
3	67	6
4	82	6
5	117	6
6	176	6
7	252	6
8	269	6
9	305	6
10	324	6
done	324	6
0	12	15
1	27	11
2	54	8
3	105	7
4	178	6
5	285	6
6	339	6
done	339	6
0	12	15
1	24	13
2	47	11
3	102	11
4	222	8
5	500	6
6	1338	6
done	5000	6
0	14	16
1	26	15
2	48	11
3	76	11
4	98	11
done	98	11
0	23	33
1	52	29
2	134	23
3	469	20
4	1688	18
done	5000	17
0	23	32
1	50	31
2	127	24
3	452	19
4	1694	19
done	5000	19

prune217.0ms

Filtered

89 candidates to 113 candidates (-27.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	110	3	113
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	112	3	115

Merged error: 0.0b

Counts

115 → 3

localize29.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (+ (* (/ 1/2 (pow 1.0 2)) z) 1.0))
0.0b	(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (* z (+ (* (/ 1/2 (pow 1.0 2)) z) 1.0))) b))))
0.2b	(* y (- (log z) t))
0.3b	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (* z (+ (* (/ 1/2 (pow 1.0 2)) z) 1.0))) b)))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

28×	`associate--l+`
21×	`add-sqr-sqrt`
18×	`distribute-rgt-in` `log-prod` `*-un-lft-identity` `distribute-lft-in`
15×	`add-cube-cbrt`
14×	`associate-+r+`
12×	`associate-*r/`
10×	`associate-+l+`
9×	`pow1` `associate-r` `add-log-exp`
8×	`add-exp-log` `sub-neg` `add-cbrt-cube`
6×	`associate-l`
5×	`flip3--` `flip--`
4×	`frac-add`
3×	`exp-prod`
2×	`flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `rem-exp-log` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `exp-sum` `log-pow` `difference-of-squares`

Counts

4 → 107

Calls

4 calls:

12.0ms	(* z (+ (* (/ 1/2 (pow 1.0 2)) z) 1.0))
12.0ms	(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (* z (+ (* (/ 1/2 (pow 1.0 2)) z) 1.0))) b))))
9.0ms	(* y (- (log z) t))
15.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (* z (+ (* (/ 1/2 (pow 1.0 2)) z) 1.0))) b)))

series169.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* z (+ (* (/ 1/2 (pow 1.0 2)) z) 1.0))
70.0ms	(exp (+ (* y (- (log z) t)) (* a (- (- (log 1.0) (* z (+ (* (/ 1/2 (pow 1.0 2)) z) 1.0))) b))))
16.0ms	(* y (- (log z) t))
69.0ms	(+ (* y (- (log z) t)) (* a (- (- (log 1.0) (* z (+ (* (/ 1/2 (pow 1.0 2)) z) 1.0))) b)))

simplify4.0min

Counts

119 → 119

Iterations

Useful iterations: done (2.0ms)

Iter	Nodes	Cost
0	23	27
1	56	26
2	134	26
3	341	26
4	898	25
5	2742	25
done	5001	25
0	22	26
1	49	26
2	116	26
3	259	26
4	581	26
5	1288	26
6	3019	26
done	5001	26
0	22	26
1	52	26
2	128	26
3	308	26
4	775	25
5	2107	25
done	5001	25
0	23	53
1	50	53
2	117	53
3	260	53
4	585	53
5	1300	53
6	2975	53
done	5001	53
0	22	26
1	49	26
2	116	26
3	259	26
4	581	26
5	1288	26
6	3019	26
done	5001	26
0	23	77
1	63	77
2	194	27
3	747	27
4	4251	27
done	5001	27
0	22	26
1	49	26
2	116	26
3	259	26
4	581	26
5	1288	26
6	3019	26
done	5001	26
0	22	26
1	49	26
2	116	26
3	259	26
4	581	26
5	1288	26
6	3019	26
done	5001	26
0	38	99
1	107	95
2	322	95
3	1274	81
done	5001	81
0	25	65
1	64	61
2	200	61
3	813	47
4	4278	47
done	5000	47
0	34	78
1	93	76
2	272	76
3	1099	75
done	5000	58
0	21	31
1	56	29
2	166	29
3	556	28
4	2141	28
done	5000	28
0	34	90
1	91	88
2	285	88
3	1212	75
done	5000	70
0	21	55
1	54	53
2	164	53
3	529	40
4	2294	40
done	5000	40
0	29	69
1	74	69
2	229	69
3	987	69
done	5000	52
0	17	21
1	46	21
2	130	21
3	342	21
4	980	21
5	3042	21
done	5001	21
0	24	29
1	69	29
2	203	29
3	703	29
4	2765	29
done	5000	29
0	25	77
1	77	58
2	244	58
3	948	58
4	4291	58
done	5000	58
0	23	51
1	68	51
2	200	51
3	676	51
4	2747	51
done	5000	51
0	21	25
1	49	25
2	123	25
3	293	25
4	726	25
5	1999	25
done	5001	25
0	19	23
1	42	23
2	97	23
3	210	23
4	464	23
5	1091	23
6	2308	23
7	3977	23
done	5000	23
0	11	11
1	16	11
2	23	11
3	32	11
4	41	11
5	44	11
6	50	11
7	67	11
8	98	11
9	140	11
10	172	11
11	179	11
12	204	11
13	227	11
14	228	11
done	228	11
0	13	15
1	20	15
2	33	14
3	52	14
4	77	14
5	88	14
6	104	14
7	159	14
8	287	14
9	447	14
10	504	14
11	548	14
12	604	14
13	622	14
done	622	14
0	12	12
1	17	12
2	24	12
3	33	12
4	42	12
5	45	12
6	51	12
7	68	12
8	99	12
9	141	12
10	173	12
11	180	12
12	205	12
13	228	12
14	229	12
done	229	12
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	11	11
1	16	11
2	23	11
3	32	11
4	41	11
5	44	11
6	50	11
7	67	11
8	98	11
9	140	11
10	172	11
11	179	11
12	204	11
13	227	11
14	228	11
done	228	11
0	19	23
1	42	23
2	97	23
3	210	23
4	464	23
5	1091	23
6	2308	23
7	3977	23
done	5000	23
0	19	23
1	42	23
2	97	23
3	210	23
4	467	23
5	1094	23
6	2321	23
7	3979	23
done	5000	23
0	11	11
1	16	11
2	23	11
3	32	11
4	41	11
5	44	11
6	50	11
7	67	11
8	98	11
9	140	11
10	172	11
11	179	11
12	204	11
13	227	11
14	228	11
done	228	11
0	13	15
1	20	15
2	33	14
3	52	14
4	77	14
5	88	14
6	104	14
7	159	14
8	287	14
9	443	14
10	500	14
11	544	14
12	600	14
13	618	14
done	618	14
0	12	12
1	17	12
2	24	12
3	33	12
4	42	12
5	45	12
6	51	12
7	68	12
8	99	12
9	141	12
10	173	12
11	180	12
12	205	12
13	228	12
14	229	12
done	229	12
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	11	11
1	16	11
2	23	11
3	32	11
4	41	11
5	44	11
6	50	11
7	67	11
8	98	11
9	140	11
10	172	11
11	179	11
12	204	11
13	227	11
14	228	11
done	228	11
0	19	23
1	42	23
2	97	23
3	210	23
4	467	23
5	1094	23
6	2321	23
7	3979	23
done	5000	23
0	20	23
1	47	23
2	111	22
3	248	22
4	549	22
5	1154	22
6	2255	22
7	4162	22
done	5000	22
0	22	26
1	49	26
2	116	26
3	259	26
4	582	26
5	1289	26
6	2995	26
done	5000	26
0	22	26
1	49	26
2	116	26
3	259	26
4	582	26
5	1289	26
6	2995	26
done	5000	26
0	21	25
1	48	25
2	115	25
3	258	25
4	581	25
5	1288	25
6	2991	25
done	5001	25
0	20	23
1	47	23
2	111	22
3	248	22
4	549	22
5	1154	22
6	2255	22
7	4162	22
done	5000	22
0	20	23
1	47	23
2	111	22
3	248	22
4	549	22
5	1154	22
6	2255	22
7	4162	22
done	5000	22
0	22	26
1	49	26
2	116	26
3	259	26
4	582	26
5	1289	26
6	2995	26
done	5001	26
0	22	26
1	49	26
2	116	26
3	259	26
4	582	26
5	1289	26
6	2995	26
done	5001	26
0	21	25
1	48	25
2	115	25
3	258	25
4	581	25
5	1288	25
6	2987	25
done	5000	25
0	20	23
1	47	23
2	111	22
3	248	22
4	549	22
5	1154	22
6	2255	22
7	4162	22
done	5000	22
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	25	7
3	50	7
4	91	6
5	193	6
6	442	6
7	1393	6
done	5000	6
0	10	20
1	19	20
2	63	10
3	243	10
4	874	8
5	3006	8
done	5001	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	265	8
4	812	8
5	2547	8
done	5001	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	6	5
done	6	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	6	5
done	6	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	8	13
1	13	13
2	16	13
done	16	13
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	6	1
done	6	1
0	8	8
1	16	8
2	17	8
done	17	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	986	10
6	4540	10
done	5000	10
0	8	11
1	14	11
2	31	11
3	77	11
4	164	11
5	250	11
6	410	11
7	781	11
8	3429	11
done	5000	11
0	24	54
1	53	54
2	123	54
3	271	54
4	614	54
5	1364	54
6	3148	54
done	5001	54
0	23	27
1	50	27
2	117	27
3	260	27
4	585	27
5	1300	27
6	2975	27
done	5001	27
0	2	2
1	5	1
done	5	1
0	7	7
1	12	7
2	25	7
3	50	7
4	91	6
5	193	6
6	442	6
7	1393	6
done	5000	6
0	16	19
1	41	19
2	106	19
3	268	19
4	650	18
5	1650	18
6	4425	18
done	5000	18
0	23	27
1	53	25
2	132	25
3	321	25
4	824	25
5	2391	25
done	5000	25
0	23	27
1	53	27
2	131	27
3	316	27
4	811	26
5	2270	26
done	5000	26
0	24	55
1	54	55
2	130	55
3	310	55
4	779	53
5	2107	53
done	5000	53
0	23	27
1	53	27
2	129	27
3	309	27
4	778	26
5	2114	26
done	5000	26
0	24	80
1	57	79
2	159	28
3	447	28
4	1672	27
done	5000	27
0	23	27
1	53	27
2	129	27
3	309	27
4	778	26
5	2118	26
done	5000	26
0	23	27
1	53	27
2	129	27
3	309	27
4	778	26
5	2118	26
done	5000	26
0	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	10	12
1	29	12
2	60	12
3	101	12
4	151	12
5	208	12
6	238	12
7	302	12
8	519	12
9	1437	12
done	5000	12
0	10	12
1	28	12
2	66	12
3	128	12
4	227	12
5	482	12
6	1225	12
7	4065	12
done	5000	12
0	13	35
1	41	35
2	165	15
3	739	15
4	3799	13
done	5000	13
0	11	25
1	27	25
2	57	25
3	98	25
4	147	25
5	203	25
6	232	25
7	293	25
8	514	25
9	1462	25
done	5000	25
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	35
1	37	35
2	137	13
3	520	13
4	2104	13
done	5000	13
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	10	12
1	26	12
2	56	12
3	97	12
4	147	12
5	204	12
6	232	12
7	293	12
8	509	12
9	1446	12
done	5000	12
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	11	13
1	21	13
2	43	13
3	62	13
4	79	13
5	93	13
6	117	13
7	181	13
8	402	13
9	1337	13
done	5000	13
0	8	9
1	17	9
2	46	9
3	87	9
4	136	9
5	191	9
6	219	9
7	276	9
8	483	9
9	1405	9
done	5001	9
0	3	3
1	4	3
done	4	3
0	8	9
1	19	9
2	48	9
3	92	9
4	143	9
5	195	9
6	224	9
7	285	9
8	500	9
9	1415	9
done	5000	9
0	3	3
1	4	3
done	4	3
0	11	23
1	23	23
2	47	23
3	66	23
4	83	23
5	97	23
6	121	23
7	181	23
8	395	23
9	1303	23
done	5000	23
0	10	12
1	20	12
2	42	12
3	61	12
4	78	12
5	92	12
6	114	12
7	178	12
8	390	12
9	1322	12
done	5000	12
0	3	3
1	6	1
done	6	1
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	10	12
1	26	12
2	61	12
3	118	12
4	200	12
5	300	12
6	343	12
7	405	12
8	629	12
9	1578	12
done	5000	12
0	9	11
1	25	11
2	55	11
3	96	11
4	146	11
5	203	11
6	231	11
7	295	11
8	508	11
9	1437	11
done	5000	11
0	12	15
1	42	15
2	147	15
3	542	15
4	2597	15
done	5001	15
0	11	21
1	31	21
2	103	21
3	319	19
4	1079	19
5	3003	15
done	5000	15
0	16	18
1	32	15
2	62	11
3	113	11
4	142	11
5	197	11
6	300	11
7	420	11
8	536	11
9	592	11
10	612	11
11	614	11
done	614	11
0	15	18
1	36	18
2	90	18
3	191	16
4	375	12
5	534	12
6	673	12
7	1007	12
8	1482	12
9	2465	12
done	5000	12
0	15	18
1	36	18
2	90	18
3	191	16
4	375	12
5	534	12
6	673	12
7	1007	12
8	1482	12
9	2465	12
done	5000	12
0	11	13
1	23	10
2	42	6
3	67	6
4	82	6
5	117	6
6	176	6
7	252	6
8	269	6
9	305	6
10	324	6
done	324	6
0	12	15
1	27	11
2	54	8
3	105	7
4	178	6
5	285	6
6	339	6
done	339	6
0	12	15
1	24	13
2	47	11
3	102	11
4	222	8
5	500	6
6	1338	6
done	5000	6
0	14	16
1	26	15
2	48	11
3	76	11
4	98	11
done	98	11
0	27	36
1	66	36
2	208	36
3	667	32
4	2239	31
done	5000	31
0	27	36
1	66	36
2	208	36
3	665	33
4	2235	31
done	5000	31
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7
0	8	9
1	16	9
2	32	9
3	37	9
4	47	7
5	59	7
6	81	7
7	142	7
8	353	7
9	1281	7
done	5000	7

prune297.0ms

Filtered

92 candidates to 119 candidates (-29.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	119	3	122

Merged error: 0.0b

Counts

122 → 3

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (log z) t)
0.2b	(* y (- (log z) t))
0.3b	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
4.0b	(log (- 1.0 z))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

30×	`log-prod`
26×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`associate--l+`
17×	`distribute-rgt-in` `distribute-lft-in`
14×	`add-cube-cbrt` `associate-+r+`
10×	`associate-+l+` `associate-*r/`
9×	`pow1`
7×	`add-exp-log` `sub-neg` `flip3--` `flip--` `distribute-lft-out--` `add-log-exp`
6×	`associate-r` `add-cbrt-cube`
5×	`difference-of-squares`
4×	`frac-add`
3×	`associate-l` `log-pow`
2×	`log-div`
1×	`+-commutative` `flip3-+` `diff-log` `rem-log-exp` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 106

Calls

4 calls:

5.0ms	(- (log z) t)
9.0ms	(* y (- (log z) t))
14.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
5.0ms	(log (- 1.0 z))

series81.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (log z) t)
22.0ms	(* y (- (log z) t))
45.0ms	(+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))
3.0ms	(log (- 1.0 z))

simplify1.8min

Counts

118 → 118

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	6	10
1	10	10
2	13	7
3	14	7
done	14	7
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	2	2
1	4	1
done	4	1
0	4	4
1	6	4
2	7	4
done	7	4
0	7	8
1	22	8
2	44	8
3	81	8
4	172	8
5	521	8
6	2302	8
done	5001	8
0	8	12
1	15	10
2	23	10
3	26	10
4	27	10
done	27	10
0	6	8
1	11	8
2	21	8
3	37	8
4	62	8
5	103	8
6	161	8
7	329	8
8	1610	8
done	5000	8
0	4	4
1	5	4
done	5	4
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	3
2	8	3
done	8	3
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	12	6
3	17	6
4	23	6
5	33	6
6	56	6
7	116	6
8	332	6
9	1267	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	16	17
1	31	16
2	58	16
3	128	16
4	325	15
5	1038	15
6	4831	15
done	5000	15
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	548	16
9	636	16
10	648	16
done	648	16
0	15	16
1	27	16
2	51	16
3	100	16
4	223	15
5	605	15
6	2514	15
done	5000	15
0	16	33
1	25	33
2	40	33
3	58	33
4	90	33
5	129	33
6	181	33
7	336	33
8	550	33
9	634	33
10	646	33
done	646	33
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	548	16
9	636	16
10	648	16
done	648	16
0	16	47
1	38	47
2	117	17
3	506	17
4	2989	17
done	5000	17
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	548	16
9	636	16
10	648	16
done	648	16
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	548	16
9	636	16
10	648	16
done	648	16
0	31	59
1	85	55
2	238	55
3	886	51
4	4781	51
done	5000	51
0	18	35
1	41	31
2	121	31
3	495	27
4	1619	27
done	5001	27
0	27	48
1	69	46
2	181	46
3	657	45
4	3170	38
done	5001	38
0	14	21
1	31	19
2	83	19
3	217	18
4	503	18
5	1028	18
6	1190	18
7	1192	18
done	1192	18
0	27	50
1	69	48
2	201	48
3	828	45
4	3761	40
done	5001	40
0	14	25
1	31	23
2	85	23
3	215	20
4	454	20
5	994	20
6	1354	20
7	1368	20
done	1368	20
0	22	39
1	49	39
2	137	39
3	518	39
4	1879	32
done	5001	32
0	10	11
1	21	11
2	47	11
3	67	11
4	100	11
5	106	11
done	106	11
0	17	19
1	45	19
2	127	19
3	437	19
4	1412	19
5	4399	19
done	5001	19
0	18	47
1	52	38
2	167	38
3	614	38
4	2173	38
done	5000	38
0	16	31
1	43	31
2	123	31
3	390	31
4	1207	31
5	3831	31
done	5000	31
0	14	15
1	24	15
2	46	15
3	79	15
4	143	15
5	208	15
6	288	15
7	473	15
8	644	15
9	677	15
10	678	15
done	678	15
0	12	13
1	19	13
2	27	13
3	36	13
4	45	13
5	48	13
6	54	13
7	71	13
8	102	13
9	144	13
10	176	13
11	183	13
12	208	13
13	231	13
14	232	13
done	232	13
0	14	19
1	23	19
2	37	16
3	56	16
4	79	16
5	92	16
6	108	16
7	163	16
8	291	16
9	451	16
10	509	16
11	551	16
12	605	16
13	623	16
done	623	16
0	13	14
1	20	14
2	28	14
3	37	14
4	46	14
5	49	14
6	55	14
7	72	14
8	103	14
9	145	14
10	177	14
11	184	14
12	209	14
13	232	14
14	233	14
done	233	14
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	14	15
1	20	15
2	27	15
3	36	15
4	45	15
5	48	15
6	54	15
7	71	15
8	102	15
9	144	15
10	176	15
11	183	15
12	208	15
13	231	15
14	232	15
done	232	15
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	12	13
1	19	13
2	27	13
3	36	13
4	45	13
5	48	13
6	54	13
7	71	13
8	102	13
9	144	13
10	176	13
11	183	13
12	208	13
13	231	13
14	232	13
done	232	13
0	12	13
1	19	13
2	27	13
3	36	13
4	45	13
5	48	13
6	54	13
7	71	13
8	102	13
9	144	13
10	176	13
11	183	13
12	208	13
13	231	13
14	232	13
done	232	13
0	14	19
1	23	19
2	37	16
3	56	16
4	79	16
5	92	16
6	108	16
7	163	16
8	291	16
9	451	16
10	509	16
11	551	16
12	605	16
13	623	16
done	623	16
0	13	14
1	20	14
2	28	14
3	37	14
4	46	14
5	49	14
6	55	14
7	72	14
8	103	14
9	145	14
10	177	14
11	184	14
12	209	14
13	232	14
14	233	14
done	233	14
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	14	15
1	20	15
2	27	15
3	36	15
4	45	15
5	48	15
6	54	15
7	71	15
8	102	15
9	144	15
10	176	15
11	183	15
12	208	15
13	231	15
14	232	15
done	232	15
0	11	11
1	18	10
2	25	8
3	34	6
4	51	6
5	54	6
6	64	6
7	79	6
8	112	6
9	144	6
10	172	6
11	202	6
12	221	6
done	221	6
0	12	13
1	19	13
2	27	13
3	36	13
4	45	13
5	48	13
6	54	13
7	71	13
8	102	13
9	144	13
10	176	13
11	183	13
12	208	13
13	231	13
14	232	13
done	232	13
0	13	13
1	22	13
2	34	12
3	46	12
4	60	12
5	68	12
6	80	12
7	114	12
8	170	12
9	230	12
10	238	12
11	239	12
done	239	12
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	549	16
9	637	16
10	649	16
done	649	16
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	549	16
9	637	16
10	649	16
done	649	16
0	14	15
1	23	15
2	38	15
3	56	15
4	88	15
5	127	15
6	179	15
7	334	15
8	548	15
9	634	15
10	646	15
done	646	15
0	13	13
1	22	13
2	34	12
3	46	12
4	60	12
5	68	12
6	80	12
7	114	12
8	170	12
9	230	12
10	238	12
11	239	12
done	239	12
0	13	13
1	22	13
2	34	12
3	46	12
4	60	12
5	68	12
6	80	12
7	114	12
8	170	12
9	230	12
10	238	12
11	239	12
done	239	12
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	549	16
9	635	16
10	647	16
done	647	16
0	15	16
1	24	16
2	39	16
3	57	16
4	89	16
5	128	16
6	180	16
7	335	16
8	549	16
9	635	16
10	647	16
done	647	16
0	14	15
1	23	15
2	38	15
3	56	15
4	88	15
5	127	15
6	179	15
7	334	15
8	548	15
9	634	15
10	646	15
done	646	15
0	13	13
1	22	13
2	34	12
3	46	12
4	60	12
5	68	12
6	80	12
7	114	12
8	170	12
9	230	12
10	238	12
11	239	12
done	239	12
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	25	7
3	50	7
4	91	6
5	193	6
6	442	6
7	1393	6
done	5000	6
0	10	20
1	19	20
2	63	10
3	243	10
4	874	8
5	3006	8
done	5001	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	265	8
4	812	8
5	2547	8
done	5001	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	6	5
done	6	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	6	5
done	6	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	8	13
1	13	13
2	16	13
done	16	13
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	6	1
done	6	1
0	8	8
1	16	8
2	17	8
done	17	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	986	10
6	4540	10
done	5000	10
0	8	11
1	14	11
2	31	11
3	77	11
4	164	11
5	250	11
6	410	11
7	781	11
8	3429	11
done	5000	11
0	4	4
done	4	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	4
3	16	4
4	22	4
5	26	4
6	27	4
7	33	4
8	34	4
done	34	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	176	6
5	500	6
6	1715	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	44	8
3	78	8
4	162	8
5	495	8
6	2253	8
done	5000	8
0	8	14
1	15	12
2	23	12
3	26	11
4	27	11
done	27	11
0	2	2
done	2	2
0	6	9
1	11	9
2	18	9
3	33	9
4	58	9
5	99	9
6	161	9
7	329	9
8	1627	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	12	16
1	29	16
2	79	16
3	156	16
4	303	16
5	532	14
6	799	14
7	1185	14
8	1630	14
9	3483	14
done	5001	14
0	16	22
1	41	20
2	95	15
3	253	15
4	612	15
5	1558	13
done	5000	13
0	17	21
1	40	20
2	95	15
3	247	15
4	726	14
5	1869	13
done	5000	13
0	16	18
1	32	15
2	62	11
3	113	11
4	142	11
5	197	11
6	300	11
7	420	11
8	536	11
9	592	11
10	612	11
11	614	11
done	614	11
0	17	20
1	36	18
2	67	16
3	144	14
4	314	13
5	750	13
6	1437	13
7	1794	13
8	1844	13
done	1844	13
0	17	19
1	36	16
2	66	14
3	136	13
4	331	13
5	902	13
6	1724	13
7	1912	13
8	1921	13
done	1921	13
0	11	13
1	23	10
2	42	6
3	67	6
4	82	6
5	117	6
6	176	6
7	252	6
8	269	6
9	305	6
10	324	6
done	324	6
0	12	15
1	27	11
2	54	8
3	105	7
4	178	6
5	285	6
6	339	6
done	339	6
0	12	15
1	24	13
2	47	11
3	102	11
4	222	8
5	500	6
6	1338	6
done	5000	6
0	7	7
1	14	6
2	21	4
3	31	4
4	40	4
5	59	4
6	83	4
7	86	4
8	95	4
9	107	4
done	107	4
0	8	9
1	18	7
2	35	5
3	83	4
4	97	4
5	110	4
done	110	4
0	8	9
1	15	9
2	32	9
3	64	9
4	135	6
5	232	4
6	898	4
7	3506	4
done	5001	4

prune201.0ms

Filtered

89 candidates to 118 candidates (-32.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	118	3	121

Merged error: 0.0b

Counts

121 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (log z) t)
0.0b	(* x (exp (+ (* y (- (log z) t)) (* (log 1.0) a))))
0.0b	(exp (+ (* y (- (log z) t)) (* (log 1.0) a)))
0.2b	(* y (- (log z) t))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
18×	`*-un-lft-identity`
12×	`add-cube-cbrt`
10×	`pow1` `associate-r`
9×	`log-prod` `associate--l+`
8×	`add-cbrt-cube` `add-log-exp`
7×	`add-exp-log`
6×	`associate-l`
5×	`distribute-rgt-in` `distribute-lft-in`
4×	`distribute-lft-out--`
3×	`sub-neg` `exp-prod`
2×	`flip3--` `associate-r/` `exp-sum` `pow-prod-down` `prod-exp` `log-pow` `-commutative` `flip--` `cbrt-unprod` `rem-exp-log` `difference-of-squares` `unswap-sqr`
1×	`diff-log` `sum-log`

Counts

4 → 83

Calls

4 calls:

5.0ms	(- (log z) t)
12.0ms	(* x (exp (+ (* y (- (log z) t)) (* (log 1.0) a))))
9.0ms	(exp (+ (* y (- (log z) t)) (* (log 1.0) a)))
9.0ms	(* y (- (log z) t))

series105.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (log z) t)
51.0ms	(* x (exp (+ (* y (- (log z) t)) (* (log 1.0) a))))
26.0ms	(exp (+ (* y (- (log z) t)) (* (log 1.0) a)))
17.0ms	(* y (- (log z) t))

simplify1.7min

Counts

95 → 95

Iterations

Useful iterations: done (2.0ms)

Iter	Nodes	Cost
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	8	8
1	11	8
2	12	8
done	12	8
0	7	7
1	13	7
2	21	7
3	26	7
4	30	7
done	30	7
0	7	7
1	12	7
2	25	7
3	50	7
4	91	6
5	193	6
6	442	6
7	1393	6
done	5000	6
0	10	20
1	19	20
2	63	10
3	243	10
4	874	8
5	3006	8
done	5001	8
0	8	15
1	11	15
2	18	15
3	23	15
4	27	15
done	27	15
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	20
1	21	20
2	75	8
3	265	8
4	812	8
5	2547	8
done	5001	8
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	8	8
1	11	8
2	12	8
done	12	8
0	8	8
1	11	8
2	12	8
done	12	8
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	6	5
done	6	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	6	8
1	9	8
2	15	7
3	21	7
4	25	7
done	25	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	5	5
1	6	5
done	6	5
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	4	4
1	7	3
done	7	1
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	4	4
1	5	4
done	5	4
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	8	13
1	13	13
2	16	13
done	16	13
0	7	7
1	10	7
2	11	7
done	11	7
0	3	3
1	6	1
done	6	1
0	8	8
1	16	8
2	17	8
done	17	8
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	7	7
1	10	7
2	17	7
3	22	7
4	26	7
done	26	7
0	6	6
1	9	6
2	16	6
3	21	6
4	25	6
done	25	6
0	9	10
1	25	10
2	53	10
3	132	10
4	306	10
5	986	10
6	4540	10
done	5000	10
0	8	11
1	14	11
2	31	11
3	77	11
4	164	11
5	250	11
6	410	11
7	781	11
8	3429	11
done	5000	11
0	14	26
1	21	26
2	32	26
3	46	26
4	73	26
5	116	26
6	226	26
7	617	26
8	2339	26
done	5000	26
0	13	13
1	18	13
2	25	13
3	34	13
4	43	13
5	46	13
6	52	13
7	69	13
8	100	13
9	142	13
10	174	13
11	181	13
12	206	13
13	229	13
14	230	13
done	230	13
0	2	2
1	5	1
done	5	1
0	7	7
1	12	7
2	25	7
3	50	7
4	91	6
5	193	6
6	442	6
7	1393	6
done	5000	6
0	5	5
1	9	3
2	17	3
3	25	3
4	48	3
5	104	3
6	247	3
7	707	3
8	2443	3
done	5000	3
0	13	13
1	21	11
2	41	11
3	81	11
4	181	11
5	531	11
6	2152	11
done	5000	11
0	13	13
1	21	13
2	40	12
3	78	12
4	181	11
5	522	11
6	2124	11
done	5001	11
0	14	27
1	22	27
2	39	25
3	72	25
4	153	23
5	399	23
6	1558	23
done	5001	23
0	13	13
1	21	13
2	38	12
3	71	12
4	152	11
5	398	11
6	1554	11
done	5001	11
0	14	38
1	25	37
2	69	13
3	201	13
4	742	12
5	4638	12
done	5000	12
0	13	13
1	21	13
2	38	12
3	71	12
4	152	11
5	402	11
6	1558	11
done	5000	11
0	13	13
1	21	13
2	38	12
3	71	12
4	152	11
5	402	11
6	1558	11
done	5000	11
0	14	14
1	23	14
2	44	13
3	81	13
4	202	12
5	672	12
6	3148	12
done	5001	12
0	14	14
1	22	14
2	35	14
3	54	14
4	81	14
5	98	14
6	126	14
7	187	14
8	316	14
9	434	14
10	510	14
11	585	14
12	663	14
13	681	14
done	681	14
0	15	15
1	27	15
2	52	14
3	112	13
4	280	13
5	966	13
6	4339	13
done	5001	13
0	15	15
1	26	15
2	53	14
3	108	14
4	308	13
5	1236	13
done	5001	13
0	18	44
1	35	43
2	104	17
3	357	17
4	1633	14
done	5000	14
0	16	31
1	25	31
2	46	29
3	83	29
4	204	27
5	666	27
6	3107	27
done	5001	27
0	15	15
1	24	15
2	45	14
3	82	14
4	203	13
5	665	13
6	3116	13
done	5000	13
0	16	44
1	35	44
2	100	15
3	345	15
4	1582	14
done	5000	14
0	15	15
1	24	15
2	45	14
3	82	14
4	203	13
5	665	13
6	3116	13
done	5000	13
0	15	15
1	24	15
2	45	14
3	82	14
4	203	13
5	665	13
6	3116	13
done	5000	13
0	16	16
1	25	16
2	42	15
3	75	15
4	156	14
5	408	14
6	1567	14
done	5001	14
0	16	16
1	25	16
2	42	15
3	75	15
4	156	14
5	408	14
6	1567	14
done	5001	14
0	9	9
1	15	9
2	28	9
3	57	9
4	116	8
5	264	8
6	665	8
7	2319	8
done	5000	8
0	16	29
1	27	29
2	46	27
3	79	27
4	160	25
5	406	25
6	1556	25
done	5001	25
0	15	15
1	24	15
2	41	14
3	74	14
4	155	13
5	409	13
6	1582	13
done	5001	13
0	3	3
1	6	1
done	6	1
0	15	15
1	24	15
2	45	14
3	82	14
4	203	13
5	667	13
6	3140	13
done	5001	13
0	15	15
1	24	15
2	45	14
3	82	14
4	203	13
5	667	13
6	3140	13
done	5001	13
0	14	14
1	23	14
2	44	13
3	81	13
4	202	12
5	672	12
6	3148	12
done	5001	12
0	4	4
done	4	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	10	5
2	13	4
3	16	4
4	22	4
5	26	4
6	27	4
7	33	4
8	34	4
done	34	4
0	6	11
1	8	11
2	9	11
done	9	11
0	5	5
1	7	5
2	8	5
done	8	5
0	6	14
1	9	14
2	24	6
3	67	6
4	176	6
5	500	6
6	1715	6
done	5000	6
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	7	8
1	22	8
2	44	8
3	78	8
4	162	8
5	495	8
6	2253	8
done	5000	8
0	8	14
1	15	12
2	23	12
3	26	11
4	27	11
done	27	11
0	2	2
done	2	2
0	6	9
1	11	9
2	18	9
3	33	9
4	58	9
5	99	9
6	161	9
7	329	9
8	1627	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	6	6
1	8	6
2	9	6
done	9	6
0	4	4
1	6	4
2	7	4
done	7	4
0	4	4
1	6	4
2	7	4
done	7	4
0	5	5
1	7	5
2	8	5
done	8	5
0	5	5
1	7	5
2	8	5
done	8	5
0	4	4
1	6	4
2	7	4
done	7	4
0	2	2
done	2	2
0	11	13
1	23	10
2	42	6
3	67	6
4	82	6
5	117	6
6	176	6
7	252	6
8	269	6
9	305	6
10	324	6
done	324	6
0	12	15
1	27	11
2	54	8
3	105	7
4	178	6
5	285	6
6	339	6
done	339	6
0	12	15
1	24	13
2	47	11
3	102	11
4	222	8
5	500	6
6	1338	6
done	5000	6
0	14	16
1	26	15
2	48	11
3	76	11
4	98	11
done	98	11
0	18	21
1	38	19
2	82	15
3	197	11
4	459	11
5	1152	10
done	5000	10
0	18	21
1	35	21
2	77	19
3	208	16
4	529	16
5	1834	13
done	5001	13
0	12	15
1	26	14
2	46	10
3	49	8
4	54	8
done	54	8
0	20	23
1	41	21
2	89	17
3	236	13
4	607	13
5	1673	12
done	5000	12
0	20	23
1	38	23
2	84	21
3	247	18
4	716	18
5	2762	15
done	5001	15
0	7	7
1	14	6
2	21	4
3	31	4
4	40	4
5	59	4
6	83	4
7	86	4
8	95	4
9	107	4
done	107	4
0	8	9
1	18	7
2	35	5
3	83	4
4	97	4
5	110	4
done	110	4
0	8	9
1	15	9
2	32	9
3	64	9
4	135	6
5	232	4
6	898	4
7	3506	4
done	5001	4

prune148.0ms

Filtered

75 candidates to 95 candidates (-26.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	95	3	98

Merged error: 0.0b

Counts

98 → 3

regimes540.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	28
1	31	28
done	31	28

end0.0ms

sample8.9s

Algorithm

intervals

Results

3.2s	40910×	body	80	nan
1.1s	12462×	body	80	valid
167.0ms	376×	body	640	valid
112.0ms	375×	body	320	valid
57.0ms	297×	body	160	valid
55.0ms	72×	body	1280	valid

Details

sample270.0ms

simplify2.8s

prune18.0ms

localize24.0ms

rewrite42.0ms

series127.0ms

simplify1.9min

prune217.0ms

localize29.0ms

rewrite52.0ms

series169.0ms

simplify4.0min

prune297.0ms

localize23.0ms

rewrite37.0ms

series81.0ms

simplify1.8min

prune201.0ms

localize19.0ms

rewrite37.0ms

series105.0ms

simplify1.7min

prune148.0ms

regimes540.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample8.9s

Profiling