8.331 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.074 * * * [progress]: [2/2] Setting up program.
0.077 * [progress]: [Phase 2 of 3] Improving.
0.077 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (exp (* a x)) 1.0)
0.130 * * [simplify]: iteration  0 :  4778  enodes  (cost  6 )
0.130 * * [simplify]: iteration  1 :  4778  enodes  (cost  6 )
0.131 * [simplify]: Simplified to:
   (- (pow (exp a) x) 1.0)
0.135 * * [progress]: iteration 1 / 4
0.135 * * * [progress]: picking best candidate
0.140 * * * * [pick]: Picked  #<alt (λ (a x) (- (exp (* a x)) 1.0))>
0.140 * * * [progress]: localizing error
0.144 * * * [progress]: generating rewritten candidates
0.145 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.149 * * * [progress]: generating series expansions
0.149 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.149 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1.0) in (a x) around 0
0.149 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in x
0.149 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.149 * [taylor]: Taking taylor expansion of (* a x) in x
0.149 * [taylor]: Taking taylor expansion of a in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of 1.0 in x
0.149 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
0.149 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.149 * [taylor]: Taking taylor expansion of (* a x) in a
0.149 * [taylor]: Taking taylor expansion of a in a
0.149 * [taylor]: Taking taylor expansion of x in a
0.149 * [taylor]: Taking taylor expansion of 1.0 in a
0.149 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1.0) in a
0.149 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.149 * [taylor]: Taking taylor expansion of (* a x) in a
0.149 * [taylor]: Taking taylor expansion of a in a
0.149 * [taylor]: Taking taylor expansion of x in a
0.149 * [taylor]: Taking taylor expansion of 1.0 in a
0.149 * [taylor]: Taking taylor expansion of 0 in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.150 * [taylor]: Taking taylor expansion of 1/2 in x
0.150 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.150 * [taylor]: Taking taylor expansion of 1/6 in x
0.150 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.151 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.151 * [taylor]: Taking taylor expansion of 1/24 in x
0.151 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.151 * [taylor]: Taking taylor expansion of x in x
0.152 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.152 * [taylor]: Taking taylor expansion of 1/120 in x
0.152 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.152 * [taylor]: Taking taylor expansion of x in x
0.153 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
0.153 * [taylor]: Taking taylor expansion of 1/720 in x
0.153 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.153 * [taylor]: Taking taylor expansion of x in x
0.153 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
0.153 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.153 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.153 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.153 * [taylor]: Taking taylor expansion of (* a x) in x
0.153 * [taylor]: Taking taylor expansion of a in x
0.153 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of 1.0 in x
0.154 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.154 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.154 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.154 * [taylor]: Taking taylor expansion of (* a x) in a
0.154 * [taylor]: Taking taylor expansion of a in a
0.154 * [taylor]: Taking taylor expansion of x in a
0.154 * [taylor]: Taking taylor expansion of 1.0 in a
0.154 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.154 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.154 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.154 * [taylor]: Taking taylor expansion of (* a x) in a
0.154 * [taylor]: Taking taylor expansion of a in a
0.154 * [taylor]: Taking taylor expansion of x in a
0.154 * [taylor]: Taking taylor expansion of 1.0 in a
0.154 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.154 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.154 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.154 * [taylor]: Taking taylor expansion of (* a x) in x
0.154 * [taylor]: Taking taylor expansion of a in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of 1.0 in x
0.154 * [taylor]: Taking taylor expansion of 0 in x
0.154 * [taylor]: Taking taylor expansion of 0 in x
0.155 * [taylor]: Taking taylor expansion of 0 in x
0.155 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in (a x) around 0
0.155 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.155 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.155 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.155 * [taylor]: Taking taylor expansion of (* a x) in x
0.155 * [taylor]: Taking taylor expansion of a in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of 1.0 in x
0.155 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.155 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.155 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.155 * [taylor]: Taking taylor expansion of (* a x) in a
0.155 * [taylor]: Taking taylor expansion of a in a
0.155 * [taylor]: Taking taylor expansion of x in a
0.155 * [taylor]: Taking taylor expansion of 1.0 in a
0.155 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in a
0.155 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.155 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.155 * [taylor]: Taking taylor expansion of (* a x) in a
0.155 * [taylor]: Taking taylor expansion of a in a
0.155 * [taylor]: Taking taylor expansion of x in a
0.155 * [taylor]: Taking taylor expansion of 1.0 in a
0.155 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1.0) in x
0.155 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.155 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.155 * [taylor]: Taking taylor expansion of (* a x) in x
0.155 * [taylor]: Taking taylor expansion of a in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.156 * [taylor]: Taking taylor expansion of 1.0 in x
0.156 * [taylor]: Taking taylor expansion of 0 in x
0.156 * [taylor]: Taking taylor expansion of 0 in x
0.156 * [taylor]: Taking taylor expansion of 0 in x
0.156 * * * [progress]: simplifying candidates
0.156 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (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.198 * * [simplify]: iteration  0 :  4903  enodes  (cost  161 )
0.198 * * [simplify]: iteration  1 :  4903  enodes  (cost  161 )
0.200 * [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.200 * * * [progress]: adding candidates to table
0.225 * * [progress]: iteration 2 / 4
0.225 * * * [progress]: picking best candidate
0.230 * * * * [pick]: Picked  #<alt (λ (a x) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))>
0.231 * * * [progress]: localizing error
0.243 * * * [progress]: generating rewritten candidates
0.243 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.249 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.257 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2)
0.263 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.270 * * * [progress]: generating series expansions
0.270 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.270 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in (a x) around 0
0.270 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x
0.270 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x
0.270 * [taylor]: Taking taylor expansion of 1/2 in x
0.270 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.270 * [taylor]: Taking taylor expansion of a in x
0.270 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x
0.270 * [taylor]: Taking taylor expansion of 1/6 in x
0.270 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.270 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.270 * [taylor]: Taking taylor expansion of a in x
0.270 * [taylor]: Taking taylor expansion of x in x
0.270 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
0.270 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.270 * [taylor]: Taking taylor expansion of 1/2 in a
0.270 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.270 * [taylor]: Taking taylor expansion of a in a
0.270 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
0.270 * [taylor]: Taking taylor expansion of 1/6 in a
0.270 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.270 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.270 * [taylor]: Taking taylor expansion of a in a
0.270 * [taylor]: Taking taylor expansion of x in a
0.270 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
0.270 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.270 * [taylor]: Taking taylor expansion of 1/2 in a
0.270 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.270 * [taylor]: Taking taylor expansion of a in a
0.270 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
0.270 * [taylor]: Taking taylor expansion of 1/6 in a
0.270 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.270 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.270 * [taylor]: Taking taylor expansion of a in a
0.270 * [taylor]: Taking taylor expansion of x in a
0.271 * [taylor]: Taking taylor expansion of 1/2 in x
0.271 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.271 * [taylor]: Taking taylor expansion of 1/6 in x
0.271 * [taylor]: Taking taylor expansion of x in x
0.271 * [taylor]: Taking taylor expansion of 0 in x
0.271 * [taylor]: Taking taylor expansion of 0 in x
0.271 * [taylor]: Taking taylor expansion of 0 in x
0.272 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0
0.272 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.272 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.272 * [taylor]: Taking taylor expansion of 1/2 in x
0.272 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.272 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.272 * [taylor]: Taking taylor expansion of a in x
0.272 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
0.272 * [taylor]: Taking taylor expansion of 1/6 in x
0.272 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
0.272 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.272 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.272 * [taylor]: Taking taylor expansion of a in x
0.272 * [taylor]: Taking taylor expansion of x in x
0.272 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.272 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.273 * [taylor]: Taking taylor expansion of 1/2 in a
0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.273 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.273 * [taylor]: Taking taylor expansion of a in a
0.273 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.273 * [taylor]: Taking taylor expansion of 1/6 in a
0.273 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.273 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.273 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.273 * [taylor]: Taking taylor expansion of a in a
0.273 * [taylor]: Taking taylor expansion of x in a
0.273 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.273 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.273 * [taylor]: Taking taylor expansion of 1/2 in a
0.273 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.273 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.273 * [taylor]: Taking taylor expansion of a in a
0.273 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.273 * [taylor]: Taking taylor expansion of 1/6 in a
0.273 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.273 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.273 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.273 * [taylor]: Taking taylor expansion of a in a
0.273 * [taylor]: Taking taylor expansion of x in a
0.273 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.273 * [taylor]: Taking taylor expansion of 1/6 in x
0.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.273 * [taylor]: Taking taylor expansion of x in x
0.273 * [taylor]: Taking taylor expansion of 1/2 in x
0.274 * [taylor]: Taking taylor expansion of 0 in x
0.274 * [taylor]: Taking taylor expansion of 0 in x
0.275 * [taylor]: Taking taylor expansion of 0 in x
0.275 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0
0.275 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.275 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.275 * [taylor]: Taking taylor expansion of 1/2 in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.275 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.275 * [taylor]: Taking taylor expansion of a in x
0.275 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
0.275 * [taylor]: Taking taylor expansion of 1/6 in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
0.275 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.275 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.275 * [taylor]: Taking taylor expansion of a in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.276 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.276 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.276 * [taylor]: Taking taylor expansion of 1/2 in a
0.276 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.276 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.276 * [taylor]: Taking taylor expansion of a in a
0.276 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.276 * [taylor]: Taking taylor expansion of 1/6 in a
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.276 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.276 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.276 * [taylor]: Taking taylor expansion of a in a
0.276 * [taylor]: Taking taylor expansion of x in a
0.276 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.276 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.276 * [taylor]: Taking taylor expansion of 1/2 in a
0.276 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.276 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.276 * [taylor]: Taking taylor expansion of a in a
0.276 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.276 * [taylor]: Taking taylor expansion of 1/6 in a
0.276 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.276 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.276 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.276 * [taylor]: Taking taylor expansion of a in a
0.276 * [taylor]: Taking taylor expansion of x in a
0.276 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.276 * [taylor]: Taking taylor expansion of 1/6 in x
0.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.276 * [taylor]: Taking taylor expansion of x in x
0.276 * [taylor]: Taking taylor expansion of 1/2 in x
0.277 * [taylor]: Taking taylor expansion of 0 in x
0.277 * [taylor]: Taking taylor expansion of 0 in x
0.278 * [taylor]: Taking taylor expansion of 0 in x
0.278 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.278 * [approximate]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in (x a) around 0
0.278 * [taylor]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in a
0.278 * [taylor]: Taking taylor expansion of x in a
0.278 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
0.278 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.278 * [taylor]: Taking taylor expansion of 1/2 in a
0.278 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.278 * [taylor]: Taking taylor expansion of a in a
0.278 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
0.278 * [taylor]: Taking taylor expansion of 1/6 in a
0.278 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.278 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.278 * [taylor]: Taking taylor expansion of a in a
0.278 * [taylor]: Taking taylor expansion of x in a
0.278 * [taylor]: Taking taylor expansion of (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) in x
0.278 * [taylor]: Taking taylor expansion of x in x
0.278 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x
0.278 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x
0.278 * [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 (* x (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))) 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 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 0 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)) in a
0.280 * [taylor]: Taking taylor expansion of 1/6 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.281 * [taylor]: Taking taylor expansion of 0 in a
0.282 * [taylor]: Taking taylor expansion of 0 in a
0.282 * [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.282 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) 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.283 * [taylor]: Taking taylor expansion of x in a
0.283 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x
0.283 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.283 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.283 * [taylor]: Taking taylor expansion of 1/2 in x
0.283 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.283 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.283 * [taylor]: Taking taylor expansion of a in x
0.283 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
0.283 * [taylor]: Taking taylor expansion of 1/6 in x
0.283 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
0.283 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.283 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.283 * [taylor]: Taking taylor expansion of a in x
0.283 * [taylor]: Taking taylor expansion of x in x
0.283 * [taylor]: Taking taylor expansion of x in x
0.283 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x
0.283 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.284 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.284 * [taylor]: Taking taylor expansion of 1/2 in x
0.284 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.284 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.284 * [taylor]: Taking taylor expansion of a in x
0.284 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
0.284 * [taylor]: Taking taylor expansion of 1/6 in x
0.284 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
0.284 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.284 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.284 * [taylor]: Taking taylor expansion of a in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of x in x
0.284 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a
0.284 * [taylor]: Taking taylor expansion of 1/6 in a
0.284 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.284 * [taylor]: Taking taylor expansion of a 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.286 * [taylor]: Taking taylor expansion of 0 in a
0.287 * [taylor]: Taking taylor expansion of 0 in a
0.288 * [taylor]: Taking taylor expansion of 0 in a
0.290 * [taylor]: Taking taylor expansion of 0 in a
0.290 * [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.290 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in a
0.290 * [taylor]: Taking taylor expansion of -1 in a
0.290 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in a
0.290 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.291 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.291 * [taylor]: Taking taylor expansion of 1/2 in a
0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.291 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.291 * [taylor]: Taking taylor expansion of a in a
0.291 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.291 * [taylor]: Taking taylor expansion of 1/6 in a
0.291 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.291 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.291 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.291 * [taylor]: Taking taylor expansion of a in a
0.291 * [taylor]: Taking taylor expansion of x in a
0.291 * [taylor]: Taking taylor expansion of x in a
0.291 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in x
0.291 * [taylor]: Taking taylor expansion of -1 in x
0.291 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x
0.291 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.291 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.291 * [taylor]: Taking taylor expansion of 1/2 in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.291 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.291 * [taylor]: Taking taylor expansion of a in x
0.291 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
0.291 * [taylor]: Taking taylor expansion of 1/6 in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
0.291 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.291 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.291 * [taylor]: Taking taylor expansion of a in x
0.291 * [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 (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x)) in x
0.292 * [taylor]: Taking taylor expansion of -1 in x
0.292 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) x) in x
0.292 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.292 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.292 * [taylor]: Taking taylor expansion of 1/2 in x
0.292 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.292 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.292 * [taylor]: Taking taylor expansion of a in x
0.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.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 (neg (* 1/2 (/ 1 (pow a 2)))) 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.298 * [taylor]: Taking taylor expansion of 0 in a
0.299 * [taylor]: Taking taylor expansion of 0 in a
0.301 * [taylor]: Taking taylor expansion of 0 in a
0.301 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2)
0.302 * [approximate]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in (x a) around 0
0.302 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
0.302 * [taylor]: Taking taylor expansion of 1/6 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 (* 1/6 (* (pow a 3) x)) in x
0.302 * [taylor]: Taking taylor expansion of 1/6 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 (* 1/6 (* (pow a 3) x)) in x
0.302 * [taylor]: Taking taylor expansion of 1/6 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 0 in a
0.302 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
0.302 * [taylor]: Taking taylor expansion of 1/6 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.303 * [taylor]: Taking taylor expansion of 0 in a
0.303 * [taylor]: Taking taylor expansion of 0 in a
0.303 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (x a) around 0
0.303 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a
0.303 * [taylor]: Taking taylor expansion of 1/6 in a
0.303 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.303 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.303 * [taylor]: Taking taylor expansion of a in a
0.303 * [taylor]: Taking taylor expansion of x in a
0.303 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x
0.303 * [taylor]: Taking taylor expansion of 1/6 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.304 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x
0.304 * [taylor]: Taking taylor expansion of 1/6 in x
0.304 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.304 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.304 * [taylor]: Taking taylor expansion of a in x
0.304 * [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.305 * [taylor]: Taking taylor expansion of 0 in a
0.305 * [taylor]: Taking taylor expansion of 0 in a
0.306 * [taylor]: Taking taylor expansion of 0 in a
0.306 * [taylor]: Taking taylor expansion of 0 in a
0.307 * [taylor]: Taking taylor expansion of 0 in a
0.307 * [approximate]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in (x a) around 0
0.307 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in a
0.308 * [taylor]: Taking taylor expansion of 1/6 in a
0.308 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.308 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.308 * [taylor]: Taking taylor expansion of a in a
0.308 * [taylor]: Taking taylor expansion of x in a
0.308 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x
0.308 * [taylor]: Taking taylor expansion of 1/6 in x
0.308 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.308 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.308 * [taylor]: Taking taylor expansion of a in x
0.308 * [taylor]: Taking taylor expansion of x in x
0.308 * [taylor]: Taking taylor expansion of (/ 1/6 (* (pow a 3) x)) in x
0.308 * [taylor]: Taking taylor expansion of 1/6 in x
0.308 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.308 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.308 * [taylor]: Taking taylor expansion of a in x
0.308 * [taylor]: Taking taylor expansion of x in x
0.308 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a
0.308 * [taylor]: Taking taylor expansion of 1/6 in a
0.309 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.309 * [taylor]: Taking taylor expansion of a in a
0.309 * [taylor]: Taking taylor expansion of 0 in a
0.310 * [taylor]: Taking taylor expansion of 0 in a
0.310 * [taylor]: Taking taylor expansion of 0 in a
0.311 * [taylor]: Taking taylor expansion of 0 in a
0.312 * [taylor]: Taking taylor expansion of 0 in a
0.312 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.312 * [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.312 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in a
0.312 * [taylor]: Taking taylor expansion of x in a
0.312 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in a
0.312 * [taylor]: Taking taylor expansion of a in a
0.312 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a
0.312 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a
0.312 * [taylor]: Taking taylor expansion of 1/6 in a
0.312 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) 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 (pow x 2) in a
0.312 * [taylor]: Taking taylor expansion of x in a
0.312 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a
0.312 * [taylor]: Taking taylor expansion of 1/2 in a
0.312 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
0.312 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.312 * [taylor]: Taking taylor expansion of a in a
0.313 * [taylor]: Taking taylor expansion of x in a
0.313 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x
0.313 * [taylor]: Taking taylor expansion of a in x
0.313 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x
0.313 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x
0.313 * [taylor]: Taking taylor expansion of 1/6 in x
0.313 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) 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 (pow x 2) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x
0.313 * [taylor]: Taking taylor expansion of 1/2 in x
0.313 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.313 * [taylor]: Taking taylor expansion of (pow a 2) 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 (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x
0.313 * [taylor]: Taking taylor expansion of a in x
0.313 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x
0.313 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x
0.313 * [taylor]: Taking taylor expansion of 1/6 in x
0.313 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) 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 (pow x 2) in x
0.313 * [taylor]: Taking taylor expansion of x in x
0.313 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x
0.313 * [taylor]: Taking taylor expansion of 1/2 in x
0.313 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.313 * [taylor]: Taking taylor expansion of (pow a 2) 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 0 in a
0.314 * [taylor]: Taking taylor expansion of a in a
0.314 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.314 * [taylor]: Taking taylor expansion of 1/2 in a
0.314 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.314 * [taylor]: Taking taylor expansion of a in a
0.315 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
0.315 * [taylor]: Taking taylor expansion of 1/6 in a
0.315 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.315 * [taylor]: Taking taylor expansion of a in a
0.316 * [taylor]: Taking taylor expansion of 0 in a
0.316 * [taylor]: Taking taylor expansion of 0 in a
0.317 * [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.317 * [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.317 * [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.317 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a
0.317 * [taylor]: Taking taylor expansion of 1/2 in a
0.317 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a
0.317 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
0.317 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.317 * [taylor]: Taking taylor expansion of a in a
0.317 * [taylor]: Taking taylor expansion of x in a
0.317 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a
0.317 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.317 * [taylor]: Taking taylor expansion of a in a
0.317 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a
0.317 * [taylor]: Taking taylor expansion of 1/6 in a
0.317 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a
0.317 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) 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.317 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.317 * [taylor]: Taking taylor expansion of x in a
0.317 * [taylor]: Taking taylor expansion of x in a
0.318 * [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.318 * [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.318 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.318 * [taylor]: Taking taylor expansion of 1/2 in x
0.318 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.318 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.318 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.318 * [taylor]: Taking taylor expansion of a in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.318 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.318 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.318 * [taylor]: Taking taylor expansion of a in x
0.318 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.318 * [taylor]: Taking taylor expansion of 1/6 in x
0.318 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.318 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.318 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.318 * [taylor]: Taking taylor expansion of a in x
0.318 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.318 * [taylor]: Taking taylor expansion of x in x
0.319 * [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.319 * [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.319 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.319 * [taylor]: Taking taylor expansion of 1/2 in x
0.319 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.319 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.319 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.319 * [taylor]: Taking taylor expansion of a in x
0.319 * [taylor]: Taking taylor expansion of x in x
0.319 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.319 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.319 * [taylor]: Taking taylor expansion of a in x
0.319 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.319 * [taylor]: Taking taylor expansion of 1/6 in x
0.319 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.319 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.319 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.319 * [taylor]: Taking taylor expansion of a in x
0.319 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.319 * [taylor]: Taking taylor expansion of x in x
0.319 * [taylor]: Taking taylor expansion of x in x
0.320 * [taylor]: Taking taylor expansion of (/ 1/6 (pow a 3)) in a
0.320 * [taylor]: Taking taylor expansion of 1/6 in a
0.320 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.320 * [taylor]: Taking taylor expansion of a in a
0.320 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.320 * [taylor]: Taking taylor expansion of 1/2 in a
0.321 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) 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.322 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.322 * [taylor]: Taking taylor expansion of a in a
0.323 * [taylor]: Taking taylor expansion of 0 in a
0.324 * [taylor]: Taking taylor expansion of 0 in a
0.325 * [approximate]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in (x a) around 0
0.325 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in a
0.325 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in a
0.325 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a
0.325 * [taylor]: Taking taylor expansion of 1/2 in a
0.325 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a
0.325 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
0.325 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.325 * [taylor]: Taking taylor expansion of a in a
0.325 * [taylor]: Taking taylor expansion of x in a
0.325 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a
0.325 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.325 * [taylor]: Taking taylor expansion of a in a
0.325 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a
0.325 * [taylor]: Taking taylor expansion of 1/6 in a
0.325 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a
0.325 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
0.325 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.325 * [taylor]: Taking taylor expansion of a in a
0.325 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.325 * [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.326 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.326 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.326 * [taylor]: Taking taylor expansion of a in x
0.326 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.326 * [taylor]: Taking taylor expansion of 1/6 in x
0.326 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.326 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.326 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.326 * [taylor]: Taking taylor expansion of a in x
0.326 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.326 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x) in x
0.327 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) in x
0.327 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.327 * [taylor]: Taking taylor expansion of 1/2 in x
0.327 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.327 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.327 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.327 * [taylor]: Taking taylor expansion of a in x
0.327 * [taylor]: Taking taylor expansion of x in x
0.327 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.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.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.332 * [taylor]: Taking taylor expansion of 0 in a
0.333 * * * [progress]: simplifying candidates
0.334 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (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.356 * * [simplify]: iteration  0 :  5281  enodes  (cost  1359 )
0.360 * [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.361 * * * [progress]: adding candidates to table
0.519 * * [progress]: iteration 3 / 4
0.519 * * * [progress]: picking best candidate
0.526 * * * * [pick]: Picked  #<alt (λ (a x) (+ (* a x) (* a (* (* a 1/2) (* x x)))))>
0.526 * * * [progress]: localizing error
0.534 * * * [progress]: generating rewritten candidates
0.534 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.540 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.545 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.558 * * * [progress]: generating series expansions
0.558 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
0.559 * [approximate]: Taking taylor expansion of (* 1/2 (* a (pow x 2))) in (a x) around 0
0.559 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow x 2))) in x
0.559 * [taylor]: Taking taylor expansion of 1/2 in x
0.559 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in x
0.559 * [taylor]: Taking taylor expansion of a 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.559 * [taylor]: Taking taylor expansion of (* 1/2 (* a (pow x 2))) in a
0.559 * [taylor]: Taking taylor expansion of 1/2 in a
0.559 * [taylor]: Taking taylor expansion of (* a (pow x 2)) 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 (* 1/2 (* a (pow x 2))) in a
0.559 * [taylor]: Taking taylor expansion of 1/2 in a
0.559 * [taylor]: Taking taylor expansion of (* a (pow x 2)) 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 0 in x
0.559 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.559 * [taylor]: Taking taylor expansion of 1/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.559 * [taylor]: Taking taylor expansion of 0 in x
0.560 * [taylor]: Taking taylor expansion of 0 in x
0.560 * [approximate]: Taking taylor expansion of (/ 1/2 (* a (pow x 2))) in (a x) around 0
0.560 * [taylor]: Taking taylor expansion of (/ 1/2 (* a (pow x 2))) in x
0.560 * [taylor]: Taking taylor expansion of 1/2 in x
0.560 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in x
0.560 * [taylor]: Taking taylor expansion of a in x
0.560 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.560 * [taylor]: Taking taylor expansion of x in x
0.560 * [taylor]: Taking taylor expansion of (/ 1/2 (* a (pow x 2))) in a
0.560 * [taylor]: Taking taylor expansion of 1/2 in a
0.560 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in a
0.560 * [taylor]: Taking taylor expansion of a in a
0.560 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.560 * [taylor]: Taking taylor expansion of x in a
0.560 * [taylor]: Taking taylor expansion of (/ 1/2 (* a (pow x 2))) in a
0.560 * [taylor]: Taking taylor expansion of 1/2 in a
0.560 * [taylor]: Taking taylor expansion of (* a (pow x 2)) in a
0.560 * [taylor]: Taking taylor expansion of a in a
0.560 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.560 * [taylor]: Taking taylor expansion of x in a
0.561 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x
0.561 * [taylor]: Taking taylor expansion of 1/2 in x
0.561 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.561 * [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 * [taylor]: Taking taylor expansion of 0 in x
0.563 * [approximate]: Taking taylor expansion of (/ -1/2 (* a (pow x 2))) in (a x) around 0
0.563 * [taylor]: Taking taylor expansion of (/ -1/2 (* a (pow x 2))) in x
0.563 * [taylor]: Taking taylor expansion of -1/2 in x
0.563 * [taylor]: Taking taylor expansion of (* a (pow x 2)) 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/2 (* a (pow x 2))) in a
0.563 * [taylor]: Taking taylor expansion of -1/2 in a
0.563 * [taylor]: Taking taylor expansion of (* a (pow x 2)) 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/2 (* a (pow x 2))) in a
0.563 * [taylor]: Taking taylor expansion of -1/2 in a
0.563 * [taylor]: Taking taylor expansion of (* a (pow x 2)) 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.564 * [taylor]: Taking taylor expansion of (/ -1/2 (pow x 2)) in x
0.564 * [taylor]: Taking taylor expansion of -1/2 in x
0.564 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of 0 in x
0.564 * [taylor]: Taking taylor expansion of 0 in x
0.565 * [taylor]: Taking taylor expansion of 0 in x
0.565 * [taylor]: Taking taylor expansion of 0 in x
0.566 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.566 * [approximate]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in (a x) around 0
0.566 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in x
0.566 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in x
0.566 * [taylor]: Taking taylor expansion of 1/2 in x
0.566 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.566 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.566 * [taylor]: Taking taylor expansion of a in x
0.566 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.566 * [taylor]: Taking taylor expansion of (* a x) in x
0.566 * [taylor]: Taking taylor expansion of a in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.566 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in a
0.566 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
0.566 * [taylor]: Taking taylor expansion of 1/2 in a
0.566 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.566 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.566 * [taylor]: Taking taylor expansion of a in a
0.566 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.566 * [taylor]: Taking taylor expansion of x in a
0.566 * [taylor]: Taking taylor expansion of (* a x) in a
0.566 * [taylor]: Taking taylor expansion of a in a
0.566 * [taylor]: Taking taylor expansion of x in a
0.566 * [taylor]: Taking taylor expansion of (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x)) in a
0.566 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
0.566 * [taylor]: Taking taylor expansion of 1/2 in a
0.566 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.566 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.566 * [taylor]: Taking taylor expansion of a in a
0.566 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.566 * [taylor]: Taking taylor expansion of x in a
0.566 * [taylor]: Taking taylor expansion of (* a x) in a
0.566 * [taylor]: Taking taylor expansion of a in a
0.566 * [taylor]: Taking taylor expansion of x in a
0.566 * [taylor]: Taking taylor expansion of 0 in x
0.566 * [taylor]: Taking taylor expansion of x in x
0.567 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.567 * [taylor]: Taking taylor expansion of 1/2 in x
0.567 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.567 * [taylor]: Taking taylor expansion of x in x
0.567 * [taylor]: Taking taylor expansion of 0 in x
0.568 * [taylor]: Taking taylor expansion of 0 in x
0.568 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in (a x) around 0
0.568 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in x
0.568 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.568 * [taylor]: Taking taylor expansion of (* a x) in x
0.568 * [taylor]: Taking taylor expansion of a in x
0.568 * [taylor]: Taking taylor expansion of x in x
0.568 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
0.568 * [taylor]: Taking taylor expansion of 1/2 in x
0.568 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.568 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.568 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.568 * [taylor]: Taking taylor expansion of a in x
0.568 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.568 * [taylor]: Taking taylor expansion of x in x
0.568 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a
0.568 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.568 * [taylor]: Taking taylor expansion of (* a x) in a
0.568 * [taylor]: Taking taylor expansion of a in a
0.568 * [taylor]: Taking taylor expansion of x in a
0.568 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.568 * [taylor]: Taking taylor expansion of 1/2 in a
0.568 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.568 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.568 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.568 * [taylor]: Taking taylor expansion of a in a
0.568 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.568 * [taylor]: Taking taylor expansion of x in a
0.569 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a
0.569 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.569 * [taylor]: Taking taylor expansion of (* a x) in a
0.569 * [taylor]: Taking taylor expansion of a in a
0.569 * [taylor]: Taking taylor expansion of x in a
0.569 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.569 * [taylor]: Taking taylor expansion of 1/2 in a
0.569 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.569 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.569 * [taylor]: Taking taylor expansion of (pow a 2) 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/2 (/ 1 (pow x 2))) in x
0.569 * [taylor]: Taking taylor expansion of 1/2 in x
0.569 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) 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.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.570 * [taylor]: Taking taylor expansion of 0 in x
0.571 * [taylor]: Taking taylor expansion of 0 in x
0.571 * [taylor]: Taking taylor expansion of 0 in x
0.572 * [approximate]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in (a x) around 0
0.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in x
0.572 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.572 * [taylor]: Taking taylor expansion of (* a x) in x
0.572 * [taylor]: Taking taylor expansion of a in x
0.572 * [taylor]: Taking taylor expansion of x in x
0.572 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in x
0.572 * [taylor]: Taking taylor expansion of 1/2 in x
0.572 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.572 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.572 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.572 * [taylor]: Taking taylor expansion of a in x
0.572 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.572 * [taylor]: Taking taylor expansion of x in x
0.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a
0.573 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.573 * [taylor]: Taking taylor expansion of (* a x) in a
0.573 * [taylor]: Taking taylor expansion of a in a
0.573 * [taylor]: Taking taylor expansion of x in a
0.573 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.573 * [taylor]: Taking taylor expansion of 1/2 in a
0.573 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.573 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.573 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.573 * [taylor]: Taking taylor expansion of a in a
0.573 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.573 * [taylor]: Taking taylor expansion of x in a
0.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a x)) (* 1/2 (/ 1 (* (pow a 2) (pow x 2))))) in a
0.573 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.573 * [taylor]: Taking taylor expansion of (* a x) in a
0.573 * [taylor]: Taking taylor expansion of a in a
0.573 * [taylor]: Taking taylor expansion of x in a
0.573 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.573 * [taylor]: Taking taylor expansion of 1/2 in a
0.573 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.573 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.573 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.573 * [taylor]: Taking taylor expansion of a in a
0.573 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.573 * [taylor]: Taking taylor expansion of x in a
0.573 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x
0.574 * [taylor]: Taking taylor expansion of 1/2 in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.574 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.574 * [taylor]: Taking taylor expansion of 0 in x
0.575 * [taylor]: Taking taylor expansion of 0 in x
0.576 * [taylor]: Taking taylor expansion of 0 in x
0.576 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.576 * [approximate]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in (a x) around 0
0.576 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in x
0.576 * [taylor]: Taking taylor expansion of 1/2 in x
0.577 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.577 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.577 * [taylor]: Taking taylor expansion of a in x
0.577 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
0.577 * [taylor]: Taking taylor expansion of 1/2 in a
0.577 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.577 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.577 * [taylor]: Taking taylor expansion of a in a
0.577 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.577 * [taylor]: Taking taylor expansion of x in a
0.577 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) (pow x 2))) in a
0.577 * [taylor]: Taking taylor expansion of 1/2 in a
0.577 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.577 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.577 * [taylor]: Taking taylor expansion of a in a
0.577 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.577 * [taylor]: Taking taylor expansion of x in a
0.577 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.577 * [taylor]: Taking taylor expansion of 1/2 in x
0.577 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of 0 in x
0.578 * [taylor]: Taking taylor expansion of 0 in x
0.578 * [taylor]: Taking taylor expansion of 0 in x
0.578 * [approximate]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in (a x) around 0
0.578 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in x
0.578 * [taylor]: Taking taylor expansion of 1/2 in x
0.578 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.578 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.578 * [taylor]: Taking taylor expansion of a in x
0.578 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.578 * [taylor]: Taking taylor expansion of x in x
0.578 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in a
0.578 * [taylor]: Taking taylor expansion of 1/2 in a
0.578 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.578 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.578 * [taylor]: Taking taylor expansion of a in a
0.578 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.578 * [taylor]: Taking taylor expansion of x in a
0.579 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in a
0.579 * [taylor]: Taking taylor expansion of 1/2 in a
0.579 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.579 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.579 * [taylor]: Taking taylor expansion of a in a
0.579 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.579 * [taylor]: Taking taylor expansion of x in a
0.579 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x
0.579 * [taylor]: Taking taylor expansion of 1/2 in x
0.579 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.579 * [taylor]: Taking taylor expansion of x in x
0.579 * [taylor]: Taking taylor expansion of 0 in x
0.580 * [taylor]: Taking taylor expansion of 0 in x
0.580 * [taylor]: Taking taylor expansion of 0 in x
0.581 * [taylor]: Taking taylor expansion of 0 in x
0.581 * [approximate]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in (a x) around 0
0.581 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in x
0.581 * [taylor]: Taking taylor expansion of 1/2 in x
0.581 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.581 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.581 * [taylor]: Taking taylor expansion of a in x
0.581 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.581 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in a
0.581 * [taylor]: Taking taylor expansion of 1/2 in a
0.581 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.581 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.581 * [taylor]: Taking taylor expansion of a in a
0.581 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.581 * [taylor]: Taking taylor expansion of x in a
0.581 * [taylor]: Taking taylor expansion of (/ 1/2 (* (pow a 2) (pow x 2))) in a
0.581 * [taylor]: Taking taylor expansion of 1/2 in a
0.581 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.581 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.581 * [taylor]: Taking taylor expansion of a in a
0.581 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.581 * [taylor]: Taking taylor expansion of x in a
0.582 * [taylor]: Taking taylor expansion of (/ 1/2 (pow x 2)) in x
0.582 * [taylor]: Taking taylor expansion of 1/2 in x
0.582 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of 0 in x
0.582 * [taylor]: Taking taylor expansion of 0 in x
0.583 * [taylor]: Taking taylor expansion of 0 in x
0.584 * [taylor]: Taking taylor expansion of 0 in x
0.584 * * * [progress]: simplifying candidates
0.584 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* a 1/2) (* x x))
  (* (* a 1/2) (* x x))
  (* (* a 1/2) (* x x))
  (* (* a 1/2) (* x x))
  (+ (+ (log a) (log 1/2)) (+ (log x) (log x)))
  (+ (+ (log a) (log 1/2)) (log (* x x)))
  (+ (log (* a 1/2)) (+ (log x) (log x)))
  (+ (log (* a 1/2)) (log (* x x)))
  (log (* (* a 1/2) (* x x)))
  (exp (* (* a 1/2) (* x x)))
  (* (* (* (* a a) a) (* (* 1/2 1/2) 1/2)) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* (* a a) a) (* (* 1/2 1/2) 1/2)) (* (* (* x x) (* x x)) (* x x)))
  (* (* (* (* a 1/2) (* a 1/2)) (* a 1/2)) (* (* (* x x) x) (* (* x x) x)))
  (* (* (* (* a 1/2) (* a 1/2)) (* a 1/2)) (* (* (* x x) (* x x)) (* x x)))
  (* (cbrt (* (* a 1/2) (* x x))) (cbrt (* (* a 1/2) (* x x))))
  (cbrt (* (* a 1/2) (* x x)))
  (* (* (* (* a 1/2) (* x x)) (* (* a 1/2) (* x x))) (* (* a 1/2) (* x x)))
  (sqrt (* (* a 1/2) (* x x)))
  (sqrt (* (* a 1/2) (* x x)))
  (* (* a 1/2) x)
  (* 1/2 (* x x))
  (* (exp (* a x)) (exp (* a (* (* a 1/2) (* x x)))))
  (log (+ (* a x) (* a (* (* a 1/2) (* x x)))))
  (exp (+ (* a x) (* a (* (* a 1/2) (* x x)))))
  (* (cbrt (+ (* a x) (* a (* (* a 1/2) (* x x))))) (cbrt (+ (* a x) (* a (* (* a 1/2) (* x x))))))
  (cbrt (+ (* a x) (* a (* (* a 1/2) (* x x)))))
  (* (* (+ (* a x) (* a (* (* a 1/2) (* x x)))) (+ (* a x) (* a (* (* a 1/2) (* x x))))) (+ (* a x) (* a (* (* a 1/2) (* x x)))))
  (sqrt (+ (* a x) (* a (* (* a 1/2) (* x x)))))
  (sqrt (+ (* a x) (* a (* (* a 1/2) (* x x)))))
  (+ (pow (* a x) 3) (pow (* a (* (* a 1/2) (* x x))) 3))
  (+ (* (* a x) (* a x)) (- (* (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x)))) (* (* a x) (* a (* (* a 1/2) (* x x))))))
  (- (* (* a x) (* a x)) (* (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x)))))
  (- (* a x) (* a (* (* a 1/2) (* x x))))
  (+ x (* (* a 1/2) (* x x)))
  (* a (* (* a 1/2) (* x x)))
  (* a (* (* a 1/2) (* x x)))
  (* a (* (* a 1/2) (* x x)))
  (* a (* (* a 1/2) (* x x)))
  (* a (* (* a 1/2) (* x x)))
  (+ (log a) (+ (+ (log a) (log 1/2)) (+ (log x) (log x))))
  (+ (log a) (+ (+ (log a) (log 1/2)) (log (* x x))))
  (+ (log a) (+ (log (* a 1/2)) (+ (log x) (log x))))
  (+ (log a) (+ (log (* a 1/2)) (log (* x x))))
  (+ (log a) (log (* (* a 1/2) (* x x))))
  (log (* a (* (* a 1/2) (* x x))))
  (exp (* a (* (* a 1/2) (* x x))))
  (* (* (* a a) a) (* (* (* (* a a) a) (* (* 1/2 1/2) 1/2)) (* (* (* x x) x) (* (* x x) x))))
  (* (* (* a a) a) (* (* (* (* a a) a) (* (* 1/2 1/2) 1/2)) (* (* (* x x) (* x x)) (* x x))))
  (* (* (* a a) a) (* (* (* (* a 1/2) (* a 1/2)) (* a 1/2)) (* (* (* x x) x) (* (* x x) x))))
  (* (* (* a a) a) (* (* (* (* a 1/2) (* a 1/2)) (* a 1/2)) (* (* (* x x) (* x x)) (* x x))))
  (* (* (* a a) a) (* (* (* (* a 1/2) (* x x)) (* (* a 1/2) (* x x))) (* (* a 1/2) (* x x))))
  (* (cbrt (* a (* (* a 1/2) (* x x)))) (cbrt (* a (* (* a 1/2) (* x x)))))
  (cbrt (* a (* (* a 1/2) (* x x))))
  (* (* (* a (* (* a 1/2) (* x x))) (* a (* (* a 1/2) (* x x)))) (* a (* (* a 1/2) (* x x))))
  (sqrt (* a (* (* a 1/2) (* x x))))
  (sqrt (* a (* (* a 1/2) (* x x))))
  (* a (* a 1/2))
  (* (cbrt a) (* (* a 1/2) (* x x)))
  (* (sqrt a) (* (* a 1/2) (* x x)))
  (* a (* (* a 1/2) (* x x)))
  (* 1/2 (* a (pow x 2)))
  (* 1/2 (* a (pow x 2)))
  (* 1/2 (* a (pow x 2)))
  (* a x)
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (+ (* 1/2 (* (pow a 2) (pow x 2))) (* a x))
  (* 1/2 (* (pow a 2) (pow x 2)))
  (* 1/2 (* (pow a 2) (pow x 2)))
  (* 1/2 (* (pow a 2) (pow x 2)))
0.625 * * [simplify]: iteration  0 :  4991  enodes  (cost  683 )
0.625 * * [simplify]: iteration  1 :  4991  enodes  (cost  683 )
0.628 * [simplify]: Simplified to:
   (* a (* 1/2 (* x x)))
  (* a (* 1/2 (* x x)))
  (* a (* 1/2 (* x x)))
  (* a (* 1/2 (* x x)))
  (log (* a (* 1/2 (* x x))))
  (log (* a (* 1/2 (* x x))))
  (log (* a (* 1/2 (* x x))))
  (log (* a (* 1/2 (* x x))))
  (log (* a (* 1/2 (* x x))))
  (pow (sqrt (exp a)) (* x x))
  (* (pow a 3) (* 1/8 (pow x 6)))
  (* (pow a 3) (* 1/8 (pow x 6)))
  (* (pow a 3) (* 1/8 (pow x 6)))
  (* (pow a 3) (* 1/8 (pow x 6)))
  (* (cbrt (* a (* 1/2 (* x x)))) (cbrt (* a (* 1/2 (* x x)))))
  (cbrt (* a (* 1/2 (* x x))))
  (* (pow a 3) (* 1/8 (pow x 6)))
  (sqrt (* a (* 1/2 (* x x))))
  (sqrt (* a (* 1/2 (* x x))))
  (* a (* 1/2 x))
  (* 1/2 (* x x))
  (pow (pow (exp a) x) (+ (* a (* 1/2 x)) 1))
  (log (* a (+ x (* a (* 1/2 (* x x))))))
  (pow (pow (exp a) x) (+ (* a (* 1/2 x)) 1))
  (* (cbrt (* a (+ x (* a (* 1/2 (* x x)))))) (cbrt (* a (+ x (* a (* 1/2 (* x x)))))))
  (cbrt (* a (+ x (* a (* 1/2 (* x x))))))
  (pow (* a (+ x (* a (* 1/2 (* x x))))) 3)
  (sqrt (* a (+ x (* a (* 1/2 (* x x))))))
  (sqrt (* a (+ x (* a (* 1/2 (* x x))))))
  (+ (pow (* a x) 3) (* 1/8 (* (pow x 6) (pow a 6))))
  (+ (* a (* a (* x x))) (+ (* 1/4 (* (pow x 4) (pow a 4))) (* (pow (* a x) 3) -1/2)))
  (+ (* a (* a (* x x))) (* (pow x 4) (* (pow a 4) -1/4)))
  (* a (+ x (* a (* x (* x -1/2)))))
  (+ x (* a (* 1/2 (* x x))))
  (* a (* a (* 1/2 (* x x))))
  (* a (* a (* 1/2 (* x x))))
  (* a (* a (* 1/2 (* x x))))
  (* a (* a (* 1/2 (* x x))))
  (* a (* a (* 1/2 (* x x))))
  (log (* a (* a (* 1/2 (* x x)))))
  (log (* a (* a (* 1/2 (* x x)))))
  (log (* a (* a (* 1/2 (* x x)))))
  (log (* a (* a (* 1/2 (* x x)))))
  (log (* a (* a (* 1/2 (* x x)))))
  (log (* a (* a (* 1/2 (* x x)))))
  (pow (pow (sqrt (exp a)) (* x x)) a)
  (* 1/8 (* (pow x 6) (pow a 6)))
  (* 1/8 (* (pow x 6) (pow a 6)))
  (* 1/8 (* (pow x 6) (pow a 6)))
  (* 1/8 (* (pow x 6) (pow a 6)))
  (* 1/8 (* (pow x 6) (pow a 6)))
  (* (cbrt (* a (* a (* 1/2 (* x x))))) (cbrt (* a (* a (* 1/2 (* x x))))))
  (cbrt (* a (* a (* 1/2 (* x x)))))
  (* 1/8 (* (pow x 6) (pow a 6)))
  (sqrt (* a (* a (* 1/2 (* x x)))))
  (sqrt (* a (* a (* 1/2 (* x x)))))
  (* a (* a 1/2))
  (* a (* (* 1/2 (* x x)) (cbrt a)))
  (* x (* x (* 1/2 (pow a 3/2))))
  (* a (* a (* 1/2 (* x x))))
  (* a (* 1/2 (* x x)))
  (* a (* 1/2 (* x x)))
  (* a (* 1/2 (* x x)))
  (* a x)
  (* a (+ x (* a (* 1/2 (* x x)))))
  (* a (+ x (* a (* 1/2 (* x x)))))
  (* a (* a (* 1/2 (* x x))))
  (* a (* a (* 1/2 (* x x))))
  (* a (* a (* 1/2 (* x x))))
0.628 * * * [progress]: adding candidates to table
0.727 * * [progress]: iteration 4 / 4
0.727 * * * [progress]: picking best candidate
0.731 * * * * [pick]: Picked  #<alt (λ (a x) (* (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))))))))))>
0.731 * * * [progress]: localizing error
0.747 * * * [progress]: generating rewritten candidates
0.748 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.752 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.755 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 2)
0.761 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2)
0.768 * * * [progress]: generating series expansions
0.768 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.769 * [approximate]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in (x a) around 0
0.769 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in a
0.769 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in a
0.769 * [taylor]: Taking taylor expansion of x in a
0.769 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in a
0.769 * [taylor]: Taking taylor expansion of a in a
0.769 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a
0.769 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a
0.769 * [taylor]: Taking taylor expansion of 1/6 in a
0.769 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
0.769 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.769 * [taylor]: Taking taylor expansion of a in a
0.769 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.769 * [taylor]: Taking taylor expansion of x in a
0.769 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a
0.769 * [taylor]: Taking taylor expansion of 1/2 in a
0.769 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
0.769 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.769 * [taylor]: Taking taylor expansion of a in a
0.769 * [taylor]: Taking taylor expansion of x in a
0.769 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in x
0.769 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x
0.769 * [taylor]: Taking taylor expansion of x in x
0.769 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x
0.769 * [taylor]: Taking taylor expansion of a in x
0.769 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x
0.769 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x
0.769 * [taylor]: Taking taylor expansion of 1/6 in x
0.769 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.770 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.770 * [taylor]: Taking taylor expansion of a in x
0.770 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.770 * [taylor]: Taking taylor expansion of x in x
0.770 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x
0.770 * [taylor]: Taking taylor expansion of 1/2 in x
0.770 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.770 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.770 * [taylor]: Taking taylor expansion of a in x
0.770 * [taylor]: Taking taylor expansion of x in x
0.770 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in x
0.770 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x
0.770 * [taylor]: Taking taylor expansion of x in x
0.770 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x
0.770 * [taylor]: Taking taylor expansion of a in x
0.770 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x
0.770 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x
0.770 * [taylor]: Taking taylor expansion of 1/6 in x
0.770 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.770 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.770 * [taylor]: Taking taylor expansion of a in x
0.770 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.770 * [taylor]: Taking taylor expansion of x in x
0.770 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x
0.770 * [taylor]: Taking taylor expansion of 1/2 in x
0.770 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.770 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.770 * [taylor]: Taking taylor expansion of a in x
0.770 * [taylor]: Taking taylor expansion of x in x
0.771 * [taylor]: Taking taylor expansion of 0 in a
0.771 * [taylor]: Taking taylor expansion of (* NAN a) in a
0.771 * [taylor]: Taking taylor expansion of NAN in a
0.771 * [taylor]: Taking taylor expansion of a in a
0.772 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (pow a 2)) (* (pow a 2) (pow NAN 2)))) in a
0.772 * [taylor]: Taking taylor expansion of NAN in a
0.772 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow a 2)) (* (pow a 2) (pow NAN 2))) in a
0.772 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.772 * [taylor]: Taking taylor expansion of 1/2 in a
0.772 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.772 * [taylor]: Taking taylor expansion of a in a
0.772 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow NAN 2)) in a
0.772 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.772 * [taylor]: Taking taylor expansion of a in a
0.772 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.772 * [taylor]: Taking taylor expansion of NAN in a
0.773 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) (* (pow a 3) (pow NAN 2)))) in a
0.773 * [taylor]: Taking taylor expansion of NAN in a
0.773 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) (* (pow a 3) (pow NAN 2))) in a
0.773 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) in a
0.773 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
0.773 * [taylor]: Taking taylor expansion of 1/6 in a
0.773 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.773 * [taylor]: Taking taylor expansion of a in a
0.773 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 3) (pow NAN 4))) in a
0.773 * [taylor]: Taking taylor expansion of 2 in a
0.773 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 4)) in a
0.773 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.773 * [taylor]: Taking taylor expansion of a in a
0.773 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.773 * [taylor]: Taking taylor expansion of NAN in a
0.773 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 2)) in a
0.773 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.773 * [taylor]: Taking taylor expansion of a in a
0.773 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.773 * [taylor]: Taking taylor expansion of NAN in a
0.775 * [taylor]: Taking taylor expansion of (* NAN (- (* 3 (* (pow a 4) (pow NAN 4))) (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2)))))) in a
0.775 * [taylor]: Taking taylor expansion of NAN in a
0.775 * [taylor]: Taking taylor expansion of (- (* 3 (* (pow a 4) (pow NAN 4))) (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2))))) in a
0.775 * [taylor]: Taking taylor expansion of (* 3 (* (pow a 4) (pow NAN 4))) in a
0.775 * [taylor]: Taking taylor expansion of 3 in a
0.775 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 4)) in a
0.775 * [taylor]: Taking taylor expansion of (pow a 4) in a
0.775 * [taylor]: Taking taylor expansion of a in a
0.775 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.775 * [taylor]: Taking taylor expansion of NAN in a
0.775 * [taylor]: Taking taylor expansion of (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2)))) in a
0.775 * [taylor]: Taking taylor expansion of (* 5 (* (pow a 4) (pow NAN 6))) in a
0.775 * [taylor]: Taking taylor expansion of 5 in a
0.775 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 6)) in a
0.775 * [taylor]: Taking taylor expansion of (pow a 4) in a
0.775 * [taylor]: Taking taylor expansion of a in a
0.775 * [taylor]: Taking taylor expansion of (pow NAN 6) in a
0.775 * [taylor]: Taking taylor expansion of NAN in a
0.775 * [taylor]: Taking taylor expansion of (* 7/12 (* (pow a 4) (pow NAN 2))) in a
0.775 * [taylor]: Taking taylor expansion of 7/12 in a
0.775 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 2)) in a
0.775 * [taylor]: Taking taylor expansion of (pow a 4) in a
0.775 * [taylor]: Taking taylor expansion of a in a
0.775 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.775 * [taylor]: Taking taylor expansion of NAN in a
0.778 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6)))))) in a
0.778 * [taylor]: Taking taylor expansion of NAN in a
0.778 * [taylor]: Taking taylor expansion of (- (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6))))) in a
0.778 * [taylor]: Taking taylor expansion of (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) in a
0.778 * [taylor]: Taking taylor expansion of (* 14 (* (pow a 5) (pow NAN 8))) in a
0.778 * [taylor]: Taking taylor expansion of 14 in a
0.778 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 8)) in a
0.778 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.778 * [taylor]: Taking taylor expansion of a in a
0.778 * [taylor]: Taking taylor expansion of (pow NAN 8) in a
0.778 * [taylor]: Taking taylor expansion of NAN in a
0.778 * [taylor]: Taking taylor expansion of (* 5/2 (* (pow a 5) (pow NAN 4))) in a
0.778 * [taylor]: Taking taylor expansion of 5/2 in a
0.778 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 4)) in a
0.778 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.778 * [taylor]: Taking taylor expansion of a in a
0.778 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.778 * [taylor]: Taking taylor expansion of NAN in a
0.778 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6)))) in a
0.778 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 5) (pow NAN 2))) in a
0.779 * [taylor]: Taking taylor expansion of 1/6 in a
0.779 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 2)) in a
0.779 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.779 * [taylor]: Taking taylor expansion of a in a
0.779 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.779 * [taylor]: Taking taylor expansion of NAN in a
0.779 * [taylor]: Taking taylor expansion of (* 10 (* (pow a 5) (pow NAN 6))) in a
0.779 * [taylor]: Taking taylor expansion of 10 in a
0.779 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 6)) in a
0.779 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.779 * [taylor]: Taking taylor expansion of a in a
0.779 * [taylor]: Taking taylor expansion of (pow NAN 6) in a
0.779 * [taylor]: Taking taylor expansion of NAN in a
0.782 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10))))))) in a
0.782 * [taylor]: Taking taylor expansion of NAN in a
0.782 * [taylor]: Taking taylor expansion of (- (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10)))))) in a
0.782 * [taylor]: Taking taylor expansion of (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) in a
0.782 * [taylor]: Taking taylor expansion of (* 5/4 (* (pow a 6) (pow NAN 4))) in a
0.783 * [taylor]: Taking taylor expansion of 5/4 in a
0.783 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 4)) in a
0.783 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.783 * [taylor]: Taking taylor expansion of a in a
0.783 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.783 * [taylor]: Taking taylor expansion of NAN in a
0.783 * [taylor]: Taking taylor expansion of (* 35 (* (pow a 6) (pow NAN 8))) in a
0.783 * [taylor]: Taking taylor expansion of 35 in a
0.783 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 8)) in a
0.783 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.783 * [taylor]: Taking taylor expansion of a in a
0.783 * [taylor]: Taking taylor expansion of (pow NAN 8) in a
0.783 * [taylor]: Taking taylor expansion of NAN in a
0.783 * [taylor]: Taking taylor expansion of (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10))))) in a
0.783 * [taylor]: Taking taylor expansion of (* 1/36 (* (pow a 6) (pow NAN 2))) in a
0.783 * [taylor]: Taking taylor expansion of 1/36 in a
0.783 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 2)) in a
0.783 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.783 * [taylor]: Taking taylor expansion of a in a
0.783 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.783 * [taylor]: Taking taylor expansion of NAN in a
0.783 * [taylor]: Taking taylor expansion of (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10)))) in a
0.783 * [taylor]: Taking taylor expansion of (* 65/6 (* (pow a 6) (pow NAN 6))) in a
0.783 * [taylor]: Taking taylor expansion of 65/6 in a
0.783 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 6)) in a
0.783 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.783 * [taylor]: Taking taylor expansion of a in a
0.783 * [taylor]: Taking taylor expansion of (pow NAN 6) in a
0.783 * [taylor]: Taking taylor expansion of NAN in a
0.783 * [taylor]: Taking taylor expansion of (* 42 (* (pow a 6) (pow NAN 10))) in a
0.783 * [taylor]: Taking taylor expansion of 42 in a
0.783 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 10)) in a
0.783 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.783 * [taylor]: Taking taylor expansion of a in a
0.783 * [taylor]: Taking taylor expansion of (pow NAN 10) in a
0.783 * [taylor]: Taking taylor expansion of NAN in a
0.785 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in (x a) around 0
0.786 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in a
0.786 * [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.786 * [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.786 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a
0.786 * [taylor]: Taking taylor expansion of 1/2 in a
0.786 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a
0.786 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
0.786 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.786 * [taylor]: Taking taylor expansion of a in a
0.786 * [taylor]: Taking taylor expansion of x in a
0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a
0.786 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.786 * [taylor]: Taking taylor expansion of a in a
0.786 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a
0.786 * [taylor]: Taking taylor expansion of 1/6 in a
0.786 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a
0.786 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
0.786 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.786 * [taylor]: Taking taylor expansion of a in a
0.786 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.786 * [taylor]: Taking taylor expansion of x in a
0.786 * [taylor]: Taking taylor expansion of x in a
0.786 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x
0.786 * [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.787 * [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.787 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.787 * [taylor]: Taking taylor expansion of 1/2 in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.787 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.787 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.787 * [taylor]: Taking taylor expansion of a in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.787 * [taylor]: Taking taylor expansion of a in x
0.787 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.787 * [taylor]: Taking taylor expansion of 1/6 in x
0.787 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.787 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.787 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.787 * [taylor]: Taking taylor expansion of a in x
0.787 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.788 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x
0.788 * [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.788 * [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.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) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) 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 (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.788 * [taylor]: Taking taylor expansion of 1/6 in x
0.788 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.788 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.788 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.788 * [taylor]: Taking taylor expansion of a in x
0.788 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.788 * [taylor]: Taking taylor expansion of x in x
0.789 * [taylor]: Taking taylor expansion of 0 in a
0.789 * [taylor]: Taking taylor expansion of (/ NAN (pow a 3)) in a
0.789 * [taylor]: Taking taylor expansion of NAN in a
0.789 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.789 * [taylor]: Taking taylor expansion of a in a
0.790 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6)))) in a
0.790 * [taylor]: Taking taylor expansion of NAN in a
0.790 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6))) in a
0.790 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.790 * [taylor]: Taking taylor expansion of 1/2 in a
0.790 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.790 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.790 * [taylor]: Taking taylor expansion of a in a
0.790 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 6)) in a
0.790 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.790 * [taylor]: Taking taylor expansion of NAN in a
0.790 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.790 * [taylor]: Taking taylor expansion of a in a
0.793 * [taylor]: Taking taylor expansion of (* NAN (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5)))) in a
0.793 * [taylor]: Taking taylor expansion of NAN in a
0.793 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5))) in a
0.793 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) 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 (* 2 (/ (pow NAN 4) (pow a 9))) in a
0.793 * [taylor]: Taking taylor expansion of 2 in a
0.793 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow a 9)) in a
0.793 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.793 * [taylor]: Taking taylor expansion of NAN in a
0.793 * [taylor]: Taking taylor expansion of (pow a 9) in a
0.793 * [taylor]: Taking taylor expansion of a in a
0.793 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 5)) in a
0.793 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.793 * [taylor]: Taking taylor expansion of NAN in a
0.793 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.793 * [taylor]: Taking taylor expansion of a in a
0.801 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in (x a) around 0
0.801 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in a
0.801 * [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.801 * [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.801 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a
0.801 * [taylor]: Taking taylor expansion of 1/2 in a
0.801 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a
0.801 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
0.801 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.801 * [taylor]: Taking taylor expansion of a in a
0.801 * [taylor]: Taking taylor expansion of x in a
0.801 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a
0.801 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.801 * [taylor]: Taking taylor expansion of a in a
0.801 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a
0.801 * [taylor]: Taking taylor expansion of 1/6 in a
0.801 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a
0.801 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
0.801 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.801 * [taylor]: Taking taylor expansion of a in a
0.801 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.801 * [taylor]: Taking taylor expansion of x in a
0.802 * [taylor]: Taking taylor expansion of x in a
0.802 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x
0.802 * [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.802 * [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.802 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.802 * [taylor]: Taking taylor expansion of 1/2 in x
0.802 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.802 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.802 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.802 * [taylor]: Taking taylor expansion of a in x
0.802 * [taylor]: Taking taylor expansion of x in x
0.802 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.802 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.802 * [taylor]: Taking taylor expansion of a in x
0.802 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.802 * [taylor]: Taking taylor expansion of 1/6 in x
0.802 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.802 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.802 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.802 * [taylor]: Taking taylor expansion of a in x
0.802 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.802 * [taylor]: Taking taylor expansion of x in x
0.803 * [taylor]: Taking taylor expansion of x in x
0.803 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x
0.803 * [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.803 * [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.803 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.803 * [taylor]: Taking taylor expansion of 1/2 in x
0.803 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.803 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.803 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.803 * [taylor]: Taking taylor expansion of a in x
0.803 * [taylor]: Taking taylor expansion of x in x
0.803 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.803 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.803 * [taylor]: Taking taylor expansion of a in x
0.803 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.804 * [taylor]: Taking taylor expansion of 1/6 in x
0.804 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.804 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.804 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.804 * [taylor]: Taking taylor expansion of a in x
0.804 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.804 * [taylor]: Taking taylor expansion of x in x
0.804 * [taylor]: Taking taylor expansion of x in x
0.804 * [taylor]: Taking taylor expansion of 0 in a
0.804 * [taylor]: Taking taylor expansion of (/ NAN (pow a 3)) in a
0.804 * [taylor]: Taking taylor expansion of NAN in a
0.804 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.804 * [taylor]: Taking taylor expansion of a in a
0.805 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6)))) in a
0.805 * [taylor]: Taking taylor expansion of NAN in a
0.805 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6))) in a
0.805 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.805 * [taylor]: Taking taylor expansion of 1/2 in a
0.805 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.805 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.805 * [taylor]: Taking taylor expansion of a in a
0.805 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 6)) in a
0.805 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.805 * [taylor]: Taking taylor expansion of NAN in a
0.805 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.805 * [taylor]: Taking taylor expansion of a in a
0.808 * [taylor]: Taking taylor expansion of (* NAN (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5)))) in a
0.808 * [taylor]: Taking taylor expansion of NAN in a
0.808 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5))) in a
0.808 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) in a
0.808 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.808 * [taylor]: Taking taylor expansion of a in a
0.808 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow a 9))) in a
0.808 * [taylor]: Taking taylor expansion of 2 in a
0.808 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow a 9)) in a
0.808 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.808 * [taylor]: Taking taylor expansion of NAN in a
0.808 * [taylor]: Taking taylor expansion of (pow a 9) in a
0.808 * [taylor]: Taking taylor expansion of a in a
0.809 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 5)) in a
0.809 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.809 * [taylor]: Taking taylor expansion of NAN in a
0.809 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.809 * [taylor]: Taking taylor expansion of a in a
0.814 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.814 * [approximate]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in (x a) around 0
0.814 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in a
0.814 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in a
0.814 * [taylor]: Taking taylor expansion of x in a
0.814 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in a
0.814 * [taylor]: Taking taylor expansion of a in a
0.814 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in a
0.814 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in a
0.814 * [taylor]: Taking taylor expansion of 1/6 in a
0.814 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
0.815 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.815 * [taylor]: Taking taylor expansion of a in a
0.815 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.815 * [taylor]: Taking taylor expansion of x in a
0.815 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in a
0.815 * [taylor]: Taking taylor expansion of 1/2 in a
0.815 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
0.815 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.815 * [taylor]: Taking taylor expansion of a in a
0.815 * [taylor]: Taking taylor expansion of x in a
0.815 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in x
0.815 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x
0.815 * [taylor]: Taking taylor expansion of x in x
0.815 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x
0.815 * [taylor]: Taking taylor expansion of a in x
0.815 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x
0.815 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x
0.815 * [taylor]: Taking taylor expansion of 1/6 in x
0.815 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.815 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.815 * [taylor]: Taking taylor expansion of a in x
0.815 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.815 * [taylor]: Taking taylor expansion of x in x
0.815 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x
0.815 * [taylor]: Taking taylor expansion of 1/2 in x
0.815 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.815 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.815 * [taylor]: Taking taylor expansion of a in x
0.815 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of (sqrt (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))))) in x
0.816 * [taylor]: Taking taylor expansion of (* x (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))))) in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of (+ a (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x)))) in x
0.816 * [taylor]: Taking taylor expansion of a in x
0.816 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 3) (pow x 2))) (* 1/2 (* (pow a 2) x))) in x
0.816 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) (pow x 2))) in x
0.816 * [taylor]: Taking taylor expansion of 1/6 in x
0.816 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.816 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.816 * [taylor]: Taking taylor expansion of a in x
0.816 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow a 2) x)) in x
0.816 * [taylor]: Taking taylor expansion of 1/2 in x
0.816 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.816 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.816 * [taylor]: Taking taylor expansion of a in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of 0 in a
0.816 * [taylor]: Taking taylor expansion of (* NAN a) in a
0.816 * [taylor]: Taking taylor expansion of NAN in a
0.816 * [taylor]: Taking taylor expansion of a in a
0.817 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (pow a 2)) (* (pow a 2) (pow NAN 2)))) in a
0.817 * [taylor]: Taking taylor expansion of NAN in a
0.817 * [taylor]: Taking taylor expansion of (- (* 1/2 (pow a 2)) (* (pow a 2) (pow NAN 2))) in a
0.817 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.817 * [taylor]: Taking taylor expansion of 1/2 in a
0.817 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.817 * [taylor]: Taking taylor expansion of a in a
0.817 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow NAN 2)) in a
0.817 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.817 * [taylor]: Taking taylor expansion of a in a
0.817 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.817 * [taylor]: Taking taylor expansion of NAN in a
0.818 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) (* (pow a 3) (pow NAN 2)))) in a
0.818 * [taylor]: Taking taylor expansion of NAN in a
0.819 * [taylor]: Taking taylor expansion of (- (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) (* (pow a 3) (pow NAN 2))) in a
0.819 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow a 3)) (* 2 (* (pow a 3) (pow NAN 4)))) in a
0.819 * [taylor]: Taking taylor expansion of (* 1/6 (pow a 3)) in a
0.819 * [taylor]: Taking taylor expansion of 1/6 in a
0.819 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.819 * [taylor]: Taking taylor expansion of a in a
0.819 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 3) (pow NAN 4))) in a
0.819 * [taylor]: Taking taylor expansion of 2 in a
0.819 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 4)) in a
0.819 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.819 * [taylor]: Taking taylor expansion of a in a
0.819 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.819 * [taylor]: Taking taylor expansion of NAN in a
0.819 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow NAN 2)) in a
0.819 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.819 * [taylor]: Taking taylor expansion of a in a
0.819 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.819 * [taylor]: Taking taylor expansion of NAN in a
0.820 * [taylor]: Taking taylor expansion of (* NAN (- (* 3 (* (pow a 4) (pow NAN 4))) (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2)))))) in a
0.820 * [taylor]: Taking taylor expansion of NAN in a
0.820 * [taylor]: Taking taylor expansion of (- (* 3 (* (pow a 4) (pow NAN 4))) (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2))))) in a
0.820 * [taylor]: Taking taylor expansion of (* 3 (* (pow a 4) (pow NAN 4))) in a
0.821 * [taylor]: Taking taylor expansion of 3 in a
0.821 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 4)) in a
0.821 * [taylor]: Taking taylor expansion of (pow a 4) in a
0.821 * [taylor]: Taking taylor expansion of a in a
0.821 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.821 * [taylor]: Taking taylor expansion of NAN in a
0.821 * [taylor]: Taking taylor expansion of (+ (* 5 (* (pow a 4) (pow NAN 6))) (* 7/12 (* (pow a 4) (pow NAN 2)))) in a
0.821 * [taylor]: Taking taylor expansion of (* 5 (* (pow a 4) (pow NAN 6))) in a
0.821 * [taylor]: Taking taylor expansion of 5 in a
0.821 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 6)) in a
0.821 * [taylor]: Taking taylor expansion of (pow a 4) in a
0.821 * [taylor]: Taking taylor expansion of a in a
0.821 * [taylor]: Taking taylor expansion of (pow NAN 6) in a
0.821 * [taylor]: Taking taylor expansion of NAN in a
0.821 * [taylor]: Taking taylor expansion of (* 7/12 (* (pow a 4) (pow NAN 2))) in a
0.821 * [taylor]: Taking taylor expansion of 7/12 in a
0.821 * [taylor]: Taking taylor expansion of (* (pow a 4) (pow NAN 2)) in a
0.821 * [taylor]: Taking taylor expansion of (pow a 4) in a
0.821 * [taylor]: Taking taylor expansion of a in a
0.821 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.821 * [taylor]: Taking taylor expansion of NAN in a
0.824 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6)))))) in a
0.824 * [taylor]: Taking taylor expansion of NAN in a
0.824 * [taylor]: Taking taylor expansion of (- (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6))))) in a
0.824 * [taylor]: Taking taylor expansion of (+ (* 14 (* (pow a 5) (pow NAN 8))) (* 5/2 (* (pow a 5) (pow NAN 4)))) in a
0.824 * [taylor]: Taking taylor expansion of (* 14 (* (pow a 5) (pow NAN 8))) in a
0.824 * [taylor]: Taking taylor expansion of 14 in a
0.824 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 8)) in a
0.824 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.824 * [taylor]: Taking taylor expansion of a in a
0.824 * [taylor]: Taking taylor expansion of (pow NAN 8) in a
0.824 * [taylor]: Taking taylor expansion of NAN in a
0.824 * [taylor]: Taking taylor expansion of (* 5/2 (* (pow a 5) (pow NAN 4))) in a
0.824 * [taylor]: Taking taylor expansion of 5/2 in a
0.824 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 4)) in a
0.824 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.824 * [taylor]: Taking taylor expansion of a in a
0.824 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.824 * [taylor]: Taking taylor expansion of NAN in a
0.824 * [taylor]: Taking taylor expansion of (+ (* 1/6 (* (pow a 5) (pow NAN 2))) (* 10 (* (pow a 5) (pow NAN 6)))) in a
0.824 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 5) (pow NAN 2))) in a
0.824 * [taylor]: Taking taylor expansion of 1/6 in a
0.824 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 2)) in a
0.824 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.824 * [taylor]: Taking taylor expansion of a in a
0.824 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.824 * [taylor]: Taking taylor expansion of NAN in a
0.824 * [taylor]: Taking taylor expansion of (* 10 (* (pow a 5) (pow NAN 6))) in a
0.824 * [taylor]: Taking taylor expansion of 10 in a
0.824 * [taylor]: Taking taylor expansion of (* (pow a 5) (pow NAN 6)) in a
0.824 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.824 * [taylor]: Taking taylor expansion of a in a
0.824 * [taylor]: Taking taylor expansion of (pow NAN 6) in a
0.824 * [taylor]: Taking taylor expansion of NAN in a
0.828 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10))))))) in a
0.828 * [taylor]: Taking taylor expansion of NAN in a
0.828 * [taylor]: Taking taylor expansion of (- (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10)))))) in a
0.828 * [taylor]: Taking taylor expansion of (+ (* 5/4 (* (pow a 6) (pow NAN 4))) (* 35 (* (pow a 6) (pow NAN 8)))) in a
0.828 * [taylor]: Taking taylor expansion of (* 5/4 (* (pow a 6) (pow NAN 4))) in a
0.828 * [taylor]: Taking taylor expansion of 5/4 in a
0.828 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 4)) in a
0.828 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.828 * [taylor]: Taking taylor expansion of a in a
0.828 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.828 * [taylor]: Taking taylor expansion of NAN in a
0.828 * [taylor]: Taking taylor expansion of (* 35 (* (pow a 6) (pow NAN 8))) in a
0.828 * [taylor]: Taking taylor expansion of 35 in a
0.828 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 8)) in a
0.828 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.828 * [taylor]: Taking taylor expansion of a in a
0.828 * [taylor]: Taking taylor expansion of (pow NAN 8) in a
0.828 * [taylor]: Taking taylor expansion of NAN in a
0.828 * [taylor]: Taking taylor expansion of (+ (* 1/36 (* (pow a 6) (pow NAN 2))) (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10))))) in a
0.828 * [taylor]: Taking taylor expansion of (* 1/36 (* (pow a 6) (pow NAN 2))) in a
0.828 * [taylor]: Taking taylor expansion of 1/36 in a
0.828 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 2)) in a
0.828 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.828 * [taylor]: Taking taylor expansion of a in a
0.828 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.828 * [taylor]: Taking taylor expansion of NAN in a
0.828 * [taylor]: Taking taylor expansion of (+ (* 65/6 (* (pow a 6) (pow NAN 6))) (* 42 (* (pow a 6) (pow NAN 10)))) in a
0.828 * [taylor]: Taking taylor expansion of (* 65/6 (* (pow a 6) (pow NAN 6))) in a
0.828 * [taylor]: Taking taylor expansion of 65/6 in a
0.828 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 6)) in a
0.828 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.828 * [taylor]: Taking taylor expansion of a in a
0.828 * [taylor]: Taking taylor expansion of (pow NAN 6) in a
0.828 * [taylor]: Taking taylor expansion of NAN in a
0.828 * [taylor]: Taking taylor expansion of (* 42 (* (pow a 6) (pow NAN 10))) in a
0.828 * [taylor]: Taking taylor expansion of 42 in a
0.828 * [taylor]: Taking taylor expansion of (* (pow a 6) (pow NAN 10)) in a
0.829 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.829 * [taylor]: Taking taylor expansion of a in a
0.829 * [taylor]: Taking taylor expansion of (pow NAN 10) in a
0.829 * [taylor]: Taking taylor expansion of NAN in a
0.830 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in (x a) around 0
0.830 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in a
0.830 * [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.830 * [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.830 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a
0.830 * [taylor]: Taking taylor expansion of 1/2 in a
0.830 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a
0.830 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
0.830 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.830 * [taylor]: Taking taylor expansion of a in a
0.830 * [taylor]: Taking taylor expansion of x in a
0.831 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a
0.831 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.831 * [taylor]: Taking taylor expansion of a in a
0.831 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a
0.831 * [taylor]: Taking taylor expansion of 1/6 in a
0.831 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a
0.831 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
0.831 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.831 * [taylor]: Taking taylor expansion of a in a
0.831 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.831 * [taylor]: Taking taylor expansion of x in a
0.831 * [taylor]: Taking taylor expansion of x in a
0.831 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x
0.831 * [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.831 * [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.831 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.831 * [taylor]: Taking taylor expansion of 1/2 in x
0.831 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.831 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.831 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.831 * [taylor]: Taking taylor expansion of a in x
0.831 * [taylor]: Taking taylor expansion of x in x
0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.832 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.832 * [taylor]: Taking taylor expansion of a in x
0.832 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.832 * [taylor]: Taking taylor expansion of 1/6 in x
0.832 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.832 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.832 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.832 * [taylor]: Taking taylor expansion of a in x
0.832 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.832 * [taylor]: Taking taylor expansion of x in x
0.832 * [taylor]: Taking taylor expansion of x in x
0.832 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x
0.832 * [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.832 * [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.833 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.833 * [taylor]: Taking taylor expansion of 1/2 in x
0.833 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.833 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.833 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.833 * [taylor]: Taking taylor expansion of a in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.833 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.833 * [taylor]: Taking taylor expansion of a in x
0.833 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.833 * [taylor]: Taking taylor expansion of 1/6 in x
0.833 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.833 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.833 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.833 * [taylor]: Taking taylor expansion of a in x
0.833 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.834 * [taylor]: Taking taylor expansion of 0 in a
0.834 * [taylor]: Taking taylor expansion of (/ NAN (pow a 3)) in a
0.834 * [taylor]: Taking taylor expansion of NAN in a
0.834 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.834 * [taylor]: Taking taylor expansion of a in a
0.835 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6)))) in a
0.835 * [taylor]: Taking taylor expansion of NAN in a
0.835 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6))) in a
0.835 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.835 * [taylor]: Taking taylor expansion of 1/2 in a
0.835 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.835 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.835 * [taylor]: Taking taylor expansion of a in a
0.835 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 6)) in a
0.835 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.835 * [taylor]: Taking taylor expansion of NAN in a
0.835 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.835 * [taylor]: Taking taylor expansion of a in a
0.838 * [taylor]: Taking taylor expansion of (* NAN (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5)))) in a
0.838 * [taylor]: Taking taylor expansion of NAN in a
0.838 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5))) in a
0.838 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) in a
0.838 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.838 * [taylor]: Taking taylor expansion of a in a
0.838 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow a 9))) in a
0.838 * [taylor]: Taking taylor expansion of 2 in a
0.838 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow a 9)) in a
0.838 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.838 * [taylor]: Taking taylor expansion of NAN in a
0.838 * [taylor]: Taking taylor expansion of (pow a 9) in a
0.838 * [taylor]: Taking taylor expansion of a in a
0.838 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 5)) in a
0.838 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.838 * [taylor]: Taking taylor expansion of NAN in a
0.838 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.838 * [taylor]: Taking taylor expansion of a in a
0.844 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in (x a) around 0
0.844 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in a
0.844 * [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.844 * [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.844 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in a
0.844 * [taylor]: Taking taylor expansion of 1/2 in a
0.844 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in a
0.844 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in a
0.844 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.844 * [taylor]: Taking taylor expansion of a in a
0.844 * [taylor]: Taking taylor expansion of x in a
0.844 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in a
0.844 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.844 * [taylor]: Taking taylor expansion of a in a
0.844 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in a
0.844 * [taylor]: Taking taylor expansion of 1/6 in a
0.844 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in a
0.844 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in a
0.844 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.844 * [taylor]: Taking taylor expansion of a in a
0.844 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.844 * [taylor]: Taking taylor expansion of x in a
0.844 * [taylor]: Taking taylor expansion of x in a
0.845 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x
0.845 * [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.845 * [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.845 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.845 * [taylor]: Taking taylor expansion of 1/2 in x
0.845 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.845 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.845 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.845 * [taylor]: Taking taylor expansion of a in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.845 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.845 * [taylor]: Taking taylor expansion of a in x
0.845 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.845 * [taylor]: Taking taylor expansion of 1/6 in x
0.845 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.845 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.845 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.845 * [taylor]: Taking taylor expansion of a in x
0.845 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.845 * [taylor]: Taking taylor expansion of x in x
0.846 * [taylor]: Taking taylor expansion of x in x
0.846 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (* 1/2 (/ 1 (* (pow a 2) x))) (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))))) x)) in x
0.846 * [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.846 * [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.846 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (* (pow a 2) x))) in x
0.846 * [taylor]: Taking taylor expansion of 1/2 in x
0.846 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) x)) in x
0.846 * [taylor]: Taking taylor expansion of (* (pow a 2) x) in x
0.846 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.846 * [taylor]: Taking taylor expansion of a in x
0.846 * [taylor]: Taking taylor expansion of x in x
0.846 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 1/6 (/ 1 (* (pow a 3) (pow x 2))))) in x
0.846 * [taylor]: Taking taylor expansion of (/ 1 a) in x
0.846 * [taylor]: Taking taylor expansion of a in x
0.846 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) (pow x 2)))) in x
0.846 * [taylor]: Taking taylor expansion of 1/6 in x
0.846 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 2))) in x
0.846 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 2)) in x
0.846 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.846 * [taylor]: Taking taylor expansion of a in x
0.846 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.846 * [taylor]: Taking taylor expansion of x in x
0.847 * [taylor]: Taking taylor expansion of x in x
0.847 * [taylor]: Taking taylor expansion of 0 in a
0.847 * [taylor]: Taking taylor expansion of (/ NAN (pow a 3)) in a
0.847 * [taylor]: Taking taylor expansion of NAN in a
0.847 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.847 * [taylor]: Taking taylor expansion of a in a
0.848 * [taylor]: Taking taylor expansion of (* NAN (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6)))) in a
0.848 * [taylor]: Taking taylor expansion of NAN in a
0.848 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow a 2))) (/ (pow NAN 2) (pow a 6))) in a
0.848 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.848 * [taylor]: Taking taylor expansion of 1/2 in a
0.848 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.848 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.848 * [taylor]: Taking taylor expansion of a in a
0.848 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 6)) in a
0.848 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.848 * [taylor]: Taking taylor expansion of NAN in a
0.848 * [taylor]: Taking taylor expansion of (pow a 6) in a
0.848 * [taylor]: Taking taylor expansion of a in a
0.851 * [taylor]: Taking taylor expansion of (* NAN (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5)))) in a
0.851 * [taylor]: Taking taylor expansion of NAN in a
0.851 * [taylor]: Taking taylor expansion of (- (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) (/ (pow NAN 2) (pow a 5))) in a
0.851 * [taylor]: Taking taylor expansion of (+ (/ 1 a) (* 2 (/ (pow NAN 4) (pow a 9)))) in a
0.851 * [taylor]: Taking taylor expansion of (/ 1 a) in a
0.851 * [taylor]: Taking taylor expansion of a in a
0.851 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow a 9))) in a
0.851 * [taylor]: Taking taylor expansion of 2 in a
0.851 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow a 9)) in a
0.851 * [taylor]: Taking taylor expansion of (pow NAN 4) in a
0.851 * [taylor]: Taking taylor expansion of NAN in a
0.851 * [taylor]: Taking taylor expansion of (pow a 9) in a
0.851 * [taylor]: Taking taylor expansion of a in a
0.851 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow a 5)) in a
0.851 * [taylor]: Taking taylor expansion of (pow NAN 2) in a
0.851 * [taylor]: Taking taylor expansion of NAN in a
0.851 * [taylor]: Taking taylor expansion of (pow a 5) in a
0.851 * [taylor]: Taking taylor expansion of a in a
0.857 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 2)
0.857 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in (a x) around 0
0.857 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x
0.857 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x
0.857 * [taylor]: Taking taylor expansion of 1/2 in x
0.857 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.857 * [taylor]: Taking taylor expansion of a in x
0.857 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x
0.857 * [taylor]: Taking taylor expansion of 1/6 in x
0.857 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.857 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.857 * [taylor]: Taking taylor expansion of a in x
0.857 * [taylor]: Taking taylor expansion of x in x
0.857 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
0.857 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.857 * [taylor]: Taking taylor expansion of 1/2 in a
0.857 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.857 * [taylor]: Taking taylor expansion of a in a
0.857 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
0.857 * [taylor]: Taking taylor expansion of 1/6 in a
0.857 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.857 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.857 * [taylor]: Taking taylor expansion of a in a
0.857 * [taylor]: Taking taylor expansion of x in a
0.857 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
0.857 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.857 * [taylor]: Taking taylor expansion of 1/2 in a
0.857 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.857 * [taylor]: Taking taylor expansion of a in a
0.857 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
0.857 * [taylor]: Taking taylor expansion of 1/6 in a
0.857 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.858 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.858 * [taylor]: Taking taylor expansion of a in a
0.858 * [taylor]: Taking taylor expansion of x in a
0.858 * [taylor]: Taking taylor expansion of 1/2 in x
0.858 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.858 * [taylor]: Taking taylor expansion of 1/6 in x
0.858 * [taylor]: Taking taylor expansion of x in x
0.858 * [taylor]: Taking taylor expansion of 0 in x
0.858 * [taylor]: Taking taylor expansion of 0 in x
0.859 * [taylor]: Taking taylor expansion of 0 in x
0.859 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0
0.859 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.859 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.859 * [taylor]: Taking taylor expansion of 1/2 in x
0.859 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.859 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.859 * [taylor]: Taking taylor expansion of a in x
0.859 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
0.859 * [taylor]: Taking taylor expansion of 1/6 in x
0.859 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
0.859 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.859 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.859 * [taylor]: Taking taylor expansion of a in x
0.859 * [taylor]: Taking taylor expansion of x in x
0.859 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.859 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.860 * [taylor]: Taking taylor expansion of 1/2 in a
0.860 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.860 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.860 * [taylor]: Taking taylor expansion of a in a
0.860 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.860 * [taylor]: Taking taylor expansion of 1/6 in a
0.860 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.860 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.860 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.860 * [taylor]: Taking taylor expansion of a in a
0.860 * [taylor]: Taking taylor expansion of x in a
0.860 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.860 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.860 * [taylor]: Taking taylor expansion of 1/2 in a
0.860 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.860 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.860 * [taylor]: Taking taylor expansion of a in a
0.860 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.860 * [taylor]: Taking taylor expansion of 1/6 in a
0.860 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.860 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.860 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.860 * [taylor]: Taking taylor expansion of a in a
0.860 * [taylor]: Taking taylor expansion of x in a
0.860 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.860 * [taylor]: Taking taylor expansion of 1/6 in x
0.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.860 * [taylor]: Taking taylor expansion of x in x
0.860 * [taylor]: Taking taylor expansion of 1/2 in x
0.861 * [taylor]: Taking taylor expansion of 0 in x
0.861 * [taylor]: Taking taylor expansion of 0 in x
0.862 * [taylor]: Taking taylor expansion of 0 in x
0.862 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0
0.862 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.862 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.862 * [taylor]: Taking taylor expansion of 1/2 in x
0.862 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.862 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.862 * [taylor]: Taking taylor expansion of a in x
0.862 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
0.862 * [taylor]: Taking taylor expansion of 1/6 in x
0.862 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
0.862 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.862 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.862 * [taylor]: Taking taylor expansion of a in x
0.862 * [taylor]: Taking taylor expansion of x in x
0.863 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.863 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.863 * [taylor]: Taking taylor expansion of 1/2 in a
0.863 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.863 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.863 * [taylor]: Taking taylor expansion of a in a
0.863 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.863 * [taylor]: Taking taylor expansion of 1/6 in a
0.863 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.863 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.863 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.863 * [taylor]: Taking taylor expansion of a in a
0.863 * [taylor]: Taking taylor expansion of x in a
0.863 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.863 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.863 * [taylor]: Taking taylor expansion of 1/2 in a
0.863 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.863 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.863 * [taylor]: Taking taylor expansion of a in a
0.863 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.863 * [taylor]: Taking taylor expansion of 1/6 in a
0.863 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.863 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.863 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.863 * [taylor]: Taking taylor expansion of a in a
0.863 * [taylor]: Taking taylor expansion of x in a
0.863 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.863 * [taylor]: Taking taylor expansion of 1/6 in x
0.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.863 * [taylor]: Taking taylor expansion of x in x
0.863 * [taylor]: Taking taylor expansion of 1/2 in x
0.864 * [taylor]: Taking taylor expansion of 0 in x
0.864 * [taylor]: Taking taylor expansion of 0 in x
0.865 * [taylor]: Taking taylor expansion of 0 in x
0.865 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2)
0.865 * [approximate]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in (a x) around 0
0.865 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in x
0.865 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in x
0.865 * [taylor]: Taking taylor expansion of 1/2 in x
0.865 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.865 * [taylor]: Taking taylor expansion of a in x
0.865 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in x
0.865 * [taylor]: Taking taylor expansion of 1/6 in x
0.865 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.865 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.865 * [taylor]: Taking taylor expansion of a in x
0.865 * [taylor]: Taking taylor expansion of x in x
0.865 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
0.865 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.865 * [taylor]: Taking taylor expansion of 1/2 in a
0.865 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.865 * [taylor]: Taking taylor expansion of a in a
0.865 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
0.865 * [taylor]: Taking taylor expansion of 1/6 in a
0.865 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.865 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.865 * [taylor]: Taking taylor expansion of a in a
0.866 * [taylor]: Taking taylor expansion of x in a
0.866 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x))) in a
0.866 * [taylor]: Taking taylor expansion of (* 1/2 (pow a 2)) in a
0.866 * [taylor]: Taking taylor expansion of 1/2 in a
0.866 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.866 * [taylor]: Taking taylor expansion of a in a
0.866 * [taylor]: Taking taylor expansion of (* 1/6 (* (pow a 3) x)) in a
0.866 * [taylor]: Taking taylor expansion of 1/6 in a
0.866 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.866 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.866 * [taylor]: Taking taylor expansion of a in a
0.866 * [taylor]: Taking taylor expansion of x in a
0.866 * [taylor]: Taking taylor expansion of 1/2 in x
0.866 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
0.866 * [taylor]: Taking taylor expansion of 1/6 in x
0.866 * [taylor]: Taking taylor expansion of x in x
0.866 * [taylor]: Taking taylor expansion of 0 in x
0.866 * [taylor]: Taking taylor expansion of 0 in x
0.867 * [taylor]: Taking taylor expansion of 0 in x
0.867 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0
0.867 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.867 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.867 * [taylor]: Taking taylor expansion of 1/2 in x
0.867 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.867 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.867 * [taylor]: Taking taylor expansion of a in x
0.867 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
0.867 * [taylor]: Taking taylor expansion of 1/6 in x
0.867 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
0.867 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.867 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.867 * [taylor]: Taking taylor expansion of a in x
0.867 * [taylor]: Taking taylor expansion of x in x
0.868 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.868 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.868 * [taylor]: Taking taylor expansion of 1/2 in a
0.868 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.868 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.868 * [taylor]: Taking taylor expansion of a in a
0.868 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.868 * [taylor]: Taking taylor expansion of 1/6 in a
0.868 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.868 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.868 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.868 * [taylor]: Taking taylor expansion of a in a
0.868 * [taylor]: Taking taylor expansion of x in a
0.868 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.868 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.868 * [taylor]: Taking taylor expansion of 1/2 in a
0.868 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.868 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.868 * [taylor]: Taking taylor expansion of a in a
0.868 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.868 * [taylor]: Taking taylor expansion of 1/6 in a
0.868 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.868 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.868 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.868 * [taylor]: Taking taylor expansion of a in a
0.868 * [taylor]: Taking taylor expansion of x in a
0.868 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.868 * [taylor]: Taking taylor expansion of 1/6 in x
0.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.868 * [taylor]: Taking taylor expansion of x in x
0.869 * [taylor]: Taking taylor expansion of 1/2 in x
0.869 * [taylor]: Taking taylor expansion of 0 in x
0.869 * [taylor]: Taking taylor expansion of 0 in x
0.870 * [taylor]: Taking taylor expansion of 0 in x
0.870 * [approximate]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in (a x) around 0
0.870 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in x
0.870 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in x
0.870 * [taylor]: Taking taylor expansion of 1/2 in x
0.870 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in x
0.870 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.870 * [taylor]: Taking taylor expansion of a in x
0.870 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in x
0.870 * [taylor]: Taking taylor expansion of 1/6 in x
0.870 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in x
0.870 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in x
0.871 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.871 * [taylor]: Taking taylor expansion of a in x
0.871 * [taylor]: Taking taylor expansion of x in x
0.871 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.871 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.871 * [taylor]: Taking taylor expansion of 1/2 in a
0.871 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.871 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.871 * [taylor]: Taking taylor expansion of a in a
0.871 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.871 * [taylor]: Taking taylor expansion of 1/6 in a
0.871 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.871 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.871 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.871 * [taylor]: Taking taylor expansion of a in a
0.871 * [taylor]: Taking taylor expansion of x in a
0.871 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow a 2))) (* 1/6 (/ 1 (* (pow a 3) x)))) in a
0.871 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow a 2))) in a
0.871 * [taylor]: Taking taylor expansion of 1/2 in a
0.871 * [taylor]: Taking taylor expansion of (/ 1 (pow a 2)) in a
0.871 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.871 * [taylor]: Taking taylor expansion of a in a
0.871 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (* (pow a 3) x))) in a
0.871 * [taylor]: Taking taylor expansion of 1/6 in a
0.871 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) x)) in a
0.871 * [taylor]: Taking taylor expansion of (* (pow a 3) x) in a
0.871 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.871 * [taylor]: Taking taylor expansion of a in a
0.871 * [taylor]: Taking taylor expansion of x in a
0.872 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
0.872 * [taylor]: Taking taylor expansion of 1/6 in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.872 * [taylor]: Taking taylor expansion of 1/2 in x
0.872 * [taylor]: Taking taylor expansion of 0 in x
0.872 * [taylor]: Taking taylor expansion of 0 in x
0.873 * [taylor]: Taking taylor expansion of 0 in x
0.873 * * * [progress]: simplifying candidates
0.876 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (exp (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (* (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))))
  (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (* (* (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (sqrt x)
  (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))
  (sqrt (* x (+ (pow a 3) (pow (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) 3))))
  (sqrt (+ (* a a) (- (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (sqrt (* x (- (* a a) (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (sqrt (- a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (sqrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (log (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (exp (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (* (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))))
  (cbrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (* (* (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))) (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (sqrt x)
  (sqrt (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))
  (sqrt (* x (+ (pow a 3) (pow (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) 3))))
  (sqrt (+ (* a a) (- (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))) (* a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (sqrt (* x (- (* a a) (* (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (sqrt (- a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))
  (/ 1 2)
  (/ 1 2)
  (sqrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (sqrt (sqrt (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))))))
  (* (exp (* a (* a 1/2))) (exp (* x (* 1/6 (pow a 3)))))
  (log (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (exp (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (* (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))
  (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (* (* (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (+ (pow (* a (* a 1/2)) 3) (pow (* x (* 1/6 (pow a 3))) 3))
  (+ (* (* a (* a 1/2)) (* a (* a 1/2))) (- (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))) (* (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))
  (- (* (* a (* a 1/2)) (* a (* a 1/2))) (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))))
  (- (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))
  (* (exp (* a (* a 1/2))) (exp (* x (* 1/6 (pow a 3)))))
  (log (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (exp (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (* (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))
  (cbrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (* (* (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))) (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (sqrt (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3)))))
  (+ (pow (* a (* a 1/2)) 3) (pow (* x (* 1/6 (pow a 3))) 3))
  (+ (* (* a (* a 1/2)) (* a (* a 1/2))) (- (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))) (* (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))
  (- (* (* a (* a 1/2)) (* a (* a 1/2))) (* (* x (* 1/6 (pow a 3))) (* x (* 1/6 (pow a 3)))))
  (- (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))
  (- (+ (* 1/2 (* (pow a 2) (* (pow x 2) NAN))) (+ (* 1/6 (* (pow a 3) (* (pow x 3) NAN))) (+ (* 2 (* (pow a 3) (* (pow x 3) (pow NAN 5)))) (* a (* x NAN))))) (+ (* (pow a 3) (* (pow x 3) (pow NAN 3))) (* (pow a 2) (* (pow x 2) (pow NAN 3)))))
  (* 1/2 (* (pow a 2) NAN))
  (* 1/2 (* (pow a 2) NAN))
  (- (+ (* 1/2 (* (pow a 2) (* (pow x 2) NAN))) (+ (* 1/6 (* (pow a 3) (* (pow x 3) NAN))) (+ (* 2 (* (pow a 3) (* (pow x 3) (pow NAN 5)))) (* a (* x NAN))))) (+ (* (pow a 3) (* (pow x 3) (pow NAN 3))) (* (pow a 2) (* (pow x 2) (pow NAN 3)))))
  (* 1/2 (* (pow a 2) NAN))
  (* 1/2 (* (pow a 2) NAN))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
  (+ (* 1/2 (pow a 2)) (* 1/6 (* (pow a 3) x)))
0.921 * * [simplify]: iteration  0 :  4922  enodes  (cost  1096 )
0.922 * * [simplify]: iteration  1 :  4922  enodes  (cost  1096 )
0.926 * [simplify]: Simplified to:
   (log (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (exp (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (* (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))))
  (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (pow (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))) 3)
  (sqrt x)
  (sqrt (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))
  (sqrt (* x (+ (pow a 3) (pow (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))) 3))))
  (sqrt (+ (* a a) (* x (* (* (* a a) (+ 1/2 (* a (* x 1/6)))) (- (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))) a)))))
  (sqrt (* x (- (* a a) (* x (* x (* (pow a 4) (* (+ 1/2 (* a (* x 1/6))) (+ 1/2 (* a (* x 1/6))))))))))
  (sqrt (- a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))
  1/2
  1/2
  (sqrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (sqrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (log (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (exp (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (* (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))) (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))))))))
  (cbrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (pow (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))) 3)
  (sqrt x)
  (sqrt (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))
  (sqrt (* x (+ (pow a 3) (pow (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))) 3))))
  (sqrt (+ (* a a) (* x (* (* (* a a) (+ 1/2 (* a (* x 1/6)))) (- (* x (* (* a a) (+ 1/2 (* a (* x 1/6))))) a)))))
  (sqrt (* x (- (* a a) (* x (* x (* (pow a 4) (* (+ 1/2 (* a (* x 1/6))) (+ 1/2 (* a (* x 1/6))))))))))
  (sqrt (- a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))
  1/2
  1/2
  (sqrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (sqrt (sqrt (* x (+ a (* x (* (* a a) (+ 1/2 (* a (* x 1/6)))))))))
  (pow (pow (exp a) a) (+ 1/2 (* a (* x 1/6))))
  (log (* (* a a) (+ 1/2 (* a (* x 1/6)))))
  (pow (pow (exp a) a) (+ 1/2 (* a (* x 1/6))))
  (* (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6))))))
  (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6)))))
  (* (pow a 6) (pow (+ 1/2 (* a (* x 1/6))) 3))
  (sqrt (* (* a a) (+ 1/2 (* a (* x 1/6)))))
  (sqrt (* (* a a) (+ 1/2 (* a (* x 1/6)))))
  (+ (* 1/8 (pow a 6)) (* 1/216 (pow (* x (pow a 3)) 3)))
  (+ (* 1/4 (pow a 4)) (* x (* (* 1/6 (pow a 3)) (* (* a a) (+ (* a (* x 1/6)) -1/2)))))
  (+ (* 1/4 (pow a 4)) (* x (* (* (pow a 6) -1/36) x)))
  (* (* a a) (- 1/2 (* a (* x 1/6))))
  (pow (pow (exp a) a) (+ 1/2 (* a (* x 1/6))))
  (log (* (* a a) (+ 1/2 (* a (* x 1/6)))))
  (pow (pow (exp a) a) (+ 1/2 (* a (* x 1/6))))
  (* (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6))))) (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6))))))
  (cbrt (* (* a a) (+ 1/2 (* a (* x 1/6)))))
  (* (pow a 6) (pow (+ 1/2 (* a (* x 1/6))) 3))
  (sqrt (* (* a a) (+ 1/2 (* a (* x 1/6)))))
  (sqrt (* (* a a) (+ 1/2 (* a (* x 1/6)))))
  (+ (* 1/8 (pow a 6)) (* 1/216 (pow (* x (pow a 3)) 3)))
  (+ (* 1/4 (pow a 4)) (* x (* (* 1/6 (pow a 3)) (* (* a a) (+ (* a (* x 1/6)) -1/2)))))
  (+ (* 1/4 (pow a 4)) (* x (* (* (pow a 6) -1/36) x)))
  (* (* a a) (- 1/2 (* a (* x 1/6))))
  (+ (* (pow (* x a) 3) (+ (* 1/6 NAN) (* 2 (pow NAN 5)))) (- (* a (+ (* x NAN) (* (* a 1/2) (* x (* x NAN))))) (* (pow NAN 3) (+ (* x (* x (* a a))) (pow (* x a) 3)))))
  (* a (* (* a 1/2) NAN))
  (* a (* (* a 1/2) NAN))
  (+ (* (pow (* x a) 3) (+ (* 1/6 NAN) (* 2 (pow NAN 5)))) (- (* a (+ (* x NAN) (* (* a 1/2) (* x (* x NAN))))) (* (pow NAN 3) (+ (* x (* x (* a a))) (pow (* x a) 3)))))
  (* a (* (* a 1/2) NAN))
  (* a (* (* a 1/2) NAN))
  (* (* a a) (+ 1/2 (* a (* x 1/6))))
  (* (* a a) (+ 1/2 (* a (* x 1/6))))
  (* (* a a) (+ 1/2 (* a (* x 1/6))))
  (* (* a a) (+ 1/2 (* a (* x 1/6))))
  (* (* a a) (+ 1/2 (* a (* x 1/6))))
  (* (* a a) (+ 1/2 (* a (* x 1/6))))
0.926 * * * [progress]: adding candidates to table
1.087 * [progress]: [Phase 3 of 3] Extracting.
1.087 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (+ (* a x) (* a (* (* a 1/2) (* x x)))))> #<alt (λ (a x) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))> #<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (* (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))))))))))>)
1.088 * * * [regime-changes]: Trying 5 branch expressions: ((* a x) (exp (* a x)) (- (exp (* a x)) 1.0) x a)
1.088 * * * * [regimes]: Trying to branch on (* a x) from (#<alt (λ (a x) (+ (* a x) (* a (* (* a 1/2) (* x x)))))> #<alt (λ (a x) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))> #<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (* (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))))))))))>)
1.131 * * * * [regimes]: Trying to branch on (exp (* a x)) from (#<alt (λ (a x) (+ (* a x) (* a (* (* a 1/2) (* x x)))))> #<alt (λ (a x) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))> #<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (* (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))))))))))>)
1.167 * * * * [regimes]: Trying to branch on (- (exp (* a x)) 1.0) from (#<alt (λ (a x) (+ (* a x) (* a (* (* a 1/2) (* x x)))))> #<alt (λ (a x) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))> #<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (* (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))))))))))>)
1.206 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (+ (* a x) (* a (* (* a 1/2) (* x x)))))> #<alt (λ (a x) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))> #<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (* (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))))))))))>)
1.264 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (+ (* a x) (* a (* (* a 1/2) (* x x)))))> #<alt (λ (a x) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))> #<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (* (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))))))))))>)
1.320 * * * [regime]: Found split indices: #<option (#s(si 2 92) #s(si 0 255))>
1.321 * [binary-search]: Only using regimes for bounds on (* a x) and (#<alt (λ (a x) (+ (* a x) (* a (* (* a 1/2) (* x x)))))> #<alt (λ (a x) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))> #<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (* (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))))))))))>)
1.321 * [regimes]: Found splitpoints: (#s(sp 2 (* a x) -7.603404984815863e-05) #s(sp 0 (* a x) +nan.0)) , with alts (#<alt (λ (a x) (+ (* a x) (* a (* (* a 1/2) (* x x)))))> #<alt (λ (a x) (* x (+ a (* x (+ (* a (* a 1/2)) (* x (* 1/6 (pow a 3))))))))> #<alt (λ (a x) (- (exp (* a x)) 1.0))> #<alt (λ (a x) (* (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))))))))))>)
1.321 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* a x) -7.603404984815863e-05) (- (exp (* a x)) 1.0) (+ (* a x) (* a (* (* a 1/2) (* x x)))))
1.322 * * [simplify]: iteration  0 :  30  enodes  (cost  25 )
1.322 * * [simplify]: iteration  1 :  30  enodes  (cost  25 )
1.322 * [simplify]: Simplified to:
   (if (<= (* a x) -7.603404984815863e-05) (- (exp (* a x)) 1.0) (+ (* a x) (* a (* (* a 1/2) (* x x)))))
2.705 * [regime-testing]: End program error score: 3.004170055893693
2.814 * [regime-testing]: Target error score: 0.2134187536804587