Details

sample34.0ms

Algorithm

intervals

Results

15.0ms

310×

body

valid

simplify5.9s

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	205
1	19	205
2	42	205
3	85	205
4	183	205
5	361	205
6	645	205
7	911	205
8	1180	205
9	1691	205
10	2382	205
11	2859	205
12	3243	205
13	3552	205
14	3857	205
15	4144	205
16	4453	205
17	4757	205
done	5000	205

prune6.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 1 expressions with local error:

0.0b	(- (* x (- y 1.0)) (* y 0.5))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

4×	`associate--l+`
3×	`sub-neg` `add-log-exp`
2×	`distribute-rgt-in` `distribute-lft-in`
1×	`add-sqr-sqrt` `pow1` `*-un-lft-identity` `flip3--` `add-cbrt-cube` `diff-log` `add-exp-log` `add-cube-cbrt` `flip--`

Counts

1 → 16

Calls

1 calls:

13.0ms

(- (* x (- y 1.0)) (* y 0.5))

series30.0ms

Counts

1 → 3

Calls

1 calls:

30.0ms

(- (* x (- y 1.0)) (* y 0.5))

simplify3.4s

Counts

19 → 19

Iterations

Useful iterations: 3 (372.0ms)

Iter	Nodes	Cost
0	40	4701
1	110	4410
2	306	4290
3	1139	4250
4	4857	4250
done	5017	4250

prune69.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize36.0ms

Local error

Found 4 expressions with local error:

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

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

107.0ms	(* (cbrt (- (* x (- y 1.0)) (* y 0.5))) (cbrt (- (* x (- y 1.0)) (* y 0.5))))
10.0ms	(cbrt (- (* x (- y 1.0)) (* y 0.5)))
10.0ms	(cbrt (- (* x (- y 1.0)) (* y 0.5)))
15.0ms	(cbrt (- (* x (- y 1.0)) (* y 0.5)))

series721.0ms

Counts

4 → 12

Calls

4 calls:

214.0ms	(* (cbrt (- (* x (- y 1.0)) (* y 0.5))) (cbrt (- (* x (- y 1.0)) (* y 0.5))))
179.0ms	(cbrt (- (* x (- y 1.0)) (* y 0.5)))
159.0ms	(cbrt (- (* x (- y 1.0)) (* y 0.5)))
169.0ms	(cbrt (- (* x (- y 1.0)) (* y 0.5)))

simplify212.0ms

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	159	46454