Details

Time bar (total: 4.0s)

sample43.0ms

Algorithm
intervals
Results
14.0ms58×body1280valid
6.0ms296×body80nan
6.0ms43×body640valid
5.0ms125×body80valid
1.0ms15×body320valid
1.0ms15×body160valid

simplify5.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
094
1104
2104

prune2.0ms

Filtered
1 candidates to 0 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.6b

localize6.0ms

Local error

Found 2 expressions with local error:

2.1b
(log (+ N 1.0))
3.6b
(- (log (+ N 1.0)) (log N))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
13×*-un-lft-identity
11×log-prod
7×pow1 add-sqr-sqrt
5×add-cube-cbrt log-pow
4×log-div associate--l+ distribute-lft-out--
3×add-exp-log associate--r+
2×associate--l- flip3-+ add-cbrt-cube flip-+ distribute-lft-out add-log-exp
1×sub-neg flip3-- diff-log rem-log-exp flip-- difference-of-squares
Counts
2 → 41
Calls
2 calls:
2.0ms
(log (+ N 1.0))
6.0ms
(- (log (+ N 1.0)) (log N))

series135.0ms

Counts
2 → 6
Calls
2 calls:
45.0ms
(log (+ N 1.0))
91.0ms
(- (log (+ N 1.0)) (log N))

simplify52.0ms

Algorithm
egg-herbie
Counts
47 → 47
Iterations

Useful iterations: 3 (48.0ms)

IterNodesCost
0212281
1547264
21875250
35001247

prune101.0ms

Filtered
47 candidates to 33 candidates (70.2%)
Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b
(- (/ 0.3333333333333333 N) 0.5)
0.0b
(+ (* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5)) (/ 1.0 N))
0.1b
(* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5))
0.4b
(/ 1 (pow N 2))

rewrite82.0ms

Algorithm
rewrite-expression-head
Rules
65×add-sqr-sqrt
58×times-frac
45×*-un-lft-identity
37×add-cube-cbrt
33×add-exp-log
28×associate-*l*
23×unpow-prod-down
12×div-exp
11×add-cbrt-cube
10×prod-exp
9×unpow2 unswap-sqr sqr-pow
8×associate-/r* add-log-exp
6×pow1 pow-to-exp rec-exp 1-exp associate-*r* pow-exp
5×sub-neg flip3-- frac-add flip--
4×distribute-rgt-in frac-times associate-+l+ distribute-lft-in associate-*r/ difference-of-squares
3×associate-/l*
2×cbrt-undiv associate-*l/ cbrt-unprod div-inv distribute-lft-out--
1×+-commutative pow-flip frac-2neg flip3-+ diff-log pow-prod-down clear-num sum-log *-commutative flip-+ inv-pow
Counts
4 → 165
Calls
4 calls:
10.0ms
(- (/ 0.3333333333333333 N) 0.5)
18.0ms
(+ (* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5)) (/ 1.0 N))
44.0ms
(* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5))
4.0ms
(/ 1 (pow N 2))

series154.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(- (/ 0.3333333333333333 N) 0.5)
34.0ms
(+ (* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5)) (/ 1.0 N))
72.0ms
(* (/ 1 (pow N 2)) (- (/ 0.3333333333333333 N) 0.5))
16.0ms
(/ 1 (pow N 2))

simplify72.0ms

Algorithm
egg-herbie
Counts
177 → 177
Iterations

Useful iterations: 2 (59.0ms)

IterNodesCost
05971169
12754978
25001915

prune298.0ms

Filtered
177 candidates to 101 candidates (57.1%)
Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize12.0ms

Local error

Found 4 expressions with local error:

0.1b
(* (/ 0.3333333333333333 N) (/ 1 (pow N 2)))
0.1b
(/ (/ 0.5 N) N)
0.4b
(/ 1 (pow N 2))
12.4b
(+ (* (/ 0.3333333333333333 N) (/ 1 (pow N 2))) (- (/ 1.0 N) (/ (/ 0.5 N) N)))

rewrite148.0ms

Algorithm
rewrite-expression-head
Rules
157×times-frac
130×add-sqr-sqrt
93×*-un-lft-identity
85×add-cube-cbrt
68×add-exp-log
31×div-exp
28×associate-*r*
25×unpow-prod-down
23×add-cbrt-cube
20×prod-exp
18×unswap-sqr
16×frac-add associate-/l*
13×associate-*l*
11×associate-/r* unpow2 sqr-pow
9×pow-to-exp rec-exp 1-exp pow-exp add-log-exp
8×cbrt-undiv div-inv
6×pow1
5×frac-times associate-*r/ associate-*l/ un-div-inv
4×flip3-- frac-sub flip-- cbrt-unprod sub-div
2×associate-+r+ frac-2neg clear-num sum-log
1×+-commutative associate-+r- sub-neg pow-flip flip3-+ diff-log pow-prod-down *-commutative flip-+ associate-/l/ inv-pow
Counts
4 → 254
Calls
4 calls:
21.0ms
(* (/ 0.3333333333333333 N) (/ 1 (pow N 2)))
5.0ms
(/ (/ 0.5 N) N)
4.0ms
(/ 1 (pow N 2))
105.0ms
(+ (* (/ 0.3333333333333333 N) (/ 1 (pow N 2))) (- (/ 1.0 N) (/ (/ 0.5 N) N)))

series113.0ms

Counts
4 → 12
Calls
4 calls:
39.0ms
(* (/ 0.3333333333333333 N) (/ 1 (pow N 2)))
23.0ms
(/ (/ 0.5 N) N)
16.0ms
(/ 1 (pow N 2))
34.0ms
(+ (* (/ 0.3333333333333333 N) (/ 1 (pow N 2))) (- (/ 1.0 N) (/ (/ 0.5 N) N)))

simplify47.0ms

Algorithm
egg-herbie
Counts
266 → 266
Iterations

Useful iterations: 1 (27.0ms)

IterNodesCost
012331851
150011616

prune498.0ms

Filtered
266 candidates to 155 candidates (58.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ 1 N) N)
0.1b
(/ (/ 0.5 N) N)
3.1b
(log (exp (/ (/ 1 N) N)))
12.4b
(+ (* (/ 0.3333333333333333 N) (log (exp (/ (/ 1 N) N)))) (- (/ 1.0 N) (/ (/ 0.5 N) N)))

rewrite162.0ms

Algorithm
rewrite-expression-head
Rules
216×times-frac
126×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
44×log-pow
43×exp-prod
26×associate-/l*
18×add-exp-log
14×add-cbrt-cube div-inv
9×log-prod div-exp add-log-exp
8×pow1
6×cbrt-undiv associate-+l+ associate-/r*
4×associate-*l/ frac-add
3×distribute-rgt-in distribute-lft-in
2×associate-+r+ frac-2neg clear-num sum-log associate-/l/ pow-div
1×+-commutative associate-+r- sub-neg rec-exp flip3-- pow-flip flip3-+ diff-log 1-exp rem-log-exp frac-sub flip-- flip-+ inv-pow sub-div
Counts
4 → 224
Calls
4 calls:
6.0ms
(/ (/ 1 N) N)
6.0ms
(/ (/ 0.5 N) N)
16.0ms
(log (exp (/ (/ 1 N) N)))
123.0ms
(+ (* (/ 0.3333333333333333 N) (log (exp (/ (/ 1 N) N)))) (- (/ 1.0 N) (/ (/ 0.5 N) N)))

series92.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(/ (/ 1 N) N)
24.0ms
(/ (/ 0.5 N) N)
21.0ms
(log (exp (/ (/ 1 N) N)))
31.0ms
(+ (* (/ 0.3333333333333333 N) (log (exp (/ (/ 1 N) N)))) (- (/ 1.0 N) (/ (/ 0.5 N) N)))

simplify84.0ms

Algorithm
egg-herbie
Counts
236 → 236
Iterations

Useful iterations: 2 (66.0ms)

IterNodesCost
08991579
132191405
250031305

prune536.0ms

Filtered
236 candidates to 155 candidates (65.7%)
Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

regimes22.0ms

Accuracy

100% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 32.0b

bsearch29.0ms

Steps
ItersRangePoint
8
6.164824567421913
81461.56837266182
13931.961951684772

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02714
12714

end0.0ms

sample1.2s

Algorithm
intervals
Results
417.0ms1769×body1280valid
191.0ms1268×body640valid
182.0ms7974×body80nan
162.0ms4071×body80valid
58.0ms606×body320valid
17.0ms286×body160valid