Details

Time bar (total: 20.6s)

sample117.0ms

Algorithm
intervals
Results
45.0ms54×body1280valid
19.0ms271×body80nan
17.0ms37×body640valid
16.0ms141×body80valid
4.0ms14×body320valid
2.0ms10×body160valid

simplify21.0ms

Calls
1 calls:
Slowest
21.0ms
(- (log (+ N 1)) (log N))

prune8.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 26.9b

localize16.0ms

Local error

Found 2 expressions with local error:

3.0b
(log (+ N 1))
2.7b
(- (log (+ N 1)) (log N))

rewrite12.0ms

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

series119.0ms

Calls
2 calls:
Slowest
94.0ms
(- (log (+ N 1)) (log N))
24.0ms
(log (+ N 1))

simplify1.6s

Calls
29 calls:
Slowest
296.0ms
(- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
243.0ms
(- (+ N (* 1/3 (pow N 3))) (* 1/2 (pow N 2)))
221.0ms
(- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
219.0ms
(- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
142.0ms
(- (/ 1 N) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ 1 N))))

prune417.0ms

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize15.0ms

Local error

Found 2 expressions with local error:

2.7b
(log (/ (+ N 1) N))
0.0b
(/ (+ N 1) 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 insert-posit16 div-inv add-log-exp associate-/l/
1×cbrt-undiv log-div clear-num frac-2neg flip3-+ log-pow flip-+
Calls
2 calls:
Slowest
25.0ms
(/ (+ N 1) N)
7.0ms
(log (/ (+ N 1) N))

series128.0ms

Calls
2 calls:
Slowest
72.0ms
(log (/ (+ N 1) N))
56.0ms
(/ (+ N 1) N)

simplify1.8s

Calls
57 calls:
Slowest
303.0ms
(/ (* (* (+ N 1) (+ N 1)) (+ N 1)) (* (* N N) N))
212.0ms
(- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
174.0ms
(- (+ (* 1/3 (/ 1 (pow N 3))) (/ 1 N)) (* 1/2 (/ 1 (pow N 2))))
131.0ms
(log (/ (* (cbrt (+ N 1)) (cbrt (+ N 1))) (* (cbrt N) (cbrt N))))
107.0ms
(- N (+ (log N) (* 1/2 (pow N 2))))

prune437.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize45.0ms

Local error

Found 4 expressions with local error:

3.0b
(log (+ N 1))
3.0b
(log (+ N 1))
3.0b
(log (+ N 1))
2.7b
(- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
26×log-prod
21×*-un-lft-identity
11×add-sqr-sqrt add-cube-cbrt
8×associate--l+
7×distribute-rgt-in pow1 distribute-lft-in add-exp-log
6×log-div associate--r+ add-log-exp
5×distribute-lft-out
4×add-cbrt-cube insert-posit16
3×flip3-+ rem-log-exp log-pow flip-+
1×sub-neg flip3-- diff-log flip-- difference-of-squares
Calls
4 calls:
Slowest
12.0ms
(- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N)))
7.0ms
(log (+ N 1))
5.0ms
(log (+ N 1))
3.0ms
(log (+ N 1))

series228.0ms

Calls
4 calls:
Slowest
120.0ms
(- (* (log (+ N 1)) (log (+ N 1))) (* (log N) (log N)))
46.0ms
(log (+ N 1))
36.0ms
(log (+ N 1))
26.0ms
(log (+ N 1))

simplify3.8s

Calls
50 calls:
Slowest
404.0ms
(- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
346.0ms
(- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))
333.0ms
(- (+ (* 2 (/ (log -1) N)) (+ (/ 1 (pow N 2)) (+ (/ (log (/ -1 N)) (pow N 2)) (* 2/3 (/ (log -1) (pow N 3)))))) (+ (/ 1 (pow N 3)) (+ (* 2/3 (/ (log (/ -1 N)) (pow N 3))) (+ (* 2 (/ (log (/ -1 N)) N)) (/ (log -1) (pow N 2))))))
307.0ms
(- (pow N 2) (+ (pow (log N) 2) (pow N 3)))
296.0ms
(- (+ (/ 1 N) (log -1)) (+ (* 1/2 (/ 1 (pow N 2))) (log (/ -1 N))))

prune848.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize25.0ms

Local error

Found 4 expressions with local error:

14.0b
(+ (+ (/ 1 N) (/ -1/2 (* N N))) (/ (/ 1/3 (* N N)) N))
0.8b
(/ 1/3 (* N N))
0.7b
(/ -1/2 (* N N))
0.1b
(/ (/ 1/3 (* N N)) N)

rewrite136.0ms

Algorithm
rewrite-expression-head
Rules
39×times-frac
31×*-un-lft-identity
24×add-sqr-sqrt add-cube-cbrt
23×add-cbrt-cube add-exp-log
13×associate-/l*
9×cbrt-undiv div-exp add-log-exp
8×div-inv
5×associate-/r* distribute-lft-out
4×pow1 frac-add insert-posit16
3×clear-num sum-log frac-2neg prod-exp cbrt-unprod
2×flip3-+ flip-+
1×+-commutative associate-+l+ associate-/l/
Calls
4 calls:
Slowest
108.0ms
(+ (+ (/ 1 N) (/ -1/2 (* N N))) (/ (/ 1/3 (* N N)) N))
12.0ms
(/ (/ 1/3 (* N N)) N)
9.0ms
(/ -1/2 (* N N))
6.0ms
(/ 1/3 (* N N))

series167.0ms

Calls
4 calls:
Slowest
46.0ms
(/ (/ 1/3 (* N N)) N)
44.0ms
(/ 1/3 (* N N))
41.0ms
(/ -1/2 (* N N))
35.0ms
(+ (+ (/ 1 N) (/ -1/2 (* N N))) (/ (/ 1/3 (* N N)) N))

simplify6.8s

Calls
103 calls:
Slowest
784.0ms
(* (+ (* (/ 1 N) (/ 1 N)) (- (* (/ -1/2 (* N N)) (/ -1/2 (* N N))) (* (/ 1 N) (/ -1/2 (* N N))))) N)
433.0ms
(- (+ (/ 1 N) (* 1/3 (/ 1 (pow N 3)))) (* 1/2 (/ 1 (pow N 2))))
372.0ms
(+ (* (- (* (/ 1 N) (/ 1 N)) (* (/ -1/2 (* N N)) (/ -1/2 (* N N)))) N) (* (- (/ 1 N) (/ -1/2 (* N N))) (/ 1/3 (* N N))))
329.0ms
(/ (* (* -1/2 -1/2) -1/2) (* (* (* N N) N) (* (* N N) N)))
322.0ms
(/ (* (* 1/3 1/3) 1/3) (* (* (* N N) N) (* (* N N) N)))

prune901.0ms

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes35.0ms

Accuracy

100% (0.0b remaining)

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

bsearch43.0ms

end0.0ms

sample2.7s

Algorithm
intervals
Results
882.0ms1762×body1280valid
584.0ms8072×body80nan
443.0ms1279×body640valid
378.0ms4021×body80valid
189.0ms628×body320valid
81.0ms310×body160valid