Details

sample43.0ms

Algorithm

intervals

Results

16.0ms	270×	body	80	valid
9.0ms	241×	body	80	nan

simplify6.8s

Counts

1 → 1

Iterations

Useful iterations: 2 (4.0ms)

Iter	Nodes	Cost
0	7	163
1	13	163
2	25	138
3	43	138
4	64	138
5	91	138
6	146	138
7	206	138
8	246	138
9	340	138
10	483	138
11	593	138
12	667	138
13	736	138
14	817	138
15	903	138
16	976	138
17	1062	138
18	1143	138
19	1229	138
20	1302	138
21	1388	138
22	1469	138
23	1555	138
24	1628	138
25	1714	138
26	1795	138
27	1881	138
28	1954	138
29	2040	138
30	2121	138
31	2207	138
32	2280	138
33	2366	138
34	2447	138
35	2533	138
36	2606	138
37	2692	138
38	2773	138
39	2859	138
40	2936	138
41	3022	138
42	3103	138
43	3189	138
44	3262	138
45	3348	138
46	3429	138
47	3515	138
48	3592	138
49	3678	138
50	3755	138
51	3841	138
52	3918	138
53	4004	138
54	4081	138
55	4167	138
56	4244	138
57	4330	138
58	4407	138
59	4493	138
60	4574	138
61	4660	138
62	4733	138
63	4819	138
64	4900	138
65	4986	138
done	5000	138

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.1b

localize8.0ms

Local error

Found 1 expressions with local error:

0.1b	(fma y (sqrt x) (- 1.0 x))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`add-sqr-sqrt` `expm1-log1p-u` `pow1` `*-un-lft-identity` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

0.0ms

(fma y (sqrt x) (- 1.0 x))

series48.0ms

Counts

1 → 3

Calls

1 calls:

48.0ms

(fma y (sqrt x) (- 1.0 x))

simplify2.2s

Counts

13 → 13

Iterations

Useful iterations: done (2.2s)

Iter	Nodes	Cost
0	26	2516
1	53	2396
2	115	2396
3	284	2396
4	1204	2396
done	5004	2321

prune100.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0.1b

localize25.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))
0.4b	(cbrt (fma y (sqrt x) (- 1.0 x)))
0.4b	(cbrt (fma y (sqrt x) (- 1.0 x)))
0.4b	(cbrt (fma y (sqrt x) (- 1.0 x)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`pow1/3`
6×	`swap-sqr` `associate-r` `associate-l` `add-exp-log`
4×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 81

Calls

4 calls:

12.0ms	(* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))
1.0ms	(cbrt (fma y (sqrt x) (- 1.0 x)))
1.0ms	(cbrt (fma y (sqrt x) (- 1.0 x)))
1.0ms	(cbrt (fma y (sqrt x) (- 1.0 x)))

series995.0ms

Counts

4 → 12

Calls

4 calls:

241.0ms	(* (cbrt (fma y (sqrt x) (- 1.0 x))) (cbrt (fma y (sqrt x) (- 1.0 x))))
264.0ms	(cbrt (fma y (sqrt x) (- 1.0 x)))
231.0ms	(cbrt (fma y (sqrt x) (- 1.0 x)))
258.0ms	(cbrt (fma y (sqrt x) (- 1.0 x)))

simplify174.0ms

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	121	33731