Details

sample32.0ms

Algorithm

intervals

Results

15.0ms

298×

body

valid

simplify7.2s

Counts

1 → 1

Iterations

Useful iterations: 4 (50.0ms)

Iter	Nodes	Cost
0	13	247
1	25	247
2	48	247
3	74	247
4	113	222
5	147	222
6	179	222
7	211	222
8	269	222
9	405	222
10	610	222
11	861	222
12	1066	222
13	1231	222
14	1404	222
15	1557	222
16	1721	222
17	1869	222
18	2039	222
19	2191	222
20	2348	222
21	2501	222
22	2662	222
23	2810	222
24	2980	222
25	3132	222
26	3289	222
27	3450	222
28	3611	222
29	3759	222
30	3929	222
31	4081	222
32	4238	222
33	4402	222
34	4563	222
35	4711	222
36	4868	222
done	5000	222

prune10.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 2 expressions with local error:

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

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

21×	`prod-diff`
20×	`add-sqr-sqrt` `*-un-lft-identity`
18×	`add-cube-cbrt`
12×	`times-frac`
7×	`add-cbrt-cube` `add-exp-log`
4×	`div-inv` `add-log-exp`
3×	`associate-/r*` `fma-neg`
2×	`expm1-log1p-u` `pow1` `cbrt-undiv` `div-exp` `log1p-expm1-u`
1×	`clear-num` `sub-neg` `frac-2neg` `flip3--` `diff-log` `prod-exp` `associate--l+` `cbrt-unprod` `fma-udef` `flip--` `associate-/l*` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 64

Calls

2 calls:

17.0ms	(- (fma (/ 1.0 8.0) x t) (/ (* y z) 2.0))
21.0ms	(/ (* y z) 2.0)

series131.0ms

Counts

2 → 6

Calls

2 calls:

97.0ms	(- (fma (/ 1.0 8.0) x t) (/ (* y z) 2.0))
34.0ms	(/ (* y z) 2.0)

simplify4.7s

Counts

70 → 70

Iterations

Useful iterations: 3 (2.5s)

Iter	Nodes	Cost
0	140	24895
1	349	22896
2	1061	19880
3	4744	19630
done	5000	19630

prune412.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize32.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))

rewrite42.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×	`expm1-log1p-u` `add-cbrt-cube` `log1p-expm1-u` `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 → 111

Calls

4 calls:

25.0ms	(* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))
5.0ms	(cbrt (/ (* y z) 2.0))
5.0ms	(cbrt (/ (* y z) 2.0))
3.0ms	(cbrt (/ (* y z) 2.0))

series665.0ms

Counts

4 → 12

Calls

4 calls:

175.0ms	(* (cbrt (/ (* y z) 2.0)) (cbrt (/ (* y z) 2.0)))
153.0ms	(cbrt (/ (* y z) 2.0))
176.0ms	(cbrt (/ (* y z) 2.0))
161.0ms	(cbrt (/ (* y z) 2.0))

simplify124.0ms

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	132	37856