6.126 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.074 * * * [progress]: [2/2] Setting up program.
0.079 * [progress]: [Phase 2 of 3] Improving.
0.079 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (exp.f64 (*.f64 a x)) 1)
0.157 * * [simplify]: iteration  0 :  5377  enodes  (cost  9 )
0.158 * [simplify]: Simplified to:
   (-.f64 (exp.f64 (*.f64 a x)) 1)
0.158 * * [progress]: iteration 1 / 4
0.158 * * * [progress]: picking best candidate
0.163 * * * * [pick]: Picked  #<alt (λ (a x) (-.f64 (exp.f64 (*.f64 a x)) 1))>
0.163 * * * [progress]: localizing error
0.169 * * * [progress]: generating rewritten candidates
0.169 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.173 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.176 * * * [progress]: generating series expansions
0.176 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.176 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1) in (a x) around 0
0.176 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1) in x
0.176 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.176 * [taylor]: Taking taylor expansion of (* a x) in x
0.176 * [taylor]: Taking taylor expansion of a in x
0.176 * [taylor]: Taking taylor expansion of x in x
0.176 * [taylor]: Taking taylor expansion of 1 in x
0.176 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1) in a
0.176 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.177 * [taylor]: Taking taylor expansion of (* a x) in a
0.177 * [taylor]: Taking taylor expansion of a in a
0.177 * [taylor]: Taking taylor expansion of x in a
0.177 * [taylor]: Taking taylor expansion of 1 in a
0.177 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1) in a
0.177 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.177 * [taylor]: Taking taylor expansion of (* a x) in a
0.177 * [taylor]: Taking taylor expansion of a in a
0.177 * [taylor]: Taking taylor expansion of x in a
0.177 * [taylor]: Taking taylor expansion of 1 in a
0.177 * [taylor]: Taking taylor expansion of 0 in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.179 * [taylor]: Taking taylor expansion of 1/2 in x
0.179 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.181 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.181 * [taylor]: Taking taylor expansion of 1/6 in x
0.181 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.181 * [taylor]: Taking taylor expansion of x in x
0.183 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.183 * [taylor]: Taking taylor expansion of 1/24 in x
0.183 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.183 * [taylor]: Taking taylor expansion of x in x
0.187 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.187 * [taylor]: Taking taylor expansion of 1/120 in x
0.187 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.187 * [taylor]: Taking taylor expansion of x in x
0.191 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
0.191 * [taylor]: Taking taylor expansion of 1/720 in x
0.191 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.193 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in (a x) around 0
0.193 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
0.193 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.193 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.193 * [taylor]: Taking taylor expansion of (* a x) in x
0.193 * [taylor]: Taking taylor expansion of a in x
0.193 * [taylor]: Taking taylor expansion of x in x
0.194 * [taylor]: Taking taylor expansion of 1 in x
0.194 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in a
0.194 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.194 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.194 * [taylor]: Taking taylor expansion of (* a x) in a
0.194 * [taylor]: Taking taylor expansion of a in a
0.194 * [taylor]: Taking taylor expansion of x in a
0.195 * [taylor]: Taking taylor expansion of 1 in a
0.195 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in a
0.195 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.195 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.195 * [taylor]: Taking taylor expansion of (* a x) in a
0.195 * [taylor]: Taking taylor expansion of a in a
0.195 * [taylor]: Taking taylor expansion of x in a
0.195 * [taylor]: Taking taylor expansion of 1 in a
0.196 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
0.196 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.196 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.196 * [taylor]: Taking taylor expansion of (* a x) in x
0.196 * [taylor]: Taking taylor expansion of a in x
0.196 * [taylor]: Taking taylor expansion of x in x
0.196 * [taylor]: Taking taylor expansion of 1 in x
0.197 * [taylor]: Taking taylor expansion of 0 in x
0.197 * [taylor]: Taking taylor expansion of 0 in x
0.197 * [taylor]: Taking taylor expansion of 0 in x
0.199 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in (a x) around 0
0.199 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
0.199 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.199 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.199 * [taylor]: Taking taylor expansion of (* a x) in x
0.199 * [taylor]: Taking taylor expansion of a in x
0.199 * [taylor]: Taking taylor expansion of x in x
0.199 * [taylor]: Taking taylor expansion of 1 in x
0.199 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in a
0.199 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.199 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.199 * [taylor]: Taking taylor expansion of (* a x) in a
0.199 * [taylor]: Taking taylor expansion of a in a
0.199 * [taylor]: Taking taylor expansion of x in a
0.200 * [taylor]: Taking taylor expansion of 1 in a
0.200 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in a
0.200 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.200 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.200 * [taylor]: Taking taylor expansion of (* a x) in a
0.200 * [taylor]: Taking taylor expansion of a in a
0.200 * [taylor]: Taking taylor expansion of x in a
0.200 * [taylor]: Taking taylor expansion of 1 in a
0.201 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
0.201 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.201 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.201 * [taylor]: Taking taylor expansion of (* a x) in x
0.201 * [taylor]: Taking taylor expansion of a in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.201 * [taylor]: Taking taylor expansion of 1 in x
0.202 * [taylor]: Taking taylor expansion of 0 in x
0.202 * [taylor]: Taking taylor expansion of 0 in x
0.203 * [taylor]: Taking taylor expansion of 0 in x
0.203 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.204 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
0.204 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.204 * [taylor]: Taking taylor expansion of (* a x) in x
0.204 * [taylor]: Taking taylor expansion of a in x
0.204 * [taylor]: Taking taylor expansion of x in x
0.204 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.204 * [taylor]: Taking taylor expansion of (* a x) in a
0.204 * [taylor]: Taking taylor expansion of a in a
0.204 * [taylor]: Taking taylor expansion of x in a
0.204 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.204 * [taylor]: Taking taylor expansion of (* a x) in a
0.204 * [taylor]: Taking taylor expansion of a in a
0.204 * [taylor]: Taking taylor expansion of x in a
0.205 * [taylor]: Taking taylor expansion of 1 in x
0.205 * [taylor]: Taking taylor expansion of x in x
0.206 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.206 * [taylor]: Taking taylor expansion of 1/2 in x
0.206 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.206 * [taylor]: Taking taylor expansion of x in x
0.207 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.207 * [taylor]: Taking taylor expansion of 1/6 in x
0.207 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.207 * [taylor]: Taking taylor expansion of x in x
0.210 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.210 * [taylor]: Taking taylor expansion of 1/24 in x
0.210 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.210 * [taylor]: Taking taylor expansion of x in x
0.211 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.211 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.211 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.211 * [taylor]: Taking taylor expansion of (* a x) in x
0.211 * [taylor]: Taking taylor expansion of a in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.211 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.211 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.211 * [taylor]: Taking taylor expansion of (* a x) in a
0.211 * [taylor]: Taking taylor expansion of a in a
0.211 * [taylor]: Taking taylor expansion of x in a
0.212 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.212 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.212 * [taylor]: Taking taylor expansion of (* a x) in a
0.212 * [taylor]: Taking taylor expansion of a in a
0.212 * [taylor]: Taking taylor expansion of x in a
0.213 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.213 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.213 * [taylor]: Taking taylor expansion of (* a x) in x
0.213 * [taylor]: Taking taylor expansion of a in x
0.213 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of 0 in x
0.213 * [taylor]: Taking taylor expansion of 0 in x
0.213 * [taylor]: Taking taylor expansion of 0 in x
0.214 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.214 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.214 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.214 * [taylor]: Taking taylor expansion of (* a x) in x
0.214 * [taylor]: Taking taylor expansion of a in x
0.214 * [taylor]: Taking taylor expansion of x in x
0.215 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.215 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.215 * [taylor]: Taking taylor expansion of (* a x) in a
0.215 * [taylor]: Taking taylor expansion of a in a
0.215 * [taylor]: Taking taylor expansion of x in a
0.215 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.215 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.215 * [taylor]: Taking taylor expansion of (* a x) in a
0.215 * [taylor]: Taking taylor expansion of a in a
0.215 * [taylor]: Taking taylor expansion of x in a
0.216 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.216 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.216 * [taylor]: Taking taylor expansion of (* a x) in x
0.216 * [taylor]: Taking taylor expansion of a in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of 0 in x
0.217 * [taylor]: Taking taylor expansion of 0 in x
0.217 * [taylor]: Taking taylor expansion of 0 in x
0.217 * * * [progress]: simplifying candidates
0.218 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 1)
  (-.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 1)
  (+.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 1)
  (-.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 1)
  (+.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) (sqrt.f64 1))
  (-.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) (sqrt.f64 1))
  (-.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (*.f64 1 1))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (neg.f64 1)
  (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 3) (pow.f64 1 3))
  (+.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (+.f64 (*.f64 1 1) (*.f64 (exp.f64 (*.f64 a x)) 1)))
  (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (*.f64 (*.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) (-.f64 (exp.f64 (*.f64 a x)) 1)) (-.f64 (exp.f64 (*.f64 a x)) 1))
  (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1)))
  (cbrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (log.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (exp.f64 (exp.f64 (*.f64 a x))) (exp.f64 1))
  (sqrt.f64 (exp.f64 (*.f64 a x)))
  (sqrt.f64 (exp.f64 (*.f64 a x)))
  (*.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (exp.f64 (*.f64 a x)))
  (*.f64 (cbrt.f64 (exp.f64 (*.f64 a x))) (cbrt.f64 (exp.f64 (*.f64 a x))))
  (cbrt.f64 (exp.f64 (*.f64 a x)))
  (exp.f64 (exp.f64 (*.f64 a x)))
  (log.f64 (exp.f64 (*.f64 a x)))
  (exp.f64 a)
  (+.f64 (*.f64 1/2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 a 3) (pow.f64 x 3))) (*.f64 a x)))
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (*.f64 1/2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 a x) 1))
  (exp.f64 (*.f64 a x))
  (exp.f64 (*.f64 a x))
0.275 * * [simplify]: iteration  0 :  5406  enodes  (cost  374 )
0.278 * [simplify]: Simplified to:
   (-.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
  (-.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 1)
  (+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
  (-.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 1)
  (+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
  (-.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 1)
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  -1
  (+.f64 -1 (pow.f64 (exp.f64 (*.f64 a x)) 3))
  (+.f64 1 (*.f64 (exp.f64 (*.f64 a x)) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (pow.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) 3)
  (*.f64 (cbrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1)))
  (cbrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (log.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (exp.f64 (*.f64 a x)))
  (sqrt.f64 (exp.f64 (*.f64 a x)))
  (pow.f64 (exp.f64 (*.f64 a x)) 3)
  (*.f64 (cbrt.f64 (exp.f64 (*.f64 a x))) (cbrt.f64 (exp.f64 (*.f64 a x))))
  (cbrt.f64 (exp.f64 (*.f64 a x)))
  (exp.f64 (exp.f64 (*.f64 a x)))
  (*.f64 a x)
  (exp.f64 a)
  (*.f64 x (+.f64 a (*.f64 x (+.f64 (*.f64 1/2 (*.f64 a a)) (*.f64 x (*.f64 1/6 (pow.f64 a 3)))))))
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 1 (*.f64 a (+.f64 x (*.f64 1/2 (*.f64 a (*.f64 x x))))))
  (exp.f64 (*.f64 a x))
  (exp.f64 (*.f64 a x))
0.278 * * * [progress]: adding candidates to table
0.350 * * [progress]: iteration 2 / 4
0.350 * * * [progress]: picking best candidate
0.372 * * * * [pick]: Picked  #<alt (λ (a x) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))>
0.372 * * * [progress]: localizing error
0.385 * * * [progress]: generating rewritten candidates
0.385 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.397 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.410 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.414 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.421 * * * [progress]: generating series expansions
0.421 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.422 * [approximate]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in (a x) around 0
0.422 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in x
0.422 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in x
0.422 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.422 * [taylor]: Taking taylor expansion of (* a x) in x
0.422 * [taylor]: Taking taylor expansion of a in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of 1 in x
0.422 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in a
0.422 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.422 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.422 * [taylor]: Taking taylor expansion of (* a x) in a
0.422 * [taylor]: Taking taylor expansion of a in a
0.422 * [taylor]: Taking taylor expansion of x in a
0.423 * [taylor]: Taking taylor expansion of 1 in a
0.423 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in a
0.423 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.423 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.423 * [taylor]: Taking taylor expansion of (* a x) in a
0.423 * [taylor]: Taking taylor expansion of a in a
0.423 * [taylor]: Taking taylor expansion of x in a
0.423 * [taylor]: Taking taylor expansion of 1 in a
0.423 * [taylor]: Taking taylor expansion of 0 in x
0.424 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.424 * [taylor]: Taking taylor expansion of 2 in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.426 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
0.426 * [taylor]: Taking taylor expansion of 2 in x
0.426 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.426 * [taylor]: Taking taylor expansion of x in x
0.429 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
0.429 * [taylor]: Taking taylor expansion of 4/3 in x
0.429 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.429 * [taylor]: Taking taylor expansion of x in x
0.432 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 4)) in x
0.432 * [taylor]: Taking taylor expansion of 2/3 in x
0.432 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.432 * [taylor]: Taking taylor expansion of x in x
0.437 * [taylor]: Taking taylor expansion of (* 4/15 (pow x 5)) in x
0.437 * [taylor]: Taking taylor expansion of 4/15 in x
0.437 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.437 * [taylor]: Taking taylor expansion of x in x
0.444 * [taylor]: Taking taylor expansion of (* 4/45 (pow x 6)) in x
0.444 * [taylor]: Taking taylor expansion of 4/45 in x
0.444 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.446 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in (a x) around 0
0.446 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.446 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.446 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.446 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.446 * [taylor]: Taking taylor expansion of (* a x) in x
0.446 * [taylor]: Taking taylor expansion of a in x
0.446 * [taylor]: Taking taylor expansion of x in x
0.446 * [taylor]: Taking taylor expansion of 1 in x
0.446 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.447 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.447 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.447 * [taylor]: Taking taylor expansion of (* a x) in a
0.447 * [taylor]: Taking taylor expansion of a in a
0.447 * [taylor]: Taking taylor expansion of x in a
0.447 * [taylor]: Taking taylor expansion of 1 in a
0.447 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.447 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.447 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.447 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.447 * [taylor]: Taking taylor expansion of (* a x) in a
0.447 * [taylor]: Taking taylor expansion of a in a
0.447 * [taylor]: Taking taylor expansion of x in a
0.448 * [taylor]: Taking taylor expansion of 1 in a
0.449 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.449 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.449 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.449 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.449 * [taylor]: Taking taylor expansion of (* a x) in x
0.449 * [taylor]: Taking taylor expansion of a in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of 1 in x
0.451 * [taylor]: Taking taylor expansion of 0 in x
0.452 * [taylor]: Taking taylor expansion of 0 in x
0.454 * [taylor]: Taking taylor expansion of 0 in x
0.455 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in (a x) around 0
0.455 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.455 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.455 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.455 * [taylor]: Taking taylor expansion of (* a x) in x
0.455 * [taylor]: Taking taylor expansion of a in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of 1 in x
0.455 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.456 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.456 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.456 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.456 * [taylor]: Taking taylor expansion of (* a x) in a
0.456 * [taylor]: Taking taylor expansion of a in a
0.456 * [taylor]: Taking taylor expansion of x in a
0.456 * [taylor]: Taking taylor expansion of 1 in a
0.456 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.456 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.456 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.456 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.456 * [taylor]: Taking taylor expansion of (* a x) in a
0.456 * [taylor]: Taking taylor expansion of a in a
0.456 * [taylor]: Taking taylor expansion of x in a
0.457 * [taylor]: Taking taylor expansion of 1 in a
0.458 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.458 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.458 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.458 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.458 * [taylor]: Taking taylor expansion of (* a x) in x
0.458 * [taylor]: Taking taylor expansion of a in x
0.458 * [taylor]: Taking taylor expansion of x in x
0.458 * [taylor]: Taking taylor expansion of 1 in x
0.460 * [taylor]: Taking taylor expansion of 0 in x
0.461 * [taylor]: Taking taylor expansion of 0 in x
0.462 * [taylor]: Taking taylor expansion of 0 in x
0.463 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.464 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (* a x)) 2) 1) (+ (exp (* a x)) 1)) in (a x) around 0
0.464 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (* a x)) 2) 1) (+ (exp (* a x)) 1)) in x
0.464 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in x
0.464 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in x
0.464 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.464 * [taylor]: Taking taylor expansion of (* a x) in x
0.464 * [taylor]: Taking taylor expansion of a in x
0.464 * [taylor]: Taking taylor expansion of x in x
0.464 * [taylor]: Taking taylor expansion of 1 in x
0.464 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in x
0.464 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.464 * [taylor]: Taking taylor expansion of (* a x) in x
0.464 * [taylor]: Taking taylor expansion of a in x
0.465 * [taylor]: Taking taylor expansion of x in x
0.465 * [taylor]: Taking taylor expansion of 1 in x
0.466 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (* a x)) 2) 1) (+ (exp (* a x)) 1)) in a
0.466 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in a
0.466 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.466 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.466 * [taylor]: Taking taylor expansion of (* a x) in a
0.466 * [taylor]: Taking taylor expansion of a in a
0.466 * [taylor]: Taking taylor expansion of x in a
0.466 * [taylor]: Taking taylor expansion of 1 in a
0.466 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.466 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.466 * [taylor]: Taking taylor expansion of (* a x) in a
0.466 * [taylor]: Taking taylor expansion of a in a
0.466 * [taylor]: Taking taylor expansion of x in a
0.466 * [taylor]: Taking taylor expansion of 1 in a
0.467 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (* a x)) 2) 1) (+ (exp (* a x)) 1)) in a
0.467 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in a
0.467 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.467 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.467 * [taylor]: Taking taylor expansion of (* a x) in a
0.467 * [taylor]: Taking taylor expansion of a in a
0.467 * [taylor]: Taking taylor expansion of x in a
0.468 * [taylor]: Taking taylor expansion of 1 in a
0.468 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.468 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.468 * [taylor]: Taking taylor expansion of (* a x) in a
0.468 * [taylor]: Taking taylor expansion of a in a
0.468 * [taylor]: Taking taylor expansion of x in a
0.468 * [taylor]: Taking taylor expansion of 1 in a
0.469 * [taylor]: Taking taylor expansion of x in x
0.472 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.472 * [taylor]: Taking taylor expansion of 1/2 in x
0.472 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.476 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.476 * [taylor]: Taking taylor expansion of 1/6 in x
0.476 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.476 * [taylor]: Taking taylor expansion of x in x
0.483 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.483 * [taylor]: Taking taylor expansion of 1/24 in x
0.483 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.483 * [taylor]: Taking taylor expansion of x in x
0.491 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.491 * [taylor]: Taking taylor expansion of 1/120 in x
0.491 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.494 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in (a x) around 0
0.494 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.494 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.494 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.494 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.494 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.494 * [taylor]: Taking taylor expansion of (* a x) in x
0.494 * [taylor]: Taking taylor expansion of a in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.494 * [taylor]: Taking taylor expansion of 1 in x
0.494 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.494 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.494 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.494 * [taylor]: Taking taylor expansion of (* a x) in x
0.494 * [taylor]: Taking taylor expansion of a in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of 1 in x
0.496 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.496 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.496 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.497 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.497 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.497 * [taylor]: Taking taylor expansion of (* a x) in a
0.497 * [taylor]: Taking taylor expansion of a in a
0.497 * [taylor]: Taking taylor expansion of x in a
0.497 * [taylor]: Taking taylor expansion of 1 in a
0.497 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.497 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.497 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.497 * [taylor]: Taking taylor expansion of (* a x) in a
0.497 * [taylor]: Taking taylor expansion of a in a
0.497 * [taylor]: Taking taylor expansion of x in a
0.498 * [taylor]: Taking taylor expansion of 1 in a
0.499 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.499 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.499 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.499 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.499 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.499 * [taylor]: Taking taylor expansion of (* a x) in a
0.499 * [taylor]: Taking taylor expansion of a in a
0.499 * [taylor]: Taking taylor expansion of x in a
0.500 * [taylor]: Taking taylor expansion of 1 in a
0.500 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.500 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.500 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.500 * [taylor]: Taking taylor expansion of (* a x) in a
0.500 * [taylor]: Taking taylor expansion of a in a
0.500 * [taylor]: Taking taylor expansion of x in a
0.500 * [taylor]: Taking taylor expansion of 1 in a
0.502 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.502 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.502 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.502 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.502 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.502 * [taylor]: Taking taylor expansion of (* a x) in x
0.502 * [taylor]: Taking taylor expansion of a in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of 1 in x
0.503 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.503 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.503 * [taylor]: Taking taylor expansion of (* a x) in x
0.503 * [taylor]: Taking taylor expansion of a in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of 1 in x
0.508 * [taylor]: Taking taylor expansion of 0 in x
0.512 * [taylor]: Taking taylor expansion of 0 in x
0.517 * [taylor]: Taking taylor expansion of 0 in x
0.519 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in (a x) around 0
0.519 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.519 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.519 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.519 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.519 * [taylor]: Taking taylor expansion of (* a x) in x
0.519 * [taylor]: Taking taylor expansion of a in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.520 * [taylor]: Taking taylor expansion of 1 in x
0.520 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.520 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.520 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.520 * [taylor]: Taking taylor expansion of (* a x) in x
0.520 * [taylor]: Taking taylor expansion of a in x
0.520 * [taylor]: Taking taylor expansion of x in x
0.520 * [taylor]: Taking taylor expansion of 1 in x
0.522 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.522 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.522 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.522 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.522 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.522 * [taylor]: Taking taylor expansion of (* a x) in a
0.522 * [taylor]: Taking taylor expansion of a in a
0.522 * [taylor]: Taking taylor expansion of x in a
0.522 * [taylor]: Taking taylor expansion of 1 in a
0.522 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.522 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.522 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.522 * [taylor]: Taking taylor expansion of (* a x) in a
0.522 * [taylor]: Taking taylor expansion of a in a
0.522 * [taylor]: Taking taylor expansion of x in a
0.523 * [taylor]: Taking taylor expansion of 1 in a
0.525 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.525 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.525 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.525 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.525 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.525 * [taylor]: Taking taylor expansion of (* a x) in a
0.525 * [taylor]: Taking taylor expansion of a in a
0.525 * [taylor]: Taking taylor expansion of x in a
0.525 * [taylor]: Taking taylor expansion of 1 in a
0.525 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.525 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.525 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.525 * [taylor]: Taking taylor expansion of (* a x) in a
0.525 * [taylor]: Taking taylor expansion of a in a
0.525 * [taylor]: Taking taylor expansion of x in a
0.526 * [taylor]: Taking taylor expansion of 1 in a
0.528 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.528 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.528 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.528 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.528 * [taylor]: Taking taylor expansion of (* a x) in x
0.528 * [taylor]: Taking taylor expansion of a in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of 1 in x
0.528 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.528 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.528 * [taylor]: Taking taylor expansion of (* a x) in x
0.528 * [taylor]: Taking taylor expansion of a in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of 1 in x
0.533 * [taylor]: Taking taylor expansion of 0 in x
0.537 * [taylor]: Taking taylor expansion of 0 in x
0.542 * [taylor]: Taking taylor expansion of 0 in x
0.546 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.547 * [approximate]: Taking taylor expansion of (+ (exp (* a x)) 1) in (a x) around 0
0.547 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in x
0.547 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.547 * [taylor]: Taking taylor expansion of (* a x) in x
0.547 * [taylor]: Taking taylor expansion of a in x
0.547 * [taylor]: Taking taylor expansion of x in x
0.547 * [taylor]: Taking taylor expansion of 1 in x
0.547 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.547 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.547 * [taylor]: Taking taylor expansion of (* a x) in a
0.547 * [taylor]: Taking taylor expansion of a in a
0.547 * [taylor]: Taking taylor expansion of x in a
0.547 * [taylor]: Taking taylor expansion of 1 in a
0.547 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.547 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.547 * [taylor]: Taking taylor expansion of (* a x) in a
0.547 * [taylor]: Taking taylor expansion of a in a
0.547 * [taylor]: Taking taylor expansion of x in a
0.548 * [taylor]: Taking taylor expansion of 1 in a
0.548 * [taylor]: Taking taylor expansion of 2 in x
0.548 * [taylor]: Taking taylor expansion of x in x
0.549 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.549 * [taylor]: Taking taylor expansion of 1/2 in x
0.549 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.549 * [taylor]: Taking taylor expansion of x in x
0.551 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.551 * [taylor]: Taking taylor expansion of 1/6 in x
0.551 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.551 * [taylor]: Taking taylor expansion of x in x
0.553 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.553 * [taylor]: Taking taylor expansion of 1/24 in x
0.553 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.553 * [taylor]: Taking taylor expansion of x in x
0.554 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in (a x) around 0
0.554 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.554 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.554 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.554 * [taylor]: Taking taylor expansion of (* a x) in x
0.554 * [taylor]: Taking taylor expansion of a in x
0.554 * [taylor]: Taking taylor expansion of x in x
0.555 * [taylor]: Taking taylor expansion of 1 in x
0.555 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.555 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.555 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.555 * [taylor]: Taking taylor expansion of (* a x) in a
0.555 * [taylor]: Taking taylor expansion of a in a
0.555 * [taylor]: Taking taylor expansion of x in a
0.555 * [taylor]: Taking taylor expansion of 1 in a
0.555 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.555 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.555 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.555 * [taylor]: Taking taylor expansion of (* a x) in a
0.555 * [taylor]: Taking taylor expansion of a in a
0.555 * [taylor]: Taking taylor expansion of x in a
0.556 * [taylor]: Taking taylor expansion of 1 in a
0.556 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.556 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.556 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.556 * [taylor]: Taking taylor expansion of (* a x) in x
0.556 * [taylor]: Taking taylor expansion of a in x
0.556 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of 1 in x
0.557 * [taylor]: Taking taylor expansion of 0 in x
0.557 * [taylor]: Taking taylor expansion of 0 in x
0.558 * [taylor]: Taking taylor expansion of 0 in x
0.559 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in (a x) around 0
0.559 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.559 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.559 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.559 * [taylor]: Taking taylor expansion of (* a x) in x
0.559 * [taylor]: Taking taylor expansion of a in x
0.559 * [taylor]: Taking taylor expansion of x in x
0.559 * [taylor]: Taking taylor expansion of 1 in x
0.559 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.559 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.559 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.559 * [taylor]: Taking taylor expansion of (* a x) in a
0.559 * [taylor]: Taking taylor expansion of a in a
0.559 * [taylor]: Taking taylor expansion of x in a
0.560 * [taylor]: Taking taylor expansion of 1 in a
0.560 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.560 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.560 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.560 * [taylor]: Taking taylor expansion of (* a x) in a
0.560 * [taylor]: Taking taylor expansion of a in a
0.560 * [taylor]: Taking taylor expansion of x in a
0.560 * [taylor]: Taking taylor expansion of 1 in a
0.561 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.561 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.561 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.561 * [taylor]: Taking taylor expansion of (* a x) in x
0.561 * [taylor]: Taking taylor expansion of a in x
0.561 * [taylor]: Taking taylor expansion of x in x
0.561 * [taylor]: Taking taylor expansion of 1 in x
0.562 * [taylor]: Taking taylor expansion of 0 in x
0.562 * [taylor]: Taking taylor expansion of 0 in x
0.562 * [taylor]: Taking taylor expansion of 0 in x
0.563 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.563 * [approximate]: Taking taylor expansion of (pow (exp (* a x)) 2) in (a x) around 0
0.564 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in x
0.564 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.564 * [taylor]: Taking taylor expansion of (* a x) in x
0.564 * [taylor]: Taking taylor expansion of a in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.564 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.564 * [taylor]: Taking taylor expansion of (* a x) in a
0.564 * [taylor]: Taking taylor expansion of a in a
0.564 * [taylor]: Taking taylor expansion of x in a
0.564 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.564 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.564 * [taylor]: Taking taylor expansion of (* a x) in a
0.564 * [taylor]: Taking taylor expansion of a in a
0.564 * [taylor]: Taking taylor expansion of x in a
0.565 * [taylor]: Taking taylor expansion of 1 in x
0.565 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.565 * [taylor]: Taking taylor expansion of 2 in x
0.565 * [taylor]: Taking taylor expansion of x in x
0.567 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
0.567 * [taylor]: Taking taylor expansion of 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.570 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
0.570 * [taylor]: Taking taylor expansion of 4/3 in x
0.570 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.573 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 4)) in x
0.573 * [taylor]: Taking taylor expansion of 2/3 in x
0.573 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.573 * [taylor]: Taking taylor expansion of x in x
0.574 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in (a x) around 0
0.574 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.574 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.574 * [taylor]: Taking taylor expansion of (* a x) in x
0.574 * [taylor]: Taking taylor expansion of a in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.575 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.575 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.575 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.575 * [taylor]: Taking taylor expansion of (* a x) in a
0.575 * [taylor]: Taking taylor expansion of a in a
0.575 * [taylor]: Taking taylor expansion of x in a
0.575 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.575 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.575 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.575 * [taylor]: Taking taylor expansion of (* a x) in a
0.575 * [taylor]: Taking taylor expansion of a in a
0.575 * [taylor]: Taking taylor expansion of x in a
0.576 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.576 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.576 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.576 * [taylor]: Taking taylor expansion of (* a x) in x
0.576 * [taylor]: Taking taylor expansion of a in x
0.576 * [taylor]: Taking taylor expansion of x in x
0.578 * [taylor]: Taking taylor expansion of 0 in x
0.579 * [taylor]: Taking taylor expansion of 0 in x
0.580 * [taylor]: Taking taylor expansion of 0 in x
0.581 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in (a x) around 0
0.581 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.581 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.581 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.581 * [taylor]: Taking taylor expansion of (* a x) in x
0.581 * [taylor]: Taking taylor expansion of a in x
0.581 * [taylor]: Taking taylor expansion of x in x
0.582 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.582 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.582 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.582 * [taylor]: Taking taylor expansion of (* a x) in a
0.582 * [taylor]: Taking taylor expansion of a in a
0.582 * [taylor]: Taking taylor expansion of x in a
0.582 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.582 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.582 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.582 * [taylor]: Taking taylor expansion of (* a x) in a
0.582 * [taylor]: Taking taylor expansion of a in a
0.582 * [taylor]: Taking taylor expansion of x in a
0.583 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.583 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.583 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.583 * [taylor]: Taking taylor expansion of (* a x) in x
0.583 * [taylor]: Taking taylor expansion of a in x
0.583 * [taylor]: Taking taylor expansion of x in x
0.585 * [taylor]: Taking taylor expansion of 0 in x
0.586 * [taylor]: Taking taylor expansion of 0 in x
0.587 * [taylor]: Taking taylor expansion of 0 in x
0.588 * * * [progress]: simplifying candidates
0.589 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1)
  (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1)
  (+.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1)
  (-.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1)
  (-.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1)
  (-.f64 (*.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) (pow.f64 (exp.f64 (*.f64 a x)) 2)) (*.f64 -1 -1))
  (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.f64 (pow.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) 3) (pow.f64 -1 3))
  (+.f64 (*.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) (pow.f64 (exp.f64 (*.f64 a x)) 2)) (-.f64 (*.f64 -1 -1) (*.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (*.f64 (*.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (exp.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (log.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (*.f64 (exp.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) (exp.f64 -1))
  (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (*.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) (pow.f64 (exp.f64 (*.f64 a x)) 2)) (-.f64 (*.f64 -1 -1) (*.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (-.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (*.f64 1 1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 3) (pow.f64 1 3)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (-.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (-.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (-.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) 1)
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) 1)
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (/.f64 1 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 1)
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 1)
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1) 1)
  (/.f64 (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1) 1)
  (/.f64 (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1) 1)
  (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1) 1)
  (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (-.f64 (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) 1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) 1)
  (/.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) 1)
  (/.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1) 1)
  (/.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1) 1)
  (/.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (-.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 1 1)
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 1)
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) 1)
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) 1)
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))) 1)
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))) 1)
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (neg.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (neg.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (sqrt.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))) (cbrt.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (cbrt.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (*.f64 (*.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (*.f64 (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1)) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (exp.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (log.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (-.f64 (log.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (log.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (-.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (*.f64 1 1))
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 3) (pow.f64 1 3))
  (+.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (-.f64 (*.f64 1 1) (*.f64 (exp.f64 (*.f64 a x)) 1)))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (*.f64 (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (log.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (*.f64 (exp.f64 (exp.f64 (*.f64 a x))) (exp.f64 1))
  (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2))
  (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2))
  (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (*.f64 (*.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) (pow.f64 (exp.f64 (*.f64 a x)) 2)) (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) (cbrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)))
  (cbrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (exp.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (log.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (pow.f64 1 2)
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
  (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2)
  (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 (*.f64 a x))) (cbrt.f64 (exp.f64 (*.f64 a x)))) 2)
  (pow.f64 (cbrt.f64 (exp.f64 (*.f64 a x))) 2)
  (pow.f64 (exp.f64 (*.f64 a x)) 1)
  (pow.f64 (exp.f64 (*.f64 a x)) (sqrt.f64 2))
  (pow.f64 (exp.f64 (*.f64 a x)) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (*.f64 x 2)
  (*.f64 1 2)
  (*.f64 x 2)
  (*.f64 (log.f64 (exp.f64 (*.f64 a x))) 2)
  (*.f64 (*.f64 a x) 2)
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 4/3 (*.f64 (pow.f64 a 3) (pow.f64 x 3))) (*.f64 2 (*.f64 a x))))
  (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) 1)
  (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) 1)
  (+.f64 (*.f64 1/2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 a 3) (pow.f64 x 3))) (*.f64 a x)))
  (/.f64 (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (+.f64 (*.f64 1/2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 a x) 2))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 2 (*.f64 a x)) 1))
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
0.660 * * [simplify]: iteration  0 :  5091  enodes  (cost  2630 )
0.673 * [simplify]: Simplified to:
   (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  (+.f64 1 (fabs.f64 (exp.f64 (*.f64 a x))))
  (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x))))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  (+.f64 -1 (pow.f64 (exp.f64 (*.f64 a x)) 4))
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) 1)
  (+.f64 -1 (pow.f64 (exp.f64 (*.f64 a x)) 6))
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) 1))
  (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (pow.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) 3)
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (exp.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (log.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (exp.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) 1))
  (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) 1)))
  1
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 3)))
  (/.f64 1 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) -1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) -1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) -1))
  (/.f64 1 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 1 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (/.f64 1 (+.f64 (exp.f64 (*.f64 a x)) 1))
  1
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  1
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  (/.f64 1 (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (+.f64 1 (fabs.f64 (exp.f64 (*.f64 a x))))
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (+.f64 1 (fabs.f64 (exp.f64 (*.f64 a x))))
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 1 (fabs.f64 (exp.f64 (*.f64 a x)))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 1 (fabs.f64 (exp.f64 (*.f64 a x)))) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  1
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  1
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  (/.f64 1 (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (cbrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (-.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (-.f64 -1 (exp.f64 (*.f64 a x)))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (pow.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) 3)
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) -1)))
  (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (pow.f64 (+.f64 (exp.f64 (*.f64 a x)) -1) 3)
  (exp.f64 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (log.f64 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (log.f64 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  (+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 3))
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) (-.f64 1 (exp.f64 (*.f64 a x))))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (pow.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) 3)
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (log.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.f64 (*.f64 a x))
  (exp.f64 (*.f64 a x))
  (fabs.f64 (exp.f64 (*.f64 a x)))
  (fabs.f64 (exp.f64 (*.f64 a x)))
  (pow.f64 (exp.f64 (*.f64 a x)) 6)
  (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) (cbrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)))
  (cbrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (exp.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (*.f64 (*.f64 a x) 2)
  1
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
  (exp.f64 (*.f64 a x))
  (exp.f64 (*.f64 a x))
  (pow.f64 (cbrt.f64 (exp.f64 (*.f64 a x))) 4)
  (pow.f64 (cbrt.f64 (exp.f64 (*.f64 a x))) 2)
  (exp.f64 (*.f64 a x))
  (pow.f64 (exp.f64 (*.f64 a x)) (sqrt.f64 2))
  (pow.f64 (exp.f64 (*.f64 a x)) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (+.f64 x x)
  2
  (+.f64 x x)
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) 2)
  (+.f64 (*.f64 4/3 (*.f64 (pow.f64 a 3) (pow.f64 x 3))) (*.f64 2 (*.f64 a (+.f64 x (*.f64 a (*.f64 x x))))))
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.f64 (*.f64 a x) (*.f64 (*.f64 x x) (+.f64 (*.f64 (*.f64 a a) 1/2) (*.f64 x (*.f64 (pow.f64 a 3) 1/6)))))
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  (+.f64 2 (*.f64 x (+.f64 a (*.f64 x (*.f64 (*.f64 a a) 1/2)))))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 1 (*.f64 2 (*.f64 a (+.f64 x (*.f64 a (*.f64 x x))))))
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
0.674 * * * [progress]: adding candidates to table
0.925 * * [progress]: iteration 3 / 4
0.925 * * * [progress]: picking best candidate
0.956 * * * * [pick]: Picked  #<alt (λ (a x) (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))>
0.956 * * * [progress]: localizing error
0.970 * * * [progress]: generating rewritten candidates
0.970 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.975 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.985 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.989 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.997 * * * [progress]: generating series expansions
0.997 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.997 * [approximate]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in (a x) around 0
0.997 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in x
0.997 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
0.997 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
0.998 * [taylor]: Taking taylor expansion of 2 in x
0.998 * [taylor]: Taking taylor expansion of (* a x) in x
0.998 * [taylor]: Taking taylor expansion of a in x
0.998 * [taylor]: Taking taylor expansion of x in x
0.998 * [taylor]: Taking taylor expansion of 1 in x
0.998 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in a
0.998 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
0.998 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.998 * [taylor]: Taking taylor expansion of 2 in a
0.998 * [taylor]: Taking taylor expansion of (* a x) in a
0.998 * [taylor]: Taking taylor expansion of a in a
0.998 * [taylor]: Taking taylor expansion of x in a
0.999 * [taylor]: Taking taylor expansion of 1 in a
0.999 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in a
0.999 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
0.999 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.999 * [taylor]: Taking taylor expansion of 2 in a
0.999 * [taylor]: Taking taylor expansion of (* a x) in a
0.999 * [taylor]: Taking taylor expansion of a in a
0.999 * [taylor]: Taking taylor expansion of x in a
0.999 * [taylor]: Taking taylor expansion of 1 in a
1.000 * [taylor]: Taking taylor expansion of 0 in x
1.000 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.000 * [taylor]: Taking taylor expansion of 2 in x
1.000 * [taylor]: Taking taylor expansion of x in x
1.002 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
1.002 * [taylor]: Taking taylor expansion of 2 in x
1.002 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.002 * [taylor]: Taking taylor expansion of x in x
1.004 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
1.004 * [taylor]: Taking taylor expansion of 4/3 in x
1.004 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.007 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 4)) in x
1.007 * [taylor]: Taking taylor expansion of 2/3 in x
1.007 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.008 * [taylor]: Taking taylor expansion of x in x
1.012 * [taylor]: Taking taylor expansion of (* 4/15 (pow x 5)) in x
1.012 * [taylor]: Taking taylor expansion of 4/15 in x
1.012 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.012 * [taylor]: Taking taylor expansion of x in x
1.018 * [taylor]: Taking taylor expansion of (* 4/45 (pow x 6)) in x
1.018 * [taylor]: Taking taylor expansion of 4/45 in x
1.018 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.018 * [taylor]: Taking taylor expansion of x in x
1.020 * [approximate]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in (a x) around 0
1.020 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
1.020 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
1.020 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.020 * [taylor]: Taking taylor expansion of 2 in x
1.020 * [taylor]: Taking taylor expansion of (* a x) in x
1.020 * [taylor]: Taking taylor expansion of a in x
1.020 * [taylor]: Taking taylor expansion of x in x
1.021 * [taylor]: Taking taylor expansion of 1 in x
1.021 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
1.021 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
1.021 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.021 * [taylor]: Taking taylor expansion of 2 in a
1.021 * [taylor]: Taking taylor expansion of (* a x) in a
1.021 * [taylor]: Taking taylor expansion of a in a
1.021 * [taylor]: Taking taylor expansion of x in a
1.021 * [taylor]: Taking taylor expansion of 1 in a
1.021 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
1.021 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
1.021 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.021 * [taylor]: Taking taylor expansion of 2 in a
1.021 * [taylor]: Taking taylor expansion of (* a x) in a
1.021 * [taylor]: Taking taylor expansion of a in a
1.021 * [taylor]: Taking taylor expansion of x in a
1.022 * [taylor]: Taking taylor expansion of 1 in a
1.022 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
1.022 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
1.022 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.023 * [taylor]: Taking taylor expansion of 2 in x
1.023 * [taylor]: Taking taylor expansion of (* a x) in x
1.023 * [taylor]: Taking taylor expansion of a in x
1.023 * [taylor]: Taking taylor expansion of x in x
1.023 * [taylor]: Taking taylor expansion of 1 in x
1.024 * [taylor]: Taking taylor expansion of 0 in x
1.024 * [taylor]: Taking taylor expansion of 0 in x
1.024 * [taylor]: Taking taylor expansion of 0 in x
1.025 * [approximate]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in (a x) around 0
1.025 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
1.025 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
1.025 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.025 * [taylor]: Taking taylor expansion of 2 in x
1.025 * [taylor]: Taking taylor expansion of (* a x) in x
1.025 * [taylor]: Taking taylor expansion of a in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of 1 in x
1.026 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
1.026 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
1.026 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.026 * [taylor]: Taking taylor expansion of 2 in a
1.026 * [taylor]: Taking taylor expansion of (* a x) in a
1.026 * [taylor]: Taking taylor expansion of a in a
1.026 * [taylor]: Taking taylor expansion of x in a
1.026 * [taylor]: Taking taylor expansion of 1 in a
1.026 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
1.026 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
1.026 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.026 * [taylor]: Taking taylor expansion of 2 in a
1.026 * [taylor]: Taking taylor expansion of (* a x) in a
1.026 * [taylor]: Taking taylor expansion of a in a
1.026 * [taylor]: Taking taylor expansion of x in a
1.027 * [taylor]: Taking taylor expansion of 1 in a
1.027 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
1.027 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
1.027 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.027 * [taylor]: Taking taylor expansion of 2 in x
1.027 * [taylor]: Taking taylor expansion of (* a x) in x
1.027 * [taylor]: Taking taylor expansion of a in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.028 * [taylor]: Taking taylor expansion of 1 in x
1.028 * [taylor]: Taking taylor expansion of 0 in x
1.028 * [taylor]: Taking taylor expansion of 0 in x
1.029 * [taylor]: Taking taylor expansion of 0 in x
1.029 * * * * [progress]: [ 2 / 4 ] generating series at (2)
1.030 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1) (+ (exp (* a x)) 1)) in (a x) around 0
1.030 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1) (+ (exp (* a x)) 1)) in x
1.030 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in x
1.030 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
1.030 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
1.030 * [taylor]: Taking taylor expansion of 2 in x
1.030 * [taylor]: Taking taylor expansion of (* a x) in x
1.030 * [taylor]: Taking taylor expansion of a in x
1.030 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of 1 in x
1.031 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in x
1.031 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.031 * [taylor]: Taking taylor expansion of (* a x) in x
1.031 * [taylor]: Taking taylor expansion of a in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of 1 in x
1.032 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1) (+ (exp (* a x)) 1)) in a
1.032 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in a
1.032 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
1.032 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
1.032 * [taylor]: Taking taylor expansion of 2 in a
1.032 * [taylor]: Taking taylor expansion of (* a x) in a
1.032 * [taylor]: Taking taylor expansion of a in a
1.032 * [taylor]: Taking taylor expansion of x in a
1.032 * [taylor]: Taking taylor expansion of 1 in a
1.032 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
1.032 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.032 * [taylor]: Taking taylor expansion of (* a x) in a
1.032 * [taylor]: Taking taylor expansion of a in a
1.032 * [taylor]: Taking taylor expansion of x in a
1.033 * [taylor]: Taking taylor expansion of 1 in a
1.033 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1) (+ (exp (* a x)) 1)) in a
1.033 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in a
1.034 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
1.034 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
1.034 * [taylor]: Taking taylor expansion of 2 in a
1.034 * [taylor]: Taking taylor expansion of (* a x) in a
1.034 * [taylor]: Taking taylor expansion of a in a
1.034 * [taylor]: Taking taylor expansion of x in a
1.034 * [taylor]: Taking taylor expansion of 1 in a
1.034 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
1.034 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.034 * [taylor]: Taking taylor expansion of (* a x) in a
1.034 * [taylor]: Taking taylor expansion of a in a
1.034 * [taylor]: Taking taylor expansion of x in a
1.034 * [taylor]: Taking taylor expansion of 1 in a
1.035 * [taylor]: Taking taylor expansion of x in x
1.037 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
1.037 * [taylor]: Taking taylor expansion of 1/2 in x
1.038 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.038 * [taylor]: Taking taylor expansion of x in x
1.041 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
1.042 * [taylor]: Taking taylor expansion of 1/6 in x
1.042 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.042 * [taylor]: Taking taylor expansion of x in x
1.050 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
1.050 * [taylor]: Taking taylor expansion of 1/24 in x
1.050 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.050 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
1.058 * [taylor]: Taking taylor expansion of 1/120 in x
1.058 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.058 * [taylor]: Taking taylor expansion of x in x
1.060 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in (a x) around 0
1.060 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in x
1.060 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
1.060 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
1.060 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.060 * [taylor]: Taking taylor expansion of 2 in x
1.060 * [taylor]: Taking taylor expansion of (* a x) in x
1.060 * [taylor]: Taking taylor expansion of a in x
1.060 * [taylor]: Taking taylor expansion of x in x
1.061 * [taylor]: Taking taylor expansion of 1 in x
1.061 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
1.061 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.061 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.061 * [taylor]: Taking taylor expansion of (* a x) in x
1.061 * [taylor]: Taking taylor expansion of a in x
1.061 * [taylor]: Taking taylor expansion of x in x
1.062 * [taylor]: Taking taylor expansion of 1 in x
1.063 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in a
1.063 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
1.063 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
1.063 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.063 * [taylor]: Taking taylor expansion of 2 in a
1.063 * [taylor]: Taking taylor expansion of (* a x) in a
1.063 * [taylor]: Taking taylor expansion of a in a
1.063 * [taylor]: Taking taylor expansion of x in a
1.063 * [taylor]: Taking taylor expansion of 1 in a
1.063 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
1.063 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.063 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.063 * [taylor]: Taking taylor expansion of (* a x) in a
1.063 * [taylor]: Taking taylor expansion of a in a
1.063 * [taylor]: Taking taylor expansion of x in a
1.064 * [taylor]: Taking taylor expansion of 1 in a
1.065 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in a
1.065 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
1.065 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
1.065 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.065 * [taylor]: Taking taylor expansion of 2 in a
1.065 * [taylor]: Taking taylor expansion of (* a x) in a
1.065 * [taylor]: Taking taylor expansion of a in a
1.065 * [taylor]: Taking taylor expansion of x in a
1.065 * [taylor]: Taking taylor expansion of 1 in a
1.065 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
1.065 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.065 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.065 * [taylor]: Taking taylor expansion of (* a x) in a
1.065 * [taylor]: Taking taylor expansion of a in a
1.065 * [taylor]: Taking taylor expansion of x in a
1.066 * [taylor]: Taking taylor expansion of 1 in a
1.067 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in x
1.067 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
1.067 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
1.067 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.067 * [taylor]: Taking taylor expansion of 2 in x
1.067 * [taylor]: Taking taylor expansion of (* a x) in x
1.067 * [taylor]: Taking taylor expansion of a in x
1.067 * [taylor]: Taking taylor expansion of x in x
1.067 * [taylor]: Taking taylor expansion of 1 in x
1.067 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
1.067 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.067 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.067 * [taylor]: Taking taylor expansion of (* a x) in x
1.067 * [taylor]: Taking taylor expansion of a in x
1.067 * [taylor]: Taking taylor expansion of x in x
1.068 * [taylor]: Taking taylor expansion of 1 in x
1.070 * [taylor]: Taking taylor expansion of 0 in x
1.073 * [taylor]: Taking taylor expansion of 0 in x
1.077 * [taylor]: Taking taylor expansion of 0 in x
1.079 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in (a x) around 0
1.079 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in x
1.079 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
1.079 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
1.079 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.079 * [taylor]: Taking taylor expansion of 2 in x
1.079 * [taylor]: Taking taylor expansion of (* a x) in x
1.079 * [taylor]: Taking taylor expansion of a in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.079 * [taylor]: Taking taylor expansion of 1 in x
1.079 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
1.079 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.079 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.079 * [taylor]: Taking taylor expansion of (* a x) in x
1.079 * [taylor]: Taking taylor expansion of a in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of 1 in x
1.081 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in a
1.081 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
1.081 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
1.081 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.081 * [taylor]: Taking taylor expansion of 2 in a
1.081 * [taylor]: Taking taylor expansion of (* a x) in a
1.081 * [taylor]: Taking taylor expansion of a in a
1.081 * [taylor]: Taking taylor expansion of x in a
1.081 * [taylor]: Taking taylor expansion of 1 in a
1.081 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
1.081 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.081 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.081 * [taylor]: Taking taylor expansion of (* a x) in a
1.081 * [taylor]: Taking taylor expansion of a in a
1.081 * [taylor]: Taking taylor expansion of x in a
1.082 * [taylor]: Taking taylor expansion of 1 in a
1.083 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in a
1.083 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
1.083 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
1.083 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.083 * [taylor]: Taking taylor expansion of 2 in a
1.083 * [taylor]: Taking taylor expansion of (* a x) in a
1.083 * [taylor]: Taking taylor expansion of a in a
1.083 * [taylor]: Taking taylor expansion of x in a
1.083 * [taylor]: Taking taylor expansion of 1 in a
1.083 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
1.083 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.083 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.083 * [taylor]: Taking taylor expansion of (* a x) in a
1.083 * [taylor]: Taking taylor expansion of a in a
1.083 * [taylor]: Taking taylor expansion of x in a
1.084 * [taylor]: Taking taylor expansion of 1 in a
1.085 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in x
1.085 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
1.085 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
1.085 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.085 * [taylor]: Taking taylor expansion of 2 in x
1.085 * [taylor]: Taking taylor expansion of (* a x) in x
1.085 * [taylor]: Taking taylor expansion of a in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of 1 in x
1.085 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
1.085 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.085 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.085 * [taylor]: Taking taylor expansion of (* a x) in x
1.085 * [taylor]: Taking taylor expansion of a in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.086 * [taylor]: Taking taylor expansion of 1 in x
1.088 * [taylor]: Taking taylor expansion of 0 in x
1.091 * [taylor]: Taking taylor expansion of 0 in x
1.094 * [taylor]: Taking taylor expansion of 0 in x
1.096 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
1.096 * [approximate]: Taking taylor expansion of (+ (exp (* a x)) 1) in (a x) around 0
1.096 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in x
1.096 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
1.096 * [taylor]: Taking taylor expansion of (* a x) in x
1.096 * [taylor]: Taking taylor expansion of a in x
1.096 * [taylor]: Taking taylor expansion of x in x
1.096 * [taylor]: Taking taylor expansion of 1 in x
1.096 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
1.096 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.096 * [taylor]: Taking taylor expansion of (* a x) in a
1.096 * [taylor]: Taking taylor expansion of a in a
1.096 * [taylor]: Taking taylor expansion of x in a
1.097 * [taylor]: Taking taylor expansion of 1 in a
1.097 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
1.097 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
1.097 * [taylor]: Taking taylor expansion of (* a x) in a
1.097 * [taylor]: Taking taylor expansion of a in a
1.097 * [taylor]: Taking taylor expansion of x in a
1.097 * [taylor]: Taking taylor expansion of 1 in a
1.097 * [taylor]: Taking taylor expansion of 2 in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.099 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
1.099 * [taylor]: Taking taylor expansion of 1/2 in x
1.099 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.099 * [taylor]: Taking taylor expansion of x in x
1.100 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
1.100 * [taylor]: Taking taylor expansion of 1/6 in x
1.100 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.100 * [taylor]: Taking taylor expansion of x in x
1.102 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
1.102 * [taylor]: Taking taylor expansion of 1/24 in x
1.102 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.102 * [taylor]: Taking taylor expansion of x in x
1.103 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in (a x) around 0
1.103 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
1.103 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.103 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.103 * [taylor]: Taking taylor expansion of (* a x) in x
1.103 * [taylor]: Taking taylor expansion of a in x
1.103 * [taylor]: Taking taylor expansion of x in x
1.104 * [taylor]: Taking taylor expansion of 1 in x
1.104 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
1.104 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.104 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.104 * [taylor]: Taking taylor expansion of (* a x) in a
1.104 * [taylor]: Taking taylor expansion of a in a
1.104 * [taylor]: Taking taylor expansion of x in a
1.104 * [taylor]: Taking taylor expansion of 1 in a
1.104 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
1.104 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.104 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.104 * [taylor]: Taking taylor expansion of (* a x) in a
1.104 * [taylor]: Taking taylor expansion of a in a
1.104 * [taylor]: Taking taylor expansion of x in a
1.105 * [taylor]: Taking taylor expansion of 1 in a
1.105 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
1.105 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.105 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.105 * [taylor]: Taking taylor expansion of (* a x) in x
1.105 * [taylor]: Taking taylor expansion of a in x
1.105 * [taylor]: Taking taylor expansion of x in x
1.105 * [taylor]: Taking taylor expansion of 1 in x
1.106 * [taylor]: Taking taylor expansion of 0 in x
1.106 * [taylor]: Taking taylor expansion of 0 in x
1.106 * [taylor]: Taking taylor expansion of 0 in x
1.107 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in (a x) around 0
1.107 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
1.107 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.107 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.107 * [taylor]: Taking taylor expansion of (* a x) in x
1.107 * [taylor]: Taking taylor expansion of a in x
1.107 * [taylor]: Taking taylor expansion of x in x
1.108 * [taylor]: Taking taylor expansion of 1 in x
1.108 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
1.108 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.108 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.108 * [taylor]: Taking taylor expansion of (* a x) in a
1.108 * [taylor]: Taking taylor expansion of a in a
1.108 * [taylor]: Taking taylor expansion of x in a
1.108 * [taylor]: Taking taylor expansion of 1 in a
1.108 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
1.108 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
1.108 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.108 * [taylor]: Taking taylor expansion of (* a x) in a
1.108 * [taylor]: Taking taylor expansion of a in a
1.108 * [taylor]: Taking taylor expansion of x in a
1.109 * [taylor]: Taking taylor expansion of 1 in a
1.109 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
1.109 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
1.109 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.109 * [taylor]: Taking taylor expansion of (* a x) in x
1.109 * [taylor]: Taking taylor expansion of a in x
1.109 * [taylor]: Taking taylor expansion of x in x
1.109 * [taylor]: Taking taylor expansion of 1 in x
1.110 * [taylor]: Taking taylor expansion of 0 in x
1.110 * [taylor]: Taking taylor expansion of 0 in x
1.110 * [taylor]: Taking taylor expansion of 0 in x
1.111 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.111 * [approximate]: Taking taylor expansion of (* 2 (* a x)) in (a x) around 0
1.111 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
1.111 * [taylor]: Taking taylor expansion of 2 in x
1.111 * [taylor]: Taking taylor expansion of (* a x) in x
1.111 * [taylor]: Taking taylor expansion of a in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.111 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
1.111 * [taylor]: Taking taylor expansion of 2 in a
1.111 * [taylor]: Taking taylor expansion of (* a x) in a
1.111 * [taylor]: Taking taylor expansion of a in a
1.111 * [taylor]: Taking taylor expansion of x in a
1.111 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
1.111 * [taylor]: Taking taylor expansion of 2 in a
1.111 * [taylor]: Taking taylor expansion of (* a x) in a
1.111 * [taylor]: Taking taylor expansion of a in a
1.111 * [taylor]: Taking taylor expansion of x in a
1.111 * [taylor]: Taking taylor expansion of 0 in x
1.112 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.112 * [taylor]: Taking taylor expansion of 2 in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.112 * [taylor]: Taking taylor expansion of 0 in x
1.113 * [taylor]: Taking taylor expansion of 0 in x
1.114 * [taylor]: Taking taylor expansion of 0 in x
1.115 * [approximate]: Taking taylor expansion of (/ 2 (* a x)) in (a x) around 0
1.115 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.115 * [taylor]: Taking taylor expansion of 2 in x
1.115 * [taylor]: Taking taylor expansion of (* a x) in x
1.115 * [taylor]: Taking taylor expansion of a in x
1.115 * [taylor]: Taking taylor expansion of x in x
1.115 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.115 * [taylor]: Taking taylor expansion of 2 in a
1.115 * [taylor]: Taking taylor expansion of (* a x) in a
1.115 * [taylor]: Taking taylor expansion of a in a
1.115 * [taylor]: Taking taylor expansion of x in a
1.115 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.115 * [taylor]: Taking taylor expansion of 2 in a
1.115 * [taylor]: Taking taylor expansion of (* a x) in a
1.115 * [taylor]: Taking taylor expansion of a in a
1.115 * [taylor]: Taking taylor expansion of x in a
1.116 * [taylor]: Taking taylor expansion of (/ 2 x) in x
1.116 * [taylor]: Taking taylor expansion of 2 in x
1.116 * [taylor]: Taking taylor expansion of x in x
1.116 * [taylor]: Taking taylor expansion of 0 in x
1.117 * [taylor]: Taking taylor expansion of 0 in x
1.119 * [taylor]: Taking taylor expansion of 0 in x
1.120 * [approximate]: Taking taylor expansion of (/ 2 (* a x)) in (a x) around 0
1.120 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
1.120 * [taylor]: Taking taylor expansion of 2 in x
1.120 * [taylor]: Taking taylor expansion of (* a x) in x
1.120 * [taylor]: Taking taylor expansion of a in x
1.120 * [taylor]: Taking taylor expansion of x in x
1.120 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.120 * [taylor]: Taking taylor expansion of 2 in a
1.120 * [taylor]: Taking taylor expansion of (* a x) in a
1.120 * [taylor]: Taking taylor expansion of a in a
1.120 * [taylor]: Taking taylor expansion of x in a
1.120 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
1.120 * [taylor]: Taking taylor expansion of 2 in a
1.121 * [taylor]: Taking taylor expansion of (* a x) in a
1.121 * [taylor]: Taking taylor expansion of a in a
1.121 * [taylor]: Taking taylor expansion of x in a
1.121 * [taylor]: Taking taylor expansion of (/ 2 x) in x
1.121 * [taylor]: Taking taylor expansion of 2 in x
1.121 * [taylor]: Taking taylor expansion of x in x
1.122 * [taylor]: Taking taylor expansion of 0 in x
1.123 * [taylor]: Taking taylor expansion of 0 in x
1.124 * [taylor]: Taking taylor expansion of 0 in x
1.125 * * * [progress]: simplifying candidates
1.127 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (+.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1)
  (-.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (-.f64 (*.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) (exp.f64 (*.f64 (*.f64 a x) 2))) (*.f64 -1 -1))
  (-.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) (pow.f64 -1 3))
  (+.f64 (*.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) (exp.f64 (*.f64 (*.f64 a x) 2))) (-.f64 (*.f64 -1 -1) (*.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (*.f64 (*.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (exp.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (log.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (*.f64 (exp.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) (exp.f64 -1))
  (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (-.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (*.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) (exp.f64 (*.f64 (*.f64 a x) 2))) (-.f64 (*.f64 -1 -1) (*.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (-.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (*.f64 1 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 3) (pow.f64 1 3)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (-.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (-.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (/.f64 1 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1) 1)
  (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1) 1)
  (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (-.f64 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) 1)
  (/.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) 1)
  (/.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (-.f64 (exp.f64 (*.f64 a x)) 1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 1 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 1 (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) 1)
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) 1)
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))) 1)
  (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))) 1)
  (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))) (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (neg.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (neg.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (sqrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (*.f64 (*.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)) (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))) (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (*.f64 (cbrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))) (cbrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1))))
  (cbrt.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (/.f64 (*.f64 (*.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (*.f64 (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1)) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (exp.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (log.f64 (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (-.f64 (log.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (log.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (-.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (*.f64 1 1))
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 3) (pow.f64 1 3))
  (+.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (-.f64 (*.f64 1 1) (*.f64 (exp.f64 (*.f64 a x)) 1)))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (*.f64 (*.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 a x)) 1)) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (cbrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (log.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (*.f64 (exp.f64 (exp.f64 (*.f64 a x))) (exp.f64 1))
  (*.f64 x 2)
  (*.f64 (*.f64 a x) 1)
  (*.f64 (*.f64 a x) (sqrt.f64 2))
  (*.f64 (*.f64 a x) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (sqrt.f64 (*.f64 (*.f64 a x) 2))
  (sqrt.f64 (*.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 (*.f64 a x) 2)) (*.f64 (*.f64 a x) 2))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 a x) 2)) (cbrt.f64 (*.f64 (*.f64 a x) 2)))
  (cbrt.f64 (*.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 (*.f64 (*.f64 a x) (*.f64 a x)) (*.f64 a x)) (*.f64 (*.f64 2 2) 2))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 2 2) 2))
  (exp.f64 (*.f64 (*.f64 a x) 2))
  (log.f64 (*.f64 (*.f64 a x) 2))
  (+.f64 (log.f64 (*.f64 a x)) (log.f64 2))
  (+.f64 (+.f64 (log.f64 a) (log.f64 x)) (log.f64 2))
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) 2)
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 4/3 (*.f64 (pow.f64 a 3) (pow.f64 x 3))) (*.f64 2 (*.f64 a x))))
  (-.f64 (exp.f64 (*.f64 2 (*.f64 a x))) 1)
  (-.f64 (exp.f64 (*.f64 2 (*.f64 a x))) 1)
  (+.f64 (*.f64 1/2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 a 3) (pow.f64 x 3))) (*.f64 a x)))
  (/.f64 (-.f64 (exp.f64 (*.f64 2 (*.f64 a x))) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (/.f64 (-.f64 (exp.f64 (*.f64 2 (*.f64 a x))) 1) (+.f64 (exp.f64 (*.f64 a x)) 1))
  (+.f64 (*.f64 1/2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 a x) 2))
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (*.f64 2 (*.f64 a x))
  (*.f64 2 (*.f64 a x))
  (*.f64 2 (*.f64 a x))
1.186 * * [simplify]: iteration  0 :  5558  enodes  (cost  2182 )
1.196 * [simplify]: Simplified to:
   (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (+.f64 (fabs.f64 (exp.f64 (*.f64 a x))) 1)
  (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x))))
  (+.f64 1 (exp.f64 (*.f64 a x)))
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  (+.f64 -1 (pow.f64 (exp.f64 (*.f64 a x)) 4))
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)
  (+.f64 -1 (pow.f64 (exp.f64 (*.f64 a x)) 6))
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (pow.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) 3)
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (exp.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (log.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (exp.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1))
  (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)))
  1
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 3)))
  (/.f64 1 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (/.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))))
  (/.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 -1 (exp.f64 (*.f64 a x))))
  (/.f64 1 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (/.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (/.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))))
  (/.f64 1 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (/.f64 1 (+.f64 1 (exp.f64 (*.f64 a x))))
  1
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  1
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  (/.f64 1 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (+.f64 (fabs.f64 (exp.f64 (*.f64 a x))) 1)
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (+.f64 1 (exp.f64 (*.f64 a x))))
  (+.f64 (fabs.f64 (exp.f64 (*.f64 a x))) 1)
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (+.f64 1 (exp.f64 (*.f64 a x))))
  (/.f64 (+.f64 (fabs.f64 (exp.f64 (*.f64 a x))) 1) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (+.f64 (fabs.f64 (exp.f64 (*.f64 a x))) 1) (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))))
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (+.f64 1 (exp.f64 (*.f64 a x)))
  (/.f64 (+.f64 -1 (exp.f64 (*.f64 a x))) (+.f64 1 (exp.f64 (*.f64 a x))))
  (+.f64 1 (exp.f64 (*.f64 a x)))
  (/.f64 (+.f64 -1 (exp.f64 (*.f64 a x))) (+.f64 1 (exp.f64 (*.f64 a x))))
  (/.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (+.f64 -1 (exp.f64 (*.f64 a x))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))))
  (/.f64 (+.f64 -1 (exp.f64 (*.f64 a x))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  1
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  1
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  (/.f64 1 (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 1 (exp.f64 (*.f64 a x))))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 1 (exp.f64 (*.f64 a x))))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))))
  (/.f64 (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 1 (exp.f64 (*.f64 a x))))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (+.f64 1 (exp.f64 (*.f64 a x))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (/.f64 (*.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))) (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))))
  (/.f64 (cbrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (-.f64 1 (exp.f64 (*.f64 (*.f64 a x) 2)))
  (-.f64 -1 (exp.f64 (*.f64 a x)))
  (sqrt.f64 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (sqrt.f64 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (pow.f64 (+.f64 -1 (exp.f64 (*.f64 a x))) 3)
  (*.f64 (cbrt.f64 (+.f64 -1 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 -1 (exp.f64 (*.f64 a x)))))
  (cbrt.f64 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (pow.f64 (+.f64 -1 (exp.f64 (*.f64 a x))) 3)
  (exp.f64 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (log.f64 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (log.f64 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (+.f64 1 (exp.f64 (*.f64 a x)))
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  (+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 3))
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) (-.f64 1 (exp.f64 (*.f64 a x))))
  (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))
  (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))
  (pow.f64 (+.f64 1 (exp.f64 (*.f64 a x))) 3)
  (*.f64 (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))) (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (cbrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))
  (exp.f64 (+.f64 1 (exp.f64 (*.f64 a x))))
  (log.f64 (+.f64 1 (exp.f64 (*.f64 a x))))
  (exp.f64 (+.f64 1 (exp.f64 (*.f64 a x))))
  (+.f64 x x)
  (*.f64 a x)
  (*.f64 (*.f64 a x) (sqrt.f64 2))
  (*.f64 (*.f64 a x) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (sqrt.f64 (*.f64 (*.f64 a x) 2))
  (sqrt.f64 (*.f64 (*.f64 a x) 2))
  (pow.f64 (*.f64 (*.f64 a x) 2) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 a x) 2)) (cbrt.f64 (*.f64 (*.f64 a x) 2)))
  (cbrt.f64 (*.f64 (*.f64 a x) 2))
  (pow.f64 (*.f64 (*.f64 a x) 2) 3)
  (pow.f64 (*.f64 (*.f64 a x) 2) 3)
  (exp.f64 (*.f64 (*.f64 a x) 2))
  (log.f64 (*.f64 (*.f64 a x) 2))
  (log.f64 (*.f64 (*.f64 a x) 2))
  (log.f64 (*.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) 2)
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 1/6) (*.f64 a (+.f64 x (*.f64 1/2 (*.f64 a (*.f64 x x))))))
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  (+.f64 2 (*.f64 a (+.f64 x (*.f64 1/2 (*.f64 a (*.f64 x x))))))
  (+.f64 1 (exp.f64 (*.f64 a x)))
  (+.f64 1 (exp.f64 (*.f64 a x)))
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) 2)
1.197 * * * [progress]: adding candidates to table
1.436 * * [progress]: iteration 4 / 4
1.437 * * * [progress]: picking best candidate
1.460 * * * * [pick]: Picked  #<alt (λ (a x) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))) (+.f64 (exp.f64 (*.f64 a x)) 1)))>
1.460 * * * [progress]: localizing error
1.481 * * * [progress]: generating rewritten candidates
1.481 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.488 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.492 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.498 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
1.507 * * * [progress]: generating series expansions
1.507 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.508 * [approximate]: Taking taylor expansion of (+ (* 2 (* (pow a 2) (pow x 2))) (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x)))) in (a x) around 0
1.508 * [taylor]: Taking taylor expansion of (+ (* 2 (* (pow a 2) (pow x 2))) (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x)))) in x
1.508 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow x 2))) in x
1.508 * [taylor]: Taking taylor expansion of 2 in x
1.508 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.508 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.508 * [taylor]: Taking taylor expansion of a in x
1.509 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.509 * [taylor]: Taking taylor expansion of x in x
1.509 * [taylor]: Taking taylor expansion of (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x))) in x
1.509 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in x
1.509 * [taylor]: Taking taylor expansion of 4/3 in x
1.509 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
1.509 * [taylor]: Taking taylor expansion of (pow a 3) in x
1.509 * [taylor]: Taking taylor expansion of a in x
1.509 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.509 * [taylor]: Taking taylor expansion of x in x
1.509 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
1.509 * [taylor]: Taking taylor expansion of 2 in x
1.509 * [taylor]: Taking taylor expansion of (* a x) in x
1.509 * [taylor]: Taking taylor expansion of a in x
1.509 * [taylor]: Taking taylor expansion of x in x
1.509 * [taylor]: Taking taylor expansion of (+ (* 2 (* (pow a 2) (pow x 2))) (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x)))) in a
1.509 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow x 2))) in a
1.509 * [taylor]: Taking taylor expansion of 2 in a
1.509 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.509 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.509 * [taylor]: Taking taylor expansion of a in a
1.509 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.509 * [taylor]: Taking taylor expansion of x in a
1.509 * [taylor]: Taking taylor expansion of (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x))) in a
1.509 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in a
1.509 * [taylor]: Taking taylor expansion of 4/3 in a
1.509 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.509 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.509 * [taylor]: Taking taylor expansion of a in a
1.509 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.509 * [taylor]: Taking taylor expansion of x in a
1.509 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
1.509 * [taylor]: Taking taylor expansion of 2 in a
1.509 * [taylor]: Taking taylor expansion of (* a x) in a
1.509 * [taylor]: Taking taylor expansion of a in a
1.509 * [taylor]: Taking taylor expansion of x in a
1.509 * [taylor]: Taking taylor expansion of (+ (* 2 (* (pow a 2) (pow x 2))) (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x)))) in a
1.509 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow x 2))) in a
1.509 * [taylor]: Taking taylor expansion of 2 in a
1.509 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.509 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.509 * [taylor]: Taking taylor expansion of a in a
1.509 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.509 * [taylor]: Taking taylor expansion of x in a
1.509 * [taylor]: Taking taylor expansion of (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x))) in a
1.509 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in a
1.509 * [taylor]: Taking taylor expansion of 4/3 in a
1.509 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.509 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.509 * [taylor]: Taking taylor expansion of a in a
1.509 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.509 * [taylor]: Taking taylor expansion of x in a
1.509 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
1.509 * [taylor]: Taking taylor expansion of 2 in a
1.509 * [taylor]: Taking taylor expansion of (* a x) in a
1.509 * [taylor]: Taking taylor expansion of a in a
1.509 * [taylor]: Taking taylor expansion of x in a
1.510 * [taylor]: Taking taylor expansion of 0 in x
1.510 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.510 * [taylor]: Taking taylor expansion of 2 in x
1.510 * [taylor]: Taking taylor expansion of x in x
1.512 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
1.512 * [taylor]: Taking taylor expansion of 2 in x
1.512 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.512 * [taylor]: Taking taylor expansion of x in x
1.515 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
1.515 * [taylor]: Taking taylor expansion of 4/3 in x
1.515 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.515 * [taylor]: Taking taylor expansion of x in x
1.519 * [taylor]: Taking taylor expansion of 0 in x
1.524 * [taylor]: Taking taylor expansion of 0 in x
1.526 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2)))))) in (a x) around 0
1.526 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2)))))) in x
1.527 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in x
1.527 * [taylor]: Taking taylor expansion of 2 in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.527 * [taylor]: Taking taylor expansion of (* a x) in x
1.527 * [taylor]: Taking taylor expansion of a in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.527 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in x
1.527 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in x
1.527 * [taylor]: Taking taylor expansion of 4/3 in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
1.527 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
1.527 * [taylor]: Taking taylor expansion of (pow a 3) in x
1.527 * [taylor]: Taking taylor expansion of a in x
1.527 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.528 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in x
1.528 * [taylor]: Taking taylor expansion of 2 in x
1.528 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.528 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.528 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.528 * [taylor]: Taking taylor expansion of a in x
1.528 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.528 * [taylor]: Taking taylor expansion of x in x
1.528 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2)))))) in a
1.528 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
1.528 * [taylor]: Taking taylor expansion of 2 in a
1.528 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.528 * [taylor]: Taking taylor expansion of (* a x) in a
1.528 * [taylor]: Taking taylor expansion of a in a
1.528 * [taylor]: Taking taylor expansion of x in a
1.529 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in a
1.529 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in a
1.529 * [taylor]: Taking taylor expansion of 4/3 in a
1.529 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
1.529 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.529 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.529 * [taylor]: Taking taylor expansion of a in a
1.529 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.529 * [taylor]: Taking taylor expansion of x in a
1.530 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in a
1.530 * [taylor]: Taking taylor expansion of 2 in a
1.530 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.530 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.530 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.530 * [taylor]: Taking taylor expansion of a in a
1.530 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.530 * [taylor]: Taking taylor expansion of x in a
1.530 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2)))))) in a
1.530 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
1.530 * [taylor]: Taking taylor expansion of 2 in a
1.530 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.530 * [taylor]: Taking taylor expansion of (* a x) in a
1.530 * [taylor]: Taking taylor expansion of a in a
1.530 * [taylor]: Taking taylor expansion of x in a
1.531 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in a
1.531 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in a
1.531 * [taylor]: Taking taylor expansion of 4/3 in a
1.531 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
1.531 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.531 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.531 * [taylor]: Taking taylor expansion of a in a
1.531 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.531 * [taylor]: Taking taylor expansion of x in a
1.531 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in a
1.531 * [taylor]: Taking taylor expansion of 2 in a
1.531 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.531 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.532 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.532 * [taylor]: Taking taylor expansion of a in a
1.532 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.532 * [taylor]: Taking taylor expansion of x in a
1.533 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (pow x 3))) in x
1.533 * [taylor]: Taking taylor expansion of 4/3 in x
1.533 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.533 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.533 * [taylor]: Taking taylor expansion of x in x
1.536 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
1.536 * [taylor]: Taking taylor expansion of 2 in x
1.536 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.536 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.540 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.540 * [taylor]: Taking taylor expansion of 2 in x
1.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.541 * [taylor]: Taking taylor expansion of x in x
1.548 * [taylor]: Taking taylor expansion of 0 in x
1.558 * [taylor]: Taking taylor expansion of 0 in x
1.561 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2)))))) in (a x) around 0
1.561 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2)))))) in x
1.561 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in x
1.561 * [taylor]: Taking taylor expansion of 2 in x
1.561 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.561 * [taylor]: Taking taylor expansion of (* a x) in x
1.561 * [taylor]: Taking taylor expansion of a in x
1.561 * [taylor]: Taking taylor expansion of x in x
1.562 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in x
1.562 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in x
1.562 * [taylor]: Taking taylor expansion of 4/3 in x
1.562 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
1.562 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
1.562 * [taylor]: Taking taylor expansion of (pow a 3) in x
1.562 * [taylor]: Taking taylor expansion of a in x
1.562 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.562 * [taylor]: Taking taylor expansion of x in x
1.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in x
1.562 * [taylor]: Taking taylor expansion of 2 in x
1.562 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
1.563 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
1.563 * [taylor]: Taking taylor expansion of (pow a 2) in x
1.563 * [taylor]: Taking taylor expansion of a in x
1.563 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.563 * [taylor]: Taking taylor expansion of x in x
1.563 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2)))))) in a
1.563 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
1.563 * [taylor]: Taking taylor expansion of 2 in a
1.563 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.563 * [taylor]: Taking taylor expansion of (* a x) in a
1.563 * [taylor]: Taking taylor expansion of a in a
1.563 * [taylor]: Taking taylor expansion of x in a
1.563 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in a
1.563 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in a
1.563 * [taylor]: Taking taylor expansion of 4/3 in a
1.563 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
1.563 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.563 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.563 * [taylor]: Taking taylor expansion of a in a
1.564 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.564 * [taylor]: Taking taylor expansion of x in a
1.564 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in a
1.564 * [taylor]: Taking taylor expansion of 2 in a
1.564 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.564 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.564 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.564 * [taylor]: Taking taylor expansion of a in a
1.564 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.564 * [taylor]: Taking taylor expansion of x in a
1.565 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2)))))) in a
1.565 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
1.565 * [taylor]: Taking taylor expansion of 2 in a
1.565 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.565 * [taylor]: Taking taylor expansion of (* a x) in a
1.565 * [taylor]: Taking taylor expansion of a in a
1.565 * [taylor]: Taking taylor expansion of x in a
1.565 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in a
1.565 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in a
1.565 * [taylor]: Taking taylor expansion of 4/3 in a
1.565 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
1.565 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.565 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.565 * [taylor]: Taking taylor expansion of a in a
1.565 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.565 * [taylor]: Taking taylor expansion of x in a
1.566 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in a
1.566 * [taylor]: Taking taylor expansion of 2 in a
1.566 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
1.566 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
1.566 * [taylor]: Taking taylor expansion of (pow a 2) in a
1.566 * [taylor]: Taking taylor expansion of a in a
1.566 * [taylor]: Taking taylor expansion of (pow x 2) in a
1.566 * [taylor]: Taking taylor expansion of x in a
1.567 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (pow x 3))) in x
1.567 * [taylor]: Taking taylor expansion of 4/3 in x
1.567 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.567 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.567 * [taylor]: Taking taylor expansion of x in x
1.573 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
1.573 * [taylor]: Taking taylor expansion of 2 in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.573 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.573 * [taylor]: Taking taylor expansion of x in x
1.577 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.577 * [taylor]: Taking taylor expansion of 2 in x
1.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.577 * [taylor]: Taking taylor expansion of x in x
1.584 * [taylor]: Taking taylor expansion of 0 in x
1.593 * [taylor]: Taking taylor expansion of 0 in x
1.595 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.596 * [approximate]: Taking taylor expansion of (pow (* a x) 3) in (a x) around 0
1.596 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
1.596 * [taylor]: Taking taylor expansion of (* a x) in x
1.596 * [taylor]: Taking taylor expansion of a in x
1.596 * [taylor]: Taking taylor expansion of x in x
1.596 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
1.596 * [taylor]: Taking taylor expansion of (* a x) in a
1.596 * [taylor]: Taking taylor expansion of a in a
1.596 * [taylor]: Taking taylor expansion of x in a
1.596 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
1.596 * [taylor]: Taking taylor expansion of (* a x) in a
1.596 * [taylor]: Taking taylor expansion of a in a
1.596 * [taylor]: Taking taylor expansion of x in a
1.597 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.597 * [taylor]: Taking taylor expansion of x in x
1.597 * [taylor]: Taking taylor expansion of 0 in x
1.599 * [taylor]: Taking taylor expansion of 0 in x
1.600 * [taylor]: Taking taylor expansion of 0 in x
1.601 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (a x) around 0
1.601 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.601 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.601 * [taylor]: Taking taylor expansion of (* a x) in x
1.601 * [taylor]: Taking taylor expansion of a in x
1.601 * [taylor]: Taking taylor expansion of x in x
1.601 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.601 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.601 * [taylor]: Taking taylor expansion of (* a x) in a
1.601 * [taylor]: Taking taylor expansion of a in a
1.601 * [taylor]: Taking taylor expansion of x in a
1.602 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.602 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.602 * [taylor]: Taking taylor expansion of (* a x) in a
1.602 * [taylor]: Taking taylor expansion of a in a
1.602 * [taylor]: Taking taylor expansion of x in a
1.602 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.602 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.602 * [taylor]: Taking taylor expansion of x in x
1.604 * [taylor]: Taking taylor expansion of 0 in x
1.605 * [taylor]: Taking taylor expansion of 0 in x
1.608 * [taylor]: Taking taylor expansion of 0 in x
1.611 * [taylor]: Taking taylor expansion of 0 in x
1.615 * [taylor]: Taking taylor expansion of 0 in x
1.616 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (a x) around 0
1.616 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
1.616 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.616 * [taylor]: Taking taylor expansion of (* a x) in x
1.616 * [taylor]: Taking taylor expansion of a in x
1.616 * [taylor]: Taking taylor expansion of x in x
1.617 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.617 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.617 * [taylor]: Taking taylor expansion of (* a x) in a
1.617 * [taylor]: Taking taylor expansion of a in a
1.617 * [taylor]: Taking taylor expansion of x in a
1.617 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
1.617 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.617 * [taylor]: Taking taylor expansion of (* a x) in a
1.617 * [taylor]: Taking taylor expansion of a in a
1.617 * [taylor]: Taking taylor expansion of x in a
1.618 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.618 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.618 * [taylor]: Taking taylor expansion of x in x
1.619 * [taylor]: Taking taylor expansion of 0 in x
1.621 * [taylor]: Taking taylor expansion of 0 in x
1.624 * [taylor]: Taking taylor expansion of 0 in x
1.627 * [taylor]: Taking taylor expansion of 0 in x
1.631 * [taylor]: Taking taylor expansion of 0 in x
1.632 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.632 * [approximate]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in (a x) around 0
1.632 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in x
1.632 * [taylor]: Taking taylor expansion of 4/3 in x
1.632 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
1.632 * [taylor]: Taking taylor expansion of (pow a 3) in x
1.632 * [taylor]: Taking taylor expansion of a in x
1.632 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.632 * [taylor]: Taking taylor expansion of x in x
1.632 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in a
1.632 * [taylor]: Taking taylor expansion of 4/3 in a
1.632 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.632 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.632 * [taylor]: Taking taylor expansion of a in a
1.632 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.632 * [taylor]: Taking taylor expansion of x in a
1.632 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in a
1.633 * [taylor]: Taking taylor expansion of 4/3 in a
1.633 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.633 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.633 * [taylor]: Taking taylor expansion of a in a
1.633 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.633 * [taylor]: Taking taylor expansion of x in a
1.633 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
1.633 * [taylor]: Taking taylor expansion of 4/3 in x
1.633 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.633 * [taylor]: Taking taylor expansion of x in x
1.635 * [taylor]: Taking taylor expansion of 0 in x
1.637 * [taylor]: Taking taylor expansion of 0 in x
1.640 * [taylor]: Taking taylor expansion of 0 in x
1.641 * [approximate]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in (a x) around 0
1.641 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in x
1.641 * [taylor]: Taking taylor expansion of 4/3 in x
1.641 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
1.641 * [taylor]: Taking taylor expansion of (pow a 3) in x
1.641 * [taylor]: Taking taylor expansion of a in x
1.641 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.641 * [taylor]: Taking taylor expansion of x in x
1.642 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in a
1.642 * [taylor]: Taking taylor expansion of 4/3 in a
1.642 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.642 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.642 * [taylor]: Taking taylor expansion of a in a
1.642 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.642 * [taylor]: Taking taylor expansion of x in a
1.642 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in a
1.642 * [taylor]: Taking taylor expansion of 4/3 in a
1.642 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.642 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.642 * [taylor]: Taking taylor expansion of a in a
1.642 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.642 * [taylor]: Taking taylor expansion of x in a
1.643 * [taylor]: Taking taylor expansion of (/ 4/3 (pow x 3)) in x
1.643 * [taylor]: Taking taylor expansion of 4/3 in x
1.643 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.643 * [taylor]: Taking taylor expansion of x in x
1.645 * [taylor]: Taking taylor expansion of 0 in x
1.647 * [taylor]: Taking taylor expansion of 0 in x
1.651 * [taylor]: Taking taylor expansion of 0 in x
1.655 * [taylor]: Taking taylor expansion of 0 in x
1.661 * [taylor]: Taking taylor expansion of 0 in x
1.662 * [approximate]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in (a x) around 0
1.662 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in x
1.662 * [taylor]: Taking taylor expansion of 4/3 in x
1.662 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
1.662 * [taylor]: Taking taylor expansion of (pow a 3) in x
1.662 * [taylor]: Taking taylor expansion of a in x
1.662 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.662 * [taylor]: Taking taylor expansion of x in x
1.663 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in a
1.663 * [taylor]: Taking taylor expansion of 4/3 in a
1.663 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.663 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.663 * [taylor]: Taking taylor expansion of a in a
1.663 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.663 * [taylor]: Taking taylor expansion of x in a
1.663 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in a
1.663 * [taylor]: Taking taylor expansion of 4/3 in a
1.663 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
1.664 * [taylor]: Taking taylor expansion of (pow a 3) in a
1.664 * [taylor]: Taking taylor expansion of a in a
1.664 * [taylor]: Taking taylor expansion of (pow x 3) in a
1.664 * [taylor]: Taking taylor expansion of x in a
1.664 * [taylor]: Taking taylor expansion of (/ 4/3 (pow x 3)) in x
1.664 * [taylor]: Taking taylor expansion of 4/3 in x
1.664 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.664 * [taylor]: Taking taylor expansion of x in x
1.666 * [taylor]: Taking taylor expansion of 0 in x
1.669 * [taylor]: Taking taylor expansion of 0 in x
1.673 * [taylor]: Taking taylor expansion of 0 in x
1.678 * [taylor]: Taking taylor expansion of 0 in x
1.685 * [taylor]: Taking taylor expansion of 0 in x
1.686 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.686 * [approximate]: Taking taylor expansion of (* (+ (* 2 (* a x)) 2) (* a x)) in (a x) around 0
1.686 * [taylor]: Taking taylor expansion of (* (+ (* 2 (* a x)) 2) (* a x)) in x
1.686 * [taylor]: Taking taylor expansion of (+ (* 2 (* a x)) 2) in x
1.686 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
1.686 * [taylor]: Taking taylor expansion of 2 in x
1.686 * [taylor]: Taking taylor expansion of (* a x) in x
1.686 * [taylor]: Taking taylor expansion of a in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of 2 in x
1.686 * [taylor]: Taking taylor expansion of (* a x) in x
1.686 * [taylor]: Taking taylor expansion of a in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of (* (+ (* 2 (* a x)) 2) (* a x)) in a
1.686 * [taylor]: Taking taylor expansion of (+ (* 2 (* a x)) 2) in a
1.686 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
1.686 * [taylor]: Taking taylor expansion of 2 in a
1.686 * [taylor]: Taking taylor expansion of (* a x) in a
1.686 * [taylor]: Taking taylor expansion of a in a
1.686 * [taylor]: Taking taylor expansion of x in a
1.686 * [taylor]: Taking taylor expansion of 2 in a
1.686 * [taylor]: Taking taylor expansion of (* a x) in a
1.686 * [taylor]: Taking taylor expansion of a in a
1.686 * [taylor]: Taking taylor expansion of x in a
1.686 * [taylor]: Taking taylor expansion of (* (+ (* 2 (* a x)) 2) (* a x)) in a
1.686 * [taylor]: Taking taylor expansion of (+ (* 2 (* a x)) 2) in a
1.686 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
1.686 * [taylor]: Taking taylor expansion of 2 in a
1.686 * [taylor]: Taking taylor expansion of (* a x) in a
1.686 * [taylor]: Taking taylor expansion of a in a
1.686 * [taylor]: Taking taylor expansion of x in a
1.687 * [taylor]: Taking taylor expansion of 2 in a
1.687 * [taylor]: Taking taylor expansion of (* a x) in a
1.687 * [taylor]: Taking taylor expansion of a in a
1.687 * [taylor]: Taking taylor expansion of x in a
1.687 * [taylor]: Taking taylor expansion of 0 in x
1.688 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.688 * [taylor]: Taking taylor expansion of 2 in x
1.688 * [taylor]: Taking taylor expansion of x in x
1.689 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
1.689 * [taylor]: Taking taylor expansion of 2 in x
1.689 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.689 * [taylor]: Taking taylor expansion of x in x
1.691 * [taylor]: Taking taylor expansion of 0 in x
1.693 * [taylor]: Taking taylor expansion of 0 in x
1.694 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in (a x) around 0
1.694 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in x
1.694 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in x
1.694 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in x
1.694 * [taylor]: Taking taylor expansion of 2 in x
1.694 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.694 * [taylor]: Taking taylor expansion of (* a x) in x
1.694 * [taylor]: Taking taylor expansion of a in x
1.694 * [taylor]: Taking taylor expansion of x in x
1.695 * [taylor]: Taking taylor expansion of 2 in x
1.695 * [taylor]: Taking taylor expansion of (* a x) in x
1.695 * [taylor]: Taking taylor expansion of a in x
1.695 * [taylor]: Taking taylor expansion of x in x
1.695 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in a
1.695 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in a
1.695 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
1.696 * [taylor]: Taking taylor expansion of 2 in a
1.696 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.696 * [taylor]: Taking taylor expansion of (* a x) in a
1.696 * [taylor]: Taking taylor expansion of a in a
1.696 * [taylor]: Taking taylor expansion of x in a
1.696 * [taylor]: Taking taylor expansion of 2 in a
1.696 * [taylor]: Taking taylor expansion of (* a x) in a
1.696 * [taylor]: Taking taylor expansion of a in a
1.696 * [taylor]: Taking taylor expansion of x in a
1.697 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in a
1.697 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in a
1.697 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
1.697 * [taylor]: Taking taylor expansion of 2 in a
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.697 * [taylor]: Taking taylor expansion of (* a x) in a
1.697 * [taylor]: Taking taylor expansion of a in a
1.697 * [taylor]: Taking taylor expansion of x in a
1.697 * [taylor]: Taking taylor expansion of 2 in a
1.697 * [taylor]: Taking taylor expansion of (* a x) in a
1.697 * [taylor]: Taking taylor expansion of a in a
1.697 * [taylor]: Taking taylor expansion of x in a
1.698 * [taylor]: Taking taylor expansion of (/ 2 (pow x 2)) in x
1.698 * [taylor]: Taking taylor expansion of 2 in x
1.698 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.698 * [taylor]: Taking taylor expansion of x in x
1.700 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.700 * [taylor]: Taking taylor expansion of 2 in x
1.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.700 * [taylor]: Taking taylor expansion of x in x
1.703 * [taylor]: Taking taylor expansion of 0 in x
1.706 * [taylor]: Taking taylor expansion of 0 in x
1.711 * [taylor]: Taking taylor expansion of 0 in x
1.714 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in (a x) around 0
1.714 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in x
1.714 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in x
1.714 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in x
1.714 * [taylor]: Taking taylor expansion of 2 in x
1.714 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
1.714 * [taylor]: Taking taylor expansion of (* a x) in x
1.714 * [taylor]: Taking taylor expansion of a in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.714 * [taylor]: Taking taylor expansion of 2 in x
1.714 * [taylor]: Taking taylor expansion of (* a x) in x
1.714 * [taylor]: Taking taylor expansion of a in x
1.714 * [taylor]: Taking taylor expansion of x in x
1.715 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in a
1.715 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in a
1.715 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
1.715 * [taylor]: Taking taylor expansion of 2 in a
1.715 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.715 * [taylor]: Taking taylor expansion of (* a x) in a
1.715 * [taylor]: Taking taylor expansion of a in a
1.715 * [taylor]: Taking taylor expansion of x in a
1.715 * [taylor]: Taking taylor expansion of 2 in a
1.715 * [taylor]: Taking taylor expansion of (* a x) in a
1.715 * [taylor]: Taking taylor expansion of a in a
1.715 * [taylor]: Taking taylor expansion of x in a
1.716 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in a
1.716 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in a
1.716 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
1.716 * [taylor]: Taking taylor expansion of 2 in a
1.716 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
1.716 * [taylor]: Taking taylor expansion of (* a x) in a
1.716 * [taylor]: Taking taylor expansion of a in a
1.716 * [taylor]: Taking taylor expansion of x in a
1.716 * [taylor]: Taking taylor expansion of 2 in a
1.716 * [taylor]: Taking taylor expansion of (* a x) in a
1.716 * [taylor]: Taking taylor expansion of a in a
1.716 * [taylor]: Taking taylor expansion of x in a
1.717 * [taylor]: Taking taylor expansion of (/ 2 (pow x 2)) in x
1.717 * [taylor]: Taking taylor expansion of 2 in x
1.717 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.717 * [taylor]: Taking taylor expansion of x in x
1.719 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.719 * [taylor]: Taking taylor expansion of 2 in x
1.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.719 * [taylor]: Taking taylor expansion of x in x
1.721 * [taylor]: Taking taylor expansion of 0 in x
1.725 * [taylor]: Taking taylor expansion of 0 in x
1.729 * [taylor]: Taking taylor expansion of 0 in x
1.731 * * * [progress]: simplifying candidates
1.733 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 2 (*.f64 a x)))
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2))
  (-.f64 (*.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)) (*.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (-.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (+.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) 3) (pow.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))) 3))
  (+.f64 (*.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)) (-.f64 (*.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))) (*.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))))
  (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (*.f64 (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))) (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))))
  (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (exp.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (log.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (*.f64 (exp.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)) (exp.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (pow.f64 (*.f64 a x) (/.f64 3 2))
  (pow.f64 (*.f64 a x) (/.f64 3 2))
  (sqrt.f64 (pow.f64 (*.f64 a x) 3))
  (sqrt.f64 (pow.f64 (*.f64 a x) 3))
  (*.f64 (*.f64 a x) (*.f64 a x))
  (pow.f64 a 3)
  (pow.f64 x 3)
  (*.f64 (*.f64 (pow.f64 (*.f64 a x) 3) (pow.f64 (*.f64 a x) 3)) (pow.f64 (*.f64 a x) 3))
  (*.f64 (cbrt.f64 (pow.f64 (*.f64 a x) 3)) (cbrt.f64 (pow.f64 (*.f64 a x) 3)))
  (cbrt.f64 (pow.f64 (*.f64 a x) 3))
  (exp.f64 (pow.f64 (*.f64 a x) 3))
  (log.f64 (pow.f64 (*.f64 a x) 3))
  (*.f64 (*.f64 a x) (*.f64 a x))
  (pow.f64 a 3)
  (pow.f64 x 3)
  (pow.f64 (*.f64 a x) 1)
  (pow.f64 (*.f64 a x) (sqrt.f64 3))
  (pow.f64 (*.f64 a x) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (*.f64 1 3)
  (*.f64 1 3)
  (*.f64 (log.f64 (*.f64 a x)) 3)
  (*.f64 (log.f64 (*.f64 a x)) 3)
  (*.f64 (+.f64 (log.f64 a) (log.f64 x)) 3)
  (*.f64 (pow.f64 (*.f64 a x) (/.f64 3 2)) 4/3)
  (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)
  (*.f64 (sqrt.f64 (pow.f64 (*.f64 a x) 3)) 4/3)
  (*.f64 (*.f64 (*.f64 a x) (*.f64 a x)) 4/3)
  (*.f64 (pow.f64 x 3) 4/3)
  (*.f64 (cbrt.f64 (pow.f64 (*.f64 a x) 3)) 4/3)
  (*.f64 (*.f64 a x) 4/3)
  (*.f64 (pow.f64 x 3) 4/3)
  (*.f64 (pow.f64 (*.f64 a x) 3) 1)
  (*.f64 (pow.f64 (*.f64 a x) 3) (sqrt.f64 4/3))
  (*.f64 (pow.f64 (*.f64 a x) 3) (*.f64 (cbrt.f64 4/3) (cbrt.f64 4/3)))
  (*.f64 (pow.f64 (*.f64 a x) (/.f64 3 2)) (sqrt.f64 4/3))
  (*.f64 (pow.f64 (*.f64 a x) (/.f64 3 2)) (sqrt.f64 4/3))
  (*.f64 (sqrt.f64 (pow.f64 (*.f64 a x) 3)) (sqrt.f64 4/3))
  (*.f64 (sqrt.f64 (pow.f64 (*.f64 a x) 3)) (sqrt.f64 4/3))
  (sqrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (sqrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)) (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (*.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)) (cbrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)))
  (cbrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (*.f64 (*.f64 (*.f64 (pow.f64 (*.f64 a x) 3) (pow.f64 (*.f64 a x) 3)) (pow.f64 (*.f64 a x) 3)) (*.f64 (*.f64 4/3 4/3) 4/3))
  (exp.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (log.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (+.f64 (log.f64 (pow.f64 (*.f64 a x) 3)) (log.f64 4/3))
  (+.f64 (*.f64 (log.f64 (*.f64 a x)) 3) (log.f64 4/3))
  (+.f64 (*.f64 (log.f64 (*.f64 a x)) 3) (log.f64 4/3))
  (+.f64 (*.f64 (+.f64 (log.f64 a) (log.f64 x)) 3) (log.f64 4/3))
  (*.f64 (*.f64 a x) (-.f64 (*.f64 2 2) (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 (*.f64 a x) 2))))
  (*.f64 (*.f64 a x) (+.f64 (pow.f64 2 3) (pow.f64 (*.f64 (*.f64 a x) 2) 3)))
  (*.f64 x (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (*.f64 (*.f64 a x) (+.f64 (*.f64 a x) 1))
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) 1)
  (*.f64 (*.f64 a x) (sqrt.f64 (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (*.f64 (*.f64 a x) (*.f64 (cbrt.f64 (+.f64 2 (*.f64 (*.f64 a x) 2))) (cbrt.f64 (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (*.f64 2 (*.f64 a x))
  (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x))
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) (*.f64 (*.f64 a x) 2))
  (sqrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (sqrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))) (cbrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (cbrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a x) (*.f64 a x)) (*.f64 a x)) (*.f64 (*.f64 (+.f64 2 (*.f64 (*.f64 a x) 2)) (+.f64 2 (*.f64 (*.f64 a x) 2))) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (+.f64 2 (*.f64 (*.f64 a x) 2)) (+.f64 2 (*.f64 (*.f64 a x) 2))) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (exp.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (log.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (+.f64 (log.f64 (*.f64 a x)) (log.f64 (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (+.f64 (+.f64 (log.f64 a) (log.f64 x)) (log.f64 (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (*.f64 2 (*.f64 a x)))
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 2 (*.f64 a x)) (*.f64 4/3 (*.f64 (pow.f64 a 3) (pow.f64 x 3)))))
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (+.f64 (*.f64 2 (*.f64 a x)) (*.f64 4/3 (*.f64 (pow.f64 a 3) (pow.f64 x 3)))))
  (*.f64 (pow.f64 a 3) (pow.f64 x 3))
  (*.f64 (pow.f64 a 3) (pow.f64 x 3))
  (*.f64 (pow.f64 a 3) (pow.f64 x 3))
  (*.f64 4/3 (*.f64 (pow.f64 a 3) (pow.f64 x 3)))
  (*.f64 4/3 (*.f64 (pow.f64 a 3) (pow.f64 x 3)))
  (*.f64 4/3 (*.f64 (pow.f64 a 3) (pow.f64 x 3)))
  (*.f64 2 (*.f64 a x))
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (*.f64 2 (*.f64 a x)))
  (+.f64 (*.f64 2 (*.f64 (pow.f64 a 2) (pow.f64 x 2))) (*.f64 2 (*.f64 a x)))
1.776 * * [simplify]: iteration  0 :  5735  enodes  (cost  1520 )
1.784 * [simplify]: Simplified to:
   (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2))
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2))
  (-.f64 (*.f64 (pow.f64 (*.f64 a x) 6) 16/9) (*.f64 (pow.f64 (*.f64 a x) 2) (*.f64 (+.f64 (*.f64 a x) 1) (+.f64 4 (*.f64 4 (*.f64 a x))))))
  (-.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (+.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) 3) (pow.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))) 3))
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 6) 16/9) (*.f64 a (*.f64 (*.f64 x (+.f64 2 (*.f64 (*.f64 a x) 2))) (-.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))) (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)))))
  (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))) 3)
  (*.f64 (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))) (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))))
  (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (exp.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (log.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (exp.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (pow.f64 (*.f64 a x) 3/2)
  (pow.f64 (*.f64 a x) 3/2)
  (sqrt.f64 (pow.f64 (*.f64 a x) 3))
  (sqrt.f64 (pow.f64 (*.f64 a x) 3))
  (pow.f64 (*.f64 a x) 2)
  (pow.f64 a 3)
  (pow.f64 x 3)
  (pow.f64 (pow.f64 (*.f64 a x) 3) 3)
  (pow.f64 (*.f64 a x) 2)
  (*.f64 a x)
  (exp.f64 (pow.f64 (*.f64 a x) 3))
  (log.f64 (pow.f64 (*.f64 a x) 3))
  (pow.f64 (*.f64 a x) 2)
  (pow.f64 a 3)
  (pow.f64 x 3)
  (*.f64 a x)
  (pow.f64 (*.f64 a x) (sqrt.f64 3))
  (pow.f64 (*.f64 a x) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  3
  3
  (log.f64 (pow.f64 (*.f64 a x) 3))
  (log.f64 (pow.f64 (*.f64 a x) 3))
  (log.f64 (pow.f64 (*.f64 a x) 3))
  (*.f64 4/3 (pow.f64 (*.f64 a x) 3/2))
  (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)
  (*.f64 4/3 (sqrt.f64 (pow.f64 (*.f64 a x) 3)))
  (*.f64 4/3 (pow.f64 (*.f64 a x) 2))
  (*.f64 4/3 (pow.f64 x 3))
  (*.f64 (*.f64 a x) 4/3)
  (*.f64 (*.f64 a x) 4/3)
  (*.f64 4/3 (pow.f64 x 3))
  (pow.f64 (*.f64 a x) 3)
  (*.f64 (pow.f64 (*.f64 a x) 3) (sqrt.f64 4/3))
  (*.f64 (pow.f64 (*.f64 a x) 3) (*.f64 (cbrt.f64 4/3) (cbrt.f64 4/3)))
  (*.f64 (pow.f64 (*.f64 a x) 3/2) (sqrt.f64 4/3))
  (*.f64 (pow.f64 (*.f64 a x) 3/2) (sqrt.f64 4/3))
  (*.f64 (sqrt.f64 (pow.f64 (*.f64 a x) 3)) (sqrt.f64 4/3))
  (*.f64 (sqrt.f64 (pow.f64 (*.f64 a x) 3)) (sqrt.f64 4/3))
  (sqrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (sqrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (pow.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) 3)
  (*.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)) (cbrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)))
  (cbrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (pow.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) 3)
  (exp.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (log.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (log.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (log.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (log.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (log.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (*.f64 (*.f64 a x) (-.f64 4 (*.f64 (pow.f64 (*.f64 a x) 2) 4)))
  (*.f64 (*.f64 a x) (+.f64 8 (*.f64 (pow.f64 (*.f64 a x) 3) 8)))
  (*.f64 x (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 a x) 2)
  (*.f64 a x)
  (*.f64 (*.f64 a x) (sqrt.f64 (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (*.f64 (*.f64 a x) (*.f64 (cbrt.f64 (+.f64 2 (*.f64 (*.f64 a x) 2))) (cbrt.f64 (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (*.f64 (*.f64 a x) 2)
  (*.f64 2 (pow.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 a x) 2)
  (*.f64 2 (pow.f64 (*.f64 a x) 2))
  (sqrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (sqrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (pow.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))) 3)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))) (cbrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))))
  (cbrt.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (pow.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))) 3)
  (pow.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))) 3)
  (exp.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (log.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (log.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (log.f64 (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (pow.f64 (*.f64 a x) 3)
  (pow.f64 (*.f64 a x) 3)
  (pow.f64 (*.f64 a x) 3)
  (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)
  (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)
  (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))
1.784 * * * [progress]: adding candidates to table
2.056 * [progress]: [Phase 3 of 3] Extracting.
2.056 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 1/6) (*.f64 a (+.f64 x (*.f64 1/2 (*.f64 a (*.f64 x x)))))))> #<alt (λ (a x) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) (pow.f64 -1 3)) (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)))))> #<alt (λ (a x) (/.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2)) (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x))) (+.f64 (exp.f64 (*.f64 a x)) 1)))>)
2.058 * * * [regime-changes]: Trying 3 branch expressions: ((*.f64 a x) x a)
2.058 * * * * [regimes]: Trying to branch on (*.f64 a x) from (#<alt (λ (a x) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 1/6) (*.f64 a (+.f64 x (*.f64 1/2 (*.f64 a (*.f64 x x)))))))> #<alt (λ (a x) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) (pow.f64 -1 3)) (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)))))> #<alt (λ (a x) (/.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2)) (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x))) (+.f64 (exp.f64 (*.f64 a x)) 1)))>)
2.126 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 1/6) (*.f64 a (+.f64 x (*.f64 1/2 (*.f64 a (*.f64 x x)))))))> #<alt (λ (a x) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) (pow.f64 -1 3)) (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)))))> #<alt (λ (a x) (/.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2)) (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x))) (+.f64 (exp.f64 (*.f64 a x)) 1)))>)
2.204 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 1/6) (*.f64 a (+.f64 x (*.f64 1/2 (*.f64 a (*.f64 x x)))))))> #<alt (λ (a x) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) (pow.f64 -1 3)) (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)))))> #<alt (λ (a x) (/.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2)) (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x))) (+.f64 (exp.f64 (*.f64 a x)) 1)))>)
2.299 * * * [regime]: Found split indices: #<option (#s(si 1 95) #s(si 2 255))>
2.299 * [binary-search]: Only using regimes for bounds on (*.f64 a x) and (#<alt (λ (a x) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 1/6) (*.f64 a (+.f64 x (*.f64 1/2 (*.f64 a (*.f64 x x)))))))> #<alt (λ (a x) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) (pow.f64 -1 3)) (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)))))> #<alt (λ (a x) (/.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2)) (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x))) (+.f64 (exp.f64 (*.f64 a x)) 1)))>)
2.299 * [regimes]: Found splitpoints: (#s(sp 1 (*.f64 a x) -1672135563370515/274877906944) #s(sp 2 (*.f64 a x) +nan.0)) , with alts (#<alt (λ (a x) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 1/6) (*.f64 a (+.f64 x (*.f64 1/2 (*.f64 a (*.f64 x x)))))))> #<alt (λ (a x) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) (pow.f64 -1 3)) (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)))))> #<alt (λ (a x) (/.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2)) (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x))) (+.f64 (exp.f64 (*.f64 a x)) 1)))>)
2.300 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 (*.f64 a x) -1672135563370515/274877906944) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) (pow.f64 -1 3)) (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)))) (/.f64 (+.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) 2)) (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x))) (+.f64 (exp.f64 (*.f64 a x)) 1)))
2.302 * * [simplify]: iteration  0 :  42  enodes  (cost  105 )
2.302 * * [simplify]: iteration  1 :  42  enodes  (cost  105 )
2.302 * [simplify]: Simplified to:
   (if (<=.f64 (*.f64 a x) -1672135563370515/274877906944) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) -1) (*.f64 (+.f64 1 (exp.f64 (*.f64 a x))) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)))) (/.f64 (+.f64 (+.f64 (*.f64 (*.f64 a x) 2) (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)) (*.f64 (*.f64 a x) (*.f64 (*.f64 a x) 2))) (+.f64 1 (exp.f64 (*.f64 a x)))))
4.239 * [regime-testing]: End program error score: 0.7493864942144687
4.470 * [regime-testing]: Target error score: 0.1865838358445452