Details

sample44.0ms

Algorithm

intervals

Results

19.0ms

298×

body

valid

simplify6.3s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	247
1	24	247
2	44	247
3	67	247
4	94	247
5	130	247
6	171	247
7	208	247
8	283	247
9	433	247
10	586	247
11	849	247
12	1004	247
13	1155	247
14	1306	247
15	1451	247
16	1606	247
17	1757	247
18	1902	247
19	2057	247
20	2208	247
21	2353	247
22	2508	247
23	2659	247
24	2804	247
25	2959	247
26	3110	247
27	3255	247
28	3410	247
29	3561	247
30	3706	247
31	3861	247
32	4012	247
33	4157	247
34	4312	247
35	4463	247
36	4608	247
37	4763	247
38	4914	247
done	5000	247

prune5.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (* y z) 2.0)
0.0b	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

rewrite105.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-cbrt-cube` `add-exp-log` `add-log-exp`
6×	`*-un-lft-identity`
4×	`add-sqr-sqrt` `add-cube-cbrt`
3×	`associate-/r*` `times-frac`
2×	`pow1` `cbrt-undiv` `associate-+l+` `sum-log` `div-exp`
1×	`+-commutative` `clear-num` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `prod-exp` `associate-+l-` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out` `associate-/l*`

Counts

2 → 37

Calls

2 calls:

15.0ms	(/ (* y z) 2.0)
89.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

series128.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(/ (* y z) 2.0)
95.0ms	(+ (- (* (/ 1.0 8.0) x) (/ (* y z) 2.0)) t)

simplify2.9s

Counts

43 → 43

Iterations

Useful iterations: 3 (1.2s)

Iter	Nodes	Cost
0	90	9682
1	226	8879
2	754	8719
3	3323	8559
done	5062	8559

prune250.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize34.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))
8.8b	(cbrt (/ (* y z) 2.0))
8.8b	(cbrt (/ (* y z) 2.0))
8.8b	(cbrt (/ (* y z) 2.0))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

53×	`cbrt-prod`
30×	`add-sqr-sqrt`
22×	`*-un-lft-identity` `add-cube-cbrt`
21×	`times-frac`
11×	`pow1`
10×	`swap-sqr` `associate-r` `associate-l`
9×	`pow1/3`
7×	`cbrt-div` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-l/` `prod-exp` `associate-r/` `*-commutative` `cbrt-unprod`

Counts

4 → 103

Calls

4 calls:

16.0ms	(* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))
3.0ms	(cbrt (/ (* y z) 2.0))
3.0ms	(cbrt (/ (* y z) 2.0))
7.0ms	(cbrt (/ (* y z) 2.0))

series621.0ms

Counts

4 → 12

Calls

4 calls:

225.0ms	(* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))
149.0ms	(cbrt (/ (* y z) 2.0))
121.0ms	(cbrt (/ (* y z) 2.0))
126.0ms	(cbrt (/ (* y z) 2.0))

simplify124.0ms

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	128	35832