Details

Time bar (total: 15.8s)

sample77.0ms

Algorithm
intervals
Results
27.0ms63×body1280valid
12.0ms42×body640valid
9.0ms198×body80nan
9.0ms121×body80valid
4.0ms20×body320valid
1.0ms10×body160valid

simplify4.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
197
2107
done107

prune2.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.4b

localize20.0ms

Local error

Found 2 expressions with local error:

1.6b
(log (+ N 1.0))
2.6b
(- (log (+ N 1.0)) (log N))

rewrite19.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:
5.0ms
(log (+ N 1.0))
13.0ms
(- (log (+ N 1.0)) (log N))

series199.0ms

Counts
2 → 6
Calls
2 calls:
72.0ms
(log (+ N 1.0))
126.0ms
(- (log (+ N 1.0)) (log N))

simplify3.0s

Counts
47 → 47
Iterations

Useful iterations: done (3.0s)

IterNodesCost
0101510
1213488
2464445
31067443
42569438
done5000426

prune138.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(- 1.0 (/ 0.5 N))
0.1b
(/ (- 1.0 (/ 0.5 N)) N)
0.1b
(/ 0.3333333333333333 (pow N 3))
11.8b
(+ (/ 0.3333333333333333 (pow N 3)) (/ (- 1.0 (/ 0.5 N)) N))

rewrite203.0ms

Algorithm
rewrite-expression-head
Rules
65×add-sqr-sqrt
63×times-frac
61×*-un-lft-identity
40×add-cube-cbrt
15×associate-/r*
12×unpow-prod-down cube-prod
11×add-exp-log
10×difference-of-squares
9×associate-/l*
8×add-cbrt-cube add-log-exp
6×distribute-lft-out--
4×pow1 cube-mult unpow3 div-exp sqr-pow
3×distribute-lft-out
2×cbrt-undiv flip3-- frac-2neg div-sub clear-num flip-- div-inv associate-/l/
1×+-commutative pow-to-exp associate-+r- sub-neg flip3-+ diff-log frac-add pow-exp sum-log flip-+
Counts
4 → 138
Calls
4 calls:
21.0ms
(- 1.0 (/ 0.5 N))
50.0ms
(/ (- 1.0 (/ 0.5 N)) N)
8.0ms
(/ 0.3333333333333333 (pow N 3))
118.0ms
(+ (/ 0.3333333333333333 (pow N 3)) (/ (- 1.0 (/ 0.5 N)) N))

series236.0ms

Counts
4 → 12
Calls
4 calls:
34.0ms
(- 1.0 (/ 0.5 N))
109.0ms
(/ (- 1.0 (/ 0.5 N)) N)
49.0ms
(/ 0.3333333333333333 (pow N 3))
44.0ms
(+ (/ 0.3333333333333333 (pow N 3)) (/ (- 1.0 (/ 0.5 N)) N))

simplify1.1s

Counts
150 → 150
Iterations

Useful iterations: 2 (430.0ms)

IterNodesCost
02141894
14691689
212881578
done50011578

prune469.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (/ 0.3333333333333333 (pow N 3)) (/ 1.0 N))
0.1b
(/ 0.3333333333333333 (pow N 3))
0.1b
(/ (/ 0.5 N) N)
11.8b
(- (+ (/ 0.3333333333333333 (pow N 3)) (/ 1.0 N)) (/ (/ 0.5 N) N))

rewrite800.0ms

Algorithm
rewrite-expression-head
Rules
119×times-frac
88×*-un-lft-identity
80×add-sqr-sqrt
71×add-cube-cbrt
16×associate-/l*
15×associate-/r*
14×add-exp-log
12×unpow-prod-down cube-prod
11×add-cbrt-cube add-log-exp
6×div-exp div-inv
4×pow1 cbrt-undiv cube-mult unpow3 distribute-lft-out sqr-pow
3×frac-sub distribute-lft-out-- difference-of-squares
2×frac-2neg flip3-+ diff-log frac-add clear-num sum-log flip-+
1×+-commutative pow-to-exp sub-neg flip3-- pow-exp associate--l+ flip-- associate-/l/
Counts
4 → 172
Calls
4 calls:
82.0ms
(+ (/ 0.3333333333333333 (pow N 3)) (/ 1.0 N))
11.0ms
(/ 0.3333333333333333 (pow N 3))
11.0ms
(/ (/ 0.5 N) N)
681.0ms
(- (+ (/ 0.3333333333333333 (pow N 3)) (/ 1.0 N)) (/ (/ 0.5 N) N))

series262.0ms

Counts
4 → 12
Calls
4 calls:
108.0ms
(+ (/ 0.3333333333333333 (pow N 3)) (/ 1.0 N))
59.0ms
(/ 0.3333333333333333 (pow N 3))
47.0ms
(/ (/ 0.5 N) N)
47.0ms
(- (+ (/ 0.3333333333333333 (pow N 3)) (/ 1.0 N)) (/ (/ 0.5 N) N))

simplify1.5s

Counts
184 → 184
Iterations

Useful iterations: done (1.5s)

IterNodesCost
02972540
16542271
217852116
done50012110

prune530.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (+ N 1.0) N)
2.7b
(log (/ (+ N 1.0) N))

rewrite34.0ms

Algorithm
rewrite-expression-head
Rules
33×*-un-lft-identity
24×times-frac
19×add-sqr-sqrt add-cube-cbrt
16×log-prod
7×add-exp-log distribute-lft-out
4×add-cbrt-cube associate-/l*
3×pow1 associate-/r*
2×div-exp rem-log-exp div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div frac-2neg flip3-+ clear-num log-pow flip-+
Counts
2 → 60
Calls
2 calls:
25.0ms
(/ (+ N 1.0) N)
7.0ms
(log (/ (+ N 1.0) N))

series221.0ms

Counts
2 → 6
Calls
2 calls:
90.0ms
(/ (+ N 1.0) N)
130.0ms
(log (/ (+ N 1.0) N))

simplify3.6s

Counts
66 → 66
Iterations

Useful iterations: 4 (2.0s)

IterNodesCost
0108723
1232690
2583637
31417624
43874622
done5001622

prune218.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes35.0ms

Accuracy

100% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 30.9b

bsearch37.0ms

Steps
ItersRangePoint
9
5.295671684036253
137362616.0762091
9454.187458193412

simplify4.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01825
12025
done2025

end0.0ms

sample2.9s

Algorithm
intervals
Results
881.0ms8006×body80nan
755.0ms1810×body1280valid
443.0ms1244×body640valid
324.0ms3991×body80valid
110.0ms648×body320valid
33.0ms307×body160valid