Details

sample23.0ms

Algorithm

intervals

Results

8.0ms

300×

body

valid

simplify35.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	13	7
2	30	7
3	57	7
4	61	7
done	61	7

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

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b	(- x (* (* y 4.0) z))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

3×	`add-log-exp`
1×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `sub-neg` `flip3--` `*-un-lft-identity` `diff-log` `add-cbrt-cube` `flip--`

Counts

1 → 12

Calls

1 calls:

3.0ms

(- x (* (* y 4.0) z))

series9.0ms

Counts

1 → 3

Calls

1 calls:

9.0ms

(- x (* (* y 4.0) z))

simplify20.5s

Counts

15 → 15

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	9
1	17	8
2	36	8
3	81	8
4	190	8
5	429	8
6	1162	8
7	3758	8
done	5000	8
0	8	8
1	14	8
2	31	8
3	58	8
4	60	8
done	60	8
0	8	8
1	17	8
2	42	8
3	99	8
4	189	8
5	463	8
6	1347	8
7	4897	8
done	5000	8
0	9	17
1	15	17
2	32	17
3	59	17
4	61	17
done	61	17
0	8	8
1	14	8
2	31	8
3	58	8
4	60	8
done	60	8
0	9	23
1	16	23
2	47	9
3	165	9
4	872	9
5	4321	9
done	5000	9
0	8	8
1	14	8
2	31	8
3	58	8
4	60	8
done	60	8
0	8	8
1	14	8
2	31	8
3	58	8
4	60	8
done	60	8
0	10	11
1	32	11
2	110	11
3	573	11
4	3049	11
done	5000	11
0	11	23
1	31	17
2	107	17
3	302	17
4	406	17
done	406	17
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	9	15
1	25	15
2	89	15
3	361	15
4	957	15
5	1311	15
6	1537	15
7	1951	15
8	3853	15
done	5001	15
0	7	7
1	12	7
2	18	7
3	20	7
done	20	7
0	6	6
1	14	6
2	35	6
3	53	6
done	53	6
0	1	1
done	1	1
0	7	7
1	13	7
2	30	7
3	57	7
4	61	7
done	61	7
0	7	7
1	13	7
2	30	7
3	57	7
4	61	7
done	61	7

prune22.0ms

Filtered

12 candidates to 15 candidates (-25.0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	15	0	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	1	16

Merged error: 0.0b

Counts

16 → 1

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	9	7
done	9	7

end0.0ms

sample654.0ms

Algorithm

intervals

Results

258.0ms

9141×

body

valid

Details

sample23.0ms

simplify35.0ms

prune3.0ms

localize6.0ms

rewrite3.0ms

series9.0ms

simplify20.5s

prune22.0ms

simplify1.0ms

end0.0ms

sample654.0ms

Profiling