Details

analyze2.0ms

Algorithm

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

sample35.0ms

Algorithm

intervals

Results

15.0ms	53×	body	1280	valid
7.0ms	147×	body	80	valid
7.0ms	38×	body	640	valid
1.0ms	10×	body	320	valid
1.0ms	8×	body	160	valid

simplify7.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	70	7
1	70	7

prune1.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: 26.0b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

2.6b	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
3.2b	(log.f64 (+.f64 N 1))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64`
11×	`log-prod_binary64`
7×	`pow1_binary64` `add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64` `log-pow_binary64`
4×	`distribute-lft-out--_binary64` `log-div_binary64` `associate--l+_binary64`
3×	`associate--r+_binary64` `add-exp-log_binary64`
2×	`flip3-+_binary64` `add-log-exp_binary64` `associate--l-_binary64` `distribute-lft-out_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `rem-log-exp_binary64` `difference-of-squares_binary64` `flip--_binary64`

Counts

2 → 40

Calls

2 calls:

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

series9.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(-.f64 (log.f64 (+.f64 N 1)) (log.f64 N))
4.0ms	(log.f64 (+.f64 N 1))

simplify42.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5077	415

prune44.0ms

Filtered

33 candidates to 46 candidates (-39.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	42	4	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	4	47

Merged error: 0.1b

Counts

47 → 4

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

33×	`*-un-lft-identity_binary64`
24×	`times-frac_binary64`
19×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
16×	`log-prod_binary64`
7×	`distribute-lft-out_binary64` `add-exp-log_binary64`
4×	`add-cbrt-cube_binary64` `associate-/l*_binary64`
3×	`associate-/r*_binary64` `pow1_binary64`
2×	`associate-/l/_binary64` `add-log-exp_binary64` `rem-log-exp_binary64` `div-inv_binary64` `div-exp_binary64`
1×	`flip3-+_binary64` `cbrt-undiv_binary64` `log-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `log-div_binary64` `flip-+_binary64`

Counts

2 → 60

Calls

2 calls:

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

series11.0ms

Counts

2 → 6

Calls

2 calls:

7.0ms	(/.f64 (+.f64 N 1) N)
4.0ms	(log.f64 (/.f64 (+.f64 N 1) N))

simplify70.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	5091	613

prune32.0ms

Filtered

45 candidates to 66 candidates (-46.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	65	1	66
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	65	5	70

Merged error: 0.1b

Counts

70 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

2.5b	(-.f64 (pow.f64 (log.f64 (+.f64 N 1)) 3) (pow.f64 (log.f64 N) 3))
3.2b	(log.f64 (+.f64 N 1))
3.2b	(log.f64 (+.f64 N 1))
3.2b	(log.f64 (+.f64 N 1))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
24×	`unpow-prod-down_binary64` `cube-prod_binary64`
23×	`pow1_binary64`
19×	`log-pow_binary64`
17×	`distribute-lft-out--_binary64`
16×	`difference-of-squares_binary64`
12×	`log-prod_binary64`
8×	`sqr-pow_binary64`
7×	`add-cube-cbrt_binary64` `add-exp-log_binary64`
6×	`add-log-exp_binary64` `log-div_binary64`
4×	`add-cbrt-cube_binary64`
3×	`flip3-+_binary64` `distribute-lft-out_binary64` `rem-log-exp_binary64` `flip-+_binary64`
1×	`difference-cubes_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 90

Calls

4 calls:

15.0ms	(-.f64 (pow.f64 (log.f64 (+.f64 N 1)) 3) (pow.f64 (log.f64 N) 3))
3.0ms	(log.f64 (+.f64 N 1))
3.0ms	(log.f64 (+.f64 N 1))
4.0ms	(log.f64 (+.f64 N 1))

series30.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(-.f64 (pow.f64 (log.f64 (+.f64 N 1)) 3) (pow.f64 (log.f64 N) 3))
3.0ms	(log.f64 (+.f64 N 1))
3.0ms	(log.f64 (+.f64 N 1))
3.0ms	(log.f64 (+.f64 N 1))

simplify47.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5210	1422

prune86.0ms

Filtered

66 candidates to 102 candidates (-54.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	102	5	107

Merged error: 0.1b

Counts

107 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(-.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 N))
3.2b	(log.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))))
3.2b	(log.f64 (cbrt.f64 (+.f64 N 1)))
20.7b	(+.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1)))) (-.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 N)))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

44×	`pow1_binary64`
41×	`*-un-lft-identity_binary64`
37×	`log-pow_binary64`
28×	`cbrt-div_binary64`
26×	`log-prod_binary64`
20×	`log-div_binary64`
18×	`distribute-lft-out_binary64`
16×	`distribute-lft-out--_binary64`
15×	`flip3-+_binary64` `flip-+_binary64`
14×	`associate--l+_binary64`
13×	`add-sqr-sqrt_binary64`
12×	`cbrt-prod_binary64`
11×	`add-cube-cbrt_binary64`
8×	`add-exp-log_binary64` `associate-+l-_binary64` `associate-+r+_binary64` `frac-times_binary64`
7×	`pow-prod-down_binary64` `pow1/3_binary64`
5×	`add-log-exp_binary64`
4×	`associate-r/_binary64` `add-cbrt-cube_binary64` `associate-l/_binary64`
3×	`associate--r+_binary64` `rem-log-exp_binary64`
2×	`sub-neg_binary64` `associate--l-_binary64` `diff-log_binary64` `pow-prod-up_binary64` `pow-sqr_binary64` `sum-log_binary64`
1×	`associate-+r-_binary64` `flip3--_binary64` `associate-+l+_binary64` `pow-plus_binary64` `prod-exp_binary64` `difference-of-squares_binary64` `+-commutative_binary64` `flip--_binary64` `pow2_binary64`

Counts

4 → 119

Calls

4 calls:

9.0ms	(-.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 N))
9.0ms	(log.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))))
4.0ms	(log.f64 (cbrt.f64 (+.f64 N 1)))
23.0ms	(+.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1)))) (-.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 N)))

series39.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(-.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 N))
8.0ms	(log.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1))))
7.0ms	(log.f64 (cbrt.f64 (+.f64 N 1)))
16.0ms	(+.f64 (log.f64 (*.f64 (cbrt.f64 (+.f64 N 1)) (cbrt.f64 (+.f64 N 1)))) (-.f64 (log.f64 (cbrt.f64 (+.f64 N 1))) (log.f64 N)))

simplify61.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4946	1413
1	4946	1413

prune92.0ms

Filtered

95 candidates to 131 candidates (-37.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	131	5	136

Merged error: 0.1b

Counts

136 → 5

regimes29.0ms

Accuracy

100% (0.0b remaining)

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

bsearch8.0ms

Steps

Iters	Range		Point
6	9203.745231454746	110745.77218621274	10344.974774104036

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	25
1	37	25

end0.0ms

sample1.1s

Algorithm

intervals

Results

497.0ms	1726×	body	1280	valid
236.0ms	1270×	body	640	valid
199.0ms	4108×	body	80	valid
76.0ms	623×	body	320	valid
21.0ms	273×	body	160	valid

Details

analyze2.0ms

sample35.0ms

simplify7.0ms

prune1.0ms

localize6.0ms

rewrite12.0ms

series9.0ms

simplify42.0ms

prune44.0ms

localize5.0ms

rewrite13.0ms

series11.0ms

simplify70.0ms

prune32.0ms

localize19.0ms

rewrite28.0ms

series30.0ms

simplify47.0ms

prune86.0ms

localize14.0ms

rewrite51.0ms

series39.0ms

simplify61.0ms

prune92.0ms

regimes29.0ms

bsearch8.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling