9.414 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.082 * * * [progress]: [2/2] Setting up program.
0.086 * [progress]: [Phase 2 of 3] Improving.
0.086 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.279 * * [simplify]: iteration  0 :  4684  enodes  (cost  13 )
0.280 * * [simplify]: iteration  1 :  4684  enodes  (cost  13 )
0.282 * [simplify]: Simplified to:
   (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x)))
0.282 * * [progress]: iteration 1 / 4
0.282 * * * [progress]: picking best candidate
0.291 * * * * [pick]: Picked  #<alt (λ (x) (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))>
0.291 * * * [progress]: localizing error
0.301 * * * [progress]: generating rewritten candidates
0.301 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.309 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.315 * * * [progress]: generating series expansions
0.315 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.315 * [approximate]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2) in (x) around 0
0.315 * [taylor]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2) in x
0.315 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.315 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.315 * [taylor]: Taking taylor expansion of (neg x) in x
0.315 * [taylor]: Taking taylor expansion of x in x
0.316 * [taylor]: Taking taylor expansion of (exp x) in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.316 * [taylor]: Taking taylor expansion of 2 in x
0.316 * [taylor]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2) in x
0.316 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.316 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.316 * [taylor]: Taking taylor expansion of (neg x) in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.316 * [taylor]: Taking taylor expansion of (exp x) in x
0.316 * [taylor]: Taking taylor expansion of x in x
0.316 * [taylor]: Taking taylor expansion of 2 in x
0.338 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) in (x) around 0
0.338 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) in x
0.338 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.338 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.339 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of 2 in x
0.339 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2) in x
0.339 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.339 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.339 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.340 * [taylor]: Taking taylor expansion of 2 in x
0.344 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in (x) around 0
0.344 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in x
0.344 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.344 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.344 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.345 * [taylor]: Taking taylor expansion of -1 in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of 2 in x
0.345 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2) in x
0.345 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.345 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.345 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.345 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.345 * [taylor]: Taking taylor expansion of -1 in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of 2 in x
0.349 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.349 * [approximate]: Taking taylor expansion of (- (exp x) 2) in (x) around 0
0.349 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
0.349 * [taylor]: Taking taylor expansion of (exp x) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of 2 in x
0.349 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
0.349 * [taylor]: Taking taylor expansion of (exp x) in x
0.349 * [taylor]: Taking taylor expansion of x in x
0.349 * [taylor]: Taking taylor expansion of 2 in x
0.352 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in (x) around 0
0.352 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
0.352 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of 2 in x
0.352 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
0.352 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.352 * [taylor]: Taking taylor expansion of x in x
0.352 * [taylor]: Taking taylor expansion of 2 in x
0.354 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in (x) around 0
0.354 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
0.354 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.354 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.354 * [taylor]: Taking taylor expansion of -1 in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of 2 in x
0.355 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
0.355 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.355 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.355 * [taylor]: Taking taylor expansion of -1 in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of 2 in x
0.357 * * * [progress]: simplifying candidates
0.357 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 2 (exp.f64 (neg.f64 x)))
  (+.f64 (neg.f64 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 (*.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 (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 (*.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 (*.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 (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 (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))
  (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 (-.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 (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))))
  (exp.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
  (log.f64 (+.f64 (-.f64 (exp.f64 x) 2) (exp.f64 (neg.f64 x))))
  (*.f64 (exp.f64 (-.f64 (exp.f64 x) 2)) (exp.f64 (exp.f64 (neg.f64 x))))
  (*.f64 (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 2)) (exp.f64 (exp.f64 (neg.f64 x))))
  (-.f64 (exp.f64 x) 2)
  (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2))
  (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2))
  (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 2 2))
  (+.f64 (exp.f64 x) 2)
  (neg.f64 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)))
  (sqrt.f64 (-.f64 (exp.f64 x) 2))
  (sqrt.f64 (-.f64 (exp.f64 x) 2))
  (*.f64 (*.f64 (-.f64 (exp.f64 x) 2) (-.f64 (exp.f64 x) 2)) (-.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))
  (exp.f64 (-.f64 (exp.f64 x) 2))
  (log.f64 (-.f64 (exp.f64 x) 2))
  (/.f64 (exp.f64 (exp.f64 x)) (exp.f64 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.419 * * [simplify]: iteration  0 :  5120  enodes  (cost  637 )
0.423 * [simplify]: Simplified to:
   (-.f64 2 (exp.f64 (neg.f64 x)))
  (+.f64 (exp.f64 (neg.f64 x)) -2)
  (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x)))
  (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x)))
  (-.f64 (*.f64 (+.f64 -2 (exp.f64 x)) (+.f64 -2 (exp.f64 x))) (pow.f64 (exp.f64 x) -2))
  (-.f64 (+.f64 -2 (exp.f64 x)) (exp.f64 (neg.f64 x)))
  (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))
  (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (+.f64 -2 (exp.f64 x)) (-.f64 (+.f64 -2 (exp.f64 x)) (exp.f64 (neg.f64 x)))))
  (+.f64 (*.f64 (exp.f64 x) (-.f64 (pow.f64 (exp.f64 x) 2) 3)) (*.f64 2 (exp.f64 0)))
  (*.f64 (exp.f64 x) (+.f64 2 (exp.f64 x)))
  (+.f64 2 (*.f64 (exp.f64 x) (-.f64 (pow.f64 (exp.f64 x) 2) 3)))
  (*.f64 (exp.f64 x) (+.f64 2 (exp.f64 x)))
  (+.f64 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) (-.f64 (pow.f64 (exp.f64 x) 3) 6))) (*.f64 4 (exp.f64 0)))
  (*.f64 (exp.f64 x) (+.f64 4 (*.f64 (exp.f64 x) (+.f64 2 (exp.f64 x)))))
  (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) (-.f64 (pow.f64 (exp.f64 x) 3) 6))))
  (*.f64 (exp.f64 x) (+.f64 4 (*.f64 (exp.f64 x) (+.f64 2 (exp.f64 x)))))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x))))
  (sqrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x))))
  (pow.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x))) 3)
  (*.f64 (cbrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x)))) (cbrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x)))))
  (cbrt.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x))))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x))))
  (log.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x))))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x))))
  (exp.f64 (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x))))
  (+.f64 -2 (exp.f64 x))
  (+.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2))
  (-.f64 (sqrt.f64 (exp.f64 x)) (sqrt.f64 2))
  (-.f64 (pow.f64 (exp.f64 x) 2) 4)
  (+.f64 2 (exp.f64 x))
  -2
  (-.f64 (pow.f64 (exp.f64 x) 3) 8)
  (+.f64 4 (*.f64 (exp.f64 x) (+.f64 2 (exp.f64 x))))
  (sqrt.f64 (+.f64 -2 (exp.f64 x)))
  (sqrt.f64 (+.f64 -2 (exp.f64 x)))
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (*.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) (cbrt.f64 (+.f64 -2 (exp.f64 x))))
  (cbrt.f64 (+.f64 -2 (exp.f64 x)))
  (exp.f64 (+.f64 -2 (exp.f64 x)))
  (log.f64 (+.f64 -2 (exp.f64 x)))
  (exp.f64 (+.f64 -2 (exp.f64 x)))
  (+.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 -2 (exp.f64 x)))
  (+.f64 (exp.f64 (neg.f64 x)) (+.f64 -2 (exp.f64 x)))
  (+.f64 -1 (+.f64 x (*.f64 (*.f64 x x) 1/2)))
  (+.f64 -2 (exp.f64 x))
  (+.f64 -2 (exp.f64 x))
0.423 * * * [progress]: adding candidates to table
0.543 * * [progress]: iteration 2 / 4
0.543 * * * [progress]: picking best candidate
0.553 * * * * [pick]: Picked  #<alt (λ (x) (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))))>
0.553 * * * [progress]: localizing error
0.568 * * * [progress]: generating rewritten candidates
0.568 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.574 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
0.580 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.586 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.596 * * * [progress]: generating series expansions
0.596 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.596 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0
0.596 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.596 * [taylor]: Taking taylor expansion of 1/12 in x
0.596 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.596 * [taylor]: Taking taylor expansion of x in x
0.596 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.596 * [taylor]: Taking taylor expansion of 1/12 in x
0.597 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.597 * [taylor]: Taking taylor expansion of x in x
0.605 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.605 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.605 * [taylor]: Taking taylor expansion of 1/12 in x
0.605 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.605 * [taylor]: Taking taylor expansion of x in x
0.605 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.605 * [taylor]: Taking taylor expansion of 1/12 in x
0.605 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.605 * [taylor]: Taking taylor expansion of x in x
0.615 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.615 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.615 * [taylor]: Taking taylor expansion of 1/12 in x
0.615 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.615 * [taylor]: Taking taylor expansion of 1/12 in x
0.615 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.625 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
0.625 * [approximate]: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0
0.625 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.625 * [taylor]: Taking taylor expansion of 1/360 in x
0.625 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.625 * [taylor]: Taking taylor expansion of x in x
0.625 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.625 * [taylor]: Taking taylor expansion of 1/360 in x
0.625 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.625 * [taylor]: Taking taylor expansion of x in x
0.634 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
0.634 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.634 * [taylor]: Taking taylor expansion of 1/360 in x
0.634 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.634 * [taylor]: Taking taylor expansion of x in x
0.635 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.635 * [taylor]: Taking taylor expansion of 1/360 in x
0.635 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.635 * [taylor]: Taking taylor expansion of x in x
0.648 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
0.648 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.648 * [taylor]: Taking taylor expansion of 1/360 in x
0.648 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.648 * [taylor]: Taking taylor expansion of x in x
0.649 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.649 * [taylor]: Taking taylor expansion of 1/360 in x
0.649 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.649 * [taylor]: Taking taylor expansion of x in x
0.659 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.659 * [approximate]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in (x) around 0
0.660 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.660 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.660 * [taylor]: Taking taylor expansion of 1/360 in x
0.660 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.660 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.660 * [taylor]: Taking taylor expansion of 1/12 in x
0.660 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.660 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.660 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.660 * [taylor]: Taking taylor expansion of 1/360 in x
0.660 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.660 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.660 * [taylor]: Taking taylor expansion of 1/12 in x
0.660 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.660 * [taylor]: Taking taylor expansion of x in x
0.681 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
0.681 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.681 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.681 * [taylor]: Taking taylor expansion of 1/360 in x
0.681 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.681 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.682 * [taylor]: Taking taylor expansion of 1/12 in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.682 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.682 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.682 * [taylor]: Taking taylor expansion of 1/360 in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.682 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.682 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.682 * [taylor]: Taking taylor expansion of 1/12 in x
0.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.682 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.682 * [taylor]: Taking taylor expansion of x in x
0.712 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
0.712 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.712 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.712 * [taylor]: Taking taylor expansion of 1/360 in x
0.712 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.712 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.712 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.712 * [taylor]: Taking taylor expansion of 1/12 in x
0.712 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.712 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.712 * [taylor]: Taking taylor expansion of x in x
0.713 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.713 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.713 * [taylor]: Taking taylor expansion of 1/360 in x
0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.713 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.713 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.713 * [taylor]: Taking taylor expansion of 1/12 in x
0.713 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.713 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.713 * [taylor]: Taking taylor expansion of x in x
0.742 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.743 * [approximate]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in (x) around 0
0.743 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x
0.743 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.743 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.743 * [taylor]: Taking taylor expansion of 1/360 in x
0.743 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.743 * [taylor]: Taking taylor expansion of 1/12 in x
0.743 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) in x
0.743 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.743 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.743 * [taylor]: Taking taylor expansion of 1/360 in x
0.743 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.743 * [taylor]: Taking taylor expansion of 1/12 in x
0.743 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.748 * [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.748 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.748 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.748 * [taylor]: Taking taylor expansion of 1/360 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.748 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.748 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.749 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.749 * [taylor]: Taking taylor expansion of 1/12 in x
0.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.749 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.749 * [taylor]: Taking taylor expansion of x in x
0.749 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.749 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.749 * [taylor]: Taking taylor expansion of 1/360 in x
0.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.749 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.749 * [taylor]: Taking taylor expansion of x in x
0.749 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.749 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.749 * [taylor]: Taking taylor expansion of x in x
0.749 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.749 * [taylor]: Taking taylor expansion of 1/12 in x
0.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.749 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.749 * [taylor]: Taking taylor expansion of x in x
0.759 * [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.759 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.759 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.759 * [taylor]: Taking taylor expansion of 1/360 in x
0.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.759 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.760 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.760 * [taylor]: Taking taylor expansion of x in x
0.760 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.760 * [taylor]: Taking taylor expansion of 1/12 in x
0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.760 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.760 * [taylor]: Taking taylor expansion of x in x
0.760 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4))))) in x
0.760 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.760 * [taylor]: Taking taylor expansion of 1/360 in x
0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.760 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.760 * [taylor]: Taking taylor expansion of x in x
0.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1/12 (/ 1 (pow x 4)))) in x
0.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.760 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.760 * [taylor]: Taking taylor expansion of x in x
0.761 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.761 * [taylor]: Taking taylor expansion of 1/12 in x
0.761 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.761 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.761 * [taylor]: Taking taylor expansion of x in x
0.770 * * * [progress]: simplifying candidates
0.771 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (*.f64 1/12 (pow.f64 x 4))
  (*.f64 (sqrt.f64 1/12) (pow.f64 x 4))
  (*.f64 (cbrt.f64 1/12) (pow.f64 x 4))
  (*.f64 1/12 (pow.f64 x (/.f64 4 2)))
  (*.f64 1/12 1)
  (*.f64 1/12 (sqrt.f64 (pow.f64 x 4)))
  (*.f64 1/12 (*.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (pow.f64 x 4))))
  (*.f64 1/12 (pow.f64 1 4))
  (*.f64 1/12 (pow.f64 (sqrt.f64 x) 4))
  (*.f64 1/12 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.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 (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 (sqrt.f64 x) 4))
  (*.f64 (sqrt.f64 1/12) (pow.f64 (sqrt.f64 x) 4))
  (sqrt.f64 (*.f64 1/12 (pow.f64 x 4)))
  (sqrt.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)))
  (*.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 1/12) 1/12) (*.f64 (*.f64 (pow.f64 x 4) (pow.f64 x 4)) (pow.f64 x 4)))
  (exp.f64 (*.f64 1/12 (pow.f64 x 4)))
  (log.f64 (*.f64 1/12 (pow.f64 x 4)))
  (+.f64 (log.f64 1/12) (log.f64 (pow.f64 x 4)))
  (+.f64 (log.f64 1/12) (*.f64 (log.f64 x) 4))
  (+.f64 (log.f64 1/12) (*.f64 (log.f64 x) 4))
  (*.f64 1/360 (pow.f64 x 6))
  (*.f64 (sqrt.f64 1/360) (pow.f64 x 6))
  (*.f64 (cbrt.f64 1/360) (pow.f64 x 6))
  (*.f64 1/360 (pow.f64 x (/.f64 6 2)))
  (*.f64 1/360 1)
  (*.f64 1/360 (sqrt.f64 (pow.f64 x 6)))
  (*.f64 1/360 (*.f64 (cbrt.f64 (pow.f64 x 6)) (cbrt.f64 (pow.f64 x 6))))
  (*.f64 1/360 (pow.f64 1 6))
  (*.f64 1/360 (pow.f64 (sqrt.f64 x) 6))
  (*.f64 1/360 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.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 (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 (sqrt.f64 x) 6))
  (*.f64 (sqrt.f64 1/360) (pow.f64 (sqrt.f64 x) 6))
  (sqrt.f64 (*.f64 1/360 (pow.f64 x 6)))
  (sqrt.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)))
  (*.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 1/360) 1/360) (*.f64 (*.f64 (pow.f64 x 6) (pow.f64 x 6)) (pow.f64 x 6)))
  (exp.f64 (*.f64 1/360 (pow.f64 x 6)))
  (log.f64 (*.f64 1/360 (pow.f64 x 6)))
  (+.f64 (log.f64 1/360) (log.f64 (pow.f64 x 6)))
  (+.f64 (log.f64 1/360) (*.f64 (log.f64 x) 6))
  (+.f64 (log.f64 1/360) (*.f64 (log.f64 x) 6))
  (-.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 (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)))))
  (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 (*.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))))
  (*.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))))
  (exp.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (log.f64 (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
  (*.f64 (exp.f64 (*.f64 1/360 (pow.f64 x 6))) (exp.f64 (*.f64 1/12 (pow.f64 x 4))))
  (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))
  (-.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 (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))))))
  (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 (*.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)))))
  (*.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)))))
  (exp.f64 (+.f64 (*.f64 x x) (+.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)))))
  (*.f64 (exp.f64 (*.f64 x x)) (exp.f64 (+.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 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.851 * * [simplify]: iteration  0 :  5365  enodes  (cost  1265 )
0.859 * [simplify]: Simplified to:
   (*.f64 1/12 (pow.f64 x 4))
  (*.f64 (pow.f64 x 4) (sqrt.f64 1/12))
  (*.f64 (pow.f64 x 4) (cbrt.f64 1/12))
  (*.f64 1/12 (*.f64 x x))
  1/12
  (*.f64 1/12 (sqrt.f64 (pow.f64 x 4)))
  (*.f64 1/12 (*.f64 (cbrt.f64 (pow.f64 x 4)) (cbrt.f64 (pow.f64 x 4))))
  1/12
  (*.f64 1/12 (*.f64 x x))
  (*.f64 1/12 (pow.f64 (*.f64 (cbrt.f64 x) (cbrt.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))
  (sqrt.f64 (*.f64 1/12 (pow.f64 x 4)))
  (sqrt.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))
  (exp.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)))
  (log.f64 (*.f64 1/12 (pow.f64 x 4)))
  (*.f64 1/360 (pow.f64 x 6))
  (*.f64 (pow.f64 x 6) (sqrt.f64 1/360))
  (*.f64 (pow.f64 x 6) (cbrt.f64 1/360))
  (*.f64 1/360 (pow.f64 x 3))
  1/360
  (*.f64 1/360 (sqrt.f64 (pow.f64 x 6)))
  (*.f64 (pow.f64 x 4) 1/360)
  1/360
  (*.f64 1/360 (pow.f64 x 3))
  (*.f64 (pow.f64 x 4) 1/360)
  (*.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))
  (sqrt.f64 (*.f64 1/360 (pow.f64 x 6)))
  (sqrt.f64 (*.f64 1/360 (pow.f64 x 6)))
  (pow.f64 (*.f64 1/360 (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)))
  (pow.f64 (*.f64 1/360 (pow.f64 x 6)) 3)
  (exp.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)))
  (log.f64 (*.f64 1/360 (pow.f64 x 6)))
  (+.f64 (*.f64 (pow.f64 x 12) 1/129600) (*.f64 (pow.f64 x 8) -1/144))
  (-.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4)))
  (*.f64 (pow.f64 x 12) (+.f64 1/1728 (*.f64 (pow.f64 x 6) 1/46656000)))
  (+.f64 (*.f64 1/144 (pow.f64 x 8)) (+.f64 (*.f64 (pow.f64 x 12) 1/129600) (*.f64 1/360 (*.f64 (pow.f64 x 10) -1/12))))
  (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))))
  (pow.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))) 3)
  (*.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))))
  (exp.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
  (log.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (*.f64 1/360 (pow.f64 x 6))))
  (exp.f64 (+.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 (pow.f64 x 4) (*.f64 (+.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 (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 1/12 (pow.f64 x 4)) (-.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6))))))
  (sqrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))))
  (sqrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))))
  (pow.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))) 3)
  (*.f64 (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6))))) (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6))))))
  (cbrt.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))))
  (exp.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))))
  (log.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))))
  (exp.f64 (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6)))))
  (exp.f64 (+.f64 (*.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/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 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6))))
  (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6))))
  (+.f64 (*.f64 1/12 (pow.f64 x 4)) (+.f64 (*.f64 x x) (*.f64 1/360 (pow.f64 x 6))))
0.860 * * * [progress]: adding candidates to table
1.114 * * [progress]: iteration 3 / 4
1.114 * * * [progress]: picking best candidate
1.119 * * * * [pick]: Picked  #<alt (λ (x) (/.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)) (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (+.f64 -2 (exp.f64 x)) (-.f64 (+.f64 -2 (exp.f64 x)) (exp.f64 (neg.f64 x)))))))>
1.119 * * * [progress]: localizing error
1.143 * * * [progress]: generating rewritten candidates
1.143 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.157 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
1.162 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.166 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.171 * * * [progress]: generating series expansions
1.171 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.172 * [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
1.172 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) -3) (+ (* 12 (exp x)) (pow (exp x) 3))) (+ (* 6 (pow (exp x) 2)) 8)) in x
1.172 * [taylor]: Taking taylor expansion of (+ (pow (exp x) -3) (+ (* 12 (exp x)) (pow (exp x) 3))) in x
1.172 * [taylor]: Taking taylor expansion of (pow (exp x) -3) in x
1.172 * [taylor]: Taking taylor expansion of (exp x) in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.172 * [taylor]: Taking taylor expansion of (+ (* 12 (exp x)) (pow (exp x) 3)) in x
1.172 * [taylor]: Taking taylor expansion of (* 12 (exp x)) in x
1.172 * [taylor]: Taking taylor expansion of 12 in x
1.172 * [taylor]: Taking taylor expansion of (exp x) in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.172 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.172 * [taylor]: Taking taylor expansion of (exp x) in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.172 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp x) 2)) 8) in x
1.173 * [taylor]: Taking taylor expansion of (* 6 (pow (exp x) 2)) in x
1.173 * [taylor]: Taking taylor expansion of 6 in x
1.173 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.173 * [taylor]: Taking taylor expansion of (exp x) in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.173 * [taylor]: Taking taylor expansion of 8 in x
1.173 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) -3) (+ (* 12 (exp x)) (pow (exp x) 3))) (+ (* 6 (pow (exp x) 2)) 8)) in x
1.173 * [taylor]: Taking taylor expansion of (+ (pow (exp x) -3) (+ (* 12 (exp x)) (pow (exp x) 3))) in x
1.173 * [taylor]: Taking taylor expansion of (pow (exp x) -3) in x
1.173 * [taylor]: Taking taylor expansion of (exp x) in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.173 * [taylor]: Taking taylor expansion of (+ (* 12 (exp x)) (pow (exp x) 3)) in x
1.173 * [taylor]: Taking taylor expansion of (* 12 (exp x)) in x
1.173 * [taylor]: Taking taylor expansion of 12 in x
1.173 * [taylor]: Taking taylor expansion of (exp x) in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.173 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.173 * [taylor]: Taking taylor expansion of (exp x) in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.173 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp x) 2)) 8) in x
1.173 * [taylor]: Taking taylor expansion of (* 6 (pow (exp x) 2)) in x
1.173 * [taylor]: Taking taylor expansion of 6 in x
1.173 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.173 * [taylor]: Taking taylor expansion of (exp x) in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.173 * [taylor]: Taking taylor expansion of 8 in x
1.196 * [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
1.196 * [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
1.196 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) -3) (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) in x
1.196 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in x
1.196 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.196 * [taylor]: Taking taylor expansion of x in x
1.196 * [taylor]: Taking taylor expansion of (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3)) in x
1.196 * [taylor]: Taking taylor expansion of (* 12 (exp (/ 1 x))) in x
1.196 * [taylor]: Taking taylor expansion of 12 in x
1.196 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.196 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.197 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp (/ 1 x)) 2)) 8) in x
1.197 * [taylor]: Taking taylor expansion of (* 6 (pow (exp (/ 1 x)) 2)) in x
1.197 * [taylor]: Taking taylor expansion of 6 in x
1.197 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.197 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of 8 in x
1.197 * [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
1.197 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) -3) (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) in x
1.197 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in x
1.197 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.198 * [taylor]: Taking taylor expansion of (+ (* 12 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3)) in x
1.198 * [taylor]: Taking taylor expansion of (* 12 (exp (/ 1 x))) in x
1.198 * [taylor]: Taking taylor expansion of 12 in x
1.198 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.198 * [taylor]: Taking taylor expansion of x in x
1.198 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.198 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.198 * [taylor]: Taking taylor expansion of x in x
1.198 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp (/ 1 x)) 2)) 8) in x
1.198 * [taylor]: Taking taylor expansion of (* 6 (pow (exp (/ 1 x)) 2)) in x
1.198 * [taylor]: Taking taylor expansion of 6 in x
1.198 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.198 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.198 * [taylor]: Taking taylor expansion of x in x
1.198 * [taylor]: Taking taylor expansion of 8 in x
1.251 * [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
1.251 * [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
1.251 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x))))) in x
1.251 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.251 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.251 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.251 * [taylor]: Taking taylor expansion of -1 in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.251 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x)))) in x
1.251 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in x
1.251 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.251 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.251 * [taylor]: Taking taylor expansion of -1 in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.251 * [taylor]: Taking taylor expansion of (* 12 (exp (/ -1 x))) in x
1.251 * [taylor]: Taking taylor expansion of 12 in x
1.251 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.251 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.251 * [taylor]: Taking taylor expansion of -1 in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.252 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp (/ -1 x)) 2)) 8) in x
1.252 * [taylor]: Taking taylor expansion of (* 6 (pow (exp (/ -1 x)) 2)) in x
1.252 * [taylor]: Taking taylor expansion of 6 in x
1.252 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.252 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.252 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.252 * [taylor]: Taking taylor expansion of -1 in x
1.252 * [taylor]: Taking taylor expansion of x in x
1.252 * [taylor]: Taking taylor expansion of 8 in x
1.252 * [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
1.252 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x))))) in x
1.252 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.252 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.252 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.252 * [taylor]: Taking taylor expansion of -1 in x
1.252 * [taylor]: Taking taylor expansion of x in x
1.252 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) -3) (* 12 (exp (/ -1 x)))) in x
1.252 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in x
1.252 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.252 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.252 * [taylor]: Taking taylor expansion of -1 in x
1.252 * [taylor]: Taking taylor expansion of x in x
1.253 * [taylor]: Taking taylor expansion of (* 12 (exp (/ -1 x))) in x
1.253 * [taylor]: Taking taylor expansion of 12 in x
1.253 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.253 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.253 * [taylor]: Taking taylor expansion of -1 in x
1.253 * [taylor]: Taking taylor expansion of x in x
1.253 * [taylor]: Taking taylor expansion of (+ (* 6 (pow (exp (/ -1 x)) 2)) 8) in x
1.253 * [taylor]: Taking taylor expansion of (* 6 (pow (exp (/ -1 x)) 2)) in x
1.253 * [taylor]: Taking taylor expansion of 6 in x
1.253 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.253 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.253 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.253 * [taylor]: Taking taylor expansion of -1 in x
1.253 * [taylor]: Taking taylor expansion of x in x
1.253 * [taylor]: Taking taylor expansion of 8 in x
1.303 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.304 * [approximate]: Taking taylor expansion of (pow (- (exp x) 2) 3) in (x) around 0
1.304 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 3) in x
1.304 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
1.304 * [taylor]: Taking taylor expansion of (exp x) in x
1.304 * [taylor]: Taking taylor expansion of x in x
1.304 * [taylor]: Taking taylor expansion of 2 in x
1.304 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 3) in x
1.304 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
1.304 * [taylor]: Taking taylor expansion of (exp x) in x
1.304 * [taylor]: Taking taylor expansion of x in x
1.304 * [taylor]: Taking taylor expansion of 2 in x
1.307 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in (x) around 0
1.307 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in x
1.307 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
1.307 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.307 * [taylor]: Taking taylor expansion of x in x
1.307 * [taylor]: Taking taylor expansion of 2 in x
1.307 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in x
1.307 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
1.307 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.307 * [taylor]: Taking taylor expansion of x in x
1.308 * [taylor]: Taking taylor expansion of 2 in x
1.321 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in (x) around 0
1.321 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in x
1.321 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
1.321 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.321 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.321 * [taylor]: Taking taylor expansion of -1 in x
1.321 * [taylor]: Taking taylor expansion of x in x
1.321 * [taylor]: Taking taylor expansion of 2 in x
1.322 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in x
1.322 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
1.322 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.322 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.322 * [taylor]: Taking taylor expansion of -1 in x
1.322 * [taylor]: Taking taylor expansion of x in x
1.322 * [taylor]: Taking taylor expansion of 2 in x
1.335 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.335 * [approximate]: Taking taylor expansion of (pow (exp x) -3) in (x) around 0
1.335 * [taylor]: Taking taylor expansion of (pow (exp x) -3) in x
1.335 * [taylor]: Taking taylor expansion of (exp x) in x
1.335 * [taylor]: Taking taylor expansion of x in x
1.336 * [taylor]: Taking taylor expansion of (pow (exp x) -3) in x
1.336 * [taylor]: Taking taylor expansion of (exp x) in x
1.336 * [taylor]: Taking taylor expansion of x in x
1.338 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in (x) around 0
1.338 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in x
1.338 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.339 * [taylor]: Taking taylor expansion of x in x
1.339 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -3) in x
1.339 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.339 * [taylor]: Taking taylor expansion of x in x
1.356 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in (x) around 0
1.356 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in x
1.356 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.356 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.356 * [taylor]: Taking taylor expansion of -1 in x
1.356 * [taylor]: Taking taylor expansion of x in x
1.356 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -3) in x
1.357 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.357 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.357 * [taylor]: Taking taylor expansion of -1 in x
1.357 * [taylor]: Taking taylor expansion of x in x
1.374 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.374 * [approximate]: Taking taylor expansion of (pow (exp x) -2) in (x) around 0
1.374 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x
1.374 * [taylor]: Taking taylor expansion of (exp x) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x
1.374 * [taylor]: Taking taylor expansion of (exp x) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.376 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in (x) around 0
1.377 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x
1.377 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.377 * [taylor]: Taking taylor expansion of x in x
1.377 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x
1.377 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.377 * [taylor]: Taking taylor expansion of x in x
1.388 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in (x) around 0
1.388 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x
1.388 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.388 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.389 * [taylor]: Taking taylor expansion of -1 in x
1.389 * [taylor]: Taking taylor expansion of x in x
1.389 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x
1.389 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.389 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.389 * [taylor]: Taking taylor expansion of -1 in x
1.389 * [taylor]: Taking taylor expansion of x in x
1.402 * * * [progress]: simplifying candidates
1.404 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))
  (-.f64 (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) (*.f64 (pow.f64 (exp.f64 x) -3) (pow.f64 (exp.f64 x) -3)))
  (-.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) (-.f64 (*.f64 (pow.f64 (exp.f64 x) -3) (pow.f64 (exp.f64 x) -3)) (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))))
  (sqrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (sqrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (*.f64 (*.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)) (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))) (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))))
  (cbrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (exp.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (log.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (*.f64 (exp.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) (exp.f64 (pow.f64 (exp.f64 x) -3)))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (/.f64 3 2))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (/.f64 3 2))
  (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (*.f64 (+.f64 -2 (exp.f64 x)) (+.f64 -2 (exp.f64 x)))
  (pow.f64 (-.f64 (*.f64 -2 -2) (*.f64 (exp.f64 x) (exp.f64 x))) 3)
  (pow.f64 (-.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 (pow.f64 -2 3) (pow.f64 (exp.f64 x) 3)) 3)
  (pow.f64 (+.f64 (*.f64 -2 -2) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 -2 (exp.f64 x)))) 3)
  (pow.f64 1 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 1 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (*.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) (cbrt.f64 (+.f64 -2 (exp.f64 x)))) 3)
  (pow.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) 3)
  (*.f64 (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (*.f64 (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)))
  (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (exp.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (log.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (*.f64 (+.f64 -2 (exp.f64 x)) (+.f64 -2 (exp.f64 x)))
  (pow.f64 1 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 1 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (*.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) (cbrt.f64 (+.f64 -2 (exp.f64 x)))) 3)
  (pow.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 1)
  (pow.f64 (+.f64 -2 (exp.f64 x)) (sqrt.f64 3))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (*.f64 1 3)
  (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 3)
  (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (exp.f64 x) (/.f64 -3 2))
  (pow.f64 (exp.f64 x) (/.f64 -3 2))
  (sqrt.f64 (pow.f64 (exp.f64 x) -3))
  (sqrt.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))
  (*.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))
  (exp.f64 (pow.f64 (exp.f64 x) -3))
  (log.f64 (pow.f64 (exp.f64 x) -3))
  (pow.f64 1 -3)
  (pow.f64 (exp.f64 x) -3)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -3)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -3)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -3)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -3)
  (pow.f64 (exp.f64 x) 1)
  (pow.f64 (exp.f64 x) (sqrt.f64 -3))
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3)))
  (*.f64 x -3)
  (*.f64 (sqrt.f64 x) -3)
  (*.f64 (cbrt.f64 x) -3)
  (*.f64 1 -3)
  (*.f64 (log.f64 (exp.f64 x)) -3)
  (*.f64 x -3)
  (pow.f64 (exp.f64 x) (/.f64 -2 2))
  (pow.f64 (exp.f64 x) (/.f64 -2 2))
  (sqrt.f64 (pow.f64 (exp.f64 x) -2))
  (sqrt.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))
  (*.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))
  (exp.f64 (pow.f64 (exp.f64 x) -2))
  (log.f64 (pow.f64 (exp.f64 x) -2))
  (pow.f64 1 -2)
  (pow.f64 (exp.f64 x) -2)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -2)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -2)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -2)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -2)
  (pow.f64 (exp.f64 x) 1)
  (pow.f64 (exp.f64 x) (sqrt.f64 -2))
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -2) (cbrt.f64 -2)))
  (*.f64 x -2)
  (*.f64 (sqrt.f64 x) -2)
  (*.f64 (cbrt.f64 x) -2)
  (*.f64 1 -2)
  (*.f64 (log.f64 (exp.f64 x)) -2)
  (*.f64 x -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 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 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 (*.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))
1.484 * * [simplify]: iteration  0 :  5822  enodes  (cost  1108 )
1.491 * [simplify]: Simplified to:
   (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))
  (-.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6) (pow.f64 (exp.f64 x) -6))
  (-.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))))
  (sqrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (sqrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (pow.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)) 3)
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))) (cbrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))))
  (cbrt.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (exp.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (log.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (exp.f64 (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3)))
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2)
  (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (pow.f64 (+.f64 -2 (exp.f64 x)) 2)
  (pow.f64 (-.f64 4 (pow.f64 (exp.f64 x) 2)) 3)
  (pow.f64 (-.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -8 (pow.f64 (exp.f64 x) 3)) 3)
  (pow.f64 (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 2))) 3)
  1
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  1
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 2)
  (+.f64 -2 (exp.f64 x))
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 2)
  (+.f64 -2 (exp.f64 x))
  (exp.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (log.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (pow.f64 (+.f64 -2 (exp.f64 x)) 2)
  1
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  1
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 2)
  (+.f64 -2 (exp.f64 x))
  (+.f64 -2 (exp.f64 x))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (sqrt.f64 3))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  3
  (log.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (log.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (pow.f64 (exp.f64 x) -3/2)
  (pow.f64 (exp.f64 x) -3/2)
  (sqrt.f64 (pow.f64 (exp.f64 x) -3))
  (sqrt.f64 (pow.f64 (exp.f64 x) -3))
  (pow.f64 (pow.f64 (exp.f64 x) -3) 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))
  (exp.f64 (pow.f64 (exp.f64 x) -3))
  (*.f64 x -3)
  1
  (pow.f64 (exp.f64 x) -3)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -3)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -3)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -3)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -3)
  (exp.f64 x)
  (pow.f64 (exp.f64 x) (sqrt.f64 -3))
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -3) (cbrt.f64 -3)))
  (*.f64 x -3)
  (*.f64 -3 (sqrt.f64 x))
  (*.f64 -3 (cbrt.f64 x))
  -3
  (*.f64 x -3)
  (*.f64 x -3)
  (exp.f64 (neg.f64 x))
  (exp.f64 (neg.f64 x))
  (fabs.f64 (exp.f64 (neg.f64 x)))
  (fabs.f64 (exp.f64 (neg.f64 x)))
  (pow.f64 (pow.f64 (exp.f64 x) -2) 3)
  (*.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))
  (exp.f64 (pow.f64 (exp.f64 x) -2))
  (*.f64 -2 x)
  1
  (pow.f64 (exp.f64 x) -2)
  (exp.f64 (neg.f64 x))
  (exp.f64 (neg.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 x)
  (pow.f64 (exp.f64 x) (sqrt.f64 -2))
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -2) (cbrt.f64 -2)))
  (*.f64 -2 x)
  (*.f64 -2 (sqrt.f64 x))
  (*.f64 -2 (cbrt.f64 x))
  -2
  (*.f64 -2 x)
  (*.f64 -2 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) (exp.f64 (*.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) (exp.f64 (*.f64 x -3)))) (+.f64 8 (*.f64 (pow.f64 (exp.f64 x) 2) 6)))
  (+.f64 -1 (*.f64 x (-.f64 3 (*.f64 x 3/2))))
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (+.f64 1 (*.f64 x (-.f64 (*.f64 x 9/2) 3)))
  (exp.f64 (*.f64 x -3))
  (exp.f64 (*.f64 x -3))
  (+.f64 1 (*.f64 x (-.f64 (+.f64 x x) 2)))
  (pow.f64 (exp.f64 x) -2)
  (pow.f64 (exp.f64 x) -2)
1.491 * * * [progress]: adding candidates to table
1.710 * * [progress]: iteration 4 / 4
1.710 * * * [progress]: picking best candidate
1.716 * * * * [pick]: Picked  #<alt (λ (x) (/.f64 (/.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))))) (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (+.f64 -2 (exp.f64 x)) (-.f64 (+.f64 -2 (exp.f64 x)) (exp.f64 (neg.f64 x)))))))>
1.716 * * * [progress]: localizing error
1.760 * * * [progress]: generating rewritten candidates
1.760 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.804 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1)
1.810 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1)
1.813 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
1.824 * * * [progress]: generating series expansions
1.824 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.857 * [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
1.857 * [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
1.857 * [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
1.857 * [taylor]: Taking taylor expansion of (* 144 (pow (exp x) 7)) in x
1.857 * [taylor]: Taking taylor expansion of 144 in x
1.857 * [taylor]: Taking taylor expansion of (pow (exp x) 7) in x
1.857 * [taylor]: Taking taylor expansion of (exp x) in x
1.857 * [taylor]: Taking taylor expansion of x in x
1.857 * [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
1.857 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp x) 5)) in x
1.857 * [taylor]: Taking taylor expansion of 2016 in x
1.857 * [taylor]: Taking taylor expansion of (pow (exp x) 5) in x
1.857 * [taylor]: Taking taylor expansion of (exp x) in x
1.857 * [taylor]: Taking taylor expansion of x in x
1.857 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9)))) in x
1.857 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp x) 3)) in x
1.857 * [taylor]: Taking taylor expansion of 5376 in x
1.857 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.857 * [taylor]: Taking taylor expansion of (exp x) in x
1.857 * [taylor]: Taking taylor expansion of x in x
1.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9))) in x
1.857 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp x) 9)) in x
1.857 * [taylor]: Taking taylor expansion of (pow (exp x) 9) in x
1.857 * [taylor]: Taking taylor expansion of (exp x) in x
1.857 * [taylor]: Taking taylor expansion of x in x
1.858 * [taylor]: Taking taylor expansion of (+ (* 2304 (exp x)) (pow (exp x) 9)) in x
1.858 * [taylor]: Taking taylor expansion of (* 2304 (exp x)) in x
1.858 * [taylor]: Taking taylor expansion of 2304 in x
1.858 * [taylor]: Taking taylor expansion of (exp x) in x
1.858 * [taylor]: Taking taylor expansion of x in x
1.858 * [taylor]: Taking taylor expansion of (pow (exp x) 9) in x
1.858 * [taylor]: Taking taylor expansion of (exp x) in x
1.858 * [taylor]: Taking taylor expansion of x in x
1.858 * [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
1.858 * [taylor]: Taking taylor expansion of (* 672 (pow (exp x) 6)) in x
1.858 * [taylor]: Taking taylor expansion of 672 in x
1.858 * [taylor]: Taking taylor expansion of (pow (exp x) 6) in x
1.858 * [taylor]: Taking taylor expansion of (exp x) in x
1.858 * [taylor]: Taking taylor expansion of x in x
1.858 * [taylor]: Taking taylor expansion of (+ (* 4032 (pow (exp x) 4)) (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8))))) in x
1.858 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp x) 4)) in x
1.858 * [taylor]: Taking taylor expansion of 4032 in x
1.858 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
1.858 * [taylor]: Taking taylor expansion of (exp x) in x
1.858 * [taylor]: Taking taylor expansion of x in x
1.858 * [taylor]: Taking taylor expansion of (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8)))) in x
1.858 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp x) 2)) in x
1.858 * [taylor]: Taking taylor expansion of 4608 in x
1.858 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.858 * [taylor]: Taking taylor expansion of (exp x) in x
1.858 * [taylor]: Taking taylor expansion of x in x
1.858 * [taylor]: Taking taylor expansion of (+ 512 (* 18 (pow (exp x) 8))) in x
1.858 * [taylor]: Taking taylor expansion of 512 in x
1.858 * [taylor]: Taking taylor expansion of (* 18 (pow (exp x) 8)) in x
1.859 * [taylor]: Taking taylor expansion of 18 in x
1.859 * [taylor]: Taking taylor expansion of (pow (exp x) 8) in x
1.859 * [taylor]: Taking taylor expansion of (exp x) in x
1.859 * [taylor]: Taking taylor expansion of x in x
1.859 * [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
1.859 * [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
1.859 * [taylor]: Taking taylor expansion of (* 144 (pow (exp x) 7)) in x
1.859 * [taylor]: Taking taylor expansion of 144 in x
1.859 * [taylor]: Taking taylor expansion of (pow (exp x) 7) in x
1.859 * [taylor]: Taking taylor expansion of (exp x) in x
1.859 * [taylor]: Taking taylor expansion of x in x
1.859 * [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
1.859 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp x) 5)) in x
1.859 * [taylor]: Taking taylor expansion of 2016 in x
1.859 * [taylor]: Taking taylor expansion of (pow (exp x) 5) in x
1.859 * [taylor]: Taking taylor expansion of (exp x) in x
1.859 * [taylor]: Taking taylor expansion of x in x
1.859 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp x) 3)) (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9)))) in x
1.859 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp x) 3)) in x
1.859 * [taylor]: Taking taylor expansion of 5376 in x
1.859 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.859 * [taylor]: Taking taylor expansion of (exp x) in x
1.859 * [taylor]: Taking taylor expansion of x in x
1.859 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp x) 9)) (+ (* 2304 (exp x)) (pow (exp x) 9))) in x
1.859 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp x) 9)) in x
1.859 * [taylor]: Taking taylor expansion of (pow (exp x) 9) in x
1.859 * [taylor]: Taking taylor expansion of (exp x) in x
1.859 * [taylor]: Taking taylor expansion of x in x
1.860 * [taylor]: Taking taylor expansion of (+ (* 2304 (exp x)) (pow (exp x) 9)) in x
1.860 * [taylor]: Taking taylor expansion of (* 2304 (exp x)) in x
1.860 * [taylor]: Taking taylor expansion of 2304 in x
1.860 * [taylor]: Taking taylor expansion of (exp x) in x
1.860 * [taylor]: Taking taylor expansion of x in x
1.860 * [taylor]: Taking taylor expansion of (pow (exp x) 9) in x
1.860 * [taylor]: Taking taylor expansion of (exp x) in x
1.860 * [taylor]: Taking taylor expansion of x in x
1.860 * [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
1.860 * [taylor]: Taking taylor expansion of (* 672 (pow (exp x) 6)) in x
1.860 * [taylor]: Taking taylor expansion of 672 in x
1.860 * [taylor]: Taking taylor expansion of (pow (exp x) 6) in x
1.860 * [taylor]: Taking taylor expansion of (exp x) in x
1.860 * [taylor]: Taking taylor expansion of x in x
1.860 * [taylor]: Taking taylor expansion of (+ (* 4032 (pow (exp x) 4)) (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8))))) in x
1.860 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp x) 4)) in x
1.860 * [taylor]: Taking taylor expansion of 4032 in x
1.860 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
1.860 * [taylor]: Taking taylor expansion of (exp x) in x
1.860 * [taylor]: Taking taylor expansion of x in x
1.860 * [taylor]: Taking taylor expansion of (+ (* 4608 (pow (exp x) 2)) (+ 512 (* 18 (pow (exp x) 8)))) in x
1.860 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp x) 2)) in x
1.860 * [taylor]: Taking taylor expansion of 4608 in x
1.860 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.860 * [taylor]: Taking taylor expansion of (exp x) in x
1.860 * [taylor]: Taking taylor expansion of x in x
1.860 * [taylor]: Taking taylor expansion of (+ 512 (* 18 (pow (exp x) 8))) in x
1.860 * [taylor]: Taking taylor expansion of 512 in x
1.860 * [taylor]: Taking taylor expansion of (* 18 (pow (exp x) 8)) in x
1.860 * [taylor]: Taking taylor expansion of 18 in x
1.860 * [taylor]: Taking taylor expansion of (pow (exp x) 8) in x
1.860 * [taylor]: Taking taylor expansion of (exp x) in x
1.860 * [taylor]: Taking taylor expansion of x in x
1.985 * [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
1.985 * [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
1.985 * [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
1.985 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp (/ 1 x)) 5)) in x
1.985 * [taylor]: Taking taylor expansion of 2016 in x
1.985 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 5) in x
1.985 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.985 * [taylor]: Taking taylor expansion of x in x
1.985 * [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
1.985 * [taylor]: Taking taylor expansion of (* 144 (pow (exp (/ 1 x)) 7)) in x
1.985 * [taylor]: Taking taylor expansion of 144 in x
1.985 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 7) in x
1.985 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.985 * [taylor]: Taking taylor expansion of x in x
1.985 * [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
1.985 * [taylor]: Taking taylor expansion of (* 2304 (exp (/ 1 x))) in x
1.985 * [taylor]: Taking taylor expansion of 2304 in x
1.986 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.986 * [taylor]: Taking taylor expansion of x in x
1.986 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9))) in x
1.986 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp (/ 1 x)) 3)) in x
1.986 * [taylor]: Taking taylor expansion of 5376 in x
1.986 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.986 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.986 * [taylor]: Taking taylor expansion of x in x
1.986 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)) in x
1.986 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (/ 1 x)) 9)) in x
1.986 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 9) in x
1.986 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.986 * [taylor]: Taking taylor expansion of x in x
1.988 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 9) in x
1.988 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.988 * [taylor]: Taking taylor expansion of x in x
1.989 * [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
1.989 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp (/ 1 x)) 4)) in x
1.989 * [taylor]: Taking taylor expansion of 4032 in x
1.989 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
1.989 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.989 * [taylor]: Taking taylor expansion of x in x
1.989 * [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
1.989 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp (/ 1 x)) 2)) in x
1.989 * [taylor]: Taking taylor expansion of 4608 in x
1.989 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.989 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.989 * [taylor]: Taking taylor expansion of x in x
1.989 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512)) in x
1.989 * [taylor]: Taking taylor expansion of (* 672 (pow (exp (/ 1 x)) 6)) in x
1.989 * [taylor]: Taking taylor expansion of 672 in x
1.989 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
1.989 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.989 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.989 * [taylor]: Taking taylor expansion of x in x
1.990 * [taylor]: Taking taylor expansion of (+ (* 18 (pow (exp (/ 1 x)) 8)) 512) in x
1.990 * [taylor]: Taking taylor expansion of (* 18 (pow (exp (/ 1 x)) 8)) in x
1.990 * [taylor]: Taking taylor expansion of 18 in x
1.990 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 8) in x
1.990 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.990 * [taylor]: Taking taylor expansion of x in x
1.990 * [taylor]: Taking taylor expansion of 512 in x
1.990 * [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
1.990 * [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
1.990 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp (/ 1 x)) 5)) in x
1.990 * [taylor]: Taking taylor expansion of 2016 in x
1.990 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 5) in x
1.990 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.990 * [taylor]: Taking taylor expansion of x in x
1.990 * [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
1.990 * [taylor]: Taking taylor expansion of (* 144 (pow (exp (/ 1 x)) 7)) in x
1.990 * [taylor]: Taking taylor expansion of 144 in x
1.990 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 7) in x
1.990 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.990 * [taylor]: Taking taylor expansion of x in x
1.990 * [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
1.990 * [taylor]: Taking taylor expansion of (* 2304 (exp (/ 1 x))) in x
1.990 * [taylor]: Taking taylor expansion of 2304 in x
1.990 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.991 * [taylor]: Taking taylor expansion of x in x
1.991 * [taylor]: Taking taylor expansion of (+ (* 5376 (pow (exp (/ 1 x)) 3)) (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9))) in x
1.991 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp (/ 1 x)) 3)) in x
1.991 * [taylor]: Taking taylor expansion of 5376 in x
1.991 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.991 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.991 * [taylor]: Taking taylor expansion of x in x
1.991 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp (/ 1 x)) 9)) (pow (exp (/ 1 x)) 9)) in x
1.991 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (/ 1 x)) 9)) in x
1.991 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 9) in x
1.991 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.991 * [taylor]: Taking taylor expansion of x in x
1.993 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 9) in x
1.993 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.993 * [taylor]: Taking taylor expansion of x in x
1.994 * [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
1.994 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp (/ 1 x)) 4)) in x
1.994 * [taylor]: Taking taylor expansion of 4032 in x
1.994 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
1.994 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.994 * [taylor]: Taking taylor expansion of x in x
1.994 * [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
1.994 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp (/ 1 x)) 2)) in x
1.994 * [taylor]: Taking taylor expansion of 4608 in x
1.994 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.994 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.994 * [taylor]: Taking taylor expansion of x in x
1.994 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp (/ 1 x)) 6)) (+ (* 18 (pow (exp (/ 1 x)) 8)) 512)) in x
1.994 * [taylor]: Taking taylor expansion of (* 672 (pow (exp (/ 1 x)) 6)) in x
1.994 * [taylor]: Taking taylor expansion of 672 in x
1.994 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
1.994 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.994 * [taylor]: Taking taylor expansion of x in x
1.994 * [taylor]: Taking taylor expansion of (+ (* 18 (pow (exp (/ 1 x)) 8)) 512) in x
1.994 * [taylor]: Taking taylor expansion of (* 18 (pow (exp (/ 1 x)) 8)) in x
1.994 * [taylor]: Taking taylor expansion of 18 in x
1.994 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 8) in x
1.994 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.995 * [taylor]: Taking taylor expansion of x in x
1.995 * [taylor]: Taking taylor expansion of 512 in x
2.272 * [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
2.272 * [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
2.272 * [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
2.272 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp (/ -1 x)) 3)) in x
2.272 * [taylor]: Taking taylor expansion of 5376 in x
2.272 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
2.272 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.272 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.272 * [taylor]: Taking taylor expansion of -1 in x
2.273 * [taylor]: Taking taylor expansion of x in x
2.273 * [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
2.273 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp (/ -1 x)) 5)) in x
2.273 * [taylor]: Taking taylor expansion of 2016 in x
2.273 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 5) in x
2.273 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.273 * [taylor]: Taking taylor expansion of -1 in x
2.273 * [taylor]: Taking taylor expansion of x in x
2.273 * [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
2.273 * [taylor]: Taking taylor expansion of (* 144 (pow (exp (/ -1 x)) 7)) in x
2.273 * [taylor]: Taking taylor expansion of 144 in x
2.273 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 7) in x
2.273 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.273 * [taylor]: Taking taylor expansion of -1 in x
2.273 * [taylor]: Taking taylor expansion of x in x
2.273 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x))))) in x
2.273 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 9) in x
2.273 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.273 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.273 * [taylor]: Taking taylor expansion of -1 in x
2.273 * [taylor]: Taking taylor expansion of x in x
2.274 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))) in x
2.274 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (/ -1 x)) 9)) in x
2.274 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 9) in x
2.274 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.274 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.274 * [taylor]: Taking taylor expansion of -1 in x
2.274 * [taylor]: Taking taylor expansion of x in x
2.276 * [taylor]: Taking taylor expansion of (* 2304 (exp (/ -1 x))) in x
2.276 * [taylor]: Taking taylor expansion of 2304 in x
2.276 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.276 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.276 * [taylor]: Taking taylor expansion of -1 in x
2.276 * [taylor]: Taking taylor expansion of x in x
2.276 * [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
2.276 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp (/ -1 x)) 2)) in x
2.276 * [taylor]: Taking taylor expansion of 4608 in x
2.276 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
2.276 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.276 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.276 * [taylor]: Taking taylor expansion of -1 in x
2.276 * [taylor]: Taking taylor expansion of x in x
2.277 * [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
2.277 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp (/ -1 x)) 4)) in x
2.277 * [taylor]: Taking taylor expansion of 4032 in x
2.277 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
2.277 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.277 * [taylor]: Taking taylor expansion of -1 in x
2.277 * [taylor]: Taking taylor expansion of x in x
2.277 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512)) in x
2.277 * [taylor]: Taking taylor expansion of (* 672 (pow (exp (/ -1 x)) 6)) in x
2.277 * [taylor]: Taking taylor expansion of 672 in x
2.277 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 6) in x
2.277 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.277 * [taylor]: Taking taylor expansion of -1 in x
2.277 * [taylor]: Taking taylor expansion of x in x
2.277 * [taylor]: Taking taylor expansion of (+ (* 18 (pow (exp (/ -1 x)) 8)) 512) in x
2.277 * [taylor]: Taking taylor expansion of (* 18 (pow (exp (/ -1 x)) 8)) in x
2.277 * [taylor]: Taking taylor expansion of 18 in x
2.277 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 8) in x
2.277 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.277 * [taylor]: Taking taylor expansion of -1 in x
2.277 * [taylor]: Taking taylor expansion of x in x
2.278 * [taylor]: Taking taylor expansion of 512 in x
2.278 * [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
2.278 * [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
2.278 * [taylor]: Taking taylor expansion of (* 5376 (pow (exp (/ -1 x)) 3)) in x
2.278 * [taylor]: Taking taylor expansion of 5376 in x
2.278 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
2.278 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.278 * [taylor]: Taking taylor expansion of -1 in x
2.278 * [taylor]: Taking taylor expansion of x in x
2.278 * [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
2.278 * [taylor]: Taking taylor expansion of (* 2016 (pow (exp (/ -1 x)) 5)) in x
2.278 * [taylor]: Taking taylor expansion of 2016 in x
2.278 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 5) in x
2.278 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.278 * [taylor]: Taking taylor expansion of -1 in x
2.278 * [taylor]: Taking taylor expansion of x in x
2.278 * [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
2.278 * [taylor]: Taking taylor expansion of (* 144 (pow (exp (/ -1 x)) 7)) in x
2.278 * [taylor]: Taking taylor expansion of 144 in x
2.278 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 7) in x
2.278 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.278 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.278 * [taylor]: Taking taylor expansion of -1 in x
2.278 * [taylor]: Taking taylor expansion of x in x
2.278 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 9) (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x))))) in x
2.278 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 9) in x
2.278 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.279 * [taylor]: Taking taylor expansion of -1 in x
2.279 * [taylor]: Taking taylor expansion of x in x
2.279 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow (exp (/ -1 x)) 9)) (* 2304 (exp (/ -1 x)))) in x
2.279 * [taylor]: Taking taylor expansion of (/ 1 (pow (exp (/ -1 x)) 9)) in x
2.279 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 9) in x
2.279 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.279 * [taylor]: Taking taylor expansion of -1 in x
2.279 * [taylor]: Taking taylor expansion of x in x
2.281 * [taylor]: Taking taylor expansion of (* 2304 (exp (/ -1 x))) in x
2.281 * [taylor]: Taking taylor expansion of 2304 in x
2.281 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.281 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.281 * [taylor]: Taking taylor expansion of -1 in x
2.281 * [taylor]: Taking taylor expansion of x in x
2.281 * [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
2.281 * [taylor]: Taking taylor expansion of (* 4608 (pow (exp (/ -1 x)) 2)) in x
2.281 * [taylor]: Taking taylor expansion of 4608 in x
2.281 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
2.281 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.281 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.281 * [taylor]: Taking taylor expansion of -1 in x
2.282 * [taylor]: Taking taylor expansion of x in x
2.282 * [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
2.282 * [taylor]: Taking taylor expansion of (* 4032 (pow (exp (/ -1 x)) 4)) in x
2.282 * [taylor]: Taking taylor expansion of 4032 in x
2.282 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
2.282 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.282 * [taylor]: Taking taylor expansion of -1 in x
2.282 * [taylor]: Taking taylor expansion of x in x
2.282 * [taylor]: Taking taylor expansion of (+ (* 672 (pow (exp (/ -1 x)) 6)) (+ (* 18 (pow (exp (/ -1 x)) 8)) 512)) in x
2.282 * [taylor]: Taking taylor expansion of (* 672 (pow (exp (/ -1 x)) 6)) in x
2.282 * [taylor]: Taking taylor expansion of 672 in x
2.282 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 6) in x
2.282 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.282 * [taylor]: Taking taylor expansion of -1 in x
2.282 * [taylor]: Taking taylor expansion of x in x
2.282 * [taylor]: Taking taylor expansion of (+ (* 18 (pow (exp (/ -1 x)) 8)) 512) in x
2.282 * [taylor]: Taking taylor expansion of (* 18 (pow (exp (/ -1 x)) 8)) in x
2.282 * [taylor]: Taking taylor expansion of 18 in x
2.282 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 8) in x
2.282 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.282 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.282 * [taylor]: Taking taylor expansion of -1 in x
2.282 * [taylor]: Taking taylor expansion of x in x
2.283 * [taylor]: Taking taylor expansion of 512 in x
2.506 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1)
2.506 * [approximate]: Taking taylor expansion of (pow (- (exp x) 2) 6) in (x) around 0
2.506 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 6) in x
2.506 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
2.506 * [taylor]: Taking taylor expansion of (exp x) in x
2.506 * [taylor]: Taking taylor expansion of x in x
2.506 * [taylor]: Taking taylor expansion of 2 in x
2.506 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 6) in x
2.506 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
2.506 * [taylor]: Taking taylor expansion of (exp x) in x
2.506 * [taylor]: Taking taylor expansion of x in x
2.506 * [taylor]: Taking taylor expansion of 2 in x
2.510 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 6) in (x) around 0
2.510 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 6) in x
2.510 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
2.510 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.510 * [taylor]: Taking taylor expansion of x in x
2.510 * [taylor]: Taking taylor expansion of 2 in x
2.511 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 6) in x
2.511 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
2.511 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.511 * [taylor]: Taking taylor expansion of x in x
2.511 * [taylor]: Taking taylor expansion of 2 in x
2.535 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 6) in (x) around 0
2.535 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 6) in x
2.535 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
2.535 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.535 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.535 * [taylor]: Taking taylor expansion of -1 in x
2.535 * [taylor]: Taking taylor expansion of x in x
2.536 * [taylor]: Taking taylor expansion of 2 in x
2.536 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 6) in x
2.536 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
2.536 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.536 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.536 * [taylor]: Taking taylor expansion of -1 in x
2.536 * [taylor]: Taking taylor expansion of x in x
2.536 * [taylor]: Taking taylor expansion of 2 in x
2.560 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1)
2.560 * [approximate]: Taking taylor expansion of (pow (exp x) -6) in (x) around 0
2.560 * [taylor]: Taking taylor expansion of (pow (exp x) -6) in x
2.560 * [taylor]: Taking taylor expansion of (exp x) in x
2.561 * [taylor]: Taking taylor expansion of x in x
2.561 * [taylor]: Taking taylor expansion of (pow (exp x) -6) in x
2.561 * [taylor]: Taking taylor expansion of (exp x) in x
2.561 * [taylor]: Taking taylor expansion of x in x
2.564 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) -6) in (x) around 0
2.564 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -6) in x
2.564 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.564 * [taylor]: Taking taylor expansion of x in x
2.565 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -6) in x
2.565 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.565 * [taylor]: Taking taylor expansion of x in x
2.593 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) -6) in (x) around 0
2.593 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -6) in x
2.593 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.593 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.593 * [taylor]: Taking taylor expansion of -1 in x
2.593 * [taylor]: Taking taylor expansion of x in x
2.593 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -6) in x
2.593 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.593 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.593 * [taylor]: Taking taylor expansion of -1 in x
2.593 * [taylor]: Taking taylor expansion of x in x
2.620 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
2.620 * [approximate]: Taking taylor expansion of (pow (pow (- (exp x) 2) 3) 3) in (x) around 0
2.621 * [taylor]: Taking taylor expansion of (pow (pow (- (exp x) 2) 3) 3) in x
2.621 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 3) in x
2.621 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
2.621 * [taylor]: Taking taylor expansion of (exp x) in x
2.621 * [taylor]: Taking taylor expansion of x in x
2.621 * [taylor]: Taking taylor expansion of 2 in x
2.621 * [taylor]: Taking taylor expansion of (pow (pow (- (exp x) 2) 3) 3) in x
2.621 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2) 3) in x
2.621 * [taylor]: Taking taylor expansion of (- (exp x) 2) in x
2.621 * [taylor]: Taking taylor expansion of (exp x) in x
2.621 * [taylor]: Taking taylor expansion of x in x
2.621 * [taylor]: Taking taylor expansion of 2 in x
2.625 * [approximate]: Taking taylor expansion of (pow (pow (- (exp (/ 1 x)) 2) 3) 3) in (x) around 0
2.625 * [taylor]: Taking taylor expansion of (pow (pow (- (exp (/ 1 x)) 2) 3) 3) in x
2.625 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in x
2.625 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
2.625 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.625 * [taylor]: Taking taylor expansion of x in x
2.625 * [taylor]: Taking taylor expansion of 2 in x
2.626 * [taylor]: Taking taylor expansion of (pow (pow (- (exp (/ 1 x)) 2) 3) 3) in x
2.626 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2) 3) in x
2.626 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2) in x
2.627 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.627 * [taylor]: Taking taylor expansion of x in x
2.627 * [taylor]: Taking taylor expansion of 2 in x
2.656 * [approximate]: Taking taylor expansion of (pow (pow (- (exp (/ -1 x)) 2) 3) 3) in (x) around 0
2.656 * [taylor]: Taking taylor expansion of (pow (pow (- (exp (/ -1 x)) 2) 3) 3) in x
2.656 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in x
2.656 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
2.656 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.656 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.656 * [taylor]: Taking taylor expansion of -1 in x
2.656 * [taylor]: Taking taylor expansion of x in x
2.656 * [taylor]: Taking taylor expansion of 2 in x
2.658 * [taylor]: Taking taylor expansion of (pow (pow (- (exp (/ -1 x)) 2) 3) 3) in x
2.658 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2) 3) in x
2.658 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2) in x
2.658 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.658 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.658 * [taylor]: Taking taylor expansion of -1 in x
2.658 * [taylor]: Taking taylor expansion of x in x
2.658 * [taylor]: Taking taylor expansion of 2 in x
2.689 * * * [progress]: simplifying candidates
2.690 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (-.f64 (*.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 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 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) 3) (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 3) 3))
  (+.f64 (*.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 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 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))))
  (+.f64 (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) (-.f64 (*.f64 (pow.f64 (exp.f64 x) -3) (pow.f64 (exp.f64 x) -3)) (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))))
  (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))
  (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (*.f64 (*.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))) (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))) (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))))
  (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (exp.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (log.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (*.f64 (exp.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)) (exp.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (/.f64 6 2))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (/.f64 6 2))
  (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6))
  (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6))
  (*.f64 (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6) (pow.f64 (+.f64 -2 (exp.f64 x)) 6)) (pow.f64 (+.f64 -2 (exp.f64 x)) 6))
  (*.f64 (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6)) (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6)))
  (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6))
  (exp.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6))
  (log.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6))
  (pow.f64 1 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 1 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 6)
  (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 6)
  (pow.f64 (*.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) (cbrt.f64 (+.f64 -2 (exp.f64 x)))) 6)
  (pow.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 1)
  (pow.f64 (+.f64 -2 (exp.f64 x)) (sqrt.f64 6))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (*.f64 (cbrt.f64 6) (cbrt.f64 6)))
  (*.f64 1 6)
  (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 6)
  (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 6)
  (pow.f64 (exp.f64 x) (/.f64 -6 2))
  (pow.f64 (exp.f64 x) (/.f64 -6 2))
  (sqrt.f64 (pow.f64 (exp.f64 x) -6))
  (sqrt.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))
  (*.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))
  (exp.f64 (pow.f64 (exp.f64 x) -6))
  (log.f64 (pow.f64 (exp.f64 x) -6))
  (pow.f64 1 -6)
  (pow.f64 (exp.f64 x) -6)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -6)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -6)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -6)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -6)
  (pow.f64 (exp.f64 x) 1)
  (pow.f64 (exp.f64 x) (sqrt.f64 -6))
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -6) (cbrt.f64 -6)))
  (*.f64 x -6)
  (*.f64 (sqrt.f64 x) -6)
  (*.f64 (cbrt.f64 x) -6)
  (*.f64 1 -6)
  (*.f64 (log.f64 (exp.f64 x)) -6)
  (*.f64 x -6)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (/.f64 3 2))
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (/.f64 3 2))
  (sqrt.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3))
  (sqrt.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3))
  (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (pow.f64 (pow.f64 (-.f64 (*.f64 -2 -2) (*.f64 (exp.f64 x) (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (-.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (pow.f64 -2 3) (pow.f64 (exp.f64 x) 3)) 3) 3)
  (pow.f64 (pow.f64 (+.f64 (*.f64 -2 -2) (-.f64 (*.f64 (exp.f64 x) (exp.f64 x)) (*.f64 -2 (exp.f64 x)))) 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) (/.f64 3 2)) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) (/.f64 3 2)) 3)
  (pow.f64 1 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (*.f64 (+.f64 -2 (exp.f64 x)) (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) (cbrt.f64 (+.f64 -2 (exp.f64 x)))) 3) 3)
  (pow.f64 (pow.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))) 3)
  (pow.f64 (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (*.f64 (+.f64 -2 (exp.f64 x)) (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) (cbrt.f64 (+.f64 -2 (exp.f64 x)))) 3) 3)
  (pow.f64 (pow.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (*.f64 (*.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)) (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3))
  (*.f64 (cbrt.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)) (cbrt.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)))
  (cbrt.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3))
  (exp.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3))
  (log.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3))
  (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) (/.f64 3 2)) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) (/.f64 3 2)) 3)
  (pow.f64 1 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (*.f64 (+.f64 -2 (exp.f64 x)) (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) (cbrt.f64 (+.f64 -2 (exp.f64 x)))) 3) 3)
  (pow.f64 (pow.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (*.f64 (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))) 3)
  (pow.f64 (cbrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (*.f64 (+.f64 -2 (exp.f64 x)) (+.f64 -2 (exp.f64 x))) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 1 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (*.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) (cbrt.f64 (+.f64 -2 (exp.f64 x)))) 3) 3)
  (pow.f64 (pow.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 1)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (sqrt.f64 3))
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  (*.f64 3 3)
  (*.f64 (log.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (*.f64 (log.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (*.f64 (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (*.f64 (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (-.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)
2.734 * * [simplify]: iteration  0 :  6225  enodes  (cost  2025 )
2.744 * [simplify]: Simplified to:
   (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (-.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 6) (pow.f64 (pow.f64 (exp.f64 x) -3) 6))
  (-.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))
  (+.f64 (pow.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) 3) (pow.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 3) 3))
  (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 6) (-.f64 (pow.f64 (pow.f64 (exp.f64 x) -3) 6) (*.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))))
  (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))))
  (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))
  (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (sqrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (pow.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) 3)
  (*.f64 (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))) (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3))))
  (cbrt.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (exp.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (log.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (exp.f64 (+.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)))
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (fabs.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (fabs.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3))
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 6)
  (pow.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) 12)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 2)
  (exp.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6))
  (*.f64 6 (log.f64 (+.f64 -2 (exp.f64 x))))
  1
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  1
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (cbrt.f64 (+.f64 -2 (exp.f64 x))) 12)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 2)
  (+.f64 -2 (exp.f64 x))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (sqrt.f64 6))
  (pow.f64 (+.f64 -2 (exp.f64 x)) (*.f64 (cbrt.f64 6) (cbrt.f64 6)))
  6
  (*.f64 6 (log.f64 (+.f64 -2 (exp.f64 x))))
  (*.f64 6 (log.f64 (+.f64 -2 (exp.f64 x))))
  (pow.f64 (exp.f64 x) -3)
  (pow.f64 (exp.f64 x) -3)
  (fabs.f64 (pow.f64 (exp.f64 x) -3))
  (fabs.f64 (pow.f64 (exp.f64 x) -3))
  (pow.f64 (pow.f64 (exp.f64 x) -3) 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))
  (exp.f64 (pow.f64 (exp.f64 x) -6))
  (*.f64 x -6)
  1
  (pow.f64 (exp.f64 x) -6)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -6)
  (pow.f64 (sqrt.f64 (exp.f64 x)) -6)
  (pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) -6)
  (pow.f64 (cbrt.f64 (exp.f64 x)) -6)
  (exp.f64 x)
  (pow.f64 (exp.f64 x) (sqrt.f64 -6))
  (pow.f64 (exp.f64 x) (*.f64 (cbrt.f64 -6) (cbrt.f64 -6)))
  (*.f64 x -6)
  (*.f64 -6 (sqrt.f64 x))
  (*.f64 -6 (cbrt.f64 x))
  -6
  (*.f64 x -6)
  (*.f64 x -6)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3/2)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3/2)
  (sqrt.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3))
  (sqrt.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3))
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (pow.f64 (-.f64 4 (pow.f64 (exp.f64 x) 2)) 3) 3)
  (pow.f64 (pow.f64 (-.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (+.f64 -8 (pow.f64 (exp.f64 x) 3)) 3) 3)
  (pow.f64 (pow.f64 (+.f64 4 (*.f64 (exp.f64 x) (+.f64 (exp.f64 x) 2))) 3) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2) 3)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (exp.f64 (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3))
  (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 9)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3/2) 3)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (sqrt.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  1
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (pow.f64 (sqrt.f64 (+.f64 -2 (exp.f64 x))) 3) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 3)
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (sqrt.f64 3))
  (pow.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (*.f64 (cbrt.f64 3) (cbrt.f64 3)))
  9
  (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 9)
  (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 9)
  (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 9)
  (*.f64 (log.f64 (+.f64 -2 (exp.f64 x))) 9)
  (+.f64 (*.f64 1011/4 (pow.f64 x 4)) (*.f64 (*.f64 x x) (-.f64 9 (*.f64 72 x))))
  (-.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 1 (*.f64 x (-.f64 (*.f64 12 x) 6)))
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 6)
  (+.f64 1 (*.f64 x (-.f64 (*.f64 18 x) 6)))
  (/.f64 1 (pow.f64 (exp.f64 x) 6))
  (/.f64 1 (pow.f64 (exp.f64 x) 6))
  (+.f64 (*.f64 x (-.f64 9 (*.f64 63/2 x))) -1)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 9)
  (pow.f64 (+.f64 -2 (exp.f64 x)) 9)
2.745 * * * [progress]: adding candidates to table
3.062 * [progress]: [Phase 3 of 3] Extracting.
3.063 * * [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 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))))) (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (+.f64 -2 (exp.f64 x)) (-.f64 (+.f64 -2 (exp.f64 x)) (exp.f64 (neg.f64 x)))))))>)
3.064 * * * [regime-changes]: Trying 1 branch expressions: (x)
3.064 * * * * [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 -2 (exp.f64 x)) 3) 3) (pow.f64 (pow.f64 (exp.f64 x) -3) 3)) (+.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 6) (-.f64 (pow.f64 (exp.f64 x) -6) (*.f64 (pow.f64 (+.f64 -2 (exp.f64 x)) 3) (pow.f64 (exp.f64 x) -3))))) (+.f64 (pow.f64 (exp.f64 x) -2) (*.f64 (+.f64 -2 (exp.f64 x)) (-.f64 (+.f64 -2 (exp.f64 x)) (exp.f64 (neg.f64 x)))))))>)
3.114 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
3.114 * [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))))
3.116 * * [simplify]: iteration  0 :  17  enodes  (cost  22 )
3.116 * * [simplify]: iteration  1 :  17  enodes  (cost  22 )
3.116 * [simplify]: Simplified to:
   (+.f64 (*.f64 x x) (+.f64 (*.f64 1/360 (pow.f64 x 6)) (*.f64 1/12 (pow.f64 x 4))))
6.199 * [regime-testing]: End program error score: 0.6557244818072401
6.370 * [regime-testing]: Target error score: 0.043406930560941505