Details

analyze160.0ms (8.2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	20
1	33	20
0	2	2
1	2	2

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
67.1%	32.8%	0.1%	7
71%	28.9%	0.1%	8
82.3%	17.6%	0.1%	9
84.9%	15%	0.1%	10
90.8%	9.1%	0.1%	11
92.2%	7.7%	0.1%	12
95.3%	4.6%	0.1%	13
96%	3.9%	0.1%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample15.0ms (0.7%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 15 to 15 computations (0% saved)

simplify8.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	20	10
1	20	10

prune2.0ms (0.1%)

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

Error

9.1b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

8.6b	(/.f64 (*.f64 x y) (+.f64 y 1))

rewrite37.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`*-un-lft-identity_binary64_16787`
6×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
4×	`times-frac_binary64_16793` `associate-/r*_binary64_16731`
3×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809`
2×	`div-exp_binary64_16838` `cbrt-undiv_binary64_16821` `distribute-lft-out_binary64_16738` `associate-/r/_binary64_16733`
1×	`pow1_binary64_16848` `prod-exp_binary64_16836` `add-log-exp_binary64_16826` `cbrt-unprod_binary64_16820` `frac-2neg_binary64_16798` `clear-num_binary64_16786` `div-inv_binary64_16784` `flip3-+_binary64_16790` `flip-+_binary64_16761` `associate-/l*_binary64_16732`

Counts

1 → 25

Calls

1 calls:

6.0ms

(/.f64 (*.f64 x y) (+.f64 y 1))

Compiler

Compiled 342 to 205 computations (40.1% saved)

series80.0ms (4.1%)

Error

0.0b

Counts

1 → 15

Calls

1 calls:

70.0ms

(/.f64 (*.f64 x y) (+.f64 y 1))

Compiler

Compiled 295 to 190 computations (35.6% saved)

simplify60.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5165	483

prune33.0ms (1.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	38	2	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	38	3	41

Error

Counts

41 → 3

Compiler

Compiled 422 to 221 computations (47.6% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 y 1) y)
0.1b	(/.f64 x (/.f64 (+.f64 y 1) y))

rewrite118.0ms (6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

108×	`times-frac_binary64_16793`
92×	`*-un-lft-identity_binary64_16787`
60×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809`
19×	`associate-/r*_binary64_16731`
16×	`distribute-lft-out_binary64_16738`
9×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823`
7×	`associate-/l*_binary64_16732`
6×	`div-inv_binary64_16784`
4×	`div-exp_binary64_16838` `cbrt-undiv_binary64_16821`
2×	`pow1_binary64_16848` `add-log-exp_binary64_16826` `frac-2neg_binary64_16798` `clear-num_binary64_16786` `associate-/l/_binary64_16734`
1×	`associate-/r/_binary64_16733` `flip3-+_binary64_16790` `flip-+_binary64_16761`

Counts

2 → 115

Calls

2 calls:

8.0ms	(/.f64 x (/.f64 (+.f64 y 1) y))
6.0ms	(/.f64 (+.f64 y 1) y)

Compiler

Compiled 1934 to 1129 computations (41.6% saved)

series125.0ms (6.4%)

Error

Counts

2 → 21

Calls

2 calls:

77.0ms	(/.f64 x (/.f64 (+.f64 y 1) y))
34.0ms	(/.f64 (+.f64 y 1) y)

Compiler

Compiled 380 to 267 computations (29.7% saved)

simplify84.0ms (4.3%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5212	2337

prune95.0ms (4.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	1	0	1
Picked	1	0	1
Done	0	1	1
Total	137	2	139

Error

Counts

139 → 2

Compiler

Compiled 1900 to 1011 computations (46.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.1b	(/.f64 x (+.f64 1 (/.f64 1 y)))

rewrite42.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

23×	`*-un-lft-identity_binary64_16787`
15×	`times-frac_binary64_16793`
11×	`add-cube-cbrt_binary64_16822` `add-sqr-sqrt_binary64_16809`
8×	`distribute-lft-out_binary64_16738`
5×	`div-inv_binary64_16784` `associate-/r*_binary64_16731`
3×	`add-exp-log_binary64_16825` `add-cbrt-cube_binary64_16823` `associate-/l*_binary64_16732`
2×	`associate-/r/_binary64_16733`
1×	`pow1_binary64_16848` `div-exp_binary64_16838` `add-log-exp_binary64_16826` `cbrt-undiv_binary64_16821` `frac-2neg_binary64_16798` `clear-num_binary64_16786` `flip3-+_binary64_16790` `flip-+_binary64_16761`

Counts

1 → 37

Calls

1 calls:

8.0ms

(/.f64 x (+.f64 1 (/.f64 1 y)))

Compiler

Compiled 567 to 413 computations (27.2% saved)

series89.0ms (4.6%)

Error

Counts

1 → 15

Calls

1 calls:

82.0ms

(/.f64 x (+.f64 1 (/.f64 1 y)))

Compiler

Compiled 295 to 202 computations (31.5% saved)

simplify80.0ms (4.1%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	5182	770

prune34.0ms (1.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	52	0	52
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	52	2	54

Error

Counts

54 → 2

Compiler

Compiled 630 to 403 computations (36% saved)

regimes117.0ms (6%)

Accuracy

Total 0.0b remaining (99.3%)

Threshold costs 0.0b (99.3%)

Compiler

Compiled 944 to 739 computations (21.7% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	10
1	11	10

end0.0ms (0%)

sample757.0ms (38.8%)

Algorithm

1×

intervals

Results

205.0ms

8000×

body

128

valid

Compiler

Compiled 328 to 248 computations (24.4% saved)

Details

analyze160.0ms (8.2%)

sample15.0ms (0.7%)

simplify8.0ms (0.4%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite37.0ms (1.9%)

series80.0ms (4.1%)

simplify60.0ms (3.1%)

prune33.0ms (1.7%)

localize5.0ms (0.2%)

rewrite118.0ms (6%)

series125.0ms (6.4%)

simplify84.0ms (4.3%)

prune95.0ms (4.9%)

localize5.0ms (0.2%)

rewrite42.0ms (2.1%)

series89.0ms (4.6%)

simplify80.0ms (4.1%)

prune34.0ms (1.8%)

regimes117.0ms (6%)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample757.0ms (38.8%)

Profiling