Details

sample40.0ms

Algorithm

intervals

Results

17.0ms

336×

body

valid

simplify7.0s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	164
1	13	164
2	20	164
3	34	164
4	49	164
5	57	164
6	66	164
7	83	164
8	114	164
9	144	164
10	259	164
11	924	164
12	1450	164
13	1739	164
14	1898	164
15	2053	164
16	2190	164
17	2333	164
18	2480	164
19	2623	164
20	2760	164
21	2903	164
22	3050	164
23	3193	164
24	3330	164
25	3471	164
26	3624	164
27	3765	164
28	3902	164
29	4043	164
30	4196	164
31	4337	164
32	4474	164
33	4615	164
34	4768	164
35	4909	164
done	5001	164

prune4.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (- 1.0 x) y)
0.0b	(+ (* (- 1.0 x) y) (* 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) y)
12.0ms	(+ (* (- 1.0 x) y) (* x z))

series97.0ms

Counts

2 → 6

Calls

2 calls:

56.0ms	(* (- 1.0 x) y)
41.0ms	(+ (* (- 1.0 x) y) (* x z))

simplify2.9s

Counts

39 → 39

Iterations

Useful iterations: 2 (220.0ms)

Iter	Nodes	Cost
0	71	7897
1	190	7034
2	599	6834
3	2388	6834
done	5004	6834

prune205.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite131.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:

87.0ms	(* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z))))
8.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
14.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
16.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))

series990.0ms

Counts

4 → 12

Calls

4 calls:

295.0ms	(* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z))))
213.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
230.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))
252.0ms	(cbrt (+ (* (- 1.0 x) y) (* x z)))

simplify221.0ms

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	157	48683