Details

sample30.0ms

Algorithm

intervals

Results

12.0ms	256×	body	80	valid
5.0ms	256×	pre	80	true

simplify2.4s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	15
1	27	15
2	54	15
3	117	15
4	262	15
5	637	15
6	1865	15
done	5000	15

prune4.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: 52.0b

Counts

2 → 1

localize11.0ms

Local error

Found 1 expressions with local error:

23.0b

(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

6.0ms

(- (* 9.0 (pow x 4.0)) (pow y 4.0))

series90.0ms

Counts

1 → 3

Calls

1 calls:

90.0ms

(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify42.6s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	21	10
2	42	10
3	105	10
4	300	10
5	1073	10
done	5001	10
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	9	10
1	21	10
2	45	10
3	109	10
4	307	10
5	1091	10
done	5000	10
0	10	21
1	19	21
2	35	21
3	77	21
4	181	21
5	510	21
6	1718	21
done	5000	21
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	10	29
1	20	29
2	50	11
3	182	11
4	905	11
done	5001	11
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	11	13
1	35	13
2	114	13
3	394	13
4	1580	13
done	5000	13
0	12	29
1	37	25
2	103	23
3	303	21
4	1071	21
5	4743	21
done	5000	21
0	4	4
1	8	4
2	16	4
3	41	4
4	107	4
5	292	4
6	972	4
7	3784	4
done	5000	4
0	10	19
1	31	17
2	78	15
3	216	15
4	716	15
5	2858	15
done	5001	15
0	8	9
1	16	9
2	28	9
3	63	9
4	152	9
5	407	9
6	1307	9
done	5000	9
0	4	4
1	8	4
2	16	4
3	41	4
4	107	4
5	292	4
6	972	4
7	3784	4
done	5000	4
0	1	1
done	1	1
0	19	22
1	46	20
2	85	18
3	187	17
4	429	16
5	1086	16
6	2827	16
done	5000	16
0	20	22
1	47	21
2	84	19
3	203	17
4	472	17
5	1164	17
6	2917	17
done	5000	17

prune41.0ms

Filtered

13 candidates to 15 candidates (-15.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	14	1	15
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	15	1	16

Merged error: 52.0b

Counts

16 → 1

localize14.0ms

Local error

Found 2 expressions with local error:

1.0b	(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
23.0b	(- (* 9.0 (pow x 4.0)) (pow y 4.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
5×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`unpow-prod-down` `cube-prod`
2×	`pow1` `add-exp-log` `cube-div` `cbrt-div` `flip3--` `add-cbrt-cube` `flip--`
1×	`cube-mult` `sub-neg` `pow1/3` `diff-log` `unpow3` `rem-cbrt-cube` `sqr-pow`

Counts

2 → 35

Calls

2 calls:

8.0ms	(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
7.0ms	(- (* 9.0 (pow x 4.0)) (pow y 4.0))

series179.0ms

Counts

2 → 6

Calls

2 calls:

89.0ms	(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
90.0ms	(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify1.6min

Counts

41 → 41

Iterations

Useful iterations: 1 (2.0ms)

Iter	Nodes	Cost
0	10	11
1	21	10
2	42	10
3	105	10
4	300	10
5	1073	10
done	5001	10
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	9	10
1	21	10
2	45	10
3	109	10
4	307	10
5	1091	10
done	5000	10
0	10	21
1	19	21
2	35	21
3	77	21
4	181	21
5	510	21
6	1718	21
done	5000	21
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	10	29
1	20	29
2	50	11
3	182	11
4	905	11
done	5001	11
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	11	13
1	35	13
2	114	13
3	394	13
4	1580	13
done	5000	13
0	12	29
1	37	25
2	103	23
3	303	21
4	1071	21
5	4743	21
done	5000	21
0	4	4
1	8	4
2	16	4
3	41	4
4	107	4
5	292	4
6	972	4
7	3784	4
done	5000	4
0	10	19
1	31	17
2	78	15
3	216	15
4	716	15
5	2858	15
done	5001	15
0	8	9
1	16	9
2	28	9
3	63	9
4	152	9
5	407	9
6	1307	9
done	5000	9
0	4	4
1	8	4
2	16	4
3	41	4
4	107	4
5	292	4
6	972	4
7	3784	4
done	5000	4
0	12	13
1	28	10
2	62	10
3	200	10
4	955	10
done	5001	10
0	12	13
1	28	10
2	67	10
3	221	10
4	1029	10
done	5000	10
0	13	24
1	31	21
2	68	13
3	154	13
4	472	13
5	2207	12
done	5001	12
0	12	13
1	28	10
2	50	10
3	102	10
4	227	10
5	613	10
6	2031	10
done	5001	10
0	12	13
1	28	10
2	50	10
3	111	10
4	280	10
5	922	10
6	3457	10
done	5001	10
0	12	13
1	28	10
2	50	10
3	111	10
4	280	10
5	922	10
6	3457	10
done	5001	10
0	4	4
1	14	1
2	18	1
done	18	1
0	11	12
1	27	9
2	61	9
3	199	9
4	942	9
done	5000	9
0	10	20
1	19	20
2	41	20
3	124	20
4	483	20
5	2448	20
done	5000	20
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	13	26
1	28	20
2	62	20
3	200	20
4	954	20
done	5000	20
0	12	13
1	28	10
2	62	10
3	200	10
4	955	10
done	5001	10
0	13	24
1	31	21
2	68	13
3	154	13
4	472	13
5	2207	12
done	5001	12
0	12	13
1	28	10
2	50	10
3	102	10
4	227	10
5	613	10
6	2031	10
done	5001	10
0	12	13
1	28	10
2	50	10
3	111	10
4	280	10
5	922	10
6	3457	10
done	5001	10
0	12	13
1	28	10
2	50	10
3	111	10
4	280	10
5	922	10
6	3457	10
done	5001	10
0	4	4
1	14	1
2	18	1
done	18	1
0	11	12
1	27	9
2	61	9
3	199	9
4	942	9
done	5000	9
0	9	10
1	18	10
2	34	10
3	76	10
4	180	10
5	512	10
6	1742	10
done	5000	10
0	10	20
1	19	20
2	41	20
3	124	20
4	483	20
5	2448	20
done	5000	20
0	12	13
1	28	13
2	63	13
3	201	13
4	961	13
done	5000	13
0	12	13
1	28	13
2	63	13
3	201	13
4	961	13
done	5000	13
0	2	2
1	4	1
done	4	1
0	11	12
1	27	9
2	61	9
3	199	9
4	942	9
done	5000	9
0	13	14
1	26	12
2	48	12
3	100	12
4	225	12
5	600	12
6	2012	12
done	5000	12
0	13	14
1	26	12
2	48	12
3	100	12
4	225	12
5	600	12
6	2012	12
done	5000	12
0	13	16
1	42	13
2	136	13
3	606	13
done	5000	13
0	15	32
1	47	25
2	147	23
3	673	21
done	5001	21
0	13	22
1	41	17
2	120	15
3	498	15
4	3784	15
done	5000	15
0	11	12
1	26	9
2	60	9
3	179	9
4	783	9
5	4595	9
done	5000	9
0	13	27
1	29	21
2	63	21
3	201	21
4	952	21
done	5000	21
0	12	13
1	28	10
2	62	10
3	200	10
4	955	10
done	5001	10
0	13	38
1	27	11
2	61	11
3	199	11
4	943	11
done	5000	11
0	12	13
1	28	10
2	62	10
3	200	10
4	955	10
done	5001	10
0	12	13
1	28	10
2	62	10
3	200	10
4	955	10
done	5001	10
0	1	1
done	1	1
0	19	22
1	46	20
2	85	18
3	187	17
4	429	16
5	1086	16
6	2827	16
done	5000	16
0	20	22
1	47	21
2	84	19
3	203	17
4	472	17
5	1164	17
6	2917	17
done	5000	17
0	1	1
done	1	1
0	19	22
1	46	20
2	85	18
3	187	17
4	429	16
5	1086	16
6	2827	16
done	5000	16
0	20	22
1	47	21
2	84	19
3	203	17
4	472	17
5	1164	17
6	2917	17
done	5000	17

prune98.0ms

Filtered

32 candidates to 41 candidates (-28.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	41	1	42

Merged error: 52.0b

Counts

42 → 1

simplify2.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	18
1	18	18
done	18	18

end0.0ms

sample777.0ms

Algorithm

intervals

Results

371.0ms	8000×	body	80	valid
160.0ms	8000×	pre	80	true

Details

sample30.0ms

simplify2.4s

prune4.0ms

localize11.0ms

rewrite6.0ms

series90.0ms

simplify42.6s

prune41.0ms

localize14.0ms

rewrite15.0ms

series179.0ms

simplify1.6min

prune98.0ms

simplify2.0ms

end0.0ms

sample777.0ms

Profiling