17.096 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.256 * * * [progress]: [2/2] Setting up program. 0.259 * [progress]: [Phase 2 of 3] Improving. 0.259 * [simplify]: Simplifying using # : (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 0.301 * * [simplify]: iteration 0 : 4978 enodes (cost 13 ) 0.301 * * [simplify]: iteration 1 : 4978 enodes (cost 13 ) 0.301 * [simplify]: Simplified to: (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 0.301 * * [progress]: iteration 1 / 4 0.302 * * * [progress]: picking best candidate 0.304 * * * * [pick]: Picked # 0.304 * * * [progress]: localizing error 0.312 * * * [progress]: generating rewritten candidates 0.312 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.322 * * * [progress]: generating series expansions 0.322 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.322 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in (x n) around 0 0.322 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n 0.322 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n 0.322 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in n 0.322 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in n 0.322 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 0.322 * [taylor]: Taking taylor expansion of 1.0 in n 0.322 * [taylor]: Taking taylor expansion of n in n 0.322 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in n 0.322 * [taylor]: Taking taylor expansion of (+ x 1.0) in n 0.322 * [taylor]: Taking taylor expansion of x in n 0.322 * [taylor]: Taking taylor expansion of 1.0 in n 0.322 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n 0.322 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in n 0.322 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in n 0.322 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 0.322 * [taylor]: Taking taylor expansion of 1.0 in n 0.323 * [taylor]: Taking taylor expansion of n in n 0.323 * [taylor]: Taking taylor expansion of (log x) in n 0.323 * [taylor]: Taking taylor expansion of x in n 0.323 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x 0.323 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x 0.323 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x 0.323 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.323 * [taylor]: Taking taylor expansion of 1.0 in x 0.323 * [taylor]: Taking taylor expansion of n in x 0.323 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.323 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.323 * [taylor]: Taking taylor expansion of 1.0 in x 0.323 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x 0.323 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x 0.323 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.323 * [taylor]: Taking taylor expansion of 1.0 in x 0.323 * [taylor]: Taking taylor expansion of n in x 0.323 * [taylor]: Taking taylor expansion of (log x) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.323 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x 0.323 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x 0.323 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x 0.323 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.323 * [taylor]: Taking taylor expansion of 1.0 in x 0.323 * [taylor]: Taking taylor expansion of n in x 0.323 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.324 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of 1.0 in x 0.324 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x 0.324 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x 0.324 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x 0.324 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.324 * [taylor]: Taking taylor expansion of 1.0 in x 0.324 * [taylor]: Taking taylor expansion of n in x 0.324 * [taylor]: Taking taylor expansion of (log x) in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.324 * [taylor]: Taking taylor expansion of (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) in n 0.324 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.324 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.324 * [taylor]: Taking taylor expansion of 1.0 in n 0.324 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.324 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.324 * [taylor]: Taking taylor expansion of 1.0 in n 0.324 * [taylor]: Taking taylor expansion of n in n 0.324 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.325 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.325 * [taylor]: Taking taylor expansion of 1.0 in n 0.325 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.325 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.325 * [taylor]: Taking taylor expansion of (log 1) in n 0.325 * [taylor]: Taking taylor expansion of 1 in n 0.325 * [taylor]: Taking taylor expansion of (log x) in n 0.325 * [taylor]: Taking taylor expansion of x in n 0.325 * [taylor]: Taking taylor expansion of n in n 0.330 * [taylor]: Taking taylor expansion of (* 1.0 (/ (exp (* 1.0 (/ (log 1.0) n))) n)) in n 0.330 * [taylor]: Taking taylor expansion of 1.0 in n 0.330 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) n) in n 0.330 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.330 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.330 * [taylor]: Taking taylor expansion of 1.0 in n 0.330 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.330 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.330 * [taylor]: Taking taylor expansion of 1.0 in n 0.330 * [taylor]: Taking taylor expansion of n in n 0.330 * [taylor]: Taking taylor expansion of n in n 0.333 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2))) (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2))))) in n 0.333 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2))) in n 0.333 * [taylor]: Taking taylor expansion of 0.5 in n 0.333 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2)) in n 0.333 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.333 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.333 * [taylor]: Taking taylor expansion of 1.0 in n 0.333 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.333 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.333 * [taylor]: Taking taylor expansion of 1.0 in n 0.333 * [taylor]: Taking taylor expansion of n in n 0.333 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.333 * [taylor]: Taking taylor expansion of n in n 0.333 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2)))) in n 0.333 * [taylor]: Taking taylor expansion of 0.5 in n 0.333 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2))) in n 0.333 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.333 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.333 * [taylor]: Taking taylor expansion of 1.0 in n 0.333 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.333 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.333 * [taylor]: Taking taylor expansion of 1.0 in n 0.333 * [taylor]: Taking taylor expansion of n in n 0.333 * [taylor]: Taking taylor expansion of (* n (pow 1.0 2)) in n 0.333 * [taylor]: Taking taylor expansion of n in n 0.333 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.333 * [taylor]: Taking taylor expansion of 1.0 in n 0.336 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))))) (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2))))) in n 0.336 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))))) in n 0.336 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) in n 0.336 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n 0.336 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3)) in n 0.336 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.336 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.336 * [taylor]: Taking taylor expansion of 1.0 in n 0.337 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.337 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.337 * [taylor]: Taking taylor expansion of 1.0 in n 0.337 * [taylor]: Taking taylor expansion of n in n 0.337 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.337 * [taylor]: Taking taylor expansion of n in n 0.337 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3)))) in n 0.337 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n 0.337 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))) in n 0.337 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.337 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.337 * [taylor]: Taking taylor expansion of 1.0 in n 0.337 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.337 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.337 * [taylor]: Taking taylor expansion of 1.0 in n 0.337 * [taylor]: Taking taylor expansion of n in n 0.337 * [taylor]: Taking taylor expansion of (* n (pow 1.0 3)) in n 0.337 * [taylor]: Taking taylor expansion of n in n 0.337 * [taylor]: Taking taylor expansion of (pow 1.0 3) in n 0.337 * [taylor]: Taking taylor expansion of 1.0 in n 0.337 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2)))) in n 0.337 * [taylor]: Taking taylor expansion of 0.5 in n 0.337 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2))) in n 0.337 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.337 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.337 * [taylor]: Taking taylor expansion of 1.0 in n 0.337 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.337 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.337 * [taylor]: Taking taylor expansion of 1.0 in n 0.338 * [taylor]: Taking taylor expansion of n in n 0.338 * [taylor]: Taking taylor expansion of (* (pow n 2) (pow 1.0 2)) in n 0.338 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.338 * [taylor]: Taking taylor expansion of n in n 0.338 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.338 * [taylor]: Taking taylor expansion of 1.0 in n 0.339 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in (x n) around 0 0.339 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n 0.339 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in n 0.339 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in n 0.339 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in n 0.339 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 0.339 * [taylor]: Taking taylor expansion of 1.0 in n 0.339 * [taylor]: Taking taylor expansion of n in n 0.339 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in n 0.339 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in n 0.339 * [taylor]: Taking taylor expansion of 1.0 in n 0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.339 * [taylor]: Taking taylor expansion of x in n 0.340 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n 0.340 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in n 0.340 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in n 0.340 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 0.340 * [taylor]: Taking taylor expansion of 1.0 in n 0.340 * [taylor]: Taking taylor expansion of n in n 0.340 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in n 0.340 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.340 * [taylor]: Taking taylor expansion of x in n 0.340 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x 0.340 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in x 0.340 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in x 0.340 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in x 0.340 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.340 * [taylor]: Taking taylor expansion of 1.0 in x 0.340 * [taylor]: Taking taylor expansion of n in x 0.340 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.340 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.340 * [taylor]: Taking taylor expansion of 1.0 in x 0.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.340 * [taylor]: Taking taylor expansion of x in x 0.340 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x 0.340 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x 0.341 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x 0.341 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.341 * [taylor]: Taking taylor expansion of 1.0 in x 0.341 * [taylor]: Taking taylor expansion of n in x 0.341 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x 0.341 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in x 0.341 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in x 0.341 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in x 0.341 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.341 * [taylor]: Taking taylor expansion of 1.0 in x 0.341 * [taylor]: Taking taylor expansion of n in x 0.341 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.341 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.341 * [taylor]: Taking taylor expansion of 1.0 in x 0.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x 0.341 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x 0.341 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x 0.341 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.341 * [taylor]: Taking taylor expansion of 1.0 in x 0.341 * [taylor]: Taking taylor expansion of n in x 0.341 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.342 * [taylor]: Taking taylor expansion of 0 in n 0.343 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n 0.343 * [taylor]: Taking taylor expansion of 1.0 in n 0.343 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n 0.343 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.343 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.343 * [taylor]: Taking taylor expansion of 1.0 in n 0.343 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.343 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.343 * [taylor]: Taking taylor expansion of (log 1) in n 0.343 * [taylor]: Taking taylor expansion of 1 in n 0.343 * [taylor]: Taking taylor expansion of (log x) in n 0.343 * [taylor]: Taking taylor expansion of x in n 0.343 * [taylor]: Taking taylor expansion of n in n 0.343 * [taylor]: Taking taylor expansion of n in n 0.344 * [taylor]: Taking taylor expansion of (- (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) in n 0.344 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n 0.344 * [taylor]: Taking taylor expansion of 0.5 in n 0.344 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n 0.345 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.345 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.345 * [taylor]: Taking taylor expansion of 1.0 in n 0.345 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.345 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.345 * [taylor]: Taking taylor expansion of (log 1) in n 0.345 * [taylor]: Taking taylor expansion of 1 in n 0.345 * [taylor]: Taking taylor expansion of (log x) in n 0.345 * [taylor]: Taking taylor expansion of x in n 0.345 * [taylor]: Taking taylor expansion of n in n 0.345 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.345 * [taylor]: Taking taylor expansion of n in n 0.345 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n 0.345 * [taylor]: Taking taylor expansion of 0.5 in n 0.345 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n 0.345 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.345 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.345 * [taylor]: Taking taylor expansion of 1.0 in n 0.345 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.345 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.345 * [taylor]: Taking taylor expansion of (log 1) in n 0.345 * [taylor]: Taking taylor expansion of 1 in n 0.345 * [taylor]: Taking taylor expansion of (log x) in n 0.345 * [taylor]: Taking taylor expansion of x in n 0.345 * [taylor]: Taking taylor expansion of n in n 0.346 * [taylor]: Taking taylor expansion of n in n 0.348 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)))) in n 0.348 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) in n 0.348 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) in n 0.348 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n 0.348 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3)) in n 0.348 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.348 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.348 * [taylor]: Taking taylor expansion of 1.0 in n 0.348 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.348 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.348 * [taylor]: Taking taylor expansion of (log 1) in n 0.348 * [taylor]: Taking taylor expansion of 1 in n 0.348 * [taylor]: Taking taylor expansion of (log x) in n 0.348 * [taylor]: Taking taylor expansion of x in n 0.348 * [taylor]: Taking taylor expansion of n in n 0.349 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.349 * [taylor]: Taking taylor expansion of n in n 0.349 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n 0.349 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n 0.349 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n 0.349 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.349 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.349 * [taylor]: Taking taylor expansion of 1.0 in n 0.349 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.349 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.349 * [taylor]: Taking taylor expansion of (log 1) in n 0.349 * [taylor]: Taking taylor expansion of 1 in n 0.349 * [taylor]: Taking taylor expansion of (log x) in n 0.349 * [taylor]: Taking taylor expansion of x in n 0.349 * [taylor]: Taking taylor expansion of n in n 0.349 * [taylor]: Taking taylor expansion of n in n 0.349 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n 0.349 * [taylor]: Taking taylor expansion of 0.5 in n 0.349 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n 0.349 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.349 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.349 * [taylor]: Taking taylor expansion of 1.0 in n 0.349 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.349 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.349 * [taylor]: Taking taylor expansion of (log 1) in n 0.349 * [taylor]: Taking taylor expansion of 1 in n 0.349 * [taylor]: Taking taylor expansion of (log x) in n 0.349 * [taylor]: Taking taylor expansion of x in n 0.349 * [taylor]: Taking taylor expansion of n in n 0.350 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.350 * [taylor]: Taking taylor expansion of n in n 0.352 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in (x n) around 0 0.352 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n 0.352 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in n 0.352 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in n 0.352 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in n 0.352 * [taylor]: Taking taylor expansion of (* -1.0 n) in n 0.352 * [taylor]: Taking taylor expansion of -1.0 in n 0.352 * [taylor]: Taking taylor expansion of n in n 0.352 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in n 0.352 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in n 0.352 * [taylor]: Taking taylor expansion of 1.0 in n 0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.352 * [taylor]: Taking taylor expansion of x in n 0.353 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n 0.353 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in n 0.353 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in n 0.353 * [taylor]: Taking taylor expansion of (* -1.0 n) in n 0.353 * [taylor]: Taking taylor expansion of -1.0 in n 0.353 * [taylor]: Taking taylor expansion of n in n 0.353 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in n 0.353 * [taylor]: Taking taylor expansion of (/ -1 x) in n 0.353 * [taylor]: Taking taylor expansion of -1 in n 0.353 * [taylor]: Taking taylor expansion of x in n 0.353 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x 0.353 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x 0.353 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x 0.353 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x 0.353 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.353 * [taylor]: Taking taylor expansion of -1.0 in x 0.353 * [taylor]: Taking taylor expansion of n in x 0.353 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.353 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.353 * [taylor]: Taking taylor expansion of 1.0 in x 0.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.353 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x 0.354 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x 0.354 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x 0.354 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.354 * [taylor]: Taking taylor expansion of -1.0 in x 0.354 * [taylor]: Taking taylor expansion of n in x 0.354 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.354 * [taylor]: Taking taylor expansion of -1 in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x 0.354 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x 0.354 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x 0.354 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x 0.354 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.354 * [taylor]: Taking taylor expansion of -1.0 in x 0.354 * [taylor]: Taking taylor expansion of n in x 0.354 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.354 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.354 * [taylor]: Taking taylor expansion of 1.0 in x 0.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.354 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x 0.354 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x 0.354 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x 0.354 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.354 * [taylor]: Taking taylor expansion of -1.0 in x 0.354 * [taylor]: Taking taylor expansion of n in x 0.354 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.354 * [taylor]: Taking taylor expansion of -1 in x 0.354 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of (- (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (exp (* -1.0 (* n (- (log -1) (log x)))))) in n 0.355 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.355 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.355 * [taylor]: Taking taylor expansion of -1.0 in n 0.355 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.355 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.355 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.355 * [taylor]: Taking taylor expansion of (neg 1) in n 0.355 * [taylor]: Taking taylor expansion of 1 in n 0.355 * [taylor]: Taking taylor expansion of (log x) in n 0.355 * [taylor]: Taking taylor expansion of x in n 0.355 * [taylor]: Taking taylor expansion of n in n 0.356 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* n (- (log -1) (log x))))) in n 0.356 * [taylor]: Taking taylor expansion of (* -1.0 (* n (- (log -1) (log x)))) in n 0.356 * [taylor]: Taking taylor expansion of -1.0 in n 0.356 * [taylor]: Taking taylor expansion of (* n (- (log -1) (log x))) in n 0.356 * [taylor]: Taking taylor expansion of n in n 0.356 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in n 0.356 * [taylor]: Taking taylor expansion of (log -1) in n 0.356 * [taylor]: Taking taylor expansion of -1 in n 0.356 * [taylor]: Taking taylor expansion of (log x) in n 0.356 * [taylor]: Taking taylor expansion of x in n 0.357 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n 0.357 * [taylor]: Taking taylor expansion of 1.0 in n 0.357 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n 0.357 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.357 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.357 * [taylor]: Taking taylor expansion of -1.0 in n 0.357 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.357 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.357 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.357 * [taylor]: Taking taylor expansion of (neg 1) in n 0.357 * [taylor]: Taking taylor expansion of 1 in n 0.357 * [taylor]: Taking taylor expansion of (log x) in n 0.357 * [taylor]: Taking taylor expansion of x in n 0.357 * [taylor]: Taking taylor expansion of n in n 0.358 * [taylor]: Taking taylor expansion of n in n 0.359 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2))) (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n))) in n 0.359 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2))) in n 0.359 * [taylor]: Taking taylor expansion of 0.5 in n 0.359 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2)) in n 0.360 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.360 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.360 * [taylor]: Taking taylor expansion of -1.0 in n 0.360 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.360 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.360 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.360 * [taylor]: Taking taylor expansion of (neg 1) in n 0.360 * [taylor]: Taking taylor expansion of 1 in n 0.360 * [taylor]: Taking taylor expansion of (log x) in n 0.360 * [taylor]: Taking taylor expansion of x in n 0.360 * [taylor]: Taking taylor expansion of n in n 0.360 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.360 * [taylor]: Taking taylor expansion of n in n 0.360 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n 0.360 * [taylor]: Taking taylor expansion of 0.5 in n 0.360 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n 0.360 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.360 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.360 * [taylor]: Taking taylor expansion of -1.0 in n 0.360 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.360 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.360 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.360 * [taylor]: Taking taylor expansion of (neg 1) in n 0.360 * [taylor]: Taking taylor expansion of 1 in n 0.360 * [taylor]: Taking taylor expansion of (log x) in n 0.360 * [taylor]: Taking taylor expansion of x in n 0.360 * [taylor]: Taking taylor expansion of n in n 0.361 * [taylor]: Taking taylor expansion of n in n 0.365 * * * [progress]: simplifying candidates 0.365 * [simplify]: Simplifying using # : (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n)))) (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (* (* (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (+ (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))) (* (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (neg (pow x (/ 1.0 n))) (- (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n)))) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (neg (pow x (/ 1.0 n))) (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) (- (+ (* 1.0 (/ 1 (* x n))) (* 1.0 (/ (log 1) (* x (pow n 2))))) (+ (* 0.5 (/ 1 (* (pow x 2) n))) (* 1.0 (/ (log (/ 1 x)) (* x (pow n 2)))))) (- (+ (* 1.0 (/ (* (log -1) (log (/ -1 x))) (pow n 2))) (+ (* 1.0 (/ (log (neg 1)) n)) (+ (* 1.0 (/ 1 (* x n))) (* 0.5 (/ (pow (log (neg 1)) 2) (pow n 2)))))) (+ (* 1.0 (/ (log -1) n)) (+ (* 0.5 (/ (pow (log -1) 2) (pow n 2))) (* 1.0 (/ (* (log (neg 1)) (log (/ -1 x))) (pow n 2)))))) 0.422 * * [simplify]: iteration 0 : 5025 enodes (cost 590 ) 0.424 * [simplify]: Simplified to: (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (pow (+ x 1.0) (* (/ 1.0 n) 2)) (* (pow x (/ 1.0 n)) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (neg (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (* (/ 1.0 n) 2)) (pow x (* (/ 1.0 n) 2))) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow x (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (+ (pow x (* (/ 1.0 n) 1/2)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (* (/ 1.0 n) 1/2))) (+ (pow (sqrt x) (/ 1.0 n)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow x (/ 1.0 n))) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (sqrt (pow x (/ 1.0 n)))) (+ (pow x (* (/ 1.0 n) 1/2)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow x (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (neg (pow x (/ 1.0 n))) (- (* 1 (pow 1.0 (/ 1.0 n))) (* (pow x (/ 1.0 n)) 1)) (+ (/ 1.0 (* x n)) (- (* (/ 1.0 (* n n)) (+ (/ (log 1) x) (/ (log x) x))) (/ 0.5 (* x (* x n))))) (- (+ (/ 1.0 (* x n)) 0) 0) 0.424 * * * [progress]: adding candidates to table 0.482 * * [progress]: iteration 2 / 4 0.482 * * * [progress]: picking best candidate 0.497 * * * * [pick]: Picked # 0.497 * * * [progress]: localizing error 0.510 * * * [progress]: generating rewritten candidates 0.510 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.519 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.531 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.546 * * * [progress]: generating series expansions 0.546 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.546 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in (x n) around 0 0.546 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n 0.546 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n 0.546 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in n 0.546 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in n 0.546 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 0.546 * [taylor]: Taking taylor expansion of 1.0 in n 0.546 * [taylor]: Taking taylor expansion of n in n 0.547 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in n 0.547 * [taylor]: Taking taylor expansion of (+ x 1.0) in n 0.547 * [taylor]: Taking taylor expansion of x in n 0.547 * [taylor]: Taking taylor expansion of 1.0 in n 0.547 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n 0.547 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in n 0.547 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in n 0.547 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 0.547 * [taylor]: Taking taylor expansion of 1.0 in n 0.547 * [taylor]: Taking taylor expansion of n in n 0.547 * [taylor]: Taking taylor expansion of (log x) in n 0.547 * [taylor]: Taking taylor expansion of x in n 0.547 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x 0.547 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x 0.547 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x 0.547 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x 0.547 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.547 * [taylor]: Taking taylor expansion of 1.0 in x 0.547 * [taylor]: Taking taylor expansion of n in x 0.547 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.547 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.547 * [taylor]: Taking taylor expansion of x in x 0.547 * [taylor]: Taking taylor expansion of 1.0 in x 0.547 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x 0.547 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x 0.547 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x 0.547 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.547 * [taylor]: Taking taylor expansion of 1.0 in x 0.547 * [taylor]: Taking taylor expansion of n in x 0.547 * [taylor]: Taking taylor expansion of (log x) in x 0.547 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x 0.548 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x 0.548 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x 0.548 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x 0.548 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.548 * [taylor]: Taking taylor expansion of 1.0 in x 0.548 * [taylor]: Taking taylor expansion of n in x 0.548 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.548 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.548 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of 1.0 in x 0.548 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x 0.548 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x 0.548 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x 0.548 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.548 * [taylor]: Taking taylor expansion of 1.0 in x 0.548 * [taylor]: Taking taylor expansion of n in x 0.548 * [taylor]: Taking taylor expansion of (log x) in x 0.548 * [taylor]: Taking taylor expansion of x in x 0.548 * [taylor]: Taking taylor expansion of (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) in n 0.548 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.548 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.548 * [taylor]: Taking taylor expansion of 1.0 in n 0.548 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.548 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.548 * [taylor]: Taking taylor expansion of 1.0 in n 0.548 * [taylor]: Taking taylor expansion of n in n 0.549 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.549 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.549 * [taylor]: Taking taylor expansion of 1.0 in n 0.549 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.549 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.549 * [taylor]: Taking taylor expansion of (log 1) in n 0.549 * [taylor]: Taking taylor expansion of 1 in n 0.549 * [taylor]: Taking taylor expansion of (log x) in n 0.549 * [taylor]: Taking taylor expansion of x in n 0.549 * [taylor]: Taking taylor expansion of n in n 0.550 * [taylor]: Taking taylor expansion of (* 1.0 (/ (exp (* 1.0 (/ (log 1.0) n))) n)) in n 0.550 * [taylor]: Taking taylor expansion of 1.0 in n 0.550 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) n) in n 0.550 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.550 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.550 * [taylor]: Taking taylor expansion of 1.0 in n 0.550 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.550 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.550 * [taylor]: Taking taylor expansion of 1.0 in n 0.550 * [taylor]: Taking taylor expansion of n in n 0.550 * [taylor]: Taking taylor expansion of n in n 0.552 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2))) (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2))))) in n 0.552 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2))) in n 0.552 * [taylor]: Taking taylor expansion of 0.5 in n 0.552 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2)) in n 0.552 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.552 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.552 * [taylor]: Taking taylor expansion of 1.0 in n 0.552 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.552 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.552 * [taylor]: Taking taylor expansion of 1.0 in n 0.552 * [taylor]: Taking taylor expansion of n in n 0.552 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.552 * [taylor]: Taking taylor expansion of n in n 0.552 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2)))) in n 0.552 * [taylor]: Taking taylor expansion of 0.5 in n 0.552 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2))) in n 0.552 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.552 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.552 * [taylor]: Taking taylor expansion of 1.0 in n 0.552 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.552 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.552 * [taylor]: Taking taylor expansion of 1.0 in n 0.552 * [taylor]: Taking taylor expansion of n in n 0.553 * [taylor]: Taking taylor expansion of (* n (pow 1.0 2)) in n 0.553 * [taylor]: Taking taylor expansion of n in n 0.553 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.553 * [taylor]: Taking taylor expansion of 1.0 in n 0.555 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))))) (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2))))) in n 0.556 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))))) in n 0.556 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) in n 0.556 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n 0.556 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3)) in n 0.556 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.556 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.556 * [taylor]: Taking taylor expansion of 1.0 in n 0.556 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.556 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.556 * [taylor]: Taking taylor expansion of 1.0 in n 0.556 * [taylor]: Taking taylor expansion of n 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.556 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3)))) in n 0.556 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n 0.556 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))) in n 0.556 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.556 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.556 * [taylor]: Taking taylor expansion of 1.0 in n 0.556 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.556 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.556 * [taylor]: Taking taylor expansion of 1.0 in n 0.556 * [taylor]: Taking taylor expansion of n in n 0.556 * [taylor]: Taking taylor expansion of (* n (pow 1.0 3)) in n 0.556 * [taylor]: Taking taylor expansion of n in n 0.556 * [taylor]: Taking taylor expansion of (pow 1.0 3) in n 0.556 * [taylor]: Taking taylor expansion of 1.0 in n 0.556 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2)))) in n 0.556 * [taylor]: Taking taylor expansion of 0.5 in n 0.556 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2))) in n 0.556 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.556 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.556 * [taylor]: Taking taylor expansion of 1.0 in n 0.556 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.557 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.557 * [taylor]: Taking taylor expansion of 1.0 in n 0.557 * [taylor]: Taking taylor expansion of n in n 0.557 * [taylor]: Taking taylor expansion of (* (pow n 2) (pow 1.0 2)) in n 0.557 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.557 * [taylor]: Taking taylor expansion of n in n 0.557 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.557 * [taylor]: Taking taylor expansion of 1.0 in n 0.558 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in (x n) around 0 0.558 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n 0.558 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in n 0.558 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in n 0.558 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in n 0.558 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 0.558 * [taylor]: Taking taylor expansion of 1.0 in n 0.558 * [taylor]: Taking taylor expansion of n in n 0.558 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in n 0.558 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in n 0.558 * [taylor]: Taking taylor expansion of 1.0 in n 0.558 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.558 * [taylor]: Taking taylor expansion of x in n 0.559 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n 0.559 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in n 0.559 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in n 0.559 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 0.559 * [taylor]: Taking taylor expansion of 1.0 in n 0.559 * [taylor]: Taking taylor expansion of n in n 0.559 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in n 0.559 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.559 * [taylor]: Taking taylor expansion of x in n 0.559 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x 0.559 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in x 0.559 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in x 0.559 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in x 0.559 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.559 * [taylor]: Taking taylor expansion of 1.0 in x 0.559 * [taylor]: Taking taylor expansion of n in x 0.559 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.559 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.559 * [taylor]: Taking taylor expansion of 1.0 in x 0.559 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x 0.560 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x 0.560 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x 0.560 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.560 * [taylor]: Taking taylor expansion of 1.0 in x 0.560 * [taylor]: Taking taylor expansion of n in x 0.560 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x 0.560 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in x 0.560 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in x 0.560 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in x 0.560 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.560 * [taylor]: Taking taylor expansion of 1.0 in x 0.560 * [taylor]: Taking taylor expansion of n in x 0.560 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.560 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.560 * [taylor]: Taking taylor expansion of 1.0 in x 0.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x 0.560 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x 0.560 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x 0.560 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.560 * [taylor]: Taking taylor expansion of 1.0 in x 0.560 * [taylor]: Taking taylor expansion of n in x 0.560 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.561 * [taylor]: Taking taylor expansion of 0 in n 0.562 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n 0.562 * [taylor]: Taking taylor expansion of 1.0 in n 0.562 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n 0.562 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.562 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.562 * [taylor]: Taking taylor expansion of 1.0 in n 0.562 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.562 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.562 * [taylor]: Taking taylor expansion of (log 1) in n 0.562 * [taylor]: Taking taylor expansion of 1 in n 0.562 * [taylor]: Taking taylor expansion of (log x) in n 0.562 * [taylor]: Taking taylor expansion of x in n 0.562 * [taylor]: Taking taylor expansion of n in n 0.562 * [taylor]: Taking taylor expansion of n in n 0.564 * [taylor]: Taking taylor expansion of (- (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) in n 0.564 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n 0.564 * [taylor]: Taking taylor expansion of 0.5 in n 0.564 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n 0.564 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.564 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.564 * [taylor]: Taking taylor expansion of 1.0 in n 0.564 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.564 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.564 * [taylor]: Taking taylor expansion of (log 1) in n 0.564 * [taylor]: Taking taylor expansion of 1 in n 0.564 * [taylor]: Taking taylor expansion of (log x) in n 0.564 * [taylor]: Taking taylor expansion of x in n 0.564 * [taylor]: Taking taylor expansion of n in n 0.564 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.564 * [taylor]: Taking taylor expansion of n in n 0.564 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n 0.564 * [taylor]: Taking taylor expansion of 0.5 in n 0.564 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n 0.564 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.564 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.564 * [taylor]: Taking taylor expansion of 1.0 in n 0.564 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.564 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.564 * [taylor]: Taking taylor expansion of (log 1) in n 0.564 * [taylor]: Taking taylor expansion of 1 in n 0.564 * [taylor]: Taking taylor expansion of (log x) in n 0.564 * [taylor]: Taking taylor expansion of x in n 0.564 * [taylor]: Taking taylor expansion of n in n 0.565 * [taylor]: Taking taylor expansion of n in n 0.567 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)))) in n 0.567 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) in n 0.567 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) in n 0.567 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n 0.567 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3)) in n 0.567 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.567 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.567 * [taylor]: Taking taylor expansion of 1.0 in n 0.567 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.567 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.567 * [taylor]: Taking taylor expansion of (log 1) in n 0.567 * [taylor]: Taking taylor expansion of 1 in n 0.567 * [taylor]: Taking taylor expansion of (log x) in n 0.567 * [taylor]: Taking taylor expansion of x in n 0.567 * [taylor]: Taking taylor expansion of n in n 0.568 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.568 * [taylor]: Taking taylor expansion of n in n 0.568 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n 0.568 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n 0.568 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n 0.568 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.568 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.568 * [taylor]: Taking taylor expansion of 1.0 in n 0.568 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.568 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.568 * [taylor]: Taking taylor expansion of (log 1) in n 0.568 * [taylor]: Taking taylor expansion of 1 in n 0.568 * [taylor]: Taking taylor expansion of (log x) in n 0.568 * [taylor]: Taking taylor expansion of x in n 0.568 * [taylor]: Taking taylor expansion of n in n 0.568 * [taylor]: Taking taylor expansion of n in n 0.568 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n 0.568 * [taylor]: Taking taylor expansion of 0.5 in n 0.568 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n 0.568 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.568 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.568 * [taylor]: Taking taylor expansion of 1.0 in n 0.568 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.568 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.568 * [taylor]: Taking taylor expansion of (log 1) in n 0.569 * [taylor]: Taking taylor expansion of 1 in n 0.569 * [taylor]: Taking taylor expansion of (log x) in n 0.569 * [taylor]: Taking taylor expansion of x in n 0.569 * [taylor]: Taking taylor expansion of n in n 0.569 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.569 * [taylor]: Taking taylor expansion of n in n 0.571 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in (x n) around 0 0.571 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n 0.571 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in n 0.571 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in n 0.571 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in n 0.571 * [taylor]: Taking taylor expansion of (* -1.0 n) in n 0.571 * [taylor]: Taking taylor expansion of -1.0 in n 0.571 * [taylor]: Taking taylor expansion of n in n 0.571 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in n 0.571 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in n 0.571 * [taylor]: Taking taylor expansion of 1.0 in n 0.571 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.571 * [taylor]: Taking taylor expansion of x in n 0.572 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n 0.572 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in n 0.572 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in n 0.572 * [taylor]: Taking taylor expansion of (* -1.0 n) in n 0.572 * [taylor]: Taking taylor expansion of -1.0 in n 0.572 * [taylor]: Taking taylor expansion of n in n 0.572 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in n 0.572 * [taylor]: Taking taylor expansion of (/ -1 x) in n 0.572 * [taylor]: Taking taylor expansion of -1 in n 0.572 * [taylor]: Taking taylor expansion of x in n 0.572 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x 0.572 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x 0.572 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x 0.572 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x 0.572 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.572 * [taylor]: Taking taylor expansion of -1.0 in x 0.572 * [taylor]: Taking taylor expansion of n in x 0.572 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.572 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.572 * [taylor]: Taking taylor expansion of 1.0 in x 0.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.572 * [taylor]: Taking taylor expansion of x in x 0.573 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x 0.573 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x 0.573 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x 0.573 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.573 * [taylor]: Taking taylor expansion of -1.0 in x 0.573 * [taylor]: Taking taylor expansion of n in x 0.573 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.573 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.573 * [taylor]: Taking taylor expansion of -1 in x 0.573 * [taylor]: Taking taylor expansion of x in x 0.573 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x 0.573 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x 0.573 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x 0.573 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x 0.573 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.573 * [taylor]: Taking taylor expansion of -1.0 in x 0.573 * [taylor]: Taking taylor expansion of n in x 0.573 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.573 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.573 * [taylor]: Taking taylor expansion of 1.0 in x 0.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.573 * [taylor]: Taking taylor expansion of x in x 0.573 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x 0.573 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x 0.573 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x 0.573 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.573 * [taylor]: Taking taylor expansion of -1.0 in x 0.574 * [taylor]: Taking taylor expansion of n in x 0.574 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.574 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.574 * [taylor]: Taking taylor expansion of -1 in x 0.574 * [taylor]: Taking taylor expansion of x in x 0.574 * [taylor]: Taking taylor expansion of (- (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (exp (* -1.0 (* n (- (log -1) (log x)))))) in n 0.574 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.574 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.574 * [taylor]: Taking taylor expansion of -1.0 in n 0.574 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.574 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.574 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.574 * [taylor]: Taking taylor expansion of (neg 1) in n 0.574 * [taylor]: Taking taylor expansion of 1 in n 0.574 * [taylor]: Taking taylor expansion of (log x) in n 0.574 * [taylor]: Taking taylor expansion of x in n 0.574 * [taylor]: Taking taylor expansion of n in n 0.575 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* n (- (log -1) (log x))))) in n 0.575 * [taylor]: Taking taylor expansion of (* -1.0 (* n (- (log -1) (log x)))) in n 0.575 * [taylor]: Taking taylor expansion of -1.0 in n 0.575 * [taylor]: Taking taylor expansion of (* n (- (log -1) (log x))) in n 0.575 * [taylor]: Taking taylor expansion of n in n 0.575 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in n 0.575 * [taylor]: Taking taylor expansion of (log -1) in n 0.575 * [taylor]: Taking taylor expansion of -1 in n 0.575 * [taylor]: Taking taylor expansion of (log x) in n 0.575 * [taylor]: Taking taylor expansion of x in n 0.576 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n 0.576 * [taylor]: Taking taylor expansion of 1.0 in n 0.576 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n 0.576 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.576 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.576 * [taylor]: Taking taylor expansion of -1.0 in n 0.576 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.576 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.576 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.576 * [taylor]: Taking taylor expansion of (neg 1) in n 0.576 * [taylor]: Taking taylor expansion of 1 in n 0.576 * [taylor]: Taking taylor expansion of (log x) in n 0.576 * [taylor]: Taking taylor expansion of x in n 0.576 * [taylor]: Taking taylor expansion of n in n 0.577 * [taylor]: Taking taylor expansion of n in n 0.579 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2))) (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n))) in n 0.579 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2))) in n 0.579 * [taylor]: Taking taylor expansion of 0.5 in n 0.579 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2)) in n 0.579 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.579 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.579 * [taylor]: Taking taylor expansion of -1.0 in n 0.579 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.579 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.579 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.579 * [taylor]: Taking taylor expansion of (neg 1) in n 0.579 * [taylor]: Taking taylor expansion of 1 in n 0.579 * [taylor]: Taking taylor expansion of (log x) in n 0.579 * [taylor]: Taking taylor expansion of x in n 0.579 * [taylor]: Taking taylor expansion of n in n 0.579 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.579 * [taylor]: Taking taylor expansion of n in n 0.579 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n 0.579 * [taylor]: Taking taylor expansion of 0.5 in n 0.579 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n 0.579 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.579 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.579 * [taylor]: Taking taylor expansion of -1.0 in n 0.579 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.579 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.579 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.579 * [taylor]: Taking taylor expansion of (neg 1) in n 0.580 * [taylor]: Taking taylor expansion of 1 in n 0.580 * [taylor]: Taking taylor expansion of (log x) in n 0.580 * [taylor]: Taking taylor expansion of x in n 0.580 * [taylor]: Taking taylor expansion of n in n 0.580 * [taylor]: Taking taylor expansion of n in n 0.584 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.584 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in (x n) around 0 0.584 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n 0.584 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n 0.584 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in n 0.584 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in n 0.584 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 0.584 * [taylor]: Taking taylor expansion of 1.0 in n 0.584 * [taylor]: Taking taylor expansion of n in n 0.584 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in n 0.584 * [taylor]: Taking taylor expansion of (+ x 1.0) in n 0.584 * [taylor]: Taking taylor expansion of x in n 0.584 * [taylor]: Taking taylor expansion of 1.0 in n 0.584 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n 0.584 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in n 0.584 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in n 0.584 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 0.584 * [taylor]: Taking taylor expansion of 1.0 in n 0.584 * [taylor]: Taking taylor expansion of n in n 0.584 * [taylor]: Taking taylor expansion of (log x) in n 0.584 * [taylor]: Taking taylor expansion of x in n 0.588 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x 0.588 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x 0.588 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x 0.588 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x 0.588 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.588 * [taylor]: Taking taylor expansion of 1.0 in x 0.588 * [taylor]: Taking taylor expansion of n in x 0.588 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.588 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.588 * [taylor]: Taking taylor expansion of x in x 0.588 * [taylor]: Taking taylor expansion of 1.0 in x 0.588 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x 0.588 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x 0.588 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x 0.588 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.588 * [taylor]: Taking taylor expansion of 1.0 in x 0.588 * [taylor]: Taking taylor expansion of n in x 0.588 * [taylor]: Taking taylor expansion of (log x) in x 0.588 * [taylor]: Taking taylor expansion of x in x 0.588 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x 0.588 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x 0.588 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x 0.588 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x 0.588 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.588 * [taylor]: Taking taylor expansion of 1.0 in x 0.588 * [taylor]: Taking taylor expansion of n in x 0.588 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.588 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.588 * [taylor]: Taking taylor expansion of x in x 0.588 * [taylor]: Taking taylor expansion of 1.0 in x 0.589 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x 0.589 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x 0.589 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x 0.589 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.589 * [taylor]: Taking taylor expansion of 1.0 in x 0.589 * [taylor]: Taking taylor expansion of n in x 0.589 * [taylor]: Taking taylor expansion of (log x) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) in n 0.589 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.589 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.589 * [taylor]: Taking taylor expansion of 1.0 in n 0.589 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.589 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.589 * [taylor]: Taking taylor expansion of 1.0 in n 0.589 * [taylor]: Taking taylor expansion of n in n 0.589 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.589 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.589 * [taylor]: Taking taylor expansion of 1.0 in n 0.589 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.589 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.589 * [taylor]: Taking taylor expansion of (log 1) in n 0.589 * [taylor]: Taking taylor expansion of 1 in n 0.589 * [taylor]: Taking taylor expansion of (log x) in n 0.589 * [taylor]: Taking taylor expansion of x in n 0.589 * [taylor]: Taking taylor expansion of n in n 0.591 * [taylor]: Taking taylor expansion of (* 1.0 (/ (exp (* 1.0 (/ (log 1.0) n))) n)) in n 0.591 * [taylor]: Taking taylor expansion of 1.0 in n 0.591 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) n) in n 0.591 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.591 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.591 * [taylor]: Taking taylor expansion of 1.0 in n 0.591 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.591 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.591 * [taylor]: Taking taylor expansion of 1.0 in n 0.591 * [taylor]: Taking taylor expansion of n in n 0.591 * [taylor]: Taking taylor expansion of n in n 0.592 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2))) (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2))))) in n 0.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2))) in n 0.593 * [taylor]: Taking taylor expansion of 0.5 in n 0.593 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 2)) in n 0.593 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.593 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.593 * [taylor]: Taking taylor expansion of 1.0 in n 0.593 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.593 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.593 * [taylor]: Taking taylor expansion of 1.0 in n 0.593 * [taylor]: Taking taylor expansion of n in n 0.593 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.593 * [taylor]: Taking taylor expansion of n in n 0.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2)))) in n 0.593 * [taylor]: Taking taylor expansion of 0.5 in n 0.593 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 2))) in n 0.593 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.593 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.593 * [taylor]: Taking taylor expansion of 1.0 in n 0.593 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.593 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.593 * [taylor]: Taking taylor expansion of 1.0 in n 0.593 * [taylor]: Taking taylor expansion of n in n 0.593 * [taylor]: Taking taylor expansion of (* n (pow 1.0 2)) in n 0.593 * [taylor]: Taking taylor expansion of n in n 0.593 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.593 * [taylor]: Taking taylor expansion of 1.0 in n 0.596 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))))) (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2))))) in n 0.596 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))))) in n 0.596 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3))) in n 0.596 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n 0.596 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (pow n 3)) in n 0.596 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.596 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.596 * [taylor]: Taking taylor expansion of 1.0 in n 0.596 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.596 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.596 * [taylor]: Taking taylor expansion of 1.0 in n 0.596 * [taylor]: Taking taylor expansion of n in n 0.596 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.596 * [taylor]: Taking taylor expansion of n in n 0.597 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3)))) in n 0.597 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n 0.597 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* n (pow 1.0 3))) in n 0.597 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.597 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.597 * [taylor]: Taking taylor expansion of 1.0 in n 0.597 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.597 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.597 * [taylor]: Taking taylor expansion of 1.0 in n 0.597 * [taylor]: Taking taylor expansion of n in n 0.597 * [taylor]: Taking taylor expansion of (* n (pow 1.0 3)) in n 0.597 * [taylor]: Taking taylor expansion of n in n 0.597 * [taylor]: Taking taylor expansion of (pow 1.0 3) in n 0.597 * [taylor]: Taking taylor expansion of 1.0 in n 0.597 * [taylor]: Taking taylor expansion of (* 0.5 (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2)))) in n 0.597 * [taylor]: Taking taylor expansion of 0.5 in n 0.597 * [taylor]: Taking taylor expansion of (/ (exp (* 1.0 (/ (log 1.0) n))) (* (pow n 2) (pow 1.0 2))) in n 0.597 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.597 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.597 * [taylor]: Taking taylor expansion of 1.0 in n 0.597 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.597 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.597 * [taylor]: Taking taylor expansion of 1.0 in n 0.597 * [taylor]: Taking taylor expansion of n in n 0.597 * [taylor]: Taking taylor expansion of (* (pow n 2) (pow 1.0 2)) in n 0.597 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.597 * [taylor]: Taking taylor expansion of n in n 0.597 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.597 * [taylor]: Taking taylor expansion of 1.0 in n 0.599 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in (x n) around 0 0.599 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n 0.599 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in n 0.599 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in n 0.599 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in n 0.599 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 0.599 * [taylor]: Taking taylor expansion of 1.0 in n 0.599 * [taylor]: Taking taylor expansion of n in n 0.599 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in n 0.599 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in n 0.599 * [taylor]: Taking taylor expansion of 1.0 in n 0.599 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.599 * [taylor]: Taking taylor expansion of x in n 0.599 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n 0.599 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in n 0.599 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in n 0.599 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 0.599 * [taylor]: Taking taylor expansion of 1.0 in n 0.599 * [taylor]: Taking taylor expansion of n in n 0.599 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in n 0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.600 * [taylor]: Taking taylor expansion of x in n 0.600 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x 0.600 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in x 0.600 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in x 0.600 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in x 0.600 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.600 * [taylor]: Taking taylor expansion of 1.0 in x 0.600 * [taylor]: Taking taylor expansion of n in x 0.600 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.600 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.600 * [taylor]: Taking taylor expansion of 1.0 in x 0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x 0.600 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x 0.600 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x 0.600 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.600 * [taylor]: Taking taylor expansion of 1.0 in x 0.600 * [taylor]: Taking taylor expansion of n in x 0.600 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x 0.601 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in x 0.601 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in x 0.601 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in x 0.601 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.601 * [taylor]: Taking taylor expansion of 1.0 in x 0.601 * [taylor]: Taking taylor expansion of n in x 0.601 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.601 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.601 * [taylor]: Taking taylor expansion of 1.0 in x 0.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x 0.601 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x 0.601 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x 0.601 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.601 * [taylor]: Taking taylor expansion of 1.0 in x 0.601 * [taylor]: Taking taylor expansion of n in x 0.601 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of 0 in n 0.602 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n 0.602 * [taylor]: Taking taylor expansion of 1.0 in n 0.602 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n 0.602 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.602 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.602 * [taylor]: Taking taylor expansion of 1.0 in n 0.602 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.602 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.602 * [taylor]: Taking taylor expansion of (log 1) in n 0.602 * [taylor]: Taking taylor expansion of 1 in n 0.602 * [taylor]: Taking taylor expansion of (log x) in n 0.602 * [taylor]: Taking taylor expansion of x in n 0.602 * [taylor]: Taking taylor expansion of n in n 0.603 * [taylor]: Taking taylor expansion of n in n 0.604 * [taylor]: Taking taylor expansion of (- (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) in n 0.604 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n 0.604 * [taylor]: Taking taylor expansion of 0.5 in n 0.604 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n 0.604 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.604 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.604 * [taylor]: Taking taylor expansion of 1.0 in n 0.604 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.604 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.604 * [taylor]: Taking taylor expansion of (log 1) in n 0.604 * [taylor]: Taking taylor expansion of 1 in n 0.604 * [taylor]: Taking taylor expansion of (log x) in n 0.604 * [taylor]: Taking taylor expansion of x in n 0.604 * [taylor]: Taking taylor expansion of n in n 0.605 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.605 * [taylor]: Taking taylor expansion of n in n 0.605 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n 0.605 * [taylor]: Taking taylor expansion of 0.5 in n 0.605 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n 0.605 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.605 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.605 * [taylor]: Taking taylor expansion of 1.0 in n 0.605 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.605 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.605 * [taylor]: Taking taylor expansion of (log 1) in n 0.605 * [taylor]: Taking taylor expansion of 1 in n 0.605 * [taylor]: Taking taylor expansion of (log x) in n 0.605 * [taylor]: Taking taylor expansion of x in n 0.605 * [taylor]: Taking taylor expansion of n in n 0.605 * [taylor]: Taking taylor expansion of n in n 0.608 * [taylor]: Taking taylor expansion of (- (+ (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)))) in n 0.608 * [taylor]: Taking taylor expansion of (+ (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n))) in n 0.608 * [taylor]: Taking taylor expansion of (* 0.16666666666666666 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3))) in n 0.608 * [taylor]: Taking taylor expansion of 0.16666666666666666 in n 0.608 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 3)) in n 0.608 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.608 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.608 * [taylor]: Taking taylor expansion of 1.0 in n 0.608 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.608 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.608 * [taylor]: Taking taylor expansion of (log 1) in n 0.608 * [taylor]: Taking taylor expansion of 1 in n 0.608 * [taylor]: Taking taylor expansion of (log x) in n 0.608 * [taylor]: Taking taylor expansion of x in n 0.608 * [taylor]: Taking taylor expansion of n 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.608 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n)) in n 0.608 * [taylor]: Taking taylor expansion of 0.3333333333333333 in n 0.608 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) n) in n 0.608 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.608 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.608 * [taylor]: Taking taylor expansion of 1.0 in n 0.608 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.608 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.609 * [taylor]: Taking taylor expansion of (log 1) in n 0.609 * [taylor]: Taking taylor expansion of 1 in n 0.609 * [taylor]: Taking taylor expansion of (log x) in n 0.609 * [taylor]: Taking taylor expansion of x in n 0.609 * [taylor]: Taking taylor expansion of n in n 0.609 * [taylor]: Taking taylor expansion of n in n 0.609 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2))) in n 0.609 * [taylor]: Taking taylor expansion of 0.5 in n 0.609 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (* (- (log 1) (log x)) n))) (pow n 2)) in n 0.609 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.609 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.609 * [taylor]: Taking taylor expansion of 1.0 in n 0.609 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.609 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.609 * [taylor]: Taking taylor expansion of (log 1) in n 0.609 * [taylor]: Taking taylor expansion of 1 in n 0.609 * [taylor]: Taking taylor expansion of (log x) in n 0.609 * [taylor]: Taking taylor expansion of x in n 0.609 * [taylor]: Taking taylor expansion of n in n 0.610 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.610 * [taylor]: Taking taylor expansion of n in n 0.612 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in (x n) around 0 0.612 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n 0.612 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in n 0.612 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in n 0.612 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in n 0.612 * [taylor]: Taking taylor expansion of (* -1.0 n) in n 0.612 * [taylor]: Taking taylor expansion of -1.0 in n 0.612 * [taylor]: Taking taylor expansion of n in n 0.612 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in n 0.612 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in n 0.612 * [taylor]: Taking taylor expansion of 1.0 in n 0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.612 * [taylor]: Taking taylor expansion of x in n 0.612 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n 0.612 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in n 0.612 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in n 0.612 * [taylor]: Taking taylor expansion of (* -1.0 n) in n 0.612 * [taylor]: Taking taylor expansion of -1.0 in n 0.612 * [taylor]: Taking taylor expansion of n in n 0.612 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in n 0.612 * [taylor]: Taking taylor expansion of (/ -1 x) in n 0.612 * [taylor]: Taking taylor expansion of -1 in n 0.612 * [taylor]: Taking taylor expansion of x in n 0.613 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x 0.613 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x 0.613 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x 0.613 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x 0.613 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.613 * [taylor]: Taking taylor expansion of -1.0 in x 0.613 * [taylor]: Taking taylor expansion of n in x 0.613 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.613 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.613 * [taylor]: Taking taylor expansion of 1.0 in x 0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x 0.613 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x 0.613 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x 0.613 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.613 * [taylor]: Taking taylor expansion of -1.0 in x 0.613 * [taylor]: Taking taylor expansion of n in x 0.613 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.613 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.613 * [taylor]: Taking taylor expansion of -1 in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x 0.614 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x 0.614 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x 0.614 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x 0.614 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.614 * [taylor]: Taking taylor expansion of -1.0 in x 0.614 * [taylor]: Taking taylor expansion of n in x 0.614 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.614 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.614 * [taylor]: Taking taylor expansion of 1.0 in x 0.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x 0.614 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x 0.614 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x 0.614 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.614 * [taylor]: Taking taylor expansion of -1.0 in x 0.614 * [taylor]: Taking taylor expansion of n in x 0.614 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.614 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.614 * [taylor]: Taking taylor expansion of -1 in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of (- (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (exp (* -1.0 (* n (- (log -1) (log x)))))) in n 0.614 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.614 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.615 * [taylor]: Taking taylor expansion of -1.0 in n 0.615 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.615 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.615 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.615 * [taylor]: Taking taylor expansion of (neg 1) in n 0.615 * [taylor]: Taking taylor expansion of 1 in n 0.615 * [taylor]: Taking taylor expansion of (log x) in n 0.615 * [taylor]: Taking taylor expansion of x in n 0.615 * [taylor]: Taking taylor expansion of n in n 0.615 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* n (- (log -1) (log x))))) in n 0.615 * [taylor]: Taking taylor expansion of (* -1.0 (* n (- (log -1) (log x)))) in n 0.615 * [taylor]: Taking taylor expansion of -1.0 in n 0.615 * [taylor]: Taking taylor expansion of (* n (- (log -1) (log x))) in n 0.615 * [taylor]: Taking taylor expansion of n in n 0.615 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in n 0.615 * [taylor]: Taking taylor expansion of (log -1) in n 0.615 * [taylor]: Taking taylor expansion of -1 in n 0.615 * [taylor]: Taking taylor expansion of (log x) in n 0.615 * [taylor]: Taking taylor expansion of x in n 0.617 * [taylor]: Taking taylor expansion of (* 1.0 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n 0.617 * [taylor]: Taking taylor expansion of 1.0 in n 0.617 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n 0.617 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.617 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.617 * [taylor]: Taking taylor expansion of -1.0 in n 0.617 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.617 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.617 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.617 * [taylor]: Taking taylor expansion of (neg 1) in n 0.617 * [taylor]: Taking taylor expansion of 1 in n 0.617 * [taylor]: Taking taylor expansion of (log x) in n 0.617 * [taylor]: Taking taylor expansion of x in n 0.617 * [taylor]: Taking taylor expansion of n in n 0.617 * [taylor]: Taking taylor expansion of n in n 0.619 * [taylor]: Taking taylor expansion of (+ (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2))) (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n))) in n 0.619 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2))) in n 0.619 * [taylor]: Taking taylor expansion of 0.5 in n 0.619 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (pow n 2)) in n 0.619 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.619 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.619 * [taylor]: Taking taylor expansion of -1.0 in n 0.619 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.619 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.619 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.619 * [taylor]: Taking taylor expansion of (neg 1) in n 0.619 * [taylor]: Taking taylor expansion of 1 in n 0.619 * [taylor]: Taking taylor expansion of (log x) in n 0.619 * [taylor]: Taking taylor expansion of x in n 0.619 * [taylor]: Taking taylor expansion of n in n 0.620 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.620 * [taylor]: Taking taylor expansion of n in n 0.620 * [taylor]: Taking taylor expansion of (* 0.5 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n)) in n 0.620 * [taylor]: Taking taylor expansion of 0.5 in n 0.620 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) n) in n 0.620 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.620 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.620 * [taylor]: Taking taylor expansion of -1.0 in n 0.620 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.620 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.620 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.620 * [taylor]: Taking taylor expansion of (neg 1) in n 0.620 * [taylor]: Taking taylor expansion of 1 in n 0.620 * [taylor]: Taking taylor expansion of (log x) in n 0.620 * [taylor]: Taking taylor expansion of x in n 0.620 * [taylor]: Taking taylor expansion of n in n 0.620 * [taylor]: Taking taylor expansion of n in n 0.624 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.625 * [approximate]: Taking taylor expansion of (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) in (x n) around 0 0.625 * [taylor]: Taking taylor expansion of (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) in n 0.625 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in n 0.625 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in n 0.625 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in n 0.625 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in n 0.625 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 0.625 * [taylor]: Taking taylor expansion of 1.0 in n 0.625 * [taylor]: Taking taylor expansion of n in n 0.625 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in n 0.625 * [taylor]: Taking taylor expansion of (+ x 1.0) in n 0.625 * [taylor]: Taking taylor expansion of x in n 0.625 * [taylor]: Taking taylor expansion of 1.0 in n 0.625 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in n 0.625 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in n 0.625 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in n 0.625 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 0.625 * [taylor]: Taking taylor expansion of 1.0 in n 0.625 * [taylor]: Taking taylor expansion of n in n 0.625 * [taylor]: Taking taylor expansion of (log x) in n 0.625 * [taylor]: Taking taylor expansion of x in n 0.625 * [taylor]: Taking taylor expansion of (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) in x 0.625 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x 0.625 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x 0.625 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x 0.625 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.625 * [taylor]: Taking taylor expansion of 1.0 in x 0.626 * [taylor]: Taking taylor expansion of n in x 0.626 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.626 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of 1.0 in x 0.626 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x 0.626 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x 0.626 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x 0.626 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.626 * [taylor]: Taking taylor expansion of 1.0 in x 0.626 * [taylor]: Taking taylor expansion of n in x 0.626 * [taylor]: Taking taylor expansion of (log x) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) in x 0.626 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) in x 0.626 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) (/ 1.0 n)) in x 0.626 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log (+ x 1.0)))) in x 0.626 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log (+ x 1.0))) in x 0.626 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.626 * [taylor]: Taking taylor expansion of 1.0 in x 0.626 * [taylor]: Taking taylor expansion of n in x 0.626 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.626 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of 1.0 in x 0.626 * [taylor]: Taking taylor expansion of (pow x (/ 1.0 n)) in x 0.626 * [taylor]: Taking taylor expansion of (exp (* (/ 1.0 n) (log x))) in x 0.626 * [taylor]: Taking taylor expansion of (* (/ 1.0 n) (log x)) in x 0.627 * [taylor]: Taking taylor expansion of (/ 1.0 n) in x 0.627 * [taylor]: Taking taylor expansion of 1.0 in x 0.627 * [taylor]: Taking taylor expansion of n in x 0.627 * [taylor]: Taking taylor expansion of (log x) in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of (pow (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) 3) in n 0.627 * [taylor]: Taking taylor expansion of (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) in n 0.627 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.627 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.627 * [taylor]: Taking taylor expansion of 1.0 in n 0.627 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.627 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.628 * [taylor]: Taking taylor expansion of 1.0 in n 0.628 * [taylor]: Taking taylor expansion of n in n 0.628 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.628 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.628 * [taylor]: Taking taylor expansion of 1.0 in n 0.628 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.628 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.628 * [taylor]: Taking taylor expansion of (log 1) in n 0.628 * [taylor]: Taking taylor expansion of 1 in n 0.628 * [taylor]: Taking taylor expansion of (log x) in n 0.628 * [taylor]: Taking taylor expansion of x in n 0.628 * [taylor]: Taking taylor expansion of n in n 0.631 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) n)) (* 3.0 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) n))) (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) n))) in n 0.631 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) n)) (* 3.0 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) n))) in n 0.631 * [taylor]: Taking taylor expansion of (* 3.0 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) n)) in n 0.631 * [taylor]: Taking taylor expansion of 3.0 in n 0.631 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) n) in n 0.631 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 3) in n 0.631 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.631 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.631 * [taylor]: Taking taylor expansion of 1.0 in n 0.631 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.631 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.631 * [taylor]: Taking taylor expansion of 1.0 in n 0.631 * [taylor]: Taking taylor expansion of n in n 0.631 * [taylor]: Taking taylor expansion of n in n 0.631 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) n)) in n 0.631 * [taylor]: Taking taylor expansion of 3.0 in n 0.631 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) n) in n 0.631 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) in n 0.631 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) in n 0.631 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.631 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.631 * [taylor]: Taking taylor expansion of 1.0 in n 0.631 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.632 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.632 * [taylor]: Taking taylor expansion of (log 1) in n 0.632 * [taylor]: Taking taylor expansion of 1 in n 0.632 * [taylor]: Taking taylor expansion of (log x) in n 0.632 * [taylor]: Taking taylor expansion of x in n 0.632 * [taylor]: Taking taylor expansion of n in n 0.632 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.632 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.632 * [taylor]: Taking taylor expansion of 1.0 in n 0.632 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.632 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.632 * [taylor]: Taking taylor expansion of 1.0 in n 0.632 * [taylor]: Taking taylor expansion of n in n 0.632 * [taylor]: Taking taylor expansion of n in n 0.632 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) n)) in n 0.632 * [taylor]: Taking taylor expansion of 6.0 in n 0.632 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) n) in n 0.632 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) in n 0.633 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.633 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.633 * [taylor]: Taking taylor expansion of 1.0 in n 0.633 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.633 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.633 * [taylor]: Taking taylor expansion of (log 1) in n 0.633 * [taylor]: Taking taylor expansion of 1 in n 0.633 * [taylor]: Taking taylor expansion of (log x) in n 0.633 * [taylor]: Taking taylor expansion of x in n 0.633 * [taylor]: Taking taylor expansion of n in n 0.633 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 2) in n 0.633 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.633 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.633 * [taylor]: Taking taylor expansion of 1.0 in n 0.633 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.633 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.633 * [taylor]: Taking taylor expansion of 1.0 in n 0.633 * [taylor]: Taking taylor expansion of n in n 0.633 * [taylor]: Taking taylor expansion of n in n 0.640 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* n (pow 1.0 2)))) (+ (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 2))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 2))))) (+ (* 1.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* n (pow 1.0 2)))) (+ (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 2))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* n (pow 1.0 2))))))) in n 0.641 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* n (pow 1.0 2)))) (+ (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 2))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 2))))) in n 0.641 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* n (pow 1.0 2)))) in n 0.641 * [taylor]: Taking taylor expansion of 3.0 in n 0.641 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* n (pow 1.0 2))) in n 0.641 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) in n 0.641 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.641 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.641 * [taylor]: Taking taylor expansion of 1.0 in n 0.641 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.641 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.641 * [taylor]: Taking taylor expansion of (log 1) in n 0.641 * [taylor]: Taking taylor expansion of 1 in n 0.641 * [taylor]: Taking taylor expansion of (log x) in n 0.641 * [taylor]: Taking taylor expansion of x in n 0.641 * [taylor]: Taking taylor expansion of n in n 0.641 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 2) in n 0.641 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.641 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.641 * [taylor]: Taking taylor expansion of 1.0 in n 0.641 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.641 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.641 * [taylor]: Taking taylor expansion of 1.0 in n 0.641 * [taylor]: Taking taylor expansion of n in n 0.641 * [taylor]: Taking taylor expansion of (* n (pow 1.0 2)) in n 0.641 * [taylor]: Taking taylor expansion of n in n 0.641 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.641 * [taylor]: Taking taylor expansion of 1.0 in n 0.642 * [taylor]: Taking taylor expansion of (+ (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 2))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 2)))) in n 0.642 * [taylor]: Taking taylor expansion of (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 2))) in n 0.642 * [taylor]: Taking taylor expansion of 4.5 in n 0.642 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 2)) in n 0.642 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 3) in n 0.642 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.642 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.642 * [taylor]: Taking taylor expansion of 1.0 in n 0.642 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.642 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.642 * [taylor]: Taking taylor expansion of 1.0 in n 0.642 * [taylor]: Taking taylor expansion of n in n 0.642 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.642 * [taylor]: Taking taylor expansion of n in n 0.642 * [taylor]: Taking taylor expansion of (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 2))) in n 0.642 * [taylor]: Taking taylor expansion of 1.5 in n 0.642 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 2)) in n 0.642 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) in n 0.642 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) in n 0.642 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.642 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.643 * [taylor]: Taking taylor expansion of 1.0 in n 0.643 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.643 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.643 * [taylor]: Taking taylor expansion of (log 1) in n 0.643 * [taylor]: Taking taylor expansion of 1 in n 0.643 * [taylor]: Taking taylor expansion of (log x) in n 0.643 * [taylor]: Taking taylor expansion of x in n 0.643 * [taylor]: Taking taylor expansion of n in n 0.643 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.643 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.643 * [taylor]: Taking taylor expansion of 1.0 in n 0.643 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.643 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.643 * [taylor]: Taking taylor expansion of 1.0 in n 0.643 * [taylor]: Taking taylor expansion of n in n 0.643 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.643 * [taylor]: Taking taylor expansion of n in n 0.643 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* n (pow 1.0 2)))) (+ (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 2))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* n (pow 1.0 2)))))) in n 0.644 * [taylor]: Taking taylor expansion of (* 1.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* n (pow 1.0 2)))) in n 0.644 * [taylor]: Taking taylor expansion of 1.5 in n 0.644 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* n (pow 1.0 2))) in n 0.644 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 3) in n 0.644 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.644 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.644 * [taylor]: Taking taylor expansion of 1.0 in n 0.644 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.644 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.644 * [taylor]: Taking taylor expansion of 1.0 in n 0.644 * [taylor]: Taking taylor expansion of n in n 0.644 * [taylor]: Taking taylor expansion of (* n (pow 1.0 2)) in n 0.644 * [taylor]: Taking taylor expansion of n in n 0.644 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.644 * [taylor]: Taking taylor expansion of 1.0 in n 0.644 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 2))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* n (pow 1.0 2))))) in n 0.644 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 2))) in n 0.644 * [taylor]: Taking taylor expansion of 6.0 in n 0.644 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 2)) in n 0.644 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) in n 0.644 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.644 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.644 * [taylor]: Taking taylor expansion of 1.0 in n 0.644 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.644 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.644 * [taylor]: Taking taylor expansion of (log 1) in n 0.644 * [taylor]: Taking taylor expansion of 1 in n 0.644 * [taylor]: Taking taylor expansion of (log x) in n 0.644 * [taylor]: Taking taylor expansion of x in n 0.644 * [taylor]: Taking taylor expansion of n in n 0.645 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 2) in n 0.645 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.645 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.645 * [taylor]: Taking taylor expansion of 1.0 in n 0.645 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.645 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.645 * [taylor]: Taking taylor expansion of 1.0 in n 0.645 * [taylor]: Taking taylor expansion of n in n 0.645 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.645 * [taylor]: Taking taylor expansion of n in n 0.645 * [taylor]: Taking taylor expansion of (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* n (pow 1.0 2)))) in n 0.645 * [taylor]: Taking taylor expansion of 1.5 in n 0.645 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* n (pow 1.0 2))) in n 0.645 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) in n 0.645 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) in n 0.645 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.645 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.645 * [taylor]: Taking taylor expansion of 1.0 in n 0.645 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.645 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.646 * [taylor]: Taking taylor expansion of (log 1) in n 0.646 * [taylor]: Taking taylor expansion of 1 in n 0.646 * [taylor]: Taking taylor expansion of (log x) in n 0.646 * [taylor]: Taking taylor expansion of x in n 0.646 * [taylor]: Taking taylor expansion of n in n 0.646 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.646 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.646 * [taylor]: Taking taylor expansion of 1.0 in n 0.646 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.646 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.646 * [taylor]: Taking taylor expansion of 1.0 in n 0.646 * [taylor]: Taking taylor expansion of n in n 0.646 * [taylor]: Taking taylor expansion of (* n (pow 1.0 2)) in n 0.646 * [taylor]: Taking taylor expansion of n in n 0.646 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.646 * [taylor]: Taking taylor expansion of 1.0 in n 0.663 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* n (pow 1.0 3)))) (+ (* 1.0 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* n (pow 1.0 3)))) (+ (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 3))) (+ (* 0.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 3))) (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* (pow n 2) (pow 1.0 2)))))))) (+ (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* (pow n 2) (pow 1.0 2)))) (+ (* 2.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* n (pow 1.0 3)))) (+ (* 4.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 3))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* (pow n 2) (pow 1.0 2)))))))) in n 0.664 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* n (pow 1.0 3)))) (+ (* 1.0 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* n (pow 1.0 3)))) (+ (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 3))) (+ (* 0.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 3))) (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* (pow n 2) (pow 1.0 2)))))))) in n 0.664 * [taylor]: Taking taylor expansion of (* 1.0 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* n (pow 1.0 3)))) in n 0.664 * [taylor]: Taking taylor expansion of 1.0 in n 0.664 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* n (pow 1.0 3))) in n 0.664 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) in n 0.664 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) in n 0.664 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.664 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.664 * [taylor]: Taking taylor expansion of 1.0 in n 0.664 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.664 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.664 * [taylor]: Taking taylor expansion of (log 1) in n 0.664 * [taylor]: Taking taylor expansion of 1 in n 0.664 * [taylor]: Taking taylor expansion of (log x) in n 0.664 * [taylor]: Taking taylor expansion of x in n 0.664 * [taylor]: Taking taylor expansion of n in n 0.664 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.664 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.664 * [taylor]: Taking taylor expansion of 1.0 in n 0.664 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.664 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.664 * [taylor]: Taking taylor expansion of 1.0 in n 0.664 * [taylor]: Taking taylor expansion of n in n 0.664 * [taylor]: Taking taylor expansion of (* n (pow 1.0 3)) in n 0.664 * [taylor]: Taking taylor expansion of n in n 0.664 * [taylor]: Taking taylor expansion of (pow 1.0 3) in n 0.664 * [taylor]: Taking taylor expansion of 1.0 in n 0.665 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* n (pow 1.0 3)))) (+ (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 3))) (+ (* 0.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 3))) (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* (pow n 2) (pow 1.0 2))))))) in n 0.665 * [taylor]: Taking taylor expansion of (* 1.0 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* n (pow 1.0 3)))) in n 0.665 * [taylor]: Taking taylor expansion of 1.0 in n 0.665 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* n (pow 1.0 3))) in n 0.665 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 3) in n 0.665 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.665 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.665 * [taylor]: Taking taylor expansion of 1.0 in n 0.665 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.665 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.665 * [taylor]: Taking taylor expansion of 1.0 in n 0.665 * [taylor]: Taking taylor expansion of n in n 0.665 * [taylor]: Taking taylor expansion of (* n (pow 1.0 3)) in n 0.665 * [taylor]: Taking taylor expansion of n in n 0.665 * [taylor]: Taking taylor expansion of (pow 1.0 3) in n 0.665 * [taylor]: Taking taylor expansion of 1.0 in n 0.666 * [taylor]: Taking taylor expansion of (+ (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 3))) (+ (* 0.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 3))) (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* (pow n 2) (pow 1.0 2)))))) in n 0.666 * [taylor]: Taking taylor expansion of (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 3))) in n 0.666 * [taylor]: Taking taylor expansion of 4.5 in n 0.666 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (pow n 3)) in n 0.666 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 3) in n 0.666 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.666 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.666 * [taylor]: Taking taylor expansion of 1.0 in n 0.666 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.666 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.666 * [taylor]: Taking taylor expansion of 1.0 in n 0.666 * [taylor]: Taking taylor expansion of n in n 0.666 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.666 * [taylor]: Taking taylor expansion of n in n 0.666 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 3))) (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* (pow n 2) (pow 1.0 2))))) in n 0.666 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 3))) in n 0.666 * [taylor]: Taking taylor expansion of 0.5 in n 0.666 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (pow n 3)) in n 0.666 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) in n 0.666 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) in n 0.666 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.666 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.666 * [taylor]: Taking taylor expansion of 1.0 in n 0.666 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.666 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.666 * [taylor]: Taking taylor expansion of (log 1) in n 0.666 * [taylor]: Taking taylor expansion of 1 in n 0.666 * [taylor]: Taking taylor expansion of (log x) in n 0.667 * [taylor]: Taking taylor expansion of x in n 0.667 * [taylor]: Taking taylor expansion of n in n 0.667 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.667 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.667 * [taylor]: Taking taylor expansion of 1.0 in n 0.667 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.667 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.667 * [taylor]: Taking taylor expansion of 1.0 in n 0.667 * [taylor]: Taking taylor expansion of n in n 0.667 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.667 * [taylor]: Taking taylor expansion of n in n 0.667 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* (pow n 2) (pow 1.0 2)))) in n 0.667 * [taylor]: Taking taylor expansion of 6.0 in n 0.667 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* (pow n 2) (pow 1.0 2))) in n 0.667 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) in n 0.667 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.668 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.668 * [taylor]: Taking taylor expansion of 1.0 in n 0.668 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.668 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.668 * [taylor]: Taking taylor expansion of (log 1) in n 0.668 * [taylor]: Taking taylor expansion of 1 in n 0.668 * [taylor]: Taking taylor expansion of (log x) in n 0.668 * [taylor]: Taking taylor expansion of x in n 0.668 * [taylor]: Taking taylor expansion of n in n 0.668 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 2) in n 0.668 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.668 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.668 * [taylor]: Taking taylor expansion of 1.0 in n 0.668 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.668 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.668 * [taylor]: Taking taylor expansion of 1.0 in n 0.668 * [taylor]: Taking taylor expansion of n in n 0.668 * [taylor]: Taking taylor expansion of (* (pow n 2) (pow 1.0 2)) in n 0.668 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.668 * [taylor]: Taking taylor expansion of n in n 0.668 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.668 * [taylor]: Taking taylor expansion of 1.0 in n 0.669 * [taylor]: Taking taylor expansion of (+ (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* (pow n 2) (pow 1.0 2)))) (+ (* 2.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* n (pow 1.0 3)))) (+ (* 4.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 3))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* (pow n 2) (pow 1.0 2))))))) in n 0.669 * [taylor]: Taking taylor expansion of (* 4.5 (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* (pow n 2) (pow 1.0 2)))) in n 0.669 * [taylor]: Taking taylor expansion of 4.5 in n 0.669 * [taylor]: Taking taylor expansion of (/ (pow (exp (* 1.0 (/ (log 1.0) n))) 3) (* (pow n 2) (pow 1.0 2))) in n 0.669 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 3) in n 0.669 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.669 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.669 * [taylor]: Taking taylor expansion of 1.0 in n 0.669 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.669 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.669 * [taylor]: Taking taylor expansion of 1.0 in n 0.669 * [taylor]: Taking taylor expansion of n in n 0.669 * [taylor]: Taking taylor expansion of (* (pow n 2) (pow 1.0 2)) in n 0.669 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.669 * [taylor]: Taking taylor expansion of n in n 0.669 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.669 * [taylor]: Taking taylor expansion of 1.0 in n 0.669 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* n (pow 1.0 3)))) (+ (* 4.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 3))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* (pow n 2) (pow 1.0 2)))))) in n 0.669 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* n (pow 1.0 3)))) in n 0.669 * [taylor]: Taking taylor expansion of 2.0 in n 0.669 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (* n (pow 1.0 3))) in n 0.669 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) in n 0.669 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.669 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.669 * [taylor]: Taking taylor expansion of 1.0 in n 0.669 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.669 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.669 * [taylor]: Taking taylor expansion of (log 1) in n 0.669 * [taylor]: Taking taylor expansion of 1 in n 0.670 * [taylor]: Taking taylor expansion of (log x) in n 0.670 * [taylor]: Taking taylor expansion of x in n 0.670 * [taylor]: Taking taylor expansion of n in n 0.670 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 2) in n 0.670 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.670 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.670 * [taylor]: Taking taylor expansion of 1.0 in n 0.670 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.670 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.670 * [taylor]: Taking taylor expansion of 1.0 in n 0.670 * [taylor]: Taking taylor expansion of n in n 0.670 * [taylor]: Taking taylor expansion of (* n (pow 1.0 3)) in n 0.670 * [taylor]: Taking taylor expansion of n in n 0.670 * [taylor]: Taking taylor expansion of (pow 1.0 3) in n 0.670 * [taylor]: Taking taylor expansion of 1.0 in n 0.670 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 3))) (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* (pow n 2) (pow 1.0 2))))) in n 0.670 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 3))) in n 0.671 * [taylor]: Taking taylor expansion of 4.0 in n 0.671 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) (pow n 3)) in n 0.671 * [taylor]: Taking taylor expansion of (* (exp (* 1.0 (/ (+ (log 1) (log x)) n))) (pow (exp (* 1.0 (/ (log 1.0) n))) 2)) in n 0.671 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.671 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.671 * [taylor]: Taking taylor expansion of 1.0 in n 0.671 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.671 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.671 * [taylor]: Taking taylor expansion of (log 1) in n 0.671 * [taylor]: Taking taylor expansion of 1 in n 0.671 * [taylor]: Taking taylor expansion of (log x) in n 0.671 * [taylor]: Taking taylor expansion of x in n 0.671 * [taylor]: Taking taylor expansion of n in n 0.671 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (log 1.0) n))) 2) in n 0.671 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.671 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.671 * [taylor]: Taking taylor expansion of 1.0 in n 0.671 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.671 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.671 * [taylor]: Taking taylor expansion of 1.0 in n 0.671 * [taylor]: Taking taylor expansion of n in n 0.671 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.671 * [taylor]: Taking taylor expansion of n in n 0.672 * [taylor]: Taking taylor expansion of (* 1.5 (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* (pow n 2) (pow 1.0 2)))) in n 0.672 * [taylor]: Taking taylor expansion of 1.5 in n 0.672 * [taylor]: Taking taylor expansion of (/ (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) (* (pow n 2) (pow 1.0 2))) in n 0.672 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) (exp (* 1.0 (/ (log 1.0) n)))) in n 0.672 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (/ (+ (log 1) (log x)) n))) 2) in n 0.672 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (+ (log 1) (log x)) n))) in n 0.672 * [taylor]: Taking taylor expansion of (* 1.0 (/ (+ (log 1) (log x)) n)) in n 0.672 * [taylor]: Taking taylor expansion of 1.0 in n 0.672 * [taylor]: Taking taylor expansion of (/ (+ (log 1) (log x)) n) in n 0.672 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in n 0.672 * [taylor]: Taking taylor expansion of (log 1) in n 0.672 * [taylor]: Taking taylor expansion of 1 in n 0.672 * [taylor]: Taking taylor expansion of (log x) in n 0.672 * [taylor]: Taking taylor expansion of x in n 0.672 * [taylor]: Taking taylor expansion of n in n 0.672 * [taylor]: Taking taylor expansion of (exp (* 1.0 (/ (log 1.0) n))) in n 0.672 * [taylor]: Taking taylor expansion of (* 1.0 (/ (log 1.0) n)) in n 0.672 * [taylor]: Taking taylor expansion of 1.0 in n 0.672 * [taylor]: Taking taylor expansion of (/ (log 1.0) n) in n 0.672 * [taylor]: Taking taylor expansion of (log 1.0) in n 0.672 * [taylor]: Taking taylor expansion of 1.0 in n 0.672 * [taylor]: Taking taylor expansion of n in n 0.672 * [taylor]: Taking taylor expansion of (* (pow n 2) (pow 1.0 2)) in n 0.672 * [taylor]: Taking taylor expansion of (pow n 2) in n 0.672 * [taylor]: Taking taylor expansion of n in n 0.672 * [taylor]: Taking taylor expansion of (pow 1.0 2) in n 0.672 * [taylor]: Taking taylor expansion of 1.0 in n 0.685 * [approximate]: Taking taylor expansion of (pow (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) 3) in (x n) around 0 0.685 * [taylor]: Taking taylor expansion of (pow (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) 3) in n 0.685 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in n 0.685 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in n 0.685 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in n 0.685 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in n 0.685 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 0.685 * [taylor]: Taking taylor expansion of 1.0 in n 0.685 * [taylor]: Taking taylor expansion of n in n 0.685 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in n 0.685 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in n 0.685 * [taylor]: Taking taylor expansion of 1.0 in n 0.685 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.685 * [taylor]: Taking taylor expansion of x in n 0.685 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in n 0.685 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in n 0.685 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in n 0.685 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 0.686 * [taylor]: Taking taylor expansion of 1.0 in n 0.686 * [taylor]: Taking taylor expansion of n in n 0.686 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in n 0.686 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.686 * [taylor]: Taking taylor expansion of x in n 0.686 * [taylor]: Taking taylor expansion of (pow (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) 3) in x 0.686 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x 0.686 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in x 0.686 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in x 0.686 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in x 0.686 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.686 * [taylor]: Taking taylor expansion of 1.0 in x 0.686 * [taylor]: Taking taylor expansion of n in x 0.686 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.686 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.686 * [taylor]: Taking taylor expansion of 1.0 in x 0.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.686 * [taylor]: Taking taylor expansion of x in x 0.687 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x 0.687 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x 0.687 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x 0.687 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.687 * [taylor]: Taking taylor expansion of 1.0 in x 0.687 * [taylor]: Taking taylor expansion of n in x 0.687 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.687 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of (pow (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) 3) in x 0.688 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) (pow (/ 1 x) (* 1.0 n))) in x 0.688 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) (* 1.0 n)) in x 0.688 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (+ 1.0 (/ 1 x))))) in x 0.688 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (+ 1.0 (/ 1 x)))) in x 0.688 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.688 * [taylor]: Taking taylor expansion of 1.0 in x 0.688 * [taylor]: Taking taylor expansion of n in x 0.688 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.688 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.688 * [taylor]: Taking taylor expansion of 1.0 in x 0.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of (pow (/ 1 x) (* 1.0 n)) in x 0.688 * [taylor]: Taking taylor expansion of (exp (* (* 1.0 n) (log (/ 1 x)))) in x 0.688 * [taylor]: Taking taylor expansion of (* (* 1.0 n) (log (/ 1 x))) in x 0.688 * [taylor]: Taking taylor expansion of (* 1.0 n) in x 0.688 * [taylor]: Taking taylor expansion of 1.0 in x 0.688 * [taylor]: Taking taylor expansion of n in x 0.688 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.690 * [taylor]: Taking taylor expansion of (* 1.0 (* (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) (pow n 3))) in n 0.690 * [taylor]: Taking taylor expansion of 1.0 in n 0.690 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) (pow n 3)) in n 0.690 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) in n 0.690 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.690 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.690 * [taylor]: Taking taylor expansion of 1.0 in n 0.690 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.690 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.690 * [taylor]: Taking taylor expansion of (log 1) in n 0.690 * [taylor]: Taking taylor expansion of 1 in n 0.690 * [taylor]: Taking taylor expansion of (log x) in n 0.690 * [taylor]: Taking taylor expansion of x in n 0.690 * [taylor]: Taking taylor expansion of n in n 0.691 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.691 * [taylor]: Taking taylor expansion of n in n 0.694 * [taylor]: Taking taylor expansion of (- (* 1.5 (* (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) (pow n 4))) (* 1.5 (* (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) (pow n 3)))) in n 0.694 * [taylor]: Taking taylor expansion of (* 1.5 (* (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) (pow n 4))) in n 0.694 * [taylor]: Taking taylor expansion of 1.5 in n 0.694 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) (pow n 4)) in n 0.694 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) in n 0.694 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.694 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.694 * [taylor]: Taking taylor expansion of 1.0 in n 0.694 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.694 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.694 * [taylor]: Taking taylor expansion of (log 1) in n 0.694 * [taylor]: Taking taylor expansion of 1 in n 0.694 * [taylor]: Taking taylor expansion of (log x) in n 0.694 * [taylor]: Taking taylor expansion of x in n 0.694 * [taylor]: Taking taylor expansion of n in n 0.695 * [taylor]: Taking taylor expansion of (pow n 4) in n 0.695 * [taylor]: Taking taylor expansion of n in n 0.695 * [taylor]: Taking taylor expansion of (* 1.5 (* (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) (pow n 3))) in n 0.695 * [taylor]: Taking taylor expansion of 1.5 in n 0.695 * [taylor]: Taking taylor expansion of (* (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) (pow n 3)) in n 0.695 * [taylor]: Taking taylor expansion of (pow (exp (* 1.0 (* (- (log 1) (log x)) n))) 3) in n 0.695 * [taylor]: Taking taylor expansion of (exp (* 1.0 (* (- (log 1) (log x)) n))) in n 0.695 * [taylor]: Taking taylor expansion of (* 1.0 (* (- (log 1) (log x)) n)) in n 0.695 * [taylor]: Taking taylor expansion of 1.0 in n 0.695 * [taylor]: Taking taylor expansion of (* (- (log 1) (log x)) n) in n 0.695 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in n 0.695 * [taylor]: Taking taylor expansion of (log 1) in n 0.695 * [taylor]: Taking taylor expansion of 1 in n 0.695 * [taylor]: Taking taylor expansion of (log x) in n 0.695 * [taylor]: Taking taylor expansion of x in n 0.695 * [taylor]: Taking taylor expansion of n in n 0.695 * [taylor]: Taking taylor expansion of (pow n 3) in n 0.695 * [taylor]: Taking taylor expansion of n in n 0.697 * [approximate]: Taking taylor expansion of (pow (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) 3) in (x n) around 0 0.697 * [taylor]: Taking taylor expansion of (pow (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) 3) in n 0.697 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in n 0.697 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in n 0.697 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in n 0.697 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in n 0.697 * [taylor]: Taking taylor expansion of (* -1.0 n) in n 0.697 * [taylor]: Taking taylor expansion of -1.0 in n 0.697 * [taylor]: Taking taylor expansion of n in n 0.697 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in n 0.697 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in n 0.697 * [taylor]: Taking taylor expansion of 1.0 in n 0.697 * [taylor]: Taking taylor expansion of (/ 1 x) in n 0.697 * [taylor]: Taking taylor expansion of x in n 0.697 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in n 0.697 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in n 0.697 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in n 0.697 * [taylor]: Taking taylor expansion of (* -1.0 n) in n 0.697 * [taylor]: Taking taylor expansion of -1.0 in n 0.697 * [taylor]: Taking taylor expansion of n in n 0.697 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in n 0.697 * [taylor]: Taking taylor expansion of (/ -1 x) in n 0.697 * [taylor]: Taking taylor expansion of -1 in n 0.697 * [taylor]: Taking taylor expansion of x in n 0.698 * [taylor]: Taking taylor expansion of (pow (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) 3) in x 0.698 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x 0.698 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x 0.698 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x 0.698 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x 0.698 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.698 * [taylor]: Taking taylor expansion of -1.0 in x 0.698 * [taylor]: Taking taylor expansion of n in x 0.698 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.698 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.698 * [taylor]: Taking taylor expansion of 1.0 in x 0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.698 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x 0.699 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x 0.699 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x 0.699 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.699 * [taylor]: Taking taylor expansion of -1.0 in x 0.699 * [taylor]: Taking taylor expansion of n in x 0.699 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.699 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.699 * [taylor]: Taking taylor expansion of -1 in x 0.699 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of (pow (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) 3) in x 0.699 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) (* -1.0 n)) (pow (/ -1 x) (* -1.0 n))) in x 0.699 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) (* -1.0 n)) in x 0.699 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (- 1.0 (/ 1 x))))) in x 0.699 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (- 1.0 (/ 1 x)))) in x 0.699 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.699 * [taylor]: Taking taylor expansion of -1.0 in x 0.699 * [taylor]: Taking taylor expansion of n in x 0.699 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.699 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.699 * [taylor]: Taking taylor expansion of 1.0 in x 0.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.699 * [taylor]: Taking taylor expansion of x in x 0.699 * [taylor]: Taking taylor expansion of (pow (/ -1 x) (* -1.0 n)) in x 0.700 * [taylor]: Taking taylor expansion of (exp (* (* -1.0 n) (log (/ -1 x)))) in x 0.700 * [taylor]: Taking taylor expansion of (* (* -1.0 n) (log (/ -1 x))) in x 0.700 * [taylor]: Taking taylor expansion of (* -1.0 n) in x 0.700 * [taylor]: Taking taylor expansion of -1.0 in x 0.700 * [taylor]: Taking taylor expansion of n in x 0.700 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.700 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.700 * [taylor]: Taking taylor expansion of -1 in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [taylor]: Taking taylor expansion of (pow (- (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (exp (* -1.0 (* n (- (log -1) (log x)))))) 3) in n 0.701 * [taylor]: Taking taylor expansion of (- (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (exp (* -1.0 (* n (- (log -1) (log x)))))) in n 0.701 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.701 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.701 * [taylor]: Taking taylor expansion of -1.0 in n 0.701 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.701 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.701 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.701 * [taylor]: Taking taylor expansion of (neg 1) in n 0.701 * [taylor]: Taking taylor expansion of 1 in n 0.701 * [taylor]: Taking taylor expansion of (log x) in n 0.701 * [taylor]: Taking taylor expansion of x in n 0.701 * [taylor]: Taking taylor expansion of n in n 0.701 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* n (- (log -1) (log x))))) in n 0.701 * [taylor]: Taking taylor expansion of (* -1.0 (* n (- (log -1) (log x)))) in n 0.701 * [taylor]: Taking taylor expansion of -1.0 in n 0.701 * [taylor]: Taking taylor expansion of (* n (- (log -1) (log x))) in n 0.701 * [taylor]: Taking taylor expansion of n in n 0.701 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in n 0.701 * [taylor]: Taking taylor expansion of (log -1) in n 0.701 * [taylor]: Taking taylor expansion of -1 in n 0.701 * [taylor]: Taking taylor expansion of (log x) in n 0.701 * [taylor]: Taking taylor expansion of x in n 0.705 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (* (pow (exp (* -1.0 (* n (- (log -1) (log x))))) 2) n))) (* 3.0 (* (pow (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) 3) n))) (* 6.0 (* (pow (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) 2) (* (exp (* -1.0 (* n (- (log -1) (log x))))) n)))) in n 0.705 * [taylor]: Taking taylor expansion of (+ (* 3.0 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (* (pow (exp (* -1.0 (* n (- (log -1) (log x))))) 2) n))) (* 3.0 (* (pow (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) 3) n))) in n 0.705 * [taylor]: Taking taylor expansion of (* 3.0 (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (* (pow (exp (* -1.0 (* n (- (log -1) (log x))))) 2) n))) in n 0.705 * [taylor]: Taking taylor expansion of 3.0 in n 0.705 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) (* (pow (exp (* -1.0 (* n (- (log -1) (log x))))) 2) n)) in n 0.705 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.705 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.705 * [taylor]: Taking taylor expansion of -1.0 in n 0.705 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.705 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.705 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.705 * [taylor]: Taking taylor expansion of (neg 1) in n 0.705 * [taylor]: Taking taylor expansion of 1 in n 0.705 * [taylor]: Taking taylor expansion of (log x) in n 0.705 * [taylor]: Taking taylor expansion of x in n 0.705 * [taylor]: Taking taylor expansion of n in n 0.705 * [taylor]: Taking taylor expansion of (* (pow (exp (* -1.0 (* n (- (log -1) (log x))))) 2) n) in n 0.706 * [taylor]: Taking taylor expansion of (pow (exp (* -1.0 (* n (- (log -1) (log x))))) 2) in n 0.706 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* n (- (log -1) (log x))))) in n 0.706 * [taylor]: Taking taylor expansion of (* -1.0 (* n (- (log -1) (log x)))) in n 0.706 * [taylor]: Taking taylor expansion of -1.0 in n 0.706 * [taylor]: Taking taylor expansion of (* n (- (log -1) (log x))) in n 0.706 * [taylor]: Taking taylor expansion of n in n 0.706 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in n 0.706 * [taylor]: Taking taylor expansion of (log -1) in n 0.706 * [taylor]: Taking taylor expansion of -1 in n 0.706 * [taylor]: Taking taylor expansion of (log x) in n 0.706 * [taylor]: Taking taylor expansion of x in n 0.706 * [taylor]: Taking taylor expansion of n in n 0.706 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) 3) n)) in n 0.706 * [taylor]: Taking taylor expansion of 3.0 in n 0.706 * [taylor]: Taking taylor expansion of (* (pow (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) 3) n) in n 0.706 * [taylor]: Taking taylor expansion of (pow (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) 3) in n 0.706 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.706 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.706 * [taylor]: Taking taylor expansion of -1.0 in n 0.706 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.706 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.706 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.706 * [taylor]: Taking taylor expansion of (neg 1) in n 0.706 * [taylor]: Taking taylor expansion of 1 in n 0.706 * [taylor]: Taking taylor expansion of (log x) in n 0.706 * [taylor]: Taking taylor expansion of x in n 0.706 * [taylor]: Taking taylor expansion of n in n 0.707 * [taylor]: Taking taylor expansion of n in n 0.707 * [taylor]: Taking taylor expansion of (* 6.0 (* (pow (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) 2) (* (exp (* -1.0 (* n (- (log -1) (log x))))) n))) in n 0.707 * [taylor]: Taking taylor expansion of 6.0 in n 0.707 * [taylor]: Taking taylor expansion of (* (pow (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) 2) (* (exp (* -1.0 (* n (- (log -1) (log x))))) n)) in n 0.707 * [taylor]: Taking taylor expansion of (pow (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) 2) in n 0.707 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* (- (log (neg 1)) (log x)) n))) in n 0.707 * [taylor]: Taking taylor expansion of (* -1.0 (* (- (log (neg 1)) (log x)) n)) in n 0.707 * [taylor]: Taking taylor expansion of -1.0 in n 0.707 * [taylor]: Taking taylor expansion of (* (- (log (neg 1)) (log x)) n) in n 0.707 * [taylor]: Taking taylor expansion of (- (log (neg 1)) (log x)) in n 0.707 * [taylor]: Taking taylor expansion of (log (neg 1)) in n 0.707 * [taylor]: Taking taylor expansion of (neg 1) in n 0.707 * [taylor]: Taking taylor expansion of 1 in n 0.707 * [taylor]: Taking taylor expansion of (log x) in n 0.707 * [taylor]: Taking taylor expansion of x in n 0.707 * [taylor]: Taking taylor expansion of n in n 0.708 * [taylor]: Taking taylor expansion of (* (exp (* -1.0 (* n (- (log -1) (log x))))) n) in n 0.708 * [taylor]: Taking taylor expansion of (exp (* -1.0 (* n (- (log -1) (log x))))) in n 0.708 * [taylor]: Taking taylor expansion of (* -1.0 (* n (- (log -1) (log x)))) in n 0.708 * [taylor]: Taking taylor expansion of -1.0 in n 0.708 * [taylor]: Taking taylor expansion of (* n (- (log -1) (log x))) in n 0.708 * [taylor]: Taking taylor expansion of n in n 0.708 * [taylor]: Taking taylor expansion of (- (log -1) (log x)) in n 0.708 * [taylor]: Taking taylor expansion of (log -1) in n 0.708 * [taylor]: Taking taylor expansion of -1 in n 0.708 * [taylor]: Taking taylor expansion of (log x) in n 0.708 * [taylor]: Taking taylor expansion of x in n 0.708 * [taylor]: Taking taylor expansion of n in n 0.757 * * * [progress]: simplifying candidates 0.760 * [simplify]: Simplifying using # : (/ (exp (pow (+ x 1.0) (/ 1.0 n))) (exp (pow x (/ 1.0 n)))) (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (* (* (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (+ (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))) (* (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (neg (pow x (/ 1.0 n))) (- (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n)))) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (neg (pow x (/ 1.0 n))) (log (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (exp (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (cbrt (pow (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) 3)) (cbrt (pow (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3)) (cbrt (pow (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3)) (cbrt (pow (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (pow 1 (/ 1.0 n)) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow (pow 1 (/ 1.0 n)) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (* (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (* (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)))) (cbrt (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (cbrt (pow (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) 3)) (cbrt (pow (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3)) (cbrt (pow (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3)) (cbrt (pow (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) 3)) (cbrt (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) 3)) (cbrt (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) 3)) (cbrt (pow (pow 1 (/ 1.0 n)) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow (pow 1 (/ 1.0 n)) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow 1 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (* (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (cbrt (sqrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (cbrt (sqrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (cbrt 1) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (/ 3 2))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (/ 3 2))) (cbrt (pow (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) 3)) (cbrt (pow (+ (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (+ (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))) (* (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) 3)) (cbrt (pow (- (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n)))) 3)) (cbrt (pow (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (* (cbrt (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (cbrt (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)))) (cbrt (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (* (* (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (sqrt (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (sqrt (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (* (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (* (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (* 1 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (* (cbrt 3) (cbrt 3))) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (sqrt 3)) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 1) (pow (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) 3) (pow (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (pow (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (pow (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (pow 1 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) 3) (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) 3) (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) 3) (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) 3) (pow (pow 1 (/ 1.0 n)) 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (pow 1 (/ 1.0 n)) 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow 1 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (* (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (log (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (exp (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (* (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (* (* (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (pow (* (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) 3) (pow (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (pow (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (pow (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (pow 1 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (/ (/ 1.0 n) 2))) 3) (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (/ (/ 1.0 n) 2))) 3) (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) 3) (pow (- (pow (+ x 1.0) (/ (/ 1.0 n) 2)) (pow x (/ (/ 1.0 n) 2))) 3) (pow (pow 1 (/ 1.0 n)) 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (pow 1 (/ 1.0 n)) 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow 1 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) 3) (pow (+ (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (+ (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n))) (* (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) 3) (pow (- (* (pow (+ x 1.0) (/ 1.0 n)) (pow (+ x 1.0) (/ 1.0 n))) (* (pow x (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (pow (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (* (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (sqrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (/ 3 2)) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (/ 3 2)) (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) (- (+ (* 1.0 (/ 1 (* x n))) (* 1.0 (/ (log 1) (* x (pow n 2))))) (+ (* 0.5 (/ 1 (* (pow x 2) n))) (* 1.0 (/ (log (/ 1 x)) (* x (pow n 2)))))) (- (+ (* 1.0 (/ (* (log -1) (log (/ -1 x))) (pow n 2))) (+ (* 1.0 (/ (log (neg 1)) n)) (+ (* 1.0 (/ 1 (* x n))) (* 0.5 (/ (pow (log (neg 1)) 2) (pow n 2)))))) (+ (* 1.0 (/ (log -1) n)) (+ (* 0.5 (/ (pow (log -1) 2) (pow n 2))) (* 1.0 (/ (* (log (neg 1)) (log (/ -1 x))) (pow n 2)))))) (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) (- (+ (* 1.0 (/ 1 (* x n))) (* 1.0 (/ (log 1) (* x (pow n 2))))) (+ (* 0.5 (/ 1 (* (pow x 2) n))) (* 1.0 (/ (log (/ 1 x)) (* x (pow n 2)))))) (- (+ (* 1.0 (/ (* (log -1) (log (/ -1 x))) (pow n 2))) (+ (* 1.0 (/ (log (neg 1)) n)) (+ (* 1.0 (/ 1 (* x n))) (* 0.5 (/ (pow (log (neg 1)) 2) (pow n 2)))))) (+ (* 1.0 (/ (log -1) n)) (+ (* 0.5 (/ (pow (log -1) 2) (pow n 2))) (* 1.0 (/ (* (log (neg 1)) (log (/ -1 x))) (pow n 2)))))) (pow (- (exp (* 1.0 (/ (log 1.0) n))) (exp (* 1.0 (/ (+ (log 1) (log x)) n)))) 3) (- (+ (* 3.0 (/ (log 1) (* (pow x 3) (pow n 4)))) (* 1.0 (/ 1 (* (pow x 3) (pow n 3))))) (+ (* 3.0 (/ (log (/ 1 x)) (* (pow x 3) (pow n 4)))) (* 1.5 (/ 1 (* (pow x 4) (pow n 3)))))) (- (+ (* 1.5 (/ (pow (log (neg 1)) 4) (pow n 4))) (+ (* 1.0 (/ (pow (log (neg 1)) 3) (pow n 3))) (+ (* 3.0 (/ (* (pow (log -1) 2) (log (neg 1))) (pow n 3))) (+ (* 3.0 (/ (pow (log (neg 1)) 2) (* x (pow n 3)))) (+ (* 3.0 (/ (* (pow (log -1) 3) (log (/ -1 x))) (pow n 4))) (+ (* 9.0 (/ (* (log -1) (* (pow (log (neg 1)) 2) (log (/ -1 x)))) (pow n 4))) (+ (* 3.0 (/ (* (pow (log -1) 3) (log (neg 1))) (pow n 4))) (* 3.0 (/ (pow (log -1) 2) (* x (pow n 3))))))))))) (+ (* 6.0 (/ (* (log -1) (log (neg 1))) (* (pow n 3) x))) (+ (* 3.0 (/ (* (log -1) (pow (log (neg 1)) 2)) (pow n 3))) (+ (* 1.5 (/ (pow (log -1) 4) (pow n 4))) (+ (* 9.0 (/ (* (pow (log -1) 2) (* (log (neg 1)) (log (/ -1 x)))) (pow n 4))) (+ (* 3.0 (/ (* (pow (log (neg 1)) 3) (log (/ -1 x))) (pow n 4))) (+ (* 3.0 (/ (* (log -1) (pow (log (neg 1)) 3)) (pow n 4))) (* 1.0 (/ (pow (log -1) 3) (pow n 3)))))))))) 0.787 * * [simplify]: iteration 0 : 4965 enodes (cost 3322 ) 0.788 * * [simplify]: iteration 1 : 4965 enodes (cost 3322 ) 0.797 * [simplify]: Simplified to: (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2)) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (pow (+ x 1.0) (* (/ 1.0 n) 2)) (* (pow x (/ 1.0 n)) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (neg (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (* (/ 1.0 n) 2)) (pow x (* (/ 1.0 n) 2))) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow x (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (+ (pow x (* (/ 1.0 n) 1/2)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (* (/ 1.0 n) 1/2))) (+ (pow (sqrt x) (/ 1.0 n)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow x (/ 1.0 n))) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (sqrt (pow x (/ 1.0 n)))) (+ (pow x (* (/ 1.0 n) 1/2)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow x (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (neg (pow x (/ 1.0 n))) (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (exp (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2)) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 1 (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow x (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (+ (pow x (* (/ 1.0 n) 1/2)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (* (/ 1.0 n) 1/2))) (+ (pow (sqrt x) (/ 1.0 n)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow x (/ 1.0 n))) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (sqrt (pow x (/ 1.0 n)))) (+ (pow x (* (/ 1.0 n) 1/2)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow x (* (/ 1.0 n) 1/2))) 1 (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 1 (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 1 (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2)) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2)) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2)) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 1 (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow x (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) (+ (pow x (* (/ 1.0 n) 1/2)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (* (/ 1.0 n) 1/2))) (+ (pow (sqrt x) (/ 1.0 n)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow (sqrt x) (/ 1.0 n))) (+ (sqrt (pow x (/ 1.0 n))) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (sqrt (pow x (/ 1.0 n)))) (+ (pow x (* (/ 1.0 n) 1/2)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow x (* (/ 1.0 n) 1/2))) 1 (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 1 (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 1 (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2)) (cbrt (sqrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) (cbrt (sqrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3))) 1 (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) (+ (pow (+ x 1.0) (* (/ 1.0 n) 2)) (* (pow x (/ 1.0 n)) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) (- (pow (+ x 1.0) (* (/ 1.0 n) 2)) (pow x (* (/ 1.0 n) 2))) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (cbrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2)) (cbrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (sqrt (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) (* (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (* (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) 3 (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (* (cbrt 3) (cbrt 3))) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (sqrt 3)) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3/2) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3/2) 1 (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) 3) (pow (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (sqrt (pow x (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow x (* (/ 1.0 n) 1/2)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (* (/ 1.0 n) 1/2))) 3) (pow (+ (pow (sqrt x) (/ 1.0 n)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) 3) (pow (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (sqrt (pow x (/ 1.0 n))) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) 3) (pow (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow x (* (/ 1.0 n) 1/2)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) 3) (pow (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow x (* (/ 1.0 n) 1/2))) 3) 1 (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) 1 (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) 1 (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2) (* (log (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n)))) 3) (exp (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (pow (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3/2) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3/2) 1 (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) 3) (pow (- (pow (sqrt (+ x 1.0)) (/ 1.0 n)) (pow x (* (/ 1.0 n) 1/2))) 3) (pow (+ (pow (sqrt x) (/ 1.0 n)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (sqrt (pow x (/ 1.0 n))) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow x (* (/ 1.0 n) 1/2)) (sqrt (pow (+ x 1.0) (/ 1.0 n)))) 3) (pow (- (sqrt (pow (+ x 1.0) (/ 1.0 n))) (pow x (* (/ 1.0 n) 1/2))) 3) (pow (+ (pow (sqrt x) (/ 1.0 n)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) 3) (pow (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow (sqrt x) (/ 1.0 n))) 3) (pow (+ (sqrt (pow x (/ 1.0 n))) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) 3) (pow (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (sqrt (pow x (/ 1.0 n)))) 3) (pow (+ (pow x (* (/ 1.0 n) 1/2)) (pow (+ x 1.0) (* (/ 1.0 n) 1/2))) 3) (pow (- (pow (+ x 1.0) (* (/ 1.0 n) 1/2)) (pow x (* (/ 1.0 n) 1/2))) 3) 1 (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) 1 (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) 1 (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (- (pow (pow (+ x 1.0) (/ 1.0 n)) 3) (pow (pow x (/ 1.0 n)) 3)) 3) (pow (+ (pow (+ x 1.0) (* (/ 1.0 n) 2)) (* (pow x (/ 1.0 n)) (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))))) 3) (pow (- (pow (+ x 1.0) (* (/ 1.0 n) 2)) (pow x (* (/ 1.0 n) 2))) 3) (pow (+ (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 2) (sqrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (sqrt (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3)) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3/2) (pow (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) 3/2) (- (pow (exp 1.0) (/ (log 1.0) n)) (pow (exp 1.0) (/ (+ (log 1) (log x)) n))) (+ (/ 1.0 (* x n)) (- (* 1.0 (/ (log 1) (* x (* n n)))) (+ (/ 0.5 (* x (* x n))) (* 1.0 (/ (neg (log x)) (* x (* n n))))))) (+ (* 1.0 (+ (* (/ (log -1) n) (/ (log (/ -1 x)) n)) (/ (log -1) n))) (- (+ (/ 1.0 (* x n)) (* 0.5 (/ (pow (log -1) 2) (* n n)))) (+ (* 0.5 (/ (pow (log -1) 2) (* n n))) (* 1.0 (+ (* (/ (log -1) n) (/ (log (/ -1 x)) n)) (/ (log -1) n)))))) (- (pow (exp 1.0) (/ (log 1.0) n)) (pow (exp 1.0) (/ (+ (log 1) (log x)) n))) (+ (/ 1.0 (* x n)) (- (* 1.0 (/ (log 1) (* x (* n n)))) (+ (/ 0.5 (* x (* x n))) (* 1.0 (/ (neg (log x)) (* x (* n n))))))) (+ (* 1.0 (+ (* (/ (log -1) n) (/ (log (/ -1 x)) n)) (/ (log -1) n))) (- (+ (/ 1.0 (* x n)) (* 0.5 (/ (pow (log -1) 2) (* n n)))) (+ (* 0.5 (/ (pow (log -1) 2) (* n n))) (* 1.0 (+ (* (/ (log -1) n) (/ (log (/ -1 x)) n)) (/ (log -1) n)))))) (pow (- (pow (exp 1.0) (/ (log 1.0) n)) (pow (exp 1.0) (/ (+ (log 1) (log x)) n))) 3) (+ (* 3.0 (/ (log 1) (* (pow x 3) (pow n 4)))) (- (/ 1.0 (* (pow x 3) (pow n 3))) (+ (* 3.0 (/ (neg (log x)) (* (pow x 3) (pow n 4)))) (/ 1.5 (* (pow n 3) (pow x 4)))))) (+ (* 1.5 (/ (pow (log -1) 4) (pow n 4))) (+ (* (pow (/ (log -1) n) 3) (+ 1.0 3.0)) (- (+ (* 3.0 (/ (pow (log -1) 2) (* x (pow n 3)))) (+ (* 3.0 (+ (/ (pow (log -1) 4) (pow n 4)) (/ (pow (log -1) 2) (* x (pow n 3))))) (* (* (pow (/ (log -1) n) 3) (/ (log (/ -1 x)) n)) (+ 3.0 9.0)))) (+ (* 3.0 (pow (/ (log -1) n) 3)) (+ (+ (* 1.5 (/ (pow (log -1) 4) (pow n 4))) (+ (+ (* 1.0 (pow (/ (log -1) n) 3)) (* 3.0 (/ (pow (log -1) 4) (pow n 4)))) (* (* (pow (/ (log -1) n) 3) (/ (log (/ -1 x)) n)) (+ 3.0 9.0)))) (* (/ (pow (log -1) 2) (* x (pow n 3))) 6.0)))))) 0.798 * * * [progress]: adding candidates to table 1.003 * * [progress]: iteration 3 / 4 1.003 * * * [progress]: picking best candidate 1.026 * * * * [pick]: Picked # 1.026 * * * [progress]: localizing error 1.031 * * * [progress]: generating rewritten candidates 1.031 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 1.036 * * * [progress]: generating series expansions 1.036 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 1.036 * [approximate]: Taking taylor expansion of (/ 1.0 (* x n)) in (x n) around 0 1.036 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in n 1.036 * [taylor]: Taking taylor expansion of 1.0 in n 1.036 * [taylor]: Taking taylor expansion of (* x n) in n 1.036 * [taylor]: Taking taylor expansion of x in n 1.036 * [taylor]: Taking taylor expansion of n in n 1.036 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x 1.036 * [taylor]: Taking taylor expansion of 1.0 in x 1.036 * [taylor]: Taking taylor expansion of (* x n) in x 1.036 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of n in x 1.037 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x 1.037 * [taylor]: Taking taylor expansion of 1.0 in x 1.037 * [taylor]: Taking taylor expansion of (* x n) in x 1.037 * [taylor]: Taking taylor expansion of x in x 1.037 * [taylor]: Taking taylor expansion of n in x 1.037 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 1.037 * [taylor]: Taking taylor expansion of 1.0 in n 1.037 * [taylor]: Taking taylor expansion of n in n 1.037 * [taylor]: Taking taylor expansion of 0 in n 1.037 * [taylor]: Taking taylor expansion of 0 in n 1.037 * [taylor]: Taking taylor expansion of 0 in n 1.038 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0 1.038 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n 1.038 * [taylor]: Taking taylor expansion of 1.0 in n 1.038 * [taylor]: Taking taylor expansion of (* x n) in n 1.038 * [taylor]: Taking taylor expansion of x in n 1.038 * [taylor]: Taking taylor expansion of n in n 1.038 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x 1.038 * [taylor]: Taking taylor expansion of 1.0 in x 1.038 * [taylor]: Taking taylor expansion of (* x n) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of n in x 1.038 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x 1.038 * [taylor]: Taking taylor expansion of 1.0 in x 1.038 * [taylor]: Taking taylor expansion of (* x n) in x 1.038 * [taylor]: Taking taylor expansion of x in x 1.038 * [taylor]: Taking taylor expansion of n in x 1.038 * [taylor]: Taking taylor expansion of 0 in n 1.038 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 1.038 * [taylor]: Taking taylor expansion of 1.0 in n 1.038 * [taylor]: Taking taylor expansion of n in n 1.038 * [taylor]: Taking taylor expansion of 0 in n 1.038 * [taylor]: Taking taylor expansion of 0 in n 1.039 * [taylor]: Taking taylor expansion of 0 in n 1.039 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0 1.039 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n 1.039 * [taylor]: Taking taylor expansion of 1.0 in n 1.039 * [taylor]: Taking taylor expansion of (* x n) in n 1.039 * [taylor]: Taking taylor expansion of x in n 1.039 * [taylor]: Taking taylor expansion of n in n 1.039 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x 1.039 * [taylor]: Taking taylor expansion of 1.0 in x 1.039 * [taylor]: Taking taylor expansion of (* x n) in x 1.039 * [taylor]: Taking taylor expansion of x in x 1.039 * [taylor]: Taking taylor expansion of n in x 1.039 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x 1.039 * [taylor]: Taking taylor expansion of 1.0 in x 1.039 * [taylor]: Taking taylor expansion of (* x n) in x 1.039 * [taylor]: Taking taylor expansion of x in x 1.039 * [taylor]: Taking taylor expansion of n in x 1.039 * [taylor]: Taking taylor expansion of 0 in n 1.039 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 1.039 * [taylor]: Taking taylor expansion of 1.0 in n 1.039 * [taylor]: Taking taylor expansion of n in n 1.039 * [taylor]: Taking taylor expansion of 0 in n 1.039 * [taylor]: Taking taylor expansion of 0 in n 1.040 * [taylor]: Taking taylor expansion of 0 in n 1.040 * * * [progress]: simplifying candidates 1.040 * [simplify]: Simplifying using # : (- (log 1.0) (+ (log x) (log n))) (- (log 1.0) (log (* x n))) (log (/ 1.0 (* x n))) (exp (/ 1.0 (* x n))) (/ (* (* 1.0 1.0) 1.0) (* (* (* x x) x) (* (* n n) n))) (/ (* (* 1.0 1.0) 1.0) (* (* (* x n) (* x n)) (* x n))) (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n))) (* (* (/ 1.0 (* x n)) (/ 1.0 (* x n))) (/ 1.0 (* x n))) (sqrt (/ 1.0 (* x n))) (sqrt (/ 1.0 (* x n))) (neg 1.0) (neg (* x n)) (/ (* (cbrt 1.0) (cbrt 1.0)) x) (/ (cbrt 1.0) n) (/ (sqrt 1.0) x) (/ (sqrt 1.0) n) (/ 1 x) (/ 1.0 n) (/ 1 (* x n)) (/ (* x n) 1.0) (/ 1.0 x) (/ (* x n) (cbrt 1.0)) (/ (* x n) (sqrt 1.0)) (/ (* x n) 1.0) (/ 1.0 (* x n)) (/ 1.0 (* x n)) (/ 1.0 (* x n)) 1.116 * * [simplify]: iteration 0 : 4989 enodes (cost 152 ) 1.117 * * [simplify]: iteration 1 : 4989 enodes (cost 152 ) 1.118 * [simplify]: Simplified to: (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (exp (/ 1.0 (* x n))) (pow (/ 1.0 (* x n)) 3) (pow (/ 1.0 (* x n)) 3) (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n))) (pow (/ 1.0 (* x n)) 3) (sqrt (/ 1.0 (* x n))) (sqrt (/ 1.0 (* x n))) (neg 1.0) (* x (neg n)) (* (cbrt 1.0) (/ (cbrt 1.0) x)) (/ (cbrt 1.0) n) (/ (sqrt 1.0) x) (/ (sqrt 1.0) n) (/ 1 x) (/ 1.0 n) (/ 1 (* x n)) (* x (/ n 1.0)) (/ 1.0 x) (* x (/ n (cbrt 1.0))) (* x (/ n (sqrt 1.0))) (* x (/ n 1.0)) (/ 1.0 (* x n)) (/ 1.0 (* x n)) (/ 1.0 (* x n)) 1.118 * * * [progress]: adding candidates to table 1.146 * * [progress]: iteration 4 / 4 1.147 * * * [progress]: picking best candidate 1.179 * * * * [pick]: Picked # 1.179 * * * [progress]: localizing error 1.186 * * * [progress]: generating rewritten candidates 1.186 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 1.199 * * * [progress]: generating series expansions 1.199 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 1.199 * [approximate]: Taking taylor expansion of (/ 1.0 (* x n)) in (x n) around 0 1.199 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in n 1.199 * [taylor]: Taking taylor expansion of 1.0 in n 1.199 * [taylor]: Taking taylor expansion of (* x n) in n 1.199 * [taylor]: Taking taylor expansion of x in n 1.199 * [taylor]: Taking taylor expansion of n in n 1.199 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x 1.199 * [taylor]: Taking taylor expansion of 1.0 in x 1.199 * [taylor]: Taking taylor expansion of (* x n) in x 1.199 * [taylor]: Taking taylor expansion of x in x 1.199 * [taylor]: Taking taylor expansion of n in x 1.199 * [taylor]: Taking taylor expansion of (/ 1.0 (* x n)) in x 1.199 * [taylor]: Taking taylor expansion of 1.0 in x 1.199 * [taylor]: Taking taylor expansion of (* x n) in x 1.199 * [taylor]: Taking taylor expansion of x in x 1.199 * [taylor]: Taking taylor expansion of n in x 1.199 * [taylor]: Taking taylor expansion of (/ 1.0 n) in n 1.199 * [taylor]: Taking taylor expansion of 1.0 in n 1.199 * [taylor]: Taking taylor expansion of n in n 1.200 * [taylor]: Taking taylor expansion of 0 in n 1.200 * [taylor]: Taking taylor expansion of 0 in n 1.200 * [taylor]: Taking taylor expansion of 0 in n 1.200 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0 1.200 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n 1.200 * [taylor]: Taking taylor expansion of 1.0 in n 1.200 * [taylor]: Taking taylor expansion of (* x n) in n 1.200 * [taylor]: Taking taylor expansion of x in n 1.200 * [taylor]: Taking taylor expansion of n in n 1.200 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x 1.200 * [taylor]: Taking taylor expansion of 1.0 in x 1.200 * [taylor]: Taking taylor expansion of (* x n) in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of n in x 1.200 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x 1.200 * [taylor]: Taking taylor expansion of 1.0 in x 1.200 * [taylor]: Taking taylor expansion of (* x n) in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.200 * [taylor]: Taking taylor expansion of n in x 1.201 * [taylor]: Taking taylor expansion of 0 in n 1.201 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 1.201 * [taylor]: Taking taylor expansion of 1.0 in n 1.201 * [taylor]: Taking taylor expansion of n in n 1.201 * [taylor]: Taking taylor expansion of 0 in n 1.201 * [taylor]: Taking taylor expansion of 0 in n 1.201 * [taylor]: Taking taylor expansion of 0 in n 1.201 * [approximate]: Taking taylor expansion of (* 1.0 (* x n)) in (x n) around 0 1.201 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in n 1.201 * [taylor]: Taking taylor expansion of 1.0 in n 1.201 * [taylor]: Taking taylor expansion of (* x n) in n 1.201 * [taylor]: Taking taylor expansion of x in n 1.201 * [taylor]: Taking taylor expansion of n in n 1.201 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x 1.201 * [taylor]: Taking taylor expansion of 1.0 in x 1.201 * [taylor]: Taking taylor expansion of (* x n) in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of n in x 1.201 * [taylor]: Taking taylor expansion of (* 1.0 (* x n)) in x 1.201 * [taylor]: Taking taylor expansion of 1.0 in x 1.201 * [taylor]: Taking taylor expansion of (* x n) in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of n in x 1.202 * [taylor]: Taking taylor expansion of 0 in n 1.202 * [taylor]: Taking taylor expansion of (* 1.0 n) in n 1.202 * [taylor]: Taking taylor expansion of 1.0 in n 1.202 * [taylor]: Taking taylor expansion of n in n 1.202 * [taylor]: Taking taylor expansion of 0 in n 1.202 * [taylor]: Taking taylor expansion of 0 in n 1.202 * [taylor]: Taking taylor expansion of 0 in n 1.202 * * * [progress]: simplifying candidates 1.205 * [simplify]: Simplifying using # : (* (/ 1 x) (/ 1.0 n)) (+ (neg (log x)) (- (log 1.0) (log n))) (+ (neg (log x)) (log (/ 1.0 n))) (+ (- 0 (log x)) (- (log 1.0) (log n))) (+ (- 0 (log x)) (log (/ 1.0 n))) (+ (- (log 1) (log x)) (- (log 1.0) (log n))) (+ (- (log 1) (log x)) (log (/ 1.0 n))) (+ (log (/ 1 x)) (- (log 1.0) (log n))) (+ (log (/ 1 x)) (log (/ 1.0 n))) (log (* (/ 1 x) (/ 1.0 n))) (exp (* (/ 1 x) (/ 1.0 n))) (* (/ (* (* 1 1) 1) (* (* x x) x)) (/ (* (* 1.0 1.0) 1.0) (* (* n n) n))) (* (/ (* (* 1 1) 1) (* (* x x) x)) (* (* (/ 1.0 n) (/ 1.0 n)) (/ 1.0 n))) (* (* (* (/ 1 x) (/ 1 x)) (/ 1 x)) (/ (* (* 1.0 1.0) 1.0) (* (* n n) n))) (* (* (* (/ 1 x) (/ 1 x)) (/ 1 x)) (* (* (/ 1.0 n) (/ 1.0 n)) (/ 1.0 n))) (* (cbrt (* (/ 1 x) (/ 1.0 n))) (cbrt (* (/ 1 x) (/ 1.0 n)))) (cbrt (* (/ 1 x) (/ 1.0 n))) (* (* (* (/ 1 x) (/ 1.0 n)) (* (/ 1 x) (/ 1.0 n))) (* (/ 1 x) (/ 1.0 n))) (sqrt (* (/ 1 x) (/ 1.0 n))) (sqrt (* (/ 1 x) (/ 1.0 n))) (* 1 1.0) (* x n) (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n))) (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n))) (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n))) (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n))) (* (/ (sqrt 1) (sqrt x)) (sqrt (/ 1.0 n))) (* (/ (sqrt 1) (sqrt x)) (sqrt (/ 1.0 n))) (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1.0) (sqrt n))) (* (/ (sqrt 1) (sqrt x)) (/ (sqrt 1.0) (sqrt n))) (* (/ 1 (sqrt x)) (sqrt (/ 1.0 n))) (* (/ 1 (sqrt x)) (sqrt (/ 1.0 n))) (* (/ 1 (sqrt x)) (/ (sqrt 1.0) (sqrt n))) (* (/ 1 (sqrt x)) (/ (sqrt 1.0) (sqrt n))) (* (/ 1 x) (* (cbrt (/ 1.0 n)) (cbrt (/ 1.0 n)))) (* (/ 1 x) (sqrt (/ 1.0 n))) (* (/ 1 x) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt n) (cbrt n)))) (* (/ 1 x) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt n))) (* (/ 1 x) (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (* (/ 1 x) (/ (sqrt 1.0) (* (cbrt n) (cbrt n)))) (* (/ 1 x) (/ (sqrt 1.0) (sqrt n))) (* (/ 1 x) (/ (sqrt 1.0) 1)) (* (/ 1 x) (/ 1 (* (cbrt n) (cbrt n)))) (* (/ 1 x) (/ 1 (sqrt n))) (* (/ 1 x) (/ 1 1)) (* (/ 1 x) 1) (* (/ 1 x) 1.0) (* (cbrt (/ 1 x)) (/ 1.0 n)) (* (sqrt (/ 1 x)) (/ 1.0 n)) (* (/ (cbrt 1) (cbrt x)) (/ 1.0 n)) (* (/ (cbrt 1) (sqrt x)) (/ 1.0 n)) (* (/ (cbrt 1) x) (/ 1.0 n)) (* (/ (sqrt 1) (cbrt x)) (/ 1.0 n)) (* (/ (sqrt 1) (sqrt x)) (/ 1.0 n)) (* (/ (sqrt 1) x) (/ 1.0 n)) (* (/ 1 (cbrt x)) (/ 1.0 n)) (* (/ 1 (sqrt x)) (/ 1.0 n)) (* (/ 1 x) (/ 1.0 n)) (* (/ 1 x) (/ 1.0 n)) (* (/ 1 x) (/ 1.0 n)) (* (/ 1 x) 1.0) (* 1 (/ 1.0 n)) (/ 1.0 (* x n)) (/ 1.0 (* x n)) (/ 1.0 (* x n)) 1.275 * * [simplify]: iteration 0 : 5583 enodes (cost 432 ) 1.278 * [simplify]: Simplified to: (/ 1.0 (* x n)) (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (log (/ 1.0 (* x n))) (exp (/ 1.0 (* x n))) (pow (/ 1.0 (* x n)) 3) (pow (/ 1.0 (* x n)) 3) (pow (/ 1.0 (* x n)) 3) (pow (/ 1.0 (* x n)) 3) (* (cbrt (/ 1.0 (* x n))) (cbrt (/ 1.0 (* x n)))) (cbrt (/ 1.0 (* x n))) (pow (/ 1.0 (* x n)) 3) (sqrt (/ 1.0 (* x n))) (sqrt (/ 1.0 (* x n))) 1.0 (* x n) (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n))) (* (sqrt (/ 1 x)) (sqrt (/ 1.0 n))) (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n))) (* (sqrt (/ 1 x)) (/ (sqrt 1.0) (sqrt n))) (/ (sqrt (/ 1.0 n)) (sqrt x)) (/ (sqrt (/ 1.0 n)) (sqrt x)) (/ (sqrt 1.0) (* (sqrt n) (sqrt x))) (/ (sqrt 1.0) (* (sqrt n) (sqrt x))) (/ (sqrt (/ 1.0 n)) (sqrt x)) (/ (sqrt (/ 1.0 n)) (sqrt x)) (/ (sqrt 1.0) (* (sqrt n) (sqrt x))) (/ (sqrt 1.0) (* (sqrt n) (sqrt x))) (* (cbrt (/ 1.0 n)) (/ (cbrt (/ 1.0 n)) x)) (/ (sqrt (/ 1.0 n)) x) (* (cbrt 1.0) (/ (/ (cbrt 1.0) x) (* (cbrt n) (cbrt n)))) (* (cbrt 1.0) (/ (/ (cbrt 1.0) x) (sqrt n))) (* (cbrt 1.0) (/ (cbrt 1.0) x)) (/ (sqrt 1.0) (* x (* (cbrt n) (cbrt n)))) (/ (sqrt 1.0) (* x (sqrt n))) (/ (sqrt 1.0) x) (/ 1 (* x (* (cbrt n) (cbrt n)))) (/ 1 (* x (sqrt n))) (/ 1 x) (/ 1 x) (/ 1.0 x) (* 1.0 (/ (cbrt (/ 1 x)) n)) (* 1.0 (/ (sqrt (/ 1 x)) n)) (* 1.0 (/ (/ (cbrt 1) (cbrt x)) n)) (* 1.0 (/ (/ (cbrt 1) (sqrt x)) n)) (* 1.0 (/ (/ (cbrt 1) x) n)) (/ 1.0 (* n (cbrt x))) (/ 1.0 (* n (sqrt x))) (/ 1.0 (* x n)) (/ 1.0 (* n (cbrt x))) (/ 1.0 (* n (sqrt x))) (/ 1.0 (* x n)) (/ 1.0 (* x n)) (/ 1.0 (* x n)) (/ 1.0 x) (/ 1.0 n) (/ 1.0 (* x n)) (/ 1.0 (* x n)) (/ 1.0 (* x n)) 1.278 * * * [progress]: adding candidates to table 1.332 * [progress]: [Phase 3 of 3] Extracting. 1.332 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # #) 1.336 * * * [regime-changes]: Trying 4 branch expressions: ((/ 1.0 n) (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) n x) 1.336 * * * * [regimes]: Trying to branch on (/ 1.0 n) from (# # # # # # # # # # # # # #) 1.429 * * * * [regimes]: Trying to branch on (- (pow (+ x 1.0) (/ 1.0 n)) (pow x (/ 1.0 n))) from (# # # # # # # # # # # # # #) 1.504 * * * * [regimes]: Trying to branch on n from (# # # # # # # # # # # # # #) 1.597 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # #) 1.703 * * * [regime]: Found split indices: #