Details

sample20.0ms

Algorithm

intervals

Results

11.0ms

349×

body

valid

simplify9.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5

prune2.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: 0.0b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(* x (- x 1.0))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 26

Calls

1 calls:

7.0ms

(* x (- x 1.0))

series5.0ms

Counts

1 → 3

Calls

1 calls:

5.0ms

(* x (- x 1.0))

simplify24.6s

Counts

29 → 29

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	6	7
1	9	7
2	10	7
done	10	7
0	5	6
1	11	6
2	18	6
3	23	6
4	27	6
done	27	6
0	5	6
1	10	6
2	22	6
3	45	6
4	84	6
5	179	6
6	398	6
7	1211	6
8	4686	6
done	5000	6
0	8	17
1	17	17
2	59	9
3	203	9
4	672	7
5	2518	7
done	5000	7
0	6	13
1	9	13
2	15	13
3	20	13
4	24	13
done	24	13
0	5	6
1	8	6
2	14	6
3	19	6
4	23	6
done	23	6
0	6	17
1	19	17
2	69	7
3	218	7
4	663	7
5	2378	7
done	5000	7
0	5	6
1	8	6
2	14	6
3	19	6
4	23	6
done	23	6
0	5	6
1	8	6
2	14	6
3	19	6
4	23	6
done	23	6
0	6	7
1	9	7
2	10	7
done	10	7
0	6	7
1	9	7
2	10	7
done	10	7
0	2	3
done	2	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	2	3
done	2	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	2	3
done	2	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	2	3
done	2	3
0	4	4
1	7	4
2	10	4
3	11	4
done	11	4
0	6	11
1	11	11
2	14	11
done	14	11
0	5	6
1	8	6
2	9	6
done	9	6
0	3	3
1	6	1
done	6	1
0	6	7
1	14	7
2	15	7
done	15	7
0	3	3
1	6	1
done	6	1
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	5	6
1	8	6
2	15	6
3	20	6
4	24	6
done	24	6
0	4	5
1	7	5
2	13	5
3	18	5
4	22	5
done	22	5
0	7	9
1	23	9
2	51	9
3	127	9
4	308	9
5	996	9
6	4626	9
done	5000	9
0	6	9
1	12	9
2	29	9
3	69	9
4	143	9
5	238	9
6	436	9
7	1135	9
done	5001	9
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5

prune37.0ms

Filtered

20 candidates to 29 candidates (-45.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	28	1	29
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	2	30

Merged error: 0b

Counts

30 → 2

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ (* x x) (* x (neg 1.0)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
2×	`distribute-rgt-neg-out`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `unsub-neg` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 14

Calls

1 calls:

4.0ms

(+ (* x x) (* x (neg 1.0)))

series6.0ms

Counts

1 → 3

Calls

1 calls:

6.0ms

(+ (* x x) (* x (neg 1.0)))

simplify31.4s

Counts

17 → 17

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	8	10
1	17	9
2	36	7
3	80	6
4	201	6
5	755	6
6	3885	6
done	5000	6
0	7	9
1	13	7
2	23	6
3	25	6
done	25	6
0	7	9
1	16	7
2	33	6
3	61	6
4	125	6
5	411	6
6	1607	6
done	5000	6
0	8	19
1	14	15
2	21	13
3	22	13
done	22	13
0	7	9
1	13	7
2	20	6
3	21	6
done	21	6
0	8	26
1	27	20
2	112	7
3	487	7
4	1713	7
done	5001	7
0	7	9
1	13	7
2	20	6
3	21	6
done	21	6
0	7	9
1	13	7
2	20	6
3	21	6
done	21	6
0	9	12
1	30	12
2	98	10
3	327	9
4	928	9
5	2586	9
done	5001	9
0	10	26
1	34	21
2	118	17
3	327	14
4	638	13
5	957	13
6	1652	13
7	3961	13
done	5000	13
0	8	17
1	26	17
2	89	11
3	242	11
4	422	11
5	740	11
6	1667	11
7	4507	11
done	5000	11
0	6	8
1	13	6
2	24	6
3	39	5
4	44	5
done	44	5
0	4	4
1	6	3
done	6	3
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5
0	6	7
1	14	7
2	31	5
3	38	5
4	45	5
5	55	5
6	77	5
7	136	5
8	341	5
9	1274	5
done	5000	5

prune20.0ms

Filtered

12 candidates to 17 candidates (-41.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Merged error: 0b

Counts

19 → 2

regimes55.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify3.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	10	8
2	13	8
3	14	8
done	14	8

end0.0ms

sample393.0ms

Algorithm

intervals

Results

197.0ms

10680×

body

valid

Details

sample20.0ms

simplify9.0ms

prune2.0ms

localize3.0ms

rewrite8.0ms

series5.0ms

simplify24.6s

prune37.0ms

localize5.0ms

rewrite5.0ms

series6.0ms

simplify31.4s

prune20.0ms

regimes55.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample393.0ms

Profiling