Details

sample133.0ms

Algorithm

intervals

Results

41.0ms	308×	body	80	nan
14.0ms	162×	body	80	valid
11.0ms	29×	body	1280	valid
10.0ms	32×	body	640	valid
7.0ms	19×	body	1280	nan
5.0ms	15×	body	640	nan
4.0ms	15×	body	320	valid
3.0ms	18×	body	160	valid
2.0ms	11×	body	320	nan
1.0ms	4×	body	160	nan

simplify3.6s

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	18	27
1	39	27
2	86	27
3	177	27
4	344	27
5	550	27
6	899	27
7	1593	27
8	3217	27
done	5000	27

prune6.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: 45.4b

Counts

2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
0.4b	(* (sqrt 2.0) t)
15.4b	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
22.3b	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`sqrt-prod`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
7×	`pow1`
6×	`times-frac` `associate-l` `associate-/r*` `add-log-exp`
4×	`sqrt-div`
3×	`flip3--` `associate-r` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `associate--l+` `associate-/r/` `cbrt-unprod` `unswap-sqr`
1×	`distribute-rgt-in` `sub-neg` `rem-sqrt-square` `frac-2neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `diff-log` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l`

Counts

4 → 80

Calls

4 calls:

20.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
5.0ms	(* (sqrt 2.0) t)
15.0ms	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
17.0ms	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

series415.0ms

Counts

4 → 12

Calls

4 calls:

105.0ms	(/ (* (sqrt 2.0) t) (sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))))
5.0ms	(* (sqrt 2.0) t)
69.0ms	(- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l))
236.0ms	(sqrt (- (* (/ (+ x 1.0) (- x 1.0)) (+ (* l l) (* 2.0 (* t t)))) (* l l)))

simplify4.3min

Counts

92 → 92

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	23
1	34	23
2	77	23
3	167	23
4	342	23
5	559	23
6	910	23
7	1604	23
8	3227	23
done	5000	23
0	16	23
1	34	23
2	77	23
3	167	23
4	342	23
5	559	23
6	910	23
7	1604	23
8	3227	23
done	5000	23
0	17	47
1	35	47
2	78	47
3	170	47
4	349	47
5	577	47
6	924	47
7	1615	47
8	3236	47
done	5001	47
0	16	23
1	34	23
2	77	23
3	167	23
4	342	23
5	559	23
6	910	23
7	1604	23
8	3227	23
done	5000	23
0	17	68
1	36	44
2	88	24
3	226	24
4	527	24
5	1065	24
6	2166	24
7	4200	24
done	5000	24
0	17	46
1	36	23
2	79	23
3	171	23
4	348	23
5	578	23
6	931	23
7	1622	23
8	3272	23
done	5000	23
0	16	23
1	34	23
2	77	23
3	167	23
4	342	23
5	559	23
6	910	23
7	1604	23
8	3227	23
done	5000	23
0	16	23
1	34	23
2	77	23
3	167	23
4	342	23
5	559	23
6	910	23
7	1604	23
8	3227	23
done	5000	23
0	16	23
1	34	23
2	77	23
3	167	23
4	342	23
5	559	23
6	910	23
7	1604	23
8	3227	23
done	5000	23
0	2	2
1	4	1
done	4	1
0	15	22
1	33	22
2	76	22
3	163	22
4	341	22
5	554	22
6	905	22
7	1595	22
8	3227	22
done	5000	22
0	18	26
1	54	26
2	186	24
3	823	24
4	4602	24
done	5001	24
0	19	66
1	57	62
2	185	62
3	713	44
4	2944	44
done	5000	44
0	17	44
1	49	44
2	158	42
3	620	40
4	2641	40
done	5001	40
0	15	22
1	32	22
2	71	22
3	156	22
4	328	22
5	552	22
6	848	22
7	1317	22
8	1773	22
9	2300	22
10	3222	22
11	3535	22
12	3700	22
13	3778	22
14	3849	22
15	3890	22
16	3911	22
done	3911	22
0	3	3
1	6	1
done	6	1
0	16	23
1	34	23
2	77	23
3	167	23
4	342	23
5	559	23
6	910	23
7	1604	23
8	3227	23
done	5000	23
0	16	23
1	34	23
2	77	23
3	167	23
4	342	23
5	559	23
6	910	23
7	1604	23
8	3227	23
done	5000	23
0	16	23
1	38	22
2	89	22
3	228	22
4	564	22
5	2024	22
done	5000	22
0	15	22
1	33	22
2	76	22
3	163	22
4	341	22
5	554	22
6	905	22
7	1595	22
8	3227	22
done	5000	22
0	15	22
1	36	22
2	90	22
3	219	22
4	513	22
5	1756	22
done	5001	22
0	16	45
1	34	45
2	77	45
3	167	45
4	342	45
5	559	45
6	910	45
7	1604	45
8	3227	45
done	5000	45
0	15	22
1	33	22
2	76	22
3	163	22
4	341	22
5	554	22
6	905	22
7	1595	22
8	3227	22
done	5000	22
0	16	65
1	35	65
2	92	23
3	311	23
4	1540	23
done	5000	23
0	15	22
1	33	22
2	76	22
3	163	22
4	341	22
5	554	22
6	905	22
7	1595	22
8	3227	22
done	5000	22
0	15	22
1	33	22
2	76	22
3	163	22
4	341	22
5	554	22
6	905	22
7	1595	22
8	3227	22
done	5000	22
0	17	25
1	53	25
2	185	23
3	829	23
4	4670	23
done	5000	23
0	18	65
1	56	61
2	186	61
3	720	43
4	2934	43
done	5001	43
0	3	4
1	6	4
done	6	4
0	16	43
1	48	43
2	157	41
3	621	39
4	2655	39
done	5000	39
0	14	21
1	31	21
2	70	21
3	157	21
4	324	21
5	548	21
6	843	21
7	1316	21
8	1783	21
9	2308	21
10	3233	21
11	3552	21
12	3715	21
13	3793	21
14	3865	21
15	3906	21
16	3927	21
done	3927	21
0	13	17
1	26	17
2	55	17
3	111	17
4	233	17
5	355	17
6	544	17
7	727	17
8	865	17
9	965	17
10	1190	17
11	2149	17
12	4018	17
done	5001	17
0	13	17
1	26	17
2	62	17
3	159	17
4	286	17
5	443	17
6	657	17
7	865	17
8	965	17
9	1190	17
10	2149	17
11	4018	17
done	5000	17
0	3	4
1	6	4
done	6	4
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
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	2430	5
done	5000	5
0	8	14
1	15	10
2	37	8
3	69	8
4	92	8
5	134	8
6	255	8
7	646	8
8	2103	8
done	5000	8
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	46	6
3	88	6
4	104	6
5	148	6
6	280	6
7	737	6
8	2702	6
done	5000	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	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	8
1	9	8
2	11	8
done	11	8
0	5	5
1	6	5
done	6	5
0	4	4
1	7	2
2	10	2
done	10	2
0	5	5
1	6	5
done	6	5
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	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	21	30
1	44	30
2	94	30
3	187	30
4	362	30
5	585	30
6	950	30
7	1664	30
8	3317	30
done	5000	30
0	20	29
1	44	29
2	93	29
3	189	29
4	358	29
5	592	29
6	948	29
7	1655	29
8	3303	29
done	5001	29
0	19	28
1	43	28
2	98	28
3	208	28
4	389	28
5	596	28
6	963	28
7	1678	28
8	3321	28
done	5000	28
0	19	28
1	40	28
2	87	28
3	184	28
4	367	28
5	591	28
6	976	28
7	1751	28
8	3604	28
done	5000	28
0	23	83
1	56	55
2	198	33
3	744	33
4	2897	31
done	5000	31
0	22	83
1	58	59
2	209	31
3	946	29
4	3746	29
done	5001	29
0	20	57
1	41	57
2	88	57
3	177	57
4	356	57
5	581	57
6	930	57
7	1622	57
8	3271	57
done	5001	57
0	19	28
1	40	28
2	87	28
3	182	28
4	357	28
5	567	28
6	920	28
7	1614	28
8	3234	28
done	5000	28
0	20	83
1	48	83
2	132	29
3	402	29
4	1322	29
5	3828	29
done	5000	29
0	19	28
1	40	28
2	87	28
3	182	28
4	357	28
5	567	28
6	920	28
7	1614	28
8	3234	28
done	5000	28
0	19	28
1	40	28
2	87	28
3	182	28
4	357	28
5	567	28
6	920	28
7	1614	28
8	3234	28
done	5000	28
0	5	5
1	10	5
2	12	5
done	12	5
0	16	23
1	34	23
2	77	23
3	167	23
4	342	23
5	559	23
6	910	23
7	1604	23
8	3227	23
done	5000	23
0	19	50
1	39	50
2	82	50
3	170	50
4	333	50
5	560	50
6	910	50
7	1603	50
8	3242	50
done	5001	50
0	17	25
1	35	25
2	78	25
3	170	25
4	349	25
5	575	25
6	925	25
7	1616	25
8	3244	25
done	5000	25
0	19	49
1	38	26
2	81	26
3	171	26
4	348	26
5	565	26
6	917	26
7	1607	26
8	3251	26
done	5001	26
0	17	25
1	35	25
2	78	25
3	170	25
4	349	25
5	575	25
6	925	25
7	1616	25
8	3244	25
done	5000	25
0	18	26
1	36	26
2	79	26
3	171	26
4	348	26
5	572	26
6	922	26
7	1612	26
8	3247	26
done	5000	26
0	17	25
1	35	25
2	78	25
3	170	25
4	349	25
5	575	25
6	925	25
7	1616	25
8	3244	25
done	5000	25
0	5	5
1	7	4
done	7	4
0	16	24
1	34	24
2	77	24
3	167	24
4	342	24
5	560	24
6	913	24
7	1607	24
8	3228	24
done	5000	24
0	18	26
1	36	26
2	79	26
3	171	26
4	348	26
5	572	26
6	922	26
7	1612	26
8	3247	26
done	5000	26
0	17	25
1	35	25
2	78	25
3	170	25
4	349	25
5	575	25
6	925	25
7	1616	25
8	3244	25
done	5000	25
0	4	4
1	6	2
2	8	2
done	8	2
0	16	24
1	34	24
2	77	24
3	167	24
4	342	24
5	560	24
6	913	24
7	1607	24
8	3228	24
done	5000	24
0	17	24
1	37	24
2	80	24
3	169	24
4	342	24
5	550	24
6	900	24
7	1589	24
8	3204	24
done	5001	24
0	18	27
1	39	27
2	84	27
3	171	27
4	337	27
5	561	27
6	915	27
7	1607	27
8	3241	27
done	5001	27
0	20	52
1	46	52
2	103	52
3	201	52
4	379	52
5	590	52
6	939	52
7	1636	52
8	3261	52
done	5000	52
0	20	51
1	42	28
2	89	28
3	179	28
4	347	28
5	566	28
6	915	28
7	1607	28
8	3255	28
done	5000	28
0	19	28
1	40	28
2	87	28
3	182	28
4	357	28
5	567	28
6	920	28
7	1614	28
8	3234	28
done	5000	28
0	7	7
1	12	6
2	16	6
3	19	4
4	31	4
5	35	4
done	35	4
0	19	28
1	40	28
2	87	28
3	182	28
4	357	28
5	567	28
6	920	28
7	1614	28
8	3234	28
done	5000	28
0	6	6
1	11	4
2	19	4
3	28	4
4	33	4
done	33	4
0	16	24
1	34	24
2	77	24
3	167	24
4	342	24
5	559	24
6	910	24
7	1604	24
8	3227	24
done	5000	24
0	21	31
1	60	31
2	196	29
3	841	29
4	4624	29
done	5000	29
0	20	49
1	55	49
2	168	47
3	640	45
4	2672	45
done	5000	45
0	21	41
1	60	39
2	191	37
3	616	32
4	2416	26
done	5000	26
0	21	37
1	57	37
2	183	35
3	542	31
4	2021	24
done	5000	24
0	21	37
1	57	37
2	181	35
3	498	32
4	1473	24
5	4472	21
done	5000	21
0	14	20
1	37	18
2	113	16
3	243	14
4	458	14
5	635	14
6	940	13
7	1745	13
8	3468	13
done	5000	13
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	1	1
done	1	1
0	1	1
done	1	1
0	1	1
done	1	1

prune270.0ms

Filtered

71 candidates to 92 candidates (-29.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	87	5	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	5	93

Merged error: 5.5b

Counts

93 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt 2.0) t)
1.0b	(+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ (pow l 2) x)))
8.4b	(/ (pow l 2) x)
27.1b	(sqrt (+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ (pow l 2) x))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
25×	`add-cube-cbrt` `*-un-lft-identity`
24×	`times-frac`
12×	`unpow-prod-down`
11×	`add-exp-log`
8×	`associate-r/` `add-cbrt-cube` `associate-/l`
7×	`pow1` `sqrt-prod`
6×	`associate-l` `add-log-exp`
4×	`flip3-+` `sqrt-div` `frac-add` `flip-+` `unpow2` `sqr-pow`
3×	`div-exp` `associate-r` `associate-/r*`
2×	`associate-+l+` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `pow-to-exp` `rem-sqrt-square` `frac-2neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `pow-prod-down` `pow-exp` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `div-inv`

Counts

4 → 103

Calls

4 calls:

5.0ms	(* (sqrt 2.0) t)
12.0ms	(+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ (pow l 2) x)))
6.0ms	(/ (pow l 2) x)
14.0ms	(sqrt (+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ (pow l 2) x))))

series53.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (sqrt 2.0) t)
16.0ms	(+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ (pow l 2) x)))
4.0ms	(/ (pow l 2) x)
28.0ms	(sqrt (+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ (pow l 2) x))))

simplify5.3min

Counts

115 → 115

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	36	19
2	91	19
3	133	19
4	174	19
5	207	19
6	252	19
7	368	19
8	794	19
9	2627	19
done	5000	19
0	16	19
1	36	19
2	91	19
3	133	19
4	174	19
5	207	19
6	252	19
7	368	19
8	794	19
9	2627	19
done	5000	19
0	17	39
1	37	39
2	92	39
3	132	39
4	173	39
5	206	39
6	251	39
7	370	39
8	784	39
9	2635	39
done	5001	39
0	16	19
1	36	19
2	91	19
3	133	19
4	174	19
5	207	19
6	252	19
7	368	19
8	794	19
9	2627	19
done	5000	19
0	17	56
1	38	36
2	104	20
3	194	20
4	360	20
5	545	20
6	716	20
7	913	20
8	1550	20
9	4306	20
done	5000	20
0	17	38
1	38	19
2	93	19
3	131	19
4	170	19
5	203	19
6	248	19
7	373	19
8	793	19
9	2627	19
done	5000	19
0	16	19
1	36	19
2	91	19
3	133	19
4	174	19
5	207	19
6	252	19
7	368	19
8	794	19
9	2627	19
done	5000	19
0	16	19
1	36	19
2	91	19
3	133	19
4	174	19
5	207	19
6	252	19
7	368	19
8	794	19
9	2627	19
done	5000	19
0	16	19
1	36	19
2	91	19
3	133	19
4	174	19
5	207	19
6	252	19
7	368	19
8	794	19
9	2627	19
done	5000	19
0	2	2
1	4	1
done	4	1
0	15	18
1	35	18
2	90	18
3	132	18
4	173	18
5	206	18
6	253	18
7	369	18
8	787	18
9	2624	18
done	5000	18
0	24	40
1	75	36
2	250	36
3	746	36
4	2766	36
done	5000	36
0	11	20
1	26	16
2	61	16
3	131	16
4	249	16
5	433	16
6	652	14
7	1791	14
done	5000	14
0	19	30
1	46	30
2	133	30
3	386	30
4	1160	24
5	3046	24
done	5001	24
0	7	8
1	10	8
2	19	8
3	28	8
4	42	8
5	51	8
6	58	6
7	155	6
8	847	6
9	3887	6
done	5000	6
0	18	22
1	56	22
2	203	22
3	811	22
4	3594	22
done	5000	22
0	19	54
1	64	46
2	271	42
3	968	42
4	3778	40
done	5000	40
0	17	36
1	55	36
2	218	32
3	661	32
4	2108	28
done	5000	28
0	15	18
1	36	18
2	100	18
3	161	18
4	246	18
5	330	18
6	407	18
7	593	18
8	1193	18
9	3229	18
done	5000	18
0	3	3
1	6	1
done	6	1
0	16	19
1	36	19
2	91	19
3	133	19
4	174	19
5	207	19
6	252	19
7	368	19
8	794	19
9	2627	19
done	5000	19
0	16	19
1	36	19
2	91	19
3	133	19
4	174	19
5	207	19
6	252	19
7	368	19
8	794	19
9	2627	19
done	5000	19
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	10	7
2	11	7
done	11	7
0	7	7
1	16	7
2	27	7
3	38	7
4	45	7
5	57	7
6	83	7
7	149	7
8	367	7
9	1310	7
done	5000	7
0	6	6
1	14	6
2	31	6
3	46	6
4	61	6
5	75	6
6	101	6
7	166	6
8	384	6
9	1324	6
done	5000	6
0	6	6
1	11	6
2	23	6
3	30	6
4	39	6
5	54	6
6	84	6
7	165	6
8	430	6
9	1467	6
done	5001	6
0	9	17
1	26	13
2	107	9
3	303	7
4	795	7
5	1435	7
6	4370	7
done	5000	7
0	7	13
1	12	13
2	24	13
3	31	13
4	38	13
5	48	13
6	70	13
7	131	13
8	341	13
9	1279	13
done	5000	13
0	6	6
1	11	6
2	23	6
3	30	6
4	37	6
5	47	6
6	69	6
7	128	6
8	341	6
9	1268	6
done	5001	6
0	7	17
1	19	17
2	61	7
3	148	7
4	412	7
5	938	7
6	2209	7
done	5000	7
0	6	6
1	11	6
2	23	6
3	30	6
4	37	6
5	47	6
6	69	6
7	128	6
8	341	6
9	1268	6
done	5001	6
0	6	6
1	11	6
2	23	6
3	30	6
4	37	6
5	47	6
6	69	6
7	128	6
8	341	6
9	1268	6
done	5001	6
0	4	4
1	9	4
2	23	4
3	28	4
4	34	4
5	44	4
6	66	4
7	125	4
8	340	4
9	1271	4
done	5000	4
0	2	2
done	2	2
0	9	13
1	16	13
2	40	13
3	97	13
4	283	10
5	877	10
6	3419	10
done	5000	10
0	7	7
1	12	7
2	24	7
3	41	7
4	85	7
5	221	7
6	744	7
7	3285	7
done	5000	7
0	8	10
1	13	10
2	29	10
3	63	10
4	147	7
5	374	7
6	1245	7
done	5000	7
0	7	7
1	12	7
2	24	7
3	41	7
4	85	7
5	221	7
6	744	7
7	3285	7
done	5000	7
0	7	9
1	13	7
2	29	7
3	61	7
4	146	4
5	405	4
6	1578	4
done	5000	4
0	6	6
1	11	6
2	23	6
3	40	6
4	84	6
5	216	6
6	738	6
7	3268	6
done	5000	6
0	8	10
1	15	10
2	35	7
3	60	7
4	133	7
5	418	7
6	1703	7
done	5000	7
0	7	7
1	12	7
2	24	4
3	37	4
4	67	4
5	169	4
6	582	4
7	2606	4
done	5000	4
0	7	7
1	12	7
2	24	4
3	37	4
4	67	4
5	169	4
6	582	4
7	2606	4
done	5000	4
0	7	7
1	12	7
2	24	4
3	37	4
4	67	4
5	169	4
6	582	4
7	2606	4
done	5000	4
0	6	6
1	12	4
2	24	1
3	33	1
4	47	1
5	81	1
6	171	1
7	486	1
8	1839	1
done	5000	1
0	6	6
1	11	6
2	23	3
3	36	3
4	66	3
5	168	3
6	575	3
7	2620	3
done	5000	3
0	7	9
1	15	7
2	19	7
3	24	7
done	24	7
0	6	6
1	11	6
2	23	6
3	30	6
4	37	6
5	47	6
6	69	6
7	128	6
8	341	6
9	1268	6
done	5001	6
0	6	6
1	12	4
2	16	4
done	16	4
0	6	6
1	11	6
2	23	6
3	30	6
4	37	6
5	47	6
6	69	6
7	128	6
8	341	6
9	1268	6
done	5001	6
0	4	5
1	10	1
2	14	1
done	14	1
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	7
1	7	7
done	7	7
0	4	4
done	4	4
0	4	4
done	4	4
0	4	4
done	4	4
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	9	15
1	20	15
2	37	15
3	48	15
4	54	15
5	64	15
6	88	15
7	150	15
8	365	15
9	1296	15
done	5000	15
0	7	7
1	12	7
2	20	7
3	25	7
4	31	7
5	41	7
6	65	7
7	123	7
8	337	7
9	1263	7
done	5000	7
0	8	12
1	15	12
2	25	12
3	31	12
4	37	12
5	47	12
6	69	12
7	128	12
8	338	12
9	1269	12
done	5000	12
0	7	7
1	12	7
2	20	7
3	25	7
4	31	7
5	41	7
6	65	7
7	123	7
8	337	7
9	1263	7
done	5000	7
0	7	11
1	15	9
2	27	9
3	43	9
4	67	9
5	131	9
6	372	9
7	1369	9
done	5001	9
0	6	6
1	11	6
2	19	6
3	24	6
4	30	6
5	40	6
6	62	6
7	126	6
8	342	6
9	1264	6
done	5000	6
0	8	10
1	15	10
2	25	8
3	30	8
4	36	8
5	46	8
6	68	8
7	125	8
8	336	8
9	1257	8
done	5000	8
0	7	7
1	12	7
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5001	5
0	7	7
1	12	7
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5001	5
0	7	7
1	12	7
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5001	5
0	6	6
1	12	4
2	22	2
3	33	2
4	57	2
5	119	2
6	356	2
7	1391	2
done	5001	2
0	6	6
1	11	6
2	21	4
3	26	4
4	32	4
5	42	4
6	64	4
7	126	4
8	349	4
9	1274	4
done	5001	4
0	5	7
1	9	7
done	9	7
0	6	6
1	11	6
2	23	6
3	30	6
4	37	6
5	47	6
6	69	6
7	128	6
8	341	6
9	1268	6
done	5001	6
0	4	4
1	6	4
done	6	4
0	6	6
1	11	6
2	23	6
3	30	6
4	37	6
5	47	6
6	69	6
7	128	6
8	341	6
9	1268	6
done	5001	6
0	2	3
1	4	1
done	4	1
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	8	11
1	15	9
2	30	7
3	54	7
4	126	7
5	406	7
6	1656	7
done	5000	7
0	7	8
1	12	6
2	23	4
3	35	4
4	64	4
5	163	4
6	571	4
7	2542	4
done	5000	4
0	7	8
1	12	6
2	23	4
3	35	4
4	64	4
5	163	4
6	571	4
7	2542	4
done	5000	4
0	7	8
1	12	6
2	23	4
3	35	4
4	64	4
5	163	4
6	571	4
7	2542	4
done	5000	4
0	6	7
1	12	3
2	23	1
3	31	1
4	45	1
5	78	1
6	173	1
7	491	1
8	1848	1
done	5000	1
0	6	7
1	11	5
2	22	3
3	34	3
4	63	3
5	160	3
6	568	3
7	2562	3
done	5001	3
0	3	3
1	5	3
done	5	3
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	7	9
1	14	9
2	34	9
3	47	9
4	57	9
5	67	9
6	89	9
7	153	9
8	370	9
9	1325	9
done	5001	9
0	6	6
1	11	6
2	23	6
3	30	6
4	37	6
5	47	6
6	69	6
7	128	6
8	341	6
9	1268	6
done	5001	6
0	5	5
1	11	3
2	23	3
3	46	3
4	106	3
5	268	3
6	1001	3
done	5000	3
0	6	6
1	11	6
2	23	6
3	38	6
4	74	6
5	171	6
6	499	6
7	1986	6
done	5000	6
0	6	6
1	11	6
2	23	3
3	34	3
4	58	3
5	130	3
6	384	3
7	1474	3
done	5000	3
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	3	3
done	3	3
0	6	6
1	11	6
2	19	6
3	24	6
4	30	6
5	40	6
6	62	6
7	126	6
8	342	6
9	1264	6
done	5000	6
0	6	6
1	11	6
2	21	4
3	26	4
4	32	4
5	42	4
6	64	4
7	126	4
8	349	4
9	1274	4
done	5001	4
0	5	5
1	10	5
2	22	5
3	27	5
4	33	5
5	43	5
6	65	5
7	124	5
8	349	5
9	1270	5
done	5000	5
0	6	7
1	11	5
2	22	3
3	32	3
4	55	3
5	124	3
6	369	3
7	1411	3
done	5000	3
0	16	19
1	42	18
2	113	18
3	211	18
4	452	18
5	1558	18
done	5000	18
0	15	18
1	35	18
2	90	18
3	132	18
4	173	18
5	206	18
6	253	18
7	369	18
8	787	18
9	2624	18
done	5000	18
0	15	18
1	38	18
2	105	18
3	186	18
4	339	18
5	1050	18
done	5001	18
0	16	37
1	36	37
2	91	37
3	133	37
4	174	37
5	207	37
6	252	37
7	368	37
8	794	37
9	2627	37
done	5000	37
0	15	18
1	35	18
2	90	18
3	132	18
4	173	18
5	206	18
6	253	18
7	369	18
8	787	18
9	2624	18
done	5000	18
0	16	53
1	49	53
2	188	19
3	890	19
done	5001	19
0	15	18
1	35	18
2	90	18
3	132	18
4	173	18
5	206	18
6	253	18
7	369	18
8	787	18
9	2624	18
done	5000	18
0	15	18
1	35	18
2	90	18
3	132	18
4	173	18
5	206	18
6	253	18
7	369	18
8	787	18
9	2624	18
done	5000	18
0	23	39
1	74	35
2	249	35
3	745	35
4	2727	35
done	5001	35
0	10	19
1	25	15
2	60	15
3	130	15
4	248	15
5	430	15
6	649	13
7	1789	13
done	5000	13
0	18	29
1	45	29
2	132	29
3	385	29
4	1166	23
5	3047	23
done	5001	23
0	6	7
1	9	7
2	18	7
3	27	7
4	41	7
5	50	7
6	57	5
7	154	5
8	840	5
9	3823	5
done	5000	5
0	17	21
1	55	21
2	202	21
3	807	21
4	3664	21
done	5001	21
0	18	53
1	63	45
2	270	41
3	970	41
4	3776	39
done	5001	39
0	16	35
1	54	35
2	217	31
3	653	31
4	2117	27
done	5001	27
0	14	17
1	35	17
2	99	17
3	164	17
4	253	17
5	337	17
6	416	17
7	614	17
8	1224	17
9	3282	17
done	5001	17
0	13	15
1	28	15
2	65	15
3	94	15
4	131	15
5	160	15
6	202	15
7	323	15
8	742	15
9	2589	15
done	5000	15
0	13	15
1	28	15
2	65	15
3	91	15
4	128	15
5	160	15
6	205	15
7	327	15
8	748	15
9	2603	15
done	5001	15
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
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	2430	5
done	5000	5
0	8	14
1	15	10
2	37	8
3	69	8
4	92	8
5	134	8
6	255	8
7	646	8
8	2103	8
done	5000	8
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	46	6
3	88	6
4	104	6
5	148	6
6	280	6
7	737	6
8	2702	6
done	5000	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	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	8
1	9	8
2	11	8
done	11	8
0	5	5
1	6	5
done	6	5
0	4	4
1	7	2
2	10	2
done	10	2
0	5	5
1	6	5
done	6	5
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	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	1	1
done	1	1
0	17	26
1	46	26
2	145	26
3	442	24
4	1774	19
done	5000	19
0	17	26
1	46	26
2	141	24
3	401	24
4	1172	19
5	3608	17
done	5001	17
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune331.0ms

Filtered

83 candidates to 115 candidates (-38.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	109	6	115
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	110	10	120

Merged error: 2.4b

Counts

120 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ l (/ x l))
0.4b	(* (sqrt 2.0) t)
1.0b	(+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l))))
27.1b	(sqrt (+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l)))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

75×	`times-frac`
55×	`add-sqr-sqrt`
50×	`add-cube-cbrt` `*-un-lft-identity`
13×	`associate-/r*`
11×	`add-exp-log` `add-cbrt-cube`
8×	`associate-*r/`
7×	`pow1` `sqrt-prod`
6×	`associate-l` `add-log-exp`
5×	`div-inv`
4×	`flip3-+` `sqrt-div` `frac-add` `flip-+`
3×	`cbrt-undiv` `div-exp` `associate-r` `associate-/l*`
2×	`associate-+l+` `unswap-sqr`
1×	`+-commutative` `distribute-rgt-in` `rem-sqrt-square` `frac-2neg` `distribute-lft-in` `sqrt-pow1` `pow1/2` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `associate-/r/` `*-commutative` `cbrt-unprod`

Counts

4 → 124

Calls

4 calls:

7.0ms	(/ l (/ x l))
6.0ms	(* (sqrt 2.0) t)
12.0ms	(+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l))))
11.0ms	(sqrt (+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l)))))

series60.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ l (/ x l))
5.0ms	(* (sqrt 2.0) t)
23.0ms	(+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l))))
28.0ms	(sqrt (+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l)))))

simplify2.8min

Counts

136 → 136

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	17	39
1	36	39
2	88	39
3	132	39
4	158	39
5	179	39
6	208	39
7	274	39
8	491	39
9	1434	39
done	5000	39
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	17	56
1	37	36
2	100	20
3	203	20
4	361	20
5	528	20
6	666	20
7	829	20
8	1263	20
9	3133	20
done	5000	20
0	17	38
1	37	19
2	89	19
3	133	19
4	159	19
5	180	19
6	207	19
7	272	19
8	488	19
9	1424	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	2	2
1	4	1
done	4	1
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	24	40
1	74	36
2	242	36
3	753	36
4	2818	36
done	5001	36
0	13	22
1	30	18
2	68	18
3	172	18
4	422	18
5	955	18
6	1915	18
7	2961	16
done	5000	16
0	19	30
1	45	30
2	125	30
3	410	30
4	1453	24
5	4592	24
done	5000	24
0	9	10
1	14	10
2	26	10
3	54	10
4	95	10
5	148	10
6	196	10
7	240	8
8	799	8
done	5000	8
0	18	22
1	55	22
2	201	22
3	879	22
4	4277	22
done	5001	22
0	19	54
1	63	46
2	277	42
3	1141	42
4	4632	42
done	5000	42
0	17	36
1	54	36
2	222	32
3	776	32
4	2651	30
done	5000	30
0	15	18
1	35	18
2	96	18
3	177	18
4	251	18
5	300	18
6	358	18
7	494	18
8	890	18
9	2006	18
done	5000	18
0	3	3
1	6	1
done	6	1
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	41	18
2	109	18
3	226	18
4	469	18
5	1757	18
done	5000	18
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	15	18
1	37	18
2	101	18
3	195	18
4	349	18
5	1199	18
done	5000	18
0	16	37
1	35	37
2	87	37
3	135	37
4	159	37
5	180	37
6	209	37
7	275	37
8	485	37
9	1416	37
done	5000	37
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	16	53
1	48	53
2	184	19
3	956	19
done	5000	19
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	23	39
1	73	35
2	241	35
3	753	35
4	2807	35
done	5000	35
0	12	21
1	29	17
2	67	17
3	171	17
4	423	17
5	960	17
6	1921	17
7	2970	15
done	5000	15
0	18	29
1	44	29
2	124	29
3	409	29
4	1444	23
5	4594	23
done	5001	23
0	8	9
1	13	9
2	25	9
3	53	9
4	94	9
5	147	9
6	195	9
7	239	7
8	796	7
done	5000	7
0	17	21
1	54	21
2	200	21
3	875	21
4	4267	21
done	5001	21
0	18	53
1	62	45
2	276	41
3	1142	41
4	4644	41
done	5000	41
0	16	35
1	53	35
2	221	31
3	776	31
4	2638	29
done	5001	29
0	14	17
1	34	17
2	95	17
3	177	17
4	253	17
5	302	17
6	360	17
7	496	17
8	891	17
9	2018	17
done	5000	17
0	13	15
1	27	15
2	61	15
3	96	15
4	118	15
5	135	15
6	159	15
7	224	15
8	443	15
9	1383	15
done	5000	15
0	13	15
1	27	15
2	61	15
3	93	15
4	115	15
5	135	15
6	162	15
7	220	15
8	433	15
9	1363	15
done	5000	15
0	4	4
1	5	4
done	5	4
0	6	6
1	7	6
done	7	6
0	5	5
1	9	5
2	10	5
done	10	5
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	2430	5
done	5000	5
0	8	14
1	15	10
2	37	8
3	69	8
4	92	8
5	134	8
6	255	8
7	646	8
8	2103	8
done	5000	8
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	46	6
3	88	6
4	104	6
5	148	6
6	280	6
7	737	6
8	2702	6
done	5000	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	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	8
1	9	8
2	11	8
done	11	8
0	5	5
1	6	5
done	6	5
0	4	4
1	7	2
2	10	2
done	10	2
0	5	5
1	6	5
done	6	5
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	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	6	8
1	12	8
2	20	8
3	31	8
4	44	7
5	53	7
6	64	7
7	81	7
8	82	7
done	82	7
0	6	7
1	10	7
2	15	7
3	22	7
4	33	7
5	44	7
6	53	7
7	64	7
8	81	7
9	82	7
done	82	7
0	5	6
1	10	6
2	19	6
3	27	6
4	36	6
5	47	6
6	59	6
7	71	6
8	82	6
9	92	6
10	93	6
done	93	6
0	5	6
1	7	6
2	12	6
3	18	6
4	26	6
5	51	6
6	112	6
7	274	6
8	843	6
9	3566	6
done	5001	6
0	8	17
1	21	17
2	92	11
3	364	7
4	837	7
5	2197	7
done	5000	7
0	8	17
1	23	17
2	78	9
3	244	7
4	621	7
5	1542	7
done	5000	7
0	6	13
1	8	13
2	11	13
done	11	13
0	5	6
1	7	6
2	10	6
done	10	6
0	6	17
1	15	17
2	46	7
3	166	7
4	456	7
5	935	7
6	2338	7
done	5000	7
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	7	6
2	10	6
done	10	6
0	2	2
done	2	2
0	4	4
1	6	4
done	6	4
0	8	15
1	14	15
2	23	15
3	29	15
done	29	15
0	6	7
done	6	7
0	7	10
1	9	10
2	11	10
3	12	10
done	12	10
0	6	7
done	6	7
0	8	17
1	18	17
2	48	17
3	104	13
4	136	10
5	146	10
6	163	10
7	233	10
8	505	10
9	1338	10
10	4538	10
done	5000	10
0	6	8
1	8	8
2	11	8
done	11	8
0	9	14
1	15	14
2	33	14
3	77	14
4	123	14
5	143	14
6	148	14
7	149	14
done	149	14
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	9	13
1	17	11
2	40	11
3	115	11
4	147	11
5	170	11
6	172	11
done	172	11
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	7	14
1	13	14
2	26	14
3	41	10
4	53	7
5	62	7
6	75	7
7	115	7
8	238	7
9	554	7
10	1840	7
done	5000	7
0	6	8
1	8	8
2	11	8
done	11	8
0	8	11
1	12	11
2	21	11
3	31	11
4	41	11
5	45	11
6	47	11
7	48	11
done	48	11
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	8	10
1	14	8
2	25	8
3	47	8
4	52	8
5	56	8
6	62	8
done	62	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	13
1	14	13
2	27	11
3	51	7
4	96	4
5	104	4
6	123	4
7	172	4
8	350	4
9	858	4
10	3091	4
done	5001	4
0	5	7
1	7	7
2	10	7
done	10	7
0	7	10
1	13	10
2	22	8
3	48	8
4	95	8
5	104	8
done	104	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	9
1	12	7
2	21	5
3	42	5
4	56	5
done	56	5
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	5	7
1	7	7
2	9	7
3	10	7
done	10	7
0	5	6
1	9	6
2	12	4
3	21	4
4	30	4
5	32	4
done	32	4
0	7	12
1	9	12
done	9	12
0	6	7
done	6	7
0	6	7
done	6	7
0	6	7
done	6	7
0	9	14
1	17	14
2	38	14
3	67	14
4	93	14
5	126	14
6	150	14
7	160	14
8	161	14
done	161	14
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	7	11
1	11	11
2	18	11
3	27	7
4	28	7
done	28	7
0	6	8
1	8	8
2	11	8
done	11	4
0	8	10
1	14	8
2	27	8
3	54	8
4	64	8
5	76	8
6	81	8
done	81	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	8	11
1	12	11
2	19	11
3	27	11
4	31	11
5	40	11
6	46	11
7	51	11
done	51	11
0	7	8
1	9	8
2	12	8
3	13	8
4	15	8
5	17	8
6	18	8
done	18	8
0	6	8
1	8	8
2	11	8
done	11	4
0	6	8
1	8	8
2	11	8
done	11	4
0	7	7
1	11	5
2	17	5
3	22	5
4	24	5
5	27	5
6	31	5
done	31	5
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	7	10
1	13	10
2	20	8
3	36	8
4	62	8
5	83	8
6	103	8
done	103	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	7
1	9	7
2	12	5
3	16	1
4	17	1
done	17	1
0	5	7
1	7	7
2	10	7
done	10	3
0	5	6
1	9	4
2	14	2
3	16	2
4	20	2
done	20	2
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	4	4
1	6	2
2	8	2
done	8	2
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	4	4
done	4	4
0	5	6
1	9	6
2	12	4
3	21	4
4	30	4
5	32	4
done	32	4
0	7	11
1	11	11
done	11	11
0	5	6
done	5	6
0	6	6
1	8	6
done	8	6
0	5	6
done	5	6
0	9	13
1	19	13
2	40	13
3	69	11
4	129	11
5	201	11
done	201	11
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	8	10
1	14	10
2	22	10
3	35	8
4	62	8
5	94	8
done	94	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	9
1	12	7
2	23	7
3	32	7
done	32	7
0	5	6
1	7	6
2	10	6
done	10	6
0	8	10
1	14	10
2	21	10
3	29	8
4	53	8
5	68	8
done	68	8
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	7	7
1	11	7
2	14	7
3	15	5
4	28	5
5	33	5
done	33	5
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	5	6
1	9	4
2	14	4
done	14	4
0	5	6
1	7	6
2	10	6
done	10	6
0	6	9
1	12	5
2	21	5
3	34	5
4	43	5
5	44	5
done	44	5
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	5	6
1	9	2
2	14	2
3	16	2
4	17	2
done	17	2
0	5	6
1	7	6
2	10	6
3	11	6
4	13	6
5	15	6
6	16	6
done	16	6
0	3	5
1	6	1
done	6	1
0	4	5
1	6	5
2	9	5
done	9	5
0	2	3
1	4	1
done	4	1
0	4	5
1	6	5
2	9	5
done	9	5
0	3	3
1	5	3
done	5	3
0	4	5
1	8	5
2	11	3
done	11	3
0	5	5
1	9	5
2	12	5
3	13	3
done	13	3
0	4	5
1	6	5
done	6	5
0	6	11
1	8	11
done	8	11
0	5	6
done	5	6
0	8	13
1	16	13
2	37	13
3	66	13
4	92	13
5	123	13
6	147	13
7	157	13
8	158	13
done	158	13
0	7	10
1	11	10
2	19	10
3	32	10
4	40	10
5	46	10
6	49	10
done	49	10
0	7	9
1	13	7
2	26	7
3	53	7
4	59	7
5	68	7
6	83	7
7	86	7
done	86	7
0	7	10
1	11	10
2	18	10
3	26	10
4	30	10
5	39	10
6	45	10
7	50	10
done	50	10
0	6	7
1	8	7
2	11	7
3	12	7
4	14	7
5	16	7
6	17	7
done	17	7
0	6	6
1	10	4
2	16	4
3	21	4
done	21	4
0	6	9
1	12	9
2	19	7
3	29	7
4	49	7
5	84	7
6	96	7
done	96	7
0	5	6
1	9	6
2	12	4
3	18	4
4	25	4
5	30	4
done	30	4
0	4	5
1	8	3
2	13	1
done	13	1
0	3	3
1	5	1
done	5	1
0	3	3
done	3	3
0	5	6
1	7	6
2	10	6
done	10	6
0	5	6
1	7	6
2	10	6
done	10	6
0	4	5
1	6	5
done	6	5
0	3	3
done	3	3
0	1	1
done	1	1
0	17	26
1	46	26
2	145	26
3	442	24
4	1774	19
done	5000	19
0	17	26
1	46	26
2	141	24
3	401	24
4	1172	19
5	3608	17
done	5001	17
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5
0	5	5
1	10	5
2	22	5
3	29	5
4	36	5
5	46	5
6	68	5
7	132	5
8	345	5
9	1261	5
done	5000	5

prune356.0ms

Filtered

110 candidates to 136 candidates (-23.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	133	3	136
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	135	11	146

Merged error: 1.2b

Counts

146 → 11

localize21.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (cbrt (sqrt 2.0)) t)
0.3b	(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) t))
1.0b	(+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l))))
27.1b	(sqrt (+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l)))))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

19×	`pow1`
18×	`add-exp-log`
16×	`add-sqr-sqrt`
11×	`add-cbrt-cube`
10×	`associate-l`
9×	`add-cube-cbrt` `*-un-lft-identity` `pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`cbrt-prod` `associate-*r/`
7×	`sqrt-prod`
6×	`add-log-exp`
4×	`flip3-+` `sqrt-div` `associate-r` `frac-add` `flip-+`
3×	`unswap-sqr`
2×	`associate-+l+` `*-commutative`
1×	`+-commutative` `distribute-rgt-in` `rem-sqrt-square` `distribute-lft-in` `sqrt-pow1` `pow1/2` `sum-log`

Counts

4 → 80

Calls

4 calls:

6.0ms	(* (cbrt (sqrt 2.0)) t)
13.0ms	(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) t))
16.0ms	(+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l))))
11.0ms	(sqrt (+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l)))))

series329.0ms

Counts

4 → 12

Calls

4 calls:

279.0ms	(* (cbrt (sqrt 2.0)) t)
5.0ms	(* (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))) (* (cbrt (sqrt 2.0)) t))
16.0ms	(+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l))))
28.0ms	(sqrt (+ (* (pow t 2) (+ 2.0 (/ 4.0 x))) (* 2.0 (/ l (/ x l)))))

simplify4.0min

Counts

92 → 92

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	17	39
1	36	39
2	88	39
3	132	39
4	158	39
5	179	39
6	208	39
7	274	39
8	491	39
9	1434	39
done	5000	39
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	17	56
1	37	36
2	100	20
3	203	20
4	361	20
5	528	20
6	666	20
7	829	20
8	1263	20
9	3133	20
done	5000	20
0	17	38
1	37	19
2	89	19
3	133	19
4	159	19
5	180	19
6	207	19
7	272	19
8	488	19
9	1424	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	2	2
1	4	1
done	4	1
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	24	40
1	74	36
2	242	36
3	753	36
4	2818	36
done	5001	36
0	13	22
1	30	18
2	68	18
3	172	18
4	422	18
5	955	18
6	1915	18
7	2961	16
done	5000	16
0	19	30
1	45	30
2	125	30
3	410	30
4	1453	24
5	4592	24
done	5000	24
0	9	10
1	14	10
2	26	10
3	54	10
4	95	10
5	148	10
6	196	10
7	240	8
8	799	8
done	5000	8
0	18	22
1	55	22
2	201	22
3	879	22
4	4277	22
done	5001	22
0	19	54
1	63	46
2	277	42
3	1141	42
4	4632	42
done	5000	42
0	17	36
1	54	36
2	222	32
3	776	32
4	2651	30
done	5000	30
0	15	18
1	35	18
2	96	18
3	177	18
4	251	18
5	300	18
6	358	18
7	494	18
8	890	18
9	2006	18
done	5000	18
0	3	3
1	6	1
done	6	1
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	35	19
2	87	19
3	135	19
4	159	19
5	180	19
6	209	19
7	275	19
8	485	19
9	1416	19
done	5000	19
0	16	19
1	41	18
2	109	18
3	226	18
4	469	18
5	1757	18
done	5000	18
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	15	18
1	37	18
2	101	18
3	195	18
4	349	18
5	1199	18
done	5000	18
0	16	37
1	35	37
2	87	37
3	135	37
4	159	37
5	180	37
6	209	37
7	275	37
8	485	37
9	1416	37
done	5000	37
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	16	53
1	48	53
2	184	19
3	956	19
done	5000	19
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	15	18
1	34	18
2	86	18
3	134	18
4	158	18
5	179	18
6	208	18
7	272	18
8	493	18
9	1427	18
done	5000	18
0	23	39
1	73	35
2	241	35
3	753	35
4	2807	35
done	5000	35
0	12	21
1	29	17
2	67	17
3	171	17
4	423	17
5	960	17
6	1921	17
7	2970	15
done	5000	15
0	18	29
1	44	29
2	124	29
3	409	29
4	1444	23
5	4594	23
done	5001	23
0	8	9
1	13	9
2	25	9
3	53	9
4	94	9
5	147	9
6	195	9
7	239	7
8	796	7
done	5000	7
0	17	21
1	54	21
2	200	21
3	875	21
4	4267	21
done	5001	21
0	18	53
1	62	45
2	276	41
3	1142	41
4	4644	41
done	5000	41
0	16	35
1	53	35
2	221	31
3	776	31
4	2638	29
done	5001	29
0	14	17
1	34	17
2	95	17
3	177	17
4	253	17
5	302	17
6	360	17
7	496	17
8	891	17
9	2018	17
done	5000	17
0	13	15
1	27	15
2	61	15
3	96	15
4	118	15
5	135	15
6	159	15
7	224	15
8	443	15
9	1383	15
done	5000	15
0	13	15
1	27	15
2	61	15
3	93	15
4	115	15
5	135	15
6	162	15
7	220	15
8	433	15
9	1363	15
done	5000	15
0	7	13
1	13	13
2	20	13
3	22	7
4	27	4
5	37	4
6	55	4
7	99	4
8	239	4
9	766	4
10	3066	4
done	5000	4
0	7	13
1	13	13
2	20	13
3	22	7
4	27	4
5	37	4
6	55	4
7	99	4
8	239	4
9	766	4
10	3066	4
done	5000	4
0	7	13
1	13	13
2	20	13
3	22	7
4	27	4
5	37	4
6	55	4
7	99	4
8	239	4
9	766	4
10	3066	4
done	5000	4
0	7	13
1	13	13
2	20	13
3	22	7
4	27	4
5	37	4
6	55	4
7	99	4
8	239	4
9	766	4
10	3066	4
done	5000	4
0	9	17
1	17	14
2	29	9
3	33	9
done	33	9
0	9	16
1	17	13
2	26	13
3	33	9
4	36	9
done	36	9
0	10	16
1	15	16
2	27	14
3	36	9
4	39	9
done	39	9
0	9	15
1	15	15
2	26	13
3	35	9
4	38	9
done	38	9
0	8	14
1	17	14
2	34	14
3	52	8
4	61	5
5	76	5
6	105	5
7	188	5
8	434	5
9	1304	5
10	4985	5
done	5000	5
0	8	14
1	16	14
2	34	14
3	65	8
4	141	5
5	336	5
6	838	5
7	2476	5
done	5000	5
0	8	14
1	17	10
2	43	8
3	86	8
4	114	8
5	164	6
6	308	6
7	795	6
8	2523	6
done	5001	6
0	9	23
1	25	19
2	83	9
3	294	9
4	697	8
5	1173	8
6	3108	6
done	5000	6
0	11	32
1	28	32
2	92	16
3	340	12
4	902	8
5	3114	6
done	5001	6
0	11	41
1	34	41
2	126	17
3	495	12
4	954	6
5	3133	6
done	5000	6
0	9	29
1	15	29
2	22	29
3	24	17
4	29	11
5	39	11
6	57	11
7	103	11
8	243	11
9	764	11
10	3076	11
done	5000	11
0	8	14
1	14	14
2	21	14
3	23	8
4	28	5
5	38	5
6	56	5
7	104	5
8	249	5
9	772	5
10	3070	5
done	5000	5
0	9	41
1	25	41
2	112	15
3	451	9
4	748	6
5	1118	6
6	3950	6
done	5001	6
0	8	14
1	14	14
2	21	14
3	23	8
4	28	5
5	38	5
6	56	5
7	104	5
8	249	5
9	772	5
10	3070	5
done	5000	5
0	8	14
1	14	14
2	21	14
3	23	8
4	28	5
5	38	5
6	56	5
7	104	5
8	249	5
9	772	5
10	3070	5
done	5000	5
0	5	11
1	6	11
2	8	5
3	13	2
4	19	2
5	29	2
6	50	2
7	108	2
8	311	2
9	1229	2
done	5000	2
0	6	9
1	10	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	7	7
1	8	7
done	8	7
0	6	6
1	10	6
2	11	6
done	11	6
0	6	6
1	9	6
2	15	6
3	23	6
4	46	6
5	102	6
6	243	6
7	706	6
8	2456	6
done	5000	6
0	6	8
1	10	8
2	19	6
3	27	6
4	37	6
5	57	6
6	102	6
7	249	6
8	777	6
9	3067	6
done	5000	6
0	7	13
1	8	13
done	8	13
0	6	6
1	7	6
done	7	6
0	7	17
1	18	17
2	47	7
3	89	7
4	105	6
5	151	6
6	291	6
7	753	6
8	2707	6
done	5000	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	7
1	8	7
done	8	7
0	7	9
1	10	9
2	12	9
done	12	9
0	6	6
1	7	6
done	7	6
0	5	5
1	8	3
2	11	3
done	11	3
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
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	5	5
1	6	5
done	6	5
0	1	1
done	1	1
0	17	26
1	46	26
2	145	26
3	442	24
4	1774	19
done	5000	19
0	17	26
1	46	26
2	141	24
3	401	24
4	1172	19
5	3608	17
done	5001	17
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	15	21
1	34	21
2	81	21
3	113	19
4	162	17
5	205	17
6	251	17
7	374	17
8	791	17
9	2663	17
done	5001	17
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	6	6
1	13	5
2	23	5
3	41	5
4	91	5
5	234	5
6	770	5
7	3065	5
done	5000	5
0	6	6
1	13	5
2	23	5
3	41	5
4	91	5
5	234	5
6	770	5
7	3065	5
done	5000	5
0	6	6
1	13	5
2	23	5
3	41	5
4	91	5
5	234	5
6	770	5
7	3065	5
done	5000	5

prune282.0ms

Filtered

66 candidates to 92 candidates (-39.4%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	87	5	92
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	88	15	103

Merged error: 1.2b

Counts

103 → 15

regimes1.0s

Accuracy

74.1% (6.6b remaining)

Error of 8.6b against oracle of 2.0b and baseline of 27.5b

bsearch121.0ms

Steps

Iters	Range		Point
8	6.5065225296113186e+109	1.3009312689647836e+113	3.3289760264210936e+110
8	-1.0538219094505121e+147	-2.2661782969104254e+143	-3.794989872061021e+143

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	50	95
1	66	95
done	66	95

end0.0ms

sample3.5s

Algorithm

intervals

Results

812.0ms	9703×	body	80	nan
454.0ms	5178×	body	80	valid
339.0ms	844×	body	1280	valid
326.0ms	1024×	body	640	valid
244.0ms	589×	body	1280	nan
193.0ms	593×	body	640	nan
154.0ms	627×	body	320	valid
86.0ms	319×	body	320	nan
55.0ms	327×	body	160	valid
27.0ms	172×	body	160	nan

Details

sample133.0ms

simplify3.6s

prune6.0ms

localize27.0ms

rewrite61.0ms

series415.0ms

simplify4.3min

prune270.0ms

localize18.0ms

rewrite42.0ms

series53.0ms

simplify5.3min

prune331.0ms

localize21.0ms

rewrite41.0ms

series60.0ms

simplify2.8min

prune356.0ms

localize21.0ms

rewrite49.0ms

series329.0ms

simplify4.0min

prune282.0ms

regimes1.0s

bsearch121.0ms

simplify5.0ms

end0.0ms

sample3.5s

Profiling