Details

sample108.0ms

Algorithm

intervals

Results

33.0ms	611×	body	80	valid
22.0ms	599×	body	80	nan

simplify4.6s

Counts

1 → 1

Iterations

Useful iterations: 3 (9.0ms)

Iter	Nodes	Cost
0	8	9
1	17	9
2	32	9
3	58	8
4	92	8
5	169	8
6	482	8
7	1363	8
8	4155	8
done	5001	8

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(exp (- (+ x (* y (log y))) z))
0.0b	(+ x (* y (log y)))
0.3b	(* y (log y))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`log-prod` `*-un-lft-identity`
11×	`add-log-exp`
10×	`add-cube-cbrt`
6×	`pow1` `distribute-rgt-in` `associate-+r+` `distribute-lft-in`
5×	`add-exp-log` `exp-prod` `add-cbrt-cube`
4×	`associate-r`
3×	`associate-l` `exp-sum` `rem-exp-log`
2×	`diff-log` `sum-log`
1×	`+-commutative` `sub-neg` `flip3-+` `exp-diff` `pow-prod-down` `prod-exp` `associate--l+` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 61

Calls

3 calls:

7.0ms	(exp (- (+ x (* y (log y))) z))
4.0ms	(+ x (* y (log y)))
5.0ms	(* y (log y))

series46.0ms

Counts

3 → 9

Calls

3 calls:

15.0ms	(exp (- (+ x (* y (log y))) z))
11.0ms	(+ x (* y (log y)))
19.0ms	(* y (log y))

simplify1.5min

Counts

70 → 70

Iterations

Useful iterations: done (2.0ms)

Iter	Nodes	Cost
0	3	4
1	4	4
done	4	4
0	4	6
1	5	6
done	5	6
0	4	5
1	7	5
2	8	5
done	8	5
0	4	5
1	7	5
2	14	3
3	24	3
4	47	3
5	103	3
6	242	3
7	701	3
8	2681	3
done	5000	3
0	7	14
1	14	14
2	39	8
3	76	8
4	134	6
5	258	6
6	662	6
7	2440	6
done	5000	6
0	5	11
1	6	11
done	6	11
0	4	5
1	5	5
done	5	5
0	5	14
1	16	14
2	45	6
3	91	6
4	107	6
5	153	6
6	293	6
7	755	6
8	2745	6
done	5001	6
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	5	6
1	6	6
done	6	6
0	5	6
1	6	6
done	6	6
0	5	8
1	8	8
2	14	7
3	20	7
4	24	7
done	24	7
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	4	4
1	7	3
done	7	1
0	3	4
1	4	4
done	4	4
0	5	8
1	8	8
2	14	7
3	20	7
4	24	7
done	24	7
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	4	4
1	7	3
done	7	1
0	3	4
1	4	4
done	4	4
0	3	3
1	6	1
done	6	1
0	5	9
1	8	9
2	10	9
done	10	9
0	4	5
1	5	5
done	5	5
0	3	3
1	6	1
done	6	1
0	4	5
1	5	5
done	5	5
0	4	5
1	5	5
done	5	5
0	3	4
1	4	4
done	4	4
0	7	8
1	13	7
2	21	6
3	35	6
4	70	6
5	161	6
6	419	6
7	1295	6
8	4996	6
done	5000	6
0	6	7
1	8	7
done	8	7
0	6	7
1	11	7
2	17	6
3	26	6
4	44	6
5	96	6
6	223	6
7	599	6
8	1978	6
done	5000	6
0	7	15
1	9	15
done	9	15
0	6	7
1	8	7
done	8	7
0	7	20
1	22	20
2	70	8
3	219	8
4	609	8
5	1529	8
6	3287	8
done	5000	8
0	6	7
1	8	7
done	8	7
0	6	7
1	8	7
done	8	7
0	8	10
1	26	10
2	64	10
3	149	10
4	272	10
5	705	10
6	2684	10
done	5001	10
0	9	20
1	27	15
2	69	15
3	121	15
4	155	15
5	176	15
6	197	15
7	250	15
8	397	15
9	660	15
10	715	15
done	715	15
0	7	13
1	20	13
2	50	13
3	109	13
4	159	13
5	260	13
6	370	13
7	612	13
8	2075	13
done	5000	13
0	5	6
1	8	6
2	15	6
done	15	6
0	7	10
1	11	10
2	17	9
3	27	9
4	31	9
done	31	9
0	6	7
1	8	7
done	8	7
0	6	6
1	10	5
done	10	3
0	7	10
1	11	10
2	17	9
3	27	9
4	31	9
done	31	9
0	6	7
1	8	7
done	8	7
0	6	6
1	10	5
done	10	3
0	10	20
1	18	20
2	29	20
3	40	20
4	64	20
5	113	20
6	243	20
7	639	20
8	2352	20
done	5000	20
0	9	10
1	15	10
2	22	10
3	28	10
4	34	10
5	43	10
6	62	10
7	83	10
8	106	10
9	120	10
10	133	10
11	137	10
12	140	10
done	140	10
0	2	2
1	5	1
done	5	1
0	10	11
1	16	11
2	17	11
done	17	11
0	2	2
1	5	1
done	5	1
0	6	7
1	11	7
2	17	6
3	26	6
4	44	6
5	96	6
6	223	6
7	599	6
8	1978	6
done	5000	6
0	3	3
1	6	3
2	8	3
done	8	3
0	2	2
done	2	2
0	6	7
1	12	7
2	20	6
3	32	6
4	60	6
5	138	6
6	432	6
7	1168	6
8	3730	6
done	5000	6
0	6	7
1	11	7
2	17	6
3	26	6
4	44	6
5	96	6
6	223	6
7	599	6
8	1978	6
done	5000	6
0	3	3
1	6	3
2	8	3
done	8	3
0	6	7
1	11	7
2	17	6
3	26	6
4	44	6
5	96	6
6	223	6
7	599	6
8	1978	6
done	5000	6
0	2	2
done	2	2
0	9	10
1	18	8
2	36	8
3	72	8
4	138	8
5	236	8
6	673	8
7	2120	8
done	5001	8
0	9	10
1	18	10
2	33	10
3	63	9
4	111	9
5	228	9
6	742	9
7	2486	9
done	5000	9
0	10	21
1	19	21
2	34	21
3	60	19
4	94	19
5	171	19
6	486	19
7	1368	19
8	4185	19
done	5000	19
0	9	10
1	18	10
2	33	10
3	59	9
4	93	9
5	170	9
6	481	9
7	1369	9
8	4154	9
done	5001	9
0	10	29
1	22	28
2	64	11
3	303	10
4	1510	10
done	5000	10
0	9	10
1	18	10
2	33	10
3	59	9
4	93	9
5	170	9
6	481	9
7	1369	9
8	4154	9
done	5001	9
0	9	10
1	18	10
2	33	10
3	59	9
4	93	9
5	170	9
6	481	9
7	1369	9
8	4154	9
done	5001	9
0	6	7
1	16	6
2	17	4
3	22	4
done	22	4
0	7	9
1	15	7
2	25	4
3	44	4
4	52	4
5	69	4
6	104	4
done	104	4
0	7	9
1	12	9
2	23	9
3	42	6
4	66	4
5	186	4
6	967	4
7	2267	4
done	5000	4
0	9	11
1	19	8
2	27	6
3	40	6
done	40	6
0	10	13
1	22	11
2	42	9
3	68	6
4	104	6
5	139	6
6	172	6
7	173	6
done	173	6
0	10	13
1	19	13
2	36	11
3	61	11
4	119	8
5	215	6
6	663	6
7	3989	6
done	5000	6
0	10	13
1	21	12
2	43	8
3	89	8
4	90	8
done	90	8
0	8	9
1	17	9
2	32	9
3	58	8
4	92	8
5	169	8
6	482	8
7	1363	8
8	4155	8
done	5001	8
0	8	9
1	17	9
2	32	9
3	58	8
4	92	8
5	169	8
6	482	8
7	1363	8
8	4155	8
done	5001	8

prune80.0ms

Filtered

54 candidates to 70 candidates (-29.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	70	0	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	70	1	71

Merged error: 0b

Counts

71 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	9
1	10	9
done	10	9

end0.0ms

sample3.2s

Algorithm

intervals

Results

887.0ms	19116×	body	80	valid
717.0ms	19409×	body	80	nan

Details

sample108.0ms

simplify4.6s

prune9.0ms

localize8.0ms

rewrite18.0ms

series46.0ms

simplify1.5min

prune80.0ms

simplify1.0ms

end0.0ms

sample3.2s

Profiling