Details

analyze98.0ms (6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
50%	46.8%	3.2%	7
56.2%	37.5%	6.3%	8
62.4%	25.8%	11.8%	9
65.6%	20.3%	14.1%	10
68.7%	13.5%	17.9%	11
70.2%	10.5%	19.2%	12
71.8%	6.9%	21.3%	13
72.6%	5.4%	22%	14

sample18.0ms (1.1%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	80	valid
0.0ms	9×	body	80	invalid

simplify66.0ms (4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4931	11
1	4931	11

prune8.0ms (0.5%)

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.2b

Counts

2 → 2

localize7.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.1b	(* (- 1.0 x) (/ (- 3.0 x) (* 3.0 y)))
0.2b	(/ (- 3.0 x) (* 3.0 y))

rewrite20.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
16×	`add-exp-log` `add-cbrt-cube`
15×	`*-un-lft-identity`
10×	`times-frac`
9×	`associate-r`
7×	`add-cube-cbrt`
5×	`associate-l` `prod-exp` `cbrt-unprod` `associate-/l*`
4×	`pow1` `cbrt-undiv` `div-exp` `distribute-lft-out--` `difference-of-squares`
3×	`flip3--` `flip--`
2×	`frac-times` `associate-*l/` `div-inv` `associate-/l/` `add-log-exp`
1×	`frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `associate-/r` `*-commutative` `unswap-sqr`

Counts

2 → 63

Calls

2 calls:

11.0ms	(* (- 1.0 x) (/ (- 3.0 x) (* 3.0 y)))
6.0ms	(/ (- 3.0 x) (* 3.0 y))

series12.0ms (0.7%)

Counts

2 → 6

Calls

2 calls:

7.0ms	(* (- 1.0 x) (/ (- 3.0 x) (* 3.0 y)))
5.0ms	(/ (- 3.0 x) (* 3.0 y))

simplify22.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	5197	765

prune121.0ms (7.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	64	5	69
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	65	6	71

Merged error: 0b

Counts

71 → 6

localize9.0ms (0.5%)

Local error

Found 2 expressions with local error:

0.1b	(* (- 1.0 x) (- (/ 1 y) (/ x (* 3.0 y))))
0.2b	(/ x (* 3.0 y))

rewrite22.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
12×	`*-un-lft-identity`
9×	`add-exp-log` `add-cbrt-cube`
8×	`associate-r`
7×	`flip3--` `flip--`
6×	`frac-times` `add-cube-cbrt`
5×	`times-frac` `associate-l`
4×	`pow1` `difference-of-squares`
3×	`associate-r/` `frac-sub` `associate-/l` `distribute-lft-out--`
2×	`cbrt-undiv` `sub-neg` `div-exp` `associate-*l/` `prod-exp` `cbrt-unprod` `div-inv` `add-log-exp`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `unswap-sqr`

Counts

2 → 59

Calls

2 calls:

16.0ms	(* (- 1.0 x) (- (/ 1 y) (/ x (* 3.0 y))))
4.0ms	(/ x (* 3.0 y))

series10.0ms (0.6%)

Counts

2 → 6

Calls

2 calls:

7.0ms	(* (- 1.0 x) (- (/ 1 y) (/ x (* 3.0 y))))
3.0ms	(/ x (* 3.0 y))

simplify38.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5041	888

prune104.0ms (6.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	65	6	71

Merged error: 0b

Counts

71 → 6

localize8.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.0b	(/ 3.0 (- 3.0 x))
0.1b	(* (- 1.0 x) (/ 1 (* (/ 3.0 (- 3.0 x)) y)))
0.1b	(* (/ 3.0 (- 3.0 x)) y)
0.1b	(/ 1 (* (/ 3.0 (- 3.0 x)) y))

rewrite45.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`add-exp-log`
52×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
37×	`times-frac`
34×	`add-cbrt-cube`
29×	`add-cube-cbrt`
26×	`associate-l`
24×	`prod-exp`
20×	`div-exp`
11×	`pow1` `associate-r`
10×	`cbrt-undiv` `cbrt-unprod`
8×	`distribute-lft-out--` `difference-of-squares`
6×	`rec-exp` `1-exp` `associate-/r` `associate-/r/` `associate-/l`
5×	`associate-*l/`
4×	`flip3--` `flip--` `div-inv` `add-log-exp`
3×	`pow-prod-down` `unswap-sqr`
2×	`frac-times` `pow-flip` `frac-2neg` `clear-num` `*-commutative`
1×	`associate-*r/` `un-div-inv` `inv-pow`

Counts

4 → 153

Calls

4 calls:

15.0ms	(* (- 1.0 x) (/ 1 (* (/ 3.0 (- 3.0 x)) y)))
10.0ms	(* (/ 3.0 (- 3.0 x)) y)
9.0ms	(/ 1 (* (/ 3.0 (- 3.0 x)) y))
6.0ms	(/ 3.0 (- 3.0 x))

series20.0ms (1.2%)

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (- 1.0 x) (/ 1 (* (/ 3.0 (- 3.0 x)) y)))
5.0ms	(/ 1 (* (/ 3.0 (- 3.0 x)) y))
5.0ms	(* (/ 3.0 (- 3.0 x)) y)
2.0ms	(/ 3.0 (- 3.0 x))

simplify35.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5343	1623

prune263.0ms (16.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	163	2	165
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	166	5	171

Merged error: 0b

Counts

171 → 5

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b	(/ 3.0 (- 3.0 x))
0.1b	(* (/ 3.0 (- 3.0 x)) y)
0.1b	(/ (- 1.0 x) (* (/ 3.0 (- 3.0 x)) y))

rewrite28.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
43×	`*-un-lft-identity`
36×	`times-frac`
25×	`add-cube-cbrt`
21×	`associate-l`
19×	`add-exp-log` `add-cbrt-cube`
9×	`distribute-lft-out--` `difference-of-squares`
8×	`associate-/l*`
6×	`cbrt-undiv` `div-exp` `associate-/r*`
5×	`pow1` `associate-/r/`
4×	`prod-exp` `cbrt-unprod`
3×	`flip3--` `associate-r` `flip--` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-*l/` `clear-num` `associate-/l/` `unswap-sqr`
1×	`div-sub` `pow-prod-down` `*-commutative`

Counts

3 → 108

Calls

3 calls:

11.0ms	(/ (- 1.0 x) (* (/ 3.0 (- 3.0 x)) y))
8.0ms	(* (/ 3.0 (- 3.0 x)) y)
5.0ms	(/ 3.0 (- 3.0 x))

series16.0ms (1%)

Counts

3 → 9

Calls

3 calls:

7.0ms	(* (/ 3.0 (- 3.0 x)) y)
7.0ms	(/ (- 1.0 x) (* (/ 3.0 (- 3.0 x)) y))
2.0ms	(/ 3.0 (- 3.0 x))

simplify28.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	5052	1219

prune173.0ms (10.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	117	5	122

Merged error: 0b

Counts

122 → 5

regimes79.0ms (4.8%)

Accuracy

Total 0.1b remaining (89.3%)

Threshold costs 0.1b (89.3%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	11
1	22	11

end0.0ms (0%)

sample371.0ms (22.8%)

Algorithm

1×

intervals

Results

230.0ms	8000×	body	80	valid
9.0ms	306×	body	80	invalid

Details

analyze98.0ms (6%)

sample18.0ms (1.1%)

simplify66.0ms (4%)

prune8.0ms (0.5%)

localize7.0ms (0.4%)

rewrite20.0ms (1.2%)

series12.0ms (0.7%)

simplify22.0ms (1.3%)

prune121.0ms (7.4%)

localize9.0ms (0.5%)

rewrite22.0ms (1.4%)

series10.0ms (0.6%)

simplify38.0ms (2.3%)

prune104.0ms (6.4%)

localize8.0ms (0.5%)

rewrite45.0ms (2.8%)

series20.0ms (1.2%)

simplify35.0ms (2.1%)

prune263.0ms (16.2%)

localize7.0ms (0.4%)

rewrite28.0ms (1.7%)

series16.0ms (1%)

simplify28.0ms (1.7%)

prune173.0ms (10.6%)

regimes79.0ms (4.8%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

end0.0ms (0%)

sample371.0ms (22.8%)

Profiling