Details

analyze104.0ms (3.6%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	71	11
1	71	11
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
50%	0%	50%	4

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample40.0ms (1.4%)

Algorithm

1×

intervals

Results

14.0ms	63×	body	1024	valid
8.0ms	130×	body	128	valid
5.0ms	36×	body	512	valid
4.0ms	10×	body	2048	valid
1.0ms	17×	body	256	valid

Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	71	11
1	71	11

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

30.8b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

2.2b	(log.f64 (+.f64 N 1))
3.3b	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))

rewrite55.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

30.2b

Rules

14×	`*-un-lft-identity_binary64_419`
11×	`log-prod_binary64_505`
8×	`pow1_binary64_480` `add-sqr-sqrt_binary64_441`
6×	`add-cube-cbrt_binary64_454` `log-pow_binary64_508`
4×	`cancel-sign-sub-inv_binary64_385` `distribute-lft-out--_binary64_371` `log-div_binary64_506` `associate--l+_binary64_356`
3×	`add-exp-log_binary64_457` `associate--r+_binary64_355`
2×	`add-log-exp_binary64_458` `add-cbrt-cube_binary64_455` `flip3-+_binary64_422` `associate--l-_binary64_357` `flip-+_binary64_393` `distribute-lft-out_binary64_370`
1×	`diff-log_binary64_511` `flip3--_binary64_423` `sub-neg_binary64_412` `flip--_binary64_394` `difference-of-squares_binary64_388` `rem-log-exp_binary64_460`

Counts

2 → 44

Calls

2 calls:

7.0ms	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
3.0ms	(log.f64 (+.f64 N 1))

Compiler

Compiled 607 to 404 computations (33.4% saved)

series103.0ms (3.5%)

Error

0.1b

Counts

2 → 21

Calls

2 calls:

59.0ms	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
26.0ms	(log.f64 (+.f64 N 1))

Compiler

Compiled 578 to 465 computations (19.6% saved)

simplify84.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4924	853
1	4924	853

prune49.0ms (1.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	63	2	65
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	63	3	66

Error

0.0b

Counts

66 → 3

Compiler

Compiled 781 to 488 computations (37.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 N 1) N)
3.5b	(log.f64 (/.f64 (+.f64 N 1) N))

rewrite59.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

33×	`*-un-lft-identity_binary64_419`
24×	`times-frac_binary64_425`
19×	`add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441`
16×	`log-prod_binary64_505`
7×	`distribute-lft-out_binary64_370` `add-exp-log_binary64_457`
4×	`add-cbrt-cube_binary64_455` `associate-/l*_binary64_364`
3×	`pow1_binary64_480` `associate-/r*_binary64_363`
2×	`div-inv_binary64_416` `div-exp_binary64_470` `rem-log-exp_binary64_460` `add-log-exp_binary64_458` `associate-/l/_binary64_366`
1×	`log-pow_binary64_508` `log-div_binary64_506` `cbrt-undiv_binary64_453` `frac-2neg_binary64_430` `clear-num_binary64_418` `flip3-+_binary64_422` `flip-+_binary64_393`

Counts

2 → 60

Calls

2 calls:

5.0ms	(/.f64 (+.f64 N 1) N)
5.0ms	(log.f64 (/.f64 (+.f64 N 1) N))

Compiler

Compiled 810 to 553 computations (31.7% saved)

series90.0ms (3.1%)

Error

0.0b

Counts

2 → 18

Calls

2 calls:

45.0ms	(log.f64 (/.f64 (+.f64 N 1) N))
32.0ms	(/.f64 (+.f64 N 1) N)

Compiler

Compiled 378 to 326 computations (13.8% saved)

simplify65.0ms (2.2%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5330	1074

prune55.0ms (1.9%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	76	2	78
Fresh	0	1	1
Picked	1	0	1
Done	1	0	1
Total	78	3	81

Error

0.0b

Counts

81 → 3

Compiler

Compiled 903 to 638 computations (29.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

3.5b	(log.f64 (+.f64 1 (/.f64 1 N)))

rewrite22.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

5×	`log-prod_binary64_505` `*-un-lft-identity_binary64_419`
2×	`pow1_binary64_480` `log-div_binary64_506` `add-cube-cbrt_binary64_454` `add-sqr-sqrt_binary64_441` `distribute-lft-out_binary64_370` `add-exp-log_binary64_457`
1×	`log-pow_binary64_508` `flip3-+_binary64_422` `flip-+_binary64_393` `div-inv_binary64_416` `rem-log-exp_binary64_460` `add-log-exp_binary64_458` `add-cbrt-cube_binary64_455`

Counts

1 → 16

Calls

1 calls:

8.0ms

(log.f64 (+.f64 1 (/.f64 1 N)))

Compiler

Compiled 217 to 189 computations (12.9% saved)

series44.0ms (1.5%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

35.0ms

(log.f64 (+.f64 1 (/.f64 1 N)))

Compiler

Compiled 308 to 258 computations (16.2% saved)

simplify60.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4941	402
1	4941	402

prune23.0ms (0.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	1	1	2
Picked	0	1	1
Done	0	0	0
Total	28	3	31

Error

0.0b

Counts

31 → 3

Compiler

Compiled 327 to 250 computations (23.5% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N)))
0.2b	(/.f64 1/2 (*.f64 N N))

rewrite59.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

20×	`add-sqr-sqrt_binary64_441`
13×	`times-frac_binary64_425`
11×	`*-un-lft-identity_binary64_419`
7×	`add-exp-log_binary64_457` `add-cbrt-cube_binary64_455` `cancel-sign-sub-inv_binary64_385`
6×	`add-cube-cbrt_binary64_454` `difference-of-squares_binary64_388`
4×	`add-log-exp_binary64_458`
3×	`div-inv_binary64_416` `associate-/l*_binary64_364`
2×	`pow1_binary64_480` `div-exp_binary64_470` `cbrt-undiv_binary64_453` `distribute-lft-out--_binary64_371`
1×	`prod-exp_binary64_468` `cbrt-unprod_binary64_452` `frac-2neg_binary64_430` `clear-num_binary64_418` `associate-/r*_binary64_363` `diff-log_binary64_511` `frac-sub_binary64_428` `flip3--_binary64_423` `sub-neg_binary64_412` `flip--_binary64_394`

Counts

2 → 48

Calls

2 calls:

11.0ms	(-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N)))
4.0ms	(/.f64 1/2 (*.f64 N N))

Compiler

Compiled 796 to 514 computations (35.4% saved)

series68.0ms (2.3%)

Error

0.0b

Counts

2 → 9

Calls

2 calls:

39.0ms	(-.f64 (/.f64 1 N) (/.f64 1/2 (*.f64 N N)))
24.0ms	(/.f64 1/2 (*.f64 N N))

Compiler

Compiled 202 to 176 computations (12.9% saved)

simplify90.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

57 → 57

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4864	753
1	4864	753

prune38.0ms (1.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	56	1	57
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	56	4	60

Error

0.0b

Counts

60 → 4

Compiler

Compiled 722 to 469 computations (35% saved)

regimes114.0ms (3.9%)

Accuracy

Total 0.1b remaining (51%)

Threshold costs 0.1b (51%)

Compiler

Compiled 784 to 652 computations (16.8% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 7 to 6 computations (14.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	78	41
1	78	41

end0.0ms (0%)

sample1.7s (56.7%)

Algorithm

1×

intervals

Results

460.0ms	2035×	body	1024	valid
242.0ms	4290×	body	128	valid
136.0ms	960×	body	512	valid
91.0ms	246×	body	2048	valid
40.0ms	469×	body	256	valid

Compiler

Compiled 419 to 350 computations (16.5% saved)

Details

analyze104.0ms (3.6%)

sample40.0ms (1.4%)

simplify10.0ms (0.3%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

rewrite55.0ms (1.9%)

series103.0ms (3.5%)

simplify84.0ms (2.9%)

prune49.0ms (1.7%)

localize5.0ms (0.2%)

rewrite59.0ms (2%)

series90.0ms (3.1%)

simplify65.0ms (2.2%)

prune55.0ms (1.9%)

localize4.0ms (0.2%)

rewrite22.0ms (0.8%)

series44.0ms (1.5%)

simplify60.0ms (2.1%)

prune23.0ms (0.8%)

localize5.0ms (0.2%)

rewrite59.0ms (2%)

series68.0ms (2.3%)

simplify90.0ms (3.1%)

prune38.0ms (1.3%)

regimes114.0ms (3.9%)

bsearch3.0ms (0.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.7s (56.7%)

Profiling