Details

sample82.0ms

Algorithm

intervals

Results

46.0ms	282×	body	80	valid
10.0ms	103×	body	80	nan

simplify109.0ms

Counts

1 → 1

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	20	38
1	35	38
2	65	37
3	114	37
4	136	37
5	148	37
6	149	37
done	149	37

prune16.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: 19.1b

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))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.5b	(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)))
7.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series68.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(- (* b b) (* (* 4.0 a) c))
10.0ms	(- (* b b) (* (* 4.0 a) c))
16.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
27.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.6min

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

prune197.0ms

Filtered

52 candidates to 66 candidates (-26.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	58	8	66
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	59	8	67

Merged error: 8.8b

Counts

67 → 8

localize25.0ms

Local error

Found 4 expressions with local error:

8.2b	(- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite20.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)))
5.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series73.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(- (neg b) (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))))
17.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
18.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
17.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

prune253.0ms

Filtered

60 candidates to 72 candidates (-20.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	71	9	80

Merged error: 8.8b

Counts

80 → 9

localize25.0ms

Local error

Found 4 expressions with local error:

8.1b	(- (* (sqrt (sqrt (- (* b b) (* (* 4.0 a) c)))) (sqrt (sqrt (- (* b b) (* (* 4.0 a) c))))) b)
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite32.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:

17.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)))
5.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

series70.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)))
20.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))
17.0ms	(sqrt (- (* b b) (* (* 4.0 a) c)))

simplify1.3min

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

prune247.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.8b

Counts

79 → 9

localize38.0ms

Local error

Found 4 expressions with local error:

22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))
22.5b	(sqrt (- (* b b) (* (* 4.0 a) c)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 60

Calls

4 calls:

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

series72.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify1.2min

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	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	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	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

prune337.0ms

Filtered

60 candidates to 72 candidates (-20.0%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	72	0	72
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	72	9	81

Merged error: 8.8b

Counts

81 → 9

regimes343.0ms

Accuracy

93.2% (0.8b remaining)

Error of 8.7b against oracle of 7.9b and baseline of 19.8b

bsearch66.0ms

Steps

Iters	Range		Point
6	8.452635886898758e+130	9.412684251322846e+131	3.4836124324300007e+131
8	-3.3260857371803445e+155	-4.675996499956814e+152	-1.3401531648595183e+154

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

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

end0.0ms

sample1.6s

Algorithm

intervals

Results

866.0ms	8734×	body	80	valid
285.0ms	2954×	body	80	nan

Details

sample82.0ms

simplify109.0ms

prune16.0ms

localize25.0ms

rewrite22.0ms

series68.0ms

simplify1.6min

prune197.0ms

localize25.0ms

rewrite20.0ms

series73.0ms

simplify1.4min

prune253.0ms

localize25.0ms

rewrite32.0ms

series70.0ms

simplify1.3min

prune247.0ms

localize38.0ms

rewrite20.0ms

series72.0ms

simplify1.2min

prune337.0ms

regimes343.0ms

bsearch66.0ms

simplify4.0ms

end0.0ms

sample1.6s

Profiling