Details

Time bar (total: 24.5s)

sample277.0ms

Algorithm
intervals
Results
19.0ms256×body80valid

simplify75.0ms

Calls
1 calls:
Slowest
73.0ms
(/ (- (+ f n)) (- f n))

prune12.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 0.0b

localize29.0ms

Local error

Found 1 expressions with local error:

0.0b
(/ (- (+ f n)) (- f n))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
30×times-frac
24×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
12×distribute-lft-neg-in distribute-rgt-neg-in
10×associate-/l*
4×neg-mul-1
3×associate-/r* add-cbrt-cube add-exp-log
2×associate-/r/ distribute-neg-frac associate-/l/
1×neg-sub0 pow1 cbrt-undiv clear-num frac-2neg flip3-+ flip3-- div-sub div-exp distribute-frac-neg flip-+ insert-posit16 div-inv flip-- add-log-exp
Calls
1 calls:
Slowest
14.0ms
(/ (- (+ f n)) (- f n))

series78.0ms

Calls
1 calls:
Slowest
78.0ms
(/ (- (+ f n)) (- f n))

simplify2.0s

Calls
81 calls:
Slowest
220.0ms
(- (- (* f f) (* n n)))
209.0ms
(/ (* (* (- (+ f n)) (- (+ f n))) (- (+ f n))) (* (* (- f n) (- f n)) (- f n)))
93.0ms
(/ (- (* (cbrt (+ f n)) (cbrt (+ f n)))) (* (cbrt (- f n)) (cbrt (- f n))))
62.0ms
(/ (- (+ f n)) (cbrt (- f n)))
61.0ms
(/ (- (+ f n)) (sqrt (- f n)))

prune585.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

Merged error: 0b

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- f n) (+ f n))
0.0b
(/ -1 (/ (- f n) (+ f n)))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
18×associate-/r* times-frac
17×add-sqr-sqrt *-un-lft-identity add-cube-cbrt
5×associate-/r/
4×add-cbrt-cube add-exp-log
3×div-inv associate-/l*
2×pow1 clear-num frac-2neg flip3-+ flip-+ insert-posit16 add-log-exp associate-/l/
1×cbrt-undiv flip3-- div-sub div-exp flip--
Calls
2 calls:
Slowest
3.0ms
(/ (- f n) (+ f n))
1.0ms
(/ -1 (/ (- f n) (+ f n)))

series60.0ms

Calls
2 calls:
Slowest
32.0ms
(/ -1 (/ (- f n) (+ f n)))
29.0ms
(/ (- f n) (+ f n))

simplify905.0ms

Calls
52 calls:
Slowest
114.0ms
(/ (* (* (- f n) (- f n)) (- f n)) (* (* (+ f n) (+ f n)) (+ f n)))
64.0ms
(+ (* f f) (- (* n n) (* f n)))
56.0ms
(+ (* f f) (- (* n n) (* f n)))
47.0ms
(/ (* (cbrt (- f n)) (cbrt (- f n))) (* (cbrt (+ f n)) (cbrt (+ f n))))
29.0ms
(cbrt (/ (- f n) (+ f n)))

prune529.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ n (+ f n))
0.0b
(- (/ f (+ f n)) (/ n (+ f n)))
0.0b
(/ -1 (- (/ f (+ f n)) (/ n (+ f n))))
0.0b
(/ f (+ f n))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
16×associate-/r/
14×associate-/r*
11×add-sqr-sqrt *-un-lft-identity
7×add-cube-cbrt div-inv
6×flip3-+ distribute-rgt-out-- flip-+ add-log-exp
4×pow1 add-cbrt-cube add-exp-log insert-posit16
3×clear-num frac-2neg
2×flip3-- frac-sub flip-- distribute-lft-out-- sub-div difference-of-squares
1×sub-neg diff-log
Calls
4 calls:
Slowest
17.0ms
(- (/ f (+ f n)) (/ n (+ f n)))
8.0ms
(/ -1 (- (/ f (+ f n)) (/ n (+ f n))))
1.0ms
(/ n (+ f n))
1.0ms
(/ f (+ f n))

series175.0ms

Calls
4 calls:
Slowest
59.0ms
(- (/ f (+ f n)) (/ n (+ f n)))
51.0ms
(/ -1 (- (/ f (+ f n)) (/ n (+ f n))))
33.0ms
(/ f (+ f n))
32.0ms
(/ n (+ f n))

simplify1.6s

Calls
48 calls:
Slowest
408.0ms
(- (* f (+ f n)) (* (+ f n) n))
175.0ms
(- (/ f (- (* f f) (* n n))) (/ n (- (* f f) (* n n))))
174.0ms
(+ (* (/ f (+ f n)) (/ f (+ f n))) (+ (* (/ n (+ f n)) (/ n (+ f n))) (* (/ f (+ f n)) (/ n (+ f n)))))
116.0ms
(- (/ f (- (* f f) (* n n))) (/ n (- (* f f) (* n n))))
106.0ms
(+ (* f f) (- (* n n) (* f n)))

prune658.0ms

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

30.8b
(/ (- (* f (+ f n)) (* (+ f n) n)) (* (+ f n) (+ f n)))
1.9b
(- (* f (+ f n)) (* (+ f n) n))
0.0b
(/ -1 (/ (- (* f (+ f n)) (* (+ f n) n)) (* (+ f n) (+ f n))))
0.0b
(* f (+ f n))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
25×flip3-+ flip-+
18×associate-*r/
17×associate-/r/
16×associate-/r* associate-*l/
9×add-sqr-sqrt *-un-lft-identity add-cbrt-cube add-exp-log add-cube-cbrt
8×frac-times frac-sub associate-/l/
6×times-frac add-log-exp
4×pow1 insert-posit16 sub-div
3×associate-*r* div-inv associate-/l*
2×distribute-rgt-in cbrt-undiv clear-num frac-2neg distribute-lft-in flip3-- div-exp associate--l+ flip--
1×sub-neg diff-log div-sub prod-exp *-commutative cbrt-unprod
Calls
4 calls:
Slowest
13.0ms
(/ (- (* f (+ f n)) (* (+ f n) n)) (* (+ f n) (+ f n)))
8.0ms
(- (* f (+ f n)) (* (+ f n) n))
4.0ms
(/ -1 (/ (- (* f (+ f n)) (* (+ f n) n)) (* (+ f n) (+ f n))))
2.0ms
(* f (+ f n))

series149.0ms

Calls
4 calls:
Slowest
63.0ms
(/ -1 (/ (- (* f (+ f n)) (* (+ f n) n)) (* (+ f n) (+ f n))))
43.0ms
(/ (- (* f (+ f n)) (* (+ f n) n)) (* (+ f n) (+ f n)))
22.0ms
(* f (+ f n))
20.0ms
(- (* f (+ f n)) (* (+ f n) n))

simplify15.2s

Calls
80 calls:
Slowest
1.2s
(/ (- (* f (+ f n)) (* (+ f n) n)) (+ f n))
889.0ms
(/ (- (* f (+ f n)) (* (+ f n) n)) (+ f n))
660.0ms
(- (* (* f (+ f n)) (* f (+ f n))) (* (* (+ f n) n) (* (+ f n) n)))
599.0ms
(/ (cbrt (- (* f (+ f n)) (* (+ f n) n))) (+ f n))
578.0ms
(/ (sqrt (- (* f (+ f n)) (* (+ f n) n))) (+ f n))

prune1.0s

Pruning

3 alts after pruning (0 fresh and 3 done)

Merged error: 0b

regimes92.0ms

Accuracy

0% (0.0b remaining)

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

bsearch2.0ms

end0.0ms

sample798.0ms

Algorithm
intervals
Results
631.0ms8000×body80valid