7.283 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.076 * * * [progress]: [2/2] Setting up program. 0.080 * [progress]: [Phase 2 of 3] Improving. 0.080 * [simplify]: Simplifying using # : (- (exp (* a x)) 1.0) 0.135 * * [simplify]: iteration 0 : 4778 enodes (cost 6 ) 0.135 * * [simplify]: iteration 1 : 4778 enodes (cost 6 ) 0.136 * [simplify]: Simplified to: (- (pow (exp a) x) 1.0) 0.140 * * [progress]: iteration 1 / 4 0.140 * * * [progress]: picking best candidate 0.146 * * * * [pick]: Picked # 0.146 * * * [progress]: localizing error 0.151 * * * [progress]: generating rewritten candidates 0.151 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.155 * * * [progress]: generating series expansions 0.155 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.155 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.155 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.155 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.155 * [taylor]: Taking taylor expansion of (* a x) in x 0.155 * [taylor]: Taking taylor expansion of a in x 0.155 * [taylor]: Taking taylor expansion of x in x 0.155 * [taylor]: Taking taylor expansion of 1.0 in x 0.155 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.155 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.155 * [taylor]: Taking taylor expansion of (* a x) in a 0.155 * [taylor]: Taking taylor expansion of a in a 0.155 * [taylor]: Taking taylor expansion of x in a 0.155 * [taylor]: Taking taylor expansion of 1.0 in a 0.155 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.155 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.155 * [taylor]: Taking taylor expansion of (* a x) in a 0.155 * [taylor]: Taking taylor expansion of a in a 0.155 * [taylor]: Taking taylor expansion of x in a 0.155 * [taylor]: Taking taylor expansion of 1.0 in a 0.155 * [taylor]: Taking taylor expansion of 0 in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.156 * [taylor]: Taking taylor expansion of 1/2 in x 0.156 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.156 * [taylor]: Taking taylor expansion of 1/6 in x 0.156 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.157 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.157 * [taylor]: Taking taylor expansion of 1/24 in x 0.157 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.157 * [taylor]: Taking taylor expansion of x in x 0.158 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.158 * [taylor]: Taking taylor expansion of 1/120 in x 0.158 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.158 * [taylor]: Taking taylor expansion of x in x 0.159 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.159 * [taylor]: Taking taylor expansion of 1/720 in x 0.159 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.159 * [taylor]: Taking taylor expansion of x in x 0.159 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.160 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.160 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.160 * [taylor]: Taking taylor expansion of (* a x) in x 0.160 * [taylor]: Taking taylor expansion of a in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of 1.0 in x 0.160 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.160 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.160 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.160 * [taylor]: Taking taylor expansion of (* a x) in a 0.160 * [taylor]: Taking taylor expansion of a in a 0.160 * [taylor]: Taking taylor expansion of x in a 0.160 * [taylor]: Taking taylor expansion of 1.0 in a 0.160 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.160 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.160 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.160 * [taylor]: Taking taylor expansion of (* a x) in a 0.160 * [taylor]: Taking taylor expansion of a in a 0.160 * [taylor]: Taking taylor expansion of x in a 0.160 * [taylor]: Taking taylor expansion of 1.0 in a 0.160 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.160 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.160 * [taylor]: Taking taylor expansion of (* a x) in x 0.160 * [taylor]: Taking taylor expansion of a in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.160 * [taylor]: Taking taylor expansion of 1.0 in x 0.161 * [taylor]: Taking taylor expansion of 0 in x 0.161 * [taylor]: Taking taylor expansion of 0 in x 0.161 * [taylor]: Taking taylor expansion of 0 in x 0.161 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.161 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.161 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.161 * [taylor]: Taking taylor expansion of (* a x) in x 0.161 * [taylor]: Taking taylor expansion of a in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of 1.0 in x 0.161 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.161 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.161 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.161 * [taylor]: Taking taylor expansion of (* a x) in a 0.161 * [taylor]: Taking taylor expansion of a in a 0.161 * [taylor]: Taking taylor expansion of x in a 0.161 * [taylor]: Taking taylor expansion of 1.0 in a 0.161 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.161 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.161 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.161 * [taylor]: Taking taylor expansion of (* a x) in a 0.161 * [taylor]: Taking taylor expansion of a in a 0.161 * [taylor]: Taking taylor expansion of x in a 0.161 * [taylor]: Taking taylor expansion of 1.0 in a 0.162 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.162 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.162 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.162 * [taylor]: Taking taylor expansion of (* a x) in x 0.162 * [taylor]: Taking taylor expansion of a in x 0.162 * [taylor]: Taking taylor expansion of x in x 0.162 * [taylor]: Taking taylor expansion of 1.0 in x 0.162 * [taylor]: Taking taylor expansion of 0 in x 0.162 * [taylor]: Taking taylor expansion of 0 in x 0.162 * [taylor]: Taking taylor expansion of 0 in x 0.162 * * * [progress]: simplifying candidates 0.162 * [simplify]: Simplifying using # : (/ (exp (exp (* a x))) (exp 1.0)) (log (- (exp (* a x)) 1.0)) (exp (- (exp (* a x)) 1.0)) (* (cbrt (- (exp (* a x)) 1.0)) (cbrt (- (exp (* a x)) 1.0))) (cbrt (- (exp (* a x)) 1.0)) (* (* (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0)) (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (sqrt (- (exp (* a x)) 1.0)) (- (pow (exp (* a x)) 3) (pow 1.0 3)) (+ (* (exp (* a x)) (exp (* a x))) (+ (* 1.0 1.0) (* (exp (* a x)) 1.0))) (neg 1.0) (- (* (exp (* a x)) (exp (* a x))) (* 1.0 1.0)) (+ (exp (* a x)) 1.0) (+ (sqrt (exp (* a x))) (sqrt 1.0)) (- (sqrt (exp (* a x))) (sqrt 1.0)) (- (exp (* a x)) 1.0) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* 1/6 (* (pow a 3) (pow x 3))) (* a x))) (- (exp (* a x)) 1.0) (- (exp (* a x)) 1.0) 0.206 * * [simplify]: iteration 0 : 4903 enodes (cost 161 ) 0.206 * * [simplify]: iteration 1 : 4903 enodes (cost 161 ) 0.207 * [simplify]: Simplified to: (exp (- (pow (exp a) x) 1.0)) (log (- (pow (exp a) x) 1.0)) (exp (- (pow (exp a) x) 1.0)) (* (cbrt (- (pow (exp a) x) 1.0)) (cbrt (- (pow (exp a) x) 1.0))) (cbrt (- (pow (exp a) x) 1.0)) (pow (- (pow (exp a) x) 1.0) 3) (sqrt (- (pow (exp a) x) 1.0)) (sqrt (- (pow (exp a) x) 1.0)) (- (pow (pow (exp a) x) 3) (pow 1.0 3)) (+ (pow (pow (exp a) x) 2) (* 1.0 (+ (pow (exp a) x) 1.0))) (neg 1.0) (- (pow (pow (exp a) x) 2) (* 1.0 1.0)) (+ (pow (exp a) x) 1.0) (+ (sqrt (pow (exp a) x)) (sqrt 1.0)) (- (sqrt (pow (exp a) x)) (sqrt 1.0)) (- (pow (exp a) x) 1.0) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (- (pow (exp a) x) 1.0) (- (pow (exp a) x) 1.0) 0.208 * * * [progress]: adding candidates to table 0.234 * * [progress]: iteration 2 / 4 0.234 * * * [progress]: picking best candidate 0.240 * * * * [pick]: Picked # 0.240 * * * [progress]: localizing error 0.252 * * * [progress]: generating rewritten candidates 0.252 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.258 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 0.267 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2) 0.272 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.279 * * * [progress]: generating series expansions 0.279 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.279 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in (a x) around 0 0.279 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x 0.279 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 0.279 * [taylor]: Taking taylor expansion of 1/2 in x 0.279 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.279 * [taylor]: Taking taylor expansion of a in x 0.279 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 0.279 * [taylor]: Taking taylor expansion of 1/6 in x 0.279 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.279 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.279 * [taylor]: Taking taylor expansion of a in x 0.279 * [taylor]: Taking taylor expansion of x in x 0.279 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 0.279 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.279 * [taylor]: Taking taylor expansion of 1/2 in a 0.279 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.279 * [taylor]: Taking taylor expansion of a in a 0.279 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.279 * [taylor]: Taking taylor expansion of 1/6 in a 0.279 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.279 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.279 * [taylor]: Taking taylor expansion of a in a 0.279 * [taylor]: Taking taylor expansion of x in a 0.279 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 0.279 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.279 * [taylor]: Taking taylor expansion of 1/2 in a 0.279 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.279 * [taylor]: Taking taylor expansion of a in a 0.280 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.280 * [taylor]: Taking taylor expansion of 1/6 in a 0.280 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.280 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.280 * [taylor]: Taking taylor expansion of a in a 0.280 * [taylor]: Taking taylor expansion of x in a 0.280 * [taylor]: Taking taylor expansion of 1/2 in x 0.280 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.280 * [taylor]: Taking taylor expansion of 1/6 in x 0.280 * [taylor]: Taking taylor expansion of x in x 0.280 * [taylor]: Taking taylor expansion of 0 in x 0.280 * [taylor]: Taking taylor expansion of 0 in x 0.281 * [taylor]: Taking taylor expansion of 0 in x 0.281 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0 0.281 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.281 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.281 * [taylor]: Taking taylor expansion of 1/2 in x 0.281 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.281 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.281 * [taylor]: Taking taylor expansion of a in x 0.281 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.281 * [taylor]: Taking taylor expansion of 1/6 in x 0.281 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.281 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.281 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.281 * [taylor]: Taking taylor expansion of a in x 0.281 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.282 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.282 * [taylor]: Taking taylor expansion of 1/2 in a 0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.282 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.282 * [taylor]: Taking taylor expansion of a in a 0.282 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.282 * [taylor]: Taking taylor expansion of 1/6 in a 0.282 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.282 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.282 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.282 * [taylor]: Taking taylor expansion of a in a 0.282 * [taylor]: Taking taylor expansion of x in a 0.282 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.282 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.282 * [taylor]: Taking taylor expansion of 1/2 in a 0.282 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.282 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.282 * [taylor]: Taking taylor expansion of a in a 0.282 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.282 * [taylor]: Taking taylor expansion of 1/6 in a 0.282 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.282 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.282 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.282 * [taylor]: Taking taylor expansion of a in a 0.282 * [taylor]: Taking taylor expansion of x in a 0.282 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.282 * [taylor]: Taking taylor expansion of 1/6 in x 0.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.282 * [taylor]: Taking taylor expansion of x in x 0.282 * [taylor]: Taking taylor expansion of 1/2 in x 0.283 * [taylor]: Taking taylor expansion of 0 in x 0.283 * [taylor]: Taking taylor expansion of 0 in x 0.284 * [taylor]: Taking taylor expansion of 0 in x 0.284 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0 0.284 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.284 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.284 * [taylor]: Taking taylor expansion of 1/2 in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.284 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.284 * [taylor]: Taking taylor expansion of a in x 0.284 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.284 * [taylor]: Taking taylor expansion of 1/6 in x 0.284 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.284 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.284 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.284 * [taylor]: Taking taylor expansion of a in x 0.284 * [taylor]: Taking taylor expansion of x in x 0.285 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.285 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.285 * [taylor]: Taking taylor expansion of 1/2 in a 0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.285 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.285 * [taylor]: Taking taylor expansion of a in a 0.285 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.285 * [taylor]: Taking taylor expansion of 1/6 in a 0.285 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.285 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.285 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.285 * [taylor]: Taking taylor expansion of a in a 0.285 * [taylor]: Taking taylor expansion of x in a 0.285 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.285 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.285 * [taylor]: Taking taylor expansion of 1/2 in a 0.285 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.285 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.285 * [taylor]: Taking taylor expansion of a in a 0.285 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.285 * [taylor]: Taking taylor expansion of 1/6 in a 0.285 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.285 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.285 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.285 * [taylor]: Taking taylor expansion of a in a 0.285 * [taylor]: Taking taylor expansion of x in a 0.285 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.285 * [taylor]: Taking taylor expansion of 1/6 in x 0.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.285 * [taylor]: Taking taylor expansion of x in x 0.286 * [taylor]: Taking taylor expansion of 1/2 in x 0.286 * [taylor]: Taking taylor expansion of 0 in x 0.286 * [taylor]: Taking taylor expansion of 0 in x 0.287 * [taylor]: Taking taylor expansion of 0 in x 0.287 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 0.287 * [approximate]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in (x a) around 0 0.287 * [taylor]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in a 0.287 * [taylor]: Taking taylor expansion of x in a 0.287 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 0.287 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.287 * [taylor]: Taking taylor expansion of 1/2 in a 0.287 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.287 * [taylor]: Taking taylor expansion of a in a 0.287 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.287 * [taylor]: Taking taylor expansion of 1/6 in a 0.287 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.287 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.287 * [taylor]: Taking taylor expansion of a in a 0.288 * [taylor]: Taking taylor expansion of x in a 0.288 * [taylor]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x 0.288 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 0.288 * [taylor]: Taking taylor expansion of 1/2 in x 0.288 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.288 * [taylor]: Taking taylor expansion of a in x 0.288 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 0.288 * [taylor]: Taking taylor expansion of 1/6 in x 0.288 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.288 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.288 * [taylor]: Taking taylor expansion of a in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x 0.288 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 0.288 * [taylor]: Taking taylor expansion of 1/2 in x 0.288 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.288 * [taylor]: Taking taylor expansion of a in x 0.288 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 0.288 * [taylor]: Taking taylor expansion of 1/6 in x 0.288 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.288 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.288 * [taylor]: Taking taylor expansion of a in x 0.288 * [taylor]: Taking taylor expansion of x in x 0.288 * [taylor]: Taking taylor expansion of 0 in a 0.289 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.289 * [taylor]: Taking taylor expansion of 1/2 in a 0.289 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.289 * [taylor]: Taking taylor expansion of a in a 0.289 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 0.289 * [taylor]: Taking taylor expansion of 1/6 in a 0.289 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.289 * [taylor]: Taking taylor expansion of a in a 0.290 * [taylor]: Taking taylor expansion of 0 in a 0.291 * [taylor]: Taking taylor expansion of 0 in a 0.291 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in (x a) around 0 0.291 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in a 0.291 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.291 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.291 * [taylor]: Taking taylor expansion of 1/2 in a 0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.291 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.291 * [taylor]: Taking taylor expansion of a in a 0.291 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.291 * [taylor]: Taking taylor expansion of 1/6 in a 0.291 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.291 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.291 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.291 * [taylor]: Taking taylor expansion of a in a 0.291 * [taylor]: Taking taylor expansion of x in a 0.291 * [taylor]: Taking taylor expansion of x in a 0.292 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x 0.292 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.292 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.292 * [taylor]: Taking taylor expansion of 1/2 in x 0.292 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.292 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.292 * [taylor]: Taking taylor expansion of a in x 0.292 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.292 * [taylor]: Taking taylor expansion of 1/6 in x 0.292 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.292 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.292 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.292 * [taylor]: Taking taylor expansion of a in x 0.292 * [taylor]: Taking taylor expansion of x in x 0.292 * [taylor]: Taking taylor expansion of x in x 0.292 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x 0.292 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.292 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.292 * [taylor]: Taking taylor expansion of 1/2 in x 0.292 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.292 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.292 * [taylor]: Taking taylor expansion of a in x 0.293 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.293 * [taylor]: Taking taylor expansion of 1/6 in x 0.293 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.293 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.293 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.293 * [taylor]: Taking taylor expansion of a in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [taylor]: Taking taylor expansion of x in x 0.293 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.293 * [taylor]: Taking taylor expansion of 1/6 in a 0.293 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.293 * [taylor]: Taking taylor expansion of a in a 0.294 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.294 * [taylor]: Taking taylor expansion of 1/2 in a 0.294 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.294 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.294 * [taylor]: Taking taylor expansion of a in a 0.295 * [taylor]: Taking taylor expansion of 0 in a 0.296 * [taylor]: Taking taylor expansion of 0 in a 0.297 * [taylor]: Taking taylor expansion of 0 in a 0.299 * [taylor]: Taking taylor expansion of 0 in a 0.299 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in (x a) around 0 0.299 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in a 0.299 * [taylor]: Taking taylor expansion of -1 in a 0.299 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in a 0.299 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.299 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.299 * [taylor]: Taking taylor expansion of 1/2 in a 0.299 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.299 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.299 * [taylor]: Taking taylor expansion of a in a 0.299 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.299 * [taylor]: Taking taylor expansion of 1/6 in a 0.299 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.299 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.299 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.299 * [taylor]: Taking taylor expansion of a in a 0.299 * [taylor]: Taking taylor expansion of x in a 0.300 * [taylor]: Taking taylor expansion of x in a 0.300 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in x 0.300 * [taylor]: Taking taylor expansion of -1 in x 0.300 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x 0.300 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.300 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.300 * [taylor]: Taking taylor expansion of 1/2 in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.300 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.300 * [taylor]: Taking taylor expansion of a in x 0.300 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.300 * [taylor]: Taking taylor expansion of 1/6 in x 0.300 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.300 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.300 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.300 * [taylor]: Taking taylor expansion of a in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of x in x 0.300 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in x 0.300 * [taylor]: Taking taylor expansion of -1 in x 0.300 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x 0.301 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.301 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.301 * [taylor]: Taking taylor expansion of 1/2 in x 0.301 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.301 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.301 * [taylor]: Taking taylor expansion of a in x 0.301 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.301 * [taylor]: Taking taylor expansion of 1/6 in x 0.301 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.301 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.301 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.301 * [taylor]: Taking taylor expansion of a in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 0.301 * [taylor]: Taking taylor expansion of -1/6 in a 0.301 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.301 * [taylor]: Taking taylor expansion of a in a 0.302 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow a 2)))) in a 0.302 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.302 * [taylor]: Taking taylor expansion of 1/2 in a 0.302 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.302 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.302 * [taylor]: Taking taylor expansion of a in a 0.305 * [taylor]: Taking taylor expansion of 0 in a 0.307 * [taylor]: Taking taylor expansion of 0 in a 0.308 * [taylor]: Taking taylor expansion of 0 in a 0.310 * [taylor]: Taking taylor expansion of 0 in a 0.310 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2) 0.310 * [approximate]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in (x a) around 0 0.310 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.310 * [taylor]: Taking taylor expansion of 1/6 in a 0.310 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.310 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.310 * [taylor]: Taking taylor expansion of a in a 0.310 * [taylor]: Taking taylor expansion of x in a 0.310 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 0.310 * [taylor]: Taking taylor expansion of 1/6 in x 0.310 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.310 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.311 * [taylor]: Taking taylor expansion of a in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 0.311 * [taylor]: Taking taylor expansion of 1/6 in x 0.311 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.311 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.311 * [taylor]: Taking taylor expansion of a in x 0.311 * [taylor]: Taking taylor expansion of x in x 0.311 * [taylor]: Taking taylor expansion of 0 in a 0.311 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 0.311 * [taylor]: Taking taylor expansion of 1/6 in a 0.311 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.311 * [taylor]: Taking taylor expansion of a in a 0.311 * [taylor]: Taking taylor expansion of 0 in a 0.312 * [taylor]: Taking taylor expansion of 0 in a 0.312 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (x a) around 0 0.312 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a 0.312 * [taylor]: Taking taylor expansion of 1/6 in a 0.312 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.312 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.312 * [taylor]: Taking taylor expansion of a in a 0.312 * [taylor]: Taking taylor expansion of x in a 0.312 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 0.312 * [taylor]: Taking taylor expansion of 1/6 in x 0.312 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.312 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.312 * [taylor]: Taking taylor expansion of a in x 0.312 * [taylor]: Taking taylor expansion of x in x 0.312 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 0.312 * [taylor]: Taking taylor expansion of 1/6 in x 0.312 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.313 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.313 * [taylor]: Taking taylor expansion of a in x 0.313 * [taylor]: Taking taylor expansion of x in x 0.313 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.313 * [taylor]: Taking taylor expansion of 1/6 in a 0.313 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.313 * [taylor]: Taking taylor expansion of a in a 0.313 * [taylor]: Taking taylor expansion of 0 in a 0.314 * [taylor]: Taking taylor expansion of 0 in a 0.314 * [taylor]: Taking taylor expansion of 0 in a 0.315 * [taylor]: Taking taylor expansion of 0 in a 0.316 * [taylor]: Taking taylor expansion of 0 in a 0.316 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (x a) around 0 0.316 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a 0.316 * [taylor]: Taking taylor expansion of 1/6 in a 0.316 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.316 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.316 * [taylor]: Taking taylor expansion of a in a 0.316 * [taylor]: Taking taylor expansion of x in a 0.316 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 0.316 * [taylor]: Taking taylor expansion of 1/6 in x 0.316 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.317 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.317 * [taylor]: Taking taylor expansion of a in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 0.317 * [taylor]: Taking taylor expansion of 1/6 in x 0.317 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.317 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.317 * [taylor]: Taking taylor expansion of a in x 0.317 * [taylor]: Taking taylor expansion of x in x 0.317 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.317 * [taylor]: Taking taylor expansion of 1/6 in a 0.317 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.317 * [taylor]: Taking taylor expansion of a in a 0.318 * [taylor]: Taking taylor expansion of 0 in a 0.318 * [taylor]: Taking taylor expansion of 0 in a 0.319 * [taylor]: Taking taylor expansion of 0 in a 0.319 * [taylor]: Taking taylor expansion of 0 in a 0.320 * [taylor]: Taking taylor expansion of 0 in a 0.320 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.321 * [approximate]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in (x a) around 0 0.321 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in a 0.321 * [taylor]: Taking taylor expansion of x in a 0.321 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in a 0.321 * [taylor]: Taking taylor expansion of a in a 0.321 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a 0.321 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a 0.321 * [taylor]: Taking taylor expansion of 1/6 in a 0.321 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.321 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.321 * [taylor]: Taking taylor expansion of a in a 0.321 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.321 * [taylor]: Taking taylor expansion of x in a 0.321 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a 0.321 * [taylor]: Taking taylor expansion of 1/2 in a 0.321 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.321 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.321 * [taylor]: Taking taylor expansion of a in a 0.321 * [taylor]: Taking taylor expansion of x in a 0.321 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x 0.321 * [taylor]: Taking taylor expansion of a in x 0.321 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x 0.321 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.321 * [taylor]: Taking taylor expansion of 1/6 in x 0.321 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.321 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.321 * [taylor]: Taking taylor expansion of a in x 0.321 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.321 * [taylor]: Taking taylor expansion of 1/2 in x 0.321 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.321 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.321 * [taylor]: Taking taylor expansion of a in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x 0.321 * [taylor]: Taking taylor expansion of a in x 0.321 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x 0.321 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.321 * [taylor]: Taking taylor expansion of 1/6 in x 0.321 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.321 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.321 * [taylor]: Taking taylor expansion of a in x 0.321 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.322 * [taylor]: Taking taylor expansion of x in x 0.322 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.322 * [taylor]: Taking taylor expansion of 1/2 in x 0.322 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.322 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.322 * [taylor]: Taking taylor expansion of a in x 0.322 * [taylor]: Taking taylor expansion of x in x 0.322 * [taylor]: Taking taylor expansion of 0 in a 0.322 * [taylor]: Taking taylor expansion of a in a 0.323 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.323 * [taylor]: Taking taylor expansion of 1/2 in a 0.323 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.323 * [taylor]: Taking taylor expansion of a in a 0.323 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 0.323 * [taylor]: Taking taylor expansion of 1/6 in a 0.323 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.323 * [taylor]: Taking taylor expansion of a in a 0.324 * [taylor]: Taking taylor expansion of 0 in a 0.325 * [taylor]: Taking taylor expansion of 0 in a 0.325 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in (x a) around 0 0.325 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in a 0.325 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a 0.325 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.325 * [taylor]: Taking taylor expansion of 1/2 in a 0.325 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.325 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.325 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.325 * [taylor]: Taking taylor expansion of a in a 0.325 * [taylor]: Taking taylor expansion of x in a 0.326 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.326 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.326 * [taylor]: Taking taylor expansion of a in a 0.326 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.326 * [taylor]: Taking taylor expansion of 1/6 in a 0.326 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.326 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.326 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.326 * [taylor]: Taking taylor expansion of a in a 0.326 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.326 * [taylor]: Taking taylor expansion of x in a 0.326 * [taylor]: Taking taylor expansion of x in a 0.326 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.326 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.326 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.326 * [taylor]: Taking taylor expansion of 1/2 in x 0.326 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.326 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.326 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.326 * [taylor]: Taking taylor expansion of a in x 0.326 * [taylor]: Taking taylor expansion of x in x 0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.327 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.327 * [taylor]: Taking taylor expansion of a in x 0.327 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.327 * [taylor]: Taking taylor expansion of 1/6 in x 0.327 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.327 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.327 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.327 * [taylor]: Taking taylor expansion of a in x 0.327 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.327 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.327 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.327 * [taylor]: Taking taylor expansion of 1/2 in x 0.327 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.327 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.327 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.327 * [taylor]: Taking taylor expansion of a in x 0.327 * [taylor]: Taking taylor expansion of x in x 0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.328 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.328 * [taylor]: Taking taylor expansion of a in x 0.328 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.328 * [taylor]: Taking taylor expansion of 1/6 in x 0.328 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.328 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.328 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.328 * [taylor]: Taking taylor expansion of a in x 0.328 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.328 * [taylor]: Taking taylor expansion of x in x 0.328 * [taylor]: Taking taylor expansion of x in x 0.328 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.328 * [taylor]: Taking taylor expansion of 1/6 in a 0.328 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.328 * [taylor]: Taking taylor expansion of a in a 0.329 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.329 * [taylor]: Taking taylor expansion of 1/2 in a 0.329 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.329 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.329 * [taylor]: Taking taylor expansion of a in a 0.330 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.330 * [taylor]: Taking taylor expansion of a in a 0.331 * [taylor]: Taking taylor expansion of 0 in a 0.333 * [taylor]: Taking taylor expansion of 0 in a 0.334 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in (x a) around 0 0.334 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in a 0.334 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a 0.334 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.334 * [taylor]: Taking taylor expansion of 1/2 in a 0.334 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.334 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.334 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.334 * [taylor]: Taking taylor expansion of a in a 0.334 * [taylor]: Taking taylor expansion of x in a 0.334 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.334 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.334 * [taylor]: Taking taylor expansion of a in a 0.334 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.334 * [taylor]: Taking taylor expansion of 1/6 in a 0.334 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.334 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.334 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.334 * [taylor]: Taking taylor expansion of a in a 0.334 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.334 * [taylor]: Taking taylor expansion of x in a 0.334 * [taylor]: Taking taylor expansion of x in a 0.334 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.334 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.334 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.334 * [taylor]: Taking taylor expansion of 1/2 in x 0.334 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.335 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.335 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.335 * [taylor]: Taking taylor expansion of a in x 0.335 * [taylor]: Taking taylor expansion of x in x 0.335 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.335 * [taylor]: Taking taylor expansion of a in x 0.335 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.335 * [taylor]: Taking taylor expansion of 1/6 in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.335 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.335 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.335 * [taylor]: Taking taylor expansion of a in x 0.335 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.335 * [taylor]: Taking taylor expansion of x in x 0.335 * [taylor]: Taking taylor expansion of x in x 0.335 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.335 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.335 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.335 * [taylor]: Taking taylor expansion of 1/2 in x 0.335 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.335 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.335 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.336 * [taylor]: Taking taylor expansion of a in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.336 * [taylor]: Taking taylor expansion of a in x 0.336 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.336 * [taylor]: Taking taylor expansion of 1/6 in x 0.336 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.336 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.336 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.336 * [taylor]: Taking taylor expansion of a in x 0.336 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.336 * [taylor]: Taking taylor expansion of 1/6 in a 0.336 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.336 * [taylor]: Taking taylor expansion of a in a 0.337 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.337 * [taylor]: Taking taylor expansion of 1/2 in a 0.337 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.337 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.337 * [taylor]: Taking taylor expansion of a in a 0.338 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.338 * [taylor]: Taking taylor expansion of a in a 0.339 * [taylor]: Taking taylor expansion of 0 in a 0.341 * [taylor]: Taking taylor expansion of 0 in a 0.341 * * * [progress]: simplifying candidates 0.342 * [simplify]: Simplifying using # : (* (exp (* a (* a 1/2))) (exp (* x (* 1/6 (pow a 3))))) (log (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (exp (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* (* (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (pow (* a (* a 1/2)) 3) (pow (* x (* 1/6 (pow a 3))) 3)) (+ (* (* a (* a 1/2)) (* a (* a 1/2))) (- (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))) (* (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (- (* (* a (* a 1/2)) (* a (* a 1/2))) (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3))))) (- (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (log x) (log (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (log (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (exp (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* (* (* x x) x) (* (* (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* (cbrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (cbrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (cbrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (sqrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (sqrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* (sqrt x) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* (sqrt x) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* x (* a (* a 1/2))) (* x (* x (* 1/6 (pow a 3)))) (* (* a (* a 1/2)) x) (* (* x (* 1/6 (pow a 3))) x) (* x (* (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* x (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* x 1) (* (cbrt x) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* (sqrt x) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (pow (* a (* a 1/2)) 3) (pow (* x (* 1/6 (pow a 3))) 3))) (* x (- (* (* a (* a 1/2)) (* a (* a 1/2))) (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))))) (* x (* 1/6 (pow a 3))) (+ (log x) (+ (log 1/6) (* (log a) 3))) (+ (log x) (+ (log 1/6) (* (log a) 3))) (+ (log x) (+ (log 1/6) (log (pow a 3)))) (+ (log x) (log (* 1/6 (pow a 3)))) (log (* x (* 1/6 (pow a 3)))) (exp (* x (* 1/6 (pow a 3)))) (* (* (* x x) x) (* (* (* 1/6 1/6) 1/6) (* (* (pow a 3) (pow a 3)) (pow a 3)))) (* (* (* x x) x) (* (* (* 1/6 (pow a 3)) (* 1/6 (pow a 3))) (* 1/6 (pow a 3)))) (* (cbrt (* x (* 1/6 (pow a 3)))) (cbrt (* x (* 1/6 (pow a 3))))) (cbrt (* x (* 1/6 (pow a 3)))) (* (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))) (* x (* 1/6 (pow a 3)))) (sqrt (* x (* 1/6 (pow a 3)))) (sqrt (* x (* 1/6 (pow a 3)))) (* x 1/6) (* (cbrt x) (* 1/6 (pow a 3))) (* (sqrt x) (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3))) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (+ (log x) (log (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (log (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (exp (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* (* (* x x) x) (* (* (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* (cbrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (cbrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (cbrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* (* (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* (sqrt x) (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* (sqrt x) (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* x a) (* x (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* a x) (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) x) (* x (* (cbrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (cbrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (* x (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* x 1) (* (cbrt x) (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* (sqrt x) (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* x (+ (pow a 3) (pow (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) 3))) (* x (- (* a a) (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) (* 1/6 (* (pow a 3) x)) (* 1/6 (* (pow a 3) x)) (* 1/6 (* (pow a 3) x)) (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))) (+ (* 1/2 (* (pow a 2) (pow x 2))) (+ (* a x) (* 1/6 (* (pow a 3) (pow x 3))))) 0.365 * * [simplify]: iteration 0 : 5281 enodes (cost 1359 ) 0.370 * [simplify]: Simplified to: (* (sqrt (pow (exp a) a)) (pow (exp x) (* 1/6 (pow a 3)))) (log (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* (sqrt (pow (exp a) a)) (pow (exp x) (* 1/6 (pow a 3)))) (* (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (pow (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) 3) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (* (pow a 6) 1/8) (* 1/216 (pow (* x (pow a 3)) 3))) (+ (* 1/4 (pow a 4)) (* x (+ (* x (* 1/36 (pow a 6))) (* (* 1/6 (pow a 3)) (* (* a a) -1/2))))) (+ (* 1/4 (pow a 4)) (* x (* (* (pow a 6) -1/36) x))) (+ (* a (* a 1/2)) (* x (* (pow a 3) -1/6))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (log (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (log (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (pow (* (sqrt (pow (exp a) a)) (pow (exp x) (* 1/6 (pow a 3)))) x) (pow (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) 3) (* (cbrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (cbrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (cbrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (pow (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) 3) (sqrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (sqrt (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (sqrt x)) (* (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (sqrt x)) (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))) (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))) (* x (* (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* x (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) x (* (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (cbrt x)) (* (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (sqrt x)) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* (pow a 6) 1/8) (* 1/216 (pow (* x (pow a 3)) 3)))) (* x (+ (* 1/4 (pow a 4)) (* x (* (* (pow a 6) -1/36) x)))) (* x (* 1/6 (pow a 3))) (log (* x (* 1/6 (pow a 3)))) (log (* x (* 1/6 (pow a 3)))) (log (* x (* 1/6 (pow a 3)))) (log (* x (* 1/6 (pow a 3)))) (log (* x (* 1/6 (pow a 3)))) (pow (exp x) (* 1/6 (pow a 3))) (* 1/216 (pow (* x (pow a 3)) 3)) (* 1/216 (pow (* x (pow a 3)) 3)) (* (cbrt (* x (* 1/6 (pow a 3)))) (cbrt (* x (* 1/6 (pow a 3))))) (cbrt (* x (* 1/6 (pow a 3)))) (* 1/216 (pow (* x (pow a 3)) 3)) (sqrt (* x (* 1/6 (pow a 3)))) (sqrt (* x (* 1/6 (pow a 3)))) (* x 1/6) (* 1/6 (* (pow a 3) (cbrt x))) (* 1/6 (* (pow a 3) (sqrt x))) (* x (* 1/6 (pow a 3))) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (log (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (log (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (pow (exp x) (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (pow (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) 3) (* (cbrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (cbrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (cbrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (pow (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) 3) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* (sqrt x) (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* (sqrt x) (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (* a x) (* x (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* a x) (* x (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* x (* (cbrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (cbrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (* x (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) x (* (cbrt x) (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* (sqrt x) (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* x (+ (pow a 3) (pow (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) 3))) (* x (+ (* a a) (* x (* (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (* x (+ (* x (* (pow a 3) -1/6)) (* (* a a) -1/2))))))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3))) (+ (* a x) (* a (* (* a 1/2) (* x x)))) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) 0.370 * * * [progress]: adding candidates to table 0.536 * * [progress]: iteration 3 / 4 0.536 * * * [progress]: picking best candidate 0.543 * * * * [pick]: Picked # 0.543 * * * [progress]: localizing error 0.551 * * * [progress]: generating rewritten candidates 0.551 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 0.557 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.562 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.575 * * * [progress]: generating series expansions 0.575 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 0.576 * [approximate]: Taking taylor expansion of (* 1/2 (* a (pow x 2))) in (a x) around 0 0.576 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow x 2))) in x 0.576 * [taylor]: Taking taylor expansion of 1/2 in x 0.576 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in x 0.576 * [taylor]: Taking taylor expansion of a in x 0.576 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow x 2))) in a 0.576 * [taylor]: Taking taylor expansion of 1/2 in a 0.576 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in a 0.576 * [taylor]: Taking taylor expansion of a in a 0.576 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.576 * [taylor]: Taking taylor expansion of x in a 0.576 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow x 2))) in a 0.576 * [taylor]: Taking taylor expansion of 1/2 in a 0.576 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in a 0.576 * [taylor]: Taking taylor expansion of a in a 0.576 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.576 * [taylor]: Taking taylor expansion of x in a 0.576 * [taylor]: Taking taylor expansion of 0 in x 0.576 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.576 * [taylor]: Taking taylor expansion of 1/2 in x 0.576 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.577 * [taylor]: Taking taylor expansion of 0 in x 0.577 * [taylor]: Taking taylor expansion of 0 in x 0.577 * [approximate]: Taking taylor expansion of (/ 1/2 (* a (pow x 2))) in (a x) around 0 0.577 * [taylor]: Taking taylor expansion of (/ 1/2 (* a (pow x 2))) in x 0.577 * [taylor]: Taking taylor expansion of 1/2 in x 0.577 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in x 0.577 * [taylor]: Taking taylor expansion of a in x 0.577 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.577 * [taylor]: Taking taylor expansion of (/ 1/2 (* a (pow x 2))) in a 0.577 * [taylor]: Taking taylor expansion of 1/2 in a 0.577 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in a 0.577 * [taylor]: Taking taylor expansion of a in a 0.577 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.577 * [taylor]: Taking taylor expansion of x in a 0.577 * [taylor]: Taking taylor expansion of (/ 1/2 (* a (pow x 2))) in a 0.577 * [taylor]: Taking taylor expansion of 1/2 in a 0.577 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in a 0.577 * [taylor]: Taking taylor expansion of a in a 0.577 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.578 * [taylor]: Taking taylor expansion of x in a 0.578 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 0.578 * [taylor]: Taking taylor expansion of 1/2 in x 0.578 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of 0 in x 0.578 * [taylor]: Taking taylor expansion of 0 in x 0.579 * [taylor]: Taking taylor expansion of 0 in x 0.580 * [taylor]: Taking taylor expansion of 0 in x 0.580 * [approximate]: Taking taylor expansion of (/ -1/2 (* a (pow x 2))) in (a x) around 0 0.580 * [taylor]: Taking taylor expansion of (/ -1/2 (* a (pow x 2))) in x 0.580 * [taylor]: Taking taylor expansion of -1/2 in x 0.580 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in x 0.580 * [taylor]: Taking taylor expansion of a in x 0.580 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (/ -1/2 (* a (pow x 2))) in a 0.580 * [taylor]: Taking taylor expansion of -1/2 in a 0.580 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in a 0.580 * [taylor]: Taking taylor expansion of a in a 0.580 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.580 * [taylor]: Taking taylor expansion of x in a 0.580 * [taylor]: Taking taylor expansion of (/ -1/2 (* a (pow x 2))) in a 0.580 * [taylor]: Taking taylor expansion of -1/2 in a 0.580 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in a 0.580 * [taylor]: Taking taylor expansion of a in a 0.580 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.580 * [taylor]: Taking taylor expansion of x in a 0.581 * [taylor]: Taking taylor expansion of (/ -1/2 (pow x 2)) in x 0.581 * [taylor]: Taking taylor expansion of -1/2 in x 0.581 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of 0 in x 0.581 * [taylor]: Taking taylor expansion of 0 in x 0.582 * [taylor]: Taking taylor expansion of 0 in x 0.582 * [taylor]: Taking taylor expansion of 0 in x 0.582 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.583 * [approximate]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in (a x) around 0 0.583 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in x 0.583 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in x 0.583 * [taylor]: Taking taylor expansion of 1/2 in x 0.583 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x 0.583 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.583 * [taylor]: Taking taylor expansion of a in x 0.583 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.583 * [taylor]: Taking taylor expansion of x in x 0.583 * [taylor]: Taking taylor expansion of (* a x) in x 0.583 * [taylor]: Taking taylor expansion of a in x 0.583 * [taylor]: Taking taylor expansion of x in x 0.583 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in a 0.583 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a 0.583 * [taylor]: Taking taylor expansion of 1/2 in a 0.583 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.583 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.583 * [taylor]: Taking taylor expansion of a in a 0.583 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.583 * [taylor]: Taking taylor expansion of x in a 0.583 * [taylor]: Taking taylor expansion of (* a x) in a 0.583 * [taylor]: Taking taylor expansion of a in a 0.583 * [taylor]: Taking taylor expansion of x in a 0.583 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in a 0.583 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a 0.583 * [taylor]: Taking taylor expansion of 1/2 in a 0.583 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.583 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.583 * [taylor]: Taking taylor expansion of a in a 0.583 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.583 * [taylor]: Taking taylor expansion of x in a 0.583 * [taylor]: Taking taylor expansion of (* a x) in a 0.583 * [taylor]: Taking taylor expansion of a in a 0.583 * [taylor]: Taking taylor expansion of x in a 0.583 * [taylor]: Taking taylor expansion of 0 in x 0.583 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.584 * [taylor]: Taking taylor expansion of 1/2 in x 0.584 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of 0 in x 0.584 * [taylor]: Taking taylor expansion of 0 in x 0.584 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in (a x) around 0 0.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in x 0.584 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.584 * [taylor]: Taking taylor expansion of (* a x) in x 0.584 * [taylor]: Taking taylor expansion of a in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x 0.585 * [taylor]: Taking taylor expansion of 1/2 in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x 0.585 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x 0.585 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.585 * [taylor]: Taking taylor expansion of a in x 0.585 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a 0.585 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.585 * [taylor]: Taking taylor expansion of (* a x) in a 0.585 * [taylor]: Taking taylor expansion of a in a 0.585 * [taylor]: Taking taylor expansion of x in a 0.585 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a 0.585 * [taylor]: Taking taylor expansion of 1/2 in a 0.585 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a 0.585 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.585 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.585 * [taylor]: Taking taylor expansion of a in a 0.585 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.585 * [taylor]: Taking taylor expansion of x in a 0.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a 0.585 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.585 * [taylor]: Taking taylor expansion of (* a x) in a 0.585 * [taylor]: Taking taylor expansion of a in a 0.585 * [taylor]: Taking taylor expansion of x in a 0.585 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a 0.585 * [taylor]: Taking taylor expansion of 1/2 in a 0.585 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a 0.585 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.585 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.585 * [taylor]: Taking taylor expansion of a in a 0.585 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.585 * [taylor]: Taking taylor expansion of x in a 0.586 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 0.586 * [taylor]: Taking taylor expansion of 1/2 in x 0.586 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.586 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.587 * [taylor]: Taking taylor expansion of 0 in x 0.587 * [taylor]: Taking taylor expansion of 0 in x 0.588 * [taylor]: Taking taylor expansion of 0 in x 0.589 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in (a x) around 0 0.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.589 * [taylor]: Taking taylor expansion of (* a x) in x 0.589 * [taylor]: Taking taylor expansion of a in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x 0.589 * [taylor]: Taking taylor expansion of 1/2 in x 0.589 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x 0.589 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x 0.589 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.589 * [taylor]: Taking taylor expansion of a in x 0.589 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a 0.589 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.589 * [taylor]: Taking taylor expansion of (* a x) in a 0.589 * [taylor]: Taking taylor expansion of a in a 0.589 * [taylor]: Taking taylor expansion of x in a 0.589 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a 0.589 * [taylor]: Taking taylor expansion of 1/2 in a 0.589 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a 0.590 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.590 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.590 * [taylor]: Taking taylor expansion of a in a 0.590 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.590 * [taylor]: Taking taylor expansion of x in a 0.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a 0.590 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.590 * [taylor]: Taking taylor expansion of (* a x) in a 0.590 * [taylor]: Taking taylor expansion of a in a 0.590 * [taylor]: Taking taylor expansion of x in a 0.590 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a 0.590 * [taylor]: Taking taylor expansion of 1/2 in a 0.590 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a 0.590 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.590 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.590 * [taylor]: Taking taylor expansion of a in a 0.590 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.590 * [taylor]: Taking taylor expansion of x in a 0.590 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 0.590 * [taylor]: Taking taylor expansion of 1/2 in x 0.590 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.590 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.590 * [taylor]: Taking taylor expansion of x in x 0.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.591 * [taylor]: Taking taylor expansion of 0 in x 0.592 * [taylor]: Taking taylor expansion of 0 in x 0.593 * [taylor]: Taking taylor expansion of 0 in x 0.593 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.593 * [approximate]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in (a x) around 0 0.593 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in x 0.593 * [taylor]: Taking taylor expansion of 1/2 in x 0.593 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x 0.593 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.593 * [taylor]: Taking taylor expansion of a in x 0.593 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.593 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a 0.593 * [taylor]: Taking taylor expansion of 1/2 in a 0.593 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.593 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.593 * [taylor]: Taking taylor expansion of a in a 0.593 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.593 * [taylor]: Taking taylor expansion of x in a 0.593 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a 0.593 * [taylor]: Taking taylor expansion of 1/2 in a 0.593 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.593 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.593 * [taylor]: Taking taylor expansion of a in a 0.593 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.594 * [taylor]: Taking taylor expansion of x in a 0.594 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.594 * [taylor]: Taking taylor expansion of 1/2 in x 0.594 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.594 * [taylor]: Taking taylor expansion of x in x 0.594 * [taylor]: Taking taylor expansion of 0 in x 0.594 * [taylor]: Taking taylor expansion of 0 in x 0.594 * [taylor]: Taking taylor expansion of 0 in x 0.595 * [approximate]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in (a x) around 0 0.595 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in x 0.595 * [taylor]: Taking taylor expansion of 1/2 in x 0.595 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x 0.595 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.595 * [taylor]: Taking taylor expansion of a in x 0.595 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.595 * [taylor]: Taking taylor expansion of x in x 0.595 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in a 0.595 * [taylor]: Taking taylor expansion of 1/2 in a 0.595 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.595 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.595 * [taylor]: Taking taylor expansion of a in a 0.595 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.595 * [taylor]: Taking taylor expansion of x in a 0.595 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in a 0.595 * [taylor]: Taking taylor expansion of 1/2 in a 0.595 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.595 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.595 * [taylor]: Taking taylor expansion of a in a 0.595 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.595 * [taylor]: Taking taylor expansion of x in a 0.595 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 0.595 * [taylor]: Taking taylor expansion of 1/2 in x 0.595 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.595 * [taylor]: Taking taylor expansion of x in x 0.596 * [taylor]: Taking taylor expansion of 0 in x 0.596 * [taylor]: Taking taylor expansion of 0 in x 0.597 * [taylor]: Taking taylor expansion of 0 in x 0.597 * [taylor]: Taking taylor expansion of 0 in x 0.598 * [approximate]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in (a x) around 0 0.598 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in x 0.598 * [taylor]: Taking taylor expansion of 1/2 in x 0.598 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x 0.598 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.598 * [taylor]: Taking taylor expansion of a in x 0.598 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.598 * [taylor]: Taking taylor expansion of x in x 0.598 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in a 0.598 * [taylor]: Taking taylor expansion of 1/2 in a 0.598 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.598 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.598 * [taylor]: Taking taylor expansion of a in a 0.598 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.598 * [taylor]: Taking taylor expansion of x in a 0.598 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in a 0.598 * [taylor]: Taking taylor expansion of 1/2 in a 0.598 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a 0.598 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.598 * [taylor]: Taking taylor expansion of a in a 0.598 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.598 * [taylor]: Taking taylor expansion of x in a 0.598 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x 0.598 * [taylor]: Taking taylor expansion of 1/2 in x 0.598 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.598 * [taylor]: Taking taylor expansion of x in x 0.599 * [taylor]: Taking taylor expansion of 0 in x 0.599 * [taylor]: Taking taylor expansion of 0 in x 0.600 * [taylor]: Taking taylor expansion of 0 in x 0.600 * [taylor]: Taking taylor expansion of 0 in x 0.600 * * * [progress]: simplifying candidates 0.601 * [simplify]: Simplifying using # : (* (* a 1/2) (* x x)) (* (* a 1/2) (* x x)) (* (* a 1/2) (* x x)) (* (* a 1/2) (* x x)) (+ (+ (log a) (log 1/2)) (+ (log x) (log x))) (+ (+ (log a) (log 1/2)) (log (* x x))) (+ (log (* a 1/2)) (+ (log x) (log x))) (+ (log (* a 1/2)) (log (* x x))) (log (* (* a 1/2) (* x x))) (exp (* (* a 1/2) (* x x))) (* (* (* (* a a) a) (* (* 1/2 1/2) 1/2)) (* (* (* x x) x) (* (* x x) x))) (* (* (* (* a a) a) (* (* 1/2 1/2) 1/2)) (* (* (* x x) (* x x)) (* x x))) (* (* (* (* a 1/2) (* a 1/2)) (* a 1/2)) (* (* (* x x) x) (* (* x x) x))) (* (* (* (* a 1/2) (* a 1/2)) (* a 1/2)) (* (* (* x x) (* x x)) (* x x))) (* (cbrt (* (* a 1/2) (* x x))) (cbrt (* (* a 1/2) (* x x)))) (cbrt (* (* a 1/2) (* x x))) (* (* (* (* a 1/2) (* x x)) (* (* a 1/2) (* x x))) (* (* a 1/2) (* x x))) (sqrt (* (* a 1/2) (* x x))) (sqrt (* (* a 1/2) (* x x))) (* (* a 1/2) x) (* 1/2 (* x x)) (* (exp (* a x)) (exp (* a (* (* a 1/2) (* x x))))) (log (+ (* a x) (* a (* (* a 1/2) (* x x))))) (exp (+ (* a x) (* a (* (* a 1/2) (* x x))))) (* (cbrt (+ (* a x) (* a (* (* a 1/2) (* x x))))) (cbrt (+ (* a x) (* a (* (* a 1/2) (* x x)))))) (cbrt (+ (* a x) (* a (* (* a 1/2) (* x x))))) (* (* (+ (* a x) (* a (* (* a 1/2) (* x x)))) (+ (* a x) (* a (* (* a 1/2) (* x x))))) (+ (* a x) (* a (* (* a 1/2) (* x x))))) (sqrt (+ (* a x) (* a (* (* a 1/2) (* x x))))) (sqrt (+ (* a x) (* a (* (* a 1/2) (* x x))))) (+ (pow (* a x) 3) (pow (* a (* (* a 1/2) (* x x))) 3)) (+ (* (* a x) (* a x)) (- (* (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x)))) (* (* a x) (* a (* (* a 1/2) (* x x)))))) (- (* (* a x) (* a x)) (* (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x))))) (- (* a x) (* a (* (* a 1/2) (* x x)))) (+ x (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x))) (+ (log a) (+ (+ (log a) (log 1/2)) (+ (log x) (log x)))) (+ (log a) (+ (+ (log a) (log 1/2)) (log (* x x)))) (+ (log a) (+ (log (* a 1/2)) (+ (log x) (log x)))) (+ (log a) (+ (log (* a 1/2)) (log (* x x)))) (+ (log a) (log (* (* a 1/2) (* x x)))) (log (* a (* (* a 1/2) (* x x)))) (exp (* a (* (* a 1/2) (* x x)))) (* (* (* a a) a) (* (* (* (* a a) a) (* (* 1/2 1/2) 1/2)) (* (* (* x x) x) (* (* x x) x)))) (* (* (* a a) a) (* (* (* (* a a) a) (* (* 1/2 1/2) 1/2)) (* (* (* x x) (* x x)) (* x x)))) (* (* (* a a) a) (* (* (* (* a 1/2) (* a 1/2)) (* a 1/2)) (* (* (* x x) x) (* (* x x) x)))) (* (* (* a a) a) (* (* (* (* a 1/2) (* a 1/2)) (* a 1/2)) (* (* (* x x) (* x x)) (* x x)))) (* (* (* a a) a) (* (* (* (* a 1/2) (* x x)) (* (* a 1/2) (* x x))) (* (* a 1/2) (* x x)))) (* (cbrt (* a (* (* a 1/2) (* x x)))) (cbrt (* a (* (* a 1/2) (* x x))))) (cbrt (* a (* (* a 1/2) (* x x)))) (* (* (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x)))) (* a (* (* a 1/2) (* x x)))) (sqrt (* a (* (* a 1/2) (* x x)))) (sqrt (* a (* (* a 1/2) (* x x)))) (* a (* a 1/2)) (* (cbrt a) (* (* a 1/2) (* x x))) (* (sqrt a) (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x))) (* 1/2 (* a (pow x 2))) (* 1/2 (* a (pow x 2))) (* 1/2 (* a (pow x 2))) (* a x) (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) (* 1/2 (* (pow a 2) (pow x 2))) (* 1/2 (* (pow a 2) (pow x 2))) (* 1/2 (* (pow a 2) (pow x 2))) 0.642 * * [simplify]: iteration 0 : 4991 enodes (cost 683 ) 0.642 * * [simplify]: iteration 1 : 4991 enodes (cost 683 ) 0.645 * [simplify]: Simplified to: (* a (* 1/2 (* x x))) (* a (* 1/2 (* x x))) (* a (* 1/2 (* x x))) (* a (* 1/2 (* x x))) (log (* a (* 1/2 (* x x)))) (log (* a (* 1/2 (* x x)))) (log (* a (* 1/2 (* x x)))) (log (* a (* 1/2 (* x x)))) (log (* a (* 1/2 (* x x)))) (pow (sqrt (exp a)) (* x x)) (* (pow a 3) (* 1/8 (pow x 6))) (* (pow a 3) (* 1/8 (pow x 6))) (* (pow a 3) (* 1/8 (pow x 6))) (* (pow a 3) (* 1/8 (pow x 6))) (* (cbrt (* a (* 1/2 (* x x)))) (cbrt (* a (* 1/2 (* x x))))) (cbrt (* a (* 1/2 (* x x)))) (* (pow a 3) (* 1/8 (pow x 6))) (sqrt (* a (* 1/2 (* x x)))) (sqrt (* a (* 1/2 (* x x)))) (* a (* 1/2 x)) (* 1/2 (* x x)) (pow (pow (exp a) x) (+ (* a (* 1/2 x)) 1)) (log (* a (+ x (* a (* 1/2 (* x x)))))) (pow (pow (exp a) x) (+ (* a (* 1/2 x)) 1)) (* (cbrt (* a (+ x (* a (* 1/2 (* x x)))))) (cbrt (* a (+ x (* a (* 1/2 (* x x))))))) (cbrt (* a (+ x (* a (* 1/2 (* x x)))))) (pow (* a (+ x (* a (* 1/2 (* x x))))) 3) (sqrt (* a (+ x (* a (* 1/2 (* x x)))))) (sqrt (* a (+ x (* a (* 1/2 (* x x)))))) (+ (pow (* a x) 3) (* 1/8 (* (pow x 6) (pow a 6)))) (+ (* a (* a (* x x))) (+ (* 1/4 (* (pow x 4) (pow a 4))) (* (pow (* a x) 3) -1/2))) (+ (* a (* a (* x x))) (* (pow x 4) (* (pow a 4) -1/4))) (* a (+ x (* a (* x (* x -1/2))))) (+ x (* a (* 1/2 (* x x)))) (* a (* a (* 1/2 (* x x)))) (* a (* a (* 1/2 (* x x)))) (* a (* a (* 1/2 (* x x)))) (* a (* a (* 1/2 (* x x)))) (* a (* a (* 1/2 (* x x)))) (log (* a (* a (* 1/2 (* x x))))) (log (* a (* a (* 1/2 (* x x))))) (log (* a (* a (* 1/2 (* x x))))) (log (* a (* a (* 1/2 (* x x))))) (log (* a (* a (* 1/2 (* x x))))) (log (* a (* a (* 1/2 (* x x))))) (pow (pow (sqrt (exp a)) (* x x)) a) (* 1/8 (* (pow x 6) (pow a 6))) (* 1/8 (* (pow x 6) (pow a 6))) (* 1/8 (* (pow x 6) (pow a 6))) (* 1/8 (* (pow x 6) (pow a 6))) (* 1/8 (* (pow x 6) (pow a 6))) (* (cbrt (* a (* a (* 1/2 (* x x))))) (cbrt (* a (* a (* 1/2 (* x x)))))) (cbrt (* a (* a (* 1/2 (* x x))))) (* 1/8 (* (pow x 6) (pow a 6))) (sqrt (* a (* a (* 1/2 (* x x))))) (sqrt (* a (* a (* 1/2 (* x x))))) (* a (* a 1/2)) (* a (* (* 1/2 (* x x)) (cbrt a))) (* x (* x (* 1/2 (pow a 3/2)))) (* a (* a (* 1/2 (* x x)))) (* a (* 1/2 (* x x))) (* a (* 1/2 (* x x))) (* a (* 1/2 (* x x))) (* a x) (* a (+ x (* a (* 1/2 (* x x))))) (* a (+ x (* a (* 1/2 (* x x))))) (* a (* a (* 1/2 (* x x)))) (* a (* a (* 1/2 (* x x)))) (* a (* a (* 1/2 (* x x)))) 0.645 * * * [progress]: adding candidates to table 0.747 * * [progress]: iteration 4 / 4 0.747 * * * [progress]: picking best candidate 0.751 * * * * [pick]: Picked # 0.752 * * * [progress]: localizing error 0.768 * * * [progress]: generating rewritten candidates 0.768 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.772 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.776 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 2) 0.782 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2) 0.789 * * * [progress]: generating series expansions 0.789 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.789 * [approximate]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in (x a) around 0 0.789 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in a 0.789 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in a 0.789 * [taylor]: Taking taylor expansion of x in a 0.789 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in a 0.789 * [taylor]: Taking taylor expansion of a in a 0.789 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a 0.789 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a 0.789 * [taylor]: Taking taylor expansion of 1/6 in a 0.789 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.789 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.789 * [taylor]: Taking taylor expansion of a in a 0.789 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.789 * [taylor]: Taking taylor expansion of x in a 0.789 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a 0.789 * [taylor]: Taking taylor expansion of 1/2 in a 0.789 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.789 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.789 * [taylor]: Taking taylor expansion of a in a 0.789 * [taylor]: Taking taylor expansion of x in a 0.789 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in x 0.789 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x 0.789 * [taylor]: Taking taylor expansion of a in x 0.790 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x 0.790 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.790 * [taylor]: Taking taylor expansion of 1/6 in x 0.790 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.790 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.790 * [taylor]: Taking taylor expansion of a in x 0.790 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.790 * [taylor]: Taking taylor expansion of x in x 0.790 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.790 * [taylor]: Taking taylor expansion of 1/2 in x 0.790 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.790 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.790 * [taylor]: Taking taylor expansion of a in x 0.790 * [taylor]: Taking taylor expansion of x in x 0.790 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in x 0.790 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x 0.790 * [taylor]: Taking taylor expansion of x in x 0.790 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x 0.790 * [taylor]: Taking taylor expansion of a in x 0.790 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x 0.790 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.790 * [taylor]: Taking taylor expansion of 1/6 in x 0.790 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.790 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.790 * [taylor]: Taking taylor expansion of a in x 0.790 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.790 * [taylor]: Taking taylor expansion of x in x 0.790 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.790 * [taylor]: Taking taylor expansion of 1/2 in x 0.790 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.791 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.791 * [taylor]: Taking taylor expansion of a in x 0.791 * [taylor]: Taking taylor expansion of x in x 0.791 * [taylor]: Taking taylor expansion of 0 in a 0.791 * [taylor]: Taking taylor expansion of (* NAN a) in a 0.791 * [taylor]: Taking taylor expansion of NAN in a 0.791 * [taylor]: Taking taylor expansion of a in a 0.792 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (pow a 2)) (* (pow a 2) (pow NAN 2)))) in a 0.792 * [taylor]: Taking taylor expansion of NAN in a 0.792 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow a 2)) (* (pow a 2) (pow NAN 2))) in a 0.792 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.792 * [taylor]: Taking taylor expansion of 1/2 in a 0.792 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.792 * [taylor]: Taking taylor expansion of a in a 0.792 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow NAN 2)) in a 0.792 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.792 * [taylor]: Taking taylor expansion of a in a 0.792 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.792 * [taylor]: Taking taylor expansion of NAN in a 0.793 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) (* (pow a 3) (pow NAN 2)))) in a 0.793 * [taylor]: Taking taylor expansion of NAN in a 0.793 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) (* (pow a 3) (pow NAN 2))) in a 0.793 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) in a 0.793 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 0.793 * [taylor]: Taking taylor expansion of 1/6 in a 0.793 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.793 * [taylor]: Taking taylor expansion of a in a 0.793 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 3) (pow NAN 4))) in a 0.793 * [taylor]: Taking taylor expansion of 2 in a 0.793 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 4)) in a 0.793 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.793 * [taylor]: Taking taylor expansion of a in a 0.793 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.793 * [taylor]: Taking taylor expansion of NAN in a 0.793 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 2)) in a 0.793 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.793 * [taylor]: Taking taylor expansion of a in a 0.793 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.793 * [taylor]: Taking taylor expansion of NAN in a 0.795 * [taylor]: Taking taylor expansion of (* NAN (- (* 3 (* (pow a 4) (pow NAN 4))) (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2)))))) in a 0.795 * [taylor]: Taking taylor expansion of NAN in a 0.795 * [taylor]: Taking taylor expansion of (- (* 3 (* (pow a 4) (pow NAN 4))) (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2))))) in a 0.795 * [taylor]: Taking taylor expansion of (* 3 (* (pow a 4) (pow NAN 4))) in a 0.795 * [taylor]: Taking taylor expansion of 3 in a 0.795 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 4)) in a 0.795 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.795 * [taylor]: Taking taylor expansion of a in a 0.795 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.795 * [taylor]: Taking taylor expansion of NAN in a 0.795 * [taylor]: Taking taylor expansion of (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2)))) in a 0.795 * [taylor]: Taking taylor expansion of (* 5 (* (pow a 4) (pow NAN 6))) in a 0.795 * [taylor]: Taking taylor expansion of 5 in a 0.795 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 6)) in a 0.795 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.795 * [taylor]: Taking taylor expansion of a in a 0.795 * [taylor]: Taking taylor expansion of (pow NAN 6) in a 0.795 * [taylor]: Taking taylor expansion of NAN in a 0.795 * [taylor]: Taking taylor expansion of (* 7/12 (* (pow a 4) (pow NAN 2))) in a 0.795 * [taylor]: Taking taylor expansion of 7/12 in a 0.795 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 2)) in a 0.795 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.795 * [taylor]: Taking taylor expansion of a in a 0.795 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.795 * [taylor]: Taking taylor expansion of NAN in a 0.798 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6)))))) in a 0.798 * [taylor]: Taking taylor expansion of NAN in a 0.798 * [taylor]: Taking taylor expansion of (- (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6))))) in a 0.798 * [taylor]: Taking taylor expansion of (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) in a 0.798 * [taylor]: Taking taylor expansion of (* 14 (* (pow a 5) (pow NAN 8))) in a 0.798 * [taylor]: Taking taylor expansion of 14 in a 0.798 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 8)) in a 0.798 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.798 * [taylor]: Taking taylor expansion of a in a 0.798 * [taylor]: Taking taylor expansion of (pow NAN 8) in a 0.798 * [taylor]: Taking taylor expansion of NAN in a 0.798 * [taylor]: Taking taylor expansion of (* 5/2 (* (pow a 5) (pow NAN 4))) in a 0.798 * [taylor]: Taking taylor expansion of 5/2 in a 0.798 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 4)) in a 0.798 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.798 * [taylor]: Taking taylor expansion of a in a 0.798 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.798 * [taylor]: Taking taylor expansion of NAN in a 0.798 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6)))) in a 0.798 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 5) (pow NAN 2))) in a 0.798 * [taylor]: Taking taylor expansion of 1/6 in a 0.799 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 2)) in a 0.799 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.799 * [taylor]: Taking taylor expansion of a in a 0.799 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.799 * [taylor]: Taking taylor expansion of NAN in a 0.799 * [taylor]: Taking taylor expansion of (* 10 (* (pow a 5) (pow NAN 6))) in a 0.799 * [taylor]: Taking taylor expansion of 10 in a 0.799 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 6)) in a 0.799 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.799 * [taylor]: Taking taylor expansion of a in a 0.799 * [taylor]: Taking taylor expansion of (pow NAN 6) in a 0.799 * [taylor]: Taking taylor expansion of NAN in a 0.802 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10))))))) in a 0.802 * [taylor]: Taking taylor expansion of NAN in a 0.802 * [taylor]: Taking taylor expansion of (- (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10)))))) in a 0.802 * [taylor]: Taking taylor expansion of (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) in a 0.802 * [taylor]: Taking taylor expansion of (* 5/4 (* (pow a 6) (pow NAN 4))) in a 0.802 * [taylor]: Taking taylor expansion of 5/4 in a 0.803 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 4)) in a 0.803 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.803 * [taylor]: Taking taylor expansion of NAN in a 0.803 * [taylor]: Taking taylor expansion of (* 35 (* (pow a 6) (pow NAN 8))) in a 0.803 * [taylor]: Taking taylor expansion of 35 in a 0.803 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 8)) in a 0.803 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * [taylor]: Taking taylor expansion of (pow NAN 8) in a 0.803 * [taylor]: Taking taylor expansion of NAN in a 0.803 * [taylor]: Taking taylor expansion of (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10))))) in a 0.803 * [taylor]: Taking taylor expansion of (* 1/36 (* (pow a 6) (pow NAN 2))) in a 0.803 * [taylor]: Taking taylor expansion of 1/36 in a 0.803 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 2)) in a 0.803 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.803 * [taylor]: Taking taylor expansion of NAN in a 0.803 * [taylor]: Taking taylor expansion of (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10)))) in a 0.803 * [taylor]: Taking taylor expansion of (* 65/6 (* (pow a 6) (pow NAN 6))) in a 0.803 * [taylor]: Taking taylor expansion of 65/6 in a 0.803 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 6)) in a 0.803 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * [taylor]: Taking taylor expansion of (pow NAN 6) in a 0.803 * [taylor]: Taking taylor expansion of NAN in a 0.803 * [taylor]: Taking taylor expansion of (* 42 (* (pow a 6) (pow NAN 10))) in a 0.803 * [taylor]: Taking taylor expansion of 42 in a 0.803 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 10)) in a 0.803 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.803 * [taylor]: Taking taylor expansion of a in a 0.803 * [taylor]: Taking taylor expansion of (pow NAN 10) in a 0.803 * [taylor]: Taking taylor expansion of NAN in a 0.805 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in (x a) around 0 0.805 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in a 0.805 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in a 0.805 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a 0.805 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.805 * [taylor]: Taking taylor expansion of 1/2 in a 0.805 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.805 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.805 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.805 * [taylor]: Taking taylor expansion of a in a 0.805 * [taylor]: Taking taylor expansion of x in a 0.805 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.805 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.805 * [taylor]: Taking taylor expansion of a in a 0.805 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.805 * [taylor]: Taking taylor expansion of 1/6 in a 0.805 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.805 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.805 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.806 * [taylor]: Taking taylor expansion of a in a 0.806 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.806 * [taylor]: Taking taylor expansion of x in a 0.806 * [taylor]: Taking taylor expansion of x in a 0.806 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x 0.806 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.806 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.806 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.806 * [taylor]: Taking taylor expansion of 1/2 in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.806 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.806 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.806 * [taylor]: Taking taylor expansion of a in x 0.806 * [taylor]: Taking taylor expansion of x in x 0.806 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.806 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.806 * [taylor]: Taking taylor expansion of a in x 0.807 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.807 * [taylor]: Taking taylor expansion of 1/6 in x 0.807 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.807 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.807 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.807 * [taylor]: Taking taylor expansion of a in x 0.807 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.807 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x 0.807 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.807 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.807 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.807 * [taylor]: Taking taylor expansion of 1/2 in x 0.807 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.807 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.807 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.807 * [taylor]: Taking taylor expansion of a in x 0.807 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.808 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.808 * [taylor]: Taking taylor expansion of a in x 0.808 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.808 * [taylor]: Taking taylor expansion of 1/6 in x 0.808 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.808 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.808 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.808 * [taylor]: Taking taylor expansion of a in x 0.808 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of x in x 0.808 * [taylor]: Taking taylor expansion of 0 in a 0.808 * [taylor]: Taking taylor expansion of (/ NAN (pow a 3)) in a 0.808 * [taylor]: Taking taylor expansion of NAN in a 0.808 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.808 * [taylor]: Taking taylor expansion of a in a 0.809 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6)))) in a 0.809 * [taylor]: Taking taylor expansion of NAN in a 0.809 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6))) in a 0.809 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.809 * [taylor]: Taking taylor expansion of 1/2 in a 0.809 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.809 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.809 * [taylor]: Taking taylor expansion of a in a 0.809 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 6)) in a 0.809 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.809 * [taylor]: Taking taylor expansion of NAN in a 0.809 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.809 * [taylor]: Taking taylor expansion of a in a 0.812 * [taylor]: Taking taylor expansion of (* NAN (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5)))) in a 0.812 * [taylor]: Taking taylor expansion of NAN in a 0.812 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5))) in a 0.812 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) in a 0.812 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.812 * [taylor]: Taking taylor expansion of a in a 0.812 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow a 9))) in a 0.812 * [taylor]: Taking taylor expansion of 2 in a 0.812 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow a 9)) in a 0.812 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.812 * [taylor]: Taking taylor expansion of NAN in a 0.812 * [taylor]: Taking taylor expansion of (pow a 9) in a 0.812 * [taylor]: Taking taylor expansion of a in a 0.813 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 5)) in a 0.813 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.813 * [taylor]: Taking taylor expansion of NAN in a 0.813 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.813 * [taylor]: Taking taylor expansion of a in a 0.821 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in (x a) around 0 0.821 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in a 0.821 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in a 0.821 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a 0.821 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.821 * [taylor]: Taking taylor expansion of 1/2 in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.821 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.821 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.821 * [taylor]: Taking taylor expansion of a in a 0.821 * [taylor]: Taking taylor expansion of x in a 0.821 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.821 * [taylor]: Taking taylor expansion of a in a 0.821 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.821 * [taylor]: Taking taylor expansion of 1/6 in a 0.821 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.821 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.821 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.821 * [taylor]: Taking taylor expansion of a in a 0.821 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.821 * [taylor]: Taking taylor expansion of x in a 0.821 * [taylor]: Taking taylor expansion of x in a 0.822 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x 0.822 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.822 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.822 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.822 * [taylor]: Taking taylor expansion of 1/2 in x 0.822 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.822 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.822 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.822 * [taylor]: Taking taylor expansion of a in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.822 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.822 * [taylor]: Taking taylor expansion of a in x 0.822 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.822 * [taylor]: Taking taylor expansion of 1/6 in x 0.822 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.822 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.822 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.822 * [taylor]: Taking taylor expansion of a in x 0.822 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.822 * [taylor]: Taking taylor expansion of x in x 0.823 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x 0.823 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.823 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.823 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.823 * [taylor]: Taking taylor expansion of 1/2 in x 0.823 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.823 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.823 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.823 * [taylor]: Taking taylor expansion of a in x 0.823 * [taylor]: Taking taylor expansion of x in x 0.823 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.823 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.823 * [taylor]: Taking taylor expansion of a in x 0.823 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.823 * [taylor]: Taking taylor expansion of 1/6 in x 0.823 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.823 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.823 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.823 * [taylor]: Taking taylor expansion of a in x 0.823 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.823 * [taylor]: Taking taylor expansion of x in x 0.823 * [taylor]: Taking taylor expansion of x in x 0.824 * [taylor]: Taking taylor expansion of 0 in a 0.824 * [taylor]: Taking taylor expansion of (/ NAN (pow a 3)) in a 0.824 * [taylor]: Taking taylor expansion of NAN in a 0.824 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.824 * [taylor]: Taking taylor expansion of a in a 0.825 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6)))) in a 0.825 * [taylor]: Taking taylor expansion of NAN in a 0.825 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6))) in a 0.825 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.825 * [taylor]: Taking taylor expansion of 1/2 in a 0.825 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.825 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.825 * [taylor]: Taking taylor expansion of a in a 0.825 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 6)) in a 0.825 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.825 * [taylor]: Taking taylor expansion of NAN in a 0.825 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.825 * [taylor]: Taking taylor expansion of a in a 0.828 * [taylor]: Taking taylor expansion of (* NAN (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5)))) in a 0.828 * [taylor]: Taking taylor expansion of NAN in a 0.828 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5))) in a 0.828 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) in a 0.828 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.828 * [taylor]: Taking taylor expansion of a in a 0.828 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow a 9))) in a 0.828 * [taylor]: Taking taylor expansion of 2 in a 0.828 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow a 9)) in a 0.828 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.828 * [taylor]: Taking taylor expansion of NAN in a 0.828 * [taylor]: Taking taylor expansion of (pow a 9) in a 0.828 * [taylor]: Taking taylor expansion of a in a 0.828 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 5)) in a 0.828 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.828 * [taylor]: Taking taylor expansion of NAN in a 0.828 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.828 * [taylor]: Taking taylor expansion of a in a 0.834 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.834 * [approximate]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in (x a) around 0 0.834 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in a 0.834 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in a 0.834 * [taylor]: Taking taylor expansion of x in a 0.834 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in a 0.834 * [taylor]: Taking taylor expansion of a in a 0.834 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a 0.834 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a 0.834 * [taylor]: Taking taylor expansion of 1/6 in a 0.834 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.834 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.834 * [taylor]: Taking taylor expansion of a in a 0.834 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.834 * [taylor]: Taking taylor expansion of x in a 0.834 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a 0.834 * [taylor]: Taking taylor expansion of 1/2 in a 0.834 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.834 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.834 * [taylor]: Taking taylor expansion of a in a 0.834 * [taylor]: Taking taylor expansion of x in a 0.834 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in x 0.834 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x 0.835 * [taylor]: Taking taylor expansion of a in x 0.835 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x 0.835 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.835 * [taylor]: Taking taylor expansion of 1/6 in x 0.835 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.835 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.835 * [taylor]: Taking taylor expansion of a in x 0.835 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.835 * [taylor]: Taking taylor expansion of x in x 0.835 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.835 * [taylor]: Taking taylor expansion of 1/2 in x 0.835 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.835 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.835 * [taylor]: Taking taylor expansion of a in x 0.835 * [taylor]: Taking taylor expansion of x in x 0.835 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in x 0.835 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x 0.835 * [taylor]: Taking taylor expansion of x in x 0.835 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x 0.835 * [taylor]: Taking taylor expansion of a in x 0.835 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x 0.835 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.835 * [taylor]: Taking taylor expansion of 1/6 in x 0.835 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.835 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.835 * [taylor]: Taking taylor expansion of a in x 0.835 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.835 * [taylor]: Taking taylor expansion of x in x 0.835 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.835 * [taylor]: Taking taylor expansion of 1/2 in x 0.835 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.835 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.835 * [taylor]: Taking taylor expansion of a in x 0.836 * [taylor]: Taking taylor expansion of x in x 0.836 * [taylor]: Taking taylor expansion of 0 in a 0.836 * [taylor]: Taking taylor expansion of (* NAN a) in a 0.836 * [taylor]: Taking taylor expansion of NAN in a 0.836 * [taylor]: Taking taylor expansion of a in a 0.837 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (pow a 2)) (* (pow a 2) (pow NAN 2)))) in a 0.837 * [taylor]: Taking taylor expansion of NAN in a 0.837 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow a 2)) (* (pow a 2) (pow NAN 2))) in a 0.837 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.837 * [taylor]: Taking taylor expansion of 1/2 in a 0.837 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.837 * [taylor]: Taking taylor expansion of a in a 0.837 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow NAN 2)) in a 0.837 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.837 * [taylor]: Taking taylor expansion of a in a 0.837 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.837 * [taylor]: Taking taylor expansion of NAN in a 0.838 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) (* (pow a 3) (pow NAN 2)))) in a 0.838 * [taylor]: Taking taylor expansion of NAN in a 0.838 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) (* (pow a 3) (pow NAN 2))) in a 0.838 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) in a 0.838 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 0.838 * [taylor]: Taking taylor expansion of 1/6 in a 0.838 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.838 * [taylor]: Taking taylor expansion of a in a 0.838 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 3) (pow NAN 4))) in a 0.838 * [taylor]: Taking taylor expansion of 2 in a 0.838 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 4)) in a 0.838 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.838 * [taylor]: Taking taylor expansion of a in a 0.838 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.838 * [taylor]: Taking taylor expansion of NAN in a 0.838 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 2)) in a 0.838 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.838 * [taylor]: Taking taylor expansion of a in a 0.838 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.838 * [taylor]: Taking taylor expansion of NAN in a 0.840 * [taylor]: Taking taylor expansion of (* NAN (- (* 3 (* (pow a 4) (pow NAN 4))) (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2)))))) in a 0.840 * [taylor]: Taking taylor expansion of NAN in a 0.840 * [taylor]: Taking taylor expansion of (- (* 3 (* (pow a 4) (pow NAN 4))) (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2))))) in a 0.840 * [taylor]: Taking taylor expansion of (* 3 (* (pow a 4) (pow NAN 4))) in a 0.840 * [taylor]: Taking taylor expansion of 3 in a 0.840 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 4)) in a 0.840 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.840 * [taylor]: Taking taylor expansion of a in a 0.840 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.840 * [taylor]: Taking taylor expansion of NAN in a 0.840 * [taylor]: Taking taylor expansion of (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2)))) in a 0.840 * [taylor]: Taking taylor expansion of (* 5 (* (pow a 4) (pow NAN 6))) in a 0.840 * [taylor]: Taking taylor expansion of 5 in a 0.840 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 6)) in a 0.840 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.840 * [taylor]: Taking taylor expansion of a in a 0.840 * [taylor]: Taking taylor expansion of (pow NAN 6) in a 0.840 * [taylor]: Taking taylor expansion of NAN in a 0.840 * [taylor]: Taking taylor expansion of (* 7/12 (* (pow a 4) (pow NAN 2))) in a 0.840 * [taylor]: Taking taylor expansion of 7/12 in a 0.840 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 2)) in a 0.840 * [taylor]: Taking taylor expansion of (pow a 4) in a 0.840 * [taylor]: Taking taylor expansion of a in a 0.840 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.840 * [taylor]: Taking taylor expansion of NAN in a 0.843 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6)))))) in a 0.843 * [taylor]: Taking taylor expansion of NAN in a 0.843 * [taylor]: Taking taylor expansion of (- (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6))))) in a 0.843 * [taylor]: Taking taylor expansion of (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) in a 0.843 * [taylor]: Taking taylor expansion of (* 14 (* (pow a 5) (pow NAN 8))) in a 0.843 * [taylor]: Taking taylor expansion of 14 in a 0.843 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 8)) in a 0.843 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.843 * [taylor]: Taking taylor expansion of a in a 0.843 * [taylor]: Taking taylor expansion of (pow NAN 8) in a 0.843 * [taylor]: Taking taylor expansion of NAN in a 0.843 * [taylor]: Taking taylor expansion of (* 5/2 (* (pow a 5) (pow NAN 4))) in a 0.843 * [taylor]: Taking taylor expansion of 5/2 in a 0.843 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 4)) in a 0.843 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.843 * [taylor]: Taking taylor expansion of a in a 0.843 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.843 * [taylor]: Taking taylor expansion of NAN in a 0.843 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6)))) in a 0.843 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 5) (pow NAN 2))) in a 0.843 * [taylor]: Taking taylor expansion of 1/6 in a 0.843 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 2)) in a 0.843 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.843 * [taylor]: Taking taylor expansion of a in a 0.843 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.843 * [taylor]: Taking taylor expansion of NAN in a 0.844 * [taylor]: Taking taylor expansion of (* 10 (* (pow a 5) (pow NAN 6))) in a 0.844 * [taylor]: Taking taylor expansion of 10 in a 0.844 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 6)) in a 0.844 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.844 * [taylor]: Taking taylor expansion of a in a 0.844 * [taylor]: Taking taylor expansion of (pow NAN 6) in a 0.844 * [taylor]: Taking taylor expansion of NAN in a 0.847 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10))))))) in a 0.847 * [taylor]: Taking taylor expansion of NAN in a 0.847 * [taylor]: Taking taylor expansion of (- (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10)))))) in a 0.847 * [taylor]: Taking taylor expansion of (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) in a 0.847 * [taylor]: Taking taylor expansion of (* 5/4 (* (pow a 6) (pow NAN 4))) in a 0.847 * [taylor]: Taking taylor expansion of 5/4 in a 0.847 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 4)) in a 0.847 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.847 * [taylor]: Taking taylor expansion of a in a 0.847 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.847 * [taylor]: Taking taylor expansion of NAN in a 0.847 * [taylor]: Taking taylor expansion of (* 35 (* (pow a 6) (pow NAN 8))) in a 0.847 * [taylor]: Taking taylor expansion of 35 in a 0.848 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 8)) in a 0.848 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.848 * [taylor]: Taking taylor expansion of a in a 0.848 * [taylor]: Taking taylor expansion of (pow NAN 8) in a 0.848 * [taylor]: Taking taylor expansion of NAN in a 0.848 * [taylor]: Taking taylor expansion of (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10))))) in a 0.848 * [taylor]: Taking taylor expansion of (* 1/36 (* (pow a 6) (pow NAN 2))) in a 0.848 * [taylor]: Taking taylor expansion of 1/36 in a 0.848 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 2)) in a 0.848 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.848 * [taylor]: Taking taylor expansion of a in a 0.848 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.848 * [taylor]: Taking taylor expansion of NAN in a 0.848 * [taylor]: Taking taylor expansion of (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10)))) in a 0.848 * [taylor]: Taking taylor expansion of (* 65/6 (* (pow a 6) (pow NAN 6))) in a 0.848 * [taylor]: Taking taylor expansion of 65/6 in a 0.848 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 6)) in a 0.848 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.848 * [taylor]: Taking taylor expansion of a in a 0.848 * [taylor]: Taking taylor expansion of (pow NAN 6) in a 0.848 * [taylor]: Taking taylor expansion of NAN in a 0.848 * [taylor]: Taking taylor expansion of (* 42 (* (pow a 6) (pow NAN 10))) in a 0.848 * [taylor]: Taking taylor expansion of 42 in a 0.848 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 10)) in a 0.848 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.848 * [taylor]: Taking taylor expansion of a in a 0.848 * [taylor]: Taking taylor expansion of (pow NAN 10) in a 0.848 * [taylor]: Taking taylor expansion of NAN in a 0.850 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in (x a) around 0 0.850 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in a 0.850 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in a 0.850 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a 0.850 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.850 * [taylor]: Taking taylor expansion of 1/2 in a 0.850 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.850 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.850 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.850 * [taylor]: Taking taylor expansion of a in a 0.850 * [taylor]: Taking taylor expansion of x in a 0.850 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.850 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.850 * [taylor]: Taking taylor expansion of a in a 0.850 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.850 * [taylor]: Taking taylor expansion of 1/6 in a 0.850 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.850 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.850 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.850 * [taylor]: Taking taylor expansion of a in a 0.850 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.850 * [taylor]: Taking taylor expansion of x in a 0.850 * [taylor]: Taking taylor expansion of x in a 0.851 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x 0.851 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.851 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.851 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.851 * [taylor]: Taking taylor expansion of 1/2 in x 0.851 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.851 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.851 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.851 * [taylor]: Taking taylor expansion of a in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.851 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.851 * [taylor]: Taking taylor expansion of a in x 0.851 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.851 * [taylor]: Taking taylor expansion of 1/6 in x 0.851 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.851 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.851 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.851 * [taylor]: Taking taylor expansion of a in x 0.851 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.852 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x 0.852 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.852 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.852 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.852 * [taylor]: Taking taylor expansion of 1/2 in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.852 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.852 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.852 * [taylor]: Taking taylor expansion of a in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.852 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.852 * [taylor]: Taking taylor expansion of a in x 0.852 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.852 * [taylor]: Taking taylor expansion of 1/6 in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.852 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.852 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.852 * [taylor]: Taking taylor expansion of a in x 0.852 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.853 * [taylor]: Taking taylor expansion of 0 in a 0.853 * [taylor]: Taking taylor expansion of (/ NAN (pow a 3)) in a 0.853 * [taylor]: Taking taylor expansion of NAN in a 0.853 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.853 * [taylor]: Taking taylor expansion of a in a 0.854 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6)))) in a 0.854 * [taylor]: Taking taylor expansion of NAN in a 0.854 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6))) in a 0.854 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.854 * [taylor]: Taking taylor expansion of 1/2 in a 0.854 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.854 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.854 * [taylor]: Taking taylor expansion of a in a 0.854 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 6)) in a 0.854 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.854 * [taylor]: Taking taylor expansion of NAN in a 0.854 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.854 * [taylor]: Taking taylor expansion of a in a 0.857 * [taylor]: Taking taylor expansion of (* NAN (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5)))) in a 0.857 * [taylor]: Taking taylor expansion of NAN in a 0.857 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5))) in a 0.857 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) in a 0.857 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.857 * [taylor]: Taking taylor expansion of a in a 0.857 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow a 9))) in a 0.857 * [taylor]: Taking taylor expansion of 2 in a 0.857 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow a 9)) in a 0.857 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.857 * [taylor]: Taking taylor expansion of NAN in a 0.857 * [taylor]: Taking taylor expansion of (pow a 9) in a 0.857 * [taylor]: Taking taylor expansion of a in a 0.857 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 5)) in a 0.857 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.857 * [taylor]: Taking taylor expansion of NAN in a 0.857 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.857 * [taylor]: Taking taylor expansion of a in a 0.863 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in (x a) around 0 0.863 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in a 0.863 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in a 0.863 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a 0.863 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.863 * [taylor]: Taking taylor expansion of 1/2 in a 0.863 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.863 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.863 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.863 * [taylor]: Taking taylor expansion of a in a 0.863 * [taylor]: Taking taylor expansion of x in a 0.863 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.864 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.864 * [taylor]: Taking taylor expansion of a in a 0.864 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.864 * [taylor]: Taking taylor expansion of 1/6 in a 0.864 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.864 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.864 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.864 * [taylor]: Taking taylor expansion of a in a 0.864 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.864 * [taylor]: Taking taylor expansion of x in a 0.864 * [taylor]: Taking taylor expansion of x in a 0.864 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x 0.864 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.864 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.864 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.864 * [taylor]: Taking taylor expansion of 1/2 in x 0.864 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.864 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.864 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.864 * [taylor]: Taking taylor expansion of a in x 0.864 * [taylor]: Taking taylor expansion of x in x 0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.865 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.865 * [taylor]: Taking taylor expansion of a in x 0.865 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.865 * [taylor]: Taking taylor expansion of 1/6 in x 0.865 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.865 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.865 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.865 * [taylor]: Taking taylor expansion of a in x 0.865 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.865 * [taylor]: Taking taylor expansion of x in x 0.865 * [taylor]: Taking taylor expansion of x in x 0.865 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x 0.865 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x 0.865 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.865 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.865 * [taylor]: Taking taylor expansion of 1/2 in x 0.865 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.865 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.865 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.865 * [taylor]: Taking taylor expansion of a in x 0.865 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.866 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.866 * [taylor]: Taking taylor expansion of a in x 0.866 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.866 * [taylor]: Taking taylor expansion of 1/6 in x 0.866 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.866 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.866 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.866 * [taylor]: Taking taylor expansion of a in x 0.866 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of x in x 0.866 * [taylor]: Taking taylor expansion of 0 in a 0.866 * [taylor]: Taking taylor expansion of (/ NAN (pow a 3)) in a 0.866 * [taylor]: Taking taylor expansion of NAN in a 0.866 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.866 * [taylor]: Taking taylor expansion of a in a 0.867 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6)))) in a 0.867 * [taylor]: Taking taylor expansion of NAN in a 0.867 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6))) in a 0.867 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.867 * [taylor]: Taking taylor expansion of 1/2 in a 0.867 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.867 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.867 * [taylor]: Taking taylor expansion of a in a 0.867 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 6)) in a 0.868 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.868 * [taylor]: Taking taylor expansion of NAN in a 0.868 * [taylor]: Taking taylor expansion of (pow a 6) in a 0.868 * [taylor]: Taking taylor expansion of a in a 0.870 * [taylor]: Taking taylor expansion of (* NAN (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5)))) in a 0.870 * [taylor]: Taking taylor expansion of NAN in a 0.870 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5))) in a 0.870 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) in a 0.870 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.870 * [taylor]: Taking taylor expansion of a in a 0.870 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow a 9))) in a 0.870 * [taylor]: Taking taylor expansion of 2 in a 0.870 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow a 9)) in a 0.870 * [taylor]: Taking taylor expansion of (pow NAN 4) in a 0.870 * [taylor]: Taking taylor expansion of NAN in a 0.870 * [taylor]: Taking taylor expansion of (pow a 9) in a 0.870 * [taylor]: Taking taylor expansion of a in a 0.871 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 5)) in a 0.871 * [taylor]: Taking taylor expansion of (pow NAN 2) in a 0.871 * [taylor]: Taking taylor expansion of NAN in a 0.871 * [taylor]: Taking taylor expansion of (pow a 5) in a 0.871 * [taylor]: Taking taylor expansion of a in a 0.876 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 2) 0.876 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in (a x) around 0 0.876 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x 0.876 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 0.876 * [taylor]: Taking taylor expansion of 1/2 in x 0.876 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.876 * [taylor]: Taking taylor expansion of a in x 0.876 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 0.876 * [taylor]: Taking taylor expansion of 1/6 in x 0.876 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.876 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.876 * [taylor]: Taking taylor expansion of a in x 0.876 * [taylor]: Taking taylor expansion of x in x 0.876 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 0.877 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.877 * [taylor]: Taking taylor expansion of 1/2 in a 0.877 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.877 * [taylor]: Taking taylor expansion of a in a 0.877 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.877 * [taylor]: Taking taylor expansion of 1/6 in a 0.877 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.877 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.877 * [taylor]: Taking taylor expansion of a in a 0.877 * [taylor]: Taking taylor expansion of x in a 0.877 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 0.877 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.877 * [taylor]: Taking taylor expansion of 1/2 in a 0.877 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.877 * [taylor]: Taking taylor expansion of a in a 0.877 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.877 * [taylor]: Taking taylor expansion of 1/6 in a 0.877 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.877 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.877 * [taylor]: Taking taylor expansion of a in a 0.877 * [taylor]: Taking taylor expansion of x in a 0.877 * [taylor]: Taking taylor expansion of 1/2 in x 0.877 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.877 * [taylor]: Taking taylor expansion of 1/6 in x 0.877 * [taylor]: Taking taylor expansion of x in x 0.877 * [taylor]: Taking taylor expansion of 0 in x 0.877 * [taylor]: Taking taylor expansion of 0 in x 0.878 * [taylor]: Taking taylor expansion of 0 in x 0.878 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0 0.878 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.878 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.878 * [taylor]: Taking taylor expansion of 1/2 in x 0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.878 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.878 * [taylor]: Taking taylor expansion of a in x 0.878 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.878 * [taylor]: Taking taylor expansion of 1/6 in x 0.878 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.878 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.878 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.878 * [taylor]: Taking taylor expansion of a in x 0.878 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.879 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.879 * [taylor]: Taking taylor expansion of 1/2 in a 0.879 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.879 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.879 * [taylor]: Taking taylor expansion of a in a 0.879 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.879 * [taylor]: Taking taylor expansion of 1/6 in a 0.879 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.879 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.879 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.879 * [taylor]: Taking taylor expansion of a in a 0.879 * [taylor]: Taking taylor expansion of x in a 0.879 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.879 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.879 * [taylor]: Taking taylor expansion of 1/2 in a 0.879 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.879 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.879 * [taylor]: Taking taylor expansion of a in a 0.879 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.879 * [taylor]: Taking taylor expansion of 1/6 in a 0.879 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.879 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.879 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.879 * [taylor]: Taking taylor expansion of a in a 0.879 * [taylor]: Taking taylor expansion of x in a 0.879 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.879 * [taylor]: Taking taylor expansion of 1/6 in x 0.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.880 * [taylor]: Taking taylor expansion of 1/2 in x 0.880 * [taylor]: Taking taylor expansion of 0 in x 0.880 * [taylor]: Taking taylor expansion of 0 in x 0.881 * [taylor]: Taking taylor expansion of 0 in x 0.881 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0 0.881 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.881 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.881 * [taylor]: Taking taylor expansion of 1/2 in x 0.881 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.881 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.881 * [taylor]: Taking taylor expansion of a in x 0.881 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.881 * [taylor]: Taking taylor expansion of 1/6 in x 0.881 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.882 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.882 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.882 * [taylor]: Taking taylor expansion of a in x 0.882 * [taylor]: Taking taylor expansion of x in x 0.882 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.882 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.882 * [taylor]: Taking taylor expansion of 1/2 in a 0.882 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.882 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.882 * [taylor]: Taking taylor expansion of a in a 0.882 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.882 * [taylor]: Taking taylor expansion of 1/6 in a 0.882 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.882 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.882 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.882 * [taylor]: Taking taylor expansion of a in a 0.882 * [taylor]: Taking taylor expansion of x in a 0.882 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.882 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.882 * [taylor]: Taking taylor expansion of 1/2 in a 0.882 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.882 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.882 * [taylor]: Taking taylor expansion of a in a 0.882 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.882 * [taylor]: Taking taylor expansion of 1/6 in a 0.882 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.882 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.882 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.882 * [taylor]: Taking taylor expansion of a in a 0.882 * [taylor]: Taking taylor expansion of x in a 0.882 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.883 * [taylor]: Taking taylor expansion of 1/6 in x 0.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.883 * [taylor]: Taking taylor expansion of x in x 0.883 * [taylor]: Taking taylor expansion of 1/2 in x 0.883 * [taylor]: Taking taylor expansion of 0 in x 0.883 * [taylor]: Taking taylor expansion of 0 in x 0.884 * [taylor]: Taking taylor expansion of 0 in x 0.884 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2) 0.884 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in (a x) around 0 0.884 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x 0.884 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x 0.884 * [taylor]: Taking taylor expansion of 1/2 in x 0.884 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.884 * [taylor]: Taking taylor expansion of a in x 0.885 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 0.885 * [taylor]: Taking taylor expansion of 1/6 in x 0.885 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.885 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.885 * [taylor]: Taking taylor expansion of a in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.885 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 0.885 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.885 * [taylor]: Taking taylor expansion of 1/2 in a 0.885 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.885 * [taylor]: Taking taylor expansion of a in a 0.885 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.885 * [taylor]: Taking taylor expansion of 1/6 in a 0.885 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.885 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.885 * [taylor]: Taking taylor expansion of a in a 0.885 * [taylor]: Taking taylor expansion of x in a 0.885 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 0.885 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.885 * [taylor]: Taking taylor expansion of 1/2 in a 0.885 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.885 * [taylor]: Taking taylor expansion of a in a 0.885 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.885 * [taylor]: Taking taylor expansion of 1/6 in a 0.885 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.885 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.885 * [taylor]: Taking taylor expansion of a in a 0.885 * [taylor]: Taking taylor expansion of x in a 0.885 * [taylor]: Taking taylor expansion of 1/2 in x 0.885 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 0.885 * [taylor]: Taking taylor expansion of 1/6 in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.885 * [taylor]: Taking taylor expansion of 0 in x 0.886 * [taylor]: Taking taylor expansion of 0 in x 0.886 * [taylor]: Taking taylor expansion of 0 in x 0.886 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0 0.886 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.886 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.886 * [taylor]: Taking taylor expansion of 1/2 in x 0.886 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.886 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.886 * [taylor]: Taking taylor expansion of a in x 0.886 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.887 * [taylor]: Taking taylor expansion of 1/6 in x 0.887 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.887 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.887 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.887 * [taylor]: Taking taylor expansion of a in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.887 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.887 * [taylor]: Taking taylor expansion of 1/2 in a 0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.887 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.887 * [taylor]: Taking taylor expansion of a in a 0.887 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.887 * [taylor]: Taking taylor expansion of 1/6 in a 0.887 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.887 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.887 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.887 * [taylor]: Taking taylor expansion of a in a 0.887 * [taylor]: Taking taylor expansion of x in a 0.887 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.887 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.887 * [taylor]: Taking taylor expansion of 1/2 in a 0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.887 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.887 * [taylor]: Taking taylor expansion of a in a 0.887 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.887 * [taylor]: Taking taylor expansion of 1/6 in a 0.887 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.887 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.887 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.887 * [taylor]: Taking taylor expansion of a in a 0.887 * [taylor]: Taking taylor expansion of x in a 0.888 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.888 * [taylor]: Taking taylor expansion of 1/6 in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.888 * [taylor]: Taking taylor expansion of x in x 0.888 * [taylor]: Taking taylor expansion of 1/2 in x 0.888 * [taylor]: Taking taylor expansion of 0 in x 0.888 * [taylor]: Taking taylor expansion of 0 in x 0.889 * [taylor]: Taking taylor expansion of 0 in x 0.889 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0 0.889 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.889 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.889 * [taylor]: Taking taylor expansion of 1/2 in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.889 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.890 * [taylor]: Taking taylor expansion of a in x 0.890 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.890 * [taylor]: Taking taylor expansion of 1/6 in x 0.890 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.890 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.890 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.890 * [taylor]: Taking taylor expansion of a in x 0.890 * [taylor]: Taking taylor expansion of x in x 0.890 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.890 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.890 * [taylor]: Taking taylor expansion of 1/2 in a 0.890 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.890 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.890 * [taylor]: Taking taylor expansion of a in a 0.890 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.890 * [taylor]: Taking taylor expansion of 1/6 in a 0.890 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.890 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.890 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.890 * [taylor]: Taking taylor expansion of a in a 0.890 * [taylor]: Taking taylor expansion of x in a 0.890 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.890 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.890 * [taylor]: Taking taylor expansion of 1/2 in a 0.890 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.890 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.890 * [taylor]: Taking taylor expansion of a in a 0.890 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.890 * [taylor]: Taking taylor expansion of 1/6 in a 0.890 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.890 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.890 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.890 * [taylor]: Taking taylor expansion of a in a 0.891 * [taylor]: Taking taylor expansion of x in a 0.891 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 0.891 * [taylor]: Taking taylor expansion of 1/6 in x 0.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.891 * [taylor]: Taking taylor expansion of x in x 0.891 * [taylor]: Taking taylor expansion of 1/2 in x 0.891 * [taylor]: Taking taylor expansion of 0 in x 0.892 * [taylor]: Taking taylor expansion of 0 in x 0.892 * [taylor]: Taking taylor expansion of 0 in x 0.892 * * * [progress]: simplifying candidates 0.895 * [simplify]: Simplifying using # : (log (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (exp (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (* (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))) (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (* (* (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt x) (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (sqrt (* x (+ (pow a 3) (pow (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) 3)))) (sqrt (+ (* a a) (- (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (* x (- (* a a) (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (- a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (/ 1 2) (/ 1 2) (sqrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (log (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (exp (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (* (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))) (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (* (* (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt x) (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (sqrt (* x (+ (pow a 3) (pow (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) 3)))) (sqrt (+ (* a a) (- (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (* x (- (* a a) (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (- a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))) (/ 1 2) (/ 1 2) (sqrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (* (exp (* a (* a 1/2))) (exp (* x (* 1/6 (pow a 3))))) (log (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (exp (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* (* (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (pow (* a (* a 1/2)) 3) (pow (* x (* 1/6 (pow a 3))) 3)) (+ (* (* a (* a 1/2)) (* a (* a 1/2))) (- (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))) (* (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (- (* (* a (* a 1/2)) (* a (* a 1/2))) (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3))))) (- (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (* (exp (* a (* a 1/2))) (exp (* x (* 1/6 (pow a 3))))) (log (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (exp (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* (* (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (pow (* a (* a 1/2)) 3) (pow (* x (* 1/6 (pow a 3))) 3)) (+ (* (* a (* a 1/2)) (* a (* a 1/2))) (- (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))) (* (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (- (* (* a (* a 1/2)) (* a (* a 1/2))) (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3))))) (- (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (- (+ (* 1/2 (* (pow a 2) (* (pow x 2) NAN))) (+ (* 1/6 (* (pow a 3) (* (pow x 3) NAN))) (+ (* 2 (* (pow a 3) (* (pow x 3) (pow NAN 5)))) (* a (* x NAN))))) (+ (* (pow a 3) (* (pow x 3) (pow NAN 3))) (* (pow a 2) (* (pow x 2) (pow NAN 3))))) (* 1/2 (* (pow a 2) NAN)) (* 1/2 (* (pow a 2) NAN)) (- (+ (* 1/2 (* (pow a 2) (* (pow x 2) NAN))) (+ (* 1/6 (* (pow a 3) (* (pow x 3) NAN))) (+ (* 2 (* (pow a 3) (* (pow x 3) (pow NAN 5)))) (* a (* x NAN))))) (+ (* (pow a 3) (* (pow x 3) (pow NAN 3))) (* (pow a 2) (* (pow x 2) (pow NAN 3))))) (* 1/2 (* (pow a 2) NAN)) (* 1/2 (* (pow a 2) NAN)) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) 0.940 * * [simplify]: iteration 0 : 4922 enodes (cost 1096 ) 0.941 * * [simplify]: iteration 1 : 4922 enodes (cost 1096 ) 0.944 * [simplify]: Simplified to: (log (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (exp (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (* (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))) (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (pow (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))) 3) (sqrt x) (sqrt (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))) (sqrt (* x (+ (pow a 3) (pow (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))) 3)))) (sqrt (+ (* a a) (* x (* (* (* a a) (+ 1/2 (* a (* x 1/6)))) (- (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))) a))))) (sqrt (* x (- (* a a) (* x (* x (* (pow a 4) (* (+ 1/2 (* a (* x 1/6))) (+ 1/2 (* a (* x 1/6)))))))))) (sqrt (- a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))) 1/2 1/2 (sqrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (sqrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (log (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (exp (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (* (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))) (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (pow (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))) 3) (sqrt x) (sqrt (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))) (sqrt (* x (+ (pow a 3) (pow (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))) 3)))) (sqrt (+ (* a a) (* x (* (* (* a a) (+ 1/2 (* a (* x 1/6)))) (- (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))) a))))) (sqrt (* x (- (* a a) (* x (* x (* (pow a 4) (* (+ 1/2 (* a (* x 1/6))) (+ 1/2 (* a (* x 1/6)))))))))) (sqrt (- a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))) 1/2 1/2 (sqrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (sqrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (pow (pow (exp a) a) (+ 1/2 (* a (* x 1/6)))) (log (* (* a a) (+ 1/2 (* a (* x 1/6))))) (pow (pow (exp a) a) (+ 1/2 (* a (* x 1/6)))) (* (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6)))))) (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (* (pow a 6) (pow (+ 1/2 (* a (* x 1/6))) 3)) (sqrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (sqrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (+ (* 1/8 (pow a 6)) (* 1/216 (pow (* x (pow a 3)) 3))) (+ (* 1/4 (pow a 4)) (* x (* (* 1/6 (pow a 3)) (* (* a a) (+ (* a (* x 1/6)) -1/2))))) (+ (* 1/4 (pow a 4)) (* x (* (* (pow a 6) -1/36) x))) (* (* a a) (- 1/2 (* a (* x 1/6)))) (pow (pow (exp a) a) (+ 1/2 (* a (* x 1/6)))) (log (* (* a a) (+ 1/2 (* a (* x 1/6))))) (pow (pow (exp a) a) (+ 1/2 (* a (* x 1/6)))) (* (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6)))))) (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (* (pow a 6) (pow (+ 1/2 (* a (* x 1/6))) 3)) (sqrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (sqrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (+ (* 1/8 (pow a 6)) (* 1/216 (pow (* x (pow a 3)) 3))) (+ (* 1/4 (pow a 4)) (* x (* (* 1/6 (pow a 3)) (* (* a a) (+ (* a (* x 1/6)) -1/2))))) (+ (* 1/4 (pow a 4)) (* x (* (* (pow a 6) -1/36) x))) (* (* a a) (- 1/2 (* a (* x 1/6)))) (+ (* (pow (* x a) 3) (+ (* 1/6 NAN) (* 2 (pow NAN 5)))) (- (* a (+ (* x NAN) (* (* a 1/2) (* x (* x NAN))))) (* (pow NAN 3) (+ (* x (* x (* a a))) (pow (* x a) 3))))) (* a (* (* a 1/2) NAN)) (* a (* (* a 1/2) NAN)) (+ (* (pow (* x a) 3) (+ (* 1/6 NAN) (* 2 (pow NAN 5)))) (- (* a (+ (* x NAN) (* (* a 1/2) (* x (* x NAN))))) (* (pow NAN 3) (+ (* x (* x (* a a))) (pow (* x a) 3))))) (* a (* (* a 1/2) NAN)) (* a (* (* a 1/2) NAN)) (* (* a a) (+ 1/2 (* a (* x 1/6)))) (* (* a a) (+ 1/2 (* a (* x 1/6)))) (* (* a a) (+ 1/2 (* a (* x 1/6)))) (* (* a a) (+ 1/2 (* a (* x 1/6)))) (* (* a a) (+ 1/2 (* a (* x 1/6)))) (* (* a a) (+ 1/2 (* a (* x 1/6)))) 0.945 * * * [progress]: adding candidates to table 1.311 * [progress]: [Phase 3 of 3] Extracting. 1.311 * * [regime]: Finding splitpoints for: (# # # #) 1.312 * * * [regime-changes]: Trying 5 branch expressions: ((* a x) (exp (* a x)) (- (exp (* a x)) 1.0) x a) 1.312 * * * * [regimes]: Trying to branch on (* a x) from (# # # #) 1.356 * * * * [regimes]: Trying to branch on (exp (* a x)) from (# # # #) 1.394 * * * * [regimes]: Trying to branch on (- (exp (* a x)) 1.0) from (# # # #) 1.435 * * * * [regimes]: Trying to branch on x from (# # # #) 1.495 * * * * [regimes]: Trying to branch on a from (# # # #) 1.555 * * * [regime]: Found split indices: #