Details

sample22.0ms

Algorithm

intervals

Results

9.0ms

336×

body

valid

simplify7.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	164
1	13	164
2	20	164
3	34	164
4	50	164
5	63	164
6	75	164
7	97	164
8	134	164
9	171	164
10	310	164
11	1065	164
12	1618	164
13	1929	164
14	2094	164
15	2253	164
16	2402	164
17	2550	164
18	2701	164
19	2866	164
20	3017	164
21	3165	164
22	3316	164
23	3481	164
24	3632	164
25	3780	164
26	3931	164
27	4096	164
28	4247	164
29	4395	164
30	4546	164
31	4711	164
32	4862	164
done	5000	164

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 2 expressions with local error:

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

20.0ms	(* (- 1.0 x) z)
12.0ms	(+ (* x y) (* (- 1.0 x) z))

series69.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(* (- 1.0 x) z)
36.0ms	(+ (* x y) (* (- 1.0 x) z))

simplify2.6s

Counts

39 → 39

Iterations

Useful iterations: 2 (155.0ms)

Iter	Nodes	Cost
0	71	7897
1	190	7034
2	603	6834
3	2527	6834
done	5002	6834

prune187.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
0.6b	(cbrt (+ (* x y) (* (- 1.0 x) z)))
0.6b	(cbrt (+ (* x y) (* (- 1.0 x) z)))
0.6b	(cbrt (+ (* x y) (* (- 1.0 x) z)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`*-un-lft-identity` `add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`swap-sqr` `associate-r` `associate-l` `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 → 87

Calls

4 calls:

41.0ms	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
4.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
4.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
4.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))

series933.0ms

Counts

4 → 12

Calls

4 calls:

288.0ms	(* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z))))
214.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
205.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))
225.0ms	(cbrt (+ (* x y) (* (- 1.0 x) z)))

simplify150.0ms

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	130	44398