Details

sample80.0ms

Algorithm

intervals

Results

44.0ms	274×	body	80	valid
9.0ms	100×	body	80	nan

simplify116.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	20	38
1	38	38
2	78	37
3	136	37
4	156	37
5	165	37
6	168	37
done	168	37

prune13.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 21.9b

Counts

2 → 1

localize25.0ms

Local error

Found 4 expressions with local error:

1.4b	(- (* b b) (* (* 4.0 a) c))
1.4b	(- (* b b) (* (* 4.0 a) c))
23.4b	(sqrt (- (* b b) (* (* 4.0 a) c)))
23.4b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `add-log-exp`
6×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
4×	`add-exp-log` `flip3--` `sqrt-div` `add-cbrt-cube` `flip--`
2×	`sub-neg` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `diff-log`

Counts

4 → 54

Calls

4 calls:

4.0ms	(- (* b b) (* (* 4.0 a) c))
4.0ms	(- (* b b) (* (* 4.0 a) c))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
6.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series67.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (* b b) (* (* 4.0 a) c))
10.0ms	(- (* b b) (* (* 4.0 a) c))
21.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
26.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.5min

Counts

66 → 66

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	11
1	20	10
2	42	10
3	96	10
4	254	10
5	834	10
6	4965	10
done	5000	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	18	10
2	45	10
3	103	10
4	210	10
5	652	10
6	2953	10
done	5001	10
0	10	21
1	16	21
2	33	21
3	58	21
4	60	21
done	60	21
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	10	29
1	17	29
2	48	11
3	174	11
4	920	11
5	4638	11
done	5000	11
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	11	13
1	35	13
2	131	11
3	621	11
4	3194	11
done	5001	11
0	12	29
1	38	23
2	127	21
3	376	19
4	530	19
5	557	19
6	663	19
7	1006	19
8	2362	19
done	5000	19
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	10	19
1	30	19
2	98	17
3	378	15
4	1029	15
5	1449	15
6	1950	15
7	3164	15
done	5000	15
0	8	9
1	13	9
2	19	9
done	19	9
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9
0	9	9
1	20	9
2	45	9
3	75	9
4	83	9
5	93	9
6	115	9
7	176	9
8	390	9
9	1312	9
done	5001	9

prune198.0ms

Filtered

52 candidates to 66 candidates (-26.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	57	9	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	58	9	67

Merged error: 8.5b

Counts

67 → 9

localize25.0ms

Local error

Found 4 expressions with local error:

12.1b	(- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
23.4b	(sqrt (- (* b b) (* (* 4.0 a) c)))
23.4b	(sqrt (- (* b b) (* (* 4.0 a) c)))
23.4b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
9×	`sqrt-prod`
8×	`add-log-exp`
7×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-div`
4×	`add-exp-log` `flip3--` `add-cbrt-cube` `flip--`
3×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
2×	`diff-log`
1×	`associate--l-` `neg-sub0` `sub-neg` `neg-log` `difference-of-squares`

Counts

4 → 60

Calls

4 calls:

5.0ms	(- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
5.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
7.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series67.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
15.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.4min

Counts

72 → 72

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	16	29
1	30	15
2	59	14
3	105	14
4	150	14
5	263	14
6	621	14
7	2187	14
done	5000	14
0	15	28
1	28	14
2	56	14
3	103	14
4	146	14
5	256	14
6	649	14
7	2500	14
done	5000	14
0	14	27
1	22	14
2	46	14
3	73	14
4	75	14
done	75	14
0	14	27
1	25	14
2	56	14
3	102	14
4	132	14
5	224	14
6	578	14
7	1625	14
done	5000	14
0	15	55
1	23	29
2	47	29
3	74	29
4	76	29
done	76	29
0	14	27
1	22	14
2	46	14
3	73	14
4	75	14
done	75	14
0	15	80
1	24	41
2	62	15
3	175	15
4	551	15
5	1807	15
6	4860	15
done	5000	15
0	14	27
1	22	14
2	46	14
3	73	14
4	75	14
done	75	14
0	14	27
1	22	14
2	46	14
3	73	14
4	75	14
done	75	14
0	16	30
1	41	17
2	114	17
3	288	17
4	896	17
5	2907	17
done	5000	17
0	17	80
1	42	28
2	96	26
3	210	25
4	328	22
5	503	22
6	812	22
7	1467	22
8	4301	22
done	5000	22
0	12	24
1	21	11
2	39	11
3	64	11
4	66	11
done	66	11
0	15	53
1	34	25
2	80	13
3	174	13
4	379	7
5	848	5
6	2775	5
done	5001	5
0	13	26
1	20	13
2	39	12
3	64	12
4	66	12
done	66	12
0	13	15
1	20	15
2	37	15
3	62	15
4	64	15
done	64	15
0	13	15
1	21	15
2	39	15
3	64	15
4	66	15
done	66	15
0	12	25
1	19	12
2	37	12
3	62	12
4	64	12
done	64	12
0	12	24
1	21	11
2	39	11
3	64	11
4	66	11
done	66	11
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	13	15
1	31	15
2	71	15
3	120	13
4	168	13
5	197	13
6	296	13
7	580	13
8	930	13
9	1895	13
done	5000	13
0	10	11
1	19	11
2	41	11
3	62	11
4	91	11
5	102	11
done	102	11
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7

prune242.0ms

Filtered

60 candidates to 72 candidates (-20.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	72	9	81

Merged error: 8.5b

Counts

81 → 9

localize26.0ms

Local error

Found 4 expressions with local error:

6.9b	(- (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) b)
23.4b	(sqrt (- (* b b) (* (* 4.0 a) c)))
23.4b	(sqrt (- (* b b) (* (* 4.0 a) c)))
23.4b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
9×	`sqrt-prod`
7×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-div` `add-log-exp`
4×	`add-exp-log` `flip3--` `add-cbrt-cube` `flip--`
3×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`sub-neg` `diff-log` `difference-of-squares`

Counts

4 → 58

Calls

4 calls:

20.0ms	(- (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) b)
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
5.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series65.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(- (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) b)
16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.2min

Counts

70 → 70

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	14	27
1	24	13
2	48	13
3	83	13
4	116	13
5	197	13
6	470	13
7	1699	13
done	5001	13
0	13	26
1	21	13
2	40	13
3	65	13
4	69	13
done	69	13
0	13	26
1	24	13
2	47	13
3	79	13
4	100	13
5	142	13
6	294	13
7	676	13
8	1980	13
done	5000	13
0	14	53
1	22	27
2	41	27
3	66	27
4	68	27
done	68	27
0	13	26
1	21	13
2	40	13
3	65	13
4	69	13
done	69	13
0	14	77
1	23	38
2	56	14
3	136	14
4	289	14
5	780	14
6	2916	14
done	5000	14
0	13	26
1	21	13
2	40	13
3	65	13
4	69	13
done	69	13
0	13	26
1	21	13
2	40	13
3	65	13
4	69	13
done	69	13
0	15	29
1	37	16
2	95	16
3	196	16
4	513	16
5	1439	16
done	5000	16
0	15	77
1	34	36
2	64	24
3	127	24
4	181	22
5	269	22
6	471	22
7	953	22
8	2375	22
done	5000	22
0	2	2
done	2	2
0	13	51
1	28	25
2	57	13
3	126	13
4	194	7
5	314	6
6	1083	6
done	5001	6
0	12	25
1	19	12
2	37	12
3	62	12
4	64	12
done	64	12
0	12	14
1	19	14
2	36	14
3	61	14
4	63	14
done	63	14
0	12	14
1	20	14
2	38	14
3	63	14
4	67	14
done	67	14
0	2	2
done	2	2
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	13	15
1	31	15
2	71	15
3	124	13
4	220	13
5	294	13
6	409	13
7	706	13
8	1079	13
9	2184	13
done	5000	13
0	7	7
1	13	7
2	27	7
3	48	7
4	77	7
5	88	7
done	88	7
0	10	11
1	19	11
2	41	11
3	62	11
4	91	11
5	102	11
done	102	11

prune235.0ms

Filtered

59 candidates to 70 candidates (-18.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	70	9	79

Merged error: 8.5b

Counts

79 → 9

localize28.0ms

Local error

Found 4 expressions with local error:

6.0b	(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
23.4b	(sqrt (- (* b b) (* (* 4.0 a) c)))
24.2b	(cbrt (- (* b b) (* (* 4.0 a) c)))
24.2b	(cbrt (- (* b b) (* (* 4.0 a) c)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 55

Calls

4 calls:

5.0ms	(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
4.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))
4.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))

series117.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(- (neg b) (* (fabs (cbrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (cbrt (- (* b b) (* (* 4.0 a) c))))))
17.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
32.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))
30.0ms	(cbrt (- (* b b) (* (* 4.0 a) c)))

simplify1.5min

Counts

67 → 67

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	22
1	17	22
2	34	22
3	59	22
4	63	22
done	63	22
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	32
2	37	12
3	67	9
4	77	9
5	87	9
6	108	9
7	168	9
8	376	9
9	1282	9
done	5001	9
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	22
1	17	22
2	34	22
3	59	22
4	63	22
done	63	22
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	32
2	37	12
3	67	9
4	77	9
5	87	9
6	108	9
7	168	9
8	376	9
9	1282	9
done	5001	9
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	23
1	17	23
2	34	23
3	59	23
4	63	23
done	63	23
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	11	32
1	18	20
2	44	12
3	107	12
4	214	12
5	263	12
6	288	12
7	346	12
8	555	12
9	1480	12
done	5000	12
0	11	22
1	18	11
2	35	11
3	60	11
4	62	11
done	62	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	2	2
1	4	1
done	4	1
0	9	10
1	15	10
2	32	10
3	57	10
4	59	10
done	59	10
0	12	14
1	36	14
2	132	12
3	628	12
4	3225	12
done	5000	12
0	13	30
1	39	24
2	128	22
3	370	20
4	531	20
5	558	20
6	660	20
7	1001	20
8	2339	20
done	5001	20
0	11	20
1	31	20
2	99	18
3	379	16
4	1027	16
5	1481	16
6	1979	16
7	3146	16
done	5001	16
0	9	10
1	14	10
2	20	10
done	20	10
0	3	3
1	6	1
done	6	1
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	10	11
1	16	11
2	33	11
3	58	11
4	60	11
done	60	11
0	17	29
1	32	28
2	62	27
3	111	27
4	174	27
5	321	27
6	818	27
7	2841	27
done	5000	27
0	16	28
1	30	27
2	59	27
3	114	27
4	171	27
5	326	27
6	913	27
7	3464	27
done	5000	27
0	15	27
1	24	27
2	50	27
3	77	27
4	79	27
done	79	27
0	15	27
1	27	27
2	62	27
3	114	27
4	161	27
5	330	27
6	1004	27
7	3063	27
done	5001	27
0	16	55
1	25	55
2	51	55
3	78	55
4	80	55
done	80	55
0	15	27
1	24	27
2	50	27
3	77	27
4	79	27
done	79	27
0	16	80
1	26	80
2	66	28
3	195	28
4	671	28
5	2527	28
done	5001	28
0	15	27
1	24	27
2	50	27
3	77	27
4	79	27
done	79	27
0	15	27
1	24	27
2	50	27
3	77	27
4	79	27
done	79	27
0	17	30
1	44	30
2	128	30
3	363	30
4	862	30
5	2130	30
done	5000	30
0	18	80
1	47	54
2	115	53
3	199	52
4	225	52
5	250	52
6	343	52
7	550	52
8	647	52
9	648	52
done	648	52
0	13	24
1	24	24
2	43	24
3	68	24
4	72	24
done	72	24
0	16	53
1	39	51
2	97	38
3	197	38
4	290	38
5	482	38
6	844	38
7	1509	38
8	3887	38
done	5001	38
0	14	26
1	22	26
2	40	25
3	65	25
4	67	25
done	67	25
0	13	25
1	21	25
2	38	25
3	63	25
4	65	25
done	65	25
0	13	24
1	24	24
2	43	24
3	68	24
4	72	24
done	72	24
0	27	34
1	61	32
2	151	32
3	373	30
4	930	22
5	2739	22
done	5001	22
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	27	34
1	61	32
2	151	32
3	373	30
4	930	22
5	2739	22
done	5001	22
0	11	12
1	22	10
2	46	8
3	131	5
4	286	3
5	617	3
6	1980	3
done	5001	3
0	12	12
1	23	11
2	44	9
3	127	6
4	325	5
5	879	5
6	2879	3
done	5000	3
0	12	13
1	27	13
2	70	13
3	137	11
4	216	11
5	231	11
6	253	11
7	315	11
8	533	11
9	1472	11
done	5000	11
0	8	9
1	16	9
2	39	9
3	94	9
4	200	9
5	276	9
6	286	9
done	286	9
0	8	9
1	16	9
2	31	9
3	52	9
4	81	9
5	92	9
done	92	9
0	37	62
1	88	58
2	212	58
3	496	46
4	1125	38
5	3265	38
done	5000	38
0	24	28
1	54	25
2	115	23
3	254	20
4	502	18
5	1401	17
6	4775	17
done	5000	17
0	25	28
1	55	26
2	113	24
3	248	22
4	539	20
5	1624	19
done	5000	19

prune210.0ms

Filtered

55 candidates to 67 candidates (-21.8%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	67	9	76

Merged error: 8.5b

Counts

76 → 9

regimes310.0ms

Accuracy

93.2% (0.8b remaining)

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

bsearch59.0ms

Steps

Iters	Range		Point
6	8.452635886898758e+130	9.412684251322846e+131	5.884206550924934e+131
8	-2.2176433678074068e+159	-3.3260857371803445e+155	-3.3793459694973726e+155

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	129
1	49	129
done	49	129

end0.0ms

sample1.6s

Algorithm

intervals

Results

818.0ms	8656×	body	80	valid
265.0ms	2927×	body	80	nan

Details

sample80.0ms

simplify116.0ms

prune13.0ms

localize25.0ms

rewrite22.0ms

series67.0ms

simplify1.5min

prune198.0ms

localize25.0ms

rewrite22.0ms

series67.0ms

simplify1.4min

prune242.0ms

localize26.0ms

rewrite35.0ms

series65.0ms

simplify1.2min

prune235.0ms

localize28.0ms

rewrite19.0ms

series117.0ms

simplify1.5min

prune210.0ms

regimes310.0ms

bsearch59.0ms

simplify4.0ms

end0.0ms

sample1.6s

Profiling