Details

sample33.0ms

Algorithm

intervals

Results

19.0ms

256×

body

valid

simplify7.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	12
1	15	12
2	22	12
done	22	12

prune3.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: 4.2b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
0.0b	(* 1.1283791670955126 (exp z))
1.2b	(- (* 1.1283791670955126 (exp z)) (* x y))
7.2b	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `*-un-lft-identity`
14×	`add-cube-cbrt`
9×	`times-frac`
8×	`add-cbrt-cube` `add-log-exp`
7×	`add-exp-log`
6×	`pow1`
3×	`associate-r` `associate-l` `associate-/r` `associate-/l`
2×	`flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

4 → 71

Calls

4 calls:

10.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
6.0ms	(* 1.1283791670955126 (exp z))
5.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
7.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

series61.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
3.0ms	(* 1.1283791670955126 (exp z))
19.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
25.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

simplify1.2min

Counts

83 → 83

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	11	12
1	17	12
2	25	12
done	25	12
0	10	11
1	17	11
2	26	11
3	27	11
done	27	11
0	10	11
1	14	11
2	21	11
done	21	11
0	13	32
1	26	32
2	77	14
3	233	12
4	736	12
5	2682	12
done	5001	12
0	11	23
1	15	23
2	22	23
done	22	23
0	10	11
1	14	11
2	21	11
done	21	11
0	11	32
1	22	32
2	45	12
3	89	12
4	201	12
5	570	12
6	2034	12
done	5000	12
0	10	11
1	14	11
2	21	11
done	21	11
0	10	11
1	14	11
2	21	11
done	21	11
0	2	2
done	2	2
0	9	9
1	13	9
2	23	9
3	39	9
4	50	8
done	50	8
0	13	25
1	23	25
2	39	25
3	45	25
done	45	25
0	11	12
1	15	12
2	22	12
done	22	12
0	12	15
1	18	15
2	27	15
3	28	15
done	28	15
0	11	12
1	15	12
2	22	12
done	22	12
0	5	7
1	9	5
2	15	5
3	20	5
done	20	5
0	10	11
1	14	11
2	21	11
done	21	11
0	12	22
1	18	22
2	25	22
done	25	22
0	11	12
1	15	12
2	22	12
done	22	12
0	11	12
1	15	12
2	22	12
done	22	12
0	11	12
1	15	12
2	22	12
done	22	12
0	4	4
1	6	2
2	8	2
done	8	2
0	10	11
1	14	11
2	21	11
done	21	11
0	12	21
1	20	21
2	27	21
done	27	21
0	10	11
1	14	11
2	21	11
done	21	11
0	11	11
1	17	11
2	24	11
done	24	11
0	10	11
1	14	11
2	21	11
done	21	11
0	2	3
1	4	1
done	4	1
0	9	10
1	13	10
2	20	10
done	20	10
0	10	10
1	16	10
2	23	10
done	23	10
0	9	10
1	16	10
2	33	10
3	45	10
4	64	8
5	140	8
6	577	8
7	2309	8
done	5000	8
0	11	21
1	17	21
2	24	21
done	24	21
0	10	11
1	14	11
2	21	11
done	21	11
0	3	3
1	5	1
done	5	1
0	10	11
1	17	11
2	34	11
3	46	11
4	64	11
5	70	11
done	70	11
0	10	11
1	17	11
2	34	11
3	46	11
4	64	11
5	70	11
done	70	11
0	9	10
1	16	10
2	33	10
3	45	10
4	64	8
5	140	8
6	577	8
7	2309	8
done	5000	8
0	12	14
1	35	14
2	119	14
3	397	14
4	923	14
5	2388	14
done	5001	14
0	11	19
1	32	19
2	77	18
3	141	18
4	209	18
5	344	18
6	555	18
7	986	18
8	3000	18
done	5000	18
0	10	10
1	18	9
2	31	9
3	62	9
4	161	9
5	607	9
6	3919	9
done	5000	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	16	9
2	33	9
3	55	9
4	121	9
5	455	9
6	2440	9
done	5000	9
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	36	10
3	127	10
4	510	10
5	1916	10
done	5000	10
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	11	12
1	34	12
2	118	12
3	391	12
4	913	12
5	2390	12
done	5001	12
0	12	26
1	39	22
2	98	21
3	143	21
4	160	21
5	166	21
6	185	21
7	241	21
8	410	21
9	943	21
10	2725	21
done	5001	21
0	4	4
1	9	4
2	11	4
done	11	4
0	10	17
1	31	17
2	74	16
3	135	16
4	203	16
5	338	16
6	543	16
7	976	16
8	3005	16
done	5000	16
0	8	8
1	11	8
done	11	8
0	4	4
1	9	4
2	11	4
done	11	4
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	9	5
2	10	4
done	10	4
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2699	5
done	5001	5
0	8	14
1	17	13
2	48	8
3	91	8
4	156	6
5	332	6
6	1071	6
7	4565	6
done	5000	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	48	6
3	92	6
4	115	6
5	168	6
6	355	6
7	1104	6
8	4616	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	12	14
1	19	13
2	27	13
done	27	13
0	11	13
1	16	13
2	23	13
done	23	13
0	11	13
1	19	13
2	27	13
done	27	13
0	12	27
1	17	27
2	24	27
done	24	27
0	11	13
1	16	13
2	23	13
done	23	13
0	12	38
1	30	38
2	77	14
3	182	14
4	456	14
5	1286	14
6	3009	14
done	5001	14
0	11	13
1	16	13
2	23	13
done	23	13
0	11	13
1	16	13
2	23	13
done	23	13
0	13	16
1	34	16
2	68	16
3	149	16
4	428	16
5	1478	16
done	5000	16
0	14	38
1	31	27
2	64	27
3	106	27
4	199	27
5	407	27
6	906	25
7	2814	25
done	5000	25
0	12	25
1	25	25
2	47	25
3	86	25
4	178	25
5	387	25
6	942	23
7	2899	23
done	5000	23
0	10	12
1	16	12
2	25	12
done	25	12
0	10	12
1	15	12
2	22	12
done	22	12
0	13	17
1	32	17
2	85	15
3	151	13
4	216	11
5	304	11
6	523	11
7	907	11
8	1312	11
9	2710	11
done	5000	11
0	14	15
1	30	15
2	78	15
3	229	14
4	843	14
5	2718	14
done	5001	14
0	14	15
1	30	15
2	78	15
3	229	14
4	843	14
5	2718	14
done	5001	14
0	9	11
1	20	11
2	44	11
3	53	11
4	69	9
5	87	9
6	109	9
7	171	9
8	383	9
9	1329	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	9	11
1	20	11
2	44	11
3	53	11
4	69	9
5	87	9
6	109	9
7	171	9
8	383	9
9	1329	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	9	11
1	19	11
2	44	9
3	79	9
4	96	9
5	114	9
6	156	9
7	202	9
8	347	9
9	730	9
10	1434	9
11	1487	9
done	1487	9
0	4	5
1	8	5
2	12	5
done	12	5
0	4	5
1	8	5
2	12	5
done	12	5

prune123.0ms

Filtered

65 candidates to 83 candidates (-27.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	81	2	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	81	3	84

Merged error: 0b

Counts

84 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (* 1.1283791670955126 (exp z)) y) x)
0.0b	(/ (* 1.1283791670955126 (exp z)) y)
0.0b	(* 1.1283791670955126 (exp z))
0.0b	(/ 1 (- (/ (* 1.1283791670955126 (exp z)) y) x))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
28×	`*-un-lft-identity`
18×	`add-cube-cbrt` `times-frac`
13×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/r*`
7×	`pow1`
6×	`add-log-exp`
5×	`distribute-lft-out--` `difference-of-squares`
4×	`div-exp` `associate-/l*`
3×	`cbrt-undiv` `associate-r` `associate-l`
2×	`flip3--` `frac-2neg` `prod-exp` `clear-num` `associate-/r/` `flip--` `cbrt-unprod` `div-inv`
1×	`sub-neg` `rec-exp` `pow-flip` `diff-log` `1-exp` `pow-prod-down` `*-commutative` `inv-pow` `unswap-sqr`

Counts

4 → 94

Calls

4 calls:

8.0ms	(- (/ (* 1.1283791670955126 (exp z)) y) x)
6.0ms	(/ (* 1.1283791670955126 (exp z)) y)
6.0ms	(* 1.1283791670955126 (exp z))
10.0ms	(/ 1 (- (/ (* 1.1283791670955126 (exp z)) y) x))

series43.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(- (/ (* 1.1283791670955126 (exp z)) y) x)
6.0ms	(/ (* 1.1283791670955126 (exp z)) y)
3.0ms	(* 1.1283791670955126 (exp z))
21.0ms	(/ 1 (- (/ (* 1.1283791670955126 (exp z)) y) x))

simplify1.5min

Counts

106 → 106

Iterations

Useful iterations: 1 (1.0ms)

Iter	Nodes	Cost
0	2	2
1	5	1
done	5	1
0	10	10
1	15	10
2	20	10
3	23	10
4	24	10
done	24	10
0	11	11
1	18	10
2	27	10
3	32	10
4	39	10
5	44	10
done	44	10
0	12	12
1	21	11
2	27	10
3	36	10
4	43	10
5	48	10
done	48	10
0	11	11
1	22	10
2	28	10
3	35	10
4	38	10
5	44	10
6	49	10
done	49	10
0	11	11
1	18	11
2	23	11
3	26	11
4	27	11
done	27	11
0	14	32
1	29	28
2	58	12
3	155	12
4	559	12
5	2192	12
done	5000	12
0	12	23
1	19	23
2	24	23
3	27	23
4	28	23
done	28	23
0	11	11
1	18	11
2	23	11
3	26	11
4	27	11
done	27	11
0	12	32
1	26	32
2	47	12
3	93	12
4	169	12
5	459	12
6	1113	12
7	2686	12
done	5000	12
0	11	11
1	18	11
2	23	11
3	26	11
4	27	11
done	27	11
0	11	11
1	18	11
2	23	11
3	26	11
4	27	11
done	27	11
0	2	2
1	5	1
done	5	1
0	9	9
1	14	9
2	22	9
3	36	9
4	52	8
5	59	8
done	59	8
0	14	25
1	27	23
2	41	21
3	50	21
4	51	21
done	51	21
0	12	12
1	19	11
2	24	11
3	27	11
4	28	11
done	28	11
0	13	15
1	22	13
2	29	11
3	33	11
4	34	11
done	34	11
0	12	12
1	19	11
2	24	11
3	27	11
4	28	11
done	28	11
0	4	7
1	8	3
2	12	1
done	12	1
0	11	11
1	18	10
2	23	10
3	26	10
4	27	10
done	27	10
0	14	16
1	22	14
2	28	12
3	32	12
4	33	12
done	33	12
0	13	13
1	20	12
2	25	12
3	28	12
4	29	12
done	29	12
0	4	7
1	8	3
2	12	1
done	12	1
0	11	11
1	18	10
2	23	10
3	26	10
4	27	10
done	27	10
0	13	22
1	22	21
2	27	21
3	30	21
4	31	21
done	31	21
0	12	12
1	19	11
2	24	11
3	27	11
4	28	11
done	28	11
0	12	12
1	19	11
2	24	11
3	27	11
4	28	11
done	28	11
0	12	12
1	19	11
2	24	11
3	27	11
4	28	11
done	28	11
0	3	4
1	5	1
done	5	1
0	11	11
1	18	10
2	23	10
3	26	10
4	27	10
done	27	10
0	13	13
1	19	12
2	23	12
3	26	12
4	27	12
done	27	12
0	13	13
1	20	12
2	25	12
3	28	12
4	29	12
done	29	12
0	3	4
1	5	1
done	5	1
0	11	11
1	18	10
2	23	10
3	26	10
4	27	10
done	27	10
0	12	21
1	21	21
2	26	21
3	29	21
4	30	21
done	30	21
0	11	11
1	18	11
2	23	11
3	26	11
4	27	11
done	27	11
0	11	11
1	18	11
2	23	11
3	26	11
4	27	11
done	27	11
0	11	11
1	18	11
2	23	11
3	26	11
4	27	11
done	27	11
0	2	3
1	4	1
done	4	1
0	10	10
1	17	10
2	22	10
3	25	10
4	26	10
done	26	10
0	12	12
1	18	12
2	22	12
3	25	12
4	26	12
done	26	12
0	12	12
1	19	12
2	24	12
3	27	12
4	28	12
done	28	12
0	2	3
1	4	1
done	4	1
0	10	10
1	17	10
2	22	10
3	25	10
4	26	10
done	26	10
0	10	10
1	17	10
2	22	10
3	25	10
4	26	10
done	26	10
0	10	10
1	20	8
2	33	8
3	57	8
4	89	8
5	116	8
6	130	8
done	130	8
0	12	21
1	21	21
2	26	21
3	29	21
4	30	21
done	30	21
0	11	11
1	18	11
2	23	11
3	26	11
4	27	11
done	27	11
0	2	3
1	4	1
done	4	1
0	12	12
1	18	12
2	22	12
3	25	12
4	26	12
done	26	12
0	2	3
1	4	1
done	4	1
0	11	11
1	21	10
2	32	10
3	54	8
4	93	8
5	122	8
6	136	8
done	136	8
0	11	11
1	21	10
2	32	10
3	54	8
4	93	8
5	122	8
6	136	8
done	136	8
0	10	10
1	20	8
2	33	8
3	57	8
4	89	8
5	116	8
6	130	8
done	130	8
0	13	14
1	36	14
2	94	14
3	299	14
4	1288	14
done	5000	14
0	12	19
1	26	19
2	59	19
3	153	19
4	389	18
5	690	18
6	910	18
7	1275	18
8	3141	18
done	5000	18
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	9	5
2	10	4
done	10	4
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2699	5
done	5001	5
0	8	14
1	17	13
2	48	8
3	91	8
4	156	6
5	332	6
6	1071	6
7	4565	6
done	5000	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	48	6
3	92	6
4	115	6
5	168	6
6	355	6
7	1104	6
8	4616	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	7	7
1	12	7
2	19	7
3	25	7
4	31	7
5	40	7
6	53	7
7	71	7
8	87	7
9	95	7
10	110	7
11	112	7
done	112	7
0	8	8
1	14	8
2	20	7
3	29	7
4	32	7
5	38	7
6	47	7
7	60	7
8	78	7
9	94	7
10	102	7
11	117	7
12	119	7
done	119	7
0	7	7
1	13	7
2	25	7
3	44	6
4	60	6
5	68	6
6	80	6
7	93	6
8	106	6
9	120	6
10	133	6
11	137	6
done	137	6
0	7	7
1	10	7
2	14	7
3	19	7
4	28	7
5	41	7
6	74	7
7	157	7
8	373	7
9	1024	7
10	4619	7
done	5000	7
0	12	20
1	29	19
2	131	12
3	568	12
4	2286	10
done	5000	10
0	10	20
1	29	20
2	132	10
3	694	8
4	2630	8
5	4894	8
done	5000	8
0	8	15
1	11	15
2	15	15
3	18	15
4	19	15
done	19	15
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	8	20
1	18	20
2	59	8
3	238	8
4	1001	8
5	2957	8
done	5000	8
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	5	5
1	10	5
2	12	5
done	12	5
0	2	2
done	2	2
0	5	7
1	7	7
done	7	7
0	5	5
done	5	5
0	4	4
done	4	4
0	5	5
done	5	5
0	3	3
1	5	1
done	5	1
0	4	4
done	4	4
0	3	3
1	5	3
done	5	3
0	6	6
1	9	6
2	11	6
done	11	6
0	8	10
1	16	10
2	30	10
3	43	10
4	47	10
done	47	10
0	7	7
1	10	7
2	14	7
3	17	7
4	18	7
done	18	7
0	6	6
1	11	4
2	21	4
3	30	4
4	35	4
done	35	4
0	4	4
done	4	4
0	10	10
1	15	9
2	21	9
3	29	9
4	41	9
5	66	9
6	143	9
7	456	9
8	1189	9
9	3395	9
done	5000	9
0	9	9
1	14	9
2	19	9
3	22	9
4	23	9
done	23	9
0	9	9
1	17	9
2	24	9
3	32	9
4	47	9
5	74	9
6	198	9
7	493	9
8	1236	9
9	3316	9
done	5001	9
0	10	19
1	15	19
2	20	19
3	23	19
4	24	19
done	24	19
0	9	9
1	14	9
2	19	9
3	22	9
4	23	9
done	23	9
0	10	26
1	16	26
2	35	10
3	111	10
4	436	10
5	1731	10
done	5000	10
0	9	9
1	14	9
2	19	9
3	22	9
4	23	9
done	23	9
0	9	9
1	14	9
2	19	9
3	22	9
4	23	9
done	23	9
0	11	12
1	32	12
2	90	12
3	293	12
4	1300	12
done	5000	12
0	12	26
1	28	24
2	70	24
3	167	19
4	376	19
5	571	19
6	622	19
7	635	19
8	703	19
9	1015	19
10	2048	19
done	5000	19
0	2	2
done	2	2
0	10	17
1	22	17
2	53	17
3	143	17
4	375	16
5	684	16
6	902	16
7	1268	16
8	3172	16
done	5000	16
0	8	8
1	12	8
2	16	8
3	19	8
4	20	8
done	20	8
0	10	10
1	14	10
2	18	10
3	21	10
4	22	10
done	22	10
0	10	10
1	15	10
2	20	10
3	23	10
4	24	10
done	24	10
0	8	8
1	13	8
2	18	8
3	21	8
4	22	8
done	22	8
0	2	2
done	2	2
0	13	17
1	32	17
2	85	15
3	151	13
4	216	11
5	304	11
6	523	11
7	907	11
8	1312	11
9	2710	11
done	5000	11
0	14	15
1	30	15
2	78	15
3	229	14
4	843	14
5	2718	14
done	5001	14
0	14	15
1	30	15
2	78	15
3	229	14
4	843	14
5	2718	14
done	5001	14
0	9	11
1	20	11
2	44	11
3	53	11
4	69	9
5	87	9
6	109	9
7	171	9
8	383	9
9	1329	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	15	19
1	34	19
2	64	17
3	104	17
4	225	15
5	577	15
6	1988	15
done	5000	15
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	6	6
1	9	6
2	12	6
3	16	6
4	17	6
done	17	6
0	15	19
1	34	19
2	64	17
3	104	17
4	225	15
5	577	15
6	1988	15
done	5000	15
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8
0	8	8
1	13	8
2	17	8
3	21	8
4	22	8
done	22	8

prune114.0ms

Filtered

69 candidates to 106 candidates (-53.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	106	3	109

Merged error: 0b

Counts

109 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 1.1283791670955126 (exp z))
0.2b	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
1.2b	(- (* 1.1283791670955126 (exp z)) (* x y))
7.3b	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
22×	`add-cube-cbrt`
20×	`times-frac`
18×	`add-exp-log` `associate-r`
13×	`add-cbrt-cube`
9×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`prod-exp`
4×	`div-exp` `associate-/r/` `unswap-sqr`
3×	`flip3--` `associate-/r` `flip--` `cbrt-unprod` `associate-/l`
2×	`cbrt-undiv` `rec-exp` `1-exp` `pow-prod-down` `*-commutative` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `diff-log` `associate-*r/` `clear-num` `un-div-inv` `inv-pow`

Counts

4 → 101

Calls

4 calls:

6.0ms	(* 1.1283791670955126 (exp z))
8.0ms	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
5.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
12.0ms	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

series63.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(* 1.1283791670955126 (exp z))
19.0ms	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
17.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
24.0ms	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

simplify1.3min

Counts

113 → 113

Iterations

Useful iterations: 3 (7.0ms)

Iter	Nodes	Cost
0	11	12
1	20	12
2	30	10
3	34	10
4	49	10
5	71	10
6	107	10
7	115	10
8	121	10
done	121	10
0	12	13
1	18	12
2	25	12
done	25	12
0	13	14
1	22	13
2	39	12
3	48	12
4	66	12
5	92	12
6	95	12
7	104	12
8	117	12
done	117	12
0	14	15
1	25	14
2	39	12
3	56	12
4	74	12
5	100	12
6	105	12
7	114	12
8	132	12
done	132	12
0	13	14
1	24	13
2	37	12
3	48	12
4	60	12
5	92	12
6	110	12
7	117	12
8	124	12
done	124	12
0	12	13
1	24	13
2	40	11
3	49	11
4	77	11
5	110	11
6	176	11
7	192	11
8	212	11
done	212	11
0	12	13
1	23	13
2	39	11
3	53	11
4	109	11
5	256	11
6	643	11
7	1783	11
done	5001	11
0	17	38
1	37	34
2	102	14
3	372	14
4	1150	14
5	3802	12
done	5000	12
0	15	38
1	34	38
2	90	16
3	229	16
4	571	12
5	1576	12
done	5001	12
0	13	27
1	22	27
2	32	23
3	36	23
4	51	23
5	73	23
6	109	23
7	117	23
8	123	23
done	123	23
0	12	13
1	21	13
2	31	11
3	35	11
4	50	11
5	72	11
6	108	11
7	116	11
8	122	11
done	122	11
0	13	38
1	32	38
2	93	12
3	221	12
4	471	12
5	1161	12
done	5000	12
0	12	13
1	21	13
2	31	11
3	35	11
4	50	11
5	72	11
6	108	11
7	116	11
8	122	11
done	122	11
0	12	13
1	21	13
2	31	11
3	35	11
4	50	11
5	72	11
6	108	11
7	116	11
8	122	11
done	122	11
0	13	14
1	20	14
2	27	14
done	27	14
0	13	14
1	20	14
2	27	14
done	27	14
0	14	15
1	23	14
2	33	14
3	37	12
4	48	12
5	49	12
done	49	12
0	14	15
1	23	14
2	33	14
3	37	12
4	48	12
5	49	12
done	49	12
0	13	14
1	22	14
2	32	12
3	47	12
4	50	12
done	50	12
0	13	14
1	22	14
2	32	12
3	47	12
4	50	12
done	50	12
0	13	25
1	22	25
2	31	25
done	31	25
0	12	13
1	19	13
2	26	13
done	26	13
0	15	27
1	30	25
2	66	23
3	100	21
4	110	21
5	113	21
done	113	21
0	14	17
1	25	15
2	42	13
3	55	11
4	56	11
done	56	11
0	6	9
1	13	5
2	28	3
3	32	1
4	33	1
done	33	1
0	14	24
1	25	23
2	43	23
3	57	21
4	82	21
5	97	21
done	97	21
0	13	14
1	22	13
2	32	13
3	36	11
4	42	11
5	43	11
done	43	11
0	5	6
1	10	3
2	15	1
done	15	1
0	13	23
1	24	23
2	41	21
3	49	21
4	67	21
5	98	21
6	103	21
done	103	21
0	12	13
1	21	13
2	31	11
3	32	11
4	37	11
5	38	11
done	38	11
0	4	5
1	9	3
2	14	1
done	14	1
0	3	3
1	6	1
done	6	1
0	3	3
1	6	1
done	6	1
0	14	16
1	42	16
2	129	14
3	394	14
4	1065	14
5	3441	14
done	5000	14
0	13	21
1	39	21
2	91	18
3	171	18
4	303	18
5	628	18
6	1324	18
7	2391	18
done	5000	18
0	12	13
1	21	13
2	31	11
3	49	11
4	65	11
5	118	11
6	242	11
7	282	11
8	312	11
done	312	11
0	12	13
1	21	13
2	31	11
3	49	11
4	65	11
5	118	11
6	242	11
7	282	11
8	312	11
done	312	11
0	11	12
1	20	12
2	30	10
3	34	10
4	49	10
5	71	10
6	107	10
7	115	10
8	121	10
done	121	10
0	3	3
1	6	1
done	6	1
0	10	10
1	18	9
2	31	9
3	62	9
4	161	9
5	607	9
6	3919	9
done	5000	9
0	9	9
1	13	9
2	20	9
done	20	9
0	9	9
1	16	9
2	33	9
3	55	9
4	121	9
5	455	9
6	2440	9
done	5000	9
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	36	10
3	127	10
4	510	10
5	1916	10
done	5000	10
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	11	12
1	34	12
2	118	12
3	391	12
4	913	12
5	2390	12
done	5001	12
0	12	26
1	39	22
2	98	21
3	143	21
4	160	21
5	166	21
6	185	21
7	241	21
8	410	21
9	943	21
10	2725	21
done	5001	21
0	4	4
1	9	4
2	11	4
done	11	4
0	10	17
1	31	17
2	74	16
3	135	16
4	203	16
5	338	16
6	543	16
7	976	16
8	3005	16
done	5000	16
0	8	8
1	11	8
done	11	8
0	4	4
1	9	4
2	11	4
done	11	4
0	2	2
1	5	1
done	5	1
0	10	10
1	14	10
2	21	10
done	21	10
0	11	11
1	17	10
2	28	10
3	30	10
4	36	10
5	41	10
done	41	10
0	12	12
1	20	11
2	28	10
3	34	10
4	40	10
5	45	10
done	45	10
0	11	11
1	21	10
2	29	10
3	33	10
4	35	10
5	41	10
6	46	10
done	46	10
0	11	11
1	17	11
2	24	11
done	24	11
0	14	32
1	28	28
2	59	12
3	171	12
4	633	12
5	2350	12
done	5000	12
0	12	23
1	18	23
2	25	23
done	25	23
0	11	11
1	17	11
2	24	11
done	24	11
0	12	32
1	25	32
2	48	12
3	91	12
4	160	12
5	410	12
6	1054	12
7	3084	12
done	5000	12
0	11	11
1	17	11
2	24	11
done	24	11
0	11	11
1	17	11
2	24	11
done	24	11
0	2	2
1	5	1
done	5	1
0	9	9
1	13	9
2	23	9
3	39	9
4	50	8
done	50	8
0	14	25
1	26	23
2	42	21
3	48	21
done	48	21
0	12	12
1	18	11
2	25	11
done	25	11
0	13	15
1	21	13
2	30	11
3	31	11
done	31	11
0	12	12
1	18	11
2	25	11
done	25	11
0	4	7
1	8	3
2	12	1
done	12	1
0	11	11
1	17	10
2	24	10
done	24	10
0	13	22
1	21	21
2	28	21
done	28	21
0	12	12
1	18	11
2	25	11
done	25	11
0	12	12
1	18	11
2	25	11
done	25	11
0	12	12
1	18	11
2	25	11
done	25	11
0	3	4
1	5	1
done	5	1
0	11	11
1	17	10
2	24	10
done	24	10
0	12	21
1	20	21
2	27	21
done	27	21
0	11	11
1	17	11
2	24	11
done	24	11
0	11	11
1	17	11
2	24	11
done	24	11
0	11	11
1	17	11
2	24	11
done	24	11
0	2	3
1	4	1
done	4	1
0	10	10
1	16	10
2	23	10
done	23	10
0	10	10
1	16	10
2	23	10
done	23	10
0	10	10
1	19	8
2	38	8
3	59	8
4	95	8
5	103	8
6	109	8
done	109	8
0	12	21
1	20	21
2	27	21
done	27	21
0	11	11
1	17	11
2	24	11
done	24	11
0	2	3
1	4	1
done	4	1
0	11	11
1	20	10
2	37	10
3	51	8
4	71	8
5	92	8
6	114	8
done	114	8
0	11	11
1	20	10
2	37	10
3	51	8
4	71	8
5	92	8
6	114	8
done	114	8
0	10	10
1	19	8
2	38	8
3	59	8
4	95	8
5	103	8
6	109	8
done	109	8
0	13	14
1	38	14
2	122	14
3	386	14
4	932	14
5	2401	14
done	5000	14
0	12	19
1	35	19
2	80	18
3	142	18
4	211	18
5	348	18
6	548	18
7	982	18
8	2939	18
done	5000	18
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4
0	5	5
1	9	5
2	10	4
done	10	4
0	5	5
1	8	5
2	14	5
3	22	5
4	45	5
5	101	5
6	240	5
7	694	5
8	2699	5
done	5001	5
0	8	14
1	17	13
2	48	8
3	91	8
4	156	6
5	332	6
6	1071	6
7	4565	6
done	5000	6
0	6	11
1	7	11
done	7	11
0	5	5
1	6	5
done	6	5
0	6	14
1	17	14
2	48	6
3	92	6
4	115	6
5	168	6
6	355	6
7	1104	6
8	4616	6
done	5001	6
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	6	6
1	7	6
done	7	6
0	6	6
1	7	6
done	7	6
0	6	9
1	9	9
2	11	9
done	11	9
0	5	5
1	6	5
done	6	5
0	3	3
1	6	1
done	6	1
0	5	5
1	6	5
done	6	5
0	5	5
1	6	5
done	6	5
0	4	4
1	5	4
done	5	4
0	13	17
1	32	17
2	85	15
3	151	13
4	216	11
5	304	11
6	523	11
7	907	11
8	1312	11
9	2710	11
done	5000	11
0	14	15
1	30	15
2	78	15
3	229	14
4	843	14
5	2718	14
done	5001	14
0	14	15
1	30	15
2	78	15
3	229	14
4	843	14
5	2718	14
done	5001	14
0	9	11
1	20	11
2	44	11
3	53	11
4	69	9
5	87	9
6	109	9
7	171	9
8	383	9
9	1329	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	9	11
1	21	11
2	50	11
3	63	11
4	85	9
5	129	9
6	210	9
7	336	9
8	567	9
9	1515	9
done	5001	9
0	16	19
1	38	19
2	118	19
3	478	18
4	2616	18
done	5000	18
0	16	19
1	38	19
2	118	19
3	478	18
4	2616	18
done	5000	18
0	9	11
1	20	11
2	44	11
3	53	11
4	69	9
5	87	9
6	109	9
7	171	9
8	383	9
9	1329	9
done	5000	9
0	4	4
1	5	4
done	5	4
0	4	4
1	5	4
done	5	4

prune127.0ms

Filtered

75 candidates to 113 candidates (-50.7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	113	3	116

Merged error: 0b

Counts

116 → 3

regimes280.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	12
1	15	12
done	15	12

end0.0ms

sample718.0ms

Algorithm

intervals

Results

353.0ms

8000×

body

valid

Details

sample33.0ms

simplify7.0ms

prune3.0ms

localize9.0ms

rewrite30.0ms

series61.0ms

simplify1.2min

prune123.0ms

localize10.0ms

rewrite34.0ms

series43.0ms

simplify1.5min

prune114.0ms

localize10.0ms

rewrite34.0ms

series63.0ms

simplify1.3min

prune127.0ms

regimes280.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample718.0ms

Profiling