Details

analyze78.0ms (5%)

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
50%	50%	0.1%	5
50%	50%	0.1%	6
62.4%	34.3%	3.2%	7
62.4%	32.8%	4.8%	8
68.7%	21.1%	10.2%	9
68.7%	19.1%	12.2%	10
71.8%	11.5%	16.7%	11
71.8%	10.2%	18%	12
73.4%	6%	20.6%	13
73.4%	5.3%	21.3%	14

sample13.0ms (0.8%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	80	valid
0.0ms	13×	body	80	invalid

simplify13.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	252	7
1	252	7

prune5.0ms (0.3%)

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: 4.9b

Counts

2 → 1

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

10.1b

(/ x (* y y))

rewrite5.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-exp-log` `add-cbrt-cube`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `times-frac` `associate-/l`
2×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv` `add-log-exp`

Counts

1 → 21

Calls

1 calls:

4.0ms

(/ x (* y y))

series5.0ms (0.3%)

Counts

1 → 3

Calls

1 calls:

5.0ms

(/ x (* y y))

simplify41.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

24 → 24

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5024	152

prune43.0ms (2.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	20	4	24
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	5	25

Merged error: 0.0b

Counts

25 → 5

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.2b	(/ (/ x y) y)

rewrite9.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`times-frac`
43×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
13×	`associate-/l*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`div-inv`
3×	`cbrt-undiv` `div-exp` `associate-/r*`
1×	`pow1` `frac-2neg` `clear-num` `associate-/l/` `add-log-exp`

Counts

1 → 70

Calls

1 calls:

6.0ms

(/ (/ x y) y)

series5.0ms (0.3%)

Counts

1 → 3

Calls

1 calls:

5.0ms

(/ (/ x y) y)

simplify94.0ms (6%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (87.0ms)

Iter	Nodes	Cost
0	4714	702
1	4714	702

prune98.0ms (6.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	71	7	78

Merged error: 0.0b

Counts

78 → 7

localize6.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.3b	(* (/ 1 y) (/ x y))

rewrite15.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt`
25×	`times-frac`
23×	`add-exp-log`
17×	`*-un-lft-identity`
15×	`add-cube-cbrt`
13×	`associate-r` `associate-l` `add-cbrt-cube`
8×	`div-exp` `prod-exp`
6×	`unswap-sqr`
4×	`cbrt-undiv` `cbrt-unprod`
3×	`pow1`
2×	`rec-exp` `1-exp` `div-inv`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative` `add-log-exp`

Counts

1 → 56

Calls

1 calls:

12.0ms

(* (/ 1 y) (/ x y))

series4.0ms (0.2%)

Counts

1 → 3

Calls

1 calls:

4.0ms

(* (/ 1 y) (/ x y))

simplify74.0ms (4.7%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5420	410

prune76.0ms (4.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	59	7	66

Merged error: 0.0b

Counts

66 → 7

localize6.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.2b	(/ y (/ x y))
0.2b	(/ 1 (/ y (/ x y)))

rewrite37.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

471×	`times-frac`
229×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
57×	`associate-/r*`
28×	`add-exp-log`
22×	`div-inv`
18×	`div-exp`
16×	`add-cbrt-cube`
9×	`cbrt-undiv`
6×	`associate-/r/` `associate-/l*`
3×	`pow1` `rec-exp` `1-exp`
2×	`frac-2neg` `clear-num` `add-log-exp`
1×	`pow-flip` `inv-pow`

Counts

2 → 274

Calls

2 calls:

12.0ms	(/ 1 (/ y (/ x y)))
6.0ms	(/ y (/ x y))

series7.0ms (0.4%)

Counts

2 → 6

Calls

2 calls:

4.0ms	(/ 1 (/ y (/ x y)))
3.0ms	(/ y (/ x y))

simplify77.0ms (4.9%)

Algorithm

1×	egg-herbie

Counts

280 → 280

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4943	3318
1	4943	3318

prune311.0ms (19.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	278	2	280
Fresh	1	2	3
Picked	1	0	1
Done	0	3	3
Total	280	7	287

Merged error: 0b

Counts

287 → 7

regimes218.0ms (13.9%)

Accuracy

Total 0.1b remaining (89.2%)

Threshold costs 0.1b (89.2%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	7
1	16	7

end0.0ms (0%)

sample322.0ms (20.5%)

Algorithm

1×

intervals

Results

187.0ms	8000×	body	80	valid
9.0ms	391×	body	80	invalid

Details

analyze78.0ms (5%)

sample13.0ms (0.8%)

simplify13.0ms (0.8%)

prune5.0ms (0.3%)

localize5.0ms (0.3%)

rewrite5.0ms (0.3%)

series5.0ms (0.3%)

simplify41.0ms (2.6%)

prune43.0ms (2.8%)

localize5.0ms (0.3%)

rewrite9.0ms (0.6%)

series5.0ms (0.3%)

simplify94.0ms (6%)

prune98.0ms (6.3%)

localize6.0ms (0.4%)

rewrite15.0ms (0.9%)

series4.0ms (0.2%)

simplify74.0ms (4.7%)

prune76.0ms (4.8%)

localize6.0ms (0.4%)

rewrite37.0ms (2.3%)

series7.0ms (0.4%)

simplify77.0ms (4.9%)

prune311.0ms (19.8%)

regimes218.0ms (13.9%)

bsearch0.0ms (0%)

simplify1.0ms (0.1%)

end0.0ms (0%)

sample322.0ms (20.5%)

Profiling