4.219 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.080 * * * [progress]: [2/2] Setting up program.
0.082 * [progress]: [Phase 2 of 3] Improving.
0.082 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.188 * * [simplify]: iteration  0 :  4754  enodes  (cost  13 )
0.188 * * [simplify]: iteration  1 :  4754  enodes  (cost  13 )
0.189 * [simplify]: Simplified to:
   (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.190 * * [progress]: iteration 1 / 4
0.190 * * * [progress]: picking best candidate
0.191 * * * * [pick]: Picked  #<alt (λ (x) (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))>
0.191 * * * [progress]: localizing error
0.197 * * * [progress]: generating rewritten candidates
0.197 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.205 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.211 * * * [progress]: generating series expansions
0.211 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.211 * [approximate]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2) in (x) around 0
0.211 * [taylor]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2) in x
0.211 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.211 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.211 * [taylor]: Taking taylor expansion of (neg x) in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.211 * [taylor]: Taking taylor expansion of (exp x) in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.211 * [taylor]: Taking taylor expansion of 2 in x
0.211 * [taylor]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2) in x
0.211 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.211 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.211 * [taylor]: Taking taylor expansion of (neg x) in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.211 * [taylor]: Taking taylor expansion of (exp x) in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.211 * [taylor]: Taking taylor expansion of 2 in x
0.214 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) in (x) around 0
0.214 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) in x
0.214 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.214 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.214 * [taylor]: Taking taylor expansion of x in x
0.214 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.214 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.214 * [taylor]: Taking taylor expansion of x in x
0.214 * [taylor]: Taking taylor expansion of 2 in x
0.214 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) in x
0.214 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.214 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.214 * [taylor]: Taking taylor expansion of x in x
0.214 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.214 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.214 * [taylor]: Taking taylor expansion of x in x
0.215 * [taylor]: Taking taylor expansion of 2 in x
0.215 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in (x) around 0
0.215 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in x
0.215 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.215 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.215 * [taylor]: Taking taylor expansion of x in x
0.215 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.215 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.215 * [taylor]: Taking taylor expansion of -1 in x
0.215 * [taylor]: Taking taylor expansion of x in x
0.215 * [taylor]: Taking taylor expansion of 2 in x
0.216 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in x
0.216 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.216 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.216 * [taylor]: Taking taylor expansion of -1 in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of 2 in x
0.216 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.216 * [approximate]: Taking taylor expansion of (- (exp x) 2) in (x) around 0
0.216 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
0.216 * [taylor]: Taking taylor expansion of (exp x) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.216 * [taylor]: Taking taylor expansion of 2 in x
0.216 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
0.216 * [taylor]: Taking taylor expansion of (exp x) in x
0.216 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of 2 in x
0.217 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in (x) around 0
0.217 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
0.217 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of 2 in x
0.217 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
0.217 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of 2 in x
0.218 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in (x) around 0
0.218 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
0.218 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.218 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.218 * [taylor]: Taking taylor expansion of -1 in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of 2 in x
0.218 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
0.218 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.218 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.218 * [taylor]: Taking taylor expansion of -1 in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of 2 in x
0.218 * * * [progress]: simplifying candidates
0.219 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 2)) (exp.f64 (exp.f64 (neg.f64 x))))
  (*.f64 (exp.f64 (-.f64 (exp.f64 x) 2)) (exp.f64 (exp.f64 (neg.f64 x))))
  (log.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
  (exp.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
  (*.f64 (cbrt.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))) (cbrt.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))))
  (cbrt.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
  (*.f64 (*.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))) (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))) (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
  (sqrt.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
  (sqrt.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
  (+.f64 (*.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 2 3)) (exp.f64 x)) (*.f64 (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 2 2) (*.f64 (exp.f64 x) 2))) 1))
  (*.f64 (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 2 2) (*.f64 (exp.f64 x) 2))) (exp.f64 x))
  (+.f64 (*.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 2 3)) (exp.f64 x)) (*.f64 (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 2 2) (*.f64 (exp.f64 x) 2))) (exp.f64 0)))
  (*.f64 (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 2 2) (*.f64 (exp.f64 x) 2))) (exp.f64 x))
  (+.f64 (*.f64 (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 2 2)) (exp.f64 x)) (*.f64 (+.f64 (exp.f64 x) 2) 1))
  (*.f64 (+.f64 (exp.f64 x) 2) (exp.f64 x))
  (+.f64 (*.f64 (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 2 2)) (exp.f64 x)) (*.f64 (+.f64 (exp.f64 x) 2) (exp.f64 0)))
  (*.f64 (+.f64 (exp.f64 x) 2) (exp.f64 x))
  (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 (neg.f64 x)) 3))
  (+.f64 (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2)) (-.f64 (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))) (*.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))))
  (-.f64 (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2)) (*.f64 (exp.f64 (neg.f64 x)) (exp.f64 (neg.f64 x))))
  (-.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
  (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
  (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
  (+.f64 (neg.f64 2) (exp.f64 (neg.f64 x)))
  (-.f64 2 (exp.f64 (neg.f64 x)))
  (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 2))
  (log.f64 (-.f64 (exp.f64 x) 2))
  (exp.f64 (-.f64 (exp.f64 x) 2))
  (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) (cbrt.f64 (-.f64 (exp.f64 x) 2)))
  (cbrt.f64 (-.f64 (exp.f64 x) 2))
  (*.f64 (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2)) (-.f64 (exp.f64 x) 2))
  (sqrt.f64 (-.f64 (exp.f64 x) 2))
  (sqrt.f64 (-.f64 (exp.f64 x) 2))
  (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 2 3))
  (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 2 2) (*.f64 (exp.f64 x) 2)))
  (neg.f64 2)
  (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 2 2))
  (+.f64 (exp.f64 x) 2)
  (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2))
  (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2))
  (-.f64 (exp.f64 x) 2)
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (-.f64 (+.f64 (exp.f64 (neg.f64 x)) (exp.f64 x)) 2)
  (-.f64 (+.f64 (exp.f64 (*.f64 -1 x)) (exp.f64 x)) 2)
  (-.f64 (+.f64 (*.f64 1/2 (pow.f64 x 2)) x) 1)
  (-.f64 (exp.f64 x) 2)
  (-.f64 (exp.f64 x) 2)
0.329 * * [simplify]: iteration  0 :  4832  enodes  (cost  627 )
0.329 * * [simplify]: iteration  1 :  4832  enodes  (cost  627 )
0.333 * [simplify]: Simplified to:
   (exp.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2)))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2)))
  (log.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2)))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2)))
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))))
  (cbrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2)))
  (pow.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2)) 3)
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2)))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2)))
  (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) (+.f64 -6 (pow.f64 (exp.f64 x) 3)))))
  (*.f64 (exp.f64 x) (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 2))))
  (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) (+.f64 -6 (pow.f64 (exp.f64 x) 3)))))
  (*.f64 (exp.f64 x) (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 2))))
  (+.f64 (+.f64 2 (pow.f64 (exp.f64 x) 3)) (*.f64 (exp.f64 x) -3))
  (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 2))
  (+.f64 (+.f64 2 (pow.f64 (exp.f64 x) 3)) (*.f64 (exp.f64 x) -3))
  (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 2))
  (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))
  (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))))
  (-.f64 (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2)) (pow.f64 (exp.f64 x) -2))
  (-.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
  (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
  (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
  (+.f64 (exp.f64 (neg.f64 x)) -2)
  (-.f64 2 (exp.f64 (neg.f64 x)))
  (exp.f64 (-.f64 (exp.f64 x) 2))
  (log.f64 (-.f64 (exp.f64 x) 2))
  (exp.f64 (-.f64 (exp.f64 x) 2))
  (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) (cbrt.f64 (-.f64 (exp.f64 x) 2)))
  (cbrt.f64 (-.f64 (exp.f64 x) 2))
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (sqrt.f64 (-.f64 (exp.f64 x) 2))
  (sqrt.f64 (-.f64 (exp.f64 x) 2))
  (-.f64 (pow.f64 (exp.f64 x) 3) 8)
  (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 2)))
  -2
  (-.f64 (pow.f64 (exp.f64 x) 2) 4)
  (+.f64 (exp.f64 x) 2)
  (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2))
  (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2))
  (-.f64 (exp.f64 x) 2)
  (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
  (+.f64 (exp.f64 (neg.f64 x)) (-.f64 (exp.f64 x) 2))
  (+.f64 -1 (+.f64 x (*.f64 (*.f64 x x) 1/2)))
  (-.f64 (exp.f64 x) 2)
  (-.f64 (exp.f64 x) 2)
0.334 * * * [progress]: adding candidates to table
0.370 * * [progress]: iteration 2 / 4
0.370 * * * [progress]: picking best candidate
0.373 * * * * [pick]: Picked  #<alt (λ (x) (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))>
0.373 * * * [progress]: localizing error
0.384 * * * [progress]: generating rewritten candidates
0.384 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.390 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.395 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.401 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.411 * * * [progress]: generating series expansions
0.411 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.411 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0
0.411 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.411 * [taylor]: Taking taylor expansion of 1/12 in x
0.411 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.411 * [taylor]: Taking taylor expansion of 1/12 in x
0.411 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.412 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.412 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.412 * [taylor]: Taking taylor expansion of 1/12 in x
0.412 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.412 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.412 * [taylor]: Taking taylor expansion of 1/12 in x
0.412 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.414 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.414 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.414 * [taylor]: Taking taylor expansion of 1/12 in x
0.414 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.414 * [taylor]: Taking taylor expansion of x in x
0.414 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.414 * [taylor]: Taking taylor expansion of 1/12 in x
0.414 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.414 * [taylor]: Taking taylor expansion of x in x
0.415 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.415 * [approximate]: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0
0.415 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.415 * [taylor]: Taking taylor expansion of 1/360 in x
0.415 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.415 * [taylor]: Taking taylor expansion of x in x
0.415 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.415 * [taylor]: Taking taylor expansion of 1/360 in x
0.415 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.415 * [taylor]: Taking taylor expansion of x in x
0.417 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
0.417 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.417 * [taylor]: Taking taylor expansion of 1/360 in x
0.417 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.417 * [taylor]: Taking taylor expansion of 1/360 in x
0.417 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.418 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
0.419 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.419 * [taylor]: Taking taylor expansion of 1/360 in x
0.419 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.419 * [taylor]: Taking taylor expansion of x in x
0.419 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.419 * [taylor]: Taking taylor expansion of 1/360 in x
0.419 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.419 * [taylor]: Taking taylor expansion of x in x
0.420 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.420 * [approximate]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in (x) around 0
0.420 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.420 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.421 * [taylor]: Taking taylor expansion of 1/360 in x
0.421 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.421 * [taylor]: Taking taylor expansion of 1/12 in x
0.421 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.421 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.421 * [taylor]: Taking taylor expansion of 1/360 in x
0.421 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.421 * [taylor]: Taking taylor expansion of 1/12 in x
0.421 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.424 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
0.424 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.424 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.424 * [taylor]: Taking taylor expansion of 1/360 in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.424 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.424 * [taylor]: Taking taylor expansion of 1/12 in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.424 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.424 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.424 * [taylor]: Taking taylor expansion of 1/360 in x
0.424 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.424 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.424 * [taylor]: Taking taylor expansion of x in x
0.424 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.424 * [taylor]: Taking taylor expansion of 1/12 in x
0.425 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.425 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.425 * [taylor]: Taking taylor expansion of x in x
0.429 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
0.429 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.429 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.429 * [taylor]: Taking taylor expansion of 1/360 in x
0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.429 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.429 * [taylor]: Taking taylor expansion of x in x
0.429 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.429 * [taylor]: Taking taylor expansion of 1/12 in x
0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.429 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.429 * [taylor]: Taking taylor expansion of x in x
0.429 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.429 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.429 * [taylor]: Taking taylor expansion of 1/360 in x
0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.429 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.429 * [taylor]: Taking taylor expansion of x in x
0.429 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.429 * [taylor]: Taking taylor expansion of 1/12 in x
0.429 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.429 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.429 * [taylor]: Taking taylor expansion of x in x
0.434 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.434 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in (x) around 0
0.434 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x
0.434 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.434 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.434 * [taylor]: Taking taylor expansion of 1/360 in x
0.434 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.434 * [taylor]: Taking taylor expansion of 1/12 in x
0.434 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x
0.434 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.434 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.434 * [taylor]: Taking taylor expansion of 1/360 in x
0.434 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.434 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.434 * [taylor]: Taking taylor expansion of 1/12 in x
0.434 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.434 * [taylor]: Taking taylor expansion of x in x
0.435 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in (x) around 0
0.436 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.436 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.436 * [taylor]: Taking taylor expansion of 1/360 in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.436 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.436 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.436 * [taylor]: Taking taylor expansion of 1/12 in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.436 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.436 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.436 * [taylor]: Taking taylor expansion of 1/360 in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.436 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.436 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.436 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.436 * [taylor]: Taking taylor expansion of 1/12 in x
0.436 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.436 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.436 * [taylor]: Taking taylor expansion of x in x
0.438 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in (x) around 0
0.438 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.438 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.438 * [taylor]: Taking taylor expansion of 1/360 in x
0.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.438 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.438 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.438 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.438 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.438 * [taylor]: Taking taylor expansion of 1/12 in x
0.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.438 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.438 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.438 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.438 * [taylor]: Taking taylor expansion of 1/360 in x
0.438 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.438 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.439 * [taylor]: Taking taylor expansion of x in x
0.439 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.439 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.439 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.439 * [taylor]: Taking taylor expansion of x in x
0.439 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.439 * [taylor]: Taking taylor expansion of 1/12 in x
0.439 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.439 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.439 * [taylor]: Taking taylor expansion of x in x
0.441 * * * [progress]: simplifying candidates
0.442 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (log.f64 1/12) (*.f64 (log.f64 x) 4))
  (+.f64 (log.f64 1/12) (*.f64 (log.f64 x) 4))
  (+.f64 (log.f64 1/12) (log.f64 (pow.f64 x 4)))
  (log.f64 (*.f64 1/12 (pow.f64 x 4)))
  (exp.f64 (*.f64 1/12 (pow.f64 x 4)))
  (*.f64 (*.f64 (*.f64 1/12 1/12) 1/12) (*.f64 (*.f64 (pow.f64 x 4) (pow.f64 x 4)) (pow.f64 x 4)))
  (*.f64 (cbrt.f64 (*.f64 1/12 (pow.f64 x 4))) (cbrt.f64 (*.f64 1/12 (pow.f64 x 4))))
  (cbrt.f64 (*.f64 1/12 (pow.f64 x 4)))
  (*.f64 (*.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/12 (pow.f64 x 4))) (*.f64 1/12 (pow.f64 x 4)))
  (sqrt.f64 (*.f64 1/12 (pow.f64 x 4)))
  (sqrt.f64 (*.f64 1/12 (pow.f64 x 4)))
  (*.f64 (sqrt.f64 1/12) (pow.f64 (sqrt.f64 x) 4))
  (*.f64 (sqrt.f64 1/12) (pow.f64 (sqrt.f64 x) 4))
  (*.f64 (sqrt.f64 1/12) (sqrt.f64 (pow.f64 x 4)))
  (*.f64 (sqrt.f64 1/12) (sqrt.f64 (pow.f64 x 4)))
  (*.f64 (sqrt.f64 1/12) (pow.f64 x (/.f64 4 2)))
  (*.f64 (sqrt.f64 1/12) (pow.f64 x (/.f64 4 2)))
  (*.f64 1/12 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 4))
  (*.f64 1/12 (pow.f64 (sqrt.f64 x) 4))
  (*.f64 1/12 (pow.f64 1 4))
  (*.f64 1/12 (*.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (pow.f64 x 4))))
  (*.f64 1/12 (sqrt.f64 (pow.f64 x 4)))
  (*.f64 1/12 1)
  (*.f64 1/12 (pow.f64 x (/.f64 4 2)))
  (*.f64 (cbrt.f64 1/12) (pow.f64 x 4))
  (*.f64 (sqrt.f64 1/12) (pow.f64 x 4))
  (*.f64 1/12 (pow.f64 x 4))
  (+.f64 (log.f64 1/360) (*.f64 (log.f64 x) 6))
  (+.f64 (log.f64 1/360) (*.f64 (log.f64 x) 6))
  (+.f64 (log.f64 1/360) (log.f64 (pow.f64 x 6)))
  (log.f64 (*.f64 1/360 (pow.f64 x 6)))
  (exp.f64 (*.f64 1/360 (pow.f64 x 6)))
  (*.f64 (*.f64 (*.f64 1/360 1/360) 1/360) (*.f64 (*.f64 (pow.f64 x 6) (pow.f64 x 6)) (pow.f64 x 6)))
  (*.f64 (cbrt.f64 (*.f64 1/360 (pow.f64 x 6))) (cbrt.f64 (*.f64 1/360 (pow.f64 x 6))))
  (cbrt.f64 (*.f64 1/360 (pow.f64 x 6)))
  (*.f64 (*.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/360 (pow.f64 x 6))) (*.f64 1/360 (pow.f64 x 6)))
  (sqrt.f64 (*.f64 1/360 (pow.f64 x 6)))
  (sqrt.f64 (*.f64 1/360 (pow.f64 x 6)))
  (*.f64 (sqrt.f64 1/360) (pow.f64 (sqrt.f64 x) 6))
  (*.f64 (sqrt.f64 1/360) (pow.f64 (sqrt.f64 x) 6))
  (*.f64 (sqrt.f64 1/360) (sqrt.f64 (pow.f64 x 6)))
  (*.f64 (sqrt.f64 1/360) (sqrt.f64 (pow.f64 x 6)))
  (*.f64 (sqrt.f64 1/360) (pow.f64 x (/.f64 6 2)))
  (*.f64 (sqrt.f64 1/360) (pow.f64 x (/.f64 6 2)))
  (*.f64 1/360 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 6))
  (*.f64 1/360 (pow.f64 (sqrt.f64 x) 6))
  (*.f64 1/360 (pow.f64 1 6))
  (*.f64 1/360 (*.f64 (cbrt.f64 (pow.f64 x 6)) (cbrt.f64 (pow.f64 x 6))))
  (*.f64 1/360 (sqrt.f64 (pow.f64 x 6)))
  (*.f64 1/360 1)
  (*.f64 1/360 (pow.f64 x (/.f64 6 2)))
  (*.f64 (cbrt.f64 1/360) (pow.f64 x 6))
  (*.f64 (sqrt.f64 1/360) (pow.f64 x 6))
  (*.f64 1/360 (pow.f64 x 6))
  (*.f64 (exp.f64 (*.f64 1/360 (pow.f64 x 6))) (exp.f64 (*.f64 1/12 (pow.f64 x 4))))
  (log.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (exp.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) (cbrt.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (cbrt.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (*.f64 (*.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (sqrt.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (sqrt.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (+.f64 (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 3) (pow.f64 (*.f64 1/12 (pow.f64 x 4)) 3))
  (+.f64 (*.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/360 (pow.f64 x 6))) (-.f64 (*.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/12 (pow.f64 x 4))) (*.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (-.f64 (*.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/360 (pow.f64 x 6))) (*.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/12 (pow.f64 x 4))))
  (-.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))
  (*.f64 (exp.f64 (*.f64 x x)) (*.f64 (exp.f64 (*.f64 1/360 (pow.f64 x 6))) (exp.f64 (*.f64 1/12 (pow.f64 x 4)))))
  (*.f64 (exp.f64 (*.f64 x x)) (exp.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (log.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (exp.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))) (cbrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))))
  (cbrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (*.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))) (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (+.f64 (pow.f64 (*.f64 x x) 3) (pow.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) 3))
  (+.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (-.f64 (*.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))) (*.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))))
  (-.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))
  (-.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))
  (*.f64 1/12 (pow.f64 x 4))
  (*.f64 1/12 (pow.f64 x 4))
  (*.f64 1/12 (pow.f64 x 4))
  (*.f64 1/360 (pow.f64 x 6))
  (*.f64 1/360 (pow.f64 x 6))
  (*.f64 1/360 (pow.f64 x 6))
  (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))
  (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))
  (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (+.f64 (pow.f64 x 2) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
0.525 * * [simplify]: iteration  0 :  5024  enodes  (cost  1259 )
0.532 * [simplify]: Simplified to:
   (log.f64 (*.f64 1/12 (pow.f64 x 4)))
  (log.f64 (*.f64 1/12 (pow.f64 x 4)))
  (log.f64 (*.f64 1/12 (pow.f64 x 4)))
  (log.f64 (*.f64 1/12 (pow.f64 x 4)))
  (exp.f64 (*.f64 1/12 (pow.f64 x 4)))
  (*.f64 1/1728 (pow.f64 x 12))
  (*.f64 (cbrt.f64 (*.f64 1/12 (pow.f64 x 4))) (cbrt.f64 (*.f64 1/12 (pow.f64 x 4))))
  (cbrt.f64 (*.f64 1/12 (pow.f64 x 4)))
  (*.f64 1/1728 (pow.f64 x 12))
  (sqrt.f64 (*.f64 1/12 (pow.f64 x 4)))
  (sqrt.f64 (*.f64 1/12 (pow.f64 x 4)))
  (*.f64 (sqrt.f64 1/12) (*.f64 x x))
  (*.f64 (sqrt.f64 1/12) (*.f64 x x))
  (*.f64 (sqrt.f64 1/12) (sqrt.f64 (pow.f64 x 4)))
  (*.f64 (sqrt.f64 1/12) (sqrt.f64 (pow.f64 x 4)))
  (*.f64 (sqrt.f64 1/12) (*.f64 x x))
  (*.f64 (sqrt.f64 1/12) (*.f64 x x))
  (*.f64 1/12 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) 4))
  (*.f64 1/12 (*.f64 x x))
  1/12
  (*.f64 1/12 (*.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (pow.f64 x 4))))
  (*.f64 1/12 (sqrt.f64 (pow.f64 x 4)))
  1/12
  (*.f64 1/12 (*.f64 x x))
  (*.f64 (pow.f64 x 4) (cbrt.f64 1/12))
  (*.f64 (pow.f64 x 4) (sqrt.f64 1/12))
  (*.f64 1/12 (pow.f64 x 4))
  (log.f64 (*.f64 1/360 (pow.f64 x 6)))
  (log.f64 (*.f64 1/360 (pow.f64 x 6)))
  (log.f64 (*.f64 1/360 (pow.f64 x 6)))
  (log.f64 (*.f64 1/360 (pow.f64 x 6)))
  (exp.f64 (*.f64 1/360 (pow.f64 x 6)))
  (*.f64 1/46656000 (pow.f64 (pow.f64 x 6) 3))
  (*.f64 (cbrt.f64 (*.f64 1/360 (pow.f64 x 6))) (cbrt.f64 (*.f64 1/360 (pow.f64 x 6))))
  (cbrt.f64 (*.f64 1/360 (pow.f64 x 6)))
  (*.f64 1/46656000 (pow.f64 (pow.f64 x 6) 3))
  (sqrt.f64 (*.f64 1/360 (pow.f64 x 6)))
  (sqrt.f64 (*.f64 1/360 (pow.f64 x 6)))
  (*.f64 (sqrt.f64 1/360) (pow.f64 x 3))
  (*.f64 (sqrt.f64 1/360) (pow.f64 x 3))
  (*.f64 (sqrt.f64 1/360) (sqrt.f64 (pow.f64 x 6)))
  (*.f64 (sqrt.f64 1/360) (sqrt.f64 (pow.f64 x 6)))
  (*.f64 (sqrt.f64 1/360) (pow.f64 x 3))
  (*.f64 (sqrt.f64 1/360) (pow.f64 x 3))
  (*.f64 (pow.f64 x 4) 1/360)
  (*.f64 1/360 (pow.f64 x 3))
  1/360
  (*.f64 (pow.f64 x 4) 1/360)
  (*.f64 1/360 (sqrt.f64 (pow.f64 x 6)))
  1/360
  (*.f64 1/360 (pow.f64 x 3))
  (*.f64 (pow.f64 x 6) (cbrt.f64 1/360))
  (*.f64 (pow.f64 x 6) (sqrt.f64 1/360))
  (*.f64 1/360 (pow.f64 x 6))
  (pow.f64 (exp.f64 (pow.f64 x 4)) (+.f64 1/12 (*.f64 (*.f64 x x) 1/360)))
  (log.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
  (pow.f64 (exp.f64 (pow.f64 x 4)) (+.f64 1/12 (*.f64 (*.f64 x x) 1/360)))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))) (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))))
  (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
  (pow.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))) 3)
  (sqrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
  (sqrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
  (*.f64 (pow.f64 x 12) (+.f64 1/1728 (*.f64 (pow.f64 x 6) 1/46656000)))
  (+.f64 (*.f64 (pow.f64 x 12) 1/129600) (-.f64 (*.f64 1/144 (pow.f64 x 8)) (*.f64 1/360 (*.f64 1/12 (pow.f64 x 10)))))
  (-.f64 (*.f64 (pow.f64 x 12) 1/129600) (*.f64 1/144 (pow.f64 x 8)))
  (-.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))
  (exp.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))))
  (exp.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))))
  (log.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))))
  (exp.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))))
  (*.f64 (cbrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))) (cbrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))))
  (cbrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))))
  (pow.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))) 3)
  (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))))
  (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))))
  (+.f64 (pow.f64 x 6) (pow.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))) 3))
  (+.f64 (pow.f64 x 4) (*.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))) (-.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))) (*.f64 x x))))
  (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 x 8) (*.f64 (+.f64 1/12 (*.f64 (*.f64 x x) 1/360)) (+.f64 1/12 (*.f64 (*.f64 x x) 1/360)))))
  (-.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
  (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))
  (*.f64 1/12 (pow.f64 x 4))
  (*.f64 1/12 (pow.f64 x 4))
  (*.f64 1/12 (pow.f64 x 4))
  (*.f64 1/360 (pow.f64 x 6))
  (*.f64 1/360 (pow.f64 x 6))
  (*.f64 1/360 (pow.f64 x 6))
  (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))
  (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))
  (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6)))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
  (+.f64 (*.f64 x x) (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
0.532 * * * [progress]: adding candidates to table
0.599 * * [progress]: iteration 3 / 4
0.599 * * * [progress]: picking best candidate
0.601 * * * * [pick]: Picked  #<alt (λ (x) (/.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)) (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))))))>
0.601 * * * [progress]: localizing error
0.615 * * * [progress]: generating rewritten candidates
0.615 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.630 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.633 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
0.639 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.644 * * * [progress]: generating series expansions
0.645 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.645 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) -3) (+ (* 12 (exp x)) (pow (exp x) 3))) (+ (* 6 (pow (exp x) 2)) 8)) in (x) around 0
0.645 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) -3) (+ (* 12 (exp x)) (pow (exp x) 3))) (+ (* 6 (pow (exp x) 2)) 8)) in x
0.645 * [taylor]: Taking taylor expansion of (+ (pow (exp x) -3) (+ (* 12 (exp x)) (pow (exp x) 3))) in x
0.645 * [taylor]: Taking taylor expansion of (pow (exp x) -3) in x
0.645 * [taylor]: Taking taylor expansion of (exp x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of (+ (* 12 (exp x)) (pow (exp x) 3)) in x
0.645 * [taylor]: Taking taylor expansion of (* 12 (exp x)) in x
0.645 * [taylor]: Taking taylor expansion of 12 in x
0.645 * [taylor]: Taking taylor expansion of (exp x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
0.645 * [taylor]: Taking taylor expansion of (exp x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp x) 2)) 8) in x
0.645 * [taylor]: Taking taylor expansion of (* 6 (pow (exp x) 2)) in x
0.645 * [taylor]: Taking taylor expansion of 6 in x
0.645 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
0.645 * [taylor]: Taking taylor expansion of (exp x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of 8 in x
0.645 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) -3) (+ (* 12 (exp x)) (pow (exp x) 3))) (+ (* 6 (pow (exp x) 2)) 8)) in x
0.645 * [taylor]: Taking taylor expansion of (+ (pow (exp x) -3) (+ (* 12 (exp x)) (pow (exp x) 3))) in x
0.645 * [taylor]: Taking taylor expansion of (pow (exp x) -3) in x
0.645 * [taylor]: Taking taylor expansion of (exp x) in x
0.645 * [taylor]: Taking taylor expansion of x in x
0.645 * [taylor]: Taking taylor expansion of (+ (* 12 (exp x)) (pow (exp x) 3)) in x
0.645 * [taylor]: Taking taylor expansion of (* 12 (exp x)) in x
0.645 * [taylor]: Taking taylor expansion of 12 in x
0.646 * [taylor]: Taking taylor expansion of (exp x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.646 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
0.646 * [taylor]: Taking taylor expansion of (exp x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.646 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp x) 2)) 8) in x
0.646 * [taylor]: Taking taylor expansion of (* 6 (pow (exp x) 2)) in x
0.646 * [taylor]: Taking taylor expansion of 6 in x
0.646 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
0.646 * [taylor]: Taking taylor expansion of (exp x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.646 * [taylor]: Taking taylor expansion of 8 in x
0.649 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) -3) (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 8)) in (x) around 0
0.649 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) -3) (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 8)) in x
0.649 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) -3) (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) in x
0.649 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in x
0.650 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3)) in x
0.650 * [taylor]: Taking taylor expansion of (* 12 (exp (/ 1 x))) in x
0.650 * [taylor]: Taking taylor expansion of 12 in x
0.650 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.650 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp (/ 1 x)) 2)) 8) in x
0.650 * [taylor]: Taking taylor expansion of (* 6 (pow (exp (/ 1 x)) 2)) in x
0.650 * [taylor]: Taking taylor expansion of 6 in x
0.650 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
0.650 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of 8 in x
0.650 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) -3) (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) (+ (* 6 (pow (exp (/ 1 x)) 2)) 8)) in x
0.650 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) -3) (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) in x
0.650 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in x
0.650 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3)) in x
0.650 * [taylor]: Taking taylor expansion of (* 12 (exp (/ 1 x))) in x
0.650 * [taylor]: Taking taylor expansion of 12 in x
0.650 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.651 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.651 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.651 * [taylor]: Taking taylor expansion of x in x
0.651 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp (/ 1 x)) 2)) 8) in x
0.651 * [taylor]: Taking taylor expansion of (* 6 (pow (exp (/ 1 x)) 2)) in x
0.651 * [taylor]: Taking taylor expansion of 6 in x
0.651 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
0.651 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.651 * [taylor]: Taking taylor expansion of x in x
0.651 * [taylor]: Taking taylor expansion of 8 in x
0.662 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x))))) (+ (* 6 (pow (exp (/ -1 x)) 2)) 8)) in (x) around 0
0.662 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x))))) (+ (* 6 (pow (exp (/ -1 x)) 2)) 8)) in x
0.662 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x))))) in x
0.662 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
0.662 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.662 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.662 * [taylor]: Taking taylor expansion of -1 in x
0.662 * [taylor]: Taking taylor expansion of x in x
0.662 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x)))) in x
0.662 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in x
0.662 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.662 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.663 * [taylor]: Taking taylor expansion of -1 in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (* 12 (exp (/ -1 x))) in x
0.663 * [taylor]: Taking taylor expansion of 12 in x
0.663 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.663 * [taylor]: Taking taylor expansion of -1 in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp (/ -1 x)) 2)) 8) in x
0.663 * [taylor]: Taking taylor expansion of (* 6 (pow (exp (/ -1 x)) 2)) in x
0.663 * [taylor]: Taking taylor expansion of 6 in x
0.663 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
0.663 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.663 * [taylor]: Taking taylor expansion of -1 in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of 8 in x
0.663 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x))))) (+ (* 6 (pow (exp (/ -1 x)) 2)) 8)) in x
0.663 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x))))) in x
0.663 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
0.663 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.663 * [taylor]: Taking taylor expansion of -1 in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x)))) in x
0.663 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in x
0.663 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.663 * [taylor]: Taking taylor expansion of -1 in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (* 12 (exp (/ -1 x))) in x
0.663 * [taylor]: Taking taylor expansion of 12 in x
0.663 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.663 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.663 * [taylor]: Taking taylor expansion of -1 in x
0.663 * [taylor]: Taking taylor expansion of x in x
0.663 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp (/ -1 x)) 2)) 8) in x
0.663 * [taylor]: Taking taylor expansion of (* 6 (pow (exp (/ -1 x)) 2)) in x
0.663 * [taylor]: Taking taylor expansion of 6 in x
0.664 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
0.664 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.664 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.664 * [taylor]: Taking taylor expansion of -1 in x
0.664 * [taylor]: Taking taylor expansion of x in x
0.664 * [taylor]: Taking taylor expansion of 8 in x
0.673 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.673 * [approximate]: Taking taylor expansion of (pow (exp x) -3) in (x) around 0
0.673 * [taylor]: Taking taylor expansion of (pow (exp x) -3) in x
0.673 * [taylor]: Taking taylor expansion of (exp x) in x
0.673 * [taylor]: Taking taylor expansion of x in x
0.673 * [taylor]: Taking taylor expansion of (pow (exp x) -3) in x
0.673 * [taylor]: Taking taylor expansion of (exp x) in x
0.673 * [taylor]: Taking taylor expansion of x in x
0.673 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in (x) around 0
0.673 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in x
0.673 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.674 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in x
0.674 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.677 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in (x) around 0
0.677 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in x
0.677 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.677 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.677 * [taylor]: Taking taylor expansion of -1 in x
0.677 * [taylor]: Taking taylor expansion of x in x
0.677 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in x
0.677 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.677 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.677 * [taylor]: Taking taylor expansion of -1 in x
0.677 * [taylor]: Taking taylor expansion of x in x
0.681 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
0.681 * [approximate]: Taking taylor expansion of (pow (- (exp x) 2) 3) in (x) around 0
0.681 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 3) in x
0.681 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
0.681 * [taylor]: Taking taylor expansion of (exp x) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of 2 in x
0.681 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 3) in x
0.681 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
0.681 * [taylor]: Taking taylor expansion of (exp x) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of 2 in x
0.682 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in (x) around 0
0.682 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in x
0.682 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
0.682 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of 2 in x
0.682 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in x
0.682 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
0.682 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of 2 in x
0.684 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in (x) around 0
0.684 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in x
0.684 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
0.684 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.684 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.684 * [taylor]: Taking taylor expansion of -1 in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of 2 in x
0.685 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in x
0.685 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
0.685 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.685 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.685 * [taylor]: Taking taylor expansion of -1 in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of 2 in x
0.687 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.687 * [approximate]: Taking taylor expansion of (pow (exp x) -2) in (x) around 0
0.687 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x
0.687 * [taylor]: Taking taylor expansion of (exp x) in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.688 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x
0.688 * [taylor]: Taking taylor expansion of (exp x) in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.688 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in (x) around 0
0.688 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x
0.688 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.688 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x
0.688 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.691 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in (x) around 0
0.691 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x
0.691 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.691 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.691 * [taylor]: Taking taylor expansion of -1 in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x
0.691 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.691 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.691 * [taylor]: Taking taylor expansion of -1 in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.693 * * * [progress]: simplifying candidates
0.695 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) (exp.f64 (pow.f64 (exp.f64 x) -3)))
  (log.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (exp.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))) (cbrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))))
  (cbrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (*.f64 (*.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)) (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))) (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (sqrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (sqrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (-.f64 (exp.f64 x) 2) 3)) (-.f64 (*.f64 (pow.f64 (exp.f64 x) -3) (pow.f64 (exp.f64 x) -3)) (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))))
  (-.f64 (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (-.f64 (exp.f64 x) 2) 3)) (*.f64 (pow.f64 (exp.f64 x) -3) (pow.f64 (exp.f64 x) -3)))
  (-.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))
  (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))
  (*.f64 x -3)
  (*.f64 (log.f64 (exp.f64 x)) -3)
  (*.f64 1 -3)
  (*.f64 (cbrt.f64 x) -3)
  (*.f64 (sqrt.f64 x) -3)
  (*.f64 x -3)
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3)))
  (pow.f64 (exp.f64 x) (sqrt.f64 -3))
  (pow.f64 (exp.f64 x) 1)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -3)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -3)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -3)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -3)
  (pow.f64 1 -3)
  (pow.f64 (exp.f64 x) -3)
  (log.f64 (pow.f64 (exp.f64 x) -3))
  (exp.f64 (pow.f64 (exp.f64 x) -3))
  (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) -3)) (cbrt.f64 (pow.f64 (exp.f64 x) -3)))
  (cbrt.f64 (pow.f64 (exp.f64 x) -3))
  (*.f64 (*.f64 (pow.f64 (exp.f64 x) -3) (pow.f64 (exp.f64 x) -3)) (pow.f64 (exp.f64 x) -3))
  (sqrt.f64 (pow.f64 (exp.f64 x) -3))
  (sqrt.f64 (pow.f64 (exp.f64 x) -3))
  (pow.f64 (exp.f64 x) (/.f64 -3 2))
  (pow.f64 (exp.f64 x) (/.f64 -3 2))
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 3)
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 3)
  (*.f64 1 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (-.f64 (exp.f64 x) 2) (sqrt.f64 3))
  (pow.f64 (-.f64 (exp.f64 x) 2) 1)
  (pow.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) (cbrt.f64 (-.f64 (exp.f64 x) 2))) 3)
  (pow.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 1 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3)
  (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3)
  (pow.f64 1 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2))
  (log.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (exp.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (*.f64 (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)))
  (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (*.f64 (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (-.f64 (exp.f64 x) 2) 3)) (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (pow.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) (cbrt.f64 (-.f64 (exp.f64 x) 2))) 3)
  (pow.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 1 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3)
  (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3)
  (pow.f64 1 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 2 3)) 3)
  (pow.f64 (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 2 2) (*.f64 (exp.f64 x) 2))) 3)
  (pow.f64 (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 2 2)) 3)
  (pow.f64 (+.f64 (exp.f64 x) 2) 3)
  (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2))
  (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (pow.f64 (-.f64 (exp.f64 x) 2) (/.f64 3 2))
  (pow.f64 (-.f64 (exp.f64 x) 2) (/.f64 3 2))
  (*.f64 x -2)
  (*.f64 (log.f64 (exp.f64 x)) -2)
  (*.f64 1 -2)
  (*.f64 (cbrt.f64 x) -2)
  (*.f64 (sqrt.f64 x) -2)
  (*.f64 x -2)
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -2) (cbrt.f64 -2)))
  (pow.f64 (exp.f64 x) (sqrt.f64 -2))
  (pow.f64 (exp.f64 x) 1)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -2)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -2)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -2)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -2)
  (pow.f64 1 -2)
  (pow.f64 (exp.f64 x) -2)
  (log.f64 (pow.f64 (exp.f64 x) -2))
  (exp.f64 (pow.f64 (exp.f64 x) -2))
  (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) -2)) (cbrt.f64 (pow.f64 (exp.f64 x) -2)))
  (cbrt.f64 (pow.f64 (exp.f64 x) -2))
  (*.f64 (*.f64 (pow.f64 (exp.f64 x) -2) (pow.f64 (exp.f64 x) -2)) (pow.f64 (exp.f64 x) -2))
  (sqrt.f64 (pow.f64 (exp.f64 x) -2))
  (sqrt.f64 (pow.f64 (exp.f64 x) -2))
  (pow.f64 (exp.f64 x) (/.f64 -2 2))
  (pow.f64 (exp.f64 x) (/.f64 -2 2))
  (-.f64 (+.f64 (*.f64 3 (pow.f64 x 2)) (*.f64 13/4 (pow.f64 x 4))) (*.f64 6 (pow.f64 x 3)))
  (-.f64 (+.f64 (*.f64 12 (exp.f64 x)) (+.f64 (pow.f64 (exp.f64 x) 3) (/.f64 1 (pow.f64 (exp.f64 x) 3)))) (+.f64 8 (*.f64 6 (pow.f64 (exp.f64 x) 2))))
  (-.f64 (+.f64 (*.f64 12 (exp.f64 x)) (+.f64 (pow.f64 (exp.f64 x) 3) (/.f64 1 (pow.f64 (exp.f64 x) 3)))) (+.f64 8 (*.f64 6 (pow.f64 (exp.f64 x) 2))))
  (-.f64 (+.f64 (*.f64 9/2 (pow.f64 x 2)) 1) (*.f64 3 x))
  (/.f64 1 (pow.f64 (exp.f64 x) 3))
  (/.f64 1 (pow.f64 (exp.f64 x) 3))
  (-.f64 (*.f64 3 x) (+.f64 (*.f64 3/2 (pow.f64 x 2)) 1))
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (-.f64 (+.f64 (*.f64 2 (pow.f64 x 2)) 1) (*.f64 2 x))
  (/.f64 1 (pow.f64 (exp.f64 x) 2))
  (/.f64 1 (pow.f64 (exp.f64 x) 2))
0.754 * * [simplify]: iteration  0 :  6182  enodes  (cost  1157 )
0.762 * [simplify]: Simplified to:
   (exp.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (log.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (exp.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))) (cbrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))))
  (cbrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (pow.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)) 3)
  (sqrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (sqrt.f64 (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3)))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))))
  (-.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6) (pow.f64 (exp.f64 x) -6))
  (-.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))
  (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))
  (*.f64 x -3)
  (*.f64 x -3)
  -3
  (*.f64 -3 (cbrt.f64 x))
  (*.f64 -3 (sqrt.f64 x))
  (*.f64 x -3)
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3)))
  (pow.f64 (exp.f64 x) (sqrt.f64 -3))
  (exp.f64 x)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -3)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -3)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -3)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -3)
  1
  (pow.f64 (exp.f64 x) -3)
  (*.f64 x -3)
  (exp.f64 (pow.f64 (exp.f64 x) -3))
  (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) -3)) (cbrt.f64 (pow.f64 (exp.f64 x) -3)))
  (cbrt.f64 (pow.f64 (exp.f64 x) -3))
  (pow.f64 (pow.f64 (exp.f64 x) -3) 3)
  (sqrt.f64 (pow.f64 (exp.f64 x) -3))
  (sqrt.f64 (pow.f64 (exp.f64 x) -3))
  (pow.f64 (exp.f64 x) -3/2)
  (pow.f64 (exp.f64 x) -3/2)
  (*.f64 3 (log.f64 (-.f64 (exp.f64 x) 2)))
  (*.f64 3 (log.f64 (-.f64 (exp.f64 x) 2)))
  3
  (pow.f64 (-.f64 (exp.f64 x) 2) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (-.f64 (exp.f64 x) 2) (sqrt.f64 3))
  (-.f64 (exp.f64 x) 2)
  (pow.f64 (-.f64 (exp.f64 x) 2) 2)
  (-.f64 (exp.f64 x) 2)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3/2)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3/2)
  1
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3)
  (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3)
  1
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 2)
  (*.f64 3 (log.f64 (-.f64 (exp.f64 x) 2)))
  (exp.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (pow.f64 (-.f64 (exp.f64 x) 2) 2)
  (-.f64 (exp.f64 x) 2)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 2)
  (-.f64 (exp.f64 x) 2)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3/2)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3/2)
  1
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3)
  (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3)
  1
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 3) 8) 3)
  (pow.f64 (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 2))) 3)
  (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2) 4) 3)
  (pow.f64 (+.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 2)
  (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (pow.f64 (-.f64 (exp.f64 x) 2) 3/2)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3/2)
  (*.f64 x -2)
  (*.f64 x -2)
  -2
  (*.f64 (cbrt.f64 x) -2)
  (*.f64 (sqrt.f64 x) -2)
  (*.f64 x -2)
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -2) (cbrt.f64 -2)))
  (pow.f64 (exp.f64 x) (sqrt.f64 -2))
  (exp.f64 x)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -2)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -2)
  (exp.f64 (neg.f64 x))
  (exp.f64 (neg.f64 x))
  1
  (pow.f64 (exp.f64 x) -2)
  (*.f64 x -2)
  (exp.f64 (pow.f64 (exp.f64 x) -2))
  (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) -2)) (cbrt.f64 (pow.f64 (exp.f64 x) -2)))
  (cbrt.f64 (pow.f64 (exp.f64 x) -2))
  (pow.f64 (exp.f64 x) -6)
  (fabs.f64 (exp.f64 (neg.f64 x)))
  (fabs.f64 (exp.f64 (neg.f64 x)))
  (exp.f64 (neg.f64 x))
  (exp.f64 (neg.f64 x))
  (+.f64 (*.f64 13/4 (pow.f64 x 4)) (*.f64 (*.f64 x x) (-.f64 3 (*.f64 x 6))))
  (-.f64 (+.f64 (*.f64 (exp.f64 x) 12) (+.f64 (pow.f64 (exp.f64 x) -3) (pow.f64 (exp.f64 x) 3))) (+.f64 8 (*.f64 (pow.f64 (exp.f64 x) 2) 6)))
  (-.f64 (+.f64 (*.f64 (exp.f64 x) 12) (+.f64 (pow.f64 (exp.f64 x) -3) (pow.f64 (exp.f64 x) 3))) (+.f64 8 (*.f64 (pow.f64 (exp.f64 x) 2) 6)))
  (+.f64 1 (*.f64 x (+.f64 (*.f64 x 9/2) -3)))
  (pow.f64 (exp.f64 x) -3)
  (pow.f64 (exp.f64 x) -3)
  (+.f64 -1 (*.f64 x (-.f64 3 (*.f64 x 3/2))))
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (+.f64 1 (*.f64 x (+.f64 (+.f64 x x) -2)))
  (pow.f64 (exp.f64 x) -2)
  (pow.f64 (exp.f64 x) -2)
0.762 * * * [progress]: adding candidates to table
0.856 * * [progress]: iteration 4 / 4
0.856 * * * [progress]: picking best candidate
0.858 * * * * [pick]: Picked  #<alt (λ (x) (/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))))) (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))))))>
0.858 * * * [progress]: localizing error
0.886 * * * [progress]: generating rewritten candidates
0.886 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.925 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
0.934 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1)
0.938 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.949 * * * [progress]: generating series expansions
0.949 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.954 * [approximate]: Taking taylor expansion of (- (+ (* 144 (pow (exp x) 7)) (+ (* 2016 (pow (exp x) 5)) (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9)))))) (+ (* 672 (pow (exp x) 6)) (+ (* 4032 (pow (exp x) 4)) (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8))))))) in (x) around 0
0.955 * [taylor]: Taking taylor expansion of (- (+ (* 144 (pow (exp x) 7)) (+ (* 2016 (pow (exp x) 5)) (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9)))))) (+ (* 672 (pow (exp x) 6)) (+ (* 4032 (pow (exp x) 4)) (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8))))))) in x
0.955 * [taylor]: Taking taylor expansion of (+ (* 144 (pow (exp x) 7)) (+ (* 2016 (pow (exp x) 5)) (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9)))))) in x
0.955 * [taylor]: Taking taylor expansion of (* 144 (pow (exp x) 7)) in x
0.955 * [taylor]: Taking taylor expansion of 144 in x
0.955 * [taylor]: Taking taylor expansion of (pow (exp x) 7) in x
0.955 * [taylor]: Taking taylor expansion of (exp x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (+ (* 2016 (pow (exp x) 5)) (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9))))) in x
0.955 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp x) 5)) in x
0.955 * [taylor]: Taking taylor expansion of 2016 in x
0.955 * [taylor]: Taking taylor expansion of (pow (exp x) 5) in x
0.955 * [taylor]: Taking taylor expansion of (exp x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9)))) in x
0.955 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp x) 3)) in x
0.955 * [taylor]: Taking taylor expansion of 5376 in x
0.955 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
0.955 * [taylor]: Taking taylor expansion of (exp x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9))) in x
0.955 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp x) 9)) in x
0.955 * [taylor]: Taking taylor expansion of (pow (exp x) 9) in x
0.955 * [taylor]: Taking taylor expansion of (exp x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (+ (* 2304 (exp x)) (pow (exp x) 9)) in x
0.955 * [taylor]: Taking taylor expansion of (* 2304 (exp x)) in x
0.955 * [taylor]: Taking taylor expansion of 2304 in x
0.955 * [taylor]: Taking taylor expansion of (exp x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (pow (exp x) 9) in x
0.955 * [taylor]: Taking taylor expansion of (exp x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp x) 6)) (+ (* 4032 (pow (exp x) 4)) (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8)))))) in x
0.955 * [taylor]: Taking taylor expansion of (* 672 (pow (exp x) 6)) in x
0.955 * [taylor]: Taking taylor expansion of 672 in x
0.955 * [taylor]: Taking taylor expansion of (pow (exp x) 6) in x
0.955 * [taylor]: Taking taylor expansion of (exp x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (+ (* 4032 (pow (exp x) 4)) (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8))))) in x
0.955 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp x) 4)) in x
0.955 * [taylor]: Taking taylor expansion of 4032 in x
0.955 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
0.955 * [taylor]: Taking taylor expansion of (exp x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8)))) in x
0.955 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp x) 2)) in x
0.955 * [taylor]: Taking taylor expansion of 4608 in x
0.955 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
0.955 * [taylor]: Taking taylor expansion of (exp x) in x
0.955 * [taylor]: Taking taylor expansion of x in x
0.955 * [taylor]: Taking taylor expansion of (+ 512 (* 18 (pow (exp x) 8))) in x
0.956 * [taylor]: Taking taylor expansion of 512 in x
0.956 * [taylor]: Taking taylor expansion of (* 18 (pow (exp x) 8)) in x
0.956 * [taylor]: Taking taylor expansion of 18 in x
0.956 * [taylor]: Taking taylor expansion of (pow (exp x) 8) in x
0.956 * [taylor]: Taking taylor expansion of (exp x) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (- (+ (* 144 (pow (exp x) 7)) (+ (* 2016 (pow (exp x) 5)) (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9)))))) (+ (* 672 (pow (exp x) 6)) (+ (* 4032 (pow (exp x) 4)) (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8))))))) in x
0.956 * [taylor]: Taking taylor expansion of (+ (* 144 (pow (exp x) 7)) (+ (* 2016 (pow (exp x) 5)) (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9)))))) in x
0.956 * [taylor]: Taking taylor expansion of (* 144 (pow (exp x) 7)) in x
0.956 * [taylor]: Taking taylor expansion of 144 in x
0.956 * [taylor]: Taking taylor expansion of (pow (exp x) 7) in x
0.956 * [taylor]: Taking taylor expansion of (exp x) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (+ (* 2016 (pow (exp x) 5)) (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9))))) in x
0.956 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp x) 5)) in x
0.956 * [taylor]: Taking taylor expansion of 2016 in x
0.956 * [taylor]: Taking taylor expansion of (pow (exp x) 5) in x
0.956 * [taylor]: Taking taylor expansion of (exp x) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9)))) in x
0.956 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp x) 3)) in x
0.956 * [taylor]: Taking taylor expansion of 5376 in x
0.956 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
0.956 * [taylor]: Taking taylor expansion of (exp x) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9))) in x
0.956 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp x) 9)) in x
0.956 * [taylor]: Taking taylor expansion of (pow (exp x) 9) in x
0.956 * [taylor]: Taking taylor expansion of (exp x) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (+ (* 2304 (exp x)) (pow (exp x) 9)) in x
0.956 * [taylor]: Taking taylor expansion of (* 2304 (exp x)) in x
0.956 * [taylor]: Taking taylor expansion of 2304 in x
0.956 * [taylor]: Taking taylor expansion of (exp x) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (pow (exp x) 9) in x
0.956 * [taylor]: Taking taylor expansion of (exp x) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp x) 6)) (+ (* 4032 (pow (exp x) 4)) (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8)))))) in x
0.956 * [taylor]: Taking taylor expansion of (* 672 (pow (exp x) 6)) in x
0.956 * [taylor]: Taking taylor expansion of 672 in x
0.956 * [taylor]: Taking taylor expansion of (pow (exp x) 6) in x
0.956 * [taylor]: Taking taylor expansion of (exp x) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (+ (* 4032 (pow (exp x) 4)) (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8))))) in x
0.956 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp x) 4)) in x
0.956 * [taylor]: Taking taylor expansion of 4032 in x
0.956 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
0.956 * [taylor]: Taking taylor expansion of (exp x) in x
0.956 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8)))) in x
0.956 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp x) 2)) in x
0.956 * [taylor]: Taking taylor expansion of 4608 in x
0.956 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
0.957 * [taylor]: Taking taylor expansion of (exp x) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.957 * [taylor]: Taking taylor expansion of (+ 512 (* 18 (pow (exp x) 8))) in x
0.957 * [taylor]: Taking taylor expansion of 512 in x
0.957 * [taylor]: Taking taylor expansion of (* 18 (pow (exp x) 8)) in x
0.957 * [taylor]: Taking taylor expansion of 18 in x
0.957 * [taylor]: Taking taylor expansion of (pow (exp x) 8) in x
0.957 * [taylor]: Taking taylor expansion of (exp x) in x
0.957 * [taylor]: Taking taylor expansion of x in x
0.973 * [approximate]: Taking taylor expansion of (- (+ (* 2016 (pow (exp (/ 1 x)) 5)) (+ (* 144 (pow (exp (/ 1 x)) 7)) (+ (* 2304 (exp (/ 1 x))) (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)))))) (+ (* 4032 (pow (exp (/ 1 x)) 4)) (+ (* 4608 (pow (exp (/ 1 x)) 2)) (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512))))) in (x) around 0
0.973 * [taylor]: Taking taylor expansion of (- (+ (* 2016 (pow (exp (/ 1 x)) 5)) (+ (* 144 (pow (exp (/ 1 x)) 7)) (+ (* 2304 (exp (/ 1 x))) (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)))))) (+ (* 4032 (pow (exp (/ 1 x)) 4)) (+ (* 4608 (pow (exp (/ 1 x)) 2)) (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512))))) in x
0.973 * [taylor]: Taking taylor expansion of (+ (* 2016 (pow (exp (/ 1 x)) 5)) (+ (* 144 (pow (exp (/ 1 x)) 7)) (+ (* 2304 (exp (/ 1 x))) (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)))))) in x
0.973 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp (/ 1 x)) 5)) in x
0.973 * [taylor]: Taking taylor expansion of 2016 in x
0.973 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 5) in x
0.973 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (+ (* 144 (pow (exp (/ 1 x)) 7)) (+ (* 2304 (exp (/ 1 x))) (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9))))) in x
0.973 * [taylor]: Taking taylor expansion of (* 144 (pow (exp (/ 1 x)) 7)) in x
0.973 * [taylor]: Taking taylor expansion of 144 in x
0.973 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 7) in x
0.973 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.973 * [taylor]: Taking taylor expansion of (+ (* 2304 (exp (/ 1 x))) (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)))) in x
0.973 * [taylor]: Taking taylor expansion of (* 2304 (exp (/ 1 x))) in x
0.973 * [taylor]: Taking taylor expansion of 2304 in x
0.973 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.973 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.973 * [taylor]: Taking taylor expansion of x in x
0.974 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9))) in x
0.974 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp (/ 1 x)) 3)) in x
0.974 * [taylor]: Taking taylor expansion of 5376 in x
0.974 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.974 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.974 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)) in x
0.974 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (/ 1 x)) 9)) in x
0.974 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 9) in x
0.974 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.974 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 9) in x
0.974 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.974 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (+ (* 4032 (pow (exp (/ 1 x)) 4)) (+ (* 4608 (pow (exp (/ 1 x)) 2)) (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512)))) in x
0.975 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp (/ 1 x)) 4)) in x
0.975 * [taylor]: Taking taylor expansion of 4032 in x
0.975 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
0.975 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (+ (* 4608 (pow (exp (/ 1 x)) 2)) (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512))) in x
0.975 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp (/ 1 x)) 2)) in x
0.975 * [taylor]: Taking taylor expansion of 4608 in x
0.975 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
0.975 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512)) in x
0.975 * [taylor]: Taking taylor expansion of (* 672 (pow (exp (/ 1 x)) 6)) in x
0.975 * [taylor]: Taking taylor expansion of 672 in x
0.975 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
0.975 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (+ (* 18 (pow (exp (/ 1 x)) 8)) 512) in x
0.975 * [taylor]: Taking taylor expansion of (* 18 (pow (exp (/ 1 x)) 8)) in x
0.975 * [taylor]: Taking taylor expansion of 18 in x
0.975 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 8) in x
0.975 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of 512 in x
0.975 * [taylor]: Taking taylor expansion of (- (+ (* 2016 (pow (exp (/ 1 x)) 5)) (+ (* 144 (pow (exp (/ 1 x)) 7)) (+ (* 2304 (exp (/ 1 x))) (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)))))) (+ (* 4032 (pow (exp (/ 1 x)) 4)) (+ (* 4608 (pow (exp (/ 1 x)) 2)) (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512))))) in x
0.975 * [taylor]: Taking taylor expansion of (+ (* 2016 (pow (exp (/ 1 x)) 5)) (+ (* 144 (pow (exp (/ 1 x)) 7)) (+ (* 2304 (exp (/ 1 x))) (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)))))) in x
0.975 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp (/ 1 x)) 5)) in x
0.975 * [taylor]: Taking taylor expansion of 2016 in x
0.975 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 5) in x
0.975 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.975 * [taylor]: Taking taylor expansion of (+ (* 144 (pow (exp (/ 1 x)) 7)) (+ (* 2304 (exp (/ 1 x))) (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9))))) in x
0.975 * [taylor]: Taking taylor expansion of (* 144 (pow (exp (/ 1 x)) 7)) in x
0.975 * [taylor]: Taking taylor expansion of 144 in x
0.975 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 7) in x
0.975 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.975 * [taylor]: Taking taylor expansion of x in x
0.976 * [taylor]: Taking taylor expansion of (+ (* 2304 (exp (/ 1 x))) (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)))) in x
0.976 * [taylor]: Taking taylor expansion of (* 2304 (exp (/ 1 x))) in x
0.976 * [taylor]: Taking taylor expansion of 2304 in x
0.976 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.976 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9))) in x
0.976 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp (/ 1 x)) 3)) in x
0.976 * [taylor]: Taking taylor expansion of 5376 in x
0.976 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.976 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.976 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)) in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (/ 1 x)) 9)) in x
0.976 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 9) in x
0.976 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.976 * [taylor]: Taking taylor expansion of x in x
0.976 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 9) in x
0.977 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of (+ (* 4032 (pow (exp (/ 1 x)) 4)) (+ (* 4608 (pow (exp (/ 1 x)) 2)) (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512)))) in x
0.977 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp (/ 1 x)) 4)) in x
0.977 * [taylor]: Taking taylor expansion of 4032 in x
0.977 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
0.977 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of (+ (* 4608 (pow (exp (/ 1 x)) 2)) (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512))) in x
0.977 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp (/ 1 x)) 2)) in x
0.977 * [taylor]: Taking taylor expansion of 4608 in x
0.977 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
0.977 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512)) in x
0.977 * [taylor]: Taking taylor expansion of (* 672 (pow (exp (/ 1 x)) 6)) in x
0.977 * [taylor]: Taking taylor expansion of 672 in x
0.977 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
0.977 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of (+ (* 18 (pow (exp (/ 1 x)) 8)) 512) in x
0.977 * [taylor]: Taking taylor expansion of (* 18 (pow (exp (/ 1 x)) 8)) in x
0.977 * [taylor]: Taking taylor expansion of 18 in x
0.977 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 8) in x
0.977 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.977 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.977 * [taylor]: Taking taylor expansion of 512 in x
1.029 * [approximate]: Taking taylor expansion of (- (+ (* 5376 (pow (exp (/ -1 x)) 3)) (+ (* 2016 (pow (exp (/ -1 x)) 5)) (+ (* 144 (pow (exp (/ -1 x)) 7)) (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))))))) (+ (* 4608 (pow (exp (/ -1 x)) 2)) (+ (* 4032 (pow (exp (/ -1 x)) 4)) (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512))))) in (x) around 0
1.029 * [taylor]: Taking taylor expansion of (- (+ (* 5376 (pow (exp (/ -1 x)) 3)) (+ (* 2016 (pow (exp (/ -1 x)) 5)) (+ (* 144 (pow (exp (/ -1 x)) 7)) (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))))))) (+ (* 4608 (pow (exp (/ -1 x)) 2)) (+ (* 4032 (pow (exp (/ -1 x)) 4)) (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512))))) in x
1.029 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp (/ -1 x)) 3)) (+ (* 2016 (pow (exp (/ -1 x)) 5)) (+ (* 144 (pow (exp (/ -1 x)) 7)) (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))))))) in x
1.029 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp (/ -1 x)) 3)) in x
1.029 * [taylor]: Taking taylor expansion of 5376 in x
1.029 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.029 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.029 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.029 * [taylor]: Taking taylor expansion of -1 in x
1.029 * [taylor]: Taking taylor expansion of x in x
1.029 * [taylor]: Taking taylor expansion of (+ (* 2016 (pow (exp (/ -1 x)) 5)) (+ (* 144 (pow (exp (/ -1 x)) 7)) (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x))))))) in x
1.029 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp (/ -1 x)) 5)) in x
1.029 * [taylor]: Taking taylor expansion of 2016 in x
1.029 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 5) in x
1.029 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.029 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.029 * [taylor]: Taking taylor expansion of -1 in x
1.029 * [taylor]: Taking taylor expansion of x in x
1.029 * [taylor]: Taking taylor expansion of (+ (* 144 (pow (exp (/ -1 x)) 7)) (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))))) in x
1.029 * [taylor]: Taking taylor expansion of (* 144 (pow (exp (/ -1 x)) 7)) in x
1.029 * [taylor]: Taking taylor expansion of 144 in x
1.029 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 7) in x
1.029 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.029 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.029 * [taylor]: Taking taylor expansion of -1 in x
1.029 * [taylor]: Taking taylor expansion of x in x
1.029 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x))))) in x
1.029 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 9) in x
1.029 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.029 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.029 * [taylor]: Taking taylor expansion of -1 in x
1.030 * [taylor]: Taking taylor expansion of x in x
1.030 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))) in x
1.030 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (/ -1 x)) 9)) in x
1.030 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 9) in x
1.030 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.030 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.030 * [taylor]: Taking taylor expansion of -1 in x
1.030 * [taylor]: Taking taylor expansion of x in x
1.030 * [taylor]: Taking taylor expansion of (* 2304 (exp (/ -1 x))) in x
1.030 * [taylor]: Taking taylor expansion of 2304 in x
1.030 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.030 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.030 * [taylor]: Taking taylor expansion of -1 in x
1.030 * [taylor]: Taking taylor expansion of x in x
1.030 * [taylor]: Taking taylor expansion of (+ (* 4608 (pow (exp (/ -1 x)) 2)) (+ (* 4032 (pow (exp (/ -1 x)) 4)) (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512)))) in x
1.030 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp (/ -1 x)) 2)) in x
1.030 * [taylor]: Taking taylor expansion of 4608 in x
1.030 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.031 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.031 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.031 * [taylor]: Taking taylor expansion of -1 in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (+ (* 4032 (pow (exp (/ -1 x)) 4)) (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512))) in x
1.031 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp (/ -1 x)) 4)) in x
1.031 * [taylor]: Taking taylor expansion of 4032 in x
1.031 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
1.031 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.031 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.031 * [taylor]: Taking taylor expansion of -1 in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512)) in x
1.031 * [taylor]: Taking taylor expansion of (* 672 (pow (exp (/ -1 x)) 6)) in x
1.031 * [taylor]: Taking taylor expansion of 672 in x
1.031 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 6) in x
1.031 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.031 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.031 * [taylor]: Taking taylor expansion of -1 in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (+ (* 18 (pow (exp (/ -1 x)) 8)) 512) in x
1.031 * [taylor]: Taking taylor expansion of (* 18 (pow (exp (/ -1 x)) 8)) in x
1.031 * [taylor]: Taking taylor expansion of 18 in x
1.031 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 8) in x
1.031 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.031 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.031 * [taylor]: Taking taylor expansion of -1 in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of 512 in x
1.031 * [taylor]: Taking taylor expansion of (- (+ (* 5376 (pow (exp (/ -1 x)) 3)) (+ (* 2016 (pow (exp (/ -1 x)) 5)) (+ (* 144 (pow (exp (/ -1 x)) 7)) (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))))))) (+ (* 4608 (pow (exp (/ -1 x)) 2)) (+ (* 4032 (pow (exp (/ -1 x)) 4)) (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512))))) in x
1.031 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp (/ -1 x)) 3)) (+ (* 2016 (pow (exp (/ -1 x)) 5)) (+ (* 144 (pow (exp (/ -1 x)) 7)) (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))))))) in x
1.031 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp (/ -1 x)) 3)) in x
1.031 * [taylor]: Taking taylor expansion of 5376 in x
1.031 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.031 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.031 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.031 * [taylor]: Taking taylor expansion of -1 in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.031 * [taylor]: Taking taylor expansion of (+ (* 2016 (pow (exp (/ -1 x)) 5)) (+ (* 144 (pow (exp (/ -1 x)) 7)) (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x))))))) in x
1.031 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp (/ -1 x)) 5)) in x
1.031 * [taylor]: Taking taylor expansion of 2016 in x
1.031 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 5) in x
1.031 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.031 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.031 * [taylor]: Taking taylor expansion of -1 in x
1.031 * [taylor]: Taking taylor expansion of x in x
1.032 * [taylor]: Taking taylor expansion of (+ (* 144 (pow (exp (/ -1 x)) 7)) (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))))) in x
1.032 * [taylor]: Taking taylor expansion of (* 144 (pow (exp (/ -1 x)) 7)) in x
1.032 * [taylor]: Taking taylor expansion of 144 in x
1.032 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 7) in x
1.032 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.032 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.032 * [taylor]: Taking taylor expansion of -1 in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.032 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x))))) in x
1.032 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 9) in x
1.032 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.032 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.032 * [taylor]: Taking taylor expansion of -1 in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.032 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))) in x
1.032 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (/ -1 x)) 9)) in x
1.032 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 9) in x
1.032 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.032 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.032 * [taylor]: Taking taylor expansion of -1 in x
1.032 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (* 2304 (exp (/ -1 x))) in x
1.033 * [taylor]: Taking taylor expansion of 2304 in x
1.033 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.033 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.033 * [taylor]: Taking taylor expansion of -1 in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (+ (* 4608 (pow (exp (/ -1 x)) 2)) (+ (* 4032 (pow (exp (/ -1 x)) 4)) (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512)))) in x
1.033 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp (/ -1 x)) 2)) in x
1.033 * [taylor]: Taking taylor expansion of 4608 in x
1.033 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.033 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.033 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.033 * [taylor]: Taking taylor expansion of -1 in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (+ (* 4032 (pow (exp (/ -1 x)) 4)) (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512))) in x
1.033 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp (/ -1 x)) 4)) in x
1.033 * [taylor]: Taking taylor expansion of 4032 in x
1.033 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
1.033 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.033 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.033 * [taylor]: Taking taylor expansion of -1 in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512)) in x
1.033 * [taylor]: Taking taylor expansion of (* 672 (pow (exp (/ -1 x)) 6)) in x
1.033 * [taylor]: Taking taylor expansion of 672 in x
1.033 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 6) in x
1.033 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.033 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.033 * [taylor]: Taking taylor expansion of -1 in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of (+ (* 18 (pow (exp (/ -1 x)) 8)) 512) in x
1.033 * [taylor]: Taking taylor expansion of (* 18 (pow (exp (/ -1 x)) 8)) in x
1.033 * [taylor]: Taking taylor expansion of 18 in x
1.033 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 8) in x
1.033 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.033 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.033 * [taylor]: Taking taylor expansion of -1 in x
1.033 * [taylor]: Taking taylor expansion of x in x
1.033 * [taylor]: Taking taylor expansion of 512 in x
1.076 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
1.076 * [approximate]: Taking taylor expansion of (pow (- (exp x) 2) 6) in (x) around 0
1.076 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 6) in x
1.076 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
1.076 * [taylor]: Taking taylor expansion of (exp x) in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of 2 in x
1.076 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 6) in x
1.076 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
1.076 * [taylor]: Taking taylor expansion of (exp x) in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of 2 in x
1.077 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 6) in (x) around 0
1.077 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 6) in x
1.077 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
1.077 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.077 * [taylor]: Taking taylor expansion of x in x
1.077 * [taylor]: Taking taylor expansion of 2 in x
1.077 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 6) in x
1.077 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
1.077 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.077 * [taylor]: Taking taylor expansion of x in x
1.077 * [taylor]: Taking taylor expansion of 2 in x
1.081 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 6) in (x) around 0
1.081 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 6) in x
1.081 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
1.081 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.081 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.081 * [taylor]: Taking taylor expansion of -1 in x
1.081 * [taylor]: Taking taylor expansion of x in x
1.081 * [taylor]: Taking taylor expansion of 2 in x
1.081 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 6) in x
1.081 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
1.081 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.081 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.081 * [taylor]: Taking taylor expansion of -1 in x
1.081 * [taylor]: Taking taylor expansion of x in x
1.081 * [taylor]: Taking taylor expansion of 2 in x
1.085 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1)
1.085 * [approximate]: Taking taylor expansion of (pow (exp x) -6) in (x) around 0
1.085 * [taylor]: Taking taylor expansion of (pow (exp x) -6) in x
1.085 * [taylor]: Taking taylor expansion of (exp x) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (pow (exp x) -6) in x
1.085 * [taylor]: Taking taylor expansion of (exp x) in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.086 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) -6) in (x) around 0
1.086 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -6) in x
1.086 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.086 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -6) in x
1.086 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.086 * [taylor]: Taking taylor expansion of x in x
1.091 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) -6) in (x) around 0
1.091 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -6) in x
1.091 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.091 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.091 * [taylor]: Taking taylor expansion of -1 in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -6) in x
1.091 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.091 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.091 * [taylor]: Taking taylor expansion of -1 in x
1.091 * [taylor]: Taking taylor expansion of x in x
1.096 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.096 * [approximate]: Taking taylor expansion of (pow (pow (- (exp x) 2) 3) 3) in (x) around 0
1.096 * [taylor]: Taking taylor expansion of (pow (pow (- (exp x) 2) 3) 3) in x
1.096 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 3) in x
1.096 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
1.096 * [taylor]: Taking taylor expansion of (exp x) in x
1.096 * [taylor]: Taking taylor expansion of x in x
1.096 * [taylor]: Taking taylor expansion of 2 in x
1.096 * [taylor]: Taking taylor expansion of (pow (pow (- (exp x) 2) 3) 3) in x
1.096 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 3) in x
1.096 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
1.096 * [taylor]: Taking taylor expansion of (exp x) in x
1.096 * [taylor]: Taking taylor expansion of x in x
1.096 * [taylor]: Taking taylor expansion of 2 in x
1.097 * [approximate]: Taking taylor expansion of (pow (pow (- (exp (/ 1 x)) 2) 3) 3) in (x) around 0
1.097 * [taylor]: Taking taylor expansion of (pow (pow (- (exp (/ 1 x)) 2) 3) 3) in x
1.097 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in x
1.097 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
1.097 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.097 * [taylor]: Taking taylor expansion of x in x
1.097 * [taylor]: Taking taylor expansion of 2 in x
1.098 * [taylor]: Taking taylor expansion of (pow (pow (- (exp (/ 1 x)) 2) 3) 3) in x
1.098 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in x
1.098 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
1.098 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.098 * [taylor]: Taking taylor expansion of x in x
1.098 * [taylor]: Taking taylor expansion of 2 in x
1.103 * [approximate]: Taking taylor expansion of (pow (pow (- (exp (/ -1 x)) 2) 3) 3) in (x) around 0
1.103 * [taylor]: Taking taylor expansion of (pow (pow (- (exp (/ -1 x)) 2) 3) 3) in x
1.103 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in x
1.103 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
1.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.103 * [taylor]: Taking taylor expansion of -1 in x
1.103 * [taylor]: Taking taylor expansion of x in x
1.103 * [taylor]: Taking taylor expansion of 2 in x
1.103 * [taylor]: Taking taylor expansion of (pow (pow (- (exp (/ -1 x)) 2) 3) 3) in x
1.103 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in x
1.103 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
1.103 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.103 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.103 * [taylor]: Taking taylor expansion of -1 in x
1.103 * [taylor]: Taking taylor expansion of x in x
1.103 * [taylor]: Taking taylor expansion of 2 in x
1.108 * * * [progress]: simplifying candidates
1.110 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 (exp.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)) (exp.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (log.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (exp.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))) (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))))
  (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (*.f64 (*.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))) (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (+.f64 (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (-.f64 (exp.f64 x) 2) 3)) (-.f64 (*.f64 (pow.f64 (exp.f64 x) -3) (pow.f64 (exp.f64 x) -3)) (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))))
  (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))
  (+.f64 (pow.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) 3) (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 3) 3))
  (+.f64 (*.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)) (-.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) (*.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))))
  (-.f64 (*.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)) (*.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (-.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 6)
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 6)
  (*.f64 1 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) (*.f64 (cbrt.f64 6) (cbrt.f64 6)))
  (pow.f64 (-.f64 (exp.f64 x) 2) (sqrt.f64 6))
  (pow.f64 (-.f64 (exp.f64 x) 2) 1)
  (pow.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) (cbrt.f64 (-.f64 (exp.f64 x) 2))) 6)
  (pow.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) 6)
  (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 6)
  (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 6)
  (pow.f64 1 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 6)
  (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 6)
  (pow.f64 1 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (log.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6))
  (exp.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6))
  (*.f64 (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6)) (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6)))
  (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6))
  (*.f64 (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6) (pow.f64 (-.f64 (exp.f64 x) 2) 6)) (pow.f64 (-.f64 (exp.f64 x) 2) 6))
  (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6))
  (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6))
  (pow.f64 (-.f64 (exp.f64 x) 2) (/.f64 6 2))
  (pow.f64 (-.f64 (exp.f64 x) 2) (/.f64 6 2))
  (*.f64 x -6)
  (*.f64 (log.f64 (exp.f64 x)) -6)
  (*.f64 1 -6)
  (*.f64 (cbrt.f64 x) -6)
  (*.f64 (sqrt.f64 x) -6)
  (*.f64 x -6)
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -6) (cbrt.f64 -6)))
  (pow.f64 (exp.f64 x) (sqrt.f64 -6))
  (pow.f64 (exp.f64 x) 1)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -6)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -6)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -6)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -6)
  (pow.f64 1 -6)
  (pow.f64 (exp.f64 x) -6)
  (log.f64 (pow.f64 (exp.f64 x) -6))
  (exp.f64 (pow.f64 (exp.f64 x) -6))
  (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) -6)) (cbrt.f64 (pow.f64 (exp.f64 x) -6)))
  (cbrt.f64 (pow.f64 (exp.f64 x) -6))
  (*.f64 (*.f64 (pow.f64 (exp.f64 x) -6) (pow.f64 (exp.f64 x) -6)) (pow.f64 (exp.f64 x) -6))
  (sqrt.f64 (pow.f64 (exp.f64 x) -6))
  (sqrt.f64 (pow.f64 (exp.f64 x) -6))
  (pow.f64 (exp.f64 x) (/.f64 -6 2))
  (pow.f64 (exp.f64 x) (/.f64 -6 2))
  (*.f64 (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (*.f64 (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (*.f64 (log.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) 3)
  (*.f64 (log.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) 3)
  (*.f64 3 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (sqrt.f64 3))
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 1)
  (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) (cbrt.f64 (-.f64 (exp.f64 x) 2))) 3) 3)
  (pow.f64 (pow.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))) 3)
  (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) 3)
  (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) (cbrt.f64 (-.f64 (exp.f64 x) 2))) 3) 3)
  (pow.f64 (pow.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) 3)
  (pow.f64 1 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) (/.f64 3 2)) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) (/.f64 3 2)) 3)
  (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (log.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3))
  (exp.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3))
  (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)) (cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)))
  (cbrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3))
  (*.f64 (*.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)) (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3))
  (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) (cbrt.f64 (-.f64 (exp.f64 x) 2))) 3) 3)
  (pow.f64 (pow.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))) 3)
  (pow.f64 (cbrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) 3)
  (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) (cbrt.f64 (-.f64 (exp.f64 x) 2))) 3) 3)
  (pow.f64 (pow.f64 (cbrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (-.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2)) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3)) 3)
  (pow.f64 1 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) (/.f64 3 2)) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) (/.f64 3 2)) 3)
  (pow.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 3) (pow.f64 2 3)) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (+.f64 (*.f64 2 2) (*.f64 (exp.f64 x) 2))) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 2 2)) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (exp.f64 x) 2) 3) 3)
  (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (sqrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3))
  (sqrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3))
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (/.f64 3 2))
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (/.f64 3 2))
  (-.f64 (+.f64 (*.f64 9 (pow.f64 x 2)) (*.f64 1011/4 (pow.f64 x 4))) (*.f64 72 (pow.f64 x 3)))
  (-.f64 (+.f64 (*.f64 144 (pow.f64 (exp.f64 x) 7)) (+.f64 (/.f64 1 (pow.f64 (exp.f64 x) 9)) (+.f64 (*.f64 5376 (pow.f64 (exp.f64 x) 3)) (+.f64 (*.f64 2304 (exp.f64 x)) (+.f64 (*.f64 2016 (pow.f64 (exp.f64 x) 5)) (pow.f64 (exp.f64 x) 9)))))) (+.f64 (*.f64 672 (pow.f64 (exp.f64 x) 6)) (+.f64 (*.f64 4032 (pow.f64 (exp.f64 x) 4)) (+.f64 (*.f64 4608 (pow.f64 (exp.f64 x) 2)) (+.f64 512 (*.f64 18 (pow.f64 (exp.f64 x) 8)))))))
  (-.f64 (+.f64 (*.f64 144 (pow.f64 (exp.f64 x) 7)) (+.f64 (/.f64 1 (pow.f64 (exp.f64 x) 9)) (+.f64 (*.f64 5376 (pow.f64 (exp.f64 x) 3)) (+.f64 (*.f64 2304 (exp.f64 x)) (+.f64 (*.f64 2016 (pow.f64 (exp.f64 x) 5)) (pow.f64 (exp.f64 x) 9)))))) (+.f64 (*.f64 672 (pow.f64 (exp.f64 x) 6)) (+.f64 (*.f64 4032 (pow.f64 (exp.f64 x) 4)) (+.f64 (*.f64 4608 (pow.f64 (exp.f64 x) 2)) (+.f64 512 (*.f64 18 (pow.f64 (exp.f64 x) 8)))))))
  (-.f64 (+.f64 (*.f64 12 (pow.f64 x 2)) 1) (*.f64 6 x))
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (-.f64 (+.f64 (*.f64 18 (pow.f64 x 2)) 1) (*.f64 6 x))
  (/.f64 1 (pow.f64 (exp.f64 x) 6))
  (/.f64 1 (pow.f64 (exp.f64 x) 6))
  (-.f64 (*.f64 9 x) (+.f64 (*.f64 63/2 (pow.f64 x 2)) 1))
  (pow.f64 (-.f64 (exp.f64 x) 2) 9)
  (pow.f64 (-.f64 (exp.f64 x) 2) 9)
1.189 * * [simplify]: iteration  0 :  5093  enodes  (cost  2163 )
1.202 * [simplify]: Simplified to:
   (exp.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (log.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (exp.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))) (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))))
  (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (pow.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) 3)
  (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))))
  (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))
  (+.f64 (pow.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) 3) (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 6) (-.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 6) (*.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))))
  (-.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 6) (pow.f64 (pow.f64 (exp.f64 x) -3) 6))
  (-.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 6)
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 6)
  6
  (pow.f64 (-.f64 (exp.f64 x) 2) (*.f64 (cbrt.f64 6) (cbrt.f64 6)))
  (pow.f64 (-.f64 (exp.f64 x) 2) (sqrt.f64 6))
  (-.f64 (exp.f64 x) 2)
  (pow.f64 (-.f64 (exp.f64 x) 2) 4)
  (pow.f64 (-.f64 (exp.f64 x) 2) 2)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  1
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 6)
  (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 6)
  1
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 6)
  (exp.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6))
  (pow.f64 (-.f64 (exp.f64 x) 2) 4)
  (pow.f64 (-.f64 (exp.f64 x) 2) 2)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 6)
  (fabs.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (fabs.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3))
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (*.f64 x -6)
  (*.f64 x -6)
  -6
  (*.f64 -6 (cbrt.f64 x))
  (*.f64 -6 (sqrt.f64 x))
  (*.f64 x -6)
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -6) (cbrt.f64 -6)))
  (pow.f64 (exp.f64 x) (sqrt.f64 -6))
  (exp.f64 x)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -6)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -6)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -6)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -6)
  1
  (pow.f64 (exp.f64 x) -6)
  (*.f64 x -6)
  (exp.f64 (pow.f64 (exp.f64 x) -6))
  (*.f64 (cbrt.f64 (pow.f64 (exp.f64 x) -6)) (cbrt.f64 (pow.f64 (exp.f64 x) -6)))
  (cbrt.f64 (pow.f64 (exp.f64 x) -6))
  (pow.f64 (pow.f64 (exp.f64 x) -3) 6)
  (fabs.f64 (pow.f64 (exp.f64 x) -3))
  (fabs.f64 (pow.f64 (exp.f64 x) -3))
  (pow.f64 (exp.f64 x) -3)
  (pow.f64 (exp.f64 x) -3)
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 9)
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 9)
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 9)
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 9)
  9
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (sqrt.f64 3))
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3/2)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3/2)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (*.f64 (log.f64 (-.f64 (exp.f64 x) 2)) 9)
  (exp.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3))
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2)) 3) 3)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3/2)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3/2)
  1
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3/2) 3)
  (pow.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 3) 8) 3) 3)
  (pow.f64 (pow.f64 (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 2))) 3) 3)
  (pow.f64 (pow.f64 (-.f64 (pow.f64 (exp.f64 x) 2) 4) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (exp.f64 x) 2) 3) 3)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (sqrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3))
  (sqrt.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3))
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3/2)
  (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3/2)
  (-.f64 (+.f64 (*.f64 9 (*.f64 x x)) (*.f64 1011/4 (pow.f64 x 4))) (*.f64 72 (pow.f64 x 3)))
  (-.f64 (+.f64 (*.f64 144 (pow.f64 (exp.f64 x) 7)) (+.f64 (/.f64 1 (pow.f64 (exp.f64 x) 9)) (+.f64 (*.f64 (pow.f64 (exp.f64 x) 3) 5376) (+.f64 (*.f64 (exp.f64 x) 2304) (+.f64 (pow.f64 (exp.f64 x) 9) (*.f64 2016 (pow.f64 (exp.f64 x) 5))))))) (+.f64 (*.f64 672 (pow.f64 (exp.f64 x) 6)) (+.f64 (*.f64 4032 (pow.f64 (exp.f64 x) 4)) (+.f64 (*.f64 (pow.f64 (exp.f64 x) 2) 4608) (+.f64 512 (*.f64 18 (pow.f64 (exp.f64 x) 8)))))))
  (-.f64 (+.f64 (*.f64 144 (pow.f64 (exp.f64 x) 7)) (+.f64 (/.f64 1 (pow.f64 (exp.f64 x) 9)) (+.f64 (*.f64 (pow.f64 (exp.f64 x) 3) 5376) (+.f64 (*.f64 (exp.f64 x) 2304) (+.f64 (pow.f64 (exp.f64 x) 9) (*.f64 2016 (pow.f64 (exp.f64 x) 5))))))) (+.f64 (*.f64 672 (pow.f64 (exp.f64 x) 6)) (+.f64 (*.f64 4032 (pow.f64 (exp.f64 x) 4)) (+.f64 (*.f64 (pow.f64 (exp.f64 x) 2) 4608) (+.f64 512 (*.f64 18 (pow.f64 (exp.f64 x) 8)))))))
  (+.f64 (*.f64 x -6) (+.f64 1 (*.f64 (*.f64 x x) 12)))
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (pow.f64 (-.f64 (exp.f64 x) 2) 6)
  (+.f64 (*.f64 x -6) (+.f64 1 (*.f64 (*.f64 x x) 18)))
  (/.f64 1 (pow.f64 (exp.f64 x) 6))
  (/.f64 1 (pow.f64 (exp.f64 x) 6))
  (-.f64 (*.f64 x 9) (+.f64 1 (*.f64 (*.f64 x x) 63/2)))
  (pow.f64 (-.f64 (exp.f64 x) 2) 9)
  (pow.f64 (-.f64 (exp.f64 x) 2) 9)
1.202 * * * [progress]: adding candidates to table
1.505 * [progress]: [Phase 3 of 3] Extracting.
1.506 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))> #<alt (λ (x) (/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))))) (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))))))>)
1.507 * * * [regime-changes]: Trying 1 branch expressions: (x)
1.507 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))> #<alt (λ (x) (/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) (+.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (-.f64 (exp.f64 x) 2) 3) (pow.f64 (exp.f64 x) -3))))) (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))))))>)
1.521 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
1.522 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
1.525 * * [simplify]: iteration  0 :  17  enodes  (cost  22 )
1.525 * * [simplify]: iteration  1 :  17  enodes  (cost  22 )
1.525 * [simplify]: Simplified to:
   (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
3.934 * [regime-testing]: End program error score: 0.6557244818072401
3.967 * [regime-testing]: Target error score: 0.043406930560941505