12.038 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.035 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))
0.040 * * [simplify]: iteration  0 :  24  enodes  (cost  7 )
0.042 * * [simplify]: iteration  1 :  48  enodes  (cost  7 )
0.043 * * [simplify]: iteration  2 :  96  enodes  (cost  6 )
0.046 * * [simplify]: iteration  3 :  256  enodes  (cost  6 )
0.051 * * [simplify]: iteration  4 :  891  enodes  (cost  6 )
0.072 * * [simplify]: iteration  5 :  3963  enodes  (cost  6 )
0.144 * * [simplify]: iteration  6 :  5002  enodes  (cost  6 )
0.144 * [simplify]: Simplified to:
   (* (/ (pow k m) (+ (* k (+ 10.0 k)) 1.0)) a)
0.147 * * [progress]: iteration 1 / 4
0.147 * * * [progress]: picking best candidate
0.150 * * * * [pick]: Picked  #<alt (λ (a k m) (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))>
0.150 * * * [progress]: localizing error
0.161 * * * [progress]: generating rewritten candidates
0.161 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.194 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.215 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
0.221 * * * [progress]: generating series expansions
0.221 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.222 * [approximate]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in (a k m) around 0
0.222 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in m
0.222 * [taylor]: Taking taylor expansion of (* a (pow k m)) in m
0.222 * [taylor]: Taking taylor expansion of a in m
0.222 * [taylor]: Taking taylor expansion of (pow k m) in m
0.222 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
0.222 * [taylor]: Taking taylor expansion of (* m (log k)) in m
0.222 * [taylor]: Taking taylor expansion of m in m
0.222 * [taylor]: Taking taylor expansion of (log k) in m
0.222 * [taylor]: Taking taylor expansion of k in m
0.223 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in m
0.223 * [taylor]: Taking taylor expansion of (* 10.0 k) in m
0.223 * [taylor]: Taking taylor expansion of 10.0 in m
0.223 * [taylor]: Taking taylor expansion of k in m
0.223 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in m
0.223 * [taylor]: Taking taylor expansion of (pow k 2) in m
0.223 * [taylor]: Taking taylor expansion of k in m
0.223 * [taylor]: Taking taylor expansion of 1.0 in m
0.223 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
0.223 * [taylor]: Taking taylor expansion of (* a (pow k m)) in k
0.223 * [taylor]: Taking taylor expansion of a in k
0.223 * [taylor]: Taking taylor expansion of (pow k m) in k
0.223 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k
0.223 * [taylor]: Taking taylor expansion of (* m (log k)) in k
0.223 * [taylor]: Taking taylor expansion of m in k
0.223 * [taylor]: Taking taylor expansion of (log k) in k
0.223 * [taylor]: Taking taylor expansion of k in k
0.224 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
0.224 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.224 * [taylor]: Taking taylor expansion of 10.0 in k
0.224 * [taylor]: Taking taylor expansion of k in k
0.224 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
0.224 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.224 * [taylor]: Taking taylor expansion of k in k
0.224 * [taylor]: Taking taylor expansion of 1.0 in k
0.225 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in a
0.225 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a
0.225 * [taylor]: Taking taylor expansion of a in a
0.225 * [taylor]: Taking taylor expansion of (pow k m) in a
0.225 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a
0.225 * [taylor]: Taking taylor expansion of (* m (log k)) in a
0.225 * [taylor]: Taking taylor expansion of m in a
0.225 * [taylor]: Taking taylor expansion of (log k) in a
0.225 * [taylor]: Taking taylor expansion of k in a
0.225 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in a
0.225 * [taylor]: Taking taylor expansion of (* 10.0 k) in a
0.225 * [taylor]: Taking taylor expansion of 10.0 in a
0.225 * [taylor]: Taking taylor expansion of k in a
0.225 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in a
0.225 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.225 * [taylor]: Taking taylor expansion of k in a
0.225 * [taylor]: Taking taylor expansion of 1.0 in a
0.227 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in a
0.227 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a
0.227 * [taylor]: Taking taylor expansion of a in a
0.227 * [taylor]: Taking taylor expansion of (pow k m) in a
0.227 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a
0.227 * [taylor]: Taking taylor expansion of (* m (log k)) in a
0.227 * [taylor]: Taking taylor expansion of m in a
0.227 * [taylor]: Taking taylor expansion of (log k) in a
0.227 * [taylor]: Taking taylor expansion of k in a
0.227 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in a
0.227 * [taylor]: Taking taylor expansion of (* 10.0 k) in a
0.227 * [taylor]: Taking taylor expansion of 10.0 in a
0.227 * [taylor]: Taking taylor expansion of k in a
0.227 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in a
0.228 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.228 * [taylor]: Taking taylor expansion of k in a
0.228 * [taylor]: Taking taylor expansion of 1.0 in a
0.229 * [taylor]: Taking taylor expansion of (/ (pow k m) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
0.229 * [taylor]: Taking taylor expansion of (pow k m) in k
0.229 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k
0.229 * [taylor]: Taking taylor expansion of (* m (log k)) in k
0.229 * [taylor]: Taking taylor expansion of m in k
0.229 * [taylor]: Taking taylor expansion of (log k) in k
0.229 * [taylor]: Taking taylor expansion of k in k
0.230 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
0.230 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.230 * [taylor]: Taking taylor expansion of 10.0 in k
0.230 * [taylor]: Taking taylor expansion of k in k
0.230 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
0.230 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.230 * [taylor]: Taking taylor expansion of k in k
0.230 * [taylor]: Taking taylor expansion of 1.0 in k
0.231 * [taylor]: Taking taylor expansion of (* 1.0 (pow k m)) in m
0.231 * [taylor]: Taking taylor expansion of 1.0 in m
0.231 * [taylor]: Taking taylor expansion of (pow k m) in m
0.231 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
0.231 * [taylor]: Taking taylor expansion of (* m (log k)) in m
0.231 * [taylor]: Taking taylor expansion of m in m
0.231 * [taylor]: Taking taylor expansion of (log k) in m
0.231 * [taylor]: Taking taylor expansion of k in m
0.238 * [taylor]: Taking taylor expansion of 0 in k
0.238 * [taylor]: Taking taylor expansion of 0 in m
0.241 * [taylor]: Taking taylor expansion of (- (* 10.0 (pow k m))) in m
0.241 * [taylor]: Taking taylor expansion of (* 10.0 (pow k m)) in m
0.241 * [taylor]: Taking taylor expansion of 10.0 in m
0.241 * [taylor]: Taking taylor expansion of (pow k m) in m
0.242 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
0.242 * [taylor]: Taking taylor expansion of (* m (log k)) in m
0.242 * [taylor]: Taking taylor expansion of m in m
0.242 * [taylor]: Taking taylor expansion of (log k) in m
0.242 * [taylor]: Taking taylor expansion of k in m
0.244 * [approximate]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in (a k m) around 0
0.244 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in m
0.244 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in m
0.244 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in m
0.244 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in m
0.244 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.244 * [taylor]: Taking taylor expansion of m in m
0.245 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in m
0.245 * [taylor]: Taking taylor expansion of (/ 1 k) in m
0.245 * [taylor]: Taking taylor expansion of k in m
0.245 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in m
0.245 * [taylor]: Taking taylor expansion of a in m
0.245 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in m
0.245 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in m
0.245 * [taylor]: Taking taylor expansion of (pow k 2) in m
0.245 * [taylor]: Taking taylor expansion of k in m
0.245 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in m
0.245 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in m
0.245 * [taylor]: Taking taylor expansion of 10.0 in m
0.245 * [taylor]: Taking taylor expansion of (/ 1 k) in m
0.245 * [taylor]: Taking taylor expansion of k in m
0.245 * [taylor]: Taking taylor expansion of 1.0 in m
0.246 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in k
0.246 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in k
0.246 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in k
0.246 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in k
0.246 * [taylor]: Taking taylor expansion of (/ 1 m) in k
0.246 * [taylor]: Taking taylor expansion of m in k
0.246 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
0.246 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.246 * [taylor]: Taking taylor expansion of k in k
0.247 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
0.247 * [taylor]: Taking taylor expansion of a in k
0.247 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
0.247 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.247 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.247 * [taylor]: Taking taylor expansion of k in k
0.247 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.247 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.247 * [taylor]: Taking taylor expansion of 10.0 in k
0.247 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.247 * [taylor]: Taking taylor expansion of k in k
0.247 * [taylor]: Taking taylor expansion of 1.0 in k
0.248 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in a
0.248 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a
0.248 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a
0.248 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a
0.248 * [taylor]: Taking taylor expansion of (/ 1 m) in a
0.248 * [taylor]: Taking taylor expansion of m in a
0.248 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a
0.248 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.248 * [taylor]: Taking taylor expansion of k in a
0.248 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in a
0.248 * [taylor]: Taking taylor expansion of a in a
0.248 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in a
0.248 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.248 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.248 * [taylor]: Taking taylor expansion of k in a
0.248 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in a
0.248 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.248 * [taylor]: Taking taylor expansion of 10.0 in a
0.248 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.248 * [taylor]: Taking taylor expansion of k in a
0.248 * [taylor]: Taking taylor expansion of 1.0 in a
0.250 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in a
0.250 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a
0.250 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a
0.250 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a
0.250 * [taylor]: Taking taylor expansion of (/ 1 m) in a
0.250 * [taylor]: Taking taylor expansion of m in a
0.250 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a
0.250 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.250 * [taylor]: Taking taylor expansion of k in a
0.251 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in a
0.251 * [taylor]: Taking taylor expansion of a in a
0.251 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in a
0.251 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.251 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.251 * [taylor]: Taking taylor expansion of k in a
0.251 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in a
0.251 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.251 * [taylor]: Taking taylor expansion of 10.0 in a
0.251 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.251 * [taylor]: Taking taylor expansion of k in a
0.251 * [taylor]: Taking taylor expansion of 1.0 in a
0.253 * [taylor]: Taking taylor expansion of (/ (exp (/ (log (/ 1 k)) m)) (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
0.253 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 k)) m)) in k
0.253 * [taylor]: Taking taylor expansion of (/ (log (/ 1 k)) m) in k
0.253 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
0.253 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.253 * [taylor]: Taking taylor expansion of k in k
0.254 * [taylor]: Taking taylor expansion of m in k
0.254 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
0.254 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.254 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.254 * [taylor]: Taking taylor expansion of k in k
0.255 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.255 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.255 * [taylor]: Taking taylor expansion of 10.0 in k
0.255 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.255 * [taylor]: Taking taylor expansion of k in k
0.255 * [taylor]: Taking taylor expansion of 1.0 in k
0.255 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
0.255 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
0.255 * [taylor]: Taking taylor expansion of -1 in m
0.255 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
0.255 * [taylor]: Taking taylor expansion of (log k) in m
0.255 * [taylor]: Taking taylor expansion of k in m
0.255 * [taylor]: Taking taylor expansion of m in m
0.259 * [taylor]: Taking taylor expansion of 0 in k
0.259 * [taylor]: Taking taylor expansion of 0 in m
0.263 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (log k) m))))) in m
0.263 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (log k) m)))) in m
0.263 * [taylor]: Taking taylor expansion of 10.0 in m
0.263 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
0.263 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
0.263 * [taylor]: Taking taylor expansion of -1 in m
0.263 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
0.263 * [taylor]: Taking taylor expansion of (log k) in m
0.263 * [taylor]: Taking taylor expansion of k in m
0.263 * [taylor]: Taking taylor expansion of m in m
0.269 * [taylor]: Taking taylor expansion of 0 in k
0.269 * [taylor]: Taking taylor expansion of 0 in m
0.269 * [taylor]: Taking taylor expansion of 0 in m
0.274 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (log k) m)))) in m
0.274 * [taylor]: Taking taylor expansion of 99.0 in m
0.274 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
0.274 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
0.274 * [taylor]: Taking taylor expansion of -1 in m
0.274 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
0.275 * [taylor]: Taking taylor expansion of (log k) in m
0.275 * [taylor]: Taking taylor expansion of k in m
0.275 * [taylor]: Taking taylor expansion of m in m
0.276 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in (a k m) around 0
0.276 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in m
0.276 * [taylor]: Taking taylor expansion of -1 in m
0.276 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in m
0.276 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in m
0.276 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in m
0.276 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in m
0.276 * [taylor]: Taking taylor expansion of (/ -1 m) in m
0.276 * [taylor]: Taking taylor expansion of -1 in m
0.276 * [taylor]: Taking taylor expansion of m in m
0.276 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in m
0.276 * [taylor]: Taking taylor expansion of (/ -1 k) in m
0.276 * [taylor]: Taking taylor expansion of -1 in m
0.276 * [taylor]: Taking taylor expansion of k in m
0.277 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in m
0.277 * [taylor]: Taking taylor expansion of a in m
0.277 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in m
0.277 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in m
0.277 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in m
0.277 * [taylor]: Taking taylor expansion of (pow k 2) in m
0.277 * [taylor]: Taking taylor expansion of k in m
0.277 * [taylor]: Taking taylor expansion of 1.0 in m
0.277 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in m
0.277 * [taylor]: Taking taylor expansion of 10.0 in m
0.277 * [taylor]: Taking taylor expansion of (/ 1 k) in m
0.277 * [taylor]: Taking taylor expansion of k in m
0.278 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in k
0.278 * [taylor]: Taking taylor expansion of -1 in k
0.278 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in k
0.278 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in k
0.278 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in k
0.278 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in k
0.278 * [taylor]: Taking taylor expansion of (/ -1 m) in k
0.278 * [taylor]: Taking taylor expansion of -1 in k
0.278 * [taylor]: Taking taylor expansion of m in k
0.278 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k
0.278 * [taylor]: Taking taylor expansion of (/ -1 k) in k
0.278 * [taylor]: Taking taylor expansion of -1 in k
0.278 * [taylor]: Taking taylor expansion of k in k
0.279 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
0.279 * [taylor]: Taking taylor expansion of a in k
0.279 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
0.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
0.279 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.279 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.279 * [taylor]: Taking taylor expansion of k in k
0.280 * [taylor]: Taking taylor expansion of 1.0 in k
0.280 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.280 * [taylor]: Taking taylor expansion of 10.0 in k
0.280 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.280 * [taylor]: Taking taylor expansion of k in k
0.281 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in a
0.281 * [taylor]: Taking taylor expansion of -1 in a
0.281 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in a
0.281 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a
0.281 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a
0.281 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a
0.281 * [taylor]: Taking taylor expansion of (/ -1 m) in a
0.281 * [taylor]: Taking taylor expansion of -1 in a
0.281 * [taylor]: Taking taylor expansion of m in a
0.281 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a
0.281 * [taylor]: Taking taylor expansion of (/ -1 k) in a
0.281 * [taylor]: Taking taylor expansion of -1 in a
0.281 * [taylor]: Taking taylor expansion of k in a
0.281 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in a
0.281 * [taylor]: Taking taylor expansion of a in a
0.281 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in a
0.281 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in a
0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.281 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.281 * [taylor]: Taking taylor expansion of k in a
0.282 * [taylor]: Taking taylor expansion of 1.0 in a
0.282 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.282 * [taylor]: Taking taylor expansion of 10.0 in a
0.282 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.282 * [taylor]: Taking taylor expansion of k in a
0.284 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in a
0.284 * [taylor]: Taking taylor expansion of -1 in a
0.284 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in a
0.284 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a
0.284 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a
0.284 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a
0.284 * [taylor]: Taking taylor expansion of (/ -1 m) in a
0.284 * [taylor]: Taking taylor expansion of -1 in a
0.284 * [taylor]: Taking taylor expansion of m in a
0.284 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a
0.284 * [taylor]: Taking taylor expansion of (/ -1 k) in a
0.284 * [taylor]: Taking taylor expansion of -1 in a
0.284 * [taylor]: Taking taylor expansion of k in a
0.284 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in a
0.284 * [taylor]: Taking taylor expansion of a in a
0.284 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in a
0.284 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in a
0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.284 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.284 * [taylor]: Taking taylor expansion of k in a
0.284 * [taylor]: Taking taylor expansion of 1.0 in a
0.284 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.284 * [taylor]: Taking taylor expansion of 10.0 in a
0.284 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.284 * [taylor]: Taking taylor expansion of k in a
0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in k
0.287 * [taylor]: Taking taylor expansion of -1 in k
0.287 * [taylor]: Taking taylor expansion of (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
0.287 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 k)) m))) in k
0.287 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 k)) m)) in k
0.287 * [taylor]: Taking taylor expansion of -1 in k
0.287 * [taylor]: Taking taylor expansion of (/ (log (/ -1 k)) m) in k
0.287 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k
0.287 * [taylor]: Taking taylor expansion of (/ -1 k) in k
0.287 * [taylor]: Taking taylor expansion of -1 in k
0.287 * [taylor]: Taking taylor expansion of k in k
0.287 * [taylor]: Taking taylor expansion of m in k
0.289 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
0.289 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
0.289 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.289 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.289 * [taylor]: Taking taylor expansion of k in k
0.290 * [taylor]: Taking taylor expansion of 1.0 in k
0.290 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.290 * [taylor]: Taking taylor expansion of 10.0 in k
0.290 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.290 * [taylor]: Taking taylor expansion of k in k
0.291 * [taylor]: Taking taylor expansion of (* -1 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
0.291 * [taylor]: Taking taylor expansion of -1 in m
0.291 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
0.291 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
0.291 * [taylor]: Taking taylor expansion of -1 in m
0.291 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
0.291 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
0.291 * [taylor]: Taking taylor expansion of (log -1) in m
0.291 * [taylor]: Taking taylor expansion of -1 in m
0.291 * [taylor]: Taking taylor expansion of (log k) in m
0.291 * [taylor]: Taking taylor expansion of k in m
0.291 * [taylor]: Taking taylor expansion of m in m
0.298 * [taylor]: Taking taylor expansion of 0 in k
0.298 * [taylor]: Taking taylor expansion of 0 in m
0.304 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m
0.304 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
0.304 * [taylor]: Taking taylor expansion of 10.0 in m
0.304 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
0.304 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
0.304 * [taylor]: Taking taylor expansion of -1 in m
0.304 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
0.304 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
0.304 * [taylor]: Taking taylor expansion of (log -1) in m
0.304 * [taylor]: Taking taylor expansion of -1 in m
0.304 * [taylor]: Taking taylor expansion of (log k) in m
0.304 * [taylor]: Taking taylor expansion of k in m
0.304 * [taylor]: Taking taylor expansion of m in m
0.313 * [taylor]: Taking taylor expansion of 0 in k
0.313 * [taylor]: Taking taylor expansion of 0 in m
0.313 * [taylor]: Taking taylor expansion of 0 in m
0.322 * [taylor]: Taking taylor expansion of (- (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m
0.322 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
0.322 * [taylor]: Taking taylor expansion of 99.0 in m
0.322 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
0.322 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
0.322 * [taylor]: Taking taylor expansion of -1 in m
0.322 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
0.322 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
0.322 * [taylor]: Taking taylor expansion of (log -1) in m
0.322 * [taylor]: Taking taylor expansion of -1 in m
0.323 * [taylor]: Taking taylor expansion of (log k) in m
0.323 * [taylor]: Taking taylor expansion of k in m
0.323 * [taylor]: Taking taylor expansion of m in m
0.331 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.331 * [approximate]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in (k) around 0
0.331 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
0.331 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.332 * [taylor]: Taking taylor expansion of 10.0 in k
0.332 * [taylor]: Taking taylor expansion of k in k
0.332 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
0.332 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.332 * [taylor]: Taking taylor expansion of k in k
0.332 * [taylor]: Taking taylor expansion of 1.0 in k
0.332 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
0.332 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.332 * [taylor]: Taking taylor expansion of 10.0 in k
0.332 * [taylor]: Taking taylor expansion of k in k
0.332 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
0.332 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.332 * [taylor]: Taking taylor expansion of k in k
0.332 * [taylor]: Taking taylor expansion of 1.0 in k
0.335 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in (k) around 0
0.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.335 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.335 * [taylor]: Taking taylor expansion of k in k
0.336 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.336 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.336 * [taylor]: Taking taylor expansion of 10.0 in k
0.336 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.336 * [taylor]: Taking taylor expansion of k in k
0.336 * [taylor]: Taking taylor expansion of 1.0 in k
0.336 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
0.336 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.336 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.336 * [taylor]: Taking taylor expansion of k in k
0.336 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.336 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.336 * [taylor]: Taking taylor expansion of 10.0 in k
0.336 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.336 * [taylor]: Taking taylor expansion of k in k
0.337 * [taylor]: Taking taylor expansion of 1.0 in k
0.341 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in (k) around 0
0.341 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
0.341 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
0.341 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.341 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.341 * [taylor]: Taking taylor expansion of k in k
0.341 * [taylor]: Taking taylor expansion of 1.0 in k
0.341 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.341 * [taylor]: Taking taylor expansion of 10.0 in k
0.341 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.341 * [taylor]: Taking taylor expansion of k in k
0.342 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
0.342 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
0.342 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.342 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.342 * [taylor]: Taking taylor expansion of k in k
0.342 * [taylor]: Taking taylor expansion of 1.0 in k
0.342 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.342 * [taylor]: Taking taylor expansion of 10.0 in k
0.342 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.342 * [taylor]: Taking taylor expansion of k in k
0.348 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
0.348 * [approximate]: Taking taylor expansion of (+ (* 10.0 k) 1.0) in (k) around 0
0.348 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) 1.0) in k
0.348 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.348 * [taylor]: Taking taylor expansion of 10.0 in k
0.348 * [taylor]: Taking taylor expansion of k in k
0.348 * [taylor]: Taking taylor expansion of 1.0 in k
0.348 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) 1.0) in k
0.348 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.348 * [taylor]: Taking taylor expansion of 10.0 in k
0.348 * [taylor]: Taking taylor expansion of k in k
0.348 * [taylor]: Taking taylor expansion of 1.0 in k
0.355 * [approximate]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in (k) around 0
0.355 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.355 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.355 * [taylor]: Taking taylor expansion of 10.0 in k
0.355 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.355 * [taylor]: Taking taylor expansion of k in k
0.355 * [taylor]: Taking taylor expansion of 1.0 in k
0.355 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.355 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.355 * [taylor]: Taking taylor expansion of 10.0 in k
0.355 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.355 * [taylor]: Taking taylor expansion of k in k
0.355 * [taylor]: Taking taylor expansion of 1.0 in k
0.365 * [approximate]: Taking taylor expansion of (- 1.0 (* 10.0 (/ 1 k))) in (k) around 0
0.365 * [taylor]: Taking taylor expansion of (- 1.0 (* 10.0 (/ 1 k))) in k
0.365 * [taylor]: Taking taylor expansion of 1.0 in k
0.365 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.365 * [taylor]: Taking taylor expansion of 10.0 in k
0.365 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.365 * [taylor]: Taking taylor expansion of k in k
0.365 * [taylor]: Taking taylor expansion of (- 1.0 (* 10.0 (/ 1 k))) in k
0.365 * [taylor]: Taking taylor expansion of 1.0 in k
0.365 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.365 * [taylor]: Taking taylor expansion of 10.0 in k
0.365 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.365 * [taylor]: Taking taylor expansion of k in k
0.377 * * * [progress]: simplifying candidates
0.378 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log a) (* (log k) m)) (log (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (- (+ (log a) (* (log k) m)) (log (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (- (+ (log a) (log (pow k m))) (log (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (- (log (* a (pow k m))) (log (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (log (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (exp (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m))) (* (* (+ (+ 1.0 (* 10.0 k)) (* k k)) (+ (+ 1.0 (* 10.0 k)) (* k k))) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (* (* (* a (pow k m)) (* a (pow k m))) (* a (pow k m))) (* (* (+ (+ 1.0 (* 10.0 k)) (* k k)) (+ (+ 1.0 (* 10.0 k)) (* k k))) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* (cbrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (cbrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* (* (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (- (* a (pow k m)))
  (- (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (/ a (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (pow k m) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a 1)
  (/ (pow k m) (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (/ 1 (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (* a (pow k m)))
  (/ (* a (pow k m)) (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (* a (pow k m)) 1)
  (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow k m))
  (/ (* a (pow k m)) (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))
  (/ (* a (pow k m)) (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))
  (* (* (exp 1.0) (exp (* 10.0 k))) (exp (* k k)))
  (* (exp (+ 1.0 (* 10.0 k))) (exp (* k k)))
  (log (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (exp (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (* (* (+ (+ 1.0 (* 10.0 k)) (* k k)) (+ (+ 1.0 (* 10.0 k)) (* k k))) (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3))
  (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))
  (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k)))
  (- (+ 1.0 (* 10.0 k)) (* k k))
  (+ (* 10.0 k) (* k k))
  (* (exp 1.0) (exp (* 10.0 k)))
  (log (+ 1.0 (* 10.0 k)))
  (exp (+ 1.0 (* 10.0 k)))
  (* (cbrt (+ 1.0 (* 10.0 k))) (cbrt (+ 1.0 (* 10.0 k))))
  (cbrt (+ 1.0 (* 10.0 k)))
  (* (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (+ 1.0 (* 10.0 k)))
  (sqrt (+ 1.0 (* 10.0 k)))
  (sqrt (+ 1.0 (* 10.0 k)))
  (+ (pow 1.0 3) (pow (* 10.0 k) 3))
  (+ (* 1.0 1.0) (- (* (* 10.0 k) (* 10.0 k)) (* 1.0 (* 10.0 k))))
  (- (* 1.0 1.0) (* (* 10.0 k) (* 10.0 k)))
  (- 1.0 (* 10.0 k))
  (- (+ (* 1.0 (* a (* m (log k)))) (* 1.0 a)) (* 10.0 (* k a)))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (- (+ (* 99.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))
  (+ (* 10.0 k) (+ (pow k 2) 1.0))
  (+ (* 10.0 k) (+ (pow k 2) 1.0))
  (+ (* 10.0 k) (+ (pow k 2) 1.0))
  (+ (* 10.0 k) 1.0)
  (+ (* 10.0 k) 1.0)
  (+ (* 10.0 k) 1.0)
0.384 * * [simplify]: iteration  0 :  404  enodes  (cost  484 )
0.392 * * [simplify]: iteration  1 :  1787  enodes  (cost  427 )
0.424 * * [simplify]: iteration  2 :  5001  enodes  (cost  418 )
0.427 * [simplify]: Simplified to:
   (log (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (log (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (log (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (log (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (log (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (pow (exp (/ a (+ 1.0 (* k (+ 10.0 k))))) (pow k m))
  (pow (/ (pow k m) (/ (+ 1.0 (* k (+ 10.0 k))) a)) 3)
  (pow (/ (pow k m) (/ (+ 1.0 (* k (+ 10.0 k))) a)) 3)
  (* (cbrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (cbrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (pow (/ (pow k m) (/ (+ 1.0 (* k (+ 10.0 k))) a)) 3)
  (sqrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (- (* a (pow k m)))
  (- (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (/ a (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (pow k m) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  a
  (/ (pow k m) (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (/ 1 (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (/ (/ (+ 1.0 (* k (+ 10.0 k))) a) (pow k m))
  (/ (* a (pow k m)) (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* a (pow k m))
  (/ (+ (+ 1.0 (* 10.0 k)) (* k k)) (pow k m))
  (/ (* a (pow k m)) (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))
  (* (/ (pow k m) (* (+ (* k (- 10.0 k)) 1.0) (+ 1.0 (* k (+ 10.0 k))))) a)
  (exp (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (exp (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (log (* (+ 1.0 (* k (+ 10.0 k))) 1))
  (exp (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (pow (+ 1.0 (* k (+ 10.0 k))) 3)
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3))
  (+ (* (pow k 2) (- (pow k 2) (+ 1.0 (* 10.0 k)))) (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))))
  (* (+ (* k (- 10.0 k)) 1.0) (+ 1.0 (* k (+ 10.0 k))))
  (+ (* k (- 10.0 k)) 1.0)
  (* k (+ 10.0 k))
  (exp (+ 1.0 (* 10.0 k)))
  (log (+ 1.0 (* 10.0 k)))
  (exp (+ 1.0 (* 10.0 k)))
  (* (cbrt (+ 1.0 (* 10.0 k))) (cbrt (+ 1.0 (* 10.0 k))))
  (cbrt (+ 1.0 (* 10.0 k)))
  (pow (+ 1.0 (* 10.0 k)) 3)
  (sqrt (+ 1.0 (* 10.0 k)))
  (sqrt (+ 1.0 (* 10.0 k)))
  (+ (pow 1.0 3) (pow (* 10.0 k) 3))
  (+ (* (* 10.0 k) (- (* 10.0 k) 1.0)) (* 1.0 1.0))
  (- (* 1.0 1.0) (* (* 10.0 k) (* 10.0 k)))
  (- 1.0 (* 10.0 k))
  (* a (+ (* 1.0 (log (pow k m))) (- 1.0 (* 10.0 k))))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (+ 1.0 (* k (+ 10.0 k)))
  (+ 1.0 (* k (+ 10.0 k)))
  (+ 1.0 (* k (+ 10.0 k)))
  (+ 1.0 (* 10.0 k))
  (+ 1.0 (* 10.0 k))
  (+ 1.0 (* 10.0 k))
0.427 * * * [progress]: adding candidates to table
0.560 * * [progress]: iteration 2 / 4
0.560 * * * [progress]: picking best candidate
0.564 * * * * [pick]: Picked  #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))>
0.564 * * * [progress]: localizing error
0.574 * * * [progress]: generating rewritten candidates
0.574 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.589 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.611 * * * [progress]: generating series expansions
0.611 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.611 * [approximate]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in (a k m) around 0
0.611 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in m
0.612 * [taylor]: Taking taylor expansion of (* a (pow k m)) in m
0.612 * [taylor]: Taking taylor expansion of a in m
0.612 * [taylor]: Taking taylor expansion of (pow k m) in m
0.612 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
0.612 * [taylor]: Taking taylor expansion of (* m (log k)) in m
0.612 * [taylor]: Taking taylor expansion of m in m
0.612 * [taylor]: Taking taylor expansion of (log k) in m
0.612 * [taylor]: Taking taylor expansion of k in m
0.613 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in m
0.613 * [taylor]: Taking taylor expansion of (* 10.0 k) in m
0.613 * [taylor]: Taking taylor expansion of 10.0 in m
0.613 * [taylor]: Taking taylor expansion of k in m
0.613 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in m
0.613 * [taylor]: Taking taylor expansion of (pow k 2) in m
0.613 * [taylor]: Taking taylor expansion of k in m
0.613 * [taylor]: Taking taylor expansion of 1.0 in m
0.613 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
0.613 * [taylor]: Taking taylor expansion of (* a (pow k m)) in k
0.613 * [taylor]: Taking taylor expansion of a in k
0.613 * [taylor]: Taking taylor expansion of (pow k m) in k
0.613 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k
0.613 * [taylor]: Taking taylor expansion of (* m (log k)) in k
0.613 * [taylor]: Taking taylor expansion of m in k
0.613 * [taylor]: Taking taylor expansion of (log k) in k
0.613 * [taylor]: Taking taylor expansion of k in k
0.614 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
0.614 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.614 * [taylor]: Taking taylor expansion of 10.0 in k
0.614 * [taylor]: Taking taylor expansion of k in k
0.614 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
0.614 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.614 * [taylor]: Taking taylor expansion of k in k
0.614 * [taylor]: Taking taylor expansion of 1.0 in k
0.615 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in a
0.615 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a
0.615 * [taylor]: Taking taylor expansion of a in a
0.615 * [taylor]: Taking taylor expansion of (pow k m) in a
0.615 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a
0.615 * [taylor]: Taking taylor expansion of (* m (log k)) in a
0.615 * [taylor]: Taking taylor expansion of m in a
0.615 * [taylor]: Taking taylor expansion of (log k) in a
0.615 * [taylor]: Taking taylor expansion of k in a
0.615 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in a
0.615 * [taylor]: Taking taylor expansion of (* 10.0 k) in a
0.615 * [taylor]: Taking taylor expansion of 10.0 in a
0.615 * [taylor]: Taking taylor expansion of k in a
0.615 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in a
0.615 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.615 * [taylor]: Taking taylor expansion of k in a
0.615 * [taylor]: Taking taylor expansion of 1.0 in a
0.617 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in a
0.617 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a
0.617 * [taylor]: Taking taylor expansion of a in a
0.617 * [taylor]: Taking taylor expansion of (pow k m) in a
0.617 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a
0.617 * [taylor]: Taking taylor expansion of (* m (log k)) in a
0.617 * [taylor]: Taking taylor expansion of m in a
0.617 * [taylor]: Taking taylor expansion of (log k) in a
0.617 * [taylor]: Taking taylor expansion of k in a
0.617 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in a
0.617 * [taylor]: Taking taylor expansion of (* 10.0 k) in a
0.617 * [taylor]: Taking taylor expansion of 10.0 in a
0.617 * [taylor]: Taking taylor expansion of k in a
0.617 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in a
0.617 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.617 * [taylor]: Taking taylor expansion of k in a
0.617 * [taylor]: Taking taylor expansion of 1.0 in a
0.619 * [taylor]: Taking taylor expansion of (/ (pow k m) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
0.619 * [taylor]: Taking taylor expansion of (pow k m) in k
0.619 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k
0.619 * [taylor]: Taking taylor expansion of (* m (log k)) in k
0.619 * [taylor]: Taking taylor expansion of m in k
0.619 * [taylor]: Taking taylor expansion of (log k) in k
0.619 * [taylor]: Taking taylor expansion of k in k
0.620 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
0.620 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.620 * [taylor]: Taking taylor expansion of 10.0 in k
0.620 * [taylor]: Taking taylor expansion of k in k
0.620 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
0.620 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.620 * [taylor]: Taking taylor expansion of k in k
0.620 * [taylor]: Taking taylor expansion of 1.0 in k
0.621 * [taylor]: Taking taylor expansion of (* 1.0 (pow k m)) in m
0.621 * [taylor]: Taking taylor expansion of 1.0 in m
0.621 * [taylor]: Taking taylor expansion of (pow k m) in m
0.621 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
0.621 * [taylor]: Taking taylor expansion of (* m (log k)) in m
0.621 * [taylor]: Taking taylor expansion of m in m
0.621 * [taylor]: Taking taylor expansion of (log k) in m
0.621 * [taylor]: Taking taylor expansion of k in m
0.625 * [taylor]: Taking taylor expansion of 0 in k
0.626 * [taylor]: Taking taylor expansion of 0 in m
0.629 * [taylor]: Taking taylor expansion of (- (* 10.0 (pow k m))) in m
0.629 * [taylor]: Taking taylor expansion of (* 10.0 (pow k m)) in m
0.629 * [taylor]: Taking taylor expansion of 10.0 in m
0.629 * [taylor]: Taking taylor expansion of (pow k m) in m
0.629 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
0.629 * [taylor]: Taking taylor expansion of (* m (log k)) in m
0.629 * [taylor]: Taking taylor expansion of m in m
0.629 * [taylor]: Taking taylor expansion of (log k) in m
0.629 * [taylor]: Taking taylor expansion of k in m
0.631 * [approximate]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in (a k m) around 0
0.631 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in m
0.631 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in m
0.631 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in m
0.631 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in m
0.631 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.631 * [taylor]: Taking taylor expansion of m in m
0.632 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in m
0.632 * [taylor]: Taking taylor expansion of (/ 1 k) in m
0.632 * [taylor]: Taking taylor expansion of k in m
0.632 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in m
0.632 * [taylor]: Taking taylor expansion of a in m
0.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in m
0.632 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in m
0.632 * [taylor]: Taking taylor expansion of (pow k 2) in m
0.632 * [taylor]: Taking taylor expansion of k in m
0.632 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in m
0.632 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in m
0.632 * [taylor]: Taking taylor expansion of 10.0 in m
0.632 * [taylor]: Taking taylor expansion of (/ 1 k) in m
0.632 * [taylor]: Taking taylor expansion of k in m
0.632 * [taylor]: Taking taylor expansion of 1.0 in m
0.633 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in k
0.633 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in k
0.633 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in k
0.633 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in k
0.633 * [taylor]: Taking taylor expansion of (/ 1 m) in k
0.633 * [taylor]: Taking taylor expansion of m in k
0.633 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
0.633 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.633 * [taylor]: Taking taylor expansion of k in k
0.634 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
0.634 * [taylor]: Taking taylor expansion of a in k
0.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
0.634 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.634 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.634 * [taylor]: Taking taylor expansion of k in k
0.634 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.634 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.634 * [taylor]: Taking taylor expansion of 10.0 in k
0.634 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.634 * [taylor]: Taking taylor expansion of k in k
0.635 * [taylor]: Taking taylor expansion of 1.0 in k
0.635 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in a
0.635 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a
0.635 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a
0.635 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a
0.635 * [taylor]: Taking taylor expansion of (/ 1 m) in a
0.635 * [taylor]: Taking taylor expansion of m in a
0.635 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a
0.635 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.635 * [taylor]: Taking taylor expansion of k in a
0.635 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in a
0.635 * [taylor]: Taking taylor expansion of a in a
0.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in a
0.635 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.635 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.635 * [taylor]: Taking taylor expansion of k in a
0.635 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in a
0.635 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.635 * [taylor]: Taking taylor expansion of 10.0 in a
0.635 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.636 * [taylor]: Taking taylor expansion of k in a
0.636 * [taylor]: Taking taylor expansion of 1.0 in a
0.637 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in a
0.637 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a
0.637 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a
0.637 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a
0.637 * [taylor]: Taking taylor expansion of (/ 1 m) in a
0.637 * [taylor]: Taking taylor expansion of m in a
0.637 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a
0.637 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.637 * [taylor]: Taking taylor expansion of k in a
0.638 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in a
0.638 * [taylor]: Taking taylor expansion of a in a
0.638 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in a
0.638 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.638 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.638 * [taylor]: Taking taylor expansion of k in a
0.638 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in a
0.638 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.638 * [taylor]: Taking taylor expansion of 10.0 in a
0.638 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.638 * [taylor]: Taking taylor expansion of k in a
0.638 * [taylor]: Taking taylor expansion of 1.0 in a
0.640 * [taylor]: Taking taylor expansion of (/ (exp (/ (log (/ 1 k)) m)) (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
0.640 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 k)) m)) in k
0.640 * [taylor]: Taking taylor expansion of (/ (log (/ 1 k)) m) in k
0.640 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
0.640 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.640 * [taylor]: Taking taylor expansion of k in k
0.640 * [taylor]: Taking taylor expansion of m in k
0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
0.641 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.641 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.641 * [taylor]: Taking taylor expansion of k in k
0.641 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.641 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.641 * [taylor]: Taking taylor expansion of 10.0 in k
0.641 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.641 * [taylor]: Taking taylor expansion of k in k
0.642 * [taylor]: Taking taylor expansion of 1.0 in k
0.642 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
0.642 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
0.642 * [taylor]: Taking taylor expansion of -1 in m
0.642 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
0.642 * [taylor]: Taking taylor expansion of (log k) in m
0.642 * [taylor]: Taking taylor expansion of k in m
0.642 * [taylor]: Taking taylor expansion of m in m
0.646 * [taylor]: Taking taylor expansion of 0 in k
0.646 * [taylor]: Taking taylor expansion of 0 in m
0.650 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (log k) m))))) in m
0.650 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (log k) m)))) in m
0.650 * [taylor]: Taking taylor expansion of 10.0 in m
0.650 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
0.650 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
0.650 * [taylor]: Taking taylor expansion of -1 in m
0.650 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
0.650 * [taylor]: Taking taylor expansion of (log k) in m
0.650 * [taylor]: Taking taylor expansion of k in m
0.650 * [taylor]: Taking taylor expansion of m in m
0.656 * [taylor]: Taking taylor expansion of 0 in k
0.656 * [taylor]: Taking taylor expansion of 0 in m
0.656 * [taylor]: Taking taylor expansion of 0 in m
0.662 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (log k) m)))) in m
0.662 * [taylor]: Taking taylor expansion of 99.0 in m
0.662 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
0.662 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
0.662 * [taylor]: Taking taylor expansion of -1 in m
0.662 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
0.662 * [taylor]: Taking taylor expansion of (log k) in m
0.662 * [taylor]: Taking taylor expansion of k in m
0.662 * [taylor]: Taking taylor expansion of m in m
0.664 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in (a k m) around 0
0.664 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in m
0.664 * [taylor]: Taking taylor expansion of -1 in m
0.664 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in m
0.664 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in m
0.664 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in m
0.664 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in m
0.664 * [taylor]: Taking taylor expansion of (/ -1 m) in m
0.664 * [taylor]: Taking taylor expansion of -1 in m
0.664 * [taylor]: Taking taylor expansion of m in m
0.664 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in m
0.664 * [taylor]: Taking taylor expansion of (/ -1 k) in m
0.664 * [taylor]: Taking taylor expansion of -1 in m
0.664 * [taylor]: Taking taylor expansion of k in m
0.664 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in m
0.664 * [taylor]: Taking taylor expansion of a in m
0.664 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in m
0.664 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in m
0.664 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in m
0.664 * [taylor]: Taking taylor expansion of (pow k 2) in m
0.664 * [taylor]: Taking taylor expansion of k in m
0.664 * [taylor]: Taking taylor expansion of 1.0 in m
0.665 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in m
0.665 * [taylor]: Taking taylor expansion of 10.0 in m
0.665 * [taylor]: Taking taylor expansion of (/ 1 k) in m
0.665 * [taylor]: Taking taylor expansion of k in m
0.665 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in k
0.665 * [taylor]: Taking taylor expansion of -1 in k
0.665 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in k
0.665 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in k
0.665 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in k
0.665 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in k
0.665 * [taylor]: Taking taylor expansion of (/ -1 m) in k
0.665 * [taylor]: Taking taylor expansion of -1 in k
0.665 * [taylor]: Taking taylor expansion of m in k
0.665 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k
0.665 * [taylor]: Taking taylor expansion of (/ -1 k) in k
0.665 * [taylor]: Taking taylor expansion of -1 in k
0.665 * [taylor]: Taking taylor expansion of k in k
0.667 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
0.667 * [taylor]: Taking taylor expansion of a in k
0.667 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
0.667 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
0.667 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.667 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.667 * [taylor]: Taking taylor expansion of k in k
0.668 * [taylor]: Taking taylor expansion of 1.0 in k
0.668 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.668 * [taylor]: Taking taylor expansion of 10.0 in k
0.668 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.668 * [taylor]: Taking taylor expansion of k in k
0.669 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in a
0.669 * [taylor]: Taking taylor expansion of -1 in a
0.669 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in a
0.669 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a
0.669 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a
0.669 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a
0.669 * [taylor]: Taking taylor expansion of (/ -1 m) in a
0.669 * [taylor]: Taking taylor expansion of -1 in a
0.669 * [taylor]: Taking taylor expansion of m in a
0.669 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a
0.669 * [taylor]: Taking taylor expansion of (/ -1 k) in a
0.669 * [taylor]: Taking taylor expansion of -1 in a
0.669 * [taylor]: Taking taylor expansion of k in a
0.669 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in a
0.669 * [taylor]: Taking taylor expansion of a in a
0.669 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in a
0.669 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in a
0.669 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.669 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.669 * [taylor]: Taking taylor expansion of k in a
0.669 * [taylor]: Taking taylor expansion of 1.0 in a
0.669 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.669 * [taylor]: Taking taylor expansion of 10.0 in a
0.669 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.669 * [taylor]: Taking taylor expansion of k in a
0.672 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in a
0.672 * [taylor]: Taking taylor expansion of -1 in a
0.672 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in a
0.672 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a
0.672 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a
0.672 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a
0.672 * [taylor]: Taking taylor expansion of (/ -1 m) in a
0.672 * [taylor]: Taking taylor expansion of -1 in a
0.672 * [taylor]: Taking taylor expansion of m in a
0.672 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a
0.672 * [taylor]: Taking taylor expansion of (/ -1 k) in a
0.672 * [taylor]: Taking taylor expansion of -1 in a
0.672 * [taylor]: Taking taylor expansion of k in a
0.672 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in a
0.672 * [taylor]: Taking taylor expansion of a in a
0.672 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in a
0.672 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in a
0.672 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.672 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.672 * [taylor]: Taking taylor expansion of k in a
0.672 * [taylor]: Taking taylor expansion of 1.0 in a
0.672 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.672 * [taylor]: Taking taylor expansion of 10.0 in a
0.672 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.672 * [taylor]: Taking taylor expansion of k in a
0.675 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in k
0.675 * [taylor]: Taking taylor expansion of -1 in k
0.675 * [taylor]: Taking taylor expansion of (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
0.675 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 k)) m))) in k
0.675 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 k)) m)) in k
0.675 * [taylor]: Taking taylor expansion of -1 in k
0.675 * [taylor]: Taking taylor expansion of (/ (log (/ -1 k)) m) in k
0.675 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k
0.675 * [taylor]: Taking taylor expansion of (/ -1 k) in k
0.675 * [taylor]: Taking taylor expansion of -1 in k
0.675 * [taylor]: Taking taylor expansion of k in k
0.675 * [taylor]: Taking taylor expansion of m in k
0.677 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
0.677 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.677 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.677 * [taylor]: Taking taylor expansion of k in k
0.678 * [taylor]: Taking taylor expansion of 1.0 in k
0.678 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.678 * [taylor]: Taking taylor expansion of 10.0 in k
0.678 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.678 * [taylor]: Taking taylor expansion of k in k
0.679 * [taylor]: Taking taylor expansion of (* -1 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
0.679 * [taylor]: Taking taylor expansion of -1 in m
0.679 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
0.679 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
0.679 * [taylor]: Taking taylor expansion of -1 in m
0.679 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
0.679 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
0.679 * [taylor]: Taking taylor expansion of (log -1) in m
0.679 * [taylor]: Taking taylor expansion of -1 in m
0.679 * [taylor]: Taking taylor expansion of (log k) in m
0.679 * [taylor]: Taking taylor expansion of k in m
0.679 * [taylor]: Taking taylor expansion of m in m
0.690 * [taylor]: Taking taylor expansion of 0 in k
0.690 * [taylor]: Taking taylor expansion of 0 in m
0.696 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m
0.696 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
0.696 * [taylor]: Taking taylor expansion of 10.0 in m
0.696 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
0.696 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
0.696 * [taylor]: Taking taylor expansion of -1 in m
0.696 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
0.697 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
0.697 * [taylor]: Taking taylor expansion of (log -1) in m
0.697 * [taylor]: Taking taylor expansion of -1 in m
0.697 * [taylor]: Taking taylor expansion of (log k) in m
0.697 * [taylor]: Taking taylor expansion of k in m
0.697 * [taylor]: Taking taylor expansion of m in m
0.706 * [taylor]: Taking taylor expansion of 0 in k
0.706 * [taylor]: Taking taylor expansion of 0 in m
0.706 * [taylor]: Taking taylor expansion of 0 in m
0.714 * [taylor]: Taking taylor expansion of (- (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m
0.714 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
0.714 * [taylor]: Taking taylor expansion of 99.0 in m
0.714 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
0.714 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
0.714 * [taylor]: Taking taylor expansion of -1 in m
0.714 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
0.714 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
0.714 * [taylor]: Taking taylor expansion of (log -1) in m
0.714 * [taylor]: Taking taylor expansion of -1 in m
0.715 * [taylor]: Taking taylor expansion of (log k) in m
0.715 * [taylor]: Taking taylor expansion of k in m
0.715 * [taylor]: Taking taylor expansion of m in m
0.719 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.719 * [approximate]: Taking taylor expansion of (* k (+ k 10.0)) in (k) around 0
0.719 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k
0.719 * [taylor]: Taking taylor expansion of k in k
0.719 * [taylor]: Taking taylor expansion of (+ k 10.0) in k
0.719 * [taylor]: Taking taylor expansion of k in k
0.719 * [taylor]: Taking taylor expansion of 10.0 in k
0.719 * [taylor]: Taking taylor expansion of (* k (+ k 10.0)) in k
0.719 * [taylor]: Taking taylor expansion of k in k
0.719 * [taylor]: Taking taylor expansion of (+ k 10.0) in k
0.719 * [taylor]: Taking taylor expansion of k in k
0.719 * [taylor]: Taking taylor expansion of 10.0 in k
0.727 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 k) 10.0) k) in (k) around 0
0.727 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 k) 10.0) k) in k
0.727 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k
0.727 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.727 * [taylor]: Taking taylor expansion of k in k
0.728 * [taylor]: Taking taylor expansion of 10.0 in k
0.728 * [taylor]: Taking taylor expansion of k in k
0.728 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 k) 10.0) k) in k
0.728 * [taylor]: Taking taylor expansion of (+ (/ 1 k) 10.0) in k
0.728 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.728 * [taylor]: Taking taylor expansion of k in k
0.728 * [taylor]: Taking taylor expansion of 10.0 in k
0.729 * [taylor]: Taking taylor expansion of k in k
0.738 * [approximate]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 k)) k)) in (k) around 0
0.738 * [taylor]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 k)) k)) in k
0.738 * [taylor]: Taking taylor expansion of -1 in k
0.738 * [taylor]: Taking taylor expansion of (/ (- 10.0 (/ 1 k)) k) in k
0.738 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k
0.738 * [taylor]: Taking taylor expansion of 10.0 in k
0.738 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.738 * [taylor]: Taking taylor expansion of k in k
0.739 * [taylor]: Taking taylor expansion of k in k
0.739 * [taylor]: Taking taylor expansion of (* -1 (/ (- 10.0 (/ 1 k)) k)) in k
0.739 * [taylor]: Taking taylor expansion of -1 in k
0.739 * [taylor]: Taking taylor expansion of (/ (- 10.0 (/ 1 k)) k) in k
0.739 * [taylor]: Taking taylor expansion of (- 10.0 (/ 1 k)) in k
0.739 * [taylor]: Taking taylor expansion of 10.0 in k
0.739 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.739 * [taylor]: Taking taylor expansion of k in k
0.740 * [taylor]: Taking taylor expansion of k in k
0.757 * * * [progress]: simplifying candidates
0.758 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log a) (* (log k) m)) (log (+ 1.0 (* k (+ 10.0 k)))))
  (- (+ (log a) (* (log k) m)) (log (+ 1.0 (* k (+ 10.0 k)))))
  (- (+ (log a) (log (pow k m))) (log (+ 1.0 (* k (+ 10.0 k)))))
  (- (log (* a (pow k m))) (log (+ 1.0 (* k (+ 10.0 k)))))
  (log (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (exp (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (/ (* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m))) (* (* (+ 1.0 (* k (+ 10.0 k))) (+ 1.0 (* k (+ 10.0 k)))) (+ 1.0 (* k (+ 10.0 k)))))
  (/ (* (* (* a (pow k m)) (* a (pow k m))) (* a (pow k m))) (* (* (+ 1.0 (* k (+ 10.0 k))) (+ 1.0 (* k (+ 10.0 k)))) (+ 1.0 (* k (+ 10.0 k)))))
  (* (cbrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))) (cbrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))))
  (cbrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (* (* (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))) (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))) (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (sqrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (sqrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (- (* a (pow k m)))
  (- (+ 1.0 (* k (+ 10.0 k))))
  (/ a (* (cbrt (+ 1.0 (* k (+ 10.0 k)))) (cbrt (+ 1.0 (* k (+ 10.0 k))))))
  (/ (pow k m) (cbrt (+ 1.0 (* k (+ 10.0 k)))))
  (/ a (sqrt (+ 1.0 (* k (+ 10.0 k)))))
  (/ (pow k m) (sqrt (+ 1.0 (* k (+ 10.0 k)))))
  (/ a 1)
  (/ (pow k m) (+ 1.0 (* k (+ 10.0 k))))
  (/ 1 (+ 1.0 (* k (+ 10.0 k))))
  (/ (+ 1.0 (* k (+ 10.0 k))) (* a (pow k m)))
  (/ (* a (pow k m)) (* (cbrt (+ 1.0 (* k (+ 10.0 k)))) (cbrt (+ 1.0 (* k (+ 10.0 k))))))
  (/ (* a (pow k m)) (sqrt (+ 1.0 (* k (+ 10.0 k)))))
  (/ (* a (pow k m)) 1)
  (/ (+ 1.0 (* k (+ 10.0 k))) (pow k m))
  (/ (* a (pow k m)) (+ (pow 1.0 3) (pow (* k (+ 10.0 k)) 3)))
  (/ (* a (pow k m)) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k)))))
  (* k (+ 10.0 k))
  (+ (log k) (log (+ 10.0 k)))
  (log (* k (+ 10.0 k)))
  (exp (* k (+ 10.0 k)))
  (* (* (* k k) k) (* (* (+ 10.0 k) (+ 10.0 k)) (+ 10.0 k)))
  (* (cbrt (* k (+ 10.0 k))) (cbrt (* k (+ 10.0 k))))
  (cbrt (* k (+ 10.0 k)))
  (* (* (* k (+ 10.0 k)) (* k (+ 10.0 k))) (* k (+ 10.0 k)))
  (sqrt (* k (+ 10.0 k)))
  (sqrt (* k (+ 10.0 k)))
  (* (sqrt k) (sqrt (+ 10.0 k)))
  (* (sqrt k) (sqrt (+ 10.0 k)))
  (* k 10.0)
  (* k k)
  (* 10.0 k)
  (* k k)
  (* k (* (cbrt (+ 10.0 k)) (cbrt (+ 10.0 k))))
  (* k (sqrt (+ 10.0 k)))
  (* k 1)
  (* k 1)
  (* (cbrt k) (+ 10.0 k))
  (* (sqrt k) (+ 10.0 k))
  (* k (+ 10.0 k))
  (* k (+ (pow 10.0 3) (pow k 3)))
  (* k (- (* 10.0 10.0) (* k k)))
  (- (+ (* 1.0 (* a (* m (log k)))) (* 1.0 a)) (* 10.0 (* k a)))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (- (+ (* 99.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))
  (+ (* 10.0 k) (pow k 2))
  (+ (* 10.0 k) (pow k 2))
  (+ (* 10.0 k) (pow k 2))
0.763 * * [simplify]: iteration  0 :  395  enodes  (cost  378 )
0.771 * * [simplify]: iteration  1 :  1868  enodes  (cost  335 )
0.806 * * [simplify]: iteration  2 :  5002  enodes  (cost  332 )
0.808 * [simplify]: Simplified to:
   (log (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (log (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (log (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (log (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (log (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (exp (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (pow (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))) 3)
  (pow (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))) 3)
  (* (cbrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))) (cbrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))))
  (cbrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (pow (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))) 3)
  (sqrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (sqrt (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))
  (- (* a (pow k m)))
  (- (+ 1.0 (* k (+ 10.0 k))))
  (/ a (* (cbrt (+ 1.0 (* k (+ 10.0 k)))) (cbrt (+ 1.0 (* k (+ 10.0 k))))))
  (/ (pow k m) (cbrt (+ 1.0 (* k (+ 10.0 k)))))
  (/ a (sqrt (+ 1.0 (* k (+ 10.0 k)))))
  (/ (pow k m) (sqrt (+ 1.0 (* k (+ 10.0 k)))))
  a
  (/ (pow k m) (+ 1.0 (* k (+ 10.0 k))))
  (/ 1 (+ 1.0 (* k (+ 10.0 k))))
  (/ (+ 1.0 (* k (+ 10.0 k))) (* a (pow k m)))
  (/ (* a (pow k m)) (* (cbrt (+ 1.0 (* k (+ 10.0 k)))) (cbrt (+ 1.0 (* k (+ 10.0 k))))))
  (/ (* a (pow k m)) (sqrt (+ 1.0 (* k (+ 10.0 k)))))
  (* a (pow k m))
  (/ (+ 1.0 (* k (+ 10.0 k))) (pow k m))
  (/ (* a (pow k m)) (+ (pow 1.0 3) (pow (* k (+ 10.0 k)) 3)))
  (/ (* a (pow k m)) (- (* 1.0 1.0) (* (* k (+ 10.0 k)) (* k (+ 10.0 k)))))
  (* k (+ 10.0 k))
  (log (* k (+ 10.0 k)))
  (log (* k (+ 10.0 k)))
  (exp (* k (+ 10.0 k)))
  (pow (* k (+ 10.0 k)) 3)
  (* (cbrt (* k (+ 10.0 k))) (cbrt (* k (+ 10.0 k))))
  (cbrt (* k (+ 10.0 k)))
  (pow (* k (+ 10.0 k)) 3)
  (sqrt (* k (+ 10.0 k)))
  (sqrt (* k (+ 10.0 k)))
  (* (sqrt k) (sqrt (+ 10.0 k)))
  (* (sqrt k) (sqrt (+ 10.0 k)))
  (* k 10.0)
  (pow k 2)
  (* k 10.0)
  (pow k 2)
  (* k (* (cbrt (+ 10.0 k)) (cbrt (+ 10.0 k))))
  (* k (sqrt (+ 10.0 k)))
  k
  k
  (* (cbrt k) (+ 10.0 k))
  (* (sqrt k) (+ 10.0 k))
  (* k (+ 10.0 k))
  (* k (+ (pow 10.0 3) (pow k 3)))
  (* k (- (* 10.0 10.0) (* k k)))
  (+ (* a (- 1.0 (* k 10.0))) (* 1.0 (* a (* m (log k)))))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (* k (+ 10.0 k))
  (* k (+ 10.0 k))
  (* k (+ 10.0 k))
0.808 * * * [progress]: adding candidates to table
0.925 * * [progress]: iteration 3 / 4
0.925 * * * [progress]: picking best candidate
0.929 * * * * [pick]: Picked  #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))>
0.929 * * * [progress]: localizing error
0.942 * * * [progress]: generating rewritten candidates
0.942 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.957 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
0.958 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
0.959 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1)
0.961 * * * [progress]: generating series expansions
0.961 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.961 * [approximate]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in (a k m) around 0
0.961 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in m
0.961 * [taylor]: Taking taylor expansion of (* a (pow k m)) in m
0.961 * [taylor]: Taking taylor expansion of a in m
0.961 * [taylor]: Taking taylor expansion of (pow k m) in m
0.961 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
0.961 * [taylor]: Taking taylor expansion of (* m (log k)) in m
0.961 * [taylor]: Taking taylor expansion of m in m
0.961 * [taylor]: Taking taylor expansion of (log k) in m
0.961 * [taylor]: Taking taylor expansion of k in m
0.962 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in m
0.962 * [taylor]: Taking taylor expansion of (* 10.0 k) in m
0.962 * [taylor]: Taking taylor expansion of 10.0 in m
0.962 * [taylor]: Taking taylor expansion of k in m
0.962 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in m
0.962 * [taylor]: Taking taylor expansion of (pow k 2) in m
0.962 * [taylor]: Taking taylor expansion of k in m
0.962 * [taylor]: Taking taylor expansion of 1.0 in m
0.963 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
0.963 * [taylor]: Taking taylor expansion of (* a (pow k m)) in k
0.963 * [taylor]: Taking taylor expansion of a in k
0.963 * [taylor]: Taking taylor expansion of (pow k m) in k
0.963 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k
0.963 * [taylor]: Taking taylor expansion of (* m (log k)) in k
0.963 * [taylor]: Taking taylor expansion of m in k
0.963 * [taylor]: Taking taylor expansion of (log k) in k
0.963 * [taylor]: Taking taylor expansion of k in k
0.963 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
0.963 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.963 * [taylor]: Taking taylor expansion of 10.0 in k
0.963 * [taylor]: Taking taylor expansion of k in k
0.964 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
0.964 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.964 * [taylor]: Taking taylor expansion of k in k
0.964 * [taylor]: Taking taylor expansion of 1.0 in k
0.964 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in a
0.964 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a
0.965 * [taylor]: Taking taylor expansion of a in a
0.965 * [taylor]: Taking taylor expansion of (pow k m) in a
0.965 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a
0.965 * [taylor]: Taking taylor expansion of (* m (log k)) in a
0.965 * [taylor]: Taking taylor expansion of m in a
0.965 * [taylor]: Taking taylor expansion of (log k) in a
0.965 * [taylor]: Taking taylor expansion of k in a
0.965 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in a
0.965 * [taylor]: Taking taylor expansion of (* 10.0 k) in a
0.965 * [taylor]: Taking taylor expansion of 10.0 in a
0.965 * [taylor]: Taking taylor expansion of k in a
0.965 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in a
0.965 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.965 * [taylor]: Taking taylor expansion of k in a
0.965 * [taylor]: Taking taylor expansion of 1.0 in a
0.967 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in a
0.967 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a
0.967 * [taylor]: Taking taylor expansion of a in a
0.967 * [taylor]: Taking taylor expansion of (pow k m) in a
0.967 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a
0.967 * [taylor]: Taking taylor expansion of (* m (log k)) in a
0.967 * [taylor]: Taking taylor expansion of m in a
0.967 * [taylor]: Taking taylor expansion of (log k) in a
0.967 * [taylor]: Taking taylor expansion of k in a
0.967 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in a
0.967 * [taylor]: Taking taylor expansion of (* 10.0 k) in a
0.967 * [taylor]: Taking taylor expansion of 10.0 in a
0.967 * [taylor]: Taking taylor expansion of k in a
0.967 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in a
0.967 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.967 * [taylor]: Taking taylor expansion of k in a
0.967 * [taylor]: Taking taylor expansion of 1.0 in a
0.969 * [taylor]: Taking taylor expansion of (/ (pow k m) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
0.969 * [taylor]: Taking taylor expansion of (pow k m) in k
0.969 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k
0.969 * [taylor]: Taking taylor expansion of (* m (log k)) in k
0.969 * [taylor]: Taking taylor expansion of m in k
0.969 * [taylor]: Taking taylor expansion of (log k) in k
0.969 * [taylor]: Taking taylor expansion of k in k
0.970 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
0.970 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
0.970 * [taylor]: Taking taylor expansion of 10.0 in k
0.970 * [taylor]: Taking taylor expansion of k in k
0.970 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
0.970 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.970 * [taylor]: Taking taylor expansion of k in k
0.970 * [taylor]: Taking taylor expansion of 1.0 in k
0.971 * [taylor]: Taking taylor expansion of (* 1.0 (pow k m)) in m
0.971 * [taylor]: Taking taylor expansion of 1.0 in m
0.971 * [taylor]: Taking taylor expansion of (pow k m) in m
0.971 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
0.971 * [taylor]: Taking taylor expansion of (* m (log k)) in m
0.971 * [taylor]: Taking taylor expansion of m in m
0.971 * [taylor]: Taking taylor expansion of (log k) in m
0.971 * [taylor]: Taking taylor expansion of k in m
0.975 * [taylor]: Taking taylor expansion of 0 in k
0.975 * [taylor]: Taking taylor expansion of 0 in m
0.978 * [taylor]: Taking taylor expansion of (- (* 10.0 (pow k m))) in m
0.979 * [taylor]: Taking taylor expansion of (* 10.0 (pow k m)) in m
0.979 * [taylor]: Taking taylor expansion of 10.0 in m
0.979 * [taylor]: Taking taylor expansion of (pow k m) in m
0.979 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
0.979 * [taylor]: Taking taylor expansion of (* m (log k)) in m
0.979 * [taylor]: Taking taylor expansion of m in m
0.979 * [taylor]: Taking taylor expansion of (log k) in m
0.979 * [taylor]: Taking taylor expansion of k in m
0.985 * [approximate]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in (a k m) around 0
0.985 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in m
0.985 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in m
0.985 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in m
0.985 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in m
0.985 * [taylor]: Taking taylor expansion of (/ 1 m) in m
0.985 * [taylor]: Taking taylor expansion of m in m
0.986 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in m
0.986 * [taylor]: Taking taylor expansion of (/ 1 k) in m
0.986 * [taylor]: Taking taylor expansion of k in m
0.986 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in m
0.986 * [taylor]: Taking taylor expansion of a in m
0.986 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in m
0.986 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in m
0.986 * [taylor]: Taking taylor expansion of (pow k 2) in m
0.986 * [taylor]: Taking taylor expansion of k in m
0.986 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in m
0.986 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in m
0.986 * [taylor]: Taking taylor expansion of 10.0 in m
0.986 * [taylor]: Taking taylor expansion of (/ 1 k) in m
0.986 * [taylor]: Taking taylor expansion of k in m
0.986 * [taylor]: Taking taylor expansion of 1.0 in m
0.987 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in k
0.987 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in k
0.987 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in k
0.987 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in k
0.987 * [taylor]: Taking taylor expansion of (/ 1 m) in k
0.987 * [taylor]: Taking taylor expansion of m in k
0.987 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
0.987 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.987 * [taylor]: Taking taylor expansion of k in k
0.988 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
0.988 * [taylor]: Taking taylor expansion of a in k
0.988 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
0.988 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.988 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.988 * [taylor]: Taking taylor expansion of k in k
0.988 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.988 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.988 * [taylor]: Taking taylor expansion of 10.0 in k
0.988 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.988 * [taylor]: Taking taylor expansion of k in k
0.989 * [taylor]: Taking taylor expansion of 1.0 in k
0.989 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in a
0.989 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a
0.989 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a
0.989 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a
0.989 * [taylor]: Taking taylor expansion of (/ 1 m) in a
0.989 * [taylor]: Taking taylor expansion of m in a
0.989 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a
0.989 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.989 * [taylor]: Taking taylor expansion of k in a
0.989 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in a
0.989 * [taylor]: Taking taylor expansion of a in a
0.989 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in a
0.989 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.989 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.989 * [taylor]: Taking taylor expansion of k in a
0.989 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in a
0.989 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.989 * [taylor]: Taking taylor expansion of 10.0 in a
0.989 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.989 * [taylor]: Taking taylor expansion of k in a
0.990 * [taylor]: Taking taylor expansion of 1.0 in a
0.991 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in a
0.991 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a
0.991 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a
0.991 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a
0.991 * [taylor]: Taking taylor expansion of (/ 1 m) in a
0.991 * [taylor]: Taking taylor expansion of m in a
0.991 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a
0.991 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.991 * [taylor]: Taking taylor expansion of k in a
0.992 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in a
0.992 * [taylor]: Taking taylor expansion of a in a
0.992 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in a
0.992 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
0.992 * [taylor]: Taking taylor expansion of (pow k 2) in a
0.992 * [taylor]: Taking taylor expansion of k in a
0.992 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in a
0.992 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
0.992 * [taylor]: Taking taylor expansion of 10.0 in a
0.992 * [taylor]: Taking taylor expansion of (/ 1 k) in a
0.992 * [taylor]: Taking taylor expansion of k in a
0.992 * [taylor]: Taking taylor expansion of 1.0 in a
0.994 * [taylor]: Taking taylor expansion of (/ (exp (/ (log (/ 1 k)) m)) (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
0.994 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 k)) m)) in k
0.994 * [taylor]: Taking taylor expansion of (/ (log (/ 1 k)) m) in k
0.994 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
0.994 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.994 * [taylor]: Taking taylor expansion of k in k
0.994 * [taylor]: Taking taylor expansion of m in k
0.995 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
0.995 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
0.995 * [taylor]: Taking taylor expansion of (pow k 2) in k
0.995 * [taylor]: Taking taylor expansion of k in k
0.995 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
0.995 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
0.995 * [taylor]: Taking taylor expansion of 10.0 in k
0.995 * [taylor]: Taking taylor expansion of (/ 1 k) in k
0.995 * [taylor]: Taking taylor expansion of k in k
0.996 * [taylor]: Taking taylor expansion of 1.0 in k
0.996 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
0.996 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
0.996 * [taylor]: Taking taylor expansion of -1 in m
0.996 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
0.996 * [taylor]: Taking taylor expansion of (log k) in m
0.996 * [taylor]: Taking taylor expansion of k in m
0.996 * [taylor]: Taking taylor expansion of m in m
1.000 * [taylor]: Taking taylor expansion of 0 in k
1.000 * [taylor]: Taking taylor expansion of 0 in m
1.003 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (log k) m))))) in m
1.003 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (log k) m)))) in m
1.003 * [taylor]: Taking taylor expansion of 10.0 in m
1.003 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
1.004 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
1.004 * [taylor]: Taking taylor expansion of -1 in m
1.004 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
1.004 * [taylor]: Taking taylor expansion of (log k) in m
1.004 * [taylor]: Taking taylor expansion of k in m
1.004 * [taylor]: Taking taylor expansion of m in m
1.010 * [taylor]: Taking taylor expansion of 0 in k
1.010 * [taylor]: Taking taylor expansion of 0 in m
1.010 * [taylor]: Taking taylor expansion of 0 in m
1.015 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (log k) m)))) in m
1.015 * [taylor]: Taking taylor expansion of 99.0 in m
1.015 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
1.015 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
1.015 * [taylor]: Taking taylor expansion of -1 in m
1.015 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
1.015 * [taylor]: Taking taylor expansion of (log k) in m
1.016 * [taylor]: Taking taylor expansion of k in m
1.016 * [taylor]: Taking taylor expansion of m in m
1.017 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2)))))) in (a k m) around 0
1.017 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2)))))) in m
1.017 * [taylor]: Taking taylor expansion of -1 in m
1.017 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2))))) in m
1.018 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in m
1.018 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in m
1.018 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in m
1.018 * [taylor]: Taking taylor expansion of (/ -1 m) in m
1.018 * [taylor]: Taking taylor expansion of -1 in m
1.018 * [taylor]: Taking taylor expansion of m in m
1.018 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in m
1.018 * [taylor]: Taking taylor expansion of (/ -1 k) in m
1.018 * [taylor]: Taking taylor expansion of -1 in m
1.018 * [taylor]: Taking taylor expansion of k in m
1.018 * [taylor]: Taking taylor expansion of (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2)))) in m
1.018 * [taylor]: Taking taylor expansion of a in m
1.018 * [taylor]: Taking taylor expansion of (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2))) in m
1.018 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) in m
1.018 * [taylor]: Taking taylor expansion of (* 10.0 (/ (pow (cbrt -1) 3) k)) in m
1.018 * [taylor]: Taking taylor expansion of 10.0 in m
1.018 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) k) in m
1.018 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in m
1.018 * [taylor]: Taking taylor expansion of (cbrt -1) in m
1.018 * [taylor]: Taking taylor expansion of -1 in m
1.019 * [taylor]: Taking taylor expansion of k in m
1.022 * [taylor]: Taking taylor expansion of 1.0 in m
1.022 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (pow k 2)) in m
1.022 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in m
1.022 * [taylor]: Taking taylor expansion of (cbrt -1) in m
1.022 * [taylor]: Taking taylor expansion of -1 in m
1.022 * [taylor]: Taking taylor expansion of (pow k 2) in m
1.022 * [taylor]: Taking taylor expansion of k in m
1.026 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2)))))) in k
1.026 * [taylor]: Taking taylor expansion of -1 in k
1.026 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2))))) in k
1.026 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in k
1.026 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in k
1.026 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in k
1.026 * [taylor]: Taking taylor expansion of (/ -1 m) in k
1.026 * [taylor]: Taking taylor expansion of -1 in k
1.026 * [taylor]: Taking taylor expansion of m in k
1.026 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k
1.026 * [taylor]: Taking taylor expansion of (/ -1 k) in k
1.026 * [taylor]: Taking taylor expansion of -1 in k
1.026 * [taylor]: Taking taylor expansion of k in k
1.027 * [taylor]: Taking taylor expansion of (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2)))) in k
1.027 * [taylor]: Taking taylor expansion of a in k
1.027 * [taylor]: Taking taylor expansion of (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2))) in k
1.027 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) in k
1.027 * [taylor]: Taking taylor expansion of (* 10.0 (/ (pow (cbrt -1) 3) k)) in k
1.027 * [taylor]: Taking taylor expansion of 10.0 in k
1.027 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) k) in k
1.027 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in k
1.027 * [taylor]: Taking taylor expansion of (cbrt -1) in k
1.027 * [taylor]: Taking taylor expansion of -1 in k
1.028 * [taylor]: Taking taylor expansion of k in k
1.031 * [taylor]: Taking taylor expansion of 1.0 in k
1.031 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (pow k 2)) in k
1.031 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in k
1.031 * [taylor]: Taking taylor expansion of (cbrt -1) in k
1.031 * [taylor]: Taking taylor expansion of -1 in k
1.032 * [taylor]: Taking taylor expansion of (pow k 2) in k
1.032 * [taylor]: Taking taylor expansion of k in k
1.036 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2)))))) in a
1.036 * [taylor]: Taking taylor expansion of -1 in a
1.036 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2))))) in a
1.036 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a
1.036 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a
1.036 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a
1.036 * [taylor]: Taking taylor expansion of (/ -1 m) in a
1.036 * [taylor]: Taking taylor expansion of -1 in a
1.036 * [taylor]: Taking taylor expansion of m in a
1.036 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a
1.036 * [taylor]: Taking taylor expansion of (/ -1 k) in a
1.036 * [taylor]: Taking taylor expansion of -1 in a
1.036 * [taylor]: Taking taylor expansion of k in a
1.036 * [taylor]: Taking taylor expansion of (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2)))) in a
1.036 * [taylor]: Taking taylor expansion of a in a
1.036 * [taylor]: Taking taylor expansion of (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2))) in a
1.036 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) in a
1.036 * [taylor]: Taking taylor expansion of (* 10.0 (/ (pow (cbrt -1) 3) k)) in a
1.036 * [taylor]: Taking taylor expansion of 10.0 in a
1.036 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) k) in a
1.036 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
1.036 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.036 * [taylor]: Taking taylor expansion of -1 in a
1.037 * [taylor]: Taking taylor expansion of k in a
1.040 * [taylor]: Taking taylor expansion of 1.0 in a
1.040 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (pow k 2)) in a
1.040 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
1.040 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.040 * [taylor]: Taking taylor expansion of -1 in a
1.040 * [taylor]: Taking taylor expansion of (pow k 2) in a
1.040 * [taylor]: Taking taylor expansion of k in a
1.047 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2)))))) in a
1.047 * [taylor]: Taking taylor expansion of -1 in a
1.047 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2))))) in a
1.047 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a
1.047 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a
1.047 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a
1.047 * [taylor]: Taking taylor expansion of (/ -1 m) in a
1.047 * [taylor]: Taking taylor expansion of -1 in a
1.047 * [taylor]: Taking taylor expansion of m in a
1.047 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a
1.047 * [taylor]: Taking taylor expansion of (/ -1 k) in a
1.047 * [taylor]: Taking taylor expansion of -1 in a
1.047 * [taylor]: Taking taylor expansion of k in a
1.047 * [taylor]: Taking taylor expansion of (* a (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2)))) in a
1.047 * [taylor]: Taking taylor expansion of a in a
1.047 * [taylor]: Taking taylor expansion of (- (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) (/ (pow (cbrt -1) 3) (pow k 2))) in a
1.047 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ (pow (cbrt -1) 3) k)) 1.0) in a
1.047 * [taylor]: Taking taylor expansion of (* 10.0 (/ (pow (cbrt -1) 3) k)) in a
1.047 * [taylor]: Taking taylor expansion of 10.0 in a
1.048 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) k) in a
1.048 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
1.048 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.048 * [taylor]: Taking taylor expansion of -1 in a
1.048 * [taylor]: Taking taylor expansion of k in a
1.051 * [taylor]: Taking taylor expansion of 1.0 in a
1.051 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (pow k 2)) in a
1.051 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in a
1.051 * [taylor]: Taking taylor expansion of (cbrt -1) in a
1.051 * [taylor]: Taking taylor expansion of -1 in a
1.051 * [taylor]: Taking taylor expansion of (pow k 2) in a
1.051 * [taylor]: Taking taylor expansion of k in a
1.058 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in k
1.058 * [taylor]: Taking taylor expansion of -1 in k
1.058 * [taylor]: Taking taylor expansion of (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
1.059 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 k)) m))) in k
1.059 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 k)) m)) in k
1.059 * [taylor]: Taking taylor expansion of -1 in k
1.059 * [taylor]: Taking taylor expansion of (/ (log (/ -1 k)) m) in k
1.059 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k
1.059 * [taylor]: Taking taylor expansion of (/ -1 k) in k
1.059 * [taylor]: Taking taylor expansion of -1 in k
1.059 * [taylor]: Taking taylor expansion of k in k
1.059 * [taylor]: Taking taylor expansion of m in k
1.061 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
1.061 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
1.061 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
1.061 * [taylor]: Taking taylor expansion of (pow k 2) in k
1.061 * [taylor]: Taking taylor expansion of k in k
1.061 * [taylor]: Taking taylor expansion of 1.0 in k
1.061 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
1.061 * [taylor]: Taking taylor expansion of 10.0 in k
1.061 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.061 * [taylor]: Taking taylor expansion of k in k
1.063 * [taylor]: Taking taylor expansion of (* -1 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
1.063 * [taylor]: Taking taylor expansion of -1 in m
1.063 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
1.063 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
1.063 * [taylor]: Taking taylor expansion of -1 in m
1.063 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
1.063 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
1.063 * [taylor]: Taking taylor expansion of (log -1) in m
1.063 * [taylor]: Taking taylor expansion of -1 in m
1.063 * [taylor]: Taking taylor expansion of (log k) in m
1.063 * [taylor]: Taking taylor expansion of k in m
1.063 * [taylor]: Taking taylor expansion of m in m
1.079 * [taylor]: Taking taylor expansion of 0 in k
1.079 * [taylor]: Taking taylor expansion of 0 in m
1.085 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m
1.085 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
1.085 * [taylor]: Taking taylor expansion of 10.0 in m
1.085 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
1.086 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
1.086 * [taylor]: Taking taylor expansion of -1 in m
1.086 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
1.086 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
1.086 * [taylor]: Taking taylor expansion of (log -1) in m
1.086 * [taylor]: Taking taylor expansion of -1 in m
1.086 * [taylor]: Taking taylor expansion of (log k) in m
1.086 * [taylor]: Taking taylor expansion of k in m
1.086 * [taylor]: Taking taylor expansion of m in m
1.099 * [taylor]: Taking taylor expansion of 0 in k
1.099 * [taylor]: Taking taylor expansion of 0 in m
1.099 * [taylor]: Taking taylor expansion of 0 in m
1.108 * [taylor]: Taking taylor expansion of (- (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m
1.108 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
1.108 * [taylor]: Taking taylor expansion of 99.0 in m
1.108 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
1.108 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
1.108 * [taylor]: Taking taylor expansion of -1 in m
1.108 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
1.108 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
1.108 * [taylor]: Taking taylor expansion of (log -1) in m
1.108 * [taylor]: Taking taylor expansion of -1 in m
1.108 * [taylor]: Taking taylor expansion of (log k) in m
1.108 * [taylor]: Taking taylor expansion of k in m
1.108 * [taylor]: Taking taylor expansion of m in m
1.112 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
1.112 * [approximate]: Taking taylor expansion of (pow k 1/3) in (k) around 0
1.112 * [taylor]: Taking taylor expansion of (pow k 1/3) in k
1.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k
1.112 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k
1.112 * [taylor]: Taking taylor expansion of 1/3 in k
1.112 * [taylor]: Taking taylor expansion of (log k) in k
1.112 * [taylor]: Taking taylor expansion of k in k
1.113 * [taylor]: Taking taylor expansion of (pow k 1/3) in k
1.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k
1.113 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k
1.113 * [taylor]: Taking taylor expansion of 1/3 in k
1.113 * [taylor]: Taking taylor expansion of (log k) in k
1.113 * [taylor]: Taking taylor expansion of k in k
1.165 * [approximate]: Taking taylor expansion of (pow (/ 1 k) 1/3) in (k) around 0
1.165 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.165 * [taylor]: Taking taylor expansion of 1/3 in k
1.165 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.165 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.165 * [taylor]: Taking taylor expansion of k in k
1.166 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.166 * [taylor]: Taking taylor expansion of 1/3 in k
1.166 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.166 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.166 * [taylor]: Taking taylor expansion of k in k
1.215 * [approximate]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in (k) around 0
1.215 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k
1.215 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.215 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.215 * [taylor]: Taking taylor expansion of 1/3 in k
1.215 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.215 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.215 * [taylor]: Taking taylor expansion of k in k
1.216 * [taylor]: Taking taylor expansion of (cbrt -1) in k
1.216 * [taylor]: Taking taylor expansion of -1 in k
1.217 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k
1.217 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.217 * [taylor]: Taking taylor expansion of 1/3 in k
1.217 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.217 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.217 * [taylor]: Taking taylor expansion of k in k
1.218 * [taylor]: Taking taylor expansion of (cbrt -1) in k
1.218 * [taylor]: Taking taylor expansion of -1 in k
1.281 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
1.282 * [approximate]: Taking taylor expansion of (pow k 1/3) in (k) around 0
1.282 * [taylor]: Taking taylor expansion of (pow k 1/3) in k
1.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k
1.282 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k
1.282 * [taylor]: Taking taylor expansion of 1/3 in k
1.282 * [taylor]: Taking taylor expansion of (log k) in k
1.282 * [taylor]: Taking taylor expansion of k in k
1.282 * [taylor]: Taking taylor expansion of (pow k 1/3) in k
1.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k
1.282 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k
1.282 * [taylor]: Taking taylor expansion of 1/3 in k
1.282 * [taylor]: Taking taylor expansion of (log k) in k
1.282 * [taylor]: Taking taylor expansion of k in k
1.335 * [approximate]: Taking taylor expansion of (pow (/ 1 k) 1/3) in (k) around 0
1.335 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.335 * [taylor]: Taking taylor expansion of 1/3 in k
1.335 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.335 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.335 * [taylor]: Taking taylor expansion of k in k
1.336 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.336 * [taylor]: Taking taylor expansion of 1/3 in k
1.336 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.336 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.336 * [taylor]: Taking taylor expansion of k in k
1.391 * [approximate]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in (k) around 0
1.391 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k
1.391 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.391 * [taylor]: Taking taylor expansion of 1/3 in k
1.391 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.391 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.391 * [taylor]: Taking taylor expansion of k in k
1.392 * [taylor]: Taking taylor expansion of (cbrt -1) in k
1.392 * [taylor]: Taking taylor expansion of -1 in k
1.392 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k
1.392 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.392 * [taylor]: Taking taylor expansion of 1/3 in k
1.392 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.392 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.392 * [taylor]: Taking taylor expansion of k in k
1.393 * [taylor]: Taking taylor expansion of (cbrt -1) in k
1.393 * [taylor]: Taking taylor expansion of -1 in k
1.451 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1)
1.451 * [approximate]: Taking taylor expansion of (pow k 1/3) in (k) around 0
1.451 * [taylor]: Taking taylor expansion of (pow k 1/3) in k
1.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k
1.451 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k
1.451 * [taylor]: Taking taylor expansion of 1/3 in k
1.451 * [taylor]: Taking taylor expansion of (log k) in k
1.451 * [taylor]: Taking taylor expansion of k in k
1.451 * [taylor]: Taking taylor expansion of (pow k 1/3) in k
1.451 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log k))) in k
1.451 * [taylor]: Taking taylor expansion of (* 1/3 (log k)) in k
1.451 * [taylor]: Taking taylor expansion of 1/3 in k
1.451 * [taylor]: Taking taylor expansion of (log k) in k
1.452 * [taylor]: Taking taylor expansion of k in k
1.504 * [approximate]: Taking taylor expansion of (pow (/ 1 k) 1/3) in (k) around 0
1.504 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.504 * [taylor]: Taking taylor expansion of 1/3 in k
1.504 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.504 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.504 * [taylor]: Taking taylor expansion of k in k
1.505 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.505 * [taylor]: Taking taylor expansion of 1/3 in k
1.505 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.505 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.505 * [taylor]: Taking taylor expansion of k in k
1.560 * [approximate]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in (k) around 0
1.560 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k
1.560 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.560 * [taylor]: Taking taylor expansion of 1/3 in k
1.560 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.560 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.560 * [taylor]: Taking taylor expansion of k in k
1.561 * [taylor]: Taking taylor expansion of (cbrt -1) in k
1.561 * [taylor]: Taking taylor expansion of -1 in k
1.562 * [taylor]: Taking taylor expansion of (* (pow (/ 1 k) 1/3) (cbrt -1)) in k
1.562 * [taylor]: Taking taylor expansion of (pow (/ 1 k) 1/3) in k
1.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 k)))) in k
1.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 k))) in k
1.562 * [taylor]: Taking taylor expansion of 1/3 in k
1.562 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
1.562 * [taylor]: Taking taylor expansion of (/ 1 k) in k
1.562 * [taylor]: Taking taylor expansion of k in k
1.563 * [taylor]: Taking taylor expansion of (cbrt -1) in k
1.563 * [taylor]: Taking taylor expansion of -1 in k
1.628 * * * [progress]: simplifying candidates
1.629 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log a) (* (log k) m)) (log (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (- (+ (log a) (* (log k) m)) (log (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (- (+ (log a) (log (pow k m))) (log (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (- (log (* a (pow k m))) (log (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (log (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (exp (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (/ (* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m))) (* (* (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (/ (* (* (* a (pow k m)) (* a (pow k m))) (* a (pow k m))) (* (* (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (* (cbrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))) (cbrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))))
  (cbrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (* (* (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))) (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (sqrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (sqrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (- (* a (pow k m)))
  (- (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))
  (/ a (* (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))))
  (/ (pow k m) (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (/ a (sqrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (/ (pow k m) (sqrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (/ a 1)
  (/ (pow k m) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))
  (/ 1 (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))
  (/ (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))) (* a (pow k m)))
  (/ (* a (pow k m)) (* (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))))
  (/ (* a (pow k m)) (sqrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (/ (* a (pow k m)) 1)
  (/ (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))) (pow k m))
  (/ (* a (pow k m)) (+ (pow 1.0 3) (pow (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))) 3)))
  (/ (* a (pow k m)) (- (* 1.0 1.0) (* (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))) (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (log (cbrt k))
  (exp (cbrt k))
  (cbrt (* (cbrt k) (cbrt k)))
  (cbrt (cbrt k))
  (cbrt (sqrt k))
  (cbrt (sqrt k))
  (cbrt 1)
  (cbrt k)
  (* (cbrt (cbrt k)) (cbrt (cbrt k)))
  (cbrt (cbrt k))
  (* (* (cbrt k) (cbrt k)) (cbrt k))
  (sqrt (cbrt k))
  (sqrt (cbrt k))
  (log (cbrt k))
  (exp (cbrt k))
  (cbrt (* (cbrt k) (cbrt k)))
  (cbrt (cbrt k))
  (cbrt (sqrt k))
  (cbrt (sqrt k))
  (cbrt 1)
  (cbrt k)
  (* (cbrt (cbrt k)) (cbrt (cbrt k)))
  (cbrt (cbrt k))
  (* (* (cbrt k) (cbrt k)) (cbrt k))
  (sqrt (cbrt k))
  (sqrt (cbrt k))
  (log (cbrt k))
  (exp (cbrt k))
  (cbrt (* (cbrt k) (cbrt k)))
  (cbrt (cbrt k))
  (cbrt (sqrt k))
  (cbrt (sqrt k))
  (cbrt 1)
  (cbrt k)
  (* (cbrt (cbrt k)) (cbrt (cbrt k)))
  (cbrt (cbrt k))
  (* (* (cbrt k) (cbrt k)) (cbrt k))
  (sqrt (cbrt k))
  (sqrt (cbrt k))
  (- (+ (* 1.0 (* a (* m (log k)))) (* 1.0 a)) (* 10.0 (* k a)))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (- (+ (* 99.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))
  (pow k 1/3)
  (pow (/ 1 k) -1/3)
  (* (pow (* -1 k) 1/3) (cbrt -1))
  (pow k 1/3)
  (pow (/ 1 k) -1/3)
  (* (pow (* -1 k) 1/3) (cbrt -1))
  (pow k 1/3)
  (pow (/ 1 k) -1/3)
  (* (pow (* -1 k) 1/3) (cbrt -1))
1.634 * * [simplify]: iteration  0 :  351  enodes  (cost  595 )
1.641 * * [simplify]: iteration  1 :  1590  enodes  (cost  515 )
1.674 * * [simplify]: iteration  2 :  5002  enodes  (cost  504 )
1.676 * [simplify]: Simplified to:
   (log (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (log (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (log (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (log (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (log (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (exp (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (pow (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) 3)
  (pow (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) 3)
  (* (cbrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))) (cbrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))))
  (cbrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (pow (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) 3)
  (sqrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (sqrt (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (- (* a (pow k m)))
  (+ (* (- (pow (pow k 1/3) 3)) (+ 10.0 k)) (- 1.0))
  (/ a (* (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))))
  (/ (pow k m) (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (/ a (sqrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (/ (pow k m) (sqrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  a
  (/ (pow k m) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))
  (/ 1 (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))
  (/ (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))) (* a (pow k m)))
  (/ (* a (pow k m)) (* (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))) (cbrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))))))
  (/ (* a (pow k m)) (sqrt (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))
  (* a (pow k m))
  (/ (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))) (pow k m))
  (/ (* a (pow k m)) (+ (pow 1.0 3) (pow (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))) 3)))
  (* (/ (pow k m) (+ (* (* (- (pow (pow k 1/3) 3)) (+ 10.0 k)) (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k)))) (* 1.0 1.0))) a)
  (log (cbrt k))
  (exp (cbrt k))
  (cbrt (* (cbrt k) (cbrt k)))
  (cbrt (cbrt k))
  (cbrt (sqrt k))
  (cbrt (sqrt k))
  (cbrt 1)
  (pow k 1/3)
  (* (cbrt (cbrt k)) (cbrt (cbrt k)))
  (cbrt (cbrt k))
  k
  (sqrt (cbrt k))
  (sqrt (cbrt k))
  (log (cbrt k))
  (exp (cbrt k))
  (cbrt (* (cbrt k) (cbrt k)))
  (cbrt (cbrt k))
  (cbrt (sqrt k))
  (cbrt (sqrt k))
  (cbrt 1)
  (pow k 1/3)
  (* (cbrt (cbrt k)) (cbrt (cbrt k)))
  (cbrt (cbrt k))
  k
  (sqrt (cbrt k))
  (sqrt (cbrt k))
  (log (cbrt k))
  (exp (cbrt k))
  (cbrt (* (cbrt k) (cbrt k)))
  (cbrt (cbrt k))
  (cbrt (sqrt k))
  (cbrt (sqrt k))
  (cbrt 1)
  (pow k 1/3)
  (* (cbrt (cbrt k)) (cbrt (cbrt k)))
  (cbrt (cbrt k))
  k
  (sqrt (cbrt k))
  (sqrt (cbrt k))
  (+ (* a (- 1.0 (* 10.0 k))) (* 1.0 (* a (* m (log k)))))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (pow k 1/3)
  (pow (/ 1 k) -1/3)
  (* (pow (* -1 k) 1/3) (cbrt -1))
  (pow k 1/3)
  (pow (/ 1 k) -1/3)
  (* (pow (* -1 k) 1/3) (cbrt -1))
  (pow k 1/3)
  (pow (/ 1 k) -1/3)
  (* (pow (* -1 k) 1/3) (cbrt -1))
1.677 * * * [progress]: adding candidates to table
1.879 * * [progress]: iteration 4 / 4
1.879 * * * [progress]: picking best candidate
1.881 * * * * [pick]: Picked  #<alt (λ (a k m) (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))>
1.881 * * * [progress]: localizing error
1.895 * * * [progress]: generating rewritten candidates
1.895 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.915 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.939 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
2.010 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
2.037 * * * [progress]: generating series expansions
2.037 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
2.037 * [approximate]: Taking taylor expansion of (sqrt (+ (* 10.0 k) (+ (pow k 2) 1.0))) in (k) around 0
2.037 * [taylor]: Taking taylor expansion of (sqrt (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
2.037 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
2.037 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
2.037 * [taylor]: Taking taylor expansion of 10.0 in k
2.037 * [taylor]: Taking taylor expansion of k in k
2.037 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
2.037 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.037 * [taylor]: Taking taylor expansion of k in k
2.037 * [taylor]: Taking taylor expansion of 1.0 in k
2.041 * [taylor]: Taking taylor expansion of (sqrt (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
2.041 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
2.041 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
2.041 * [taylor]: Taking taylor expansion of 10.0 in k
2.041 * [taylor]: Taking taylor expansion of k in k
2.041 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
2.041 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.041 * [taylor]: Taking taylor expansion of k in k
2.041 * [taylor]: Taking taylor expansion of 1.0 in k
2.061 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in (k) around 0
2.061 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
2.061 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
2.061 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.061 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.061 * [taylor]: Taking taylor expansion of k in k
2.061 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
2.061 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.061 * [taylor]: Taking taylor expansion of 10.0 in k
2.061 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.061 * [taylor]: Taking taylor expansion of k in k
2.062 * [taylor]: Taking taylor expansion of 1.0 in k
2.064 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
2.064 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
2.064 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.064 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.064 * [taylor]: Taking taylor expansion of k in k
2.065 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
2.065 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.065 * [taylor]: Taking taylor expansion of 10.0 in k
2.065 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.065 * [taylor]: Taking taylor expansion of k in k
2.065 * [taylor]: Taking taylor expansion of 1.0 in k
2.071 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in (k) around 0
2.071 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
2.071 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
2.071 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
2.071 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.071 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.071 * [taylor]: Taking taylor expansion of k in k
2.072 * [taylor]: Taking taylor expansion of 1.0 in k
2.072 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.072 * [taylor]: Taking taylor expansion of 10.0 in k
2.072 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.072 * [taylor]: Taking taylor expansion of k in k
2.075 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
2.075 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
2.076 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
2.076 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.076 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.076 * [taylor]: Taking taylor expansion of k in k
2.076 * [taylor]: Taking taylor expansion of 1.0 in k
2.076 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.076 * [taylor]: Taking taylor expansion of 10.0 in k
2.076 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.076 * [taylor]: Taking taylor expansion of k in k
2.084 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
2.084 * [approximate]: Taking taylor expansion of (sqrt (+ (* 10.0 k) (+ (pow k 2) 1.0))) in (k) around 0
2.084 * [taylor]: Taking taylor expansion of (sqrt (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
2.084 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
2.084 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
2.084 * [taylor]: Taking taylor expansion of 10.0 in k
2.084 * [taylor]: Taking taylor expansion of k in k
2.084 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
2.084 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.084 * [taylor]: Taking taylor expansion of k in k
2.084 * [taylor]: Taking taylor expansion of 1.0 in k
2.087 * [taylor]: Taking taylor expansion of (sqrt (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
2.087 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
2.087 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
2.087 * [taylor]: Taking taylor expansion of 10.0 in k
2.087 * [taylor]: Taking taylor expansion of k in k
2.087 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
2.087 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.087 * [taylor]: Taking taylor expansion of k in k
2.087 * [taylor]: Taking taylor expansion of 1.0 in k
2.103 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in (k) around 0
2.103 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
2.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
2.103 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.103 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.103 * [taylor]: Taking taylor expansion of k in k
2.104 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
2.104 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.104 * [taylor]: Taking taylor expansion of 10.0 in k
2.104 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.104 * [taylor]: Taking taylor expansion of k in k
2.104 * [taylor]: Taking taylor expansion of 1.0 in k
2.107 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
2.107 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
2.107 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.107 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.107 * [taylor]: Taking taylor expansion of k in k
2.107 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
2.107 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.107 * [taylor]: Taking taylor expansion of 10.0 in k
2.107 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.107 * [taylor]: Taking taylor expansion of k in k
2.108 * [taylor]: Taking taylor expansion of 1.0 in k
2.114 * [approximate]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in (k) around 0
2.114 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
2.114 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
2.114 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
2.114 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.114 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.114 * [taylor]: Taking taylor expansion of k in k
2.115 * [taylor]: Taking taylor expansion of 1.0 in k
2.115 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.115 * [taylor]: Taking taylor expansion of 10.0 in k
2.115 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.115 * [taylor]: Taking taylor expansion of k in k
2.118 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
2.118 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
2.118 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
2.118 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.118 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.118 * [taylor]: Taking taylor expansion of k in k
2.119 * [taylor]: Taking taylor expansion of 1.0 in k
2.119 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.119 * [taylor]: Taking taylor expansion of 10.0 in k
2.119 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.119 * [taylor]: Taking taylor expansion of k in k
2.126 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.127 * [approximate]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in (a k m) around 0
2.127 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in m
2.127 * [taylor]: Taking taylor expansion of (* a (pow k m)) in m
2.127 * [taylor]: Taking taylor expansion of a in m
2.127 * [taylor]: Taking taylor expansion of (pow k m) in m
2.127 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
2.127 * [taylor]: Taking taylor expansion of (* m (log k)) in m
2.127 * [taylor]: Taking taylor expansion of m in m
2.127 * [taylor]: Taking taylor expansion of (log k) in m
2.127 * [taylor]: Taking taylor expansion of k in m
2.128 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in m
2.128 * [taylor]: Taking taylor expansion of (* 10.0 k) in m
2.128 * [taylor]: Taking taylor expansion of 10.0 in m
2.128 * [taylor]: Taking taylor expansion of k in m
2.128 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in m
2.128 * [taylor]: Taking taylor expansion of (pow k 2) in m
2.128 * [taylor]: Taking taylor expansion of k in m
2.128 * [taylor]: Taking taylor expansion of 1.0 in m
2.128 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
2.128 * [taylor]: Taking taylor expansion of (* a (pow k m)) in k
2.128 * [taylor]: Taking taylor expansion of a in k
2.128 * [taylor]: Taking taylor expansion of (pow k m) in k
2.128 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k
2.128 * [taylor]: Taking taylor expansion of (* m (log k)) in k
2.128 * [taylor]: Taking taylor expansion of m in k
2.128 * [taylor]: Taking taylor expansion of (log k) in k
2.128 * [taylor]: Taking taylor expansion of k in k
2.129 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
2.129 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
2.129 * [taylor]: Taking taylor expansion of 10.0 in k
2.129 * [taylor]: Taking taylor expansion of k in k
2.129 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
2.129 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.129 * [taylor]: Taking taylor expansion of k in k
2.129 * [taylor]: Taking taylor expansion of 1.0 in k
2.130 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in a
2.130 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a
2.130 * [taylor]: Taking taylor expansion of a in a
2.130 * [taylor]: Taking taylor expansion of (pow k m) in a
2.130 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a
2.130 * [taylor]: Taking taylor expansion of (* m (log k)) in a
2.130 * [taylor]: Taking taylor expansion of m in a
2.130 * [taylor]: Taking taylor expansion of (log k) in a
2.130 * [taylor]: Taking taylor expansion of k in a
2.130 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in a
2.130 * [taylor]: Taking taylor expansion of (* 10.0 k) in a
2.130 * [taylor]: Taking taylor expansion of 10.0 in a
2.130 * [taylor]: Taking taylor expansion of k in a
2.130 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in a
2.130 * [taylor]: Taking taylor expansion of (pow k 2) in a
2.130 * [taylor]: Taking taylor expansion of k in a
2.130 * [taylor]: Taking taylor expansion of 1.0 in a
2.132 * [taylor]: Taking taylor expansion of (/ (* a (pow k m)) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in a
2.132 * [taylor]: Taking taylor expansion of (* a (pow k m)) in a
2.132 * [taylor]: Taking taylor expansion of a in a
2.132 * [taylor]: Taking taylor expansion of (pow k m) in a
2.132 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in a
2.132 * [taylor]: Taking taylor expansion of (* m (log k)) in a
2.132 * [taylor]: Taking taylor expansion of m in a
2.132 * [taylor]: Taking taylor expansion of (log k) in a
2.132 * [taylor]: Taking taylor expansion of k in a
2.132 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in a
2.132 * [taylor]: Taking taylor expansion of (* 10.0 k) in a
2.132 * [taylor]: Taking taylor expansion of 10.0 in a
2.132 * [taylor]: Taking taylor expansion of k in a
2.132 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in a
2.132 * [taylor]: Taking taylor expansion of (pow k 2) in a
2.132 * [taylor]: Taking taylor expansion of k in a
2.132 * [taylor]: Taking taylor expansion of 1.0 in a
2.134 * [taylor]: Taking taylor expansion of (/ (pow k m) (+ (* 10.0 k) (+ (pow k 2) 1.0))) in k
2.134 * [taylor]: Taking taylor expansion of (pow k m) in k
2.134 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in k
2.134 * [taylor]: Taking taylor expansion of (* m (log k)) in k
2.134 * [taylor]: Taking taylor expansion of m in k
2.134 * [taylor]: Taking taylor expansion of (log k) in k
2.134 * [taylor]: Taking taylor expansion of k in k
2.135 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
2.135 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
2.135 * [taylor]: Taking taylor expansion of 10.0 in k
2.135 * [taylor]: Taking taylor expansion of k in k
2.135 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
2.135 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.135 * [taylor]: Taking taylor expansion of k in k
2.135 * [taylor]: Taking taylor expansion of 1.0 in k
2.135 * [taylor]: Taking taylor expansion of (* 1.0 (pow k m)) in m
2.135 * [taylor]: Taking taylor expansion of 1.0 in m
2.135 * [taylor]: Taking taylor expansion of (pow k m) in m
2.135 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
2.135 * [taylor]: Taking taylor expansion of (* m (log k)) in m
2.136 * [taylor]: Taking taylor expansion of m in m
2.136 * [taylor]: Taking taylor expansion of (log k) in m
2.136 * [taylor]: Taking taylor expansion of k in m
2.146 * [taylor]: Taking taylor expansion of 0 in k
2.146 * [taylor]: Taking taylor expansion of 0 in m
2.149 * [taylor]: Taking taylor expansion of (- (* 10.0 (pow k m))) in m
2.149 * [taylor]: Taking taylor expansion of (* 10.0 (pow k m)) in m
2.150 * [taylor]: Taking taylor expansion of 10.0 in m
2.150 * [taylor]: Taking taylor expansion of (pow k m) in m
2.150 * [taylor]: Taking taylor expansion of (exp (* m (log k))) in m
2.150 * [taylor]: Taking taylor expansion of (* m (log k)) in m
2.150 * [taylor]: Taking taylor expansion of m in m
2.150 * [taylor]: Taking taylor expansion of (log k) in m
2.150 * [taylor]: Taking taylor expansion of k in m
2.152 * [approximate]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in (a k m) around 0
2.152 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in m
2.152 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in m
2.152 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in m
2.152 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in m
2.152 * [taylor]: Taking taylor expansion of (/ 1 m) in m
2.152 * [taylor]: Taking taylor expansion of m in m
2.153 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in m
2.153 * [taylor]: Taking taylor expansion of (/ 1 k) in m
2.153 * [taylor]: Taking taylor expansion of k in m
2.153 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in m
2.153 * [taylor]: Taking taylor expansion of a in m
2.153 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in m
2.153 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in m
2.153 * [taylor]: Taking taylor expansion of (pow k 2) in m
2.153 * [taylor]: Taking taylor expansion of k in m
2.153 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in m
2.153 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in m
2.153 * [taylor]: Taking taylor expansion of 10.0 in m
2.153 * [taylor]: Taking taylor expansion of (/ 1 k) in m
2.153 * [taylor]: Taking taylor expansion of k in m
2.153 * [taylor]: Taking taylor expansion of 1.0 in m
2.154 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in k
2.154 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in k
2.154 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in k
2.154 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in k
2.154 * [taylor]: Taking taylor expansion of (/ 1 m) in k
2.154 * [taylor]: Taking taylor expansion of m in k
2.154 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
2.154 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.154 * [taylor]: Taking taylor expansion of k in k
2.155 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
2.155 * [taylor]: Taking taylor expansion of a in k
2.155 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
2.155 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.155 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.155 * [taylor]: Taking taylor expansion of k in k
2.155 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
2.155 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.155 * [taylor]: Taking taylor expansion of 10.0 in k
2.155 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.155 * [taylor]: Taking taylor expansion of k in k
2.155 * [taylor]: Taking taylor expansion of 1.0 in k
2.156 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in a
2.156 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a
2.156 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a
2.156 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a
2.156 * [taylor]: Taking taylor expansion of (/ 1 m) in a
2.156 * [taylor]: Taking taylor expansion of m in a
2.156 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a
2.156 * [taylor]: Taking taylor expansion of (/ 1 k) in a
2.156 * [taylor]: Taking taylor expansion of k in a
2.156 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in a
2.156 * [taylor]: Taking taylor expansion of a in a
2.156 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in a
2.156 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
2.156 * [taylor]: Taking taylor expansion of (pow k 2) in a
2.156 * [taylor]: Taking taylor expansion of k in a
2.156 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in a
2.156 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
2.156 * [taylor]: Taking taylor expansion of 10.0 in a
2.156 * [taylor]: Taking taylor expansion of (/ 1 k) in a
2.156 * [taylor]: Taking taylor expansion of k in a
2.156 * [taylor]: Taking taylor expansion of 1.0 in a
2.158 * [taylor]: Taking taylor expansion of (/ (pow (/ 1 k) (/ 1 m)) (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)))) in a
2.158 * [taylor]: Taking taylor expansion of (pow (/ 1 k) (/ 1 m)) in a
2.158 * [taylor]: Taking taylor expansion of (exp (* (/ 1 m) (log (/ 1 k)))) in a
2.158 * [taylor]: Taking taylor expansion of (* (/ 1 m) (log (/ 1 k))) in a
2.158 * [taylor]: Taking taylor expansion of (/ 1 m) in a
2.158 * [taylor]: Taking taylor expansion of m in a
2.158 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in a
2.158 * [taylor]: Taking taylor expansion of (/ 1 k) in a
2.158 * [taylor]: Taking taylor expansion of k in a
2.159 * [taylor]: Taking taylor expansion of (* a (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in a
2.159 * [taylor]: Taking taylor expansion of a in a
2.159 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in a
2.159 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
2.159 * [taylor]: Taking taylor expansion of (pow k 2) in a
2.159 * [taylor]: Taking taylor expansion of k in a
2.159 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in a
2.159 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
2.159 * [taylor]: Taking taylor expansion of 10.0 in a
2.159 * [taylor]: Taking taylor expansion of (/ 1 k) in a
2.159 * [taylor]: Taking taylor expansion of k in a
2.159 * [taylor]: Taking taylor expansion of 1.0 in a
2.161 * [taylor]: Taking taylor expansion of (/ (exp (/ (log (/ 1 k)) m)) (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0))) in k
2.161 * [taylor]: Taking taylor expansion of (exp (/ (log (/ 1 k)) m)) in k
2.161 * [taylor]: Taking taylor expansion of (/ (log (/ 1 k)) m) in k
2.161 * [taylor]: Taking taylor expansion of (log (/ 1 k)) in k
2.161 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.161 * [taylor]: Taking taylor expansion of k in k
2.161 * [taylor]: Taking taylor expansion of m in k
2.162 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
2.162 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.162 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.162 * [taylor]: Taking taylor expansion of k in k
2.162 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
2.162 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.162 * [taylor]: Taking taylor expansion of 10.0 in k
2.162 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.162 * [taylor]: Taking taylor expansion of k in k
2.163 * [taylor]: Taking taylor expansion of 1.0 in k
2.163 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
2.163 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
2.163 * [taylor]: Taking taylor expansion of -1 in m
2.163 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
2.163 * [taylor]: Taking taylor expansion of (log k) in m
2.163 * [taylor]: Taking taylor expansion of k in m
2.163 * [taylor]: Taking taylor expansion of m in m
2.167 * [taylor]: Taking taylor expansion of 0 in k
2.167 * [taylor]: Taking taylor expansion of 0 in m
2.170 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (log k) m))))) in m
2.170 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (log k) m)))) in m
2.170 * [taylor]: Taking taylor expansion of 10.0 in m
2.170 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
2.170 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
2.170 * [taylor]: Taking taylor expansion of -1 in m
2.170 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
2.170 * [taylor]: Taking taylor expansion of (log k) in m
2.170 * [taylor]: Taking taylor expansion of k in m
2.171 * [taylor]: Taking taylor expansion of m in m
2.176 * [taylor]: Taking taylor expansion of 0 in k
2.176 * [taylor]: Taking taylor expansion of 0 in m
2.176 * [taylor]: Taking taylor expansion of 0 in m
2.183 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (log k) m)))) in m
2.183 * [taylor]: Taking taylor expansion of 99.0 in m
2.183 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log k) m))) in m
2.183 * [taylor]: Taking taylor expansion of (* -1 (/ (log k) m)) in m
2.183 * [taylor]: Taking taylor expansion of -1 in m
2.183 * [taylor]: Taking taylor expansion of (/ (log k) m) in m
2.183 * [taylor]: Taking taylor expansion of (log k) in m
2.183 * [taylor]: Taking taylor expansion of k in m
2.183 * [taylor]: Taking taylor expansion of m in m
2.185 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in (a k m) around 0
2.185 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in m
2.185 * [taylor]: Taking taylor expansion of -1 in m
2.185 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in m
2.185 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in m
2.185 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in m
2.185 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in m
2.185 * [taylor]: Taking taylor expansion of (/ -1 m) in m
2.185 * [taylor]: Taking taylor expansion of -1 in m
2.185 * [taylor]: Taking taylor expansion of m in m
2.185 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in m
2.185 * [taylor]: Taking taylor expansion of (/ -1 k) in m
2.185 * [taylor]: Taking taylor expansion of -1 in m
2.185 * [taylor]: Taking taylor expansion of k in m
2.186 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in m
2.186 * [taylor]: Taking taylor expansion of a in m
2.186 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in m
2.186 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in m
2.186 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in m
2.186 * [taylor]: Taking taylor expansion of (pow k 2) in m
2.186 * [taylor]: Taking taylor expansion of k in m
2.186 * [taylor]: Taking taylor expansion of 1.0 in m
2.186 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in m
2.186 * [taylor]: Taking taylor expansion of 10.0 in m
2.186 * [taylor]: Taking taylor expansion of (/ 1 k) in m
2.186 * [taylor]: Taking taylor expansion of k in m
2.187 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in k
2.187 * [taylor]: Taking taylor expansion of -1 in k
2.187 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in k
2.187 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in k
2.187 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in k
2.187 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in k
2.187 * [taylor]: Taking taylor expansion of (/ -1 m) in k
2.187 * [taylor]: Taking taylor expansion of -1 in k
2.187 * [taylor]: Taking taylor expansion of m in k
2.187 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k
2.187 * [taylor]: Taking taylor expansion of (/ -1 k) in k
2.187 * [taylor]: Taking taylor expansion of -1 in k
2.187 * [taylor]: Taking taylor expansion of k in k
2.188 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
2.188 * [taylor]: Taking taylor expansion of a in k
2.188 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
2.188 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
2.188 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.188 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.188 * [taylor]: Taking taylor expansion of k in k
2.189 * [taylor]: Taking taylor expansion of 1.0 in k
2.189 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.189 * [taylor]: Taking taylor expansion of 10.0 in k
2.189 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.189 * [taylor]: Taking taylor expansion of k in k
2.190 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in a
2.190 * [taylor]: Taking taylor expansion of -1 in a
2.190 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in a
2.190 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a
2.190 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a
2.190 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a
2.190 * [taylor]: Taking taylor expansion of (/ -1 m) in a
2.190 * [taylor]: Taking taylor expansion of -1 in a
2.190 * [taylor]: Taking taylor expansion of m in a
2.190 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a
2.190 * [taylor]: Taking taylor expansion of (/ -1 k) in a
2.190 * [taylor]: Taking taylor expansion of -1 in a
2.190 * [taylor]: Taking taylor expansion of k in a
2.190 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in a
2.190 * [taylor]: Taking taylor expansion of a in a
2.190 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in a
2.190 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in a
2.190 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
2.190 * [taylor]: Taking taylor expansion of (pow k 2) in a
2.190 * [taylor]: Taking taylor expansion of k in a
2.191 * [taylor]: Taking taylor expansion of 1.0 in a
2.191 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
2.191 * [taylor]: Taking taylor expansion of 10.0 in a
2.191 * [taylor]: Taking taylor expansion of (/ 1 k) in a
2.191 * [taylor]: Taking taylor expansion of k in a
2.193 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))))) in a
2.193 * [taylor]: Taking taylor expansion of -1 in a
2.193 * [taylor]: Taking taylor expansion of (/ (pow (/ -1 k) (/ -1 m)) (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in a
2.193 * [taylor]: Taking taylor expansion of (pow (/ -1 k) (/ -1 m)) in a
2.193 * [taylor]: Taking taylor expansion of (exp (* (/ -1 m) (log (/ -1 k)))) in a
2.193 * [taylor]: Taking taylor expansion of (* (/ -1 m) (log (/ -1 k))) in a
2.193 * [taylor]: Taking taylor expansion of (/ -1 m) in a
2.193 * [taylor]: Taking taylor expansion of -1 in a
2.193 * [taylor]: Taking taylor expansion of m in a
2.193 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in a
2.193 * [taylor]: Taking taylor expansion of (/ -1 k) in a
2.193 * [taylor]: Taking taylor expansion of -1 in a
2.193 * [taylor]: Taking taylor expansion of k in a
2.193 * [taylor]: Taking taylor expansion of (* a (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in a
2.193 * [taylor]: Taking taylor expansion of a in a
2.193 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in a
2.193 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in a
2.193 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in a
2.193 * [taylor]: Taking taylor expansion of (pow k 2) in a
2.193 * [taylor]: Taking taylor expansion of k in a
2.193 * [taylor]: Taking taylor expansion of 1.0 in a
2.193 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in a
2.193 * [taylor]: Taking taylor expansion of 10.0 in a
2.193 * [taylor]: Taking taylor expansion of (/ 1 k) in a
2.193 * [taylor]: Taking taylor expansion of k in a
2.196 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))))) in k
2.196 * [taylor]: Taking taylor expansion of -1 in k
2.196 * [taylor]: Taking taylor expansion of (/ (exp (* -1 (/ (log (/ -1 k)) m))) (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k)))) in k
2.196 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (log (/ -1 k)) m))) in k
2.196 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 k)) m)) in k
2.196 * [taylor]: Taking taylor expansion of -1 in k
2.196 * [taylor]: Taking taylor expansion of (/ (log (/ -1 k)) m) in k
2.196 * [taylor]: Taking taylor expansion of (log (/ -1 k)) in k
2.196 * [taylor]: Taking taylor expansion of (/ -1 k) in k
2.196 * [taylor]: Taking taylor expansion of -1 in k
2.196 * [taylor]: Taking taylor expansion of k in k
2.196 * [taylor]: Taking taylor expansion of m in k
2.198 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
2.198 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
2.198 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.198 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.198 * [taylor]: Taking taylor expansion of k in k
2.198 * [taylor]: Taking taylor expansion of 1.0 in k
2.199 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.199 * [taylor]: Taking taylor expansion of 10.0 in k
2.199 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.199 * [taylor]: Taking taylor expansion of k in k
2.200 * [taylor]: Taking taylor expansion of (* -1 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
2.200 * [taylor]: Taking taylor expansion of -1 in m
2.200 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
2.200 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
2.200 * [taylor]: Taking taylor expansion of -1 in m
2.200 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
2.200 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
2.200 * [taylor]: Taking taylor expansion of (log -1) in m
2.200 * [taylor]: Taking taylor expansion of -1 in m
2.200 * [taylor]: Taking taylor expansion of (log k) in m
2.200 * [taylor]: Taking taylor expansion of k in m
2.200 * [taylor]: Taking taylor expansion of m in m
2.206 * [taylor]: Taking taylor expansion of 0 in k
2.206 * [taylor]: Taking taylor expansion of 0 in m
2.212 * [taylor]: Taking taylor expansion of (- (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m
2.212 * [taylor]: Taking taylor expansion of (* 10.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
2.212 * [taylor]: Taking taylor expansion of 10.0 in m
2.212 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
2.212 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
2.212 * [taylor]: Taking taylor expansion of -1 in m
2.212 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
2.212 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
2.212 * [taylor]: Taking taylor expansion of (log -1) in m
2.212 * [taylor]: Taking taylor expansion of -1 in m
2.213 * [taylor]: Taking taylor expansion of (log k) in m
2.213 * [taylor]: Taking taylor expansion of k in m
2.213 * [taylor]: Taking taylor expansion of m in m
2.222 * [taylor]: Taking taylor expansion of 0 in k
2.222 * [taylor]: Taking taylor expansion of 0 in m
2.222 * [taylor]: Taking taylor expansion of 0 in m
2.230 * [taylor]: Taking taylor expansion of (- (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m))))) in m
2.231 * [taylor]: Taking taylor expansion of (* 99.0 (exp (* -1 (/ (- (log -1) (log k)) m)))) in m
2.231 * [taylor]: Taking taylor expansion of 99.0 in m
2.231 * [taylor]: Taking taylor expansion of (exp (* -1 (/ (- (log -1) (log k)) m))) in m
2.231 * [taylor]: Taking taylor expansion of (* -1 (/ (- (log -1) (log k)) m)) in m
2.231 * [taylor]: Taking taylor expansion of -1 in m
2.231 * [taylor]: Taking taylor expansion of (/ (- (log -1) (log k)) m) in m
2.231 * [taylor]: Taking taylor expansion of (- (log -1) (log k)) in m
2.231 * [taylor]: Taking taylor expansion of (log -1) in m
2.231 * [taylor]: Taking taylor expansion of -1 in m
2.231 * [taylor]: Taking taylor expansion of (log k) in m
2.231 * [taylor]: Taking taylor expansion of k in m
2.231 * [taylor]: Taking taylor expansion of m in m
2.240 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
2.241 * [approximate]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in (k) around 0
2.241 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
2.241 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
2.241 * [taylor]: Taking taylor expansion of 10.0 in k
2.241 * [taylor]: Taking taylor expansion of k in k
2.241 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
2.241 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.241 * [taylor]: Taking taylor expansion of k in k
2.241 * [taylor]: Taking taylor expansion of 1.0 in k
2.241 * [taylor]: Taking taylor expansion of (+ (* 10.0 k) (+ (pow k 2) 1.0)) in k
2.241 * [taylor]: Taking taylor expansion of (* 10.0 k) in k
2.241 * [taylor]: Taking taylor expansion of 10.0 in k
2.241 * [taylor]: Taking taylor expansion of k in k
2.241 * [taylor]: Taking taylor expansion of (+ (pow k 2) 1.0) in k
2.241 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.241 * [taylor]: Taking taylor expansion of k in k
2.241 * [taylor]: Taking taylor expansion of 1.0 in k
2.244 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in (k) around 0
2.244 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
2.244 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.244 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.244 * [taylor]: Taking taylor expansion of k in k
2.245 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
2.245 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.245 * [taylor]: Taking taylor expansion of 10.0 in k
2.245 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.245 * [taylor]: Taking taylor expansion of k in k
2.245 * [taylor]: Taking taylor expansion of 1.0 in k
2.245 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) (+ (* 10.0 (/ 1 k)) 1.0)) in k
2.245 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.245 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.245 * [taylor]: Taking taylor expansion of k in k
2.246 * [taylor]: Taking taylor expansion of (+ (* 10.0 (/ 1 k)) 1.0) in k
2.246 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.246 * [taylor]: Taking taylor expansion of 10.0 in k
2.246 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.246 * [taylor]: Taking taylor expansion of k in k
2.246 * [taylor]: Taking taylor expansion of 1.0 in k
2.250 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in (k) around 0
2.250 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
2.250 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
2.250 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.250 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.250 * [taylor]: Taking taylor expansion of k in k
2.250 * [taylor]: Taking taylor expansion of 1.0 in k
2.250 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.250 * [taylor]: Taking taylor expansion of 10.0 in k
2.251 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.251 * [taylor]: Taking taylor expansion of k in k
2.251 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow k 2)) 1.0) (* 10.0 (/ 1 k))) in k
2.251 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow k 2)) 1.0) in k
2.251 * [taylor]: Taking taylor expansion of (/ 1 (pow k 2)) in k
2.251 * [taylor]: Taking taylor expansion of (pow k 2) in k
2.251 * [taylor]: Taking taylor expansion of k in k
2.251 * [taylor]: Taking taylor expansion of 1.0 in k
2.251 * [taylor]: Taking taylor expansion of (* 10.0 (/ 1 k)) in k
2.251 * [taylor]: Taking taylor expansion of 10.0 in k
2.251 * [taylor]: Taking taylor expansion of (/ 1 k) in k
2.251 * [taylor]: Taking taylor expansion of k in k
2.257 * * * [progress]: simplifying candidates
2.260 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (exp (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* (* (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt 1)
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))
  (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))
  (sqrt (- (+ 1.0 (* 10.0 k)) (* k k)))
  (/ 1 2)
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (exp (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* (* (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt 1)
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))
  (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))
  (sqrt (- (+ 1.0 (* 10.0 k)) (* k k)))
  (/ 1 2)
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (- (- (+ (log a) (* (log k) m)) (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (- (- (+ (log a) (* (log k) m)) (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (- (- (+ (log a) (log (pow k m))) (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (- (- (log (* a (pow k m))) (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (- (log (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (log (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (exp (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* (* (* a a) a) (* (* (pow k m) (pow k m)) (pow k m))) (* (* (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (* (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* (* (* a (pow k m)) (* a (pow k m))) (* a (pow k m))) (* (* (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (* (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* (* (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (* (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (* (cbrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (cbrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (* (* (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (- (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (- (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt 1))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) 1)
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt 1))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) 1)
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt 1))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) 1)
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt 1))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) 1)
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt 1))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) 1)
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt 1)) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt 1)) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt 1)) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt 1)) (sqrt 1))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt 1)) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt 1)) 1)
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt 1))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) 1)
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a 1) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a 1) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a 1) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a 1) (sqrt 1))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a 1) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a 1) 1)
  (/ (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ 1 (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ 1 (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ 1 (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ 1 (sqrt 1))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ 1 (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ 1 1)
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (* a (pow k m)) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt 1))
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (* a (pow k m)) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) 1)
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))) (sqrt 1))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))) 1)
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))) (sqrt 1))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))) 1)
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt 1))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) 1)
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k)))))
  (* (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* (* (exp 1.0) (exp (* 10.0 k))) (exp (* k k)))
  (* (exp (+ 1.0 (* 10.0 k))) (exp (* k k)))
  (log (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (exp (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (* (* (+ (+ 1.0 (* 10.0 k)) (* k k)) (+ (+ 1.0 (* 10.0 k)) (* k k))) (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3))
  (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))
  (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k)))
  (- (+ 1.0 (* 10.0 k)) (* k k))
  (+ (* 10.0 k) (* k k))
  (- (+ (* 1/2 (/ (pow k 2) (sqrt 1.0))) (+ (sqrt 1.0) (* 5.0 (/ k (sqrt 1.0))))) (* 12.5 (/ (pow k 2) (pow (sqrt 1.0) 3))))
  (- (+ k 5.0) (* 12.0 (/ 1 k)))
  (- (* 12.0 (/ 1 k)) (+ k 5.0))
  (- (+ (* 1/2 (/ (pow k 2) (sqrt 1.0))) (+ (sqrt 1.0) (* 5.0 (/ k (sqrt 1.0))))) (* 12.5 (/ (pow k 2) (pow (sqrt 1.0) 3))))
  (- (+ k 5.0) (* 12.0 (/ 1 k)))
  (- (* 12.0 (/ 1 k)) (+ k 5.0))
  (- (+ (* 1.0 (* a (* m (log k)))) (* 1.0 a)) (* 10.0 (* k a)))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (- (+ (* 99.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))
  (+ (* 10.0 k) (+ (pow k 2) 1.0))
  (+ (* 10.0 k) (+ (pow k 2) 1.0))
  (+ (* 10.0 k) (+ (pow k 2) 1.0))
2.273 * * [simplify]: iteration  0 :  728  enodes  (cost  3104 )
2.286 * * [simplify]: iteration  1 :  3221  enodes  (cost  2772 )
2.329 * * [simplify]: iteration  2 :  5001  enodes  (cost  2769 )
2.341 * [simplify]: Simplified to:
   (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (exp (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (pow (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) 3)
  (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  1
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))
  (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))
  (sqrt (- (+ 1.0 (* 10.0 k)) (* k k)))
  1/2
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (log (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (exp (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (pow (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) 3)
  (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  1
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))
  (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))
  (sqrt (- (+ 1.0 (* 10.0 k)) (* k k)))
  1/2
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (- (log (* a (pow k m))) (log (+ 1.0 (* k (+ 10.0 k)))))
  (- (log (* a (pow k m))) (log (+ 1.0 (* k (+ 10.0 k)))))
  (- (log (* a (pow k m))) (log (+ 1.0 (* k (+ 10.0 k)))))
  (- (log (* a (pow k m))) (log (+ 1.0 (* k (+ 10.0 k)))))
  (- (log (* a (pow k m))) (log (+ 1.0 (* k (+ 10.0 k)))))
  (- (log (* a (pow k m))) (log (+ 1.0 (* k (+ 10.0 k)))))
  (exp (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (pow (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))) 3)
  (pow (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))) 3)
  (pow (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))) 3)
  (* (cbrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (cbrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (pow (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))) 3)
  (sqrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (- (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (- (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (/ (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (* (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (* (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (* (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (pow k (/ m 2)) (/ (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (pow k (/ m 2))))
  (/ a (* (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (* 1 (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (* (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (* 1 (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (* (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (* 1 (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  a
  (/ (pow k m) (+ 1.0 (* k (+ 10.0 k))))
  (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  a
  (/ (pow k m) (+ 1.0 (* k (+ 10.0 k))))
  (/ (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (* (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (* 1 (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  a
  (/ (pow k m) (+ 1.0 (* k (+ 10.0 k))))
  (/ a (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  a
  (/ (pow k m) (+ 1.0 (* k (+ 10.0 k))))
  (/ 1 (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ 2 (* (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) 2))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ 1 (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  1
  (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))
  (/ 1 (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  1
  (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))
  (/ (* a (pow k m)) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ a (/ (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (pow k m)))
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (* a (pow k m))
  (/ 1 (+ 1.0 (* k (+ 10.0 k))))
  (/ (* a (pow k m)) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (* a (pow k m))
  (/ 1 (+ 1.0 (* k (+ 10.0 k))))
  (/ (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (* (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3))))
  (/ (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (* (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k)))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k))))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k)))))
  (/ (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ 1 (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (+ 1.0 (* k (+ 10.0 k))) (* a (pow k m)))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (* (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (* a (pow k m)) (* (fabs (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
  (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (cbrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (sqrt (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (+ 1.0 (* k (+ 10.0 k))) (pow k m))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (/ (pow k m) (sqrt (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (+ 1.0 (* k (+ 10.0 k))) (pow k m))
  (/ (+ 1.0 (* k (+ 10.0 k))) (* a (pow k m)))
  (+ 1.0 (* k (+ 10.0 k)))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (+ (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (- (* (* k k) (* k k)) (* (+ 1.0 (* 10.0 k)) (* k k))))))
  (/ (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (sqrt (- (+ 1.0 (* 10.0 k)) (* k k))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3))))
  (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (- (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))) (* (* k k) (* k k)))))
  (+ 1.0 (* k (+ 10.0 k)))
  (exp (+ 1.0 (* k (+ 10.0 k))))
  (exp (+ 1.0 (* k (+ 10.0 k))))
  (log (+ 1.0 (* k (+ 10.0 k))))
  (exp (+ 1.0 (* k (+ 10.0 k))))
  (* (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))) (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
  (cbrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (pow (+ 1.0 (* k (+ 10.0 k))) 3)
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
  (+ (pow (+ 1.0 (* 10.0 k)) 3) (pow (* k k) 3))
  (+ (* (pow k 2) (- (pow k 2) (+ 1.0 (* 10.0 k)))) (* (+ 1.0 (* 10.0 k)) (+ 1.0 (* 10.0 k))))
  (* (+ (* k (- 10.0 k)) 1.0) (+ 1.0 (* k (+ 10.0 k))))
  (+ (* k (- 10.0 k)) 1.0)
  (* k (+ 10.0 k))
  (- (+ (* 1/2 (/ (pow k 2) (sqrt 1.0))) (+ (sqrt 1.0) (* 5.0 (/ k (sqrt 1.0))))) (* 12.5 (/ (pow k 2) (pow (sqrt 1.0) 3))))
  (- (+ k 5.0) (* 12.0 (/ 1 k)))
  (- (* 12.0 (/ 1 k)) (+ k 5.0))
  (- (+ (* 1/2 (/ (pow k 2) (sqrt 1.0))) (+ (sqrt 1.0) (* 5.0 (/ k (sqrt 1.0))))) (* 12.5 (/ (pow k 2) (pow (sqrt 1.0) 3))))
  (- (+ k 5.0) (* 12.0 (/ 1 k)))
  (- (* 12.0 (/ 1 k)) (+ k 5.0))
  (+ (* a (- 1.0 (* 10.0 k))) (* 1.0 (* a (* m (log k)))))
  (- (+ (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 2)) (* 99.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 4)))) (* 10.0 (/ (* a (exp (* -1 (* m (log (/ 1 k)))))) (pow k 3))))
  (- (+ (* 99.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 4))) (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 2))) (* 10.0 (/ (* a (exp (* m (- (log -1) (log (/ -1 k)))))) (pow k 3))))
  (+ 1.0 (* k (+ 10.0 k)))
  (+ 1.0 (* k (+ 10.0 k)))
  (+ 1.0 (* k (+ 10.0 k)))
2.343 * * * [progress]: adding candidates to table
2.750 * [progress]: [Phase 3 of 3] Extracting.
2.750 * * [regime]: Finding splitpoints for: (#<alt (λ (a k m) (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))> #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))> #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))>)
2.751 * * * [regime-changes]: Trying 3 branch expressions: (m k a)
2.751 * * * * [regimes]: Trying to branch on m from (#<alt (λ (a k m) (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))> #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))> #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))>)
2.767 * * * * [regimes]: Trying to branch on k from (#<alt (λ (a k m) (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))> #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))> #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))>)
2.786 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a k m) (/ (/ (* a (pow k m)) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))> #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* (* (cbrt k) (cbrt k)) (* (cbrt k) (+ 10.0 k))))))> #<alt (λ (a k m) (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k)))))>)
2.802 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
2.802 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))
2.803 * * [simplify]: iteration  0 :  15  enodes  (cost  6 )
2.803 * * [simplify]: iteration  1 :  15  enodes  (cost  6 )
2.803 * [simplify]: Simplified to:
   (/ (* a (pow k m)) (+ 1.0 (* k (+ 10.0 k))))
4.006 * [regime-testing]: Baseline error score: 2.047590738877631
4.007 * [regime-testing]: Oracle error score: 2.029963535477206
4.008 * [regime-testing]: End program error score: 2.047590738877631