0.850 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.260 * * * [progress]: [2/2] Setting up program. 0.263 * [progress]: [Phase 2 of 3] Improving. 0.266 * [simplify]: Simplifying using # : (/ (- (+ f n)) (- f n)) 0.272 * * [simplify]: iteration 0 : 13 enodes (cost 4 ) 0.273 * * [simplify]: iteration 1 : 16 enodes (cost 4 ) 0.275 * * [simplify]: iteration 2 : 20 enodes (cost 4 ) 0.276 * * [simplify]: iteration 3 : 26 enodes (cost 4 ) 0.277 * * [simplify]: iteration 4 : 31 enodes (cost 4 ) 0.279 * * [simplify]: iteration 5 : 33 enodes (cost 4 ) 0.280 * * [simplify]: iteration 6 : 33 enodes (cost 4 ) 0.280 * [simplify]: Simplified to: (/ (- (+ f n)) (- f n)) 0.282 * * [progress]: iteration 1 / 4 0.282 * * * [progress]: picking best candidate 0.284 * * * * [pick]: Picked # 0.284 * * * [progress]: localizing error 0.292 * * * [progress]: generating rewritten candidates 0.292 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.300 * * * [progress]: generating series expansions 0.300 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.305 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 0.305 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.305 * [taylor]: Taking taylor expansion of -1 in n 0.305 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.305 * [taylor]: Taking taylor expansion of (+ n f) in n 0.305 * [taylor]: Taking taylor expansion of n in n 0.306 * [taylor]: Taking taylor expansion of f in n 0.306 * [taylor]: Taking taylor expansion of (- f n) in n 0.306 * [taylor]: Taking taylor expansion of f in n 0.306 * [taylor]: Taking taylor expansion of n in n 0.307 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.307 * [taylor]: Taking taylor expansion of -1 in f 0.307 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.307 * [taylor]: Taking taylor expansion of (+ n f) in f 0.307 * [taylor]: Taking taylor expansion of n in f 0.307 * [taylor]: Taking taylor expansion of f in f 0.307 * [taylor]: Taking taylor expansion of (- f n) in f 0.307 * [taylor]: Taking taylor expansion of f in f 0.307 * [taylor]: Taking taylor expansion of n in f 0.307 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.307 * [taylor]: Taking taylor expansion of -1 in f 0.307 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.307 * [taylor]: Taking taylor expansion of (+ n f) in f 0.307 * [taylor]: Taking taylor expansion of n in f 0.307 * [taylor]: Taking taylor expansion of f in f 0.307 * [taylor]: Taking taylor expansion of (- f n) in f 0.307 * [taylor]: Taking taylor expansion of f in f 0.307 * [taylor]: Taking taylor expansion of n in f 0.308 * [taylor]: Taking taylor expansion of 1 in n 0.310 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.310 * [taylor]: Taking taylor expansion of 2 in n 0.310 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.310 * [taylor]: Taking taylor expansion of n in n 0.313 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.313 * [taylor]: Taking taylor expansion of 2 in n 0.313 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.313 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.313 * [taylor]: Taking taylor expansion of n in n 0.319 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.319 * [taylor]: Taking taylor expansion of 2 in n 0.319 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.319 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.319 * [taylor]: Taking taylor expansion of n in n 0.325 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 0.325 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.326 * [taylor]: Taking taylor expansion of -1 in n 0.326 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.326 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.326 * [taylor]: Taking taylor expansion of f in n 0.326 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.326 * [taylor]: Taking taylor expansion of n in n 0.326 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.326 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.326 * [taylor]: Taking taylor expansion of f in n 0.326 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.326 * [taylor]: Taking taylor expansion of n in n 0.327 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.327 * [taylor]: Taking taylor expansion of -1 in f 0.328 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.328 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.328 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.328 * [taylor]: Taking taylor expansion of f in f 0.328 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.328 * [taylor]: Taking taylor expansion of n in f 0.328 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.328 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.328 * [taylor]: Taking taylor expansion of f in f 0.328 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.328 * [taylor]: Taking taylor expansion of n in f 0.329 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.329 * [taylor]: Taking taylor expansion of -1 in f 0.329 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.329 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.329 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.329 * [taylor]: Taking taylor expansion of f in f 0.329 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.329 * [taylor]: Taking taylor expansion of n in f 0.329 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.329 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.329 * [taylor]: Taking taylor expansion of f in f 0.330 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.330 * [taylor]: Taking taylor expansion of n in f 0.331 * [taylor]: Taking taylor expansion of -1 in n 0.332 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.332 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.332 * [taylor]: Taking taylor expansion of 2 in n 0.332 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.332 * [taylor]: Taking taylor expansion of n in n 0.337 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.337 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.337 * [taylor]: Taking taylor expansion of 2 in n 0.337 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.337 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.337 * [taylor]: Taking taylor expansion of n in n 0.345 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.345 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.345 * [taylor]: Taking taylor expansion of 2 in n 0.345 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.346 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.346 * [taylor]: Taking taylor expansion of n in n 0.352 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.352 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.352 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.352 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.352 * [taylor]: Taking taylor expansion of f in n 0.352 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.352 * [taylor]: Taking taylor expansion of n in n 0.352 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.352 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.352 * [taylor]: Taking taylor expansion of n in n 0.353 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.353 * [taylor]: Taking taylor expansion of f in n 0.353 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.353 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.353 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.353 * [taylor]: Taking taylor expansion of f in f 0.354 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.354 * [taylor]: Taking taylor expansion of n in f 0.354 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.354 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.354 * [taylor]: Taking taylor expansion of n in f 0.354 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.354 * [taylor]: Taking taylor expansion of f in f 0.368 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.368 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.368 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.368 * [taylor]: Taking taylor expansion of f in f 0.369 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.369 * [taylor]: Taking taylor expansion of n in f 0.369 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.369 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.369 * [taylor]: Taking taylor expansion of n in f 0.369 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.369 * [taylor]: Taking taylor expansion of f in f 0.370 * [taylor]: Taking taylor expansion of -1 in n 0.372 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.372 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.372 * [taylor]: Taking taylor expansion of 2 in n 0.372 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.372 * [taylor]: Taking taylor expansion of n in n 0.375 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.375 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.375 * [taylor]: Taking taylor expansion of 2 in n 0.375 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.375 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.376 * [taylor]: Taking taylor expansion of n in n 0.382 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.383 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.383 * [taylor]: Taking taylor expansion of 2 in n 0.383 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.383 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.383 * [taylor]: Taking taylor expansion of n in n 0.388 * * * [progress]: simplifying candidates 0.389 * [simplify]: Simplifying using # : (- (- (+ f n))) (- (- f n)) (/ 0 (- f n)) (/ (+ f n) (- f n)) (/ 1 (- f n)) (/ (- f n) (- (+ f n))) (/ (+ f n) (- f n)) (/ (- f n) (+ f n)) (/ (- (+ f n)) (- (pow f 3) (pow n 3))) (/ (- (+ f n)) (- (* f f) (* n n))) (* (- f n) (+ (* f f) (- (* n n) (* f n)))) (* (- f n) (- f n)) 1 -1 -1 0.391 * * [simplify]: iteration 0 : 73 enodes (cost 39 ) 0.393 * * [simplify]: iteration 1 : 182 enodes (cost 39 ) 0.397 * * [simplify]: iteration 2 : 482 enodes (cost 35 ) 0.407 * * [simplify]: iteration 3 : 1812 enodes (cost 35 ) 0.433 * * [simplify]: iteration 4 : 5001 enodes (cost 34 ) 0.433 * [simplify]: Simplified to: (+ f n) (- n f) 0 (/ (+ f n) (- f n)) (/ 1 (- f n)) (/ (- f n) (- (+ f n))) (/ (+ f n) (- f n)) (/ (- f n) (+ f n)) (/ (- (+ f n)) (- (pow f 3) (pow n 3))) (/ 1 (- n f)) (* (+ (* n (- n f)) (* f f)) (- f n)) (* (- f n) (- f n)) 1 -1 -1 0.434 * * * [progress]: adding candidates to table 0.458 * * [progress]: iteration 2 / 4 0.458 * * * [progress]: picking best candidate 0.460 * * * * [pick]: Picked # 0.461 * * * [progress]: localizing error 0.467 * * * [progress]: generating rewritten candidates 0.467 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.474 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.480 * * * [progress]: generating series expansions 0.480 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.480 * [approximate]: Taking taylor expansion of (* -1 (/ (- f n) (+ n f))) in (f n) around 0 0.480 * [taylor]: Taking taylor expansion of (* -1 (/ (- f n) (+ n f))) in n 0.480 * [taylor]: Taking taylor expansion of -1 in n 0.480 * [taylor]: Taking taylor expansion of (/ (- f n) (+ n f)) in n 0.480 * [taylor]: Taking taylor expansion of (- f n) in n 0.480 * [taylor]: Taking taylor expansion of f in n 0.480 * [taylor]: Taking taylor expansion of n in n 0.480 * [taylor]: Taking taylor expansion of (+ n f) in n 0.480 * [taylor]: Taking taylor expansion of n in n 0.480 * [taylor]: Taking taylor expansion of f in n 0.481 * [taylor]: Taking taylor expansion of (* -1 (/ (- f n) (+ n f))) in f 0.481 * [taylor]: Taking taylor expansion of -1 in f 0.481 * [taylor]: Taking taylor expansion of (/ (- f n) (+ n f)) in f 0.481 * [taylor]: Taking taylor expansion of (- f n) in f 0.481 * [taylor]: Taking taylor expansion of f in f 0.481 * [taylor]: Taking taylor expansion of n in f 0.481 * [taylor]: Taking taylor expansion of (+ n f) in f 0.481 * [taylor]: Taking taylor expansion of n in f 0.481 * [taylor]: Taking taylor expansion of f in f 0.481 * [taylor]: Taking taylor expansion of (* -1 (/ (- f n) (+ n f))) in f 0.481 * [taylor]: Taking taylor expansion of -1 in f 0.481 * [taylor]: Taking taylor expansion of (/ (- f n) (+ n f)) in f 0.481 * [taylor]: Taking taylor expansion of (- f n) in f 0.481 * [taylor]: Taking taylor expansion of f in f 0.481 * [taylor]: Taking taylor expansion of n in f 0.481 * [taylor]: Taking taylor expansion of (+ n f) in f 0.481 * [taylor]: Taking taylor expansion of n in f 0.481 * [taylor]: Taking taylor expansion of f in f 0.482 * [taylor]: Taking taylor expansion of 1 in n 0.483 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.483 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.483 * [taylor]: Taking taylor expansion of 2 in n 0.483 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.483 * [taylor]: Taking taylor expansion of n in n 0.486 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.486 * [taylor]: Taking taylor expansion of 2 in n 0.486 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.486 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.486 * [taylor]: Taking taylor expansion of n in n 0.492 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.492 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.492 * [taylor]: Taking taylor expansion of 2 in n 0.492 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.492 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.492 * [taylor]: Taking taylor expansion of n in n 0.498 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in (f n) around 0 0.498 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in n 0.498 * [taylor]: Taking taylor expansion of -1 in n 0.498 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in n 0.498 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.498 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.498 * [taylor]: Taking taylor expansion of f in n 0.498 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.498 * [taylor]: Taking taylor expansion of n in n 0.498 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.498 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.498 * [taylor]: Taking taylor expansion of f in n 0.498 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.498 * [taylor]: Taking taylor expansion of n in n 0.500 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in f 0.500 * [taylor]: Taking taylor expansion of -1 in f 0.500 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f 0.500 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.500 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.500 * [taylor]: Taking taylor expansion of f in f 0.500 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.500 * [taylor]: Taking taylor expansion of n in f 0.500 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.500 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.500 * [taylor]: Taking taylor expansion of f in f 0.500 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.500 * [taylor]: Taking taylor expansion of n in f 0.501 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n)))) in f 0.501 * [taylor]: Taking taylor expansion of -1 in f 0.501 * [taylor]: Taking taylor expansion of (/ (- (/ 1 f) (/ 1 n)) (+ (/ 1 f) (/ 1 n))) in f 0.501 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.501 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.501 * [taylor]: Taking taylor expansion of f in f 0.501 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.501 * [taylor]: Taking taylor expansion of n in f 0.502 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.502 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.502 * [taylor]: Taking taylor expansion of f in f 0.502 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.502 * [taylor]: Taking taylor expansion of n in f 0.503 * [taylor]: Taking taylor expansion of -1 in n 0.504 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.504 * [taylor]: Taking taylor expansion of 2 in n 0.504 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.504 * [taylor]: Taking taylor expansion of n in n 0.508 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.508 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.508 * [taylor]: Taking taylor expansion of 2 in n 0.508 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.508 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.508 * [taylor]: Taking taylor expansion of n in n 0.516 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.516 * [taylor]: Taking taylor expansion of 2 in n 0.516 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.516 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.516 * [taylor]: Taking taylor expansion of n in n 0.522 * [approximate]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in (f n) around 0 0.522 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in n 0.522 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.522 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.522 * [taylor]: Taking taylor expansion of n in n 0.522 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.522 * [taylor]: Taking taylor expansion of f in n 0.522 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.522 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.522 * [taylor]: Taking taylor expansion of f in n 0.522 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.522 * [taylor]: Taking taylor expansion of n in n 0.523 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f 0.524 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.524 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.524 * [taylor]: Taking taylor expansion of n in f 0.524 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.524 * [taylor]: Taking taylor expansion of f in f 0.524 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.524 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.524 * [taylor]: Taking taylor expansion of f in f 0.524 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.524 * [taylor]: Taking taylor expansion of n in f 0.525 * [taylor]: Taking taylor expansion of (/ (- (/ 1 n) (/ 1 f)) (+ (/ 1 f) (/ 1 n))) in f 0.525 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.525 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.525 * [taylor]: Taking taylor expansion of n in f 0.525 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.525 * [taylor]: Taking taylor expansion of f in f 0.526 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.526 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.526 * [taylor]: Taking taylor expansion of f in f 0.526 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.526 * [taylor]: Taking taylor expansion of n in f 0.527 * [taylor]: Taking taylor expansion of -1 in n 0.528 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.528 * [taylor]: Taking taylor expansion of 2 in n 0.528 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.528 * [taylor]: Taking taylor expansion of n in n 0.532 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.532 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.532 * [taylor]: Taking taylor expansion of 2 in n 0.532 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.532 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.532 * [taylor]: Taking taylor expansion of n in n 0.539 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.539 * [taylor]: Taking taylor expansion of 2 in n 0.539 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.539 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.539 * [taylor]: Taking taylor expansion of n in n 0.545 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.545 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 0.545 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.545 * [taylor]: Taking taylor expansion of -1 in n 0.545 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.545 * [taylor]: Taking taylor expansion of (+ n f) in n 0.545 * [taylor]: Taking taylor expansion of n in n 0.545 * [taylor]: Taking taylor expansion of f in n 0.545 * [taylor]: Taking taylor expansion of (- f n) in n 0.545 * [taylor]: Taking taylor expansion of f in n 0.545 * [taylor]: Taking taylor expansion of n in n 0.546 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.546 * [taylor]: Taking taylor expansion of -1 in f 0.546 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.546 * [taylor]: Taking taylor expansion of (+ n f) in f 0.546 * [taylor]: Taking taylor expansion of n in f 0.546 * [taylor]: Taking taylor expansion of f in f 0.546 * [taylor]: Taking taylor expansion of (- f n) in f 0.546 * [taylor]: Taking taylor expansion of f in f 0.546 * [taylor]: Taking taylor expansion of n in f 0.546 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.546 * [taylor]: Taking taylor expansion of -1 in f 0.546 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.546 * [taylor]: Taking taylor expansion of (+ n f) in f 0.546 * [taylor]: Taking taylor expansion of n in f 0.546 * [taylor]: Taking taylor expansion of f in f 0.546 * [taylor]: Taking taylor expansion of (- f n) in f 0.546 * [taylor]: Taking taylor expansion of f in f 0.546 * [taylor]: Taking taylor expansion of n in f 0.546 * [taylor]: Taking taylor expansion of 1 in n 0.548 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.548 * [taylor]: Taking taylor expansion of 2 in n 0.548 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.548 * [taylor]: Taking taylor expansion of n in n 0.550 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.550 * [taylor]: Taking taylor expansion of 2 in n 0.550 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.550 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.550 * [taylor]: Taking taylor expansion of n in n 0.556 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.556 * [taylor]: Taking taylor expansion of 2 in n 0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.556 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.556 * [taylor]: Taking taylor expansion of n in n 0.565 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 0.565 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.565 * [taylor]: Taking taylor expansion of -1 in n 0.565 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.565 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.565 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.565 * [taylor]: Taking taylor expansion of f in n 0.565 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.565 * [taylor]: Taking taylor expansion of n in n 0.565 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.565 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.565 * [taylor]: Taking taylor expansion of f in n 0.565 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.565 * [taylor]: Taking taylor expansion of n in n 0.567 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.567 * [taylor]: Taking taylor expansion of -1 in f 0.567 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.567 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.567 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.567 * [taylor]: Taking taylor expansion of f in f 0.567 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.567 * [taylor]: Taking taylor expansion of n in f 0.567 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.567 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.567 * [taylor]: Taking taylor expansion of f in f 0.567 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.567 * [taylor]: Taking taylor expansion of n in f 0.568 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.568 * [taylor]: Taking taylor expansion of -1 in f 0.568 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.568 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.568 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.568 * [taylor]: Taking taylor expansion of f in f 0.569 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.569 * [taylor]: Taking taylor expansion of n in f 0.569 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.569 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.569 * [taylor]: Taking taylor expansion of f in f 0.569 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.569 * [taylor]: Taking taylor expansion of n in f 0.570 * [taylor]: Taking taylor expansion of -1 in n 0.572 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.572 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.572 * [taylor]: Taking taylor expansion of 2 in n 0.572 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.572 * [taylor]: Taking taylor expansion of n in n 0.576 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.576 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.576 * [taylor]: Taking taylor expansion of 2 in n 0.576 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.576 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.576 * [taylor]: Taking taylor expansion of n in n 0.584 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.584 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.584 * [taylor]: Taking taylor expansion of 2 in n 0.584 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.584 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.584 * [taylor]: Taking taylor expansion of n in n 0.590 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.590 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.590 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.590 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.590 * [taylor]: Taking taylor expansion of f in n 0.590 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.590 * [taylor]: Taking taylor expansion of n in n 0.591 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.591 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.591 * [taylor]: Taking taylor expansion of n in n 0.591 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.591 * [taylor]: Taking taylor expansion of f in n 0.592 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.592 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.592 * [taylor]: Taking taylor expansion of f in f 0.592 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.592 * [taylor]: Taking taylor expansion of n in f 0.592 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.592 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.592 * [taylor]: Taking taylor expansion of n in f 0.592 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.592 * [taylor]: Taking taylor expansion of f in f 0.594 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.594 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.594 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.594 * [taylor]: Taking taylor expansion of f in f 0.594 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.594 * [taylor]: Taking taylor expansion of n in f 0.594 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.594 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.594 * [taylor]: Taking taylor expansion of n in f 0.594 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.594 * [taylor]: Taking taylor expansion of f in f 0.596 * [taylor]: Taking taylor expansion of -1 in n 0.597 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.597 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.597 * [taylor]: Taking taylor expansion of 2 in n 0.597 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.597 * [taylor]: Taking taylor expansion of n in n 0.601 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.601 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.601 * [taylor]: Taking taylor expansion of 2 in n 0.601 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.601 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.601 * [taylor]: Taking taylor expansion of n in n 0.608 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.608 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.608 * [taylor]: Taking taylor expansion of 2 in n 0.608 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.608 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.608 * [taylor]: Taking taylor expansion of n in n 0.614 * * * [progress]: simplifying candidates 0.615 * [simplify]: Simplifying using # : (- (- f n)) (- (- (+ f n))) (/ f (- (+ f n))) (/ n (- (+ f n))) (/ 1 (- (+ f n))) (/ (- (+ f n)) (- f n)) (/ (- f n) -1) (/ (- f n) (- (+ (pow f 3) (pow n 3)))) (/ (- f n) (- (- (* f f) (* n n)))) (* (- (+ f n)) (+ (* f f) (+ (* n n) (* f n)))) (* (- (+ f n)) (+ f n)) (- 1) (- (/ (- f n) (- (+ f n)))) (/ 1 (/ (- f n) (- (+ f n)))) (/ (/ (- f n) (- (+ f n))) 1) (/ 1 (- f n)) (/ 1 (/ (- f n) (- (+ (pow f 3) (pow n 3))))) (/ 1 (/ (- f n) (- (- (* f f) (* n n))))) (/ 1 (- f n)) (/ 1 (- (- f n))) (/ 1 1) (/ 1 (/ (- f n) -1)) (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (* f f) (* n n))) 1 -1 -1 1 -1 -1 0.618 * * [simplify]: iteration 0 : 110 enodes (cost 88 ) 0.620 * * [simplify]: iteration 1 : 352 enodes (cost 86 ) 0.628 * * [simplify]: iteration 2 : 1545 enodes (cost 84 ) 0.656 * * [simplify]: iteration 3 : 5001 enodes (cost 76 ) 0.657 * [simplify]: Simplified to: (- (- f n)) (+ f n) (/ f (- (+ f n))) (/ n (- (+ f n))) (/ 1 (- (+ f n))) (/ (- (+ f n)) (- f n)) (- (- f n)) (/ (- f n) (- (+ (pow f 3) (pow n 3)))) (/ (- f n) (- (- (* f f) (* n n)))) (* (+ (* n (+ n f)) (* f f)) (- (+ f n))) (* (- (+ f n)) (+ f n)) -1 (/ (- f n) (+ f n)) (/ (- (+ f n)) (- f n)) (/ (- f n) (- (+ f n))) (/ 1 (- f n)) (* (/ -1 (- f n)) (+ (pow f 3) (pow n 3))) (- (+ f n)) (/ 1 (- f n)) (/ -1 (- f n)) 1 (/ -1 (- f n)) (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (* f f) (* n n))) 1 -1 -1 1 -1 -1 0.658 * * * [progress]: adding candidates to table 0.708 * * [progress]: iteration 3 / 4 0.708 * * * [progress]: picking best candidate 0.713 * * * * [pick]: Picked # 0.713 * * * [progress]: localizing error 0.721 * * * [progress]: generating rewritten candidates 0.721 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 0.724 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.733 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.738 * * * [progress]: generating series expansions 0.738 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 0.738 * [approximate]: Taking taylor expansion of (/ -1 (+ n f)) in (f n) around 0 0.738 * [taylor]: Taking taylor expansion of (/ -1 (+ n f)) in n 0.738 * [taylor]: Taking taylor expansion of -1 in n 0.738 * [taylor]: Taking taylor expansion of (+ n f) in n 0.738 * [taylor]: Taking taylor expansion of n in n 0.738 * [taylor]: Taking taylor expansion of f in n 0.738 * [taylor]: Taking taylor expansion of (/ -1 (+ n f)) in f 0.738 * [taylor]: Taking taylor expansion of -1 in f 0.738 * [taylor]: Taking taylor expansion of (+ n f) in f 0.738 * [taylor]: Taking taylor expansion of n in f 0.738 * [taylor]: Taking taylor expansion of f in f 0.738 * [taylor]: Taking taylor expansion of (/ -1 (+ n f)) in f 0.738 * [taylor]: Taking taylor expansion of -1 in f 0.738 * [taylor]: Taking taylor expansion of (+ n f) in f 0.738 * [taylor]: Taking taylor expansion of n in f 0.738 * [taylor]: Taking taylor expansion of f in f 0.738 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.738 * [taylor]: Taking taylor expansion of -1 in n 0.738 * [taylor]: Taking taylor expansion of n in n 0.740 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.740 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.740 * [taylor]: Taking taylor expansion of n in n 0.743 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 3))) in n 0.743 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.743 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.743 * [taylor]: Taking taylor expansion of n in n 0.750 * [approximate]: Taking taylor expansion of (/ -1 (+ (/ 1 f) (/ 1 n))) in (f n) around 0 0.750 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 f) (/ 1 n))) in n 0.750 * [taylor]: Taking taylor expansion of -1 in n 0.750 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.750 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.750 * [taylor]: Taking taylor expansion of f in n 0.750 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.750 * [taylor]: Taking taylor expansion of n in n 0.751 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 f) (/ 1 n))) in f 0.751 * [taylor]: Taking taylor expansion of -1 in f 0.751 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.751 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.751 * [taylor]: Taking taylor expansion of f in f 0.751 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.751 * [taylor]: Taking taylor expansion of n in f 0.752 * [taylor]: Taking taylor expansion of (/ -1 (+ (/ 1 f) (/ 1 n))) in f 0.752 * [taylor]: Taking taylor expansion of -1 in f 0.752 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.752 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.752 * [taylor]: Taking taylor expansion of f in f 0.752 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.752 * [taylor]: Taking taylor expansion of n in f 0.753 * [taylor]: Taking taylor expansion of -1 in n 0.754 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.754 * [taylor]: Taking taylor expansion of n in n 0.756 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2))) in n 0.756 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.756 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.756 * [taylor]: Taking taylor expansion of n in n 0.761 * [approximate]: Taking taylor expansion of (/ 1 (+ (/ 1 f) (/ 1 n))) in (f n) around 0 0.761 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 f) (/ 1 n))) in n 0.761 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.761 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.761 * [taylor]: Taking taylor expansion of f in n 0.761 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.761 * [taylor]: Taking taylor expansion of n in n 0.762 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 f) (/ 1 n))) in f 0.762 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.762 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.762 * [taylor]: Taking taylor expansion of f in f 0.762 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.762 * [taylor]: Taking taylor expansion of n in f 0.763 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 f) (/ 1 n))) in f 0.763 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.763 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.763 * [taylor]: Taking taylor expansion of f in f 0.763 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.763 * [taylor]: Taking taylor expansion of n in f 0.763 * [taylor]: Taking taylor expansion of 1 in n 0.764 * [taylor]: Taking taylor expansion of (- (/ 1 n)) in n 0.764 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.764 * [taylor]: Taking taylor expansion of n in n 0.767 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.767 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.767 * [taylor]: Taking taylor expansion of n in n 0.771 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.771 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 0.771 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 0.771 * [taylor]: Taking taylor expansion of -1 in n 0.771 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 0.771 * [taylor]: Taking taylor expansion of (+ n f) in n 0.771 * [taylor]: Taking taylor expansion of n in n 0.771 * [taylor]: Taking taylor expansion of f in n 0.771 * [taylor]: Taking taylor expansion of (- f n) in n 0.771 * [taylor]: Taking taylor expansion of f in n 0.771 * [taylor]: Taking taylor expansion of n in n 0.771 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.771 * [taylor]: Taking taylor expansion of -1 in f 0.771 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.771 * [taylor]: Taking taylor expansion of (+ n f) in f 0.771 * [taylor]: Taking taylor expansion of n in f 0.771 * [taylor]: Taking taylor expansion of f in f 0.771 * [taylor]: Taking taylor expansion of (- f n) in f 0.771 * [taylor]: Taking taylor expansion of f in f 0.771 * [taylor]: Taking taylor expansion of n in f 0.772 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 0.772 * [taylor]: Taking taylor expansion of -1 in f 0.772 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 0.772 * [taylor]: Taking taylor expansion of (+ n f) in f 0.772 * [taylor]: Taking taylor expansion of n in f 0.772 * [taylor]: Taking taylor expansion of f in f 0.772 * [taylor]: Taking taylor expansion of (- f n) in f 0.772 * [taylor]: Taking taylor expansion of f in f 0.772 * [taylor]: Taking taylor expansion of n in f 0.772 * [taylor]: Taking taylor expansion of 1 in n 0.773 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.773 * [taylor]: Taking taylor expansion of 2 in n 0.773 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.773 * [taylor]: Taking taylor expansion of n in n 0.776 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.776 * [taylor]: Taking taylor expansion of 2 in n 0.776 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.776 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.776 * [taylor]: Taking taylor expansion of n in n 0.781 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.781 * [taylor]: Taking taylor expansion of 2 in n 0.781 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.781 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.781 * [taylor]: Taking taylor expansion of n in n 0.787 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 0.787 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 0.787 * [taylor]: Taking taylor expansion of -1 in n 0.787 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.787 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.787 * [taylor]: Taking taylor expansion of f in n 0.787 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.787 * [taylor]: Taking taylor expansion of n in n 0.787 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.787 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.787 * [taylor]: Taking taylor expansion of f in n 0.787 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.787 * [taylor]: Taking taylor expansion of n in n 0.788 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.788 * [taylor]: Taking taylor expansion of -1 in f 0.788 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.788 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.788 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.788 * [taylor]: Taking taylor expansion of f in f 0.789 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.789 * [taylor]: Taking taylor expansion of n in f 0.789 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.789 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.789 * [taylor]: Taking taylor expansion of f in f 0.789 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.789 * [taylor]: Taking taylor expansion of n in f 0.790 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 0.790 * [taylor]: Taking taylor expansion of -1 in f 0.790 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 0.790 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.790 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.790 * [taylor]: Taking taylor expansion of f in f 0.790 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.790 * [taylor]: Taking taylor expansion of n in f 0.790 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.790 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.790 * [taylor]: Taking taylor expansion of f in f 0.791 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.791 * [taylor]: Taking taylor expansion of n in f 0.792 * [taylor]: Taking taylor expansion of -1 in n 0.793 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.793 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.793 * [taylor]: Taking taylor expansion of 2 in n 0.793 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.793 * [taylor]: Taking taylor expansion of n in n 0.797 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.797 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.797 * [taylor]: Taking taylor expansion of 2 in n 0.798 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.798 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.798 * [taylor]: Taking taylor expansion of n in n 0.805 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.805 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.805 * [taylor]: Taking taylor expansion of 2 in n 0.805 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.805 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.805 * [taylor]: Taking taylor expansion of n in n 0.811 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.811 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 0.811 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 0.811 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.811 * [taylor]: Taking taylor expansion of f in n 0.811 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.811 * [taylor]: Taking taylor expansion of n in n 0.812 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.812 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.812 * [taylor]: Taking taylor expansion of n in n 0.812 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.812 * [taylor]: Taking taylor expansion of f in n 0.813 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.813 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.813 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.813 * [taylor]: Taking taylor expansion of f in f 0.813 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.813 * [taylor]: Taking taylor expansion of n in f 0.813 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.813 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.813 * [taylor]: Taking taylor expansion of n in f 0.813 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.813 * [taylor]: Taking taylor expansion of f in f 0.814 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 0.814 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 0.814 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.814 * [taylor]: Taking taylor expansion of f in f 0.815 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.815 * [taylor]: Taking taylor expansion of n in f 0.815 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.815 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.815 * [taylor]: Taking taylor expansion of n in f 0.815 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.815 * [taylor]: Taking taylor expansion of f in f 0.819 * [taylor]: Taking taylor expansion of -1 in n 0.820 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 0.820 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 0.820 * [taylor]: Taking taylor expansion of 2 in n 0.820 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.820 * [taylor]: Taking taylor expansion of n in n 0.824 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 0.824 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 0.824 * [taylor]: Taking taylor expansion of 2 in n 0.824 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.824 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.824 * [taylor]: Taking taylor expansion of n in n 0.831 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 0.831 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 0.831 * [taylor]: Taking taylor expansion of 2 in n 0.831 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.831 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.831 * [taylor]: Taking taylor expansion of n in n 0.837 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.837 * [approximate]: Taking taylor expansion of (/ 1 (- f n)) in (f n) around 0 0.837 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in n 0.837 * [taylor]: Taking taylor expansion of (- f n) in n 0.837 * [taylor]: Taking taylor expansion of f in n 0.837 * [taylor]: Taking taylor expansion of n in n 0.838 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in f 0.838 * [taylor]: Taking taylor expansion of (- f n) in f 0.838 * [taylor]: Taking taylor expansion of f in f 0.838 * [taylor]: Taking taylor expansion of n in f 0.838 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in f 0.838 * [taylor]: Taking taylor expansion of (- f n) in f 0.838 * [taylor]: Taking taylor expansion of f in f 0.838 * [taylor]: Taking taylor expansion of n in f 0.838 * [taylor]: Taking taylor expansion of (/ -1 n) in n 0.838 * [taylor]: Taking taylor expansion of -1 in n 0.838 * [taylor]: Taking taylor expansion of n in n 0.839 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2))) in n 0.839 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.839 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.839 * [taylor]: Taking taylor expansion of n in n 0.843 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 3))) in n 0.843 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 0.843 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.843 * [taylor]: Taking taylor expansion of n in n 0.850 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in (f n) around 0 0.850 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in n 0.850 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 0.850 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.850 * [taylor]: Taking taylor expansion of f in n 0.850 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.850 * [taylor]: Taking taylor expansion of n in n 0.851 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in f 0.852 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.852 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.852 * [taylor]: Taking taylor expansion of f in f 0.852 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.852 * [taylor]: Taking taylor expansion of n in f 0.852 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in f 0.852 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 0.852 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.852 * [taylor]: Taking taylor expansion of f in f 0.853 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.853 * [taylor]: Taking taylor expansion of n in f 0.853 * [taylor]: Taking taylor expansion of 1 in n 0.854 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.854 * [taylor]: Taking taylor expansion of n in n 0.857 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.857 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.857 * [taylor]: Taking taylor expansion of n in n 0.861 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in (f n) around 0 0.861 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in n 0.861 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 0.861 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.861 * [taylor]: Taking taylor expansion of n in n 0.861 * [taylor]: Taking taylor expansion of (/ 1 f) in n 0.861 * [taylor]: Taking taylor expansion of f in n 0.862 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in f 0.862 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.862 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.862 * [taylor]: Taking taylor expansion of n in f 0.862 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.862 * [taylor]: Taking taylor expansion of f in f 0.863 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in f 0.863 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 0.863 * [taylor]: Taking taylor expansion of (/ 1 n) in f 0.863 * [taylor]: Taking taylor expansion of n in f 0.863 * [taylor]: Taking taylor expansion of (/ 1 f) in f 0.863 * [taylor]: Taking taylor expansion of f in f 0.864 * [taylor]: Taking taylor expansion of -1 in n 0.865 * [taylor]: Taking taylor expansion of (- (/ 1 n)) in n 0.865 * [taylor]: Taking taylor expansion of (/ 1 n) in n 0.865 * [taylor]: Taking taylor expansion of n in n 0.867 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2))) in n 0.867 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 0.867 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.867 * [taylor]: Taking taylor expansion of n in n 0.872 * * * [progress]: simplifying candidates 0.872 * [simplify]: Simplifying using # : (- 1) (- (- (+ f n))) (/ 1 (- (+ f n))) (/ (- (+ f n)) 1) (/ 1 -1) (/ 1 (- (+ (pow f 3) (pow n 3)))) (/ 1 (- (- (* f f) (* n n)))) (- (/ 1 (- f n))) (- (/ 1 (- (+ f n)))) (/ 1 1) (/ (/ 1 (- f n)) (/ 1 (- (+ f n)))) (/ 1 (/ 1 (- (+ (pow f 3) (pow n 3))))) (/ (/ 1 (- f n)) (+ (* f f) (- (* n n) (* f n)))) (/ 1 (/ 1 (- (- (* f f) (* n n))))) (/ (/ 1 (- f n)) (- f n)) (/ (/ 1 (- (pow f 3) (pow n 3))) 1) (/ (+ (* f f) (+ (* n n) (* f n))) (/ 1 (- (+ f n)))) (/ (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (+ (pow f 3) (pow n 3))))) (/ (+ (* f f) (+ (* n n) (* f n))) (+ (* f f) (- (* n n) (* f n)))) (/ (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (- (* f f) (* n n))))) (/ (+ (* f f) (+ (* n n) (* f n))) (- f n)) (/ (/ 1 (- (* f f) (* n n))) 1) (/ (+ f n) (/ 1 (- (+ f n)))) (/ (/ 1 (- (* f f) (* n n))) (/ 1 (- (+ (pow f 3) (pow n 3))))) (/ (+ f n) (+ (* f f) (- (* n n) (* f n)))) (/ (/ 1 (- (* f f) (* n n))) (/ 1 (- (- (* f f) (* n n))))) (/ (+ f n) (- f n)) (/ 1 (/ 1 (- (+ f n)))) (/ (/ 1 (- (+ f n))) (/ 1 (- f n))) (/ (/ 1 (- f n)) 1) (/ (/ 1 (- f n)) (/ 1 (- (+ (pow f 3) (pow n 3))))) (/ (/ 1 (- f n)) (/ 1 (- (- (* f f) (* n n))))) (/ (/ 1 (- (+ f n))) (/ 1 (- f n))) (/ (/ 1 (- (+ f n))) (+ (* f f) (+ (* n n) (* f n)))) (/ (/ 1 (- (+ f n))) (+ f n)) (/ (/ 1 (- f n)) 1) (/ (/ 1 (- f n)) (- 1)) (/ (/ 1 (- f n)) 1) (/ (/ 1 (- f n)) (/ 1 -1)) (* (/ 1 (- (+ f n))) (- f n)) (* (/ 1 (- (+ f n))) (- (- f n))) (* (/ 1 (- (+ f n))) (/ (- f n) 1)) (- 1) (- (- f n)) (/ 1 (- f n)) (/ (- f n) 1) (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (* f f) (* n n))) 0 0 0 1 -1 -1 0 0 0 0.876 * * [simplify]: iteration 0 : 167 enodes (cost 221 ) 0.879 * * [simplify]: iteration 1 : 787 enodes (cost 199 ) 0.895 * * [simplify]: iteration 2 : 3372 enodes (cost 180 ) 0.960 * * [simplify]: iteration 3 : 5001 enodes (cost 179 ) 0.962 * [simplify]: Simplified to: -1 (+ f n) (/ 1 (- (+ f n))) (- (+ f n)) -1 (/ 1 (- (+ (pow f 3) (pow n 3)))) (/ (/ 1 (+ f n)) (- n f)) (/ -1 (- f n)) (/ 1 (+ f n)) 1 (/ (- (+ f n)) (- f n)) (- (+ (pow f 3) (pow n 3))) (/ (/ 1 (+ (* n (- n f)) (* f f))) (- f n)) (- (- (* f f) (* n n))) (/ (/ 1 (- f n)) (- f n)) (/ 1 (- (pow f 3) (pow n 3))) (- (* (+ (* n (+ n f)) (* f f)) (+ f n))) (/ (- (+ (pow f 3) (pow n 3))) (- (pow f 3) (pow n 3))) (/ (+ (* f f) (+ (* n n) (* f n))) (+ (* f f) (- (* n n) (* f n)))) (/ (- (- (* f f) (* n n))) (- (pow f 3) (pow n 3))) (/ (+ (* n (+ n f)) (* f f)) (- f n)) (/ 1 (- (* f f) (* n n))) (- (* (+ f n) (+ f n))) (/ (- (+ (pow f 3) (pow n 3))) (- (* f f) (* n n))) (/ (+ f n) (+ (* n (- n f)) (* f f))) -1 (/ (+ f n) (- f n)) (- (+ f n)) (/ (- f n) (- (+ f n))) (/ 1 (- f n)) (/ (- (+ (pow f 3) (pow n 3))) (- f n)) (/ (- (- (* f f) (* n n))) (- f n)) (/ (- f n) (- (+ f n))) (/ (/ 1 (+ (* n (+ n f)) (* f f))) (- (+ f n))) (/ (/ 1 (- (+ f n))) (+ f n)) (/ 1 (- f n)) (/ -1 (- f n)) (/ 1 (- f n)) (/ -1 (- f n)) (/ (- f n) (- (+ f n))) (/ (- f n) (+ f n)) (/ (- f n) (- (+ f n))) -1 (- n f) (/ 1 (- f n)) (- f n) (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (* f f) (* n n))) 0 0 0 1 -1 -1 0 0 0 0.963 * * * [progress]: adding candidates to table 1.041 * * [progress]: iteration 4 / 4 1.041 * * * [progress]: picking best candidate 1.045 * * * * [pick]: Picked # 1.045 * * * [progress]: localizing error 1.051 * * * [progress]: generating rewritten candidates 1.051 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.057 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1.061 * * * [progress]: generating series expansions 1.061 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.061 * [approximate]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in (f n) around 0 1.061 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in n 1.061 * [taylor]: Taking taylor expansion of -1 in n 1.061 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in n 1.061 * [taylor]: Taking taylor expansion of (+ n f) in n 1.061 * [taylor]: Taking taylor expansion of n in n 1.061 * [taylor]: Taking taylor expansion of f in n 1.061 * [taylor]: Taking taylor expansion of (- f n) in n 1.061 * [taylor]: Taking taylor expansion of f in n 1.061 * [taylor]: Taking taylor expansion of n in n 1.062 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 1.062 * [taylor]: Taking taylor expansion of -1 in f 1.062 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 1.062 * [taylor]: Taking taylor expansion of (+ n f) in f 1.062 * [taylor]: Taking taylor expansion of n in f 1.062 * [taylor]: Taking taylor expansion of f in f 1.062 * [taylor]: Taking taylor expansion of (- f n) in f 1.062 * [taylor]: Taking taylor expansion of f in f 1.062 * [taylor]: Taking taylor expansion of n in f 1.062 * [taylor]: Taking taylor expansion of (* -1 (/ (+ n f) (- f n))) in f 1.062 * [taylor]: Taking taylor expansion of -1 in f 1.062 * [taylor]: Taking taylor expansion of (/ (+ n f) (- f n)) in f 1.062 * [taylor]: Taking taylor expansion of (+ n f) in f 1.062 * [taylor]: Taking taylor expansion of n in f 1.062 * [taylor]: Taking taylor expansion of f in f 1.062 * [taylor]: Taking taylor expansion of (- f n) in f 1.062 * [taylor]: Taking taylor expansion of f in f 1.062 * [taylor]: Taking taylor expansion of n in f 1.062 * [taylor]: Taking taylor expansion of 1 in n 1.063 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.063 * [taylor]: Taking taylor expansion of 2 in n 1.063 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.064 * [taylor]: Taking taylor expansion of n in n 1.066 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 1.066 * [taylor]: Taking taylor expansion of 2 in n 1.066 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.066 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.066 * [taylor]: Taking taylor expansion of n in n 1.071 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 1.071 * [taylor]: Taking taylor expansion of 2 in n 1.071 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.071 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.071 * [taylor]: Taking taylor expansion of n in n 1.077 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in (f n) around 0 1.077 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in n 1.077 * [taylor]: Taking taylor expansion of -1 in n 1.077 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in n 1.077 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.077 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.077 * [taylor]: Taking taylor expansion of f in n 1.077 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.077 * [taylor]: Taking taylor expansion of n in n 1.077 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.077 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.077 * [taylor]: Taking taylor expansion of f in n 1.077 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.077 * [taylor]: Taking taylor expansion of n in n 1.078 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 1.078 * [taylor]: Taking taylor expansion of -1 in f 1.078 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 1.079 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.079 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.079 * [taylor]: Taking taylor expansion of f in f 1.079 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.079 * [taylor]: Taking taylor expansion of n in f 1.079 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.079 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.079 * [taylor]: Taking taylor expansion of f in f 1.079 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.079 * [taylor]: Taking taylor expansion of n in f 1.080 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n)))) in f 1.080 * [taylor]: Taking taylor expansion of -1 in f 1.080 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 f) (/ 1 n))) in f 1.080 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.080 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.080 * [taylor]: Taking taylor expansion of f in f 1.080 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.080 * [taylor]: Taking taylor expansion of n in f 1.080 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.080 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.080 * [taylor]: Taking taylor expansion of f in f 1.081 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.081 * [taylor]: Taking taylor expansion of n in f 1.082 * [taylor]: Taking taylor expansion of -1 in n 1.083 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.083 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.083 * [taylor]: Taking taylor expansion of 2 in n 1.083 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.083 * [taylor]: Taking taylor expansion of n in n 1.087 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 1.087 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 1.087 * [taylor]: Taking taylor expansion of 2 in n 1.087 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.087 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.087 * [taylor]: Taking taylor expansion of n in n 1.098 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 1.098 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 1.098 * [taylor]: Taking taylor expansion of 2 in n 1.098 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.098 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.098 * [taylor]: Taking taylor expansion of n in n 1.104 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in (f n) around 0 1.104 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in n 1.104 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in n 1.104 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.104 * [taylor]: Taking taylor expansion of f in n 1.104 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.104 * [taylor]: Taking taylor expansion of n in n 1.104 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.104 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.104 * [taylor]: Taking taylor expansion of n in n 1.104 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.104 * [taylor]: Taking taylor expansion of f in n 1.105 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 1.105 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.105 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.105 * [taylor]: Taking taylor expansion of f in f 1.105 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.105 * [taylor]: Taking taylor expansion of n in f 1.106 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.106 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.106 * [taylor]: Taking taylor expansion of n in f 1.106 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.106 * [taylor]: Taking taylor expansion of f in f 1.107 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 f) (/ 1 n)) (- (/ 1 n) (/ 1 f))) in f 1.107 * [taylor]: Taking taylor expansion of (+ (/ 1 f) (/ 1 n)) in f 1.107 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.107 * [taylor]: Taking taylor expansion of f in f 1.107 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.107 * [taylor]: Taking taylor expansion of n in f 1.107 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.107 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.107 * [taylor]: Taking taylor expansion of n in f 1.107 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.107 * [taylor]: Taking taylor expansion of f in f 1.109 * [taylor]: Taking taylor expansion of -1 in n 1.110 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 n))) in n 1.110 * [taylor]: Taking taylor expansion of (* 2 (/ 1 n)) in n 1.110 * [taylor]: Taking taylor expansion of 2 in n 1.110 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.110 * [taylor]: Taking taylor expansion of n in n 1.114 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 2)))) in n 1.114 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 2))) in n 1.114 * [taylor]: Taking taylor expansion of 2 in n 1.114 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.114 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.114 * [taylor]: Taking taylor expansion of n in n 1.121 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow n 3)))) in n 1.121 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow n 3))) in n 1.121 * [taylor]: Taking taylor expansion of 2 in n 1.121 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.121 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.121 * [taylor]: Taking taylor expansion of n in n 1.127 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.127 * [approximate]: Taking taylor expansion of (/ 1 (- f n)) in (f n) around 0 1.127 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in n 1.127 * [taylor]: Taking taylor expansion of (- f n) in n 1.127 * [taylor]: Taking taylor expansion of f in n 1.127 * [taylor]: Taking taylor expansion of n in n 1.127 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in f 1.127 * [taylor]: Taking taylor expansion of (- f n) in f 1.127 * [taylor]: Taking taylor expansion of f in f 1.127 * [taylor]: Taking taylor expansion of n in f 1.128 * [taylor]: Taking taylor expansion of (/ 1 (- f n)) in f 1.128 * [taylor]: Taking taylor expansion of (- f n) in f 1.128 * [taylor]: Taking taylor expansion of f in f 1.128 * [taylor]: Taking taylor expansion of n in f 1.128 * [taylor]: Taking taylor expansion of (/ -1 n) in n 1.128 * [taylor]: Taking taylor expansion of -1 in n 1.128 * [taylor]: Taking taylor expansion of n in n 1.129 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2))) in n 1.129 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.129 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.129 * [taylor]: Taking taylor expansion of n in n 1.133 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 3))) in n 1.133 * [taylor]: Taking taylor expansion of (/ 1 (pow n 3)) in n 1.133 * [taylor]: Taking taylor expansion of (pow n 3) in n 1.133 * [taylor]: Taking taylor expansion of n in n 1.140 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in (f n) around 0 1.140 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in n 1.140 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in n 1.140 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.140 * [taylor]: Taking taylor expansion of f in n 1.140 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.140 * [taylor]: Taking taylor expansion of n in n 1.141 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in f 1.141 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.141 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.141 * [taylor]: Taking taylor expansion of f in f 1.141 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.141 * [taylor]: Taking taylor expansion of n in f 1.142 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 f) (/ 1 n))) in f 1.142 * [taylor]: Taking taylor expansion of (- (/ 1 f) (/ 1 n)) in f 1.142 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.142 * [taylor]: Taking taylor expansion of f in f 1.142 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.142 * [taylor]: Taking taylor expansion of n in f 1.143 * [taylor]: Taking taylor expansion of 1 in n 1.143 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.143 * [taylor]: Taking taylor expansion of n in n 1.146 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.146 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.146 * [taylor]: Taking taylor expansion of n in n 1.150 * [approximate]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in (f n) around 0 1.150 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in n 1.150 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in n 1.150 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.150 * [taylor]: Taking taylor expansion of n in n 1.150 * [taylor]: Taking taylor expansion of (/ 1 f) in n 1.150 * [taylor]: Taking taylor expansion of f in n 1.151 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in f 1.151 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.151 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.151 * [taylor]: Taking taylor expansion of n in f 1.151 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.151 * [taylor]: Taking taylor expansion of f in f 1.152 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 n) (/ 1 f))) in f 1.152 * [taylor]: Taking taylor expansion of (- (/ 1 n) (/ 1 f)) in f 1.152 * [taylor]: Taking taylor expansion of (/ 1 n) in f 1.152 * [taylor]: Taking taylor expansion of n in f 1.152 * [taylor]: Taking taylor expansion of (/ 1 f) in f 1.152 * [taylor]: Taking taylor expansion of f in f 1.153 * [taylor]: Taking taylor expansion of -1 in n 1.154 * [taylor]: Taking taylor expansion of (- (/ 1 n)) in n 1.154 * [taylor]: Taking taylor expansion of (/ 1 n) in n 1.154 * [taylor]: Taking taylor expansion of n in n 1.157 * [taylor]: Taking taylor expansion of (- (/ 1 (pow n 2))) in n 1.157 * [taylor]: Taking taylor expansion of (/ 1 (pow n 2)) in n 1.157 * [taylor]: Taking taylor expansion of (pow n 2) in n 1.157 * [taylor]: Taking taylor expansion of n in n 1.161 * * * [progress]: simplifying candidates 1.162 * [simplify]: Simplifying using # : (* (- (+ (pow f 3) (pow n 3))) 1) (* (+ (* f f) (- (* n n) (* f n))) (- f n)) (* (- (+ (pow f 3) (pow n 3))) (- 1)) (* (+ (* f f) (- (* n n) (* f n))) (- (- f n))) (* (- (+ (pow f 3) (pow n 3))) 1) (* (+ (* f f) (- (* n n) (* f n))) (/ (- f n) 1)) (* (- (- (* f f) (* n n))) 1) (* (- f n) (- f n)) (* (- (- (* f f) (* n n))) (- 1)) (* (- f n) (- (- f n))) (* (- (- (* f f) (* n n))) 1) (* (- f n) (/ (- f n) 1)) (* (+ f n) (/ 1 (- f n))) (* (- (+ f n)) 1) (* (- (+ f n)) (/ 1 (- (pow f 3) (pow n 3)))) (* (- (+ f n)) (/ 1 (- (* f f) (* n n)))) (* (+ f n) (/ 1 (- f n))) (* (- (+ f n)) 1) (* (- (+ f n)) (- 1)) (* (- (+ f n)) 1) (* (- (+ (pow f 3) (pow n 3))) (/ 1 (- f n))) (* (- (- (* f f) (* n n))) (/ 1 (- f n))) (- 1) (- (- f n)) (/ 1 (- f n)) (/ (- f n) 1) (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (* f f) (* n n))) 1 -1 -1 0 0 0 1.165 * * [simplify]: iteration 0 : 125 enodes (cost 110 ) 1.168 * * [simplify]: iteration 1 : 510 enodes (cost 102 ) 1.178 * * [simplify]: iteration 2 : 2818 enodes (cost 96 ) 1.224 * * [simplify]: iteration 3 : 5001 enodes (cost 96 ) 1.225 * [simplify]: Simplified to: (- (+ (pow f 3) (pow n 3))) (* (- f n) (+ (* n (- n f)) (* f f))) (+ (pow f 3) (pow n 3)) (* (- (- f n)) (+ (* n (- n f)) (* f f))) (- (+ (pow f 3) (pow n 3))) (* (- f n) (+ (* n (- n f)) (* f f))) (- (- (* f f) (* n n))) (* (- f n) (- f n)) (- (* f f) (* n n)) (* (- f n) (- n f)) (- (- (* f f) (* n n))) (* (- f n) (- f n)) (/ (+ f n) (- f n)) (- (+ f n)) (/ (- (+ f n)) (- (pow f 3) (pow n 3))) (/ (- (+ f n)) (- (* f f) (* n n))) (/ (+ f n) (- f n)) (- (+ f n)) (+ f n) (- (+ f n)) (/ (- (+ (pow f 3) (pow n 3))) (- f n)) (- (+ f n)) (- 1) (- n f) (/ 1 (- f n)) (- f n) (/ 1 (- (pow f 3) (pow n 3))) (/ 1 (- (* f f) (* n n))) 1 -1 -1 0 0 0 1.225 * * * [progress]: adding candidates to table 1.267 * [progress]: [Phase 3 of 3] Extracting. 1.268 * * [regime]: Finding splitpoints for: (# # # #) 1.269 * * * [regime-changes]: Trying 3 branch expressions: ((/ (- (+ f n)) (- f n)) n f) 1.270 * * * * [regimes]: Trying to branch on (/ (- (+ f n)) (- f n)) from (# # # #) 1.287 * * * * [regimes]: Trying to branch on n from (# # # #) 1.302 * * * * [regimes]: Trying to branch on f from (# # # #) 1.319 * * * [regime]: Found split indices: #