6.655 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.077 * * * [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.144 * * [simplify]: iteration 0 : 4807 enodes (cost 6 ) 0.144 * * [simplify]: iteration 1 : 4807 enodes (cost 6 ) 0.145 * [simplify]: Simplified to: (- (pow (exp a) x) 1.0) 0.149 * * [progress]: iteration 1 / 4 0.149 * * * [progress]: picking best candidate 0.154 * * * * [pick]: Picked # 0.154 * * * [progress]: localizing error 0.159 * * * [progress]: generating rewritten candidates 0.159 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.163 * * * [progress]: generating series expansions 0.163 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.163 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0 0.163 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x 0.163 * [taylor]: Taking taylor expansion of (exp (* a x)) in x 0.163 * [taylor]: Taking taylor expansion of (* a x) in x 0.163 * [taylor]: Taking taylor expansion of a in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [taylor]: Taking taylor expansion of 1.0 in x 0.163 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.163 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.163 * [taylor]: Taking taylor expansion of (* a x) in a 0.163 * [taylor]: Taking taylor expansion of a in a 0.163 * [taylor]: Taking taylor expansion of x in a 0.163 * [taylor]: Taking taylor expansion of 1.0 in a 0.163 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a 0.163 * [taylor]: Taking taylor expansion of (exp (* a x)) in a 0.163 * [taylor]: Taking taylor expansion of (* a x) in a 0.163 * [taylor]: Taking taylor expansion of a in a 0.163 * [taylor]: Taking taylor expansion of x in a 0.163 * [taylor]: Taking taylor expansion of 1.0 in a 0.164 * [taylor]: Taking taylor expansion of 0 in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.164 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 0.164 * [taylor]: Taking taylor expansion of 1/2 in x 0.164 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.164 * [taylor]: Taking taylor expansion of x in x 0.165 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 0.165 * [taylor]: Taking taylor expansion of 1/6 in x 0.165 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.165 * [taylor]: Taking taylor expansion of x in x 0.165 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x 0.165 * [taylor]: Taking taylor expansion of 1/24 in x 0.165 * [taylor]: Taking taylor expansion of (pow x 4) in x 0.165 * [taylor]: Taking taylor expansion of x in x 0.166 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x 0.166 * [taylor]: Taking taylor expansion of 1/120 in x 0.166 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.166 * [taylor]: Taking taylor expansion of x in x 0.167 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x 0.167 * [taylor]: Taking taylor expansion of 1/720 in x 0.167 * [taylor]: Taking taylor expansion of (pow x 6) in x 0.167 * [taylor]: Taking taylor expansion of x in x 0.168 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.168 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.168 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.168 * [taylor]: Taking taylor expansion of (* a x) in x 0.168 * [taylor]: Taking taylor expansion of a in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of 1.0 in x 0.168 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.168 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.168 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.168 * [taylor]: Taking taylor expansion of (* a x) in a 0.168 * [taylor]: Taking taylor expansion of a in a 0.168 * [taylor]: Taking taylor expansion of x in a 0.168 * [taylor]: Taking taylor expansion of 1.0 in a 0.168 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.168 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.168 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.168 * [taylor]: Taking taylor expansion of (* a x) in a 0.168 * [taylor]: Taking taylor expansion of a in a 0.168 * [taylor]: Taking taylor expansion of x in a 0.168 * [taylor]: Taking taylor expansion of 1.0 in a 0.168 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.168 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.168 * [taylor]: Taking taylor expansion of (* a x) in x 0.168 * [taylor]: Taking taylor expansion of a in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.168 * [taylor]: Taking taylor expansion of 1.0 in x 0.169 * [taylor]: Taking taylor expansion of 0 in x 0.169 * [taylor]: Taking taylor expansion of 0 in x 0.169 * [taylor]: Taking taylor expansion of 0 in x 0.169 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0 0.169 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.169 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.169 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.169 * [taylor]: Taking taylor expansion of (* a x) in x 0.169 * [taylor]: Taking taylor expansion of a in x 0.169 * [taylor]: Taking taylor expansion of x in x 0.169 * [taylor]: Taking taylor expansion of 1.0 in x 0.169 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.169 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.169 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.169 * [taylor]: Taking taylor expansion of (* a x) in a 0.169 * [taylor]: Taking taylor expansion of a in a 0.169 * [taylor]: Taking taylor expansion of x in a 0.169 * [taylor]: Taking taylor expansion of 1.0 in a 0.169 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a 0.169 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a 0.169 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a 0.169 * [taylor]: Taking taylor expansion of (* a x) in a 0.169 * [taylor]: Taking taylor expansion of a in a 0.169 * [taylor]: Taking taylor expansion of x in a 0.169 * [taylor]: Taking taylor expansion of 1.0 in a 0.170 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x 0.170 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x 0.170 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x 0.170 * [taylor]: Taking taylor expansion of (* a x) in x 0.170 * [taylor]: Taking taylor expansion of a in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [taylor]: Taking taylor expansion of 1.0 in x 0.170 * [taylor]: Taking taylor expansion of 0 in x 0.170 * [taylor]: Taking taylor expansion of 0 in x 0.170 * [taylor]: Taking taylor expansion of 0 in x 0.170 * * * [progress]: simplifying candidates 0.170 * [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.208 * * [simplify]: iteration 0 : 5465 enodes (cost 161 ) 0.210 * [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.210 * * * [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.266 * * * * [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.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 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a 0.280 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.280 * [taylor]: Taking taylor expansion of 1/2 in a 0.280 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.280 * [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.283 * [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.285 * [taylor]: Taking taylor expansion of a in x 0.285 * [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.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.286 * [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.288 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.288 * [taylor]: Taking taylor expansion of 1/6 in a 0.288 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.288 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.288 * [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.292 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.292 * [taylor]: Taking taylor expansion of a in a 0.292 * [taylor]: Taking taylor expansion of x in a 0.292 * [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.293 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.293 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.293 * [taylor]: Taking taylor expansion of 1/2 in x 0.293 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.293 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.293 * [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.301 * [taylor]: Taking taylor expansion of 0 in a 0.301 * [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.301 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in a 0.301 * [taylor]: Taking taylor expansion of -1 in a 0.301 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in a 0.301 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a 0.301 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.301 * [taylor]: Taking taylor expansion of 1/2 in a 0.301 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.301 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.301 * [taylor]: Taking taylor expansion of a in a 0.302 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a 0.302 * [taylor]: Taking taylor expansion of 1/6 in a 0.302 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a 0.302 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.302 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.302 * [taylor]: Taking taylor expansion of a in a 0.302 * [taylor]: Taking taylor expansion of x in a 0.302 * [taylor]: Taking taylor expansion of x in a 0.302 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in x 0.302 * [taylor]: Taking taylor expansion of -1 in x 0.302 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x 0.302 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.302 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.302 * [taylor]: Taking taylor expansion of 1/2 in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.302 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.302 * [taylor]: Taking taylor expansion of a in x 0.302 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.302 * [taylor]: Taking taylor expansion of 1/6 in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.302 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.302 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.302 * [taylor]: Taking taylor expansion of a in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.303 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in x 0.303 * [taylor]: Taking taylor expansion of -1 in x 0.303 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x 0.303 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x 0.303 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x 0.303 * [taylor]: Taking taylor expansion of 1/2 in x 0.303 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x 0.303 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.303 * [taylor]: Taking taylor expansion of a in x 0.303 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x 0.303 * [taylor]: Taking taylor expansion of 1/6 in x 0.303 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x 0.303 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.303 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.303 * [taylor]: Taking taylor expansion of a in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.304 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 0.304 * [taylor]: Taking taylor expansion of -1/6 in a 0.304 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.304 * [taylor]: Taking taylor expansion of a in a 0.304 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 (pow a 2)))) in a 0.304 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.304 * [taylor]: Taking taylor expansion of 1/2 in a 0.304 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.304 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.304 * [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.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 (* 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.313 * [taylor]: Taking taylor expansion of 1/6 in x 0.313 * [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.316 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.316 * [taylor]: Taking taylor expansion of a in x 0.316 * [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.322 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.322 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.322 * [taylor]: Taking taylor expansion of a in x 0.322 * [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.326 * [taylor]: Taking taylor expansion of a in a 0.326 * [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.328 * [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.333 * [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.333 * [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.333 * [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.333 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.333 * [taylor]: Taking taylor expansion of 1/2 in a 0.333 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.333 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.333 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.333 * [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.334 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.334 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.334 * [taylor]: Taking taylor expansion of a in x 0.334 * [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.335 * [taylor]: Taking taylor expansion of a in x 0.335 * [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.367 * * [simplify]: iteration 0 : 5915 enodes (cost 1359 ) 0.372 * [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.372 * * * [progress]: adding candidates to table 0.492 * * [progress]: iteration 3 / 4 0.492 * * * [progress]: picking best candidate 0.502 * * * * [pick]: Picked # 0.502 * * * [progress]: localizing error 0.514 * * * [progress]: generating rewritten candidates 0.514 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.523 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 0.531 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2) 0.537 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.549 * * * [progress]: generating series expansions 0.549 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.549 * [approximate]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in (a x) around 0 0.549 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x 0.550 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.550 * [taylor]: Taking taylor expansion of 1/6 in x 0.550 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.550 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.550 * [taylor]: Taking taylor expansion of a in x 0.550 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.550 * [taylor]: Taking taylor expansion of 1/2 in x 0.550 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.550 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.550 * [taylor]: Taking taylor expansion of a in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a 0.550 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a 0.550 * [taylor]: Taking taylor expansion of 1/6 in a 0.550 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.550 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.550 * [taylor]: Taking taylor expansion of x in a 0.550 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a 0.550 * [taylor]: Taking taylor expansion of 1/2 in a 0.550 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.550 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of x in a 0.550 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a 0.550 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a 0.550 * [taylor]: Taking taylor expansion of 1/6 in a 0.550 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.550 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.550 * [taylor]: Taking taylor expansion of x in a 0.550 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a 0.550 * [taylor]: Taking taylor expansion of 1/2 in a 0.550 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.550 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.550 * [taylor]: Taking taylor expansion of a in a 0.550 * [taylor]: Taking taylor expansion of x in a 0.550 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 0.550 * [taylor]: Taking taylor expansion of 1/2 in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.551 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 2)) in x 0.551 * [taylor]: Taking taylor expansion of 1/6 in x 0.551 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.551 * [taylor]: Taking taylor expansion of x in x 0.551 * [taylor]: Taking taylor expansion of 0 in x 0.551 * [taylor]: Taking taylor expansion of 0 in x 0.552 * [taylor]: Taking taylor expansion of 0 in x 0.552 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in (a x) around 0 0.552 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.552 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.553 * [taylor]: Taking taylor expansion of 1/2 in x 0.553 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.553 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.553 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.553 * [taylor]: Taking taylor expansion of a in x 0.553 * [taylor]: Taking taylor expansion of x in x 0.553 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.553 * [taylor]: Taking taylor expansion of 1/6 in x 0.553 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.553 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.553 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.553 * [taylor]: Taking taylor expansion of a in x 0.553 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.553 * [taylor]: Taking taylor expansion of x in x 0.553 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.553 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.553 * [taylor]: Taking taylor expansion of 1/2 in a 0.553 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.553 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.553 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.553 * [taylor]: Taking taylor expansion of a in a 0.553 * [taylor]: Taking taylor expansion of x in a 0.553 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.553 * [taylor]: Taking taylor expansion of 1/6 in a 0.553 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.553 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.553 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.553 * [taylor]: Taking taylor expansion of a in a 0.553 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.553 * [taylor]: Taking taylor expansion of x in a 0.554 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.554 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.554 * [taylor]: Taking taylor expansion of 1/2 in a 0.554 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.554 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.554 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.554 * [taylor]: Taking taylor expansion of a in a 0.554 * [taylor]: Taking taylor expansion of x in a 0.554 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.554 * [taylor]: Taking taylor expansion of 1/6 in a 0.554 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.554 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.554 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.554 * [taylor]: Taking taylor expansion of a in a 0.554 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.554 * [taylor]: Taking taylor expansion of x in a 0.554 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 0.554 * [taylor]: Taking taylor expansion of 1/6 in x 0.554 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.554 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.554 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.555 * [taylor]: Taking taylor expansion of 1/2 in x 0.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.555 * [taylor]: Taking taylor expansion of 0 in x 0.556 * [taylor]: Taking taylor expansion of 0 in x 0.557 * [taylor]: Taking taylor expansion of 0 in x 0.558 * [approximate]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in (a x) around 0 0.558 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x 0.558 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.558 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.558 * [taylor]: Taking taylor expansion of 1/2 in x 0.558 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.558 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.558 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.558 * [taylor]: Taking taylor expansion of a in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.558 * [taylor]: Taking taylor expansion of 1/6 in x 0.558 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.558 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.558 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.558 * [taylor]: Taking taylor expansion of a in x 0.558 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a 0.558 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.558 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.558 * [taylor]: Taking taylor expansion of 1/2 in a 0.558 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.558 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.558 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.558 * [taylor]: Taking taylor expansion of a in a 0.558 * [taylor]: Taking taylor expansion of x in a 0.559 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.559 * [taylor]: Taking taylor expansion of 1/6 in a 0.559 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.559 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.559 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.559 * [taylor]: Taking taylor expansion of a in a 0.559 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.559 * [taylor]: Taking taylor expansion of x in a 0.559 * [taylor]: Taking taylor expansion of (neg (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a 0.559 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.559 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.559 * [taylor]: Taking taylor expansion of 1/2 in a 0.559 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.559 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.559 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.559 * [taylor]: Taking taylor expansion of a in a 0.559 * [taylor]: Taking taylor expansion of x in a 0.559 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.559 * [taylor]: Taking taylor expansion of 1/6 in a 0.559 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.559 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.559 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.559 * [taylor]: Taking taylor expansion of a in a 0.559 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.559 * [taylor]: Taking taylor expansion of x in a 0.559 * [taylor]: Taking taylor expansion of (neg (* 1/6 (/ 1 (pow x 2)))) in x 0.559 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 2))) in x 0.559 * [taylor]: Taking taylor expansion of 1/6 in x 0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.559 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.560 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ 1 x))) in x 0.560 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 x)) in x 0.560 * [taylor]: Taking taylor expansion of 1/2 in x 0.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.561 * [taylor]: Taking taylor expansion of 0 in x 0.561 * [taylor]: Taking taylor expansion of 0 in x 0.562 * [taylor]: Taking taylor expansion of 0 in x 0.563 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 0.563 * [approximate]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in (x a) around 0 0.563 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a 0.563 * [taylor]: Taking taylor expansion of 1/6 in a 0.563 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.563 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.563 * [taylor]: Taking taylor expansion of a in a 0.563 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.563 * [taylor]: Taking taylor expansion of x in a 0.563 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.563 * [taylor]: Taking taylor expansion of 1/6 in x 0.563 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.563 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.563 * [taylor]: Taking taylor expansion of a in x 0.563 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.563 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.563 * [taylor]: Taking taylor expansion of 1/6 in x 0.563 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.563 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.563 * [taylor]: Taking taylor expansion of a in x 0.563 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.564 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 0.564 * [taylor]: Taking taylor expansion of 1/6 in a 0.564 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.564 * [taylor]: Taking taylor expansion of a in a 0.564 * [taylor]: Taking taylor expansion of 0 in a 0.564 * [taylor]: Taking taylor expansion of 0 in a 0.565 * [taylor]: Taking taylor expansion of 0 in a 0.565 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) (pow x 2))) in (x a) around 0 0.565 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) (pow x 2))) in a 0.565 * [taylor]: Taking taylor expansion of 1/6 in a 0.565 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.565 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.565 * [taylor]: Taking taylor expansion of a in a 0.565 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.565 * [taylor]: Taking taylor expansion of x in a 0.565 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) (pow x 2))) in x 0.565 * [taylor]: Taking taylor expansion of 1/6 in x 0.565 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.565 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.565 * [taylor]: Taking taylor expansion of a in x 0.565 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.565 * [taylor]: Taking taylor expansion of x in x 0.565 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) (pow x 2))) in x 0.565 * [taylor]: Taking taylor expansion of 1/6 in x 0.565 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.565 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.565 * [taylor]: Taking taylor expansion of a in x 0.565 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.565 * [taylor]: Taking taylor expansion of x in x 0.566 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.566 * [taylor]: Taking taylor expansion of 1/6 in a 0.566 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.566 * [taylor]: Taking taylor expansion of a in a 0.566 * [taylor]: Taking taylor expansion of 0 in a 0.567 * [taylor]: Taking taylor expansion of 0 in a 0.567 * [taylor]: Taking taylor expansion of 0 in a 0.568 * [taylor]: Taking taylor expansion of 0 in a 0.569 * [taylor]: Taking taylor expansion of 0 in a 0.569 * [approximate]: Taking taylor expansion of (/ -1/6 (* (pow a 3) (pow x 2))) in (x a) around 0 0.569 * [taylor]: Taking taylor expansion of (/ -1/6 (* (pow a 3) (pow x 2))) in a 0.569 * [taylor]: Taking taylor expansion of -1/6 in a 0.569 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.569 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.569 * [taylor]: Taking taylor expansion of a in a 0.569 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.569 * [taylor]: Taking taylor expansion of x in a 0.569 * [taylor]: Taking taylor expansion of (/ -1/6 (* (pow a 3) (pow x 2))) in x 0.569 * [taylor]: Taking taylor expansion of -1/6 in x 0.569 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.569 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.569 * [taylor]: Taking taylor expansion of a in x 0.569 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (/ -1/6 (* (pow a 3) (pow x 2))) in x 0.570 * [taylor]: Taking taylor expansion of -1/6 in x 0.570 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.570 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.570 * [taylor]: Taking taylor expansion of a in x 0.570 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.570 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (/ -1/6 (pow a 3)) in a 0.570 * [taylor]: Taking taylor expansion of -1/6 in a 0.570 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.570 * [taylor]: Taking taylor expansion of a in a 0.570 * [taylor]: Taking taylor expansion of 0 in a 0.571 * [taylor]: Taking taylor expansion of 0 in a 0.571 * [taylor]: Taking taylor expansion of 0 in a 0.572 * [taylor]: Taking taylor expansion of 0 in a 0.573 * [taylor]: Taking taylor expansion of 0 in a 0.575 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2) 0.575 * [approximate]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in (x a) around 0 0.575 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a 0.575 * [taylor]: Taking taylor expansion of 1/6 in a 0.575 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.575 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.575 * [taylor]: Taking taylor expansion of a in a 0.575 * [taylor]: Taking taylor expansion of x in a 0.575 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 0.575 * [taylor]: Taking taylor expansion of 1/6 in x 0.575 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.575 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.575 * [taylor]: Taking taylor expansion of a in x 0.575 * [taylor]: Taking taylor expansion of x in x 0.575 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x 0.575 * [taylor]: Taking taylor expansion of 1/6 in x 0.575 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.575 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.575 * [taylor]: Taking taylor expansion of a in x 0.575 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of 0 in a 0.576 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 0.576 * [taylor]: Taking taylor expansion of 1/6 in a 0.576 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.576 * [taylor]: Taking taylor expansion of a in a 0.576 * [taylor]: Taking taylor expansion of 0 in a 0.577 * [taylor]: Taking taylor expansion of 0 in a 0.577 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (x a) around 0 0.577 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a 0.577 * [taylor]: Taking taylor expansion of 1/6 in a 0.577 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.577 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.577 * [taylor]: Taking taylor expansion of a in a 0.577 * [taylor]: Taking taylor expansion of x in a 0.577 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 0.577 * [taylor]: Taking taylor expansion of 1/6 in x 0.577 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.577 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.577 * [taylor]: Taking taylor expansion of a in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.577 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 0.577 * [taylor]: Taking taylor expansion of 1/6 in x 0.577 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.577 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.577 * [taylor]: Taking taylor expansion of a in x 0.577 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.578 * [taylor]: Taking taylor expansion of 1/6 in a 0.578 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.578 * [taylor]: Taking taylor expansion of a in a 0.578 * [taylor]: Taking taylor expansion of 0 in a 0.579 * [taylor]: Taking taylor expansion of 0 in a 0.579 * [taylor]: Taking taylor expansion of 0 in a 0.580 * [taylor]: Taking taylor expansion of 0 in a 0.581 * [taylor]: Taking taylor expansion of 0 in a 0.581 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (x a) around 0 0.581 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a 0.581 * [taylor]: Taking taylor expansion of 1/6 in a 0.581 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a 0.581 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.581 * [taylor]: Taking taylor expansion of a in a 0.581 * [taylor]: Taking taylor expansion of x in a 0.581 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 0.581 * [taylor]: Taking taylor expansion of 1/6 in x 0.581 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.581 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.581 * [taylor]: Taking taylor expansion of a in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.582 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x 0.582 * [taylor]: Taking taylor expansion of 1/6 in x 0.582 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x 0.582 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.582 * [taylor]: Taking taylor expansion of a in x 0.582 * [taylor]: Taking taylor expansion of x in x 0.582 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.582 * [taylor]: Taking taylor expansion of 1/6 in a 0.582 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.582 * [taylor]: Taking taylor expansion of a in a 0.583 * [taylor]: Taking taylor expansion of 0 in a 0.583 * [taylor]: Taking taylor expansion of 0 in a 0.584 * [taylor]: Taking taylor expansion of 0 in a 0.584 * [taylor]: Taking taylor expansion of 0 in a 0.585 * [taylor]: Taking taylor expansion of 0 in a 0.585 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.586 * [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.586 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in a 0.586 * [taylor]: Taking taylor expansion of x in a 0.586 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in a 0.586 * [taylor]: Taking taylor expansion of a in a 0.586 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a 0.586 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a 0.586 * [taylor]: Taking taylor expansion of 1/6 in a 0.586 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.586 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.586 * [taylor]: Taking taylor expansion of a in a 0.586 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.586 * [taylor]: Taking taylor expansion of x in a 0.586 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a 0.586 * [taylor]: Taking taylor expansion of 1/2 in a 0.586 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.586 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.586 * [taylor]: Taking taylor expansion of a in a 0.586 * [taylor]: Taking taylor expansion of x in a 0.586 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x 0.586 * [taylor]: Taking taylor expansion of a in x 0.586 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x 0.586 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.586 * [taylor]: Taking taylor expansion of 1/6 in x 0.586 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.586 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.586 * [taylor]: Taking taylor expansion of a 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/2 (* (pow a 2) x)) in x 0.586 * [taylor]: Taking taylor expansion of 1/2 in x 0.586 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.586 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.586 * [taylor]: Taking taylor expansion of a in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x 0.586 * [taylor]: Taking taylor expansion of a in x 0.586 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x 0.586 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x 0.586 * [taylor]: Taking taylor expansion of 1/6 in x 0.586 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.586 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.586 * [taylor]: Taking taylor expansion of a 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/2 (* (pow a 2) x)) in x 0.586 * [taylor]: Taking taylor expansion of 1/2 in x 0.586 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.586 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.586 * [taylor]: Taking taylor expansion of a in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.587 * [taylor]: Taking taylor expansion of 0 in a 0.587 * [taylor]: Taking taylor expansion of a in a 0.588 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.588 * [taylor]: Taking taylor expansion of 1/2 in a 0.588 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.588 * [taylor]: Taking taylor expansion of a in a 0.589 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a 0.589 * [taylor]: Taking taylor expansion of 1/6 in a 0.589 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.589 * [taylor]: Taking taylor expansion of a in a 0.589 * [taylor]: Taking taylor expansion of 0 in a 0.590 * [taylor]: Taking taylor expansion of 0 in a 0.590 * [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.591 * [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.591 * [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.591 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.591 * [taylor]: Taking taylor expansion of 1/2 in a 0.591 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.591 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.591 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.591 * [taylor]: Taking taylor expansion of a in a 0.591 * [taylor]: Taking taylor expansion of x in a 0.591 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.591 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.591 * [taylor]: Taking taylor expansion of a in a 0.591 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.591 * [taylor]: Taking taylor expansion of 1/6 in a 0.591 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.591 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.591 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.591 * [taylor]: Taking taylor expansion of a in a 0.591 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.591 * [taylor]: Taking taylor expansion of x in a 0.591 * [taylor]: Taking taylor expansion of x in a 0.591 * [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.591 * [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.591 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.591 * [taylor]: Taking taylor expansion of 1/2 in x 0.591 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.591 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.591 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.591 * [taylor]: Taking taylor expansion of a in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.592 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.592 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.592 * [taylor]: Taking taylor expansion of a in x 0.592 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.592 * [taylor]: Taking taylor expansion of 1/6 in x 0.592 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.592 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.592 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.592 * [taylor]: Taking taylor expansion of a in x 0.592 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.592 * [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.592 * [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.592 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.592 * [taylor]: Taking taylor expansion of 1/2 in x 0.592 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.592 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.592 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.592 * [taylor]: Taking taylor expansion of a in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.593 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.593 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.593 * [taylor]: Taking taylor expansion of a in x 0.593 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.593 * [taylor]: Taking taylor expansion of 1/6 in x 0.593 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.593 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.593 * [taylor]: Taking taylor expansion of (pow a 3) 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 x in x 0.593 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.593 * [taylor]: Taking taylor expansion of 1/6 in a 0.593 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.593 * [taylor]: Taking taylor expansion of a in a 0.594 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.594 * [taylor]: Taking taylor expansion of 1/2 in a 0.594 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.594 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.594 * [taylor]: Taking taylor expansion of a in a 0.595 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.595 * [taylor]: Taking taylor expansion of a in a 0.596 * [taylor]: Taking taylor expansion of 0 in a 0.598 * [taylor]: Taking taylor expansion of 0 in a 0.599 * [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.599 * [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.599 * [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.599 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.599 * [taylor]: Taking taylor expansion of 1/2 in a 0.599 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.599 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.599 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.599 * [taylor]: Taking taylor expansion of a in a 0.599 * [taylor]: Taking taylor expansion of x in a 0.599 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a 0.599 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.599 * [taylor]: Taking taylor expansion of a in a 0.599 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a 0.599 * [taylor]: Taking taylor expansion of 1/6 in a 0.599 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a 0.599 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a 0.599 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.599 * [taylor]: Taking taylor expansion of a in a 0.599 * [taylor]: Taking taylor expansion of (pow x 2) in a 0.599 * [taylor]: Taking taylor expansion of x in a 0.599 * [taylor]: Taking taylor expansion of x in a 0.599 * [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.599 * [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.599 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.599 * [taylor]: Taking taylor expansion of 1/2 in x 0.599 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.599 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.599 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.599 * [taylor]: Taking taylor expansion of a in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.600 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.600 * [taylor]: Taking taylor expansion of a in x 0.600 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.600 * [taylor]: Taking taylor expansion of 1/6 in x 0.600 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.600 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.600 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.600 * [taylor]: Taking taylor expansion of a in x 0.600 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [taylor]: Taking taylor expansion of x in x 0.600 * [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.600 * [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.600 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.600 * [taylor]: Taking taylor expansion of 1/2 in x 0.600 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.600 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.600 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.600 * [taylor]: Taking taylor expansion of a in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x 0.601 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.601 * [taylor]: Taking taylor expansion of a in x 0.601 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x 0.601 * [taylor]: Taking taylor expansion of 1/6 in x 0.601 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x 0.601 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x 0.601 * [taylor]: Taking taylor expansion of (pow a 3) in x 0.601 * [taylor]: Taking taylor expansion of a in x 0.601 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.601 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a 0.601 * [taylor]: Taking taylor expansion of 1/6 in a 0.601 * [taylor]: Taking taylor expansion of (pow a 3) in a 0.601 * [taylor]: Taking taylor expansion of a in a 0.602 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a 0.602 * [taylor]: Taking taylor expansion of 1/2 in a 0.602 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a 0.602 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.602 * [taylor]: Taking taylor expansion of a in a 0.603 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.603 * [taylor]: Taking taylor expansion of a in a 0.605 * [taylor]: Taking taylor expansion of 0 in a 0.606 * [taylor]: Taking taylor expansion of 0 in a 0.607 * * * [progress]: simplifying candidates 0.608 * [simplify]: Simplifying using # : (* (exp (* a (* a (* 1/2 x)))) (exp (* x (* x (* 1/6 (pow a 3)))))) (log (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (exp (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (* (cbrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (cbrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (cbrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (* (* (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))) (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (sqrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (sqrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (+ (pow (* a (* a (* 1/2 x))) 3) (pow (* x (* x (* 1/6 (pow a 3)))) 3)) (+ (* (* a (* a (* 1/2 x))) (* a (* a (* 1/2 x)))) (- (* (* x (* x (* 1/6 (pow a 3)))) (* x (* x (* 1/6 (pow a 3))))) (* (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (- (* (* a (* a (* 1/2 x))) (* a (* a (* 1/2 x)))) (* (* x (* x (* 1/6 (pow a 3)))) (* x (* x (* 1/6 (pow a 3)))))) (- (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))) (* x (* x (* 1/6 (pow a 3)))) (* x (* x (* 1/6 (pow a 3)))) (+ (log x) (+ (log x) (+ (log 1/6) (* (log a) 3)))) (+ (log x) (+ (log x) (+ (log 1/6) (* (log a) 3)))) (+ (log x) (+ (log x) (+ (log 1/6) (log (pow a 3))))) (+ (log x) (+ (log x) (log (* 1/6 (pow a 3))))) (+ (log x) (log (* x (* 1/6 (pow a 3))))) (log (* x (* x (* 1/6 (pow a 3))))) (exp (* x (* x (* 1/6 (pow a 3))))) (* (* (* x x) x) (* (* (* x x) x) (* (* (* 1/6 1/6) 1/6) (* (* (pow a 3) (pow a 3)) (pow a 3))))) (* (* (* x x) x) (* (* (* x x) x) (* (* (* 1/6 (pow a 3)) (* 1/6 (pow a 3))) (* 1/6 (pow a 3))))) (* (* (* x x) x) (* (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))) (* x (* 1/6 (pow a 3))))) (* (cbrt (* x (* x (* 1/6 (pow a 3))))) (cbrt (* x (* x (* 1/6 (pow a 3)))))) (cbrt (* x (* x (* 1/6 (pow a 3))))) (* (* (* x (* x (* 1/6 (pow a 3)))) (* x (* x (* 1/6 (pow a 3))))) (* x (* x (* 1/6 (pow a 3))))) (sqrt (* x (* x (* 1/6 (pow a 3))))) (sqrt (* x (* x (* 1/6 (pow a 3))))) (* x x) (* (cbrt x) (* x (* 1/6 (pow a 3)))) (* (sqrt x) (* x (* 1/6 (pow a 3)))) (* x (* 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 (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (+ (log x) (log (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (log (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (exp (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* (* (* x x) x) (* (* (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* (cbrt (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (cbrt (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))))) (cbrt (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* (* (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (sqrt (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (sqrt (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* (sqrt x) (sqrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* (sqrt x) (sqrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* x a) (* x (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (* a x) (* (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))) x) (* x (* (cbrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (cbrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))))) (* x (sqrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* x 1) (* x 1) (* (cbrt x) (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (* (sqrt x) (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (* x (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (* x (+ (pow a 3) (pow (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))) 3))) (* x (- (* a a) (* (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))) (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (+ (* 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) (pow x 2))) (* 1/6 (* (pow a 3) (pow x 2))) (* 1/6 (* (pow a 3) (pow x 2))) (* 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.634 * * [simplify]: iteration 0 : 5458 enodes (cost 1304 ) 0.638 * [simplify]: Simplified to: (exp (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (log (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (exp (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (* (cbrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (cbrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (cbrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (pow (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))) 3) (sqrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (sqrt (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))) (+ (* (pow a 6) (* (pow x 3) 1/8)) (* 1/216 (pow (* x (* x (pow a 3))) 3))) (+ (* (pow a 4) (* (* x x) 1/4)) (+ (* (* 1/36 (pow a 6)) (pow x 4)) (* a (* (* a 1/2) (* (pow x 3) (* (pow a 3) -1/6)))))) (- (* (pow a 4) (* (* x x) 1/4)) (* (* 1/36 (pow a 6)) (pow x 4))) (+ (* a (* a (* 1/2 x))) (* x (* x (* (pow a 3) -1/6)))) (* x (* x (* 1/6 (pow a 3)))) (* x (* x (* 1/6 (pow a 3)))) (log (* x (* x (* 1/6 (pow a 3))))) (log (* x (* x (* 1/6 (pow a 3))))) (log (* x (* x (* 1/6 (pow a 3))))) (log (* x (* x (* 1/6 (pow a 3))))) (log (* x (* x (* 1/6 (pow a 3))))) (log (* x (* x (* 1/6 (pow a 3))))) (pow (pow (exp x) (* 1/6 (pow a 3))) x) (* 1/216 (pow (* x (* x (pow a 3))) 3)) (* 1/216 (pow (* x (* x (pow a 3))) 3)) (* 1/216 (pow (* x (* x (pow a 3))) 3)) (* (cbrt (* x (* x (* 1/6 (pow a 3))))) (cbrt (* x (* x (* 1/6 (pow a 3)))))) (cbrt (* x (* x (* 1/6 (pow a 3))))) (* 1/216 (pow (* x (* x (pow a 3))) 3)) (sqrt (* x (* x (* 1/6 (pow a 3))))) (sqrt (* x (* x (* 1/6 (pow a 3))))) (* x x) (* x (* 1/6 (* (pow a 3) (cbrt x)))) (* x (* 1/6 (* (pow a 3) (sqrt x)))) (* x (* x (* 1/6 (pow a 3)))) (* 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 (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3)))) (log (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3))))) (log (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3))))) (pow (exp x) (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (pow (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3)))) 3) (* (cbrt (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3))))) (cbrt (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3)))))) (cbrt (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3))))) (pow (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3)))) 3) (sqrt (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3))))) (sqrt (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3))))) (* (sqrt x) (sqrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* (sqrt x) (sqrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) (* a x) (+ (* a (* (* a (* 1/2 x)) x)) (* 1/6 (* (pow a 3) (pow x 3)))) (* a x) (+ (* a (* (* a (* 1/2 x)) x)) (* 1/6 (* (pow a 3) (pow x 3)))) (* x (* (cbrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (cbrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))))) (* x (sqrt (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3)))))))) x x (* (cbrt x) (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (* (sqrt x) (+ a (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))))) (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3)))) (* x (+ (pow a 3) (pow (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))) 3))) (* x (+ (* a a) (* (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))) (+ (* x (* x (* (pow a 3) -1/6))) (* (* a (* a x)) -1/2))))) (+ (* a (* a (* 1/2 x))) (* x (* x (* 1/6 (pow a 3))))) (+ (* 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 (* x (* 1/6 (pow a 3)))) (* x (* x (* 1/6 (pow a 3)))) (* x (* x (* 1/6 (pow a 3)))) (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3))) (* x (+ a (* a (* a (* 1/2 x))))) (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3)))) (+ (* x (+ a (* a (* a (* 1/2 x))))) (* 1/6 (* (pow a 3) (pow x 3)))) 0.639 * * * [progress]: adding candidates to table 0.754 * * [progress]: iteration 4 / 4 0.754 * * * [progress]: picking best candidate 0.764 * * * * [pick]: Picked # 0.764 * * * [progress]: localizing error 0.772 * * * [progress]: generating rewritten candidates 0.772 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.778 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2) 0.785 * * * [progress]: generating series expansions 0.785 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.785 * [approximate]: Taking taylor expansion of (* x (+ a (* 1/2 (* (pow a 2) x)))) in (x a) around 0 0.785 * [taylor]: Taking taylor expansion of (* x (+ a (* 1/2 (* (pow a 2) x)))) in a 0.785 * [taylor]: Taking taylor expansion of x in a 0.785 * [taylor]: Taking taylor expansion of (+ a (* 1/2 (* (pow a 2) x))) in a 0.785 * [taylor]: Taking taylor expansion of a in a 0.785 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a 0.785 * [taylor]: Taking taylor expansion of 1/2 in a 0.785 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.785 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.785 * [taylor]: Taking taylor expansion of a in a 0.785 * [taylor]: Taking taylor expansion of x in a 0.785 * [taylor]: Taking taylor expansion of (* x (+ a (* 1/2 (* (pow a 2) x)))) in x 0.785 * [taylor]: Taking taylor expansion of x in x 0.785 * [taylor]: Taking taylor expansion of (+ a (* 1/2 (* (pow a 2) x))) in x 0.785 * [taylor]: Taking taylor expansion of a in x 0.785 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.786 * [taylor]: Taking taylor expansion of 1/2 in x 0.786 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.786 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.786 * [taylor]: Taking taylor expansion of a in x 0.786 * [taylor]: Taking taylor expansion of x in x 0.786 * [taylor]: Taking taylor expansion of (* x (+ a (* 1/2 (* (pow a 2) x)))) in x 0.786 * [taylor]: Taking taylor expansion of x in x 0.786 * [taylor]: Taking taylor expansion of (+ a (* 1/2 (* (pow a 2) x))) in x 0.786 * [taylor]: Taking taylor expansion of a in x 0.786 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.786 * [taylor]: Taking taylor expansion of 1/2 in x 0.786 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.786 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.786 * [taylor]: Taking taylor expansion of a in x 0.786 * [taylor]: Taking taylor expansion of x in x 0.786 * [taylor]: Taking taylor expansion of 0 in a 0.786 * [taylor]: Taking taylor expansion of a in a 0.787 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a 0.787 * [taylor]: Taking taylor expansion of 1/2 in a 0.787 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.787 * [taylor]: Taking taylor expansion of a in a 0.787 * [taylor]: Taking taylor expansion of 0 in a 0.787 * [taylor]: Taking taylor expansion of 0 in a 0.787 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) x) in (x a) around 0 0.788 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) x) in a 0.788 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) in a 0.788 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.788 * [taylor]: Taking taylor expansion of 1/2 in a 0.788 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.788 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.788 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.788 * [taylor]: Taking taylor expansion of a in a 0.788 * [taylor]: Taking taylor expansion of x in a 0.788 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.788 * [taylor]: Taking taylor expansion of a in a 0.788 * [taylor]: Taking taylor expansion of x in a 0.788 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) x) in x 0.788 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) in x 0.788 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.788 * [taylor]: Taking taylor expansion of 1/2 in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.788 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.788 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.788 * [taylor]: Taking taylor expansion of a in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.788 * [taylor]: Taking taylor expansion of a in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) x) in x 0.789 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) in x 0.789 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.789 * [taylor]: Taking taylor expansion of 1/2 in x 0.789 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.789 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.789 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.789 * [taylor]: Taking taylor expansion of a in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.789 * [taylor]: Taking taylor expansion of a in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 0.789 * [taylor]: Taking taylor expansion of 1/2 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.790 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.790 * [taylor]: Taking taylor expansion of a in a 0.790 * [taylor]: Taking taylor expansion of 0 in a 0.791 * [taylor]: Taking taylor expansion of 0 in a 0.792 * [taylor]: Taking taylor expansion of 0 in a 0.792 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) x) in (x a) around 0 0.792 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) x) in a 0.792 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) in a 0.792 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a 0.792 * [taylor]: Taking taylor expansion of 1/2 in a 0.792 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a 0.792 * [taylor]: Taking taylor expansion of (* (pow a 2) x) 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 x in a 0.793 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.793 * [taylor]: Taking taylor expansion of a in a 0.793 * [taylor]: Taking taylor expansion of x in a 0.793 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) x) in x 0.793 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) in x 0.793 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.793 * [taylor]: Taking taylor expansion of 1/2 in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.793 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.793 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.793 * [taylor]: Taking taylor expansion of a in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.793 * [taylor]: Taking taylor expansion of a in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.793 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) x) in x 0.793 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (/ 1 a)) in x 0.793 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x 0.793 * [taylor]: Taking taylor expansion of 1/2 in x 0.793 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x 0.793 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.793 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.793 * [taylor]: Taking taylor expansion of a in x 0.793 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of (/ 1 a) in x 0.794 * [taylor]: Taking taylor expansion of a in x 0.794 * [taylor]: Taking taylor expansion of x in x 0.794 * [taylor]: Taking taylor expansion of (/ 1/2 (pow a 2)) in a 0.794 * [taylor]: Taking taylor expansion of 1/2 in a 0.794 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.794 * [taylor]: Taking taylor expansion of a in a 0.794 * [taylor]: Taking taylor expansion of (/ 1 a) in a 0.794 * [taylor]: Taking taylor expansion of a in a 0.795 * [taylor]: Taking taylor expansion of 0 in a 0.796 * [taylor]: Taking taylor expansion of 0 in a 0.797 * [taylor]: Taking taylor expansion of 0 in a 0.797 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2) 0.797 * [approximate]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in (a x) around 0 0.797 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x 0.797 * [taylor]: Taking taylor expansion of 1/2 in x 0.797 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.797 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.797 * [taylor]: Taking taylor expansion of a in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.797 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a 0.797 * [taylor]: Taking taylor expansion of 1/2 in a 0.797 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.798 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.798 * [taylor]: Taking taylor expansion of a in a 0.798 * [taylor]: Taking taylor expansion of x in a 0.798 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a 0.798 * [taylor]: Taking taylor expansion of 1/2 in a 0.798 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.798 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.798 * [taylor]: Taking taylor expansion of a in a 0.798 * [taylor]: Taking taylor expansion of x in a 0.798 * [taylor]: Taking taylor expansion of (* 1/2 x) in x 0.798 * [taylor]: Taking taylor expansion of 1/2 in x 0.798 * [taylor]: Taking taylor expansion of x in x 0.798 * [taylor]: Taking taylor expansion of 0 in x 0.798 * [taylor]: Taking taylor expansion of 0 in x 0.798 * [taylor]: Taking taylor expansion of 0 in x 0.798 * [approximate]: Taking taylor expansion of (/ 1/2 (* (pow a 2) x)) in (a x) around 0 0.798 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) x)) in x 0.798 * [taylor]: Taking taylor expansion of 1/2 in x 0.798 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.798 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.798 * [taylor]: Taking taylor expansion of a in x 0.798 * [taylor]: Taking taylor expansion of x in x 0.799 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) x)) in a 0.799 * [taylor]: Taking taylor expansion of 1/2 in a 0.799 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.799 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.799 * [taylor]: Taking taylor expansion of a in a 0.799 * [taylor]: Taking taylor expansion of x in a 0.799 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) x)) in a 0.799 * [taylor]: Taking taylor expansion of 1/2 in a 0.799 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.799 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.799 * [taylor]: Taking taylor expansion of a in a 0.799 * [taylor]: Taking taylor expansion of x in a 0.799 * [taylor]: Taking taylor expansion of (/ 1/2 x) in x 0.799 * [taylor]: Taking taylor expansion of 1/2 in x 0.799 * [taylor]: Taking taylor expansion of x in x 0.799 * [taylor]: Taking taylor expansion of 0 in x 0.799 * [taylor]: Taking taylor expansion of 0 in x 0.800 * [taylor]: Taking taylor expansion of 0 in x 0.800 * [approximate]: Taking taylor expansion of (/ -1/2 (* (pow a 2) x)) in (a x) around 0 0.800 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow a 2) x)) in x 0.800 * [taylor]: Taking taylor expansion of -1/2 in x 0.800 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x 0.800 * [taylor]: Taking taylor expansion of (pow a 2) in x 0.800 * [taylor]: Taking taylor expansion of a in x 0.800 * [taylor]: Taking taylor expansion of x in x 0.800 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow a 2) x)) in a 0.800 * [taylor]: Taking taylor expansion of -1/2 in a 0.800 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.800 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.800 * [taylor]: Taking taylor expansion of a in a 0.800 * [taylor]: Taking taylor expansion of x in a 0.800 * [taylor]: Taking taylor expansion of (/ -1/2 (* (pow a 2) x)) in a 0.800 * [taylor]: Taking taylor expansion of -1/2 in a 0.800 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a 0.800 * [taylor]: Taking taylor expansion of (pow a 2) in a 0.800 * [taylor]: Taking taylor expansion of a in a 0.800 * [taylor]: Taking taylor expansion of x in a 0.800 * [taylor]: Taking taylor expansion of (/ -1/2 x) in x 0.800 * [taylor]: Taking taylor expansion of -1/2 in x 0.801 * [taylor]: Taking taylor expansion of x in x 0.801 * [taylor]: Taking taylor expansion of 0 in x 0.801 * [taylor]: Taking taylor expansion of 0 in x 0.801 * [taylor]: Taking taylor expansion of 0 in x 0.801 * * * [progress]: simplifying candidates 0.802 * [simplify]: Simplifying using # : (* x (+ a (* a (* a (* 1/2 x))))) (+ (log x) (log (+ a (* a (* a (* 1/2 x)))))) (log (* x (+ a (* a (* a (* 1/2 x)))))) (exp (* x (+ a (* a (* a (* 1/2 x)))))) (* (* (* x x) x) (* (* (+ a (* a (* a (* 1/2 x)))) (+ a (* a (* a (* 1/2 x))))) (+ a (* a (* a (* 1/2 x)))))) (* (cbrt (* x (+ a (* a (* a (* 1/2 x)))))) (cbrt (* x (+ a (* a (* a (* 1/2 x))))))) (cbrt (* x (+ a (* a (* a (* 1/2 x)))))) (* (* (* x (+ a (* a (* a (* 1/2 x))))) (* x (+ a (* a (* a (* 1/2 x)))))) (* x (+ a (* a (* a (* 1/2 x)))))) (sqrt (* x (+ a (* a (* a (* 1/2 x)))))) (sqrt (* x (+ a (* a (* a (* 1/2 x)))))) (* (sqrt x) (sqrt (+ a (* a (* a (* 1/2 x)))))) (* (sqrt x) (sqrt (+ a (* a (* a (* 1/2 x)))))) (* x a) (* x (* a (* a (* 1/2 x)))) (* a x) (* (* a (* a (* 1/2 x))) x) (* x (* (cbrt (+ a (* a (* a (* 1/2 x))))) (cbrt (+ a (* a (* a (* 1/2 x))))))) (* x (sqrt (+ a (* a (* a (* 1/2 x)))))) (* x 1) (* (cbrt x) (+ a (* a (* a (* 1/2 x))))) (* (sqrt x) (+ a (* a (* a (* 1/2 x))))) (* x (+ a (* a (* a (* 1/2 x))))) (* x (+ (pow a 3) (pow (* a (* a (* 1/2 x))) 3))) (* x (- (* a a) (* (* a (* a (* 1/2 x))) (* a (* a (* 1/2 x)))))) (* a (* a (* 1/2 x))) (* a (* a (* 1/2 x))) (* a (* a (* 1/2 x))) (+ (log a) (+ (log a) (+ (log 1/2) (log x)))) (+ (log a) (+ (log a) (log (* 1/2 x)))) (+ (log a) (log (* a (* 1/2 x)))) (log (* a (* a (* 1/2 x)))) (exp (* a (* a (* 1/2 x)))) (* (* (* a a) a) (* (* (* a a) a) (* (* (* 1/2 1/2) 1/2) (* (* x x) x)))) (* (* (* a a) a) (* (* (* a a) a) (* (* (* 1/2 x) (* 1/2 x)) (* 1/2 x)))) (* (* (* a a) a) (* (* (* a (* 1/2 x)) (* a (* 1/2 x))) (* a (* 1/2 x)))) (* (cbrt (* a (* a (* 1/2 x)))) (cbrt (* a (* a (* 1/2 x))))) (cbrt (* a (* a (* 1/2 x)))) (* (* (* a (* a (* 1/2 x))) (* a (* a (* 1/2 x)))) (* a (* a (* 1/2 x)))) (sqrt (* a (* a (* 1/2 x)))) (sqrt (* a (* a (* 1/2 x)))) (* a a) (* (cbrt a) (* a (* 1/2 x))) (* (sqrt a) (* a (* 1/2 x))) (* a (* a (* 1/2 x))) (* 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) x)) (* 1/2 (* (pow a 2) x)) (* 1/2 (* (pow a 2) x)) 0.854 * * [simplify]: iteration 0 : 4950 enodes (cost 492 ) 0.855 * * [simplify]: iteration 1 : 4950 enodes (cost 492 ) 0.857 * [simplify]: Simplified to: (* x (+ a (* x (* a (* a 1/2))))) (log (* x (+ a (* x (* a (* a 1/2)))))) (log (* x (+ a (* x (* a (* a 1/2)))))) (pow (pow (* E (pow (sqrt (exp x)) a)) a) x) (pow (* x (+ a (* x (* a (* a 1/2))))) 3) (* (cbrt (* x (+ a (* x (* a (* a 1/2)))))) (cbrt (* x (+ a (* x (* a (* a 1/2))))))) (cbrt (* x (+ a (* x (* a (* a 1/2)))))) (pow (* x (+ a (* x (* a (* a 1/2))))) 3) (sqrt (* x (+ a (* x (* a (* a 1/2)))))) (sqrt (* x (+ a (* x (* a (* a 1/2)))))) (* (sqrt x) (sqrt (+ a (* x (* a (* a 1/2)))))) (* (sqrt x) (sqrt (+ a (* x (* a (* a 1/2)))))) (* x a) (* x (* x (* a (* a 1/2)))) (* x a) (* x (* x (* a (* a 1/2)))) (* x (* (cbrt (+ a (* x (* a (* a 1/2))))) (cbrt (+ a (* x (* a (* a 1/2))))))) (* x (sqrt (+ a (* x (* a (* a 1/2)))))) x (* a (* (cbrt x) (+ (* x (* a 1/2)) 1))) (* a (* (sqrt x) (+ (* x (* a 1/2)) 1))) (* x (+ a (* x (* a (* a 1/2))))) (* x (+ (pow a 3) (* (pow x 3) (* 1/8 (pow a 6))))) (* x (+ (* a a) (* (pow a 4) (* (* x x) -1/4)))) (* x (* a (* a 1/2))) (* x (* a (* a 1/2))) (* x (* a (* a 1/2))) (log (* x (* a (* a 1/2)))) (log (* x (* a (* a 1/2)))) (log (* x (* a (* a 1/2)))) (log (* x (* a (* a 1/2)))) (pow (pow (sqrt (exp x)) a) a) (* (pow x 3) (* 1/8 (pow a 6))) (* (pow x 3) (* 1/8 (pow a 6))) (* (pow x 3) (* 1/8 (pow a 6))) (* (cbrt (* x (* a (* a 1/2)))) (cbrt (* x (* a (* a 1/2))))) (cbrt (* x (* a (* a 1/2)))) (* (pow x 3) (* 1/8 (pow a 6))) (sqrt (* x (* a (* a 1/2)))) (sqrt (* x (* a (* a 1/2)))) (* a a) (* x (* (cbrt a) (* a 1/2))) (* x (* 1/2 (pow a 3/2))) (* x (* a (* a 1/2))) (* x a) (* x (+ a (* x (* a (* a 1/2))))) (* x (+ a (* x (* a (* a 1/2))))) (* x (* a (* a 1/2))) (* x (* a (* a 1/2))) (* x (* a (* a 1/2))) 0.857 * * * [progress]: adding candidates to table 0.911 * [progress]: [Phase 3 of 3] Extracting. 0.911 * * [regime]: Finding splitpoints for: (# # # # #) 0.913 * * * [regime-changes]: Trying 5 branch expressions: ((* a x) (exp (* a x)) (- (exp (* a x)) 1.0) x a) 0.913 * * * * [regimes]: Trying to branch on (* a x) from (# # # # #) 0.960 * * * * [regimes]: Trying to branch on (exp (* a x)) from (# # # # #) 1.004 * * * * [regimes]: Trying to branch on (- (exp (* a x)) 1.0) from (# # # # #) 1.048 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.105 * * * * [regimes]: Trying to branch on a from (# # # # #) 1.158 * * * [regime]: Found split indices: #