Details

sample139.0ms

Algorithm

intervals

Results

56.0ms

611×

body

valid

simplify4.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	29
1	43	29
2	96	29
3	248	29
4	625	29
5	1579	29
6	3737	29
done	5001	29

prune13.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: 12.3b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* c z) (* i a))
4.3b	(* b (- (* c z) (* i a)))
4.7b	(* x (- (* y z) (* t a)))
6.1b	(* j (- (* c t) (* i y)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/` `add-log-exp`
4×	`flip3--` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 84

Calls

4 calls:

4.0ms	(- (* c z) (* i a))
7.0ms	(* b (- (* c z) (* i a)))
7.0ms	(* x (- (* y z) (* t a)))
7.0ms	(* j (- (* c t) (* i y)))

series81.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(- (* c z) (* i a))
22.0ms	(* b (- (* c z) (* i a)))
26.0ms	(* x (- (* y z) (* t a)))
21.0ms	(* j (- (* c t) (* i y)))

simplify53.5s

Counts

96 → 96

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	9	9
1	17	8
2	30	8
3	61	8
4	160	8
5	606	8
6	3922	8
done	5000	8
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	15	8
2	32	8
3	54	8
4	120	8
5	454	8
6	2420	8
done	5001	8
0	9	17
1	13	17
2	20	17
done	20	17
0	8	8
1	12	8
2	19	8
done	19	8
0	9	23
1	14	23
2	35	9
3	126	9
4	513	9
5	1912	9
done	5000	9
0	8	8
1	12	8
2	19	8
done	19	8
0	8	8
1	12	8
2	19	8
done	19	8
0	10	11
1	33	11
2	117	11
3	382	11
4	897	11
5	2338	11
done	5000	11
0	11	23
1	38	19
2	95	19
3	140	19
4	150	19
5	152	19
done	152	19
0	4	4
1	9	4
2	11	4
done	11	4
0	9	15
1	30	15
2	71	15
3	129	15
4	194	15
5	325	15
6	521	15
7	887	15
8	2712	15
done	5000	15
0	7	7
1	10	7
done	10	7
0	4	4
1	9	4
2	11	4
done	11	4
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	72	9
4	86	9
5	87	9
done	87	9
0	10	11
1	20	11
2	43	11
3	72	9
4	86	9
5	87	9
done	87	9
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
0	10	11
1	20	11
2	43	11
3	76	9
4	81	9
done	81	9
0	1	1
done	1	1
0	7	7
1	11	7
2	18	7
done	18	7
0	7	7
1	11	7
2	18	7
done	18	7

prune289.0ms

Filtered

72 candidates to 96 candidates (-33.3%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	74	22	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	22	97

Merged error: 8.0b

Counts

97 → 22

localize31.0ms

Local error

Found 4 expressions with local error:

5.5b	(cbrt (* x (- (* y z) (* t a))))
5.5b	(cbrt (* x (- (* y z) (* t a))))
5.5b	(cbrt (* x (- (* y z) (* t a))))
6.1b	(* j (- (* c t) (* i y)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `associate-*r/`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity` `add-cbrt-cube`
4×	`flip3--` `flip--` `add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-r` `associate-l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 57

Calls

4 calls:

6.0ms	(cbrt (* x (- (* y z) (* t a))))
5.0ms	(cbrt (* x (- (* y z) (* t a))))
6.0ms	(cbrt (* x (- (* y z) (* t a))))
7.0ms	(* j (- (* c t) (* i y)))

series174.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(cbrt (* x (- (* y z) (* t a))))
49.0ms	(cbrt (* x (- (* y z) (* t a))))
53.0ms	(cbrt (* x (- (* y z) (* t a))))
21.0ms	(* j (- (* c t) (* i y)))

simplify1.3min

Counts

69 → 69

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	2	2
done	2	2
0	8	8
1	12	8
2	19	8
done	19	8
0	13	14
1	37	14
2	127	14
3	467	14
4	1636	14
5	4913	14
done	5000	14
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	20
0	12	18
1	34	18
2	85	18
3	222	18
4	519	18
5	927	18
6	1485	18
7	2537	18
done	5000	18
0	8	8
1	11	8
done	11	8
0	12	23
1	17	23
2	30	23
3	59	23
4	73	23
5	81	23
done	81	23
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	12	32
1	18	32
2	33	12
3	67	9
4	87	9
5	105	9
6	126	9
7	182	9
8	388	9
9	1331	9
done	5000	9
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	2	2
done	2	2
0	8	8
1	12	8
2	19	8
done	19	8
0	13	14
1	37	14
2	127	14
3	467	14
4	1636	14
5	4913	14
done	5000	14
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	20
0	12	18
1	34	18
2	85	18
3	222	18
4	519	18
5	927	18
6	1485	18
7	2537	18
done	5000	18
0	8	8
1	11	8
done	11	8
0	12	23
1	17	23
2	30	23
3	59	23
4	73	23
5	81	23
done	81	23
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	12	32
1	18	32
2	33	12
3	67	9
4	87	9
5	105	9
6	126	9
7	182	9
8	388	9
9	1331	9
done	5000	9
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	2	2
done	2	2
0	8	8
1	12	8
2	19	8
done	19	8
0	13	14
1	37	14
2	127	14
3	467	14
4	1636	14
5	4913	14
done	5000	14
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	20
0	12	18
1	34	18
2	85	18
3	222	18
4	519	18
5	927	18
6	1485	18
7	2537	18
done	5000	18
0	8	8
1	11	8
done	11	8
0	12	23
1	17	23
2	30	23
3	59	23
4	73	23
5	81	23
done	81	23
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	12	32
1	18	32
2	33	12
3	67	9
4	87	9
5	105	9
6	126	9
7	182	9
8	388	9
9	1331	9
done	5000	9
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	72	9
4	86	9
5	87	9
done	87	9
0	10	11
1	20	11
2	43	11
3	72	9
4	86	9
5	87	9
done	87	9
0	15	15
1	34	14
2	82	14
3	198	13
4	370	8
5	673	7
6	1651	7
done	5001	7
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	20	23
1	41	22
2	103	21
3	387	20
4	1626	17
done	5000	17
0	15	15
1	34	14
2	82	14
3	198	13
4	370	8
5	673	7
6	1651	7
done	5001	7
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	20	23
1	41	22
2	103	21
3	387	20
4	1626	17
done	5000	17
0	15	15
1	34	14
2	82	14
3	198	13
4	370	8
5	673	7
6	1651	7
done	5001	7
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	20	23
1	41	22
2	103	21
3	387	20
4	1626	17
done	5000	17

prune248.0ms

Filtered

59 candidates to 69 candidates (-16.9%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	65	4	69
Fresh	1	20	21
Picked	1	0	1
Done	0	0	0
Total	67	24	91

Merged error: 8.0b

Counts

91 → 24

localize33.0ms

Local error

Found 4 expressions with local error:

5.5b	(cbrt (* x (- (* y z) (* t a))))
5.5b	(cbrt (* x (- (* y z) (* t a))))
6.1b	(* j (- (* c t) (* i y)))
6.8b	(cbrt (- (* y z) (* t a)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `add-exp-log` `cbrt-div` `associate-*r/` `add-cbrt-cube`
5×	`cbrt-prod`
4×	`flip3--` `flip--` `add-log-exp`
3×	`pow1/3` `associate-r` `associate-l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 59

Calls

4 calls:

5.0ms	(cbrt (* x (- (* y z) (* t a))))
6.0ms	(cbrt (* x (- (* y z) (* t a))))
7.0ms	(* j (- (* c t) (* i y)))
4.0ms	(cbrt (- (* y z) (* t a)))

series165.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(cbrt (* x (- (* y z) (* t a))))
52.0ms	(cbrt (* x (- (* y z) (* t a))))
21.0ms	(* j (- (* c t) (* i y)))
43.0ms	(cbrt (- (* y z) (* t a)))

simplify1.2min

Counts

71 → 71

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	2	2
done	2	2
0	8	8
1	12	8
2	19	8
done	19	8
0	13	14
1	37	14
2	127	14
3	467	14
4	1636	14
5	4913	14
done	5000	14
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	20
0	12	18
1	34	18
2	85	18
3	222	18
4	519	18
5	927	18
6	1485	18
7	2537	18
done	5000	18
0	8	8
1	11	8
done	11	8
0	12	23
1	17	23
2	30	23
3	59	23
4	73	23
5	81	23
done	81	23
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	12	32
1	18	32
2	33	12
3	67	9
4	87	9
5	105	9
6	126	9
7	182	9
8	388	9
9	1331	9
done	5000	9
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	2	2
done	2	2
0	8	8
1	12	8
2	19	8
done	19	8
0	13	14
1	37	14
2	127	14
3	467	14
4	1636	14
5	4913	14
done	5000	14
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	20
0	12	18
1	34	18
2	85	18
3	222	18
4	519	18
5	927	18
6	1485	18
7	2537	18
done	5000	18
0	8	8
1	11	8
done	11	8
0	12	23
1	17	23
2	30	23
3	59	23
4	73	23
5	81	23
done	81	23
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	12	32
1	18	32
2	33	12
3	67	9
4	87	9
5	105	9
6	126	9
7	182	9
8	388	9
9	1331	9
done	5000	9
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	11	11
1	16	11
2	29	11
3	58	11
4	68	11
5	76	11
done	76	11
0	27	34
1	61	31
2	144	31
3	399	29
4	1068	21
5	3577	19
done	5000	19
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	72	9
4	86	9
5	87	9
done	87	9
0	10	11
1	20	11
2	43	11
3	72	9
4	86	9
5	87	9
done	87	9
0	15	15
1	34	14
2	82	14
3	198	13
4	370	8
5	673	7
6	1651	7
done	5001	7
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	20	23
1	41	22
2	103	21
3	387	20
4	1626	17
done	5000	17
0	15	15
1	34	14
2	82	14
3	198	13
4	370	8
5	673	7
6	1651	7
done	5001	7
0	17	20
1	39	16
2	109	13
3	370	10
4	765	8
5	1427	6
6	2452	6
7	4899	6
done	5000	6
0	20	23
1	41	22
2	103	21
3	387	20
4	1626	17
done	5000	17

prune251.0ms

Filtered

60 candidates to 71 candidates (-18.3%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	1	22	23
Picked	0	1	1
Done	0	0	0
Total	70	25	95

Merged error: 8.0b

Counts

95 → 25

localize26.0ms

Local error

Found 4 expressions with local error:

4.7b	(* x (- (* y z) (* t a)))
7.2b	(cbrt (- (* c t) (* i y)))
7.2b	(cbrt (- (* c t) (* i y)))
7.2b	(cbrt (- (* c t) (* i y)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
9×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `add-exp-log` `cbrt-div` `add-cbrt-cube`
4×	`flip3--` `flip--` `add-log-exp`
3×	`pow1/3` `associate-r` `associate-l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 63

Calls

4 calls:

7.0ms	(* x (- (* y z) (* t a)))
4.0ms	(cbrt (- (* c t) (* i y)))
4.0ms	(cbrt (- (* c t) (* i y)))
7.0ms	(cbrt (- (* c t) (* i y)))

series157.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(* x (- (* y z) (* t a)))
48.0ms	(cbrt (- (* c t) (* i y)))
44.0ms	(cbrt (- (* c t) (* i y)))
43.0ms	(cbrt (- (* c t) (* i y)))

simplify1.1min

Counts

75 → 75

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	10	18
1	14	18
2	21	18
done	21	18
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	2	2
1	4	1
done	4	1
0	8	8
1	12	8
2	19	8
done	19	8
0	11	12
1	34	12
2	118	12
3	388	12
4	896	12
5	2367	12
done	5000	12
0	12	24
1	39	20
2	96	20
3	139	20
4	153	20
5	155	20
done	155	20
0	10	16
1	31	16
2	72	16
3	131	16
4	196	16
5	331	16
6	527	16
7	891	16
8	2729	16
done	5000	16
0	8	8
1	11	8
done	11	8
0	10	19
1	14	19
2	21	19
done	21	19
0	9	9
1	13	9
2	20	9
done	20	9
0	10	26
1	15	26
2	24	10
3	29	7
4	35	7
5	45	7
6	68	7
7	131	7
8	348	7
9	1266	7
done	5001	7
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	11	11
1	16	11
2	23	11
done	23	11
0	10	10
1	18	10
2	32	10
3	61	10
4	77	10
5	85	10
done	85	10
0	10	10
1	17	10
2	36	10
3	85	10
4	176	10
5	374	10
6	1225	10
done	5001	10
0	13	29
1	24	29
2	74	13
3	322	13
4	1770	11
done	5001	11
0	11	21
1	16	21
2	29	21
3	58	21
4	68	21
5	76	21
done	76	21
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	29
1	26	29
2	86	11
3	373	11
4	1776	11
done	5001	11
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	11	11
1	16	11
2	23	11
done	23	11
0	11	11
1	16	11
2	23	11
done	23	11
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	5	5
1	9	5
2	15	5
done	15	5
0	6	6
1	14	6
2	30	6
3	46	6
4	50	6
done	50	6
0	11	19
1	18	19
2	27	19
done	27	19
0	10	10
1	15	10
2	22	10
done	22	10
0	3	3
1	6	1
done	6	1
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	10	10
1	15	10
2	28	10
3	57	10
4	69	10
5	77	10
done	77	10
0	9	9
1	14	9
2	27	9
3	56	9
4	70	9
5	78	9
done	78	9
0	12	13
1	36	13
2	126	13
3	473	13
4	1615	13
5	4754	13
done	5000	13
0	11	17
1	33	17
2	84	17
3	221	17
4	535	17
5	941	17
6	1494	17
7	2555	17
done	5001	17
0	27	34
1	61	31
2	144	31
3	399	29
4	1068	21
5	3577	19
done	5000	19
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	27	34
1	61	31
2	144	31
3	399	29
4	1068	21
5	3577	19
done	5000	19
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	27	34
1	61	31
2	144	31
3	399	29
4	1068	21
5	3577	19
done	5000	19
0	13	15
1	29	12
2	70	10
3	184	7
4	308	4
5	553	4
6	1027	4
7	2475	4
done	5000	4
0	14	15
1	29	14
2	66	13
3	200	12
4	631	10
5	1739	8
6	3674	4
done	5000	4
0	1	1
done	1	1
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9
0	10	11
1	20	11
2	43	11
3	72	9
4	88	9
5	89	9
done	89	9

prune98.0ms

Filtered

59 candidates to 75 candidates (-27.1%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	71	4	75
Fresh	2	21	23
Picked	1	0	1
Done	0	1	1
Total	74	26	100

Merged error: 8.0b

Counts

100 → 26

regimes2.4s

Accuracy

0% (4.0b remaining)

Error of 12.3b against oracle of 8.2b and baseline of 12.3b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	29	53
1	41	53
done	41	53

end0.0ms

sample3.8s

Algorithm

intervals

Results

1.8s

18866×

body

valid

Details

sample139.0ms

simplify4.4s

prune13.0ms

localize22.0ms

rewrite27.0ms

series81.0ms

simplify53.5s

prune289.0ms

localize31.0ms

rewrite25.0ms

series174.0ms

simplify1.3min

prune248.0ms

localize33.0ms

rewrite30.0ms

series165.0ms

simplify1.2min

prune251.0ms

localize26.0ms

rewrite24.0ms

series157.0ms

simplify1.1min

prune98.0ms

regimes2.4s

bsearch0.0ms

simplify3.0ms

end0.0ms

sample3.8s

Profiling