Details

sample19.0ms

Algorithm

intervals

Results

6.0ms

262×

body

valid

simplify6.0ms

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	7
1	12	7
2	16	7
3	18	7
done	18	7

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.0b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b	(/ (- x y) (- z y))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

37×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
13×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
5×	`associate-/r` `associate-/l`
3×	`add-exp-log` `add-cbrt-cube`
2×	`flip3--` `associate-/r/` `flip--` `associate-/l/`
1×	`pow1` `cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv` `add-log-exp`

Counts

1 → 52

Calls

1 calls:

13.0ms

(/ (- x y) (- z y))

series10.0ms

Counts

1 → 3

Calls

1 calls:

10.0ms

(/ (- x y) (- z y))

simplify1.9s

Counts

55 → 55

Iterations

Useful iterations: 4 (798.0ms)

Iter	Nodes	Cost
0	94	708
1	224	681
2	516	653
3	1205	653
4	2992	651
done	5000	651

prune66.0ms

Filtered

37 candidates to 55 candidates (-48.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	50	5	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	51	5	56

Merged error: 0b

Counts

56 → 5

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (- z y))
0.0b	(- (/ x (- z y)) (/ y (- z y)))
0.0b	(/ y (- z y))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

67×	`*-un-lft-identity`
57×	`add-sqr-sqrt`
48×	`times-frac`
25×	`add-cube-cbrt`
20×	`distribute-lft-out--`
14×	`difference-of-squares`
10×	`associate-/r*`
8×	`associate-/r/`
7×	`add-exp-log` `add-cbrt-cube`
6×	`associate-/l*`
5×	`flip3--` `flip--` `add-log-exp`
4×	`div-inv`
3×	`pow1` `distribute-rgt-out--`
2×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`sub-neg` `diff-log` `frac-sub` `sub-div`

Counts

3 → 103

Calls

3 calls:

6.0ms	(/ x (- z y))
28.0ms	(- (/ x (- z y)) (/ y (- z y)))
9.0ms	(/ y (- z y))

series30.0ms

Counts

3 → 9

Calls

3 calls:

8.0ms	(/ x (- z y))
16.0ms	(- (/ x (- z y)) (/ y (- z y)))
6.0ms	(/ y (- z y))

simplify2.0s

Counts

112 → 112

Iterations

Useful iterations: 4 (1.2s)

Iter	Nodes	Cost
0	149	1266
1	299	1203
2	634	1159
3	1375	1159
4	3486	1153
done	5000	1153

prune103.0ms

Filtered

83 candidates to 112 candidates (-34.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	112	5	117

Merged error: 0b

Counts

117 → 5

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ 1 (- z y))
0.3b	(* (- x y) (/ 1 (- z y)))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

45×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
32×	`times-frac`
22×	`add-cube-cbrt`
21×	`associate-r`
15×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `associate-l` `associate-/r*`
4×	`flip3--` `div-exp` `prod-exp` `associate-/r/` `flip--`
3×	`associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `associate-*l/` `cbrt-unprod` `div-inv` `add-log-exp`
1×	`pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

2 → 91

Calls

2 calls:

6.0ms	(/ 1 (- z y))
14.0ms	(* (- x y) (/ 1 (- z y)))

series15.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ 1 (- z y))
10.0ms	(* (- x y) (/ 1 (- z y)))

simplify2.6s

Counts

97 → 97

Iterations

Useful iterations: done (2.6s)

Iter	Nodes	Cost
0	128	1033
1	296	831
2	802	751
3	2524	751
done	5000	750

prune80.0ms

Filtered

54 candidates to 97 candidates (-79.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	97	0	97
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	97	5	102

Merged error: 0b

Counts

102 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z y))
0.5b	(cbrt (- z y))
0.5b	(cbrt (- z y))
0.5b	(* (cbrt (- z y)) (cbrt (- z y)))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

43×	`cbrt-prod`
37×	`add-sqr-sqrt`
35×	`*-un-lft-identity`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
10×	`swap-sqr`
9×	`flip3--` `pow1/3` `flip--` `distribute-lft-out--`
8×	`associate-r` `associate-l`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 101

Calls

4 calls:

3.0ms	(cbrt (- z y))
3.0ms	(cbrt (- z y))
3.0ms	(cbrt (- z y))
12.0ms	(* (cbrt (- z y)) (cbrt (- z y)))

series121.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(cbrt (- z y))
28.0ms	(cbrt (- z y))
32.0ms	(cbrt (- z y))
33.0ms	(* (cbrt (- z y)) (cbrt (- z y)))

simplify2.5s

Counts

113 → 113

Iterations

Useful iterations: 4 (1.6s)

Iter	Nodes	Cost
0	145	1432
1	286	1313
2	681	1234
3	1805	1108
4	4918	1066
done	5000	1066

prune109.0ms

Filtered

78 candidates to 113 candidates (-44.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	113	5	118

Merged error: 0b

Counts

118 → 5

regimes375.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
done	7	11

end0.0ms

sample526.0ms

Algorithm

intervals

Results

200.0ms

8342×

body

valid

Details

sample19.0ms

simplify6.0ms

prune3.0ms

localize5.0ms

rewrite16.0ms

series10.0ms

simplify1.9s

prune66.0ms

localize6.0ms

rewrite46.0ms

series30.0ms

simplify2.0s

prune103.0ms

localize7.0ms

rewrite24.0ms

series15.0ms

simplify2.6s

prune80.0ms

localize11.0ms

rewrite26.0ms

series121.0ms

simplify2.5s

prune109.0ms

regimes375.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample526.0ms

Profiling