Details

Time bar (total: 15.4s)

sample68.0ms

Algorithm
intervals
Results
24.0ms60×body1280valid
9.0ms43×body640valid
8.0ms238×body80nan
6.0ms123×body80valid
3.0ms23×body320valid
1.0ms7×body160valid

simplify8.0ms

Counts
1 → 1
Iterations
IterNodes
done10
210
19
06

prune7.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 31.6b

localize20.0ms

Local error

Found 2 expressions with local error:

2.8b
(- (log (+ N 1.0)) (log N))
3.2b
(log (+ N 1.0))

rewrite27.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-+ 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:
18.0ms
(- (log (+ N 1.0)) (log N))
8.0ms
(log (+ N 1.0))

series207.0ms

Counts
2 → 6
Calls
2 calls:
133.0ms
(- (log (+ N 1.0)) (log N))
74.0ms
(log (+ N 1.0))

simplify2.9s

Counts
47 → 47
Iterations
IterNodes
done5003
44941
31603
2538
1213
0101

prune218.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize36.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N))
0.1b
(/ (/ 0.3333333333333333 N) (* N N))
0.8b
(/ 0.5 (* N N))
10.8b
(- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N)))

rewrite298.0ms

Algorithm
rewrite-expression-head
Rules
45×times-frac
34×add-sqr-sqrt
29×*-un-lft-identity
21×add-cbrt-cube add-exp-log
20×add-cube-cbrt
16×associate-/l*
11×add-log-exp
8×cbrt-undiv div-exp
6×div-inv difference-of-squares
4×pow1 frac-add
3×prod-exp cbrt-unprod distribute-lft-out--
2×associate-+l+ clear-num associate-/r* sum-log sub-neg frac-2neg flip3-- diff-log frac-sub flip-- distribute-lft-out sub-div
1×+-commutative flip3-+ distribute-rgt-out-- associate-+l- flip-+ associate-/l/
Counts
4 → 111
Calls
4 calls:
216.0ms
(+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N))
11.0ms
(/ (/ 0.3333333333333333 N) (* N N))
12.0ms
(/ 0.5 (* N N))
53.0ms
(- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N)))

series267.0ms

Counts
4 → 12
Calls
4 calls:
41.0ms
(+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N))
47.0ms
(/ (/ 0.3333333333333333 N) (* N N))
38.0ms
(/ 0.5 (* N N))
140.0ms
(- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N)))

simplify1.6s

Counts
123 → 123
Iterations
IterNodes
done5001
21816
1553
0215

prune606.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b
(/ (/ 0.3333333333333333 N) (* N N))
0.8b
(/ 0.5 (* N N))
0.8b
(log (exp (/ 0.5 (* N N))))
19.8b
(- (/ (/ 0.3333333333333333 N) (* N N)) (log (exp (/ 0.5 (* N N)))))

rewrite128.0ms

Algorithm
rewrite-expression-head
Rules
40×times-frac
31×add-sqr-sqrt
27×*-un-lft-identity
24×add-cube-cbrt
21×add-cbrt-cube add-exp-log
16×associate-/l*
9×log-pow
8×cbrt-undiv div-exp
7×exp-prod
6×pow1 log-prod
5×div-inv add-log-exp
3×prod-exp cbrt-unprod associate--r+ difference-of-squares
2×clear-num associate-/r* frac-2neg distribute-lft-out--
1×sub-neg flip3-- diff-log rem-log-exp flip-- associate-/l/
Counts
4 → 106
Calls
4 calls:
11.0ms
(/ (/ 0.3333333333333333 N) (* N N))
6.0ms
(/ 0.5 (* N N))
7.0ms
(log (exp (/ 0.5 (* N N))))
99.0ms
(- (/ (/ 0.3333333333333333 N) (* N N)) (log (exp (/ 0.5 (* N N)))))

series259.0ms

Counts
4 → 12
Calls
4 calls:
55.0ms
(/ (/ 0.3333333333333333 N) (* N N))
39.0ms
(/ 0.5 (* N N))
32.0ms
(log (exp (/ 0.5 (* N N))))
132.0ms
(- (/ (/ 0.3333333333333333 N) (* N N)) (log (exp (/ 0.5 (* N N)))))

simplify1.3s

Counts
118 → 118
Iterations
IterNodes
done5000
21348
1446
0192

prune507.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize85.0ms

Local error

Found 4 expressions with local error:

10.8b
(- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N)))
19.1b
(cbrt (+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N)))
19.1b
(cbrt (+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N)))
19.1b
(cbrt (+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N)))

rewrite549.0ms

Algorithm
rewrite-expression-head
Rules
26×*-un-lft-identity
21×add-sqr-sqrt
18×cbrt-div
15×cbrt-prod
12×frac-add
11×times-frac
7×add-cube-cbrt
6×distribute-lft-out add-log-exp difference-of-squares
5×distribute-lft-out--
4×pow1 flip3-- add-cbrt-cube add-exp-log frac-sub flip-- sub-div
3×flip3-+ pow1/3 flip-+
2×div-inv
1×sub-neg distribute-rgt-out-- diff-log
Counts
4 → 80
Calls
4 calls:
39.0ms
(- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N)))
183.0ms
(cbrt (+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N)))
170.0ms
(cbrt (+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N)))
154.0ms
(cbrt (+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N)))

series821.0ms

Counts
4 → 12
Calls
4 calls:
112.0ms
(- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N)))
241.0ms
(cbrt (+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N)))
230.0ms
(cbrt (+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N)))
238.0ms
(cbrt (+ (- (/ (/ 0.3333333333333333 N) (* N N)) (/ 0.5 (* N N))) (/ 1.0 N)))

simplify2.3s

Counts
92 → 92
Iterations
IterNodes
done5001
21276
1423
0177

prune540.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

regimes52.0ms

Accuracy

100% (0.0b remaining)

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

bsearch25.0ms

Steps
ItersRangePoint
7
1875.4132169206714
53640.016154094046
7536.677708381749

simplify5.0ms

Iterations
IterNodes
done19
119
017

end0.0ms

sample2.6s

Algorithm
intervals
Results
940.0ms1807×body1280valid
423.0ms8087×body80nan
389.0ms4016×body80valid
358.0ms1282×body640valid
144.0ms603×body320valid
31.0ms292×body160valid