Details

sample41.0ms

Algorithm

intervals

Results

19.0ms

324×

body

valid

simplify11.7s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	123
1	15	123
2	25	123
3	35	123
4	39	123
5	45	123
6	50	123
7	66	123
8	107	123
9	134	123
10	174	123
11	211	123
12	280	123
13	317	123
14	410	123
15	447	123
16	564	123
17	601	123
18	742	123
19	780	123
20	945	123
21	982	123
22	1171	123
23	1208	123
24	1421	123
25	1459	123
26	1696	123
27	1733	123
28	1994	123
29	2031	123
30	2316	123
31	2353	123
32	2662	123
33	2701	123
34	3034	123
35	3071	123
36	3428	123
37	3466	123
38	3847	123
39	3884	123
40	4289	123
41	4327	123
42	4756	123
43	4795	123
done	5000	123

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 2 expressions with local error:

0.0b	(* y (+ z x))
0.0b	(+ x (* y (+ z x)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-sqr-sqrt` `*-un-lft-identity`
4×	`pow1` `add-cbrt-cube` `associate-r` `add-exp-log` `add-cube-cbrt` `add-log-exp`
3×	`associate-l`
2×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in` `flip3-+` `associate-*r/` `flip-+`
1×	`+-commutative` `sum-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out` `unswap-sqr`

Counts

2 → 36

Calls

2 calls:

29.0ms	(* y (+ z x))
9.0ms	(+ x (* y (+ z x)))

series84.0ms

Counts

2 → 6

Calls

2 calls:

44.0ms	(* y (+ z x))
40.0ms	(+ x (* y (+ z x)))

simplify3.8s

Counts

42 → 42

Iterations

Useful iterations: 2 (171.0ms)

Iter	Nodes	Cost
0	66	7371
1	198	6347
2	706	6267
3	4540	6267
done	5002	6267

prune202.0ms

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* z y))
0.0b	(+ (+ x (* z y)) (* x y))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log`
2×	`add-sqr-sqrt` `pow1` `+-commutative` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `flip-+`
1×	`associate-+l+`

Counts

2 → 24

Calls

2 calls:

8.0ms	(+ x (* z y))
27.0ms	(+ (+ x (* z y)) (* x y))

series85.0ms

Counts

2 → 6

Calls

2 calls:

28.0ms	(+ x (* z y))
56.0ms	(+ (+ x (* z y)) (* x y))

simplify2.2s

Counts

30 → 30

Iterations

Useful iterations: 2 (167.0ms)

Iter	Nodes	Cost
0	49	6706
1	159	5304
2	595	5264
3	2147	5264
done	5000	5264

prune152.0ms

Pruning

7 alts after pruning (5 fresh and 2 done)

Merged error: 0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ z x)) (cbrt (+ z x)))
0.5b	(cbrt (+ z x))
0.5b	(cbrt (+ z x))
0.5b	(cbrt (+ z x))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `associate-l/` `associate-r/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

37.0ms	(* (cbrt (+ z x)) (cbrt (+ z x)))
3.0ms	(cbrt (+ z x))
3.0ms	(cbrt (+ z x))
3.0ms	(cbrt (+ z x))

series809.0ms

Counts

4 → 12

Calls

4 calls:

246.0ms	(* (cbrt (+ z x)) (cbrt (+ z x)))
185.0ms	(cbrt (+ z x))
189.0ms	(cbrt (+ z x))
189.0ms	(cbrt (+ z x))

simplify2.0s

Counts

107 → 107

Iterations

Useful iterations: done (1.9s)

Iter	Nodes	Cost
0	116	36781
1	276	28697
2	687	28697
3	1790	28017
done	5000	27857

prune698.0ms

Pruning

7 alts after pruning (4 fresh and 3 done)

Merged error: 0b

localize46.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
3.8b	(cbrt (* y (+ z x)))
3.8b	(cbrt (* y (+ z x)))
3.8b	(cbrt (* y (+ z x)))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-*r/`
18×	`cbrt-div`
11×	`pow1`
10×	`add-sqr-sqrt`
9×	`flip3-+` `pow1/3` `flip-+`
8×	`*-un-lft-identity` `add-cube-cbrt`
7×	`cbrt-prod`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `swap-sqr` `associate-r` `associate-l` `add-log-exp`
2×	`pow-prod-down` `associate-*l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 72

Calls

4 calls:

35.0ms	(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
10.0ms	(cbrt (* y (+ z x)))
10.0ms	(cbrt (* y (+ z x)))
11.0ms	(cbrt (* y (+ z x)))

series658.0ms

Counts

4 → 12

Calls

4 calls:

171.0ms	(* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
158.0ms	(cbrt (* y (+ z x)))
166.0ms	(cbrt (* y (+ z x)))
163.0ms	(cbrt (* y (+ z x)))

simplify94.0ms

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	108	27109