4.292 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.077 * * * [progress]: [2/2] Setting up program.
0.079 * [progress]: [Phase 2 of 3] Improving.
0.080 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 (exp.f64 (*.f64 a x)) 1)
0.136 * * [simplify]: iteration  0 :  4936  enodes  (cost  9 )
0.137 * * [simplify]: iteration  1 :  4936  enodes  (cost  9 )
0.138 * [simplify]: Simplified to:
   (-.f64 (exp.f64 (*.f64 a x)) 1)
0.140 * * [progress]: iteration 1 / 4
0.140 * * * [progress]: picking best candidate
0.142 * * * * [pick]: Picked  #<alt (λ (a x) (-.f64 (exp.f64 (*.f64 a x)) 1))>
0.142 * * * [progress]: localizing error
0.146 * * * [progress]: generating rewritten candidates
0.146 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.151 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.153 * * * [progress]: generating series expansions
0.153 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.153 * [approximate]: Taking taylor expansion of (- (exp (* a x)) 1) in (a x) around 0
0.153 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1) in x
0.153 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.153 * [taylor]: Taking taylor expansion of (* a x) in x
0.153 * [taylor]: Taking taylor expansion of a in x
0.153 * [taylor]: Taking taylor expansion of x in x
0.153 * [taylor]: Taking taylor expansion of 1 in x
0.153 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1) in a
0.153 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.153 * [taylor]: Taking taylor expansion of (* a x) in a
0.154 * [taylor]: Taking taylor expansion of a in a
0.154 * [taylor]: Taking taylor expansion of x in a
0.154 * [taylor]: Taking taylor expansion of 1 in a
0.154 * [taylor]: Taking taylor expansion of (- (exp (* a x)) 1) in a
0.154 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.154 * [taylor]: Taking taylor expansion of (* a x) in a
0.154 * [taylor]: Taking taylor expansion of a in a
0.154 * [taylor]: Taking taylor expansion of x in a
0.154 * [taylor]: Taking taylor expansion of 1 in a
0.154 * [taylor]: Taking taylor expansion of 0 in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.154 * [taylor]: Taking taylor expansion of 1/2 in x
0.154 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.155 * [taylor]: Taking taylor expansion of 1/6 in x
0.155 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.156 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.156 * [taylor]: Taking taylor expansion of 1/24 in x
0.156 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.156 * [taylor]: Taking taylor expansion of x in x
0.156 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.156 * [taylor]: Taking taylor expansion of 1/120 in x
0.156 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.156 * [taylor]: Taking taylor expansion of x in x
0.157 * [taylor]: Taking taylor expansion of (* 1/720 (pow x 6)) in x
0.157 * [taylor]: Taking taylor expansion of 1/720 in x
0.158 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.158 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in (a x) around 0
0.158 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
0.158 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.158 * [taylor]: Taking taylor expansion of (* a x) in x
0.158 * [taylor]: Taking taylor expansion of a in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.158 * [taylor]: Taking taylor expansion of 1 in x
0.158 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in a
0.158 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.158 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.158 * [taylor]: Taking taylor expansion of (* a x) in a
0.158 * [taylor]: Taking taylor expansion of a in a
0.158 * [taylor]: Taking taylor expansion of x in a
0.158 * [taylor]: Taking taylor expansion of 1 in a
0.159 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in a
0.159 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.159 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.159 * [taylor]: Taking taylor expansion of (* a x) in a
0.159 * [taylor]: Taking taylor expansion of a in a
0.159 * [taylor]: Taking taylor expansion of x in a
0.159 * [taylor]: Taking taylor expansion of 1 in a
0.159 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
0.159 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.159 * [taylor]: Taking taylor expansion of (* a x) in x
0.159 * [taylor]: Taking taylor expansion of a in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of 1 in x
0.159 * [taylor]: Taking taylor expansion of 0 in x
0.159 * [taylor]: Taking taylor expansion of 0 in x
0.159 * [taylor]: Taking taylor expansion of 0 in x
0.159 * [approximate]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in (a x) around 0
0.159 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
0.160 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.160 * [taylor]: Taking taylor expansion of (* a x) in x
0.160 * [taylor]: Taking taylor expansion of a in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of 1 in x
0.160 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in a
0.160 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.160 * [taylor]: Taking taylor expansion of (* a x) in a
0.160 * [taylor]: Taking taylor expansion of a in a
0.160 * [taylor]: Taking taylor expansion of x in a
0.160 * [taylor]: Taking taylor expansion of 1 in a
0.160 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in a
0.160 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.160 * [taylor]: Taking taylor expansion of (* a x) in a
0.160 * [taylor]: Taking taylor expansion of a in a
0.160 * [taylor]: Taking taylor expansion of x in a
0.160 * [taylor]: Taking taylor expansion of 1 in a
0.160 * [taylor]: Taking taylor expansion of (- (exp (/ 1 (* a x))) 1) in x
0.160 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.160 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.160 * [taylor]: Taking taylor expansion of (* a x) in x
0.160 * [taylor]: Taking taylor expansion of a in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of 1 in x
0.161 * [taylor]: Taking taylor expansion of 0 in x
0.161 * [taylor]: Taking taylor expansion of 0 in x
0.161 * [taylor]: Taking taylor expansion of 0 in x
0.161 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.161 * [approximate]: Taking taylor expansion of (exp (* a x)) in (a x) around 0
0.161 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.161 * [taylor]: Taking taylor expansion of (* a x) in x
0.161 * [taylor]: Taking taylor expansion of a in x
0.161 * [taylor]: Taking taylor expansion of x in x
0.161 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.161 * [taylor]: Taking taylor expansion of (* a x) in a
0.161 * [taylor]: Taking taylor expansion of a in a
0.161 * [taylor]: Taking taylor expansion of x in a
0.161 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.161 * [taylor]: Taking taylor expansion of (* a x) in a
0.161 * [taylor]: Taking taylor expansion of a in a
0.161 * [taylor]: Taking taylor expansion of x in a
0.161 * [taylor]: Taking taylor expansion of 1 in x
0.161 * [taylor]: Taking taylor expansion of x in x
0.162 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.162 * [taylor]: Taking taylor expansion of 1/2 in x
0.162 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.162 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.162 * [taylor]: Taking taylor expansion of 1/6 in x
0.162 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.162 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.163 * [taylor]: Taking taylor expansion of 1/24 in x
0.163 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.163 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.163 * [taylor]: Taking taylor expansion of (* a x) in x
0.163 * [taylor]: Taking taylor expansion of a in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.163 * [taylor]: Taking taylor expansion of (* a x) in a
0.163 * [taylor]: Taking taylor expansion of a in a
0.163 * [taylor]: Taking taylor expansion of x in a
0.163 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.163 * [taylor]: Taking taylor expansion of (* a x) in a
0.163 * [taylor]: Taking taylor expansion of a in a
0.163 * [taylor]: Taking taylor expansion of x in a
0.163 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.163 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.163 * [taylor]: Taking taylor expansion of (* a x) in x
0.163 * [taylor]: Taking taylor expansion of a in x
0.164 * [taylor]: Taking taylor expansion of x in x
0.164 * [taylor]: Taking taylor expansion of 0 in x
0.164 * [taylor]: Taking taylor expansion of 0 in x
0.164 * [taylor]: Taking taylor expansion of 0 in x
0.164 * [approximate]: Taking taylor expansion of (exp (/ 1 (* a x))) in (a x) around 0
0.164 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.164 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.164 * [taylor]: Taking taylor expansion of (* a x) in x
0.164 * [taylor]: Taking taylor expansion of a in x
0.164 * [taylor]: Taking taylor expansion of x in x
0.164 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.164 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.164 * [taylor]: Taking taylor expansion of (* a x) in a
0.164 * [taylor]: Taking taylor expansion of a in a
0.164 * [taylor]: Taking taylor expansion of x in a
0.164 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.164 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.164 * [taylor]: Taking taylor expansion of (* a x) in a
0.164 * [taylor]: Taking taylor expansion of a in a
0.164 * [taylor]: Taking taylor expansion of x in a
0.164 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.164 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.165 * [taylor]: Taking taylor expansion of (* a x) in x
0.165 * [taylor]: Taking taylor expansion of a in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of 0 in x
0.165 * [taylor]: Taking taylor expansion of 0 in x
0.165 * [taylor]: Taking taylor expansion of 0 in x
0.165 * * * [progress]: simplifying candidates
0.165 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (exp.f64 (exp.f64 (*.f64 a x))) (exp.f64 1))
  (log.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.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)))
  (cbrt.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))
  (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (-.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)))
  (neg.f64 1)
  (-.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (*.f64 1 1))
  (+.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 (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 (exp.f64 (*.f64 a x)) 1)
  (exp.f64 a)
  (log.f64 (exp.f64 (*.f64 a x)))
  (exp.f64 (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)))
  (*.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (exp.f64 (*.f64 a x)))
  (sqrt.f64 (exp.f64 (*.f64 a x)))
  (sqrt.f64 (exp.f64 (*.f64 a x)))
  (+.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.253 * * [simplify]: iteration  0 :  4939  enodes  (cost  374 )
0.253 * * [simplify]: iteration  1 :  4939  enodes  (cost  374 )
0.256 * [simplify]: Simplified to:
   (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))
  (*.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)
  (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (-.f64 (exp.f64 (*.f64 a x)) 1))
  (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 3) 1)
  (+.f64 1 (*.f64 (exp.f64 (*.f64 a x)) (+.f64 (exp.f64 (*.f64 a x)) 1)))
  -1
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
  (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))
  (+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
  (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))
  (+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
  (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (exp.f64 a)
  (*.f64 a x)
  (exp.f64 (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)))
  (pow.f64 (exp.f64 (*.f64 a x)) 3)
  (sqrt.f64 (exp.f64 (*.f64 a x)))
  (sqrt.f64 (exp.f64 (*.f64 a x)))
  (*.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 a (*.f64 1/2 (*.f64 x x))))))
  (exp.f64 (*.f64 a x))
  (exp.f64 (*.f64 a x))
0.256 * * * [progress]: adding candidates to table
0.279 * * [progress]: iteration 2 / 4
0.279 * * * [progress]: picking best candidate
0.288 * * * * [pick]: Picked  #<alt (λ (a x) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))>
0.288 * * * [progress]: localizing error
0.296 * * * [progress]: generating rewritten candidates
0.296 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.302 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.317 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.321 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.328 * * * [progress]: generating series expansions
0.328 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.328 * [approximate]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in (a x) around 0
0.328 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in x
0.328 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in x
0.328 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.328 * [taylor]: Taking taylor expansion of (* a x) in x
0.328 * [taylor]: Taking taylor expansion of a in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.328 * [taylor]: Taking taylor expansion of 1 in x
0.328 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in a
0.328 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.328 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.328 * [taylor]: Taking taylor expansion of (* a x) in a
0.328 * [taylor]: Taking taylor expansion of a in a
0.328 * [taylor]: Taking taylor expansion of x in a
0.328 * [taylor]: Taking taylor expansion of 1 in a
0.328 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in a
0.329 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.329 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.329 * [taylor]: Taking taylor expansion of (* a x) in a
0.329 * [taylor]: Taking taylor expansion of a in a
0.329 * [taylor]: Taking taylor expansion of x in a
0.329 * [taylor]: Taking taylor expansion of 1 in a
0.329 * [taylor]: Taking taylor expansion of 0 in x
0.329 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.329 * [taylor]: Taking taylor expansion of 2 in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
0.330 * [taylor]: Taking taylor expansion of 2 in x
0.330 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.330 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
0.330 * [taylor]: Taking taylor expansion of 4/3 in x
0.330 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.330 * [taylor]: Taking taylor expansion of x in x
0.332 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 4)) in x
0.332 * [taylor]: Taking taylor expansion of 2/3 in x
0.332 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.332 * [taylor]: Taking taylor expansion of x in x
0.333 * [taylor]: Taking taylor expansion of (* 4/15 (pow x 5)) in x
0.333 * [taylor]: Taking taylor expansion of 4/15 in x
0.333 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.335 * [taylor]: Taking taylor expansion of (* 4/45 (pow x 6)) in x
0.335 * [taylor]: Taking taylor expansion of 4/45 in x
0.335 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.336 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in (a x) around 0
0.336 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.336 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.336 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.336 * [taylor]: Taking taylor expansion of (* a x) in x
0.336 * [taylor]: Taking taylor expansion of a in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of 1 in x
0.336 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.336 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.336 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.336 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.336 * [taylor]: Taking taylor expansion of (* a x) in a
0.336 * [taylor]: Taking taylor expansion of a in a
0.336 * [taylor]: Taking taylor expansion of x in a
0.336 * [taylor]: Taking taylor expansion of 1 in a
0.336 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.336 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.336 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.336 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.336 * [taylor]: Taking taylor expansion of (* a x) in a
0.336 * [taylor]: Taking taylor expansion of a in a
0.336 * [taylor]: Taking taylor expansion of x in a
0.336 * [taylor]: Taking taylor expansion of 1 in a
0.337 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.337 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.337 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.337 * [taylor]: Taking taylor expansion of (* a x) in x
0.337 * [taylor]: Taking taylor expansion of a in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.337 * [taylor]: Taking taylor expansion of 1 in x
0.337 * [taylor]: Taking taylor expansion of 0 in x
0.338 * [taylor]: Taking taylor expansion of 0 in x
0.338 * [taylor]: Taking taylor expansion of 0 in x
0.338 * [approximate]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in (a x) around 0
0.338 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.338 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.338 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.338 * [taylor]: Taking taylor expansion of (* a x) in x
0.338 * [taylor]: Taking taylor expansion of a in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of 1 in x
0.338 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.338 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.339 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.339 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.339 * [taylor]: Taking taylor expansion of (* a x) in a
0.339 * [taylor]: Taking taylor expansion of a in a
0.339 * [taylor]: Taking taylor expansion of x in a
0.339 * [taylor]: Taking taylor expansion of 1 in a
0.339 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.339 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.339 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.339 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.339 * [taylor]: Taking taylor expansion of (* a x) in a
0.339 * [taylor]: Taking taylor expansion of a in a
0.339 * [taylor]: Taking taylor expansion of x in a
0.339 * [taylor]: Taking taylor expansion of 1 in a
0.339 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.339 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.339 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.339 * [taylor]: Taking taylor expansion of (* a x) in x
0.339 * [taylor]: Taking taylor expansion of a in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of 1 in x
0.340 * [taylor]: Taking taylor expansion of 0 in x
0.340 * [taylor]: Taking taylor expansion of 0 in x
0.340 * [taylor]: Taking taylor expansion of 0 in x
0.341 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.341 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (* a x)) 2) 1) (+ (exp (* a x)) 1)) in (a x) around 0
0.341 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (* a x)) 2) 1) (+ (exp (* a x)) 1)) in x
0.341 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in x
0.341 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in x
0.341 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.341 * [taylor]: Taking taylor expansion of (* a x) in x
0.341 * [taylor]: Taking taylor expansion of a in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of 1 in x
0.341 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in x
0.341 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.341 * [taylor]: Taking taylor expansion of (* a x) in x
0.341 * [taylor]: Taking taylor expansion of a in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of 1 in x
0.341 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (* a x)) 2) 1) (+ (exp (* a x)) 1)) in a
0.341 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in a
0.341 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.341 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.341 * [taylor]: Taking taylor expansion of (* a x) in a
0.341 * [taylor]: Taking taylor expansion of a in a
0.341 * [taylor]: Taking taylor expansion of x in a
0.341 * [taylor]: Taking taylor expansion of 1 in a
0.341 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.341 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.342 * [taylor]: Taking taylor expansion of (* a x) in a
0.342 * [taylor]: Taking taylor expansion of a in a
0.342 * [taylor]: Taking taylor expansion of x in a
0.342 * [taylor]: Taking taylor expansion of 1 in a
0.342 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (* a x)) 2) 1) (+ (exp (* a x)) 1)) in a
0.342 * [taylor]: Taking taylor expansion of (- (pow (exp (* a x)) 2) 1) in a
0.342 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.342 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.342 * [taylor]: Taking taylor expansion of (* a x) in a
0.342 * [taylor]: Taking taylor expansion of a in a
0.342 * [taylor]: Taking taylor expansion of x in a
0.342 * [taylor]: Taking taylor expansion of 1 in a
0.342 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.342 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.342 * [taylor]: Taking taylor expansion of (* a x) in a
0.342 * [taylor]: Taking taylor expansion of a in a
0.342 * [taylor]: Taking taylor expansion of x in a
0.342 * [taylor]: Taking taylor expansion of 1 in a
0.342 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.343 * [taylor]: Taking taylor expansion of 1/2 in x
0.343 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.344 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.345 * [taylor]: Taking taylor expansion of 1/6 in x
0.345 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.346 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.346 * [taylor]: Taking taylor expansion of 1/24 in x
0.346 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.347 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.349 * [taylor]: Taking taylor expansion of 1/120 in x
0.349 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.350 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in (a x) around 0
0.350 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.350 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.350 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.350 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.350 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.350 * [taylor]: Taking taylor expansion of (* a x) in x
0.350 * [taylor]: Taking taylor expansion of a in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of 1 in x
0.350 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.350 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.350 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.350 * [taylor]: Taking taylor expansion of (* a x) in x
0.350 * [taylor]: Taking taylor expansion of a in x
0.350 * [taylor]: Taking taylor expansion of x in x
0.350 * [taylor]: Taking taylor expansion of 1 in x
0.351 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.351 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.351 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.351 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.351 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.351 * [taylor]: Taking taylor expansion of (* a x) in a
0.351 * [taylor]: Taking taylor expansion of a in a
0.351 * [taylor]: Taking taylor expansion of x in a
0.351 * [taylor]: Taking taylor expansion of 1 in a
0.351 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.351 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.351 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.351 * [taylor]: Taking taylor expansion of (* a x) in a
0.351 * [taylor]: Taking taylor expansion of a in a
0.351 * [taylor]: Taking taylor expansion of x in a
0.351 * [taylor]: Taking taylor expansion of 1 in a
0.351 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.351 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.351 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.352 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.352 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.352 * [taylor]: Taking taylor expansion of (* a x) in a
0.352 * [taylor]: Taking taylor expansion of a in a
0.352 * [taylor]: Taking taylor expansion of x in a
0.352 * [taylor]: Taking taylor expansion of 1 in a
0.352 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.352 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.352 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.352 * [taylor]: Taking taylor expansion of (* a x) in a
0.352 * [taylor]: Taking taylor expansion of a in a
0.352 * [taylor]: Taking taylor expansion of x in a
0.352 * [taylor]: Taking taylor expansion of 1 in a
0.352 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.352 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.352 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.352 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.352 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.352 * [taylor]: Taking taylor expansion of (* a x) in x
0.352 * [taylor]: Taking taylor expansion of a in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of 1 in x
0.353 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.353 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.353 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.353 * [taylor]: Taking taylor expansion of (* a x) in x
0.353 * [taylor]: Taking taylor expansion of a in x
0.353 * [taylor]: Taking taylor expansion of x in x
0.353 * [taylor]: Taking taylor expansion of 1 in x
0.354 * [taylor]: Taking taylor expansion of 0 in x
0.355 * [taylor]: Taking taylor expansion of 0 in x
0.356 * [taylor]: Taking taylor expansion of 0 in x
0.356 * [approximate]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in (a x) around 0
0.356 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.356 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.356 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.356 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.356 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.356 * [taylor]: Taking taylor expansion of (* a x) in x
0.356 * [taylor]: Taking taylor expansion of a in x
0.356 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of 1 in x
0.357 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.357 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.357 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.357 * [taylor]: Taking taylor expansion of (* a x) in x
0.357 * [taylor]: Taking taylor expansion of a in x
0.357 * [taylor]: Taking taylor expansion of x in x
0.357 * [taylor]: Taking taylor expansion of 1 in x
0.357 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.357 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.357 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.357 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.357 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.357 * [taylor]: Taking taylor expansion of (* a x) in a
0.357 * [taylor]: Taking taylor expansion of a in a
0.357 * [taylor]: Taking taylor expansion of x in a
0.357 * [taylor]: Taking taylor expansion of 1 in a
0.357 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.357 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.357 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.357 * [taylor]: Taking taylor expansion of (* a x) in a
0.357 * [taylor]: Taking taylor expansion of a in a
0.358 * [taylor]: Taking taylor expansion of x in a
0.358 * [taylor]: Taking taylor expansion of 1 in a
0.358 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.358 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in a
0.358 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.358 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.358 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.358 * [taylor]: Taking taylor expansion of (* a x) in a
0.358 * [taylor]: Taking taylor expansion of a in a
0.358 * [taylor]: Taking taylor expansion of x in a
0.358 * [taylor]: Taking taylor expansion of 1 in a
0.358 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.358 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.358 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.358 * [taylor]: Taking taylor expansion of (* a x) in a
0.358 * [taylor]: Taking taylor expansion of a in a
0.358 * [taylor]: Taking taylor expansion of x in a
0.358 * [taylor]: Taking taylor expansion of 1 in a
0.359 * [taylor]: Taking taylor expansion of (/ (- (pow (exp (/ 1 (* a x))) 2) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.359 * [taylor]: Taking taylor expansion of (- (pow (exp (/ 1 (* a x))) 2) 1) in x
0.359 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.359 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.359 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.359 * [taylor]: Taking taylor expansion of (* a x) in x
0.359 * [taylor]: Taking taylor expansion of a in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of 1 in x
0.359 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.359 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.359 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.359 * [taylor]: Taking taylor expansion of (* a x) in x
0.359 * [taylor]: Taking taylor expansion of a in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of 1 in x
0.360 * [taylor]: Taking taylor expansion of 0 in x
0.361 * [taylor]: Taking taylor expansion of 0 in x
0.362 * [taylor]: Taking taylor expansion of 0 in x
0.362 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.363 * [approximate]: Taking taylor expansion of (+ (exp (* a x)) 1) in (a x) around 0
0.363 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in x
0.363 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.363 * [taylor]: Taking taylor expansion of (* a x) in x
0.363 * [taylor]: Taking taylor expansion of a in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of 1 in x
0.363 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.363 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.363 * [taylor]: Taking taylor expansion of (* a x) in a
0.363 * [taylor]: Taking taylor expansion of a in a
0.363 * [taylor]: Taking taylor expansion of x in a
0.363 * [taylor]: Taking taylor expansion of 1 in a
0.363 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.363 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.363 * [taylor]: Taking taylor expansion of (* a x) in a
0.363 * [taylor]: Taking taylor expansion of a in a
0.363 * [taylor]: Taking taylor expansion of x in a
0.363 * [taylor]: Taking taylor expansion of 1 in a
0.363 * [taylor]: Taking taylor expansion of 2 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.363 * [taylor]: Taking taylor expansion of 1/2 in x
0.364 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.364 * [taylor]: Taking taylor expansion of 1/6 in x
0.364 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.365 * [taylor]: Taking taylor expansion of 1/24 in x
0.365 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in (a x) around 0
0.365 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.365 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.365 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.365 * [taylor]: Taking taylor expansion of (* a x) in x
0.365 * [taylor]: Taking taylor expansion of a in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of 1 in x
0.365 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.365 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.365 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.365 * [taylor]: Taking taylor expansion of (* a x) in a
0.365 * [taylor]: Taking taylor expansion of a in a
0.365 * [taylor]: Taking taylor expansion of x in a
0.365 * [taylor]: Taking taylor expansion of 1 in a
0.365 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.365 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.365 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.365 * [taylor]: Taking taylor expansion of (* a x) in a
0.365 * [taylor]: Taking taylor expansion of a in a
0.365 * [taylor]: Taking taylor expansion of x in a
0.366 * [taylor]: Taking taylor expansion of 1 in a
0.366 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.366 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.366 * [taylor]: Taking taylor expansion of (* a x) in x
0.366 * [taylor]: Taking taylor expansion of a in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of 1 in x
0.366 * [taylor]: Taking taylor expansion of 0 in x
0.366 * [taylor]: Taking taylor expansion of 0 in x
0.366 * [taylor]: Taking taylor expansion of 0 in x
0.366 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in (a x) around 0
0.366 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.366 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.366 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.366 * [taylor]: Taking taylor expansion of (* a x) in x
0.366 * [taylor]: Taking taylor expansion of a in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of 1 in x
0.366 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.367 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.367 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.367 * [taylor]: Taking taylor expansion of (* a x) in a
0.367 * [taylor]: Taking taylor expansion of a in a
0.367 * [taylor]: Taking taylor expansion of x in a
0.367 * [taylor]: Taking taylor expansion of 1 in a
0.367 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.367 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.367 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.367 * [taylor]: Taking taylor expansion of (* a x) in a
0.367 * [taylor]: Taking taylor expansion of a in a
0.367 * [taylor]: Taking taylor expansion of x in a
0.367 * [taylor]: Taking taylor expansion of 1 in a
0.367 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.367 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.367 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.367 * [taylor]: Taking taylor expansion of (* a x) in x
0.367 * [taylor]: Taking taylor expansion of a in x
0.367 * [taylor]: Taking taylor expansion of x in x
0.367 * [taylor]: Taking taylor expansion of 1 in x
0.367 * [taylor]: Taking taylor expansion of 0 in x
0.367 * [taylor]: Taking taylor expansion of 0 in x
0.367 * [taylor]: Taking taylor expansion of 0 in x
0.368 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.368 * [approximate]: Taking taylor expansion of (pow (exp (* a x)) 2) in (a x) around 0
0.368 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in x
0.368 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.368 * [taylor]: Taking taylor expansion of (* a x) in x
0.368 * [taylor]: Taking taylor expansion of a in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.368 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.368 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.368 * [taylor]: Taking taylor expansion of (* a x) in a
0.368 * [taylor]: Taking taylor expansion of a in a
0.368 * [taylor]: Taking taylor expansion of x in a
0.368 * [taylor]: Taking taylor expansion of (pow (exp (* a x)) 2) in a
0.368 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.368 * [taylor]: Taking taylor expansion of (* a x) in a
0.368 * [taylor]: Taking taylor expansion of a in a
0.368 * [taylor]: Taking taylor expansion of x in a
0.368 * [taylor]: Taking taylor expansion of 1 in x
0.368 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.368 * [taylor]: Taking taylor expansion of 2 in x
0.368 * [taylor]: Taking taylor expansion of x in x
0.369 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
0.369 * [taylor]: Taking taylor expansion of 2 in x
0.369 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.369 * [taylor]: Taking taylor expansion of x in x
0.370 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
0.370 * [taylor]: Taking taylor expansion of 4/3 in x
0.370 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.371 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 4)) in x
0.371 * [taylor]: Taking taylor expansion of 2/3 in x
0.371 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.371 * [taylor]: Taking taylor expansion of x in x
0.371 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in (a x) around 0
0.371 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.371 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.371 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.371 * [taylor]: Taking taylor expansion of (* a x) in x
0.371 * [taylor]: Taking taylor expansion of a in x
0.371 * [taylor]: Taking taylor expansion of x in x
0.371 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.371 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.371 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.371 * [taylor]: Taking taylor expansion of (* a x) in a
0.371 * [taylor]: Taking taylor expansion of a in a
0.371 * [taylor]: Taking taylor expansion of x in a
0.371 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.371 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.371 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.371 * [taylor]: Taking taylor expansion of (* a x) in a
0.371 * [taylor]: Taking taylor expansion of a in a
0.371 * [taylor]: Taking taylor expansion of x in a
0.372 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.372 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.372 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.372 * [taylor]: Taking taylor expansion of (* a x) in x
0.372 * [taylor]: Taking taylor expansion of a in x
0.372 * [taylor]: Taking taylor expansion of x in x
0.372 * [taylor]: Taking taylor expansion of 0 in x
0.372 * [taylor]: Taking taylor expansion of 0 in x
0.373 * [taylor]: Taking taylor expansion of 0 in x
0.373 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in (a x) around 0
0.373 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.373 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.373 * [taylor]: Taking taylor expansion of (* a x) in x
0.373 * [taylor]: Taking taylor expansion of a in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.373 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.373 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.373 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.373 * [taylor]: Taking taylor expansion of (* a x) in a
0.373 * [taylor]: Taking taylor expansion of a in a
0.373 * [taylor]: Taking taylor expansion of x in a
0.373 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in a
0.373 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.373 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.373 * [taylor]: Taking taylor expansion of (* a x) in a
0.373 * [taylor]: Taking taylor expansion of a in a
0.373 * [taylor]: Taking taylor expansion of x in a
0.374 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (* a x))) 2) in x
0.374 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.374 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.374 * [taylor]: Taking taylor expansion of (* a x) in x
0.374 * [taylor]: Taking taylor expansion of a in x
0.374 * [taylor]: Taking taylor expansion of x in x
0.374 * [taylor]: Taking taylor expansion of 0 in x
0.375 * [taylor]: Taking taylor expansion of 0 in x
0.375 * [taylor]: Taking taylor expansion of 0 in x
0.375 * * * [progress]: simplifying candidates
0.377 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2)) (exp.f64 -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 (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))
  (*.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))
  (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 (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)))
  (-.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 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1)
  (-.f64 (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2) 1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (-.f64 (exp.f64 (*.f64 a x)) 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 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1)
  (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1)
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (-.f64 (log.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)) (log.f64 (+.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)))
  (exp.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)))
  (*.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 (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)))
  (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)))
  (neg.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (neg.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 (*.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))) 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 (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 (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)) 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 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 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 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 (+.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 (+.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) 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 (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 (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) 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 (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 (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) 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 (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 (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) 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 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 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 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 (+.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 (+.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 (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) 1)
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) 1)
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (cbrt.f64 (+.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) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -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 (exp.f64 (*.f64 a x)) 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 (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2)) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -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 (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 (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 (exp.f64 (*.f64 a x)) 1) (-.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1))
  (*.f64 (exp.f64 (exp.f64 (*.f64 a x))) (exp.f64 1))
  (log.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.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)))
  (cbrt.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))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (+.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)))
  (-.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (*.f64 1 1))
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (*.f64 (*.f64 a x) 2)
  (*.f64 (log.f64 (exp.f64 (*.f64 a x))) 2)
  (*.f64 x 2)
  (*.f64 1 2)
  (*.f64 x 2)
  (pow.f64 (exp.f64 (*.f64 a x)) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (pow.f64 (exp.f64 (*.f64 a x)) (sqrt.f64 2))
  (pow.f64 (exp.f64 (*.f64 a x)) 1)
  (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 (sqrt.f64 (exp.f64 (*.f64 a x))) 2)
  (pow.f64 (sqrt.f64 (exp.f64 (*.f64 a x))) 2)
  (pow.f64 1 2)
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
  (log.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (exp.f64 (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))
  (*.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))
  (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (sqrt.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2))
  (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 2))
  (pow.f64 (exp.f64 (*.f64 a x)) (/.f64 2 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.449 * * [simplify]: iteration  0 :  5746  enodes  (cost  2630 )
0.464 * [simplify]: Simplified to:
   (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 (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))
  (pow.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) 3)
  (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 -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))
  (+.f64 -1 (pow.f64 (exp.f64 (*.f64 a x)) 4))
  (+.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 (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 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (log.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))
  (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)
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (sqrt.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)))
  (/.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 (*.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 (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 (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 (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)))
  (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 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 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)))
  1
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  1
  (+.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 (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 (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) (*.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 (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 (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 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 (+.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 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 (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 (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 (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 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 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)))
  1
  (+.f64 (exp.f64 (*.f64 a x)) -1)
  1
  (+.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))
  (/.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 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1)))
  (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)
  (+.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 (exp.f64 (*.f64 a x)) 1) (sqrt.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1)))
  (/.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 (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 1 (+.f64 (exp.f64 (*.f64 a x)) -1))
  (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 2) -1) (+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 3)))
  1
  (*.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.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))
  (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))
  (*.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)
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (+.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))))
  (+.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 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) 2)
  (+.f64 x x)
  2
  (+.f64 x x)
  (pow.f64 (exp.f64 (*.f64 a x)) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (pow.f64 (exp.f64 (*.f64 a x)) (sqrt.f64 2))
  (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))
  (exp.f64 (*.f64 a x))
  1
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
  (*.f64 (*.f64 a x) 2)
  (exp.f64 (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))
  (pow.f64 (exp.f64 (*.f64 a x)) 6)
  (fabs.f64 (exp.f64 (*.f64 a x)))
  (fabs.f64 (exp.f64 (*.f64 a x)))
  (exp.f64 (*.f64 a x))
  (exp.f64 (*.f64 a x))
  (+.f64 (*.f64 4/3 (*.f64 (pow.f64 a 3) (pow.f64 x 3))) (*.f64 2 (*.f64 a (+.f64 (*.f64 a (*.f64 x 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 (*.f64 a (*.f64 x x)) x))))
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
  (pow.f64 (exp.f64 (*.f64 a x)) 2)
0.464 * * * [progress]: adding candidates to table
0.542 * * [progress]: iteration 3 / 4
0.542 * * * [progress]: picking best candidate
0.551 * * * * [pick]: Picked  #<alt (λ (a x) (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 (exp.f64 (*.f64 a x)) 1)))>
0.551 * * * [progress]: localizing error
0.563 * * * [progress]: generating rewritten candidates
0.563 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.567 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
0.577 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.581 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.590 * * * [progress]: generating series expansions
0.590 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.590 * [approximate]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in (a x) around 0
0.590 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in x
0.590 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
0.590 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
0.590 * [taylor]: Taking taylor expansion of 2 in x
0.590 * [taylor]: Taking taylor expansion of (* a x) in x
0.590 * [taylor]: Taking taylor expansion of a in x
0.590 * [taylor]: Taking taylor expansion of x in x
0.590 * [taylor]: Taking taylor expansion of 1 in x
0.590 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in a
0.590 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
0.590 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.590 * [taylor]: Taking taylor expansion of 2 in a
0.591 * [taylor]: Taking taylor expansion of (* a x) in a
0.591 * [taylor]: Taking taylor expansion of a in a
0.591 * [taylor]: Taking taylor expansion of x in a
0.591 * [taylor]: Taking taylor expansion of 1 in a
0.591 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in a
0.591 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
0.591 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.591 * [taylor]: Taking taylor expansion of 2 in a
0.591 * [taylor]: Taking taylor expansion of (* a x) in a
0.591 * [taylor]: Taking taylor expansion of a in a
0.591 * [taylor]: Taking taylor expansion of x in a
0.591 * [taylor]: Taking taylor expansion of 1 in a
0.591 * [taylor]: Taking taylor expansion of 0 in x
0.591 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.591 * [taylor]: Taking taylor expansion of 2 in x
0.591 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
0.592 * [taylor]: Taking taylor expansion of 2 in x
0.592 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
0.592 * [taylor]: Taking taylor expansion of 4/3 in x
0.592 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.593 * [taylor]: Taking taylor expansion of (* 2/3 (pow x 4)) in x
0.593 * [taylor]: Taking taylor expansion of 2/3 in x
0.593 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.593 * [taylor]: Taking taylor expansion of x in x
0.594 * [taylor]: Taking taylor expansion of (* 4/15 (pow x 5)) in x
0.594 * [taylor]: Taking taylor expansion of 4/15 in x
0.594 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.594 * [taylor]: Taking taylor expansion of x in x
0.595 * [taylor]: Taking taylor expansion of (* 4/45 (pow x 6)) in x
0.595 * [taylor]: Taking taylor expansion of 4/45 in x
0.595 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.595 * [taylor]: Taking taylor expansion of x in x
0.596 * [approximate]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in (a x) around 0
0.596 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
0.596 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
0.596 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.596 * [taylor]: Taking taylor expansion of 2 in x
0.596 * [taylor]: Taking taylor expansion of (* a x) in x
0.596 * [taylor]: Taking taylor expansion of a in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.596 * [taylor]: Taking taylor expansion of 1 in x
0.596 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
0.596 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
0.596 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.596 * [taylor]: Taking taylor expansion of 2 in a
0.596 * [taylor]: Taking taylor expansion of (* a x) in a
0.596 * [taylor]: Taking taylor expansion of a in a
0.596 * [taylor]: Taking taylor expansion of x in a
0.596 * [taylor]: Taking taylor expansion of 1 in a
0.596 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
0.596 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
0.596 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.596 * [taylor]: Taking taylor expansion of 2 in a
0.596 * [taylor]: Taking taylor expansion of (* a x) in a
0.596 * [taylor]: Taking taylor expansion of a in a
0.596 * [taylor]: Taking taylor expansion of x in a
0.596 * [taylor]: Taking taylor expansion of 1 in a
0.596 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
0.596 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
0.596 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.596 * [taylor]: Taking taylor expansion of 2 in x
0.596 * [taylor]: Taking taylor expansion of (* a x) in x
0.596 * [taylor]: Taking taylor expansion of a in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.597 * [taylor]: Taking taylor expansion of 1 in x
0.597 * [taylor]: Taking taylor expansion of 0 in x
0.597 * [taylor]: Taking taylor expansion of 0 in x
0.597 * [taylor]: Taking taylor expansion of 0 in x
0.597 * [approximate]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in (a x) around 0
0.597 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
0.597 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
0.597 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.597 * [taylor]: Taking taylor expansion of 2 in x
0.597 * [taylor]: Taking taylor expansion of (* a x) in x
0.597 * [taylor]: Taking taylor expansion of a in x
0.597 * [taylor]: Taking taylor expansion of x in x
0.597 * [taylor]: Taking taylor expansion of 1 in x
0.597 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
0.597 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
0.597 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.597 * [taylor]: Taking taylor expansion of 2 in a
0.597 * [taylor]: Taking taylor expansion of (* a x) in a
0.597 * [taylor]: Taking taylor expansion of a in a
0.597 * [taylor]: Taking taylor expansion of x in a
0.598 * [taylor]: Taking taylor expansion of 1 in a
0.598 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
0.598 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
0.598 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.598 * [taylor]: Taking taylor expansion of 2 in a
0.598 * [taylor]: Taking taylor expansion of (* a x) in a
0.598 * [taylor]: Taking taylor expansion of a in a
0.598 * [taylor]: Taking taylor expansion of x in a
0.598 * [taylor]: Taking taylor expansion of 1 in a
0.598 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
0.598 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
0.598 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.598 * [taylor]: Taking taylor expansion of 2 in x
0.598 * [taylor]: Taking taylor expansion of (* a x) in x
0.598 * [taylor]: Taking taylor expansion of a in x
0.598 * [taylor]: Taking taylor expansion of x in x
0.598 * [taylor]: Taking taylor expansion of 1 in x
0.598 * [taylor]: Taking taylor expansion of 0 in x
0.598 * [taylor]: Taking taylor expansion of 0 in x
0.598 * [taylor]: Taking taylor expansion of 0 in x
0.599 * * * * [progress]: [ 2 / 4 ] generating series at (2)
0.599 * [approximate]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1) (+ (exp (* a x)) 1)) in (a x) around 0
0.599 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1) (+ (exp (* a x)) 1)) in x
0.599 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in x
0.599 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in x
0.599 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
0.599 * [taylor]: Taking taylor expansion of 2 in x
0.599 * [taylor]: Taking taylor expansion of (* a x) in x
0.599 * [taylor]: Taking taylor expansion of a in x
0.599 * [taylor]: Taking taylor expansion of x in x
0.599 * [taylor]: Taking taylor expansion of 1 in x
0.599 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in x
0.599 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.599 * [taylor]: Taking taylor expansion of (* a x) in x
0.599 * [taylor]: Taking taylor expansion of a in x
0.599 * [taylor]: Taking taylor expansion of x in x
0.599 * [taylor]: Taking taylor expansion of 1 in x
0.600 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1) (+ (exp (* a x)) 1)) in a
0.600 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in a
0.600 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
0.600 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.600 * [taylor]: Taking taylor expansion of 2 in a
0.600 * [taylor]: Taking taylor expansion of (* a x) in a
0.600 * [taylor]: Taking taylor expansion of a in a
0.600 * [taylor]: Taking taylor expansion of x in a
0.600 * [taylor]: Taking taylor expansion of 1 in a
0.600 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.600 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.600 * [taylor]: Taking taylor expansion of (* a x) in a
0.600 * [taylor]: Taking taylor expansion of a in a
0.600 * [taylor]: Taking taylor expansion of x in a
0.600 * [taylor]: Taking taylor expansion of 1 in a
0.600 * [taylor]: Taking taylor expansion of (/ (- (exp (* 2 (* a x))) 1) (+ (exp (* a x)) 1)) in a
0.600 * [taylor]: Taking taylor expansion of (- (exp (* 2 (* a x))) 1) in a
0.600 * [taylor]: Taking taylor expansion of (exp (* 2 (* a x))) in a
0.600 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.600 * [taylor]: Taking taylor expansion of 2 in a
0.600 * [taylor]: Taking taylor expansion of (* a x) in a
0.600 * [taylor]: Taking taylor expansion of a in a
0.600 * [taylor]: Taking taylor expansion of x in a
0.600 * [taylor]: Taking taylor expansion of 1 in a
0.600 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.600 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.600 * [taylor]: Taking taylor expansion of (* a x) in a
0.600 * [taylor]: Taking taylor expansion of a in a
0.600 * [taylor]: Taking taylor expansion of x in a
0.600 * [taylor]: Taking taylor expansion of 1 in a
0.601 * [taylor]: Taking taylor expansion of x in x
0.601 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.601 * [taylor]: Taking taylor expansion of 1/2 in x
0.601 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.601 * [taylor]: Taking taylor expansion of x in x
0.602 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.602 * [taylor]: Taking taylor expansion of 1/6 in x
0.602 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.602 * [taylor]: Taking taylor expansion of x in x
0.604 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.604 * [taylor]: Taking taylor expansion of 1/24 in x
0.604 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.606 * [taylor]: Taking taylor expansion of (* 1/120 (pow x 5)) in x
0.606 * [taylor]: Taking taylor expansion of 1/120 in x
0.606 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.606 * [taylor]: Taking taylor expansion of x in x
0.606 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in (a x) around 0
0.606 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.607 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
0.607 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
0.607 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.607 * [taylor]: Taking taylor expansion of 2 in x
0.607 * [taylor]: Taking taylor expansion of (* a x) in x
0.607 * [taylor]: Taking taylor expansion of a in x
0.607 * [taylor]: Taking taylor expansion of x in x
0.607 * [taylor]: Taking taylor expansion of 1 in x
0.607 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.607 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.607 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.607 * [taylor]: Taking taylor expansion of (* a x) in x
0.607 * [taylor]: Taking taylor expansion of a in x
0.607 * [taylor]: Taking taylor expansion of x in x
0.607 * [taylor]: Taking taylor expansion of 1 in x
0.607 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.607 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
0.607 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
0.607 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.607 * [taylor]: Taking taylor expansion of 2 in a
0.607 * [taylor]: Taking taylor expansion of (* a x) in a
0.607 * [taylor]: Taking taylor expansion of a in a
0.607 * [taylor]: Taking taylor expansion of x in a
0.607 * [taylor]: Taking taylor expansion of 1 in a
0.607 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.607 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.607 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.607 * [taylor]: Taking taylor expansion of (* a x) in a
0.607 * [taylor]: Taking taylor expansion of a in a
0.607 * [taylor]: Taking taylor expansion of x in a
0.608 * [taylor]: Taking taylor expansion of 1 in a
0.608 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.608 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
0.608 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
0.608 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.608 * [taylor]: Taking taylor expansion of 2 in a
0.608 * [taylor]: Taking taylor expansion of (* a x) in a
0.608 * [taylor]: Taking taylor expansion of a in a
0.608 * [taylor]: Taking taylor expansion of x in a
0.608 * [taylor]: Taking taylor expansion of 1 in a
0.608 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.608 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.608 * [taylor]: Taking taylor expansion of (* a x) in a
0.608 * [taylor]: Taking taylor expansion of a in a
0.608 * [taylor]: Taking taylor expansion of x in a
0.608 * [taylor]: Taking taylor expansion of 1 in a
0.608 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.608 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
0.608 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
0.608 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.608 * [taylor]: Taking taylor expansion of 2 in x
0.609 * [taylor]: Taking taylor expansion of (* a x) in x
0.609 * [taylor]: Taking taylor expansion of a in x
0.609 * [taylor]: Taking taylor expansion of x in x
0.609 * [taylor]: Taking taylor expansion of 1 in x
0.609 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.609 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.609 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.609 * [taylor]: Taking taylor expansion of (* a x) in x
0.609 * [taylor]: Taking taylor expansion of a in x
0.609 * [taylor]: Taking taylor expansion of x in x
0.609 * [taylor]: Taking taylor expansion of 1 in x
0.609 * [taylor]: Taking taylor expansion of 0 in x
0.610 * [taylor]: Taking taylor expansion of 0 in x
0.611 * [taylor]: Taking taylor expansion of 0 in x
0.611 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in (a x) around 0
0.611 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.611 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
0.611 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
0.611 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.611 * [taylor]: Taking taylor expansion of 2 in x
0.611 * [taylor]: Taking taylor expansion of (* a x) in x
0.611 * [taylor]: Taking taylor expansion of a in x
0.611 * [taylor]: Taking taylor expansion of x in x
0.611 * [taylor]: Taking taylor expansion of 1 in x
0.611 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.611 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.611 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.611 * [taylor]: Taking taylor expansion of (* a x) in x
0.611 * [taylor]: Taking taylor expansion of a in x
0.611 * [taylor]: Taking taylor expansion of x in x
0.611 * [taylor]: Taking taylor expansion of 1 in x
0.612 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.612 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
0.612 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
0.612 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.612 * [taylor]: Taking taylor expansion of 2 in a
0.612 * [taylor]: Taking taylor expansion of (* a x) in a
0.612 * [taylor]: Taking taylor expansion of a in a
0.612 * [taylor]: Taking taylor expansion of x in a
0.612 * [taylor]: Taking taylor expansion of 1 in a
0.612 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.612 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.612 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.612 * [taylor]: Taking taylor expansion of (* a x) in a
0.612 * [taylor]: Taking taylor expansion of a in a
0.612 * [taylor]: Taking taylor expansion of x in a
0.612 * [taylor]: Taking taylor expansion of 1 in a
0.612 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in a
0.612 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in a
0.612 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in a
0.612 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.612 * [taylor]: Taking taylor expansion of 2 in a
0.612 * [taylor]: Taking taylor expansion of (* a x) in a
0.612 * [taylor]: Taking taylor expansion of a in a
0.612 * [taylor]: Taking taylor expansion of x in a
0.612 * [taylor]: Taking taylor expansion of 1 in a
0.613 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.613 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.613 * [taylor]: Taking taylor expansion of (* a x) in a
0.613 * [taylor]: Taking taylor expansion of a in a
0.613 * [taylor]: Taking taylor expansion of x in a
0.613 * [taylor]: Taking taylor expansion of 1 in a
0.613 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 2 (* a x))) 1) (+ (exp (/ 1 (* a x))) 1)) in x
0.613 * [taylor]: Taking taylor expansion of (- (exp (/ 2 (* a x))) 1) in x
0.613 * [taylor]: Taking taylor expansion of (exp (/ 2 (* a x))) in x
0.613 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.613 * [taylor]: Taking taylor expansion of 2 in x
0.613 * [taylor]: Taking taylor expansion of (* a x) in x
0.613 * [taylor]: Taking taylor expansion of a in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of 1 in x
0.613 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.613 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.613 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.613 * [taylor]: Taking taylor expansion of (* a x) in x
0.613 * [taylor]: Taking taylor expansion of a in x
0.613 * [taylor]: Taking taylor expansion of x in x
0.613 * [taylor]: Taking taylor expansion of 1 in x
0.614 * [taylor]: Taking taylor expansion of 0 in x
0.614 * [taylor]: Taking taylor expansion of 0 in x
0.615 * [taylor]: Taking taylor expansion of 0 in x
0.615 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.615 * [approximate]: Taking taylor expansion of (+ (exp (* a x)) 1) in (a x) around 0
0.615 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in x
0.615 * [taylor]: Taking taylor expansion of (exp (* a x)) in x
0.615 * [taylor]: Taking taylor expansion of (* a x) in x
0.615 * [taylor]: Taking taylor expansion of a in x
0.616 * [taylor]: Taking taylor expansion of x in x
0.616 * [taylor]: Taking taylor expansion of 1 in x
0.616 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.616 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.616 * [taylor]: Taking taylor expansion of (* a x) in a
0.616 * [taylor]: Taking taylor expansion of a in a
0.616 * [taylor]: Taking taylor expansion of x in a
0.616 * [taylor]: Taking taylor expansion of 1 in a
0.616 * [taylor]: Taking taylor expansion of (+ (exp (* a x)) 1) in a
0.616 * [taylor]: Taking taylor expansion of (exp (* a x)) in a
0.616 * [taylor]: Taking taylor expansion of (* a x) in a
0.616 * [taylor]: Taking taylor expansion of a in a
0.616 * [taylor]: Taking taylor expansion of x in a
0.616 * [taylor]: Taking taylor expansion of 1 in a
0.616 * [taylor]: Taking taylor expansion of 2 in x
0.616 * [taylor]: Taking taylor expansion of x in x
0.616 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x
0.616 * [taylor]: Taking taylor expansion of 1/2 in x
0.616 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.616 * [taylor]: Taking taylor expansion of x in x
0.617 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x
0.617 * [taylor]: Taking taylor expansion of 1/6 in x
0.617 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.617 * [taylor]: Taking taylor expansion of x in x
0.617 * [taylor]: Taking taylor expansion of (* 1/24 (pow x 4)) in x
0.617 * [taylor]: Taking taylor expansion of 1/24 in x
0.617 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.617 * [taylor]: Taking taylor expansion of x in x
0.618 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in (a x) around 0
0.618 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.618 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.618 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.618 * [taylor]: Taking taylor expansion of (* a x) in x
0.618 * [taylor]: Taking taylor expansion of a in x
0.618 * [taylor]: Taking taylor expansion of x in x
0.618 * [taylor]: Taking taylor expansion of 1 in x
0.618 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.618 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.618 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.618 * [taylor]: Taking taylor expansion of (* a x) in a
0.618 * [taylor]: Taking taylor expansion of a in a
0.618 * [taylor]: Taking taylor expansion of x in a
0.618 * [taylor]: Taking taylor expansion of 1 in a
0.618 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.618 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.618 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.618 * [taylor]: Taking taylor expansion of (* a x) in a
0.618 * [taylor]: Taking taylor expansion of a in a
0.618 * [taylor]: Taking taylor expansion of x in a
0.618 * [taylor]: Taking taylor expansion of 1 in a
0.619 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.619 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.619 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.619 * [taylor]: Taking taylor expansion of (* a x) in x
0.619 * [taylor]: Taking taylor expansion of a in x
0.619 * [taylor]: Taking taylor expansion of x in x
0.619 * [taylor]: Taking taylor expansion of 1 in x
0.619 * [taylor]: Taking taylor expansion of 0 in x
0.619 * [taylor]: Taking taylor expansion of 0 in x
0.619 * [taylor]: Taking taylor expansion of 0 in x
0.619 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in (a x) around 0
0.619 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.619 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.619 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.619 * [taylor]: Taking taylor expansion of (* a x) in x
0.619 * [taylor]: Taking taylor expansion of a in x
0.619 * [taylor]: Taking taylor expansion of x in x
0.619 * [taylor]: Taking taylor expansion of 1 in x
0.619 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.619 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.619 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.619 * [taylor]: Taking taylor expansion of (* a x) in a
0.620 * [taylor]: Taking taylor expansion of a in a
0.620 * [taylor]: Taking taylor expansion of x in a
0.620 * [taylor]: Taking taylor expansion of 1 in a
0.620 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in a
0.620 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in a
0.620 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.620 * [taylor]: Taking taylor expansion of (* a x) in a
0.620 * [taylor]: Taking taylor expansion of a in a
0.620 * [taylor]: Taking taylor expansion of x in a
0.620 * [taylor]: Taking taylor expansion of 1 in a
0.620 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 (* a x))) 1) in x
0.620 * [taylor]: Taking taylor expansion of (exp (/ 1 (* a x))) in x
0.620 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.620 * [taylor]: Taking taylor expansion of (* a x) in x
0.620 * [taylor]: Taking taylor expansion of a in x
0.620 * [taylor]: Taking taylor expansion of x in x
0.620 * [taylor]: Taking taylor expansion of 1 in x
0.620 * [taylor]: Taking taylor expansion of 0 in x
0.620 * [taylor]: Taking taylor expansion of 0 in x
0.620 * [taylor]: Taking taylor expansion of 0 in x
0.621 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.621 * [approximate]: Taking taylor expansion of (* 2 (* a x)) in (a x) around 0
0.621 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
0.621 * [taylor]: Taking taylor expansion of 2 in x
0.621 * [taylor]: Taking taylor expansion of (* a x) in x
0.621 * [taylor]: Taking taylor expansion of a in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.621 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.621 * [taylor]: Taking taylor expansion of 2 in a
0.621 * [taylor]: Taking taylor expansion of (* a x) in a
0.621 * [taylor]: Taking taylor expansion of a in a
0.621 * [taylor]: Taking taylor expansion of x in a
0.621 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.621 * [taylor]: Taking taylor expansion of 2 in a
0.621 * [taylor]: Taking taylor expansion of (* a x) in a
0.621 * [taylor]: Taking taylor expansion of a in a
0.621 * [taylor]: Taking taylor expansion of x in a
0.621 * [taylor]: Taking taylor expansion of 0 in x
0.621 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.621 * [taylor]: Taking taylor expansion of 2 in x
0.621 * [taylor]: Taking taylor expansion of x in x
0.621 * [taylor]: Taking taylor expansion of 0 in x
0.621 * [taylor]: Taking taylor expansion of 0 in x
0.622 * [taylor]: Taking taylor expansion of 0 in x
0.622 * [approximate]: Taking taylor expansion of (/ 2 (* a x)) in (a x) around 0
0.622 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.622 * [taylor]: Taking taylor expansion of 2 in x
0.622 * [taylor]: Taking taylor expansion of (* a x) in x
0.622 * [taylor]: Taking taylor expansion of a in x
0.622 * [taylor]: Taking taylor expansion of x in x
0.622 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.622 * [taylor]: Taking taylor expansion of 2 in a
0.622 * [taylor]: Taking taylor expansion of (* a x) in a
0.622 * [taylor]: Taking taylor expansion of a in a
0.622 * [taylor]: Taking taylor expansion of x in a
0.622 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.622 * [taylor]: Taking taylor expansion of 2 in a
0.622 * [taylor]: Taking taylor expansion of (* a x) in a
0.622 * [taylor]: Taking taylor expansion of a in a
0.622 * [taylor]: Taking taylor expansion of x in a
0.622 * [taylor]: Taking taylor expansion of (/ 2 x) in x
0.622 * [taylor]: Taking taylor expansion of 2 in x
0.622 * [taylor]: Taking taylor expansion of x in x
0.622 * [taylor]: Taking taylor expansion of 0 in x
0.622 * [taylor]: Taking taylor expansion of 0 in x
0.623 * [taylor]: Taking taylor expansion of 0 in x
0.623 * [approximate]: Taking taylor expansion of (/ 2 (* a x)) in (a x) around 0
0.623 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in x
0.623 * [taylor]: Taking taylor expansion of 2 in x
0.623 * [taylor]: Taking taylor expansion of (* a x) in x
0.623 * [taylor]: Taking taylor expansion of a in x
0.623 * [taylor]: Taking taylor expansion of x in x
0.623 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.623 * [taylor]: Taking taylor expansion of 2 in a
0.623 * [taylor]: Taking taylor expansion of (* a x) in a
0.623 * [taylor]: Taking taylor expansion of a in a
0.623 * [taylor]: Taking taylor expansion of x in a
0.623 * [taylor]: Taking taylor expansion of (/ 2 (* a x)) in a
0.623 * [taylor]: Taking taylor expansion of 2 in a
0.623 * [taylor]: Taking taylor expansion of (* a x) in a
0.623 * [taylor]: Taking taylor expansion of a in a
0.623 * [taylor]: Taking taylor expansion of x in a
0.623 * [taylor]: Taking taylor expansion of (/ 2 x) in x
0.623 * [taylor]: Taking taylor expansion of 2 in x
0.623 * [taylor]: Taking taylor expansion of x in x
0.624 * [taylor]: Taking taylor expansion of 0 in x
0.624 * [taylor]: Taking taylor expansion of 0 in x
0.624 * [taylor]: Taking taylor expansion of 0 in x
0.624 * * * [progress]: simplifying candidates
0.626 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) (exp.f64 -1))
  (log.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (exp.f64 (+.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))
  (*.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))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (sqrt.f64 (+.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)))
  (-.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 (exp.f64 (*.f64 a x)) 1)
  (-.f64 (exp.f64 (*.f64 a x)) 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 (*.f64 a x) 2)) -1)
  (-.f64 (log.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)) (log.f64 (+.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)))
  (exp.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)))
  (*.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 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)))
  (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)))
  (neg.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (neg.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)))
  (/.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))) 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 (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 (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)) 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 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 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 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 (+.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 (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) 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 (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 (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) 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 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 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 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 (+.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 (*.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 (*.f64 a x) 2)) -1) (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 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 a x)) 1) (cbrt.f64 (+.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) (+.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 (sqrt.f64 (exp.f64 (*.f64 (*.f64 a x) 2))) 1))
  (/.f64 (+.f64 (exp.f64 (*.f64 a x)) 1) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -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 (*.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 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 a x)) 1) (-.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (*.f64 (exp.f64 (exp.f64 (*.f64 a x))) (exp.f64 1))
  (log.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (exp.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)))
  (cbrt.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))
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 a x)) 1))
  (sqrt.f64 (+.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)))
  (-.f64 (*.f64 (exp.f64 (*.f64 a x)) (exp.f64 (*.f64 a x))) (*.f64 1 1))
  (-.f64 (exp.f64 (*.f64 a x)) 1)
  (+.f64 (exp.f64 (*.f64 a x)) 1)
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) 2)
  (+.f64 (+.f64 (log.f64 a) (log.f64 x)) (log.f64 2))
  (+.f64 (log.f64 (*.f64 a x)) (log.f64 2))
  (log.f64 (*.f64 (*.f64 a x) 2))
  (exp.f64 (*.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 2 2) 2))
  (*.f64 (*.f64 (*.f64 (*.f64 a x) (*.f64 a x)) (*.f64 a x)) (*.f64 (*.f64 2 2) 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) 2) (*.f64 (*.f64 a x) 2)) (*.f64 (*.f64 a x) 2))
  (sqrt.f64 (*.f64 (*.f64 a x) 2))
  (sqrt.f64 (*.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 a x) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (*.f64 (*.f64 a x) (sqrt.f64 2))
  (*.f64 (*.f64 a x) 1)
  (*.f64 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))
0.687 * * [simplify]: iteration  0 :  5435  enodes  (cost  2182 )
0.699 * [simplify]: Simplified to:
   (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 (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))
  (pow.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) 3)
  (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1))
  (sqrt.f64 (+.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))
  (+.f64 -1 (pow.f64 (exp.f64 (*.f64 a x)) 4))
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)
  (+.f64 1 (exp.f64 (*.f64 a x)))
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  (+.f64 1 (fabs.f64 (exp.f64 (*.f64 a x))))
  (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x))))
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (log.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))))
  (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)
  (sqrt.f64 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (sqrt.f64 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (-.f64 1 (exp.f64 (*.f64 (*.f64 a x) 2)))
  (-.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 (*.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 (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 (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 (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)))))
  (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 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 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)))))
  1
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  1
  (+.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)))))
  (/.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 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 (fabs.f64 (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 (fabs.f64 (exp.f64 (*.f64 a x)))) (cbrt.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 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (+.f64 1 (fabs.f64 (exp.f64 (*.f64 a x))))
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (+.f64 1 (exp.f64 (*.f64 a x))))
  (+.f64 1 (fabs.f64 (exp.f64 (*.f64 a x))))
  (/.f64 (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))) (+.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 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)))))
  1
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  1
  (+.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))))
  (/.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 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x)))))
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (+.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 (+.f64 1 (exp.f64 (*.f64 a x))) (sqrt.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)))
  (/.f64 1 (+.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))) (+.f64 -1 (fabs.f64 (exp.f64 (*.f64 a x)))))
  (/.f64 1 (+.f64 -1 (exp.f64 (*.f64 a x))))
  (/.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1) (+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 3)))
  1
  (*.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)) (+.f64 1 (exp.f64 (*.f64 a x))))
  (*.f64 (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1) (+.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 (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)
  (sqrt.f64 (+.f64 1 (exp.f64 (*.f64 a x))))
  (sqrt.f64 (+.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))))
  (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) -1)
  (+.f64 -1 (exp.f64 (*.f64 a x)))
  (+.f64 1 (exp.f64 (*.f64 a x)))
  (*.f64 (*.f64 a x) 2)
  (*.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))
  (exp.f64 (*.f64 (*.f64 a x) 2))
  (*.f64 (pow.f64 (*.f64 a x) 3) 8)
  (*.f64 (pow.f64 (*.f64 a x) 3) 8)
  (*.f64 (cbrt.f64 (*.f64 (*.f64 a x) 2)) (cbrt.f64 (*.f64 (*.f64 a x) 2)))
  (cbrt.f64 (*.f64 (*.f64 a x) 2))
  (*.f64 (pow.f64 (*.f64 a x) 3) 8)
  (sqrt.f64 (*.f64 (*.f64 a x) 2))
  (sqrt.f64 (*.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 a x) (*.f64 (cbrt.f64 2) (cbrt.f64 2)))
  (*.f64 (*.f64 a x) (sqrt.f64 2))
  (*.f64 a x)
  (+.f64 x x)
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 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)
0.700 * * * [progress]: adding candidates to table
0.774 * * [progress]: iteration 4 / 4
0.774 * * * [progress]: picking best candidate
0.780 * * * * [pick]: Picked  #<alt (λ (a x) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))) (+.f64 (exp.f64 (*.f64 a x)) 1)))>
0.780 * * * [progress]: localizing error
0.795 * * * [progress]: generating rewritten candidates
0.796 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.803 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
0.807 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.813 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.826 * * * [progress]: generating series expansions
0.826 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.826 * [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
0.826 * [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
0.826 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow x 2))) in x
0.826 * [taylor]: Taking taylor expansion of 2 in x
0.826 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.826 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.826 * [taylor]: Taking taylor expansion of a in x
0.826 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.826 * [taylor]: Taking taylor expansion of (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x))) in x
0.826 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in x
0.826 * [taylor]: Taking taylor expansion of 4/3 in x
0.826 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.826 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.826 * [taylor]: Taking taylor expansion of a in x
0.826 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.826 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
0.826 * [taylor]: Taking taylor expansion of 2 in x
0.826 * [taylor]: Taking taylor expansion of (* a x) in x
0.826 * [taylor]: Taking taylor expansion of a in x
0.826 * [taylor]: Taking taylor expansion of x in x
0.826 * [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
0.826 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow x 2))) in a
0.826 * [taylor]: Taking taylor expansion of 2 in a
0.826 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.826 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.826 * [taylor]: Taking taylor expansion of a in a
0.826 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.826 * [taylor]: Taking taylor expansion of x in a
0.826 * [taylor]: Taking taylor expansion of (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x))) in a
0.827 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in a
0.827 * [taylor]: Taking taylor expansion of 4/3 in a
0.827 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.827 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.827 * [taylor]: Taking taylor expansion of a in a
0.827 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.827 * [taylor]: Taking taylor expansion of x in a
0.827 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.827 * [taylor]: Taking taylor expansion of 2 in a
0.827 * [taylor]: Taking taylor expansion of (* a x) in a
0.827 * [taylor]: Taking taylor expansion of a in a
0.827 * [taylor]: Taking taylor expansion of x in a
0.827 * [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
0.827 * [taylor]: Taking taylor expansion of (* 2 (* (pow a 2) (pow x 2))) in a
0.827 * [taylor]: Taking taylor expansion of 2 in a
0.827 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.827 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.827 * [taylor]: Taking taylor expansion of a in a
0.827 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.827 * [taylor]: Taking taylor expansion of x in a
0.827 * [taylor]: Taking taylor expansion of (+ (* 4/3 (* (pow a 3) (pow x 3))) (* 2 (* a x))) in a
0.827 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in a
0.827 * [taylor]: Taking taylor expansion of 4/3 in a
0.827 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.827 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.827 * [taylor]: Taking taylor expansion of a in a
0.827 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.827 * [taylor]: Taking taylor expansion of x in a
0.827 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.827 * [taylor]: Taking taylor expansion of 2 in a
0.827 * [taylor]: Taking taylor expansion of (* a x) in a
0.827 * [taylor]: Taking taylor expansion of a in a
0.827 * [taylor]: Taking taylor expansion of x in a
0.827 * [taylor]: Taking taylor expansion of 0 in x
0.827 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.827 * [taylor]: Taking taylor expansion of 2 in x
0.827 * [taylor]: Taking taylor expansion of x in x
0.828 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
0.828 * [taylor]: Taking taylor expansion of 2 in x
0.828 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.828 * [taylor]: Taking taylor expansion of x in x
0.828 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
0.828 * [taylor]: Taking taylor expansion of 4/3 in x
0.828 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.828 * [taylor]: Taking taylor expansion of x in x
0.829 * [taylor]: Taking taylor expansion of 0 in x
0.830 * [taylor]: Taking taylor expansion of 0 in x
0.831 * [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
0.831 * [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
0.831 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in x
0.831 * [taylor]: Taking taylor expansion of 2 in x
0.831 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.831 * [taylor]: Taking taylor expansion of (* a x) in x
0.831 * [taylor]: Taking taylor expansion of a in x
0.831 * [taylor]: Taking taylor expansion of x in x
0.831 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in x
0.831 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in x
0.831 * [taylor]: Taking taylor expansion of 4/3 in x
0.831 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
0.831 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.831 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.831 * [taylor]: Taking taylor expansion of a in x
0.831 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.831 * [taylor]: Taking taylor expansion of x in x
0.831 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in x
0.831 * [taylor]: Taking taylor expansion of 2 in x
0.831 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.831 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.831 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.831 * [taylor]: Taking taylor expansion of a in x
0.831 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.831 * [taylor]: Taking taylor expansion of x in x
0.831 * [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
0.832 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
0.832 * [taylor]: Taking taylor expansion of 2 in a
0.832 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.832 * [taylor]: Taking taylor expansion of (* a x) in a
0.832 * [taylor]: Taking taylor expansion of a in a
0.832 * [taylor]: Taking taylor expansion of x in a
0.832 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in a
0.832 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.832 * [taylor]: Taking taylor expansion of 4/3 in a
0.832 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.832 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.832 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.832 * [taylor]: Taking taylor expansion of a in a
0.832 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.832 * [taylor]: Taking taylor expansion of x in a
0.832 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.832 * [taylor]: Taking taylor expansion of 2 in a
0.832 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.832 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.832 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.832 * [taylor]: Taking taylor expansion of a in a
0.832 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.832 * [taylor]: Taking taylor expansion of x in a
0.832 * [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
0.832 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
0.832 * [taylor]: Taking taylor expansion of 2 in a
0.832 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.832 * [taylor]: Taking taylor expansion of (* a x) in a
0.832 * [taylor]: Taking taylor expansion of a in a
0.832 * [taylor]: Taking taylor expansion of x in a
0.832 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in a
0.832 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.833 * [taylor]: Taking taylor expansion of 4/3 in a
0.833 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.833 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.833 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.833 * [taylor]: Taking taylor expansion of a in a
0.833 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.833 * [taylor]: Taking taylor expansion of x in a
0.833 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.833 * [taylor]: Taking taylor expansion of 2 in a
0.833 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.833 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.833 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.833 * [taylor]: Taking taylor expansion of a in a
0.833 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.833 * [taylor]: Taking taylor expansion of x in a
0.833 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (pow x 3))) in x
0.833 * [taylor]: Taking taylor expansion of 4/3 in x
0.833 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.833 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.833 * [taylor]: Taking taylor expansion of x in x
0.834 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
0.834 * [taylor]: Taking taylor expansion of 2 in x
0.834 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.834 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.834 * [taylor]: Taking taylor expansion of x in x
0.835 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.835 * [taylor]: Taking taylor expansion of 2 in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.837 * [taylor]: Taking taylor expansion of 0 in x
0.839 * [taylor]: Taking taylor expansion of 0 in x
0.839 * [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
0.840 * [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
0.840 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in x
0.840 * [taylor]: Taking taylor expansion of 2 in x
0.840 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.840 * [taylor]: Taking taylor expansion of (* a x) in x
0.840 * [taylor]: Taking taylor expansion of a in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in x
0.840 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in x
0.840 * [taylor]: Taking taylor expansion of 4/3 in x
0.840 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in x
0.840 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.840 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.840 * [taylor]: Taking taylor expansion of a in x
0.840 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in x
0.840 * [taylor]: Taking taylor expansion of 2 in x
0.840 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in x
0.840 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in x
0.840 * [taylor]: Taking taylor expansion of (pow a 2) in x
0.840 * [taylor]: Taking taylor expansion of a in x
0.840 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [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
0.840 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
0.840 * [taylor]: Taking taylor expansion of 2 in a
0.840 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.840 * [taylor]: Taking taylor expansion of (* a x) in a
0.840 * [taylor]: Taking taylor expansion of a in a
0.840 * [taylor]: Taking taylor expansion of x in a
0.841 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in a
0.841 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.841 * [taylor]: Taking taylor expansion of 4/3 in a
0.841 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.841 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.841 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.841 * [taylor]: Taking taylor expansion of a in a
0.841 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.841 * [taylor]: Taking taylor expansion of x in a
0.841 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.841 * [taylor]: Taking taylor expansion of 2 in a
0.841 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.841 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.841 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.841 * [taylor]: Taking taylor expansion of a in a
0.841 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.841 * [taylor]: Taking taylor expansion of x in a
0.841 * [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
0.841 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
0.841 * [taylor]: Taking taylor expansion of 2 in a
0.841 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.841 * [taylor]: Taking taylor expansion of (* a x) in a
0.841 * [taylor]: Taking taylor expansion of a in a
0.841 * [taylor]: Taking taylor expansion of x in a
0.841 * [taylor]: Taking taylor expansion of (+ (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) (* 2 (/ 1 (* (pow a 2) (pow x 2))))) in a
0.841 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (* (pow a 3) (pow x 3)))) in a
0.841 * [taylor]: Taking taylor expansion of 4/3 in a
0.841 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 3) (pow x 3))) in a
0.841 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.841 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.841 * [taylor]: Taking taylor expansion of a in a
0.841 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.841 * [taylor]: Taking taylor expansion of x in a
0.842 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* (pow a 2) (pow x 2)))) in a
0.842 * [taylor]: Taking taylor expansion of 2 in a
0.842 * [taylor]: Taking taylor expansion of (/ 1 (* (pow a 2) (pow x 2))) in a
0.842 * [taylor]: Taking taylor expansion of (* (pow a 2) (pow x 2)) in a
0.842 * [taylor]: Taking taylor expansion of (pow a 2) in a
0.842 * [taylor]: Taking taylor expansion of a in a
0.842 * [taylor]: Taking taylor expansion of (pow x 2) in a
0.842 * [taylor]: Taking taylor expansion of x in a
0.842 * [taylor]: Taking taylor expansion of (* 4/3 (/ 1 (pow x 3))) in x
0.842 * [taylor]: Taking taylor expansion of 4/3 in x
0.842 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.842 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.842 * [taylor]: Taking taylor expansion of x in x
0.843 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
0.843 * [taylor]: Taking taylor expansion of 2 in x
0.843 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.843 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.844 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.844 * [taylor]: Taking taylor expansion of 2 in x
0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.844 * [taylor]: Taking taylor expansion of x in x
0.845 * [taylor]: Taking taylor expansion of 0 in x
0.847 * [taylor]: Taking taylor expansion of 0 in x
0.848 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
0.848 * [approximate]: Taking taylor expansion of (pow (* a x) 3) in (a x) around 0
0.848 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in x
0.848 * [taylor]: Taking taylor expansion of (* a x) in x
0.848 * [taylor]: Taking taylor expansion of a in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.848 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
0.848 * [taylor]: Taking taylor expansion of (* a x) in a
0.848 * [taylor]: Taking taylor expansion of a in a
0.848 * [taylor]: Taking taylor expansion of x in a
0.848 * [taylor]: Taking taylor expansion of (pow (* a x) 3) in a
0.848 * [taylor]: Taking taylor expansion of (* a x) in a
0.848 * [taylor]: Taking taylor expansion of a in a
0.848 * [taylor]: Taking taylor expansion of x in a
0.848 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.848 * [taylor]: Taking taylor expansion of x in x
0.849 * [taylor]: Taking taylor expansion of 0 in x
0.849 * [taylor]: Taking taylor expansion of 0 in x
0.849 * [taylor]: Taking taylor expansion of 0 in x
0.849 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (a x) around 0
0.850 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
0.850 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.850 * [taylor]: Taking taylor expansion of (* a x) in x
0.850 * [taylor]: Taking taylor expansion of a in x
0.850 * [taylor]: Taking taylor expansion of x in x
0.850 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
0.850 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.850 * [taylor]: Taking taylor expansion of (* a x) in a
0.850 * [taylor]: Taking taylor expansion of a in a
0.850 * [taylor]: Taking taylor expansion of x in a
0.850 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
0.850 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.850 * [taylor]: Taking taylor expansion of (* a x) in a
0.850 * [taylor]: Taking taylor expansion of a in a
0.850 * [taylor]: Taking taylor expansion of x in a
0.850 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.850 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.850 * [taylor]: Taking taylor expansion of x in x
0.850 * [taylor]: Taking taylor expansion of 0 in x
0.851 * [taylor]: Taking taylor expansion of 0 in x
0.851 * [taylor]: Taking taylor expansion of 0 in x
0.852 * [taylor]: Taking taylor expansion of 0 in x
0.853 * [taylor]: Taking taylor expansion of 0 in x
0.853 * [approximate]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in (a x) around 0
0.853 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.853 * [taylor]: Taking taylor expansion of (* a x) in x
0.853 * [taylor]: Taking taylor expansion of a in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.853 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
0.853 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.853 * [taylor]: Taking taylor expansion of (* a x) in a
0.853 * [taylor]: Taking taylor expansion of a in a
0.853 * [taylor]: Taking taylor expansion of x in a
0.853 * [taylor]: Taking taylor expansion of (pow (/ 1 (* a x)) 3) in a
0.853 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.853 * [taylor]: Taking taylor expansion of (* a x) in a
0.853 * [taylor]: Taking taylor expansion of a in a
0.853 * [taylor]: Taking taylor expansion of x in a
0.853 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.853 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.854 * [taylor]: Taking taylor expansion of 0 in x
0.854 * [taylor]: Taking taylor expansion of 0 in x
0.855 * [taylor]: Taking taylor expansion of 0 in x
0.855 * [taylor]: Taking taylor expansion of 0 in x
0.856 * [taylor]: Taking taylor expansion of 0 in x
0.856 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.856 * [approximate]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in (a x) around 0
0.856 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in x
0.856 * [taylor]: Taking taylor expansion of 4/3 in x
0.856 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.856 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.856 * [taylor]: Taking taylor expansion of a in x
0.856 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.856 * [taylor]: Taking taylor expansion of x in x
0.856 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in a
0.856 * [taylor]: Taking taylor expansion of 4/3 in a
0.856 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.856 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.856 * [taylor]: Taking taylor expansion of a in a
0.856 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.856 * [taylor]: Taking taylor expansion of x in a
0.856 * [taylor]: Taking taylor expansion of (* 4/3 (* (pow a 3) (pow x 3))) in a
0.856 * [taylor]: Taking taylor expansion of 4/3 in a
0.856 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.856 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.856 * [taylor]: Taking taylor expansion of a in a
0.856 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.856 * [taylor]: Taking taylor expansion of x in a
0.857 * [taylor]: Taking taylor expansion of (* 4/3 (pow x 3)) in x
0.857 * [taylor]: Taking taylor expansion of 4/3 in x
0.857 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.857 * [taylor]: Taking taylor expansion of x in x
0.857 * [taylor]: Taking taylor expansion of 0 in x
0.858 * [taylor]: Taking taylor expansion of 0 in x
0.858 * [taylor]: Taking taylor expansion of 0 in x
0.858 * [approximate]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in (a x) around 0
0.858 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in x
0.858 * [taylor]: Taking taylor expansion of 4/3 in x
0.858 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.858 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.858 * [taylor]: Taking taylor expansion of a in x
0.858 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.858 * [taylor]: Taking taylor expansion of x in x
0.859 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in a
0.859 * [taylor]: Taking taylor expansion of 4/3 in a
0.859 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.859 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.859 * [taylor]: Taking taylor expansion of a in a
0.859 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.859 * [taylor]: Taking taylor expansion of x in a
0.859 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in a
0.859 * [taylor]: Taking taylor expansion of 4/3 in a
0.859 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.859 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.859 * [taylor]: Taking taylor expansion of a in a
0.859 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.859 * [taylor]: Taking taylor expansion of x in a
0.859 * [taylor]: Taking taylor expansion of (/ 4/3 (pow x 3)) in x
0.859 * [taylor]: Taking taylor expansion of 4/3 in x
0.859 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.859 * [taylor]: Taking taylor expansion of x in x
0.860 * [taylor]: Taking taylor expansion of 0 in x
0.860 * [taylor]: Taking taylor expansion of 0 in x
0.861 * [taylor]: Taking taylor expansion of 0 in x
0.862 * [taylor]: Taking taylor expansion of 0 in x
0.863 * [taylor]: Taking taylor expansion of 0 in x
0.863 * [approximate]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in (a x) around 0
0.863 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in x
0.863 * [taylor]: Taking taylor expansion of 4/3 in x
0.863 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in x
0.863 * [taylor]: Taking taylor expansion of (pow a 3) in x
0.863 * [taylor]: Taking taylor expansion of a in x
0.863 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.863 * [taylor]: Taking taylor expansion of x in x
0.864 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in a
0.864 * [taylor]: Taking taylor expansion of 4/3 in a
0.864 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.864 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.864 * [taylor]: Taking taylor expansion of a in a
0.864 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.864 * [taylor]: Taking taylor expansion of x in a
0.864 * [taylor]: Taking taylor expansion of (/ 4/3 (* (pow a 3) (pow x 3))) in a
0.864 * [taylor]: Taking taylor expansion of 4/3 in a
0.864 * [taylor]: Taking taylor expansion of (* (pow a 3) (pow x 3)) in a
0.864 * [taylor]: Taking taylor expansion of (pow a 3) in a
0.864 * [taylor]: Taking taylor expansion of a in a
0.864 * [taylor]: Taking taylor expansion of (pow x 3) in a
0.864 * [taylor]: Taking taylor expansion of x in a
0.864 * [taylor]: Taking taylor expansion of (/ 4/3 (pow x 3)) in x
0.864 * [taylor]: Taking taylor expansion of 4/3 in x
0.864 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.864 * [taylor]: Taking taylor expansion of x in x
0.865 * [taylor]: Taking taylor expansion of 0 in x
0.865 * [taylor]: Taking taylor expansion of 0 in x
0.866 * [taylor]: Taking taylor expansion of 0 in x
0.867 * [taylor]: Taking taylor expansion of 0 in x
0.868 * [taylor]: Taking taylor expansion of 0 in x
0.869 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
0.869 * [approximate]: Taking taylor expansion of (* (+ (* 2 (* a x)) 2) (* a x)) in (a x) around 0
0.869 * [taylor]: Taking taylor expansion of (* (+ (* 2 (* a x)) 2) (* a x)) in x
0.869 * [taylor]: Taking taylor expansion of (+ (* 2 (* a x)) 2) in x
0.869 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in x
0.869 * [taylor]: Taking taylor expansion of 2 in x
0.869 * [taylor]: Taking taylor expansion of (* a x) in x
0.869 * [taylor]: Taking taylor expansion of a in x
0.869 * [taylor]: Taking taylor expansion of x in x
0.869 * [taylor]: Taking taylor expansion of 2 in x
0.869 * [taylor]: Taking taylor expansion of (* a x) in x
0.869 * [taylor]: Taking taylor expansion of a in x
0.869 * [taylor]: Taking taylor expansion of x in x
0.869 * [taylor]: Taking taylor expansion of (* (+ (* 2 (* a x)) 2) (* a x)) in a
0.869 * [taylor]: Taking taylor expansion of (+ (* 2 (* a x)) 2) in a
0.869 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.869 * [taylor]: Taking taylor expansion of 2 in a
0.869 * [taylor]: Taking taylor expansion of (* a x) in a
0.869 * [taylor]: Taking taylor expansion of a in a
0.869 * [taylor]: Taking taylor expansion of x in a
0.869 * [taylor]: Taking taylor expansion of 2 in a
0.869 * [taylor]: Taking taylor expansion of (* a x) in a
0.869 * [taylor]: Taking taylor expansion of a in a
0.869 * [taylor]: Taking taylor expansion of x in a
0.869 * [taylor]: Taking taylor expansion of (* (+ (* 2 (* a x)) 2) (* a x)) in a
0.869 * [taylor]: Taking taylor expansion of (+ (* 2 (* a x)) 2) in a
0.869 * [taylor]: Taking taylor expansion of (* 2 (* a x)) in a
0.869 * [taylor]: Taking taylor expansion of 2 in a
0.869 * [taylor]: Taking taylor expansion of (* a x) in a
0.869 * [taylor]: Taking taylor expansion of a in a
0.869 * [taylor]: Taking taylor expansion of x in a
0.869 * [taylor]: Taking taylor expansion of 2 in a
0.869 * [taylor]: Taking taylor expansion of (* a x) in a
0.869 * [taylor]: Taking taylor expansion of a in a
0.869 * [taylor]: Taking taylor expansion of x in a
0.869 * [taylor]: Taking taylor expansion of 0 in x
0.869 * [taylor]: Taking taylor expansion of (* 2 x) in x
0.870 * [taylor]: Taking taylor expansion of 2 in x
0.870 * [taylor]: Taking taylor expansion of x in x
0.870 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
0.870 * [taylor]: Taking taylor expansion of 2 in x
0.870 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.870 * [taylor]: Taking taylor expansion of x in x
0.870 * [taylor]: Taking taylor expansion of 0 in x
0.870 * [taylor]: Taking taylor expansion of 0 in x
0.871 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in (a x) around 0
0.871 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in x
0.871 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in x
0.871 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in x
0.871 * [taylor]: Taking taylor expansion of 2 in x
0.871 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.871 * [taylor]: Taking taylor expansion of (* a x) in x
0.871 * [taylor]: Taking taylor expansion of a in x
0.871 * [taylor]: Taking taylor expansion of x in x
0.871 * [taylor]: Taking taylor expansion of 2 in x
0.871 * [taylor]: Taking taylor expansion of (* a x) in x
0.871 * [taylor]: Taking taylor expansion of a in x
0.871 * [taylor]: Taking taylor expansion of x in x
0.871 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in a
0.871 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in a
0.871 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
0.871 * [taylor]: Taking taylor expansion of 2 in a
0.871 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.871 * [taylor]: Taking taylor expansion of (* a x) in a
0.871 * [taylor]: Taking taylor expansion of a in a
0.871 * [taylor]: Taking taylor expansion of x in a
0.871 * [taylor]: Taking taylor expansion of 2 in a
0.871 * [taylor]: Taking taylor expansion of (* a x) in a
0.871 * [taylor]: Taking taylor expansion of a in a
0.871 * [taylor]: Taking taylor expansion of x in a
0.871 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in a
0.871 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in a
0.871 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
0.871 * [taylor]: Taking taylor expansion of 2 in a
0.871 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.872 * [taylor]: Taking taylor expansion of (* a x) in a
0.872 * [taylor]: Taking taylor expansion of a in a
0.872 * [taylor]: Taking taylor expansion of x in a
0.872 * [taylor]: Taking taylor expansion of 2 in a
0.872 * [taylor]: Taking taylor expansion of (* a x) in a
0.872 * [taylor]: Taking taylor expansion of a in a
0.872 * [taylor]: Taking taylor expansion of x in a
0.872 * [taylor]: Taking taylor expansion of (/ 2 (pow x 2)) in x
0.872 * [taylor]: Taking taylor expansion of 2 in x
0.872 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.872 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.872 * [taylor]: Taking taylor expansion of 2 in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.873 * [taylor]: Taking taylor expansion of 0 in x
0.873 * [taylor]: Taking taylor expansion of 0 in x
0.874 * [taylor]: Taking taylor expansion of 0 in x
0.875 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in (a x) around 0
0.875 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in x
0.875 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in x
0.875 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in x
0.875 * [taylor]: Taking taylor expansion of 2 in x
0.875 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in x
0.875 * [taylor]: Taking taylor expansion of (* a x) in x
0.875 * [taylor]: Taking taylor expansion of a in x
0.875 * [taylor]: Taking taylor expansion of x in x
0.875 * [taylor]: Taking taylor expansion of 2 in x
0.875 * [taylor]: Taking taylor expansion of (* a x) in x
0.875 * [taylor]: Taking taylor expansion of a in x
0.875 * [taylor]: Taking taylor expansion of x in x
0.875 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in a
0.875 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in a
0.875 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
0.875 * [taylor]: Taking taylor expansion of 2 in a
0.875 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.875 * [taylor]: Taking taylor expansion of (* a x) in a
0.875 * [taylor]: Taking taylor expansion of a in a
0.875 * [taylor]: Taking taylor expansion of x in a
0.875 * [taylor]: Taking taylor expansion of 2 in a
0.875 * [taylor]: Taking taylor expansion of (* a x) in a
0.875 * [taylor]: Taking taylor expansion of a in a
0.875 * [taylor]: Taking taylor expansion of x in a
0.875 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 (* a x))) 2) (* a x)) in a
0.875 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* a x))) 2) in a
0.875 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* a x))) in a
0.875 * [taylor]: Taking taylor expansion of 2 in a
0.875 * [taylor]: Taking taylor expansion of (/ 1 (* a x)) in a
0.875 * [taylor]: Taking taylor expansion of (* a x) in a
0.875 * [taylor]: Taking taylor expansion of a in a
0.875 * [taylor]: Taking taylor expansion of x in a
0.876 * [taylor]: Taking taylor expansion of 2 in a
0.876 * [taylor]: Taking taylor expansion of (* a x) in a
0.876 * [taylor]: Taking taylor expansion of a in a
0.876 * [taylor]: Taking taylor expansion of x in a
0.876 * [taylor]: Taking taylor expansion of (/ 2 (pow x 2)) in x
0.876 * [taylor]: Taking taylor expansion of 2 in x
0.876 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.876 * [taylor]: Taking taylor expansion of x in x
0.876 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
0.876 * [taylor]: Taking taylor expansion of 2 in x
0.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.876 * [taylor]: Taking taylor expansion of x in x
0.877 * [taylor]: Taking taylor expansion of 0 in x
0.877 * [taylor]: Taking taylor expansion of 0 in x
0.878 * [taylor]: Taking taylor expansion of 0 in x
0.878 * * * [progress]: simplifying candidates
0.880 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)) (exp.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (log.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (exp.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))) (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))))
  (cbrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (*.f64 (*.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (sqrt.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (+.f64 (pow.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) 3) (pow.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 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 (*.f64 (*.f64 a x) 2) 2)) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))) (*.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 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 (*.f64 (*.f64 a x) 2) 2)) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (-.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (*.f64 (*.f64 a x) 2)))
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x)))
  (*.f64 (+.f64 (log.f64 a) (log.f64 x)) 3)
  (*.f64 (log.f64 (*.f64 a x)) 3)
  (*.f64 (log.f64 (*.f64 a x)) 3)
  (*.f64 1 3)
  (*.f64 1 3)
  (pow.f64 (*.f64 a x) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (*.f64 a x) (sqrt.f64 3))
  (pow.f64 (*.f64 a x) 1)
  (pow.f64 a 3)
  (pow.f64 x 3)
  (*.f64 (*.f64 a x) (*.f64 a x))
  (log.f64 (pow.f64 (*.f64 a x) 3))
  (exp.f64 (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))
  (*.f64 (*.f64 (pow.f64 (*.f64 a x) 3) (pow.f64 (*.f64 a x) 3)) (pow.f64 (*.f64 a x) 3))
  (pow.f64 a 3)
  (pow.f64 x 3)
  (*.f64 (*.f64 a x) (*.f64 a x))
  (sqrt.f64 (pow.f64 (*.f64 a x) 3))
  (sqrt.f64 (pow.f64 (*.f64 a x) 3))
  (pow.f64 (*.f64 a x) (/.f64 3 2))
  (pow.f64 (*.f64 a x) (/.f64 3 2))
  (+.f64 (*.f64 (+.f64 (log.f64 a) (log.f64 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 (log.f64 (pow.f64 (*.f64 a x) 3)) (log.f64 4/3))
  (log.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (exp.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))
  (*.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) 4/3) (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)) (*.f64 (pow.f64 (*.f64 a x) 3) 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 (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))
  (*.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 (pow.f64 (*.f64 a x) 3) (*.f64 (cbrt.f64 4/3) (cbrt.f64 4/3)))
  (*.f64 (pow.f64 (*.f64 a x) 3) (sqrt.f64 4/3))
  (*.f64 (pow.f64 (*.f64 a x) 3) 1)
  (*.f64 (pow.f64 x 3) 4/3)
  (*.f64 (*.f64 a x) 4/3)
  (*.f64 (cbrt.f64 (pow.f64 (*.f64 a x) 3)) 4/3)
  (*.f64 (pow.f64 x 3) 4/3)
  (*.f64 (*.f64 (*.f64 a x) (*.f64 a x)) 4/3)
  (*.f64 (sqrt.f64 (pow.f64 (*.f64 a x) 3)) 4/3)
  (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)
  (*.f64 (pow.f64 (*.f64 a x) (/.f64 3 2)) 4/3)
  (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))
  (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))
  (+.f64 (+.f64 (log.f64 a) (log.f64 x)) (log.f64 (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (+.f64 (log.f64 (*.f64 a x)) (log.f64 (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (log.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (exp.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 x x) x)) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 a x) 2) 2) (+.f64 (*.f64 (*.f64 a x) 2) 2)) (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (*.f64 (*.f64 (*.f64 (*.f64 a x) (*.f64 a x)) (*.f64 a x)) (*.f64 (*.f64 (+.f64 (*.f64 (*.f64 a x) 2) 2) (+.f64 (*.f64 (*.f64 a x) 2) 2)) (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (*.f64 (cbrt.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))) (cbrt.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (cbrt.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (*.f64 (*.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2))) (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (sqrt.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (sqrt.f64 (*.f64 (*.f64 a x) (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (*.f64 (*.f64 a x) (*.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 a x))
  (*.f64 2 (*.f64 a x))
  (*.f64 (*.f64 a x) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 a x) 2) 2)) (cbrt.f64 (+.f64 (*.f64 (*.f64 a x) 2) 2))))
  (*.f64 (*.f64 a x) (sqrt.f64 (+.f64 (*.f64 (*.f64 a x) 2) 2)))
  (*.f64 (*.f64 a x) 1)
  (*.f64 (*.f64 a x) 2)
  (*.f64 (*.f64 a x) (+.f64 (*.f64 a x) 1))
  (*.f64 x (+.f64 (*.f64 (*.f64 a x) 2) 2))
  (*.f64 (*.f64 a x) (+.f64 (pow.f64 (*.f64 (*.f64 a x) 2) 3) (pow.f64 2 3)))
  (*.f64 (*.f64 a x) (-.f64 (*.f64 (*.f64 (*.f64 a x) 2) (*.f64 (*.f64 a x) 2)) (*.f64 2 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)))
0.952 * * [simplify]: iteration  0 :  5188  enodes  (cost  1523 )
0.959 * [simplify]: Simplified to:
   (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)))))
  (*.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)))))
  (pow.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))) 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)))))
  (+.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 (+.f64 2 (*.f64 (*.f64 a x) 2)) (+.f64 (*.f64 (+.f64 2 (*.f64 (*.f64 a x) 2)) (pow.f64 (*.f64 a x) 2)) (*.f64 -4/3 (pow.f64 (*.f64 a x) 4)))))
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 6) 16/9) (*.f64 (pow.f64 (*.f64 a x) 2) (*.f64 (*.f64 (+.f64 (*.f64 a x) 1) (+.f64 (*.f64 a x) 1)) -4)))
  (-.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 2 (pow.f64 (*.f64 a x) 2)))
  (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 2 (pow.f64 (*.f64 a x) 2)))
  (*.f64 3 (log.f64 (*.f64 a x)))
  (*.f64 3 (log.f64 (*.f64 a x)))
  (*.f64 3 (log.f64 (*.f64 a x)))
  3
  3
  (pow.f64 (*.f64 a x) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (*.f64 a x) (sqrt.f64 3))
  (*.f64 a x)
  (pow.f64 a 3)
  (pow.f64 x 3)
  (pow.f64 (*.f64 a x) 2)
  (*.f64 3 (log.f64 (*.f64 a x)))
  (exp.f64 (pow.f64 (*.f64 a x) 3))
  (pow.f64 (*.f64 a x) 2)
  (*.f64 a x)
  (pow.f64 (pow.f64 (*.f64 a x) 3) 3)
  (pow.f64 a 3)
  (pow.f64 x 3)
  (pow.f64 (*.f64 a x) 2)
  (sqrt.f64 (pow.f64 (*.f64 a x) 3))
  (sqrt.f64 (pow.f64 (*.f64 a x) 3))
  (pow.f64 (*.f64 a x) 3/2)
  (pow.f64 (*.f64 a x) 3/2)
  (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))
  (exp.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)
  (sqrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3))
  (sqrt.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 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))
  (*.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 (pow.f64 (*.f64 a x) 3) (*.f64 (cbrt.f64 4/3) (cbrt.f64 4/3)))
  (*.f64 (pow.f64 (*.f64 a x) 3) (sqrt.f64 4/3))
  (pow.f64 (*.f64 a x) 3)
  (*.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))
  (*.f64 4/3 (pow.f64 (*.f64 a x) 2))
  (*.f64 4/3 (sqrt.f64 (pow.f64 (*.f64 a x) 3)))
  (*.f64 (pow.f64 (*.f64 a x) 3) 4/3)
  (*.f64 4/3 (pow.f64 (*.f64 a x) 3/2))
  (*.f64 (*.f64 a x) (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (*.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))))
  (exp.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)
  (*.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)
  (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 2 (pow.f64 (*.f64 a x) 2))
  (*.f64 (*.f64 a x) 2)
  (*.f64 2 (pow.f64 (*.f64 a x) 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) (sqrt.f64 (+.f64 2 (*.f64 (*.f64 a x) 2))))
  (*.f64 a x)
  (*.f64 (*.f64 a x) 2)
  (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2))
  (*.f64 x (+.f64 2 (*.f64 (*.f64 a x) 2)))
  (*.f64 (*.f64 a x) (+.f64 (pow.f64 (*.f64 (*.f64 a x) 2) 3) 8))
  (*.f64 (*.f64 a x) (+.f64 (*.f64 (pow.f64 (*.f64 a x) 2) 4) -4))
  (*.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)))
0.959 * * * [progress]: adding candidates to table
1.045 * [progress]: [Phase 3 of 3] Extracting.
1.045 * * [regime]: Finding splitpoints for: (#<alt (λ (a x) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2)) 2)) (+.f64 (exp.f64 (*.f64 a x)) 1)))> #<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 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)) (+.f64 1 (exp.f64 (*.f64 a x))))))>)
1.047 * * * [regime-changes]: Trying 3 branch expressions: ((*.f64 a x) x a)
1.047 * * * * [regimes]: Trying to branch on (*.f64 a x) from (#<alt (λ (a x) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2)) 2)) (+.f64 (exp.f64 (*.f64 a x)) 1)))> #<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 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)) (+.f64 1 (exp.f64 (*.f64 a x))))))>)
1.073 * * * * [regimes]: Trying to branch on x from (#<alt (λ (a x) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2)) 2)) (+.f64 (exp.f64 (*.f64 a x)) 1)))> #<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 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)) (+.f64 1 (exp.f64 (*.f64 a x))))))>)
1.110 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a x) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2)) 2)) (+.f64 (exp.f64 (*.f64 a x)) 1)))> #<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 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)) (+.f64 1 (exp.f64 (*.f64 a x))))))>)
1.167 * * * [regime]: Found split indices: #<option (#s(si 2 95) #s(si 0 255))>
1.167 * [binary-search]: Only using regimes for bounds on (*.f64 a x) and (#<alt (λ (a x) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2)) 2)) (+.f64 (exp.f64 (*.f64 a x)) 1)))> #<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 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)) (+.f64 1 (exp.f64 (*.f64 a x))))))>)
1.167 * [regimes]: Found splitpoints: (#s(sp 2 (*.f64 a x) -6083.193742126296) #s(sp 0 (*.f64 a x) +nan.0)) , with alts (#<alt (λ (a x) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2)) 2)) (+.f64 (exp.f64 (*.f64 a x)) 1)))> #<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 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)) (+.f64 1 (exp.f64 (*.f64 a x))))))>)
1.168 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<=.f64 (*.f64 a x) -6083.193742126296) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) (pow.f64 -1 3)) (*.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)) (+.f64 1 (exp.f64 (*.f64 a x))))) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2)) 2)) (+.f64 (exp.f64 (*.f64 a x)) 1)))
1.171 * * [simplify]: iteration  0 :  45  enodes  (cost  99 )
1.171 * * [simplify]: iteration  1 :  45  enodes  (cost  99 )
1.171 * [simplify]: Simplified to:
   (if (<=.f64 (*.f64 a x) -6083.193742126296) (/.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 3) -1) (*.f64 (+.f64 (pow.f64 (exp.f64 (*.f64 a x)) 4) (+.f64 (exp.f64 (*.f64 (*.f64 a x) 2)) 1)) (+.f64 (exp.f64 (*.f64 a x)) 1))) (/.f64 (+.f64 (*.f64 (pow.f64 (*.f64 a x) 3) 4/3) (*.f64 2 (+.f64 (*.f64 a x) (pow.f64 (*.f64 a x) 2)))) (+.f64 (exp.f64 (*.f64 a x)) 1)))
2.391 * [regime-testing]: End program error score: 0.7493864942144687
2.454 * [regime-testing]: Target error score: 0.1865838358445452