Details

sample46.0ms

Algorithm

intervals

Results

15.0ms	241×	body	80	nan
12.0ms	270×	body	80	valid

simplify7.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	163
1	13	163
2	23	163
3	40	163
4	55	163
5	67	163
6	74	163
7	87	163
8	108	163
9	156	163
10	242	163
11	329	163
12	390	163
13	456	163
14	522	163
15	588	163
16	652	163
17	717	163
18	780	163
19	844	163
20	908	163
21	973	163
22	1036	163
23	1100	163
24	1164	163
25	1229	163
26	1292	163
27	1356	163
28	1420	163
29	1485	163
30	1548	163
31	1612	163
32	1676	163
33	1741	163
34	1804	163
35	1868	163
36	1932	163
37	1997	163
38	2060	163
39	2124	163
40	2188	163
41	2253	163
42	2316	163
43	2380	163
44	2444	163
45	2509	163
46	2572	163
47	2636	163
48	2700	163
49	2765	163
50	2828	163
51	2892	163
52	2956	163
53	3021	163
54	3084	163
55	3148	163
56	3212	163
57	3277	163
58	3340	163
59	3404	163
60	3468	163
61	3533	163
62	3596	163
63	3660	163
64	3724	163
65	3789	163
66	3852	163
67	3916	163
68	3980	163
69	4045	163
70	4108	163
71	4172	163
72	4236	163
73	4301	163
74	4364	163
75	4428	163
76	4492	163
77	4557	163
78	4620	163
79	4684	163
80	4748	163
81	4813	163
82	4876	163
83	4940	163
done	5000	163

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (- 1.0 x) (* y (sqrt x)))
0.2b	(* y (sqrt x))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`add-log-exp`
6×	`associate-r`
5×	`*-un-lft-identity` `add-cube-cbrt`
4×	`pow1` `add-cbrt-cube` `add-exp-log` `sqrt-prod`
3×	`associate-l`
2×	`associate-+l+` `sum-log` `unswap-sqr`
1×	`+-commutative` `sub-neg` `flip3-+` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `associate-+l-` `cbrt-unprod` `flip-+`

Counts

2 → 37

Calls

2 calls:

26.0ms	(+ (- 1.0 x) (* y (sqrt x)))
11.0ms	(* y (sqrt x))

series115.0ms

Counts

2 → 6

Calls

2 calls:

69.0ms	(+ (- 1.0 x) (* y (sqrt x)))
46.0ms	(* y (sqrt x))

simplify2.8s

Counts

43 → 43

Iterations

Useful iterations: 3 (1.1s)

Iter	Nodes	Cost
0	95	10425
1	248	8478
2	778	8198
3	2702	8038
done	5000	8038

prune225.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt x))
0.1b	(sqrt (sqrt x))
0.3b	(* y (sqrt (sqrt x)))
0.3b	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

41×	`sqrt-prod`
25×	`add-sqr-sqrt`
18×	`associate-r`
15×	`pow1` `*-un-lft-identity` `add-cube-cbrt`
11×	`add-cbrt-cube` `add-exp-log`
8×	`sqrt-pow1`
4×	`rem-sqrt-square` `pow1/2` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`unswap-sqr`
2×	`*-commutative`

Counts

4 → 88

Calls

4 calls:

2.0ms	(sqrt (sqrt x))
2.0ms	(sqrt (sqrt x))
10.0ms	(* y (sqrt (sqrt x)))
54.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

series542.0ms

Counts

4 → 12

Calls

4 calls:

186.0ms	(sqrt (sqrt x))
182.0ms	(sqrt (sqrt x))
102.0ms	(* y (sqrt (sqrt x)))
71.0ms	(* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))

simplify407.0ms

Iterations

Useful iterations: 1 (121.0ms)

Iter	Nodes	Cost
0	132	22778
1	354	17966