Details

sample36.0ms

Algorithm

intervals

Results

15.0ms

324×

body

valid

simplify6.6s

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	1048	164
12	1610	164
13	1922	164
14	2090	164
15	2246	164
16	2396	164
17	2551	164
18	2711	164
19	2867	164
20	3017	164
21	3172	164
22	3332	164
23	3488	164
24	3638	164
25	3791	164
26	3957	164
27	4111	164
28	4261	164
29	4414	164
30	4580	164
31	4734	164
32	4884	164
done	5000	164

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt`
6×	`*-un-lft-identity`
5×	`associate-r`
4×	`distribute-rgt-in` `pow1` `associate-+r+` `sub-neg` `distribute-lft-in` `add-cbrt-cube` `add-exp-log` `add-cube-cbrt` `add-log-exp`
3×	`associate-l`
2×	`associate-*r/`
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 → 41

Calls

2 calls:

16.0ms	(+ (* x y) (* z (- 1.0 y)))
30.0ms	(* z (- 1.0 y))

series96.0ms

Counts

2 → 6

Calls

2 calls:

52.0ms	(+ (* x y) (* z (- 1.0 y)))
44.0ms	(* z (- 1.0 y))

simplify2.5s

Counts

47 → 47

Iterations

Useful iterations: 2 (196.0ms)

Iter	Nodes	Cost
0	77	8807
1	202	8023
2	614	7703
3	2428	7703
done	5004	7703

prune234.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize24.0ms

Local error

Found 2 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 26

Calls

2 calls:

14.0ms	(+ (* x y) (* 1.0 z))
40.0ms	(+ (+ (* x y) (* 1.0 z)) (* (- y) z))

series75.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify3.1s

Counts

32 → 32

Iterations

Useful iterations: 3 (1.1s)

Iter	Nodes	Cost
0	54	8619
1	185	7337
2	765	6737
3	3061	6657
done	5000	6657

prune167.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0.0b

localize69.0ms

Local error

Found 4 expressions with local error:

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

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

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

series936.0ms

Counts

4 → 12

Calls

4 calls:

243.0ms	(* (cbrt (+ (* x y) (* z (- 1.0 y)))) (cbrt (+ (* x y) (* z (- 1.0 y)))))
234.0ms	(cbrt (+ (* x y) (* z (- 1.0 y))))
254.0ms	(cbrt (+ (* x y) (* z (- 1.0 y))))
205.0ms	(cbrt (+ (* x y) (* z (- 1.0 y))))

simplify166.0ms

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	133	44438