20.678 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.086 * * * [progress]: [2/2] Setting up program.
0.088 * [progress]: [Phase 2 of 3] Improving.
0.088 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (exp x) 2.0) (exp (neg x)))
0.090 * * [simplify]: iteration  0 :  14  enodes  (cost  5 )
0.092 * * [simplify]: iteration  1 :  26  enodes  (cost  5 )
0.093 * * [simplify]: iteration  2 :  41  enodes  (cost  5 )
0.095 * * [simplify]: iteration  3 :  55  enodes  (cost  5 )
0.096 * * [simplify]: iteration  4 :  65  enodes  (cost  5 )
0.098 * * [simplify]: iteration  5 :  96  enodes  (cost  5 )
0.100 * * [simplify]: iteration  6 :  140  enodes  (cost  5 )
0.103 * * [simplify]: iteration  7 :  285  enodes  (cost  5 )
0.115 * * [simplify]: iteration  8 :  1642  enodes  (cost  5 )
0.237 * * [simplify]: iteration  9 :  5001  enodes  (cost  5 )
0.237 * [simplify]: Simplified to:
   (+ (- (exp x) 2.0) (exp (neg x)))
0.237 * * [progress]: iteration 1 / 4
0.237 * * * [progress]: picking best candidate
0.239 * * * * [pick]: Picked  #<alt (λ (x) (+ (- (exp x) 2.0) (exp (neg x))))>
0.239 * * * [progress]: localizing error
0.245 * * * [progress]: generating rewritten candidates
0.245 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.252 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.257 * * * [progress]: generating series expansions
0.257 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.257 * [approximate]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2.0) in (x) around 0
0.257 * [taylor]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2.0) in x
0.257 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.257 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.257 * [taylor]: Taking taylor expansion of (neg x) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of (exp x) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of 2.0 in x
0.257 * [taylor]: Taking taylor expansion of (- (+ (exp (neg x)) (exp x)) 2.0) in x
0.257 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.257 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.257 * [taylor]: Taking taylor expansion of (neg x) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of (exp x) in x
0.257 * [taylor]: Taking taylor expansion of x in x
0.257 * [taylor]: Taking taylor expansion of 2.0 in x
0.262 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in (x) around 0
0.262 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x
0.262 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.262 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.262 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of 2.0 in x
0.262 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x
0.262 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.262 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.262 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of 2.0 in x
0.263 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0
0.263 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x
0.263 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.263 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.263 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.263 * [taylor]: Taking taylor expansion of -1 in x
0.263 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of 2.0 in x
0.263 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x
0.263 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.263 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.263 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.263 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.263 * [taylor]: Taking taylor expansion of -1 in x
0.263 * [taylor]: Taking taylor expansion of x in x
0.263 * [taylor]: Taking taylor expansion of 2.0 in x
0.264 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.264 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0
0.264 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
0.264 * [taylor]: Taking taylor expansion of (exp x) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of 2.0 in x
0.264 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
0.264 * [taylor]: Taking taylor expansion of (exp x) in x
0.264 * [taylor]: Taking taylor expansion of x in x
0.264 * [taylor]: Taking taylor expansion of 2.0 in x
0.264 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0
0.264 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
0.264 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of 2.0 in x
0.265 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
0.265 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of 2.0 in x
0.265 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0
0.265 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
0.265 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.265 * [taylor]: Taking taylor expansion of -1 in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of 2.0 in x
0.265 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
0.265 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.265 * [taylor]: Taking taylor expansion of -1 in x
0.265 * [taylor]: Taking taylor expansion of x in x
0.265 * [taylor]: Taking taylor expansion of 2.0 in x
0.266 * * * [progress]: simplifying candidates
0.266 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ (exp (exp x)) (exp 2.0)) (exp (exp (neg x))))
  (* (exp (- (exp x) 2.0)) (exp (exp (neg x))))
  (log (+ (- (exp x) 2.0) (exp (neg x))))
  (exp (+ (- (exp x) 2.0) (exp (neg x))))
  (* (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (cbrt (+ (- (exp x) 2.0) (exp (neg x)))))
  (cbrt (+ (- (exp x) 2.0) (exp (neg x))))
  (* (* (+ (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x)))) (+ (- (exp x) 2.0) (exp (neg x))))
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 1))
  (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x))
  (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp 0)))
  (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x))
  (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) 1))
  (* (+ (exp x) 2.0) (exp x))
  (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) (exp 0)))
  (* (+ (exp x) 2.0) (exp x))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (* (exp (neg x)) (exp (neg x))) (* (- (exp x) 2.0) (exp (neg x)))))
  (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x))))
  (- (- (exp x) 2.0) (exp (neg x)))
  (+ (- (exp x) 2.0) (exp (neg x)))
  (+ (- (exp x) 2.0) (exp (neg x)))
  (+ (neg 2.0) (exp (neg x)))
  (+ (neg 2.0) (exp (neg x)))
  (- 2.0 (exp (neg x)))
  (/ (exp (exp x)) (exp 2.0))
  (log (- (exp x) 2.0))
  (exp (- (exp x) 2.0))
  (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0)))
  (cbrt (- (exp x) 2.0))
  (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0))
  (sqrt (- (exp x) 2.0))
  (sqrt (- (exp x) 2.0))
  (- (pow (exp x) 3) (pow 2.0 3))
  (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0)))
  (neg 2.0)
  (- (* (exp x) (exp x)) (* 2.0 2.0))
  (+ (exp x) 2.0)
  (+ (sqrt (exp x)) (sqrt 2.0))
  (- (sqrt (exp x)) (sqrt 2.0))
  (- (exp x) 2.0)
  (neg 2.0)
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (+ (exp (* -1 x)) (exp x)) 2.0)
  (- (+ (* 1/2 (pow x 2)) x) 1.0)
  (- (exp x) 2.0)
  (- (exp x) 2.0)
0.270 * * [simplify]: iteration  0 :  209  enodes  (cost  282 )
0.274 * * [simplify]: iteration  1 :  694  enodes  (cost  269 )
0.286 * * [simplify]: iteration  2 :  3196  enodes  (cost  260 )
0.350 * * [simplify]: iteration  3 :  5001  enodes  (cost  260 )
0.355 * [simplify]: Simplified to:
   (exp (+ (- (exp x) 2.0) (exp (neg x))))
  (exp (+ (- (exp x) 2.0) (exp (neg x))))
  (log (+ (- (exp x) 2.0) (exp (neg x))))
  (exp (+ (- (exp x) 2.0) (exp (neg x))))
  (* (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (cbrt (+ (- (exp x) 2.0) (exp (neg x)))))
  (cbrt (+ (- (exp x) 2.0) (exp (neg x))))
  (pow (- (+ (exp (neg x)) (exp x)) 2.0) 3)
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (+ (* 2.0 2.0) (+ (exp (+ x x)) (* (exp x) (+ 2.0 (- (pow (exp x) 3) (pow 2.0 3))))))
  (* (exp x) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))))
  (+ (* 2.0 2.0) (+ (exp (+ x x)) (* (exp x) (+ 2.0 (- (pow (exp x) 3) (pow 2.0 3))))))
  (* (exp x) (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x))))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (exp x))
  (* (+ (exp x) 2.0) (+ 1 (* (exp x) (- (exp x) 2.0))))
  (* (+ (exp x) 2.0) (exp x))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))
  (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x))))
  (- (- (exp x) 2.0) (exp (neg x)))
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (exp (* -1 x)) 2.0)
  (- (exp (* -1 x)) 2.0)
  (- 2.0 (exp (neg x)))
  (exp (- (exp x) 2.0))
  (log (- (exp x) 2.0))
  (exp (- (exp x) 2.0))
  (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0)))
  (cbrt (- (exp x) 2.0))
  (pow (- (exp x) 2.0) 3)
  (sqrt (- (exp x) 2.0))
  (sqrt (- (exp x) 2.0))
  (- (pow (exp x) 3) (pow 2.0 3))
  (+ (* 2.0 (+ 2.0 (exp x))) (exp (+ x x)))
  (neg 2.0)
  (- (* (exp x) (exp x)) (* 2.0 2.0))
  (+ (exp x) 2.0)
  (+ (sqrt (exp x)) (sqrt 2.0))
  (- (sqrt (exp x)) (sqrt 2.0))
  (- (exp x) 2.0)
  (neg 2.0)
  (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (+ (* 1/2 (pow x 2)) x) 1.0)
  (- (exp x) 2.0)
  (- (exp x) 2.0)
0.355 * * * [progress]: adding candidates to table
0.410 * * [progress]: iteration 2 / 4
0.410 * * * [progress]: picking best candidate
0.419 * * * * [pick]: Picked  #<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))>
0.419 * * * [progress]: localizing error
0.429 * * * [progress]: generating rewritten candidates
0.429 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.434 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.438 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2)
0.444 * * * [progress]: generating series expansions
0.444 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
0.444 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0
0.444 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.444 * [taylor]: Taking taylor expansion of 1/12 in x
0.444 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.444 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.444 * [taylor]: Taking taylor expansion of 1/12 in x
0.444 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.445 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.445 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.445 * [taylor]: Taking taylor expansion of 1/12 in x
0.445 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.445 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.445 * [taylor]: Taking taylor expansion of 1/12 in x
0.445 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.445 * [taylor]: Taking taylor expansion of x in x
0.446 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
0.446 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.446 * [taylor]: Taking taylor expansion of 1/12 in x
0.446 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.446 * [taylor]: Taking taylor expansion of x in x
0.447 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
0.447 * [taylor]: Taking taylor expansion of 1/12 in x
0.447 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.447 * [taylor]: Taking taylor expansion of x in x
0.448 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.448 * [approximate]: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0
0.448 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.448 * [taylor]: Taking taylor expansion of 1/360 in x
0.448 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.448 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.448 * [taylor]: Taking taylor expansion of 1/360 in x
0.448 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.448 * [taylor]: Taking taylor expansion of x in x
0.449 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
0.449 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.449 * [taylor]: Taking taylor expansion of 1/360 in x
0.449 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.449 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.449 * [taylor]: Taking taylor expansion of 1/360 in x
0.449 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.449 * [taylor]: Taking taylor expansion of x in x
0.450 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
0.450 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.450 * [taylor]: Taking taylor expansion of 1/360 in x
0.451 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
0.451 * [taylor]: Taking taylor expansion of 1/360 in x
0.451 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.452 * * * * [progress]: [ 3 / 3 ] generating series at (2 2)
0.452 * [approximate]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in (x) around 0
0.452 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.452 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.452 * [taylor]: Taking taylor expansion of 1/360 in x
0.452 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.452 * [taylor]: Taking taylor expansion of x in x
0.452 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.452 * [taylor]: Taking taylor expansion of 1/12 in x
0.452 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.452 * [taylor]: Taking taylor expansion of x in x
0.452 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
0.452 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
0.452 * [taylor]: Taking taylor expansion of 1/360 in x
0.452 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.452 * [taylor]: Taking taylor expansion of x in x
0.452 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
0.452 * [taylor]: Taking taylor expansion of 1/12 in x
0.452 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.452 * [taylor]: Taking taylor expansion of x in x
0.455 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
0.455 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.455 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.455 * [taylor]: Taking taylor expansion of 1/360 in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.455 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.455 * [taylor]: Taking taylor expansion of 1/12 in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.455 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.455 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.455 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.455 * [taylor]: Taking taylor expansion of 1/360 in x
0.455 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.455 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.455 * [taylor]: Taking taylor expansion of x in x
0.456 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.456 * [taylor]: Taking taylor expansion of 1/12 in x
0.456 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.456 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.456 * [taylor]: Taking taylor expansion of x in x
0.459 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
0.459 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.459 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.459 * [taylor]: Taking taylor expansion of 1/360 in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.459 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.459 * [taylor]: Taking taylor expansion of 1/12 in x
0.459 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.459 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.459 * [taylor]: Taking taylor expansion of x in x
0.459 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
0.459 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
0.460 * [taylor]: Taking taylor expansion of 1/360 in x
0.460 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
0.460 * [taylor]: Taking taylor expansion of (pow x 6) in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
0.460 * [taylor]: Taking taylor expansion of 1/12 in x
0.460 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
0.460 * [taylor]: Taking taylor expansion of (pow x 4) in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.463 * * * [progress]: simplifying candidates
0.464 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (* (log x) 4))
  (+ (log 1/12) (log (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4)))
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (pow (sqrt x) 4))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* (sqrt 1/12) (pow x (/ 4 2)))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* 1/12 (pow (sqrt x) 4))
  (* 1/12 (pow 1 4))
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  (* 1/12 1)
  (* 1/12 (pow x (/ 4 2)))
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (+ (log 1/360) (* (log x) 6))
  (+ (log 1/360) (* (log x) 6))
  (+ (log 1/360) (log (pow x 6)))
  (log (* 1/360 (pow x 6)))
  (exp (* 1/360 (pow x 6)))
  (* (* (* 1/360 1/360) 1/360) (* (* (pow x 6) (pow x 6)) (pow x 6)))
  (* (cbrt (* 1/360 (pow x 6))) (cbrt (* 1/360 (pow x 6))))
  (cbrt (* 1/360 (pow x 6)))
  (* (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (* 1/360 (pow x 6)))
  (sqrt (* 1/360 (pow x 6)))
  (sqrt (* 1/360 (pow x 6)))
  (* (sqrt 1/360) (pow (sqrt x) 6))
  (* (sqrt 1/360) (pow (sqrt x) 6))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (sqrt 1/360) (pow x (/ 6 2)))
  (* (sqrt 1/360) (pow x (/ 6 2)))
  (* 1/360 (pow (* (cbrt x) (cbrt x)) 6))
  (* 1/360 (pow (sqrt x) 6))
  (* 1/360 (pow 1 6))
  (* 1/360 (* (cbrt (pow x 6)) (cbrt (pow x 6))))
  (* 1/360 (sqrt (pow x 6)))
  (* 1/360 1)
  (* 1/360 (pow x (/ 6 2)))
  (* (cbrt 1/360) (pow x 6))
  (* (sqrt 1/360) (pow x 6))
  (* 1/360 (pow x 6))
  (* (exp (* 1/360 (pow x 6))) (exp (* 1/12 (pow x 4))))
  (log (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (* (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (* (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (+ (pow (* 1/360 (pow x 6)) 3) (pow (* 1/12 (pow x 4)) 3))
  (+ (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (- (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (- (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))))
  (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/360 (pow x 6))
  (* 1/360 (pow x 6))
  (* 1/360 (pow x 6))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
0.469 * * [simplify]: iteration  0 :  254  enodes  (cost  302 )
0.475 * * [simplify]: iteration  1 :  1056  enodes  (cost  280 )
0.504 * * [simplify]: iteration  2 :  5001  enodes  (cost  268 )
0.507 * [simplify]: Simplified to:
   (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (log (* 1/12 (pow x 4)))
  (exp (* 1/12 (pow x 4)))
  (* 1/1728 (pow x 12))
  (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4))))
  (cbrt (* 1/12 (pow x 4)))
  (* 1/1728 (pow x 12))
  (sqrt (* 1/12 (pow x 4)))
  (sqrt (* 1/12 (pow x 4)))
  (* (sqrt 1/12) (pow x 2))
  (* (sqrt 1/12) (pow x 2))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (pow x 2))
  (* (sqrt 1/12) (pow x 2))
  (* 1/12 (pow (* (cbrt x) (cbrt x)) 4))
  (* 1/12 (pow x 2))
  1/12
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  1/12
  (* 1/12 (pow x 2))
  (* (cbrt 1/12) (pow x 4))
  (* (sqrt 1/12) (pow x 4))
  (* 1/12 (pow x 4))
  (log (* 1/360 (pow x 6)))
  (log (* 1/360 (pow x 6)))
  (log (* 1/360 (pow x 6)))
  (log (* 1/360 (pow x 6)))
  (exp (* 1/360 (pow x 6)))
  (pow (* 1/360 (pow x 6)) 3)
  (* (cbrt (* 1/360 (pow x 6))) (cbrt (* 1/360 (pow x 6))))
  (cbrt (* 1/360 (pow x 6)))
  (pow (* 1/360 (pow x 6)) 3)
  (sqrt (* 1/360 (pow x 6)))
  (sqrt (* 1/360 (pow x 6)))
  (* (sqrt 1/360) (pow x 3))
  (* (sqrt 1/360) (pow x 3))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (sqrt 1/360) (pow x 3))
  (* (sqrt 1/360) (pow x 3))
  (* (pow x 4) 1/360)
  (* 1/360 (pow x 3))
  1/360
  (* 1/360 (* (cbrt (pow x 6)) (cbrt (pow x 6))))
  (* 1/360 (sqrt (pow x 6)))
  1/360
  (* 1/360 (pow x 3))
  (* (cbrt 1/360) (pow x 6))
  (* (sqrt 1/360) (pow x 6))
  (* 1/360 (pow x 6))
  (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (log (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (* (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))
  (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3)
  (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
  (* (pow x 12) (+ 1/1728 (* (pow x 6) 1/46656000)))
  (+ (* (pow x 8) 1/144) (- (* (pow x 12) 1/129600) (* (pow x 4) (* (pow x 6) 1/4320))))
  (+ (* -1/144 (pow x 8)) (* (pow x 12) 1/129600))
  (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/12 (pow x 4))
  (* 1/360 (pow x 6))
  (* 1/360 (pow x 6))
  (* 1/360 (pow x 6))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
0.507 * * * [progress]: adding candidates to table
0.610 * * [progress]: iteration 3 / 4
0.610 * * * [progress]: picking best candidate
0.616 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))))>
0.616 * * * [progress]: localizing error
0.633 * * * [progress]: generating rewritten candidates
0.633 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.649 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.654 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
0.659 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.664 * * * [progress]: generating series expansions
0.664 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.665 * [approximate]: Taking taylor expansion of (- (+ (* 12.0 (exp x)) (+ (pow (exp x) 3) (pow (exp (neg x)) 3))) (+ (* 6.0 (pow (exp x) 2)) 8.0)) in (x) around 0
0.665 * [taylor]: Taking taylor expansion of (- (+ (* 12.0 (exp x)) (+ (pow (exp x) 3) (pow (exp (neg x)) 3))) (+ (* 6.0 (pow (exp x) 2)) 8.0)) in x
0.665 * [taylor]: Taking taylor expansion of (+ (* 12.0 (exp x)) (+ (pow (exp x) 3) (pow (exp (neg x)) 3))) in x
0.665 * [taylor]: Taking taylor expansion of (* 12.0 (exp x)) in x
0.665 * [taylor]: Taking taylor expansion of 12.0 in x
0.665 * [taylor]: Taking taylor expansion of (exp x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 3) (pow (exp (neg x)) 3)) in x
0.665 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
0.665 * [taylor]: Taking taylor expansion of (exp x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of (pow (exp (neg x)) 3) in x
0.665 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.665 * [taylor]: Taking taylor expansion of (neg x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp x) 2)) 8.0) in x
0.665 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp x) 2)) in x
0.665 * [taylor]: Taking taylor expansion of 6.0 in x
0.665 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
0.665 * [taylor]: Taking taylor expansion of (exp x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of 8.0 in x
0.665 * [taylor]: Taking taylor expansion of (- (+ (* 12.0 (exp x)) (+ (pow (exp x) 3) (pow (exp (neg x)) 3))) (+ (* 6.0 (pow (exp x) 2)) 8.0)) in x
0.665 * [taylor]: Taking taylor expansion of (+ (* 12.0 (exp x)) (+ (pow (exp x) 3) (pow (exp (neg x)) 3))) in x
0.665 * [taylor]: Taking taylor expansion of (* 12.0 (exp x)) in x
0.665 * [taylor]: Taking taylor expansion of 12.0 in x
0.665 * [taylor]: Taking taylor expansion of (exp x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 3) (pow (exp (neg x)) 3)) in x
0.665 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
0.665 * [taylor]: Taking taylor expansion of (exp x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of (pow (exp (neg x)) 3) in x
0.665 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.665 * [taylor]: Taking taylor expansion of (neg x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp x) 2)) 8.0) in x
0.665 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp x) 2)) in x
0.665 * [taylor]: Taking taylor expansion of 6.0 in x
0.665 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
0.665 * [taylor]: Taking taylor expansion of (exp x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of 8.0 in x
0.670 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (neg (/ 1 x))) 3) (+ (* 12.0 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) (+ (* 6.0 (pow (exp (/ 1 x)) 2)) 8.0)) in (x) around 0
0.670 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (neg (/ 1 x))) 3) (+ (* 12.0 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) (+ (* 6.0 (pow (exp (/ 1 x)) 2)) 8.0)) in x
0.670 * [taylor]: Taking taylor expansion of (+ (pow (exp (neg (/ 1 x))) 3) (+ (* 12.0 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) in x
0.670 * [taylor]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 3) in x
0.670 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.670 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (+ (* 12.0 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3)) in x
0.670 * [taylor]: Taking taylor expansion of (* 12.0 (exp (/ 1 x))) in x
0.670 * [taylor]: Taking taylor expansion of 12.0 in x
0.670 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.670 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp (/ 1 x)) 2)) 8.0) in x
0.670 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp (/ 1 x)) 2)) in x
0.670 * [taylor]: Taking taylor expansion of 6.0 in x
0.670 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
0.670 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of 8.0 in x
0.671 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (neg (/ 1 x))) 3) (+ (* 12.0 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) (+ (* 6.0 (pow (exp (/ 1 x)) 2)) 8.0)) in x
0.671 * [taylor]: Taking taylor expansion of (+ (pow (exp (neg (/ 1 x))) 3) (+ (* 12.0 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3))) in x
0.671 * [taylor]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 3) in x
0.671 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.671 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (+ (* 12.0 (exp (/ 1 x))) (pow (exp (/ 1 x)) 3)) in x
0.671 * [taylor]: Taking taylor expansion of (* 12.0 (exp (/ 1 x))) in x
0.671 * [taylor]: Taking taylor expansion of 12.0 in x
0.671 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.671 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp (/ 1 x)) 2)) 8.0) in x
0.671 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp (/ 1 x)) 2)) in x
0.671 * [taylor]: Taking taylor expansion of 6.0 in x
0.671 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
0.671 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of 8.0 in x
0.677 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ 1 x)) 3) (* 12.0 (exp (/ -1 x))))) (+ (* 6.0 (pow (exp (/ -1 x)) 2)) 8.0)) in (x) around 0
0.677 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ 1 x)) 3) (* 12.0 (exp (/ -1 x))))) (+ (* 6.0 (pow (exp (/ -1 x)) 2)) 8.0)) in x
0.677 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ 1 x)) 3) (* 12.0 (exp (/ -1 x))))) in x
0.677 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
0.677 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.677 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.677 * [taylor]: Taking taylor expansion of -1 in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) (* 12.0 (exp (/ -1 x)))) in x
0.678 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of (* 12.0 (exp (/ -1 x))) in x
0.678 * [taylor]: Taking taylor expansion of 12.0 in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.678 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.678 * [taylor]: Taking taylor expansion of -1 in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp (/ -1 x)) 2)) 8.0) in x
0.678 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp (/ -1 x)) 2)) in x
0.678 * [taylor]: Taking taylor expansion of 6.0 in x
0.678 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.678 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.678 * [taylor]: Taking taylor expansion of -1 in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of 8.0 in x
0.678 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ 1 x)) 3) (* 12.0 (exp (/ -1 x))))) (+ (* 6.0 (pow (exp (/ -1 x)) 2)) 8.0)) in x
0.678 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (+ (pow (exp (/ 1 x)) 3) (* 12.0 (exp (/ -1 x))))) in x
0.678 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.678 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.678 * [taylor]: Taking taylor expansion of -1 in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) (* 12.0 (exp (/ -1 x)))) in x
0.678 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of (* 12.0 (exp (/ -1 x))) in x
0.678 * [taylor]: Taking taylor expansion of 12.0 in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.678 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.678 * [taylor]: Taking taylor expansion of -1 in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of (+ (* 6.0 (pow (exp (/ -1 x)) 2)) 8.0) in x
0.678 * [taylor]: Taking taylor expansion of (* 6.0 (pow (exp (/ -1 x)) 2)) in x
0.678 * [taylor]: Taking taylor expansion of 6.0 in x
0.678 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
0.678 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.679 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.679 * [taylor]: Taking taylor expansion of -1 in x
0.679 * [taylor]: Taking taylor expansion of x in x
0.679 * [taylor]: Taking taylor expansion of 8.0 in x
0.684 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
0.685 * [approximate]: Taking taylor expansion of (pow (- (exp x) 2.0) 3) in (x) around 0
0.685 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2.0) 3) in x
0.685 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
0.685 * [taylor]: Taking taylor expansion of (exp x) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of 2.0 in x
0.685 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2.0) 3) in x
0.685 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
0.685 * [taylor]: Taking taylor expansion of (exp x) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of 2.0 in x
0.685 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 3) in (x) around 0
0.685 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 3) in x
0.685 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
0.685 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.685 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of 2.0 in x
0.686 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 3) in x
0.686 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
0.686 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of 2.0 in x
0.688 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 3) in (x) around 0
0.688 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 3) in x
0.688 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
0.688 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.688 * [taylor]: Taking taylor expansion of -1 in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.688 * [taylor]: Taking taylor expansion of 2.0 in x
0.688 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 3) in x
0.688 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
0.688 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.688 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.688 * [taylor]: Taking taylor expansion of -1 in x
0.688 * [taylor]: Taking taylor expansion of x in x
0.688 * [taylor]: Taking taylor expansion of 2.0 in x
0.690 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
0.690 * [approximate]: Taking taylor expansion of (pow (exp (neg x)) 3) in (x) around 0
0.690 * [taylor]: Taking taylor expansion of (pow (exp (neg x)) 3) in x
0.690 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.690 * [taylor]: Taking taylor expansion of (neg x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (pow (exp (neg x)) 3) in x
0.690 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.690 * [taylor]: Taking taylor expansion of (neg x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [approximate]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 3) in (x) around 0
0.690 * [taylor]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 3) in x
0.690 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.691 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 3) in x
0.691 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.691 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.692 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
0.693 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.693 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.693 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
0.693 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.693 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.693 * [taylor]: Taking taylor expansion of x in x
0.694 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.694 * [approximate]: Taking taylor expansion of (pow (exp x) -2) in (x) around 0
0.694 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x
0.694 * [taylor]: Taking taylor expansion of (exp x) in x
0.694 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of (pow (exp x) -2) in x
0.695 * [taylor]: Taking taylor expansion of (exp x) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.695 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in (x) around 0
0.695 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x
0.695 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) -2) in x
0.695 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.697 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in (x) around 0
0.697 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x
0.697 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.697 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.697 * [taylor]: Taking taylor expansion of -1 in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) -2) in x
0.697 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.697 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.697 * [taylor]: Taking taylor expansion of -1 in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.699 * * * [progress]: simplifying candidates
0.701 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (pow (- (exp x) 2.0) 3)) (exp (pow (exp (neg x)) 3)))
  (log (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (exp (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (* (cbrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))) (cbrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))))
  (cbrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (* (* (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)) (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))) (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (sqrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (sqrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (+ (* (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)) (* (pow (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 3) (pow 1 3)))
  (* (pow (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 3) (pow (exp x) 3))
  (+ (* (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)) (* (pow (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 3) (pow (exp 0) 3)))
  (* (pow (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 3) (pow (exp x) 3))
  (+ (* (pow (- (* (exp x) (exp x)) (* 2.0 2.0)) 3) (pow (exp x) 3)) (* (pow (+ (exp x) 2.0) 3) (pow 1 3)))
  (* (pow (+ (exp x) 2.0) 3) (pow (exp x) 3))
  (+ (* (pow (- (* (exp x) (exp x)) (* 2.0 2.0)) 3) (pow (exp x) 3)) (* (pow (+ (exp x) 2.0) 3) (pow (exp 0) 3)))
  (* (pow (+ (exp x) 2.0) 3) (pow (exp x) 3))
  (+ (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (* (exp (neg x)) (exp (neg x))) (* (- (exp x) 2.0) (exp (neg x)))))
  (+ (- (exp x) 2.0) (exp (neg x)))
  (+ (pow (pow (- (exp x) 2.0) 3) 3) (pow (pow (exp (neg x)) 3) 3))
  (+ (* (pow (- (exp x) 2.0) 3) (pow (- (exp x) 2.0) 3)) (- (* (pow (exp (neg x)) 3) (pow (exp (neg x)) 3)) (* (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))))
  (- (* (pow (- (exp x) 2.0) 3) (pow (- (exp x) 2.0) 3)) (* (pow (exp (neg x)) 3) (pow (exp (neg x)) 3)))
  (- (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (* (log (- (exp x) 2.0)) 3)
  (* (log (- (exp x) 2.0)) 3)
  (* 1 3)
  (pow (- (exp x) 2.0) (* (cbrt 3) (cbrt 3)))
  (pow (- (exp x) 2.0) (sqrt 3))
  (pow (- (exp x) 2.0) 1)
  (pow (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) 3)
  (pow (cbrt (- (exp x) 2.0)) 3)
  (pow (sqrt (- (exp x) 2.0)) 3)
  (pow (sqrt (- (exp x) 2.0)) 3)
  (pow 1 3)
  (pow (- (exp x) 2.0) 3)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow 1 3)
  (pow (- (exp x) 2.0) 3)
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (log (pow (- (exp x) 2.0) 3))
  (exp (pow (- (exp x) 2.0) 3))
  (* (cbrt (pow (- (exp x) 2.0) 3)) (cbrt (pow (- (exp x) 2.0) 3)))
  (cbrt (pow (- (exp x) 2.0) 3))
  (* (* (pow (- (exp x) 2.0) 3) (pow (- (exp x) 2.0) 3)) (pow (- (exp x) 2.0) 3))
  (pow (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) 3)
  (pow (cbrt (- (exp x) 2.0)) 3)
  (pow (sqrt (- (exp x) 2.0)) 3)
  (pow (sqrt (- (exp x) 2.0)) 3)
  (pow 1 3)
  (pow (- (exp x) 2.0) 3)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow 1 3)
  (pow (- (exp x) 2.0) 3)
  (pow (- (pow (exp x) 3) (pow 2.0 3)) 3)
  (pow (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 3)
  (pow (- (* (exp x) (exp x)) (* 2.0 2.0)) 3)
  (pow (+ (exp x) 2.0) 3)
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (sqrt (pow (- (exp x) 2.0) 3))
  (sqrt (pow (- (exp x) 2.0) 3))
  (pow (- (exp x) 2.0) (/ 3 2))
  (pow (- (exp x) 2.0) (/ 3 2))
  (* (neg x) 3)
  (* (log (exp (neg x))) 3)
  (* 1 3)
  (* (cbrt (neg x)) 3)
  (* (sqrt (neg x)) 3)
  (* (neg x) 3)
  (* x 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (* (neg (cbrt x)) 3)
  (* (neg (sqrt x)) 3)
  (* (neg x) 3)
  (pow (exp (neg x)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (neg x)) (sqrt 3))
  (pow (exp (neg x)) 1)
  (pow (* (cbrt (exp (neg x))) (cbrt (exp (neg x)))) 3)
  (pow (cbrt (exp (neg x))) 3)
  (pow (sqrt (exp (neg x))) 3)
  (pow (sqrt (exp (neg x))) 3)
  (pow 1 3)
  (pow (exp (neg x)) 3)
  (* (exp (neg x)) (exp (neg x)))
  (log (pow (exp (neg x)) 3))
  (exp (pow (exp (neg x)) 3))
  (* (cbrt (pow (exp (neg x)) 3)) (cbrt (pow (exp (neg x)) 3)))
  (cbrt (pow (exp (neg x)) 3))
  (* (* (pow (exp (neg x)) 3) (pow (exp (neg x)) 3)) (pow (exp (neg x)) 3))
  (pow (* (cbrt (exp (neg x))) (cbrt (exp (neg x)))) 3)
  (pow (cbrt (exp (neg x))) 3)
  (pow (sqrt (exp (neg x))) 3)
  (pow (sqrt (exp (neg x))) 3)
  (pow 1 3)
  (pow (exp (neg x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (pow (exp 0) 3)
  (pow (exp x) 3)
  (* (exp (neg x)) (exp (neg x)))
  (sqrt (pow (exp (neg x)) 3))
  (sqrt (pow (exp (neg x)) 3))
  (pow (exp (neg x)) (/ 3 2))
  (pow (exp (neg x)) (/ 3 2))
  (* x -2)
  (* (log (exp x)) -2)
  (* 1 -2)
  (* (cbrt x) -2)
  (* (sqrt x) -2)
  (* x -2)
  (pow (exp x) (* (cbrt -2) (cbrt -2)))
  (pow (exp x) (sqrt -2))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) -2)
  (pow (cbrt (exp x)) -2)
  (pow (sqrt (exp x)) -2)
  (pow (sqrt (exp x)) -2)
  (pow 1 -2)
  (pow (exp x) -2)
  (log (pow (exp x) -2))
  (exp (pow (exp x) -2))
  (* (cbrt (pow (exp x) -2)) (cbrt (pow (exp x) -2)))
  (cbrt (pow (exp x) -2))
  (* (* (pow (exp x) -2) (pow (exp x) -2)) (pow (exp x) -2))
  (sqrt (pow (exp x) -2))
  (sqrt (pow (exp x) -2))
  (pow (exp x) (/ -2 2))
  (pow (exp x) (/ -2 2))
  (- (+ (* 3.0 (pow x 2)) (* 3.25 (pow x 4))) (* 6.0 (pow x 3)))
  (- (+ (* 12.0 (exp x)) (+ (pow (exp x) 3) (pow (exp (neg x)) 3))) (+ (* 6.0 (pow (exp x) 2)) 8.0))
  (- (+ (pow (exp (* -1 x)) 3) (+ (pow (exp x) 3) (* 12.0 (exp x)))) (+ (* 6.0 (pow (exp x) 2)) 8.0))
  (- (* 3.0 x) (+ (* 1.5 (pow x 2)) 1.0))
  (pow (- (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 3)
  (- (+ (* 9/2 (pow x 2)) 1) (* 3 x))
  (pow (exp (neg x)) 3)
  (pow (exp (* -1 x)) 3)
  (- (+ (* 2 (pow x 2)) 1) (* 2 x))
  (/ 1 (pow (exp x) 2))
  (/ 1 (pow (exp x) 2))
0.707 * * [simplify]: iteration  0 :  499  enodes  (cost  690 )
0.718 * * [simplify]: iteration  1 :  2363  enodes  (cost  641 )
0.778 * * [simplify]: iteration  2 :  5002  enodes  (cost  625 )
0.785 * [simplify]: Simplified to:
   (exp (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (log (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (exp (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (* (cbrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))) (cbrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))))
  (cbrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (pow (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)) 3)
  (sqrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (sqrt (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (+ (* (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)) (pow (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) 3))
  (* (* (pow (exp x) 3) 1) (pow (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) 3))
  (+ (* (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)) (pow (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) 3))
  (* (* (pow (exp x) 3) 1) (pow (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) 3))
  (+ (pow (+ (exp x) 2.0) 3) (* (pow (- (* (exp x) (exp x)) (* 2.0 2.0)) 3) (pow (exp x) 3)))
  (* (pow (+ (exp x) 2.0) 3) (pow (exp x) 3))
  (+ (pow (+ (exp x) 2.0) 3) (* (pow (- (* (exp x) (exp x)) (* 2.0 2.0)) 3) (pow (exp x) 3)))
  (* (pow (+ (exp x) 2.0) 3) (pow (exp x) 3))
  (- (+ (pow (- (exp x) 2.0) 2) (pow (exp x) -2)) (* (- (exp x) 2.0) (exp (neg x))))
  (+ (- (exp x) 2.0) (exp (neg x)))
  (+ (pow (pow (- (exp x) 2.0) 3) 3) (pow (pow (exp (neg x)) 3) 3))
  (- (+ (pow (- (exp x) 2.0) 6) (pow (exp (neg x)) 6)) (* (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)))
  (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))
  (- (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))
  (log (pow (- (exp x) 2.0) 3))
  (log (pow (- (exp x) 2.0) 3))
  3
  (pow (- (exp x) 2.0) (* (cbrt 3) (cbrt 3)))
  (pow (- (exp x) 2.0) (sqrt 3))
  (- (exp x) 2.0)
  (pow (- (exp x) 2.0) 2)
  (- (exp x) 2.0)
  (pow (- (exp x) 2.0) 3/2)
  (pow (- (exp x) 2.0) 3/2)
  1
  (pow (- (exp x) 2.0) 3)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 3)
  1
  (pow (- (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 2)
  (log (pow (- (exp x) 2.0) 3))
  (exp (pow (- (exp x) 2.0) 3))
  (pow (- (exp x) 2.0) 2)
  (- (exp x) 2.0)
  (pow (pow (- (exp x) 2.0) 3) 3)
  (pow (- (exp x) 2.0) 2)
  (- (exp x) 2.0)
  (pow (- (exp x) 2.0) 3/2)
  (pow (- (exp x) 2.0) 3/2)
  1
  (pow (- (exp x) 2.0) 3)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 3)
  1
  (pow (- (exp x) 2.0) 3)
  (pow (- (pow (exp x) 3) (pow 2.0 3)) 3)
  (pow (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) 3)
  (pow (- (* (exp x) (exp x)) (* 2.0 2.0)) 3)
  (pow (+ (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 2)
  (sqrt (pow (- (exp x) 2.0) 3))
  (sqrt (pow (- (exp x) 2.0) 3))
  (pow (- (exp x) 2.0) 3/2)
  (pow (- (exp x) 2.0) 3/2)
  (* -3 x)
  (* -3 x)
  3
  (* (cbrt (neg x)) 3)
  (* (sqrt (neg x)) 3)
  (* -3 x)
  (* x 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (* -3 (cbrt x))
  (* -3 (sqrt x))
  (* -3 x)
  (pow (exp (neg x)) (* (cbrt 3) (cbrt 3)))
  (pow (exp (neg x)) (sqrt 3))
  (exp (neg x))
  (pow (exp x) -2)
  (exp (neg x))
  (pow (exp (neg x)) 3/2)
  (pow (exp (neg x)) 3/2)
  1
  (pow (exp x) -3)
  (pow (exp x) -2)
  (* -3 x)
  (exp (pow (exp (neg x)) 3))
  (pow (exp x) -2)
  (exp (neg x))
  (pow (pow (exp (neg x)) 3) 3)
  (pow (exp x) -2)
  (exp (neg x))
  (pow (exp (neg x)) 3/2)
  (pow (exp (neg x)) 3/2)
  1
  (pow (exp x) -3)
  1
  (pow (exp x) 3)
  1
  (pow (exp x) 3)
  (pow (exp x) -2)
  (sqrt (pow (exp (neg x)) 3))
  (sqrt (pow (exp (neg x)) 3))
  (pow (exp (neg x)) 3/2)
  (pow (exp (neg x)) 3/2)
  (* x -2)
  (* x -2)
  -2
  (* (cbrt x) -2)
  (* (sqrt x) -2)
  (* x -2)
  (pow (exp x) (* (cbrt -2) (cbrt -2)))
  (pow (exp x) (sqrt -2))
  (exp x)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) -2)
  (pow (cbrt (exp x)) -2)
  (exp (neg x))
  (exp (neg x))
  1
  (pow (exp x) -2)
  (* x -2)
  (exp (pow (exp x) -2))
  (pow (cbrt (exp (neg x))) 4)
  (cbrt (pow (exp x) -2))
  (pow (exp (neg x)) 6)
  (exp (neg x))
  (exp (neg x))
  (exp (neg x))
  (exp (neg x))
  (- (+ (* 3.0 (pow x 2)) (* 3.25 (pow x 4))) (* 6.0 (pow x 3)))
  (- (+ (pow (exp (* -1 x)) 3) (+ (pow (exp x) 3) (* 12.0 (exp x)))) (+ (* 6.0 (pow (exp x) 2)) 8.0))
  (- (+ (pow (exp (* -1 x)) 3) (+ (pow (exp x) 3) (* 12.0 (exp x)))) (+ (* 6.0 (pow (exp x) 2)) 8.0))
  (- (* 3.0 x) (+ (* 1.5 (pow x 2)) 1.0))
  (pow (- (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 3)
  (- (+ (* 9/2 (pow x 2)) 1) (* 3 x))
  (pow (exp x) -3)
  (pow (exp x) -3)
  (- (+ (* 2 (pow x 2)) 1) (* 2 x))
  (pow (exp x) -2)
  (pow (exp x) -2)
0.786 * * * [progress]: adding candidates to table
0.953 * * [progress]: iteration 4 / 4
0.953 * * * [progress]: picking best candidate
0.961 * * * * [pick]: Picked  #<alt (λ (x) (/ (/ (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))) (- (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))))>
0.961 * * * [progress]: localizing error
0.982 * * * [progress]: generating rewritten candidates
0.983 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.996 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.001 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.006 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
1.013 * * * [progress]: generating series expansions
1.013 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.016 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 6) (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0))) (+ (* 12.0 (pow (exp x) 5)) (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (neg x)) 6) (* 192.0 (exp x)))))) in (x) around 0
1.016 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 6) (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0))) (+ (* 12.0 (pow (exp x) 5)) (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (neg x)) 6) (* 192.0 (exp x)))))) in x
1.016 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 6) (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0))) in x
1.016 * [taylor]: Taking taylor expansion of (pow (exp x) 6) in x
1.016 * [taylor]: Taking taylor expansion of (exp x) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0)) in x
1.016 * [taylor]: Taking taylor expansion of (* 60.0 (pow (exp x) 4)) in x
1.016 * [taylor]: Taking taylor expansion of 60.0 in x
1.016 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
1.016 * [taylor]: Taking taylor expansion of (exp x) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (+ (* 240.0 (pow (exp x) 2)) 64.0) in x
1.016 * [taylor]: Taking taylor expansion of (* 240.0 (pow (exp x) 2)) in x
1.016 * [taylor]: Taking taylor expansion of 240.0 in x
1.016 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.016 * [taylor]: Taking taylor expansion of (exp x) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of 64.0 in x
1.016 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp x) 5)) (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (neg x)) 6) (* 192.0 (exp x))))) in x
1.016 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp x) 5)) in x
1.016 * [taylor]: Taking taylor expansion of 12.0 in x
1.016 * [taylor]: Taking taylor expansion of (pow (exp x) 5) in x
1.016 * [taylor]: Taking taylor expansion of (exp x) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (neg x)) 6) (* 192.0 (exp x)))) in x
1.016 * [taylor]: Taking taylor expansion of (* 160.0 (pow (exp x) 3)) in x
1.016 * [taylor]: Taking taylor expansion of 160.0 in x
1.016 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.016 * [taylor]: Taking taylor expansion of (exp x) in x
1.016 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of (+ (pow (exp (neg x)) 6) (* 192.0 (exp x))) in x
1.016 * [taylor]: Taking taylor expansion of (pow (exp (neg x)) 6) in x
1.016 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
1.017 * [taylor]: Taking taylor expansion of (neg x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (* 192.0 (exp x)) in x
1.017 * [taylor]: Taking taylor expansion of 192.0 in x
1.017 * [taylor]: Taking taylor expansion of (exp x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 6) (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0))) (+ (* 12.0 (pow (exp x) 5)) (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (neg x)) 6) (* 192.0 (exp x)))))) in x
1.017 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 6) (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0))) in x
1.017 * [taylor]: Taking taylor expansion of (pow (exp x) 6) in x
1.017 * [taylor]: Taking taylor expansion of (exp x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0)) in x
1.017 * [taylor]: Taking taylor expansion of (* 60.0 (pow (exp x) 4)) in x
1.017 * [taylor]: Taking taylor expansion of 60.0 in x
1.017 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
1.017 * [taylor]: Taking taylor expansion of (exp x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (+ (* 240.0 (pow (exp x) 2)) 64.0) in x
1.017 * [taylor]: Taking taylor expansion of (* 240.0 (pow (exp x) 2)) in x
1.017 * [taylor]: Taking taylor expansion of 240.0 in x
1.017 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
1.017 * [taylor]: Taking taylor expansion of (exp x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of 64.0 in x
1.017 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp x) 5)) (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (neg x)) 6) (* 192.0 (exp x))))) in x
1.017 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp x) 5)) in x
1.017 * [taylor]: Taking taylor expansion of 12.0 in x
1.017 * [taylor]: Taking taylor expansion of (pow (exp x) 5) in x
1.017 * [taylor]: Taking taylor expansion of (exp x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (neg x)) 6) (* 192.0 (exp x)))) in x
1.017 * [taylor]: Taking taylor expansion of (* 160.0 (pow (exp x) 3)) in x
1.017 * [taylor]: Taking taylor expansion of 160.0 in x
1.017 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
1.017 * [taylor]: Taking taylor expansion of (exp x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (+ (pow (exp (neg x)) 6) (* 192.0 (exp x))) in x
1.017 * [taylor]: Taking taylor expansion of (pow (exp (neg x)) 6) in x
1.017 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
1.017 * [taylor]: Taking taylor expansion of (neg x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.017 * [taylor]: Taking taylor expansion of (* 192.0 (exp x)) in x
1.017 * [taylor]: Taking taylor expansion of 192.0 in x
1.017 * [taylor]: Taking taylor expansion of (exp x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.026 * [approximate]: Taking taylor expansion of (- (+ (* 60.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) (+ (* 240.0 (pow (exp (/ 1 x)) 2)) 64.0))) (+ (* 12.0 (pow (exp (/ 1 x)) 5)) (+ (* 192.0 (exp (/ 1 x))) (+ (* 160.0 (pow (exp (/ 1 x)) 3)) (pow (exp (neg (/ 1 x))) 6))))) in (x) around 0
1.026 * [taylor]: Taking taylor expansion of (- (+ (* 60.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) (+ (* 240.0 (pow (exp (/ 1 x)) 2)) 64.0))) (+ (* 12.0 (pow (exp (/ 1 x)) 5)) (+ (* 192.0 (exp (/ 1 x))) (+ (* 160.0 (pow (exp (/ 1 x)) 3)) (pow (exp (neg (/ 1 x))) 6))))) in x
1.026 * [taylor]: Taking taylor expansion of (+ (* 60.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) (+ (* 240.0 (pow (exp (/ 1 x)) 2)) 64.0))) in x
1.026 * [taylor]: Taking taylor expansion of (* 60.0 (pow (exp (/ 1 x)) 4)) in x
1.026 * [taylor]: Taking taylor expansion of 60.0 in x
1.026 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
1.026 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 6) (+ (* 240.0 (pow (exp (/ 1 x)) 2)) 64.0)) in x
1.026 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
1.026 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of (+ (* 240.0 (pow (exp (/ 1 x)) 2)) 64.0) in x
1.026 * [taylor]: Taking taylor expansion of (* 240.0 (pow (exp (/ 1 x)) 2)) in x
1.026 * [taylor]: Taking taylor expansion of 240.0 in x
1.026 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.026 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of 64.0 in x
1.026 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp (/ 1 x)) 5)) (+ (* 192.0 (exp (/ 1 x))) (+ (* 160.0 (pow (exp (/ 1 x)) 3)) (pow (exp (neg (/ 1 x))) 6)))) in x
1.026 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp (/ 1 x)) 5)) in x
1.026 * [taylor]: Taking taylor expansion of 12.0 in x
1.026 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 5) in x
1.026 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of (+ (* 192.0 (exp (/ 1 x))) (+ (* 160.0 (pow (exp (/ 1 x)) 3)) (pow (exp (neg (/ 1 x))) 6))) in x
1.026 * [taylor]: Taking taylor expansion of (* 192.0 (exp (/ 1 x))) in x
1.026 * [taylor]: Taking taylor expansion of 192.0 in x
1.026 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of (+ (* 160.0 (pow (exp (/ 1 x)) 3)) (pow (exp (neg (/ 1 x))) 6)) in x
1.027 * [taylor]: Taking taylor expansion of (* 160.0 (pow (exp (/ 1 x)) 3)) in x
1.027 * [taylor]: Taking taylor expansion of 160.0 in x
1.027 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 6) in x
1.027 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
1.027 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of (- (+ (* 60.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) (+ (* 240.0 (pow (exp (/ 1 x)) 2)) 64.0))) (+ (* 12.0 (pow (exp (/ 1 x)) 5)) (+ (* 192.0 (exp (/ 1 x))) (+ (* 160.0 (pow (exp (/ 1 x)) 3)) (pow (exp (neg (/ 1 x))) 6))))) in x
1.027 * [taylor]: Taking taylor expansion of (+ (* 60.0 (pow (exp (/ 1 x)) 4)) (+ (pow (exp (/ 1 x)) 6) (+ (* 240.0 (pow (exp (/ 1 x)) 2)) 64.0))) in x
1.027 * [taylor]: Taking taylor expansion of (* 60.0 (pow (exp (/ 1 x)) 4)) in x
1.027 * [taylor]: Taking taylor expansion of 60.0 in x
1.027 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
1.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 6) (+ (* 240.0 (pow (exp (/ 1 x)) 2)) 64.0)) in x
1.027 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
1.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of (+ (* 240.0 (pow (exp (/ 1 x)) 2)) 64.0) in x
1.027 * [taylor]: Taking taylor expansion of (* 240.0 (pow (exp (/ 1 x)) 2)) in x
1.027 * [taylor]: Taking taylor expansion of 240.0 in x
1.027 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
1.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of 64.0 in x
1.027 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp (/ 1 x)) 5)) (+ (* 192.0 (exp (/ 1 x))) (+ (* 160.0 (pow (exp (/ 1 x)) 3)) (pow (exp (neg (/ 1 x))) 6)))) in x
1.027 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp (/ 1 x)) 5)) in x
1.027 * [taylor]: Taking taylor expansion of 12.0 in x
1.027 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 5) in x
1.027 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.027 * [taylor]: Taking taylor expansion of x in x
1.027 * [taylor]: Taking taylor expansion of (+ (* 192.0 (exp (/ 1 x))) (+ (* 160.0 (pow (exp (/ 1 x)) 3)) (pow (exp (neg (/ 1 x))) 6))) in x
1.028 * [taylor]: Taking taylor expansion of (* 192.0 (exp (/ 1 x))) in x
1.028 * [taylor]: Taking taylor expansion of 192.0 in x
1.028 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.028 * [taylor]: Taking taylor expansion of (+ (* 160.0 (pow (exp (/ 1 x)) 3)) (pow (exp (neg (/ 1 x))) 6)) in x
1.028 * [taylor]: Taking taylor expansion of (* 160.0 (pow (exp (/ 1 x)) 3)) in x
1.028 * [taylor]: Taking taylor expansion of 160.0 in x
1.028 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
1.028 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.028 * [taylor]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 6) in x
1.028 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
1.028 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
1.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.028 * [taylor]: Taking taylor expansion of x in x
1.046 * [approximate]: Taking taylor expansion of (- (+ (* 240.0 (pow (exp (/ -1 x)) 2)) (+ (* 60.0 (pow (exp (/ -1 x)) 4)) (+ (pow (exp (/ -1 x)) 6) 64.0))) (+ (* 160.0 (pow (exp (/ -1 x)) 3)) (+ (pow (exp (/ 1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 5)) (* 192.0 (exp (/ -1 x))))))) in (x) around 0
1.046 * [taylor]: Taking taylor expansion of (- (+ (* 240.0 (pow (exp (/ -1 x)) 2)) (+ (* 60.0 (pow (exp (/ -1 x)) 4)) (+ (pow (exp (/ -1 x)) 6) 64.0))) (+ (* 160.0 (pow (exp (/ -1 x)) 3)) (+ (pow (exp (/ 1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 5)) (* 192.0 (exp (/ -1 x))))))) in x
1.046 * [taylor]: Taking taylor expansion of (+ (* 240.0 (pow (exp (/ -1 x)) 2)) (+ (* 60.0 (pow (exp (/ -1 x)) 4)) (+ (pow (exp (/ -1 x)) 6) 64.0))) in x
1.046 * [taylor]: Taking taylor expansion of (* 240.0 (pow (exp (/ -1 x)) 2)) in x
1.046 * [taylor]: Taking taylor expansion of 240.0 in x
1.046 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.046 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.046 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.046 * [taylor]: Taking taylor expansion of -1 in x
1.046 * [taylor]: Taking taylor expansion of x in x
1.046 * [taylor]: Taking taylor expansion of (+ (* 60.0 (pow (exp (/ -1 x)) 4)) (+ (pow (exp (/ -1 x)) 6) 64.0)) in x
1.046 * [taylor]: Taking taylor expansion of (* 60.0 (pow (exp (/ -1 x)) 4)) in x
1.046 * [taylor]: Taking taylor expansion of 60.0 in x
1.046 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
1.046 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.046 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.046 * [taylor]: Taking taylor expansion of -1 in x
1.046 * [taylor]: Taking taylor expansion of x in x
1.046 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 6) 64.0) in x
1.046 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 6) in x
1.047 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.047 * [taylor]: Taking taylor expansion of -1 in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [taylor]: Taking taylor expansion of 64.0 in x
1.047 * [taylor]: Taking taylor expansion of (+ (* 160.0 (pow (exp (/ -1 x)) 3)) (+ (pow (exp (/ 1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 5)) (* 192.0 (exp (/ -1 x)))))) in x
1.047 * [taylor]: Taking taylor expansion of (* 160.0 (pow (exp (/ -1 x)) 3)) in x
1.047 * [taylor]: Taking taylor expansion of 160.0 in x
1.047 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.047 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.047 * [taylor]: Taking taylor expansion of -1 in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 5)) (* 192.0 (exp (/ -1 x))))) in x
1.047 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
1.047 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp (/ -1 x)) 5)) (* 192.0 (exp (/ -1 x)))) in x
1.047 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp (/ -1 x)) 5)) in x
1.047 * [taylor]: Taking taylor expansion of 12.0 in x
1.047 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 5) in x
1.047 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.047 * [taylor]: Taking taylor expansion of -1 in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [taylor]: Taking taylor expansion of (* 192.0 (exp (/ -1 x))) in x
1.047 * [taylor]: Taking taylor expansion of 192.0 in x
1.047 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.047 * [taylor]: Taking taylor expansion of -1 in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [taylor]: Taking taylor expansion of (- (+ (* 240.0 (pow (exp (/ -1 x)) 2)) (+ (* 60.0 (pow (exp (/ -1 x)) 4)) (+ (pow (exp (/ -1 x)) 6) 64.0))) (+ (* 160.0 (pow (exp (/ -1 x)) 3)) (+ (pow (exp (/ 1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 5)) (* 192.0 (exp (/ -1 x))))))) in x
1.047 * [taylor]: Taking taylor expansion of (+ (* 240.0 (pow (exp (/ -1 x)) 2)) (+ (* 60.0 (pow (exp (/ -1 x)) 4)) (+ (pow (exp (/ -1 x)) 6) 64.0))) in x
1.047 * [taylor]: Taking taylor expansion of (* 240.0 (pow (exp (/ -1 x)) 2)) in x
1.047 * [taylor]: Taking taylor expansion of 240.0 in x
1.047 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
1.047 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.047 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.047 * [taylor]: Taking taylor expansion of -1 in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [taylor]: Taking taylor expansion of (+ (* 60.0 (pow (exp (/ -1 x)) 4)) (+ (pow (exp (/ -1 x)) 6) 64.0)) in x
1.047 * [taylor]: Taking taylor expansion of (* 60.0 (pow (exp (/ -1 x)) 4)) in x
1.047 * [taylor]: Taking taylor expansion of 60.0 in x
1.047 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
1.047 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.048 * [taylor]: Taking taylor expansion of -1 in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 6) 64.0) in x
1.048 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 6) in x
1.048 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.048 * [taylor]: Taking taylor expansion of -1 in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of 64.0 in x
1.048 * [taylor]: Taking taylor expansion of (+ (* 160.0 (pow (exp (/ -1 x)) 3)) (+ (pow (exp (/ 1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 5)) (* 192.0 (exp (/ -1 x)))))) in x
1.048 * [taylor]: Taking taylor expansion of (* 160.0 (pow (exp (/ -1 x)) 3)) in x
1.048 * [taylor]: Taking taylor expansion of 160.0 in x
1.048 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
1.048 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.048 * [taylor]: Taking taylor expansion of -1 in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 6) (+ (* 12.0 (pow (exp (/ -1 x)) 5)) (* 192.0 (exp (/ -1 x))))) in x
1.048 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
1.048 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (+ (* 12.0 (pow (exp (/ -1 x)) 5)) (* 192.0 (exp (/ -1 x)))) in x
1.048 * [taylor]: Taking taylor expansion of (* 12.0 (pow (exp (/ -1 x)) 5)) in x
1.048 * [taylor]: Taking taylor expansion of 12.0 in x
1.048 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 5) in x
1.048 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.048 * [taylor]: Taking taylor expansion of -1 in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (* 192.0 (exp (/ -1 x))) in x
1.048 * [taylor]: Taking taylor expansion of 192.0 in x
1.048 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.048 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.048 * [taylor]: Taking taylor expansion of -1 in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.065 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.065 * [approximate]: Taking taylor expansion of (pow (exp (neg x)) 6) in (x) around 0
1.065 * [taylor]: Taking taylor expansion of (pow (exp (neg x)) 6) in x
1.065 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
1.065 * [taylor]: Taking taylor expansion of (neg x) in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.065 * [taylor]: Taking taylor expansion of (pow (exp (neg x)) 6) in x
1.065 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
1.065 * [taylor]: Taking taylor expansion of (neg x) in x
1.065 * [taylor]: Taking taylor expansion of x in x
1.066 * [approximate]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 6) in (x) around 0
1.066 * [taylor]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 6) in x
1.066 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
1.066 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
1.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.066 * [taylor]: Taking taylor expansion of (pow (exp (neg (/ 1 x))) 6) in x
1.066 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
1.066 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
1.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.066 * [taylor]: Taking taylor expansion of x in x
1.069 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in (x) around 0
1.069 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
1.069 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.069 * [taylor]: Taking taylor expansion of x in x
1.069 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 6) in x
1.069 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.069 * [taylor]: Taking taylor expansion of x in x
1.072 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.072 * [approximate]: Taking taylor expansion of (pow (- (exp x) 2.0) 6) in (x) around 0
1.072 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2.0) 6) in x
1.072 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
1.072 * [taylor]: Taking taylor expansion of (exp x) in x
1.072 * [taylor]: Taking taylor expansion of x in x
1.072 * [taylor]: Taking taylor expansion of 2.0 in x
1.072 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2.0) 6) in x
1.072 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
1.072 * [taylor]: Taking taylor expansion of (exp x) in x
1.072 * [taylor]: Taking taylor expansion of x in x
1.072 * [taylor]: Taking taylor expansion of 2.0 in x
1.072 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 6) in (x) around 0
1.073 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 6) in x
1.073 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
1.073 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.073 * [taylor]: Taking taylor expansion of x in x
1.073 * [taylor]: Taking taylor expansion of 2.0 in x
1.073 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 6) in x
1.073 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
1.073 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.073 * [taylor]: Taking taylor expansion of x in x
1.073 * [taylor]: Taking taylor expansion of 2.0 in x
1.076 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 6) in (x) around 0
1.076 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 6) in x
1.076 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
1.076 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.076 * [taylor]: Taking taylor expansion of -1 in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of 2.0 in x
1.076 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 6) in x
1.076 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
1.076 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.076 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.076 * [taylor]: Taking taylor expansion of -1 in x
1.076 * [taylor]: Taking taylor expansion of x in x
1.076 * [taylor]: Taking taylor expansion of 2.0 in x
1.079 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.079 * [approximate]: Taking taylor expansion of (pow (- (exp x) 2.0) 3) in (x) around 0
1.079 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2.0) 3) in x
1.079 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
1.079 * [taylor]: Taking taylor expansion of (exp x) in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.079 * [taylor]: Taking taylor expansion of 2.0 in x
1.079 * [taylor]: Taking taylor expansion of (pow (- (exp x) 2.0) 3) in x
1.079 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
1.079 * [taylor]: Taking taylor expansion of (exp x) in x
1.079 * [taylor]: Taking taylor expansion of x in x
1.079 * [taylor]: Taking taylor expansion of 2.0 in x
1.080 * [approximate]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 3) in (x) around 0
1.080 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 3) in x
1.080 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
1.080 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of 2.0 in x
1.080 * [taylor]: Taking taylor expansion of (pow (- (exp (/ 1 x)) 2.0) 3) in x
1.080 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
1.080 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of 2.0 in x
1.082 * [approximate]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 3) in (x) around 0
1.082 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 3) in x
1.082 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
1.082 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.082 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.082 * [taylor]: Taking taylor expansion of -1 in x
1.082 * [taylor]: Taking taylor expansion of x in x
1.082 * [taylor]: Taking taylor expansion of 2.0 in x
1.083 * [taylor]: Taking taylor expansion of (pow (- (exp (/ -1 x)) 2.0) 3) in x
1.083 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
1.083 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.083 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.083 * [taylor]: Taking taylor expansion of -1 in x
1.083 * [taylor]: Taking taylor expansion of x in x
1.083 * [taylor]: Taking taylor expansion of 2.0 in x
1.084 * * * [progress]: simplifying candidates
1.086 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (pow (- (exp x) 2.0) 6)) (/ 1 (exp (pow (exp (neg x)) 6))))
  (* (exp (pow (- (exp x) 2.0) 6)) (exp (neg (pow (exp (neg x)) 6))))
  (log (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (exp (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (* (cbrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))) (cbrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))))
  (cbrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (* (* (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))) (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))) (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (sqrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (sqrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (+ (pow (pow (- (exp x) 2.0) 6) 3) (pow (neg (pow (exp (neg x)) 6)) 3))
  (+ (* (pow (- (exp x) 2.0) 6) (pow (- (exp x) 2.0) 6)) (- (* (neg (pow (exp (neg x)) 6)) (neg (pow (exp (neg x)) 6))) (* (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))))
  (- (* (pow (- (exp x) 2.0) 6) (pow (- (exp x) 2.0) 6)) (* (neg (pow (exp (neg x)) 6)) (neg (pow (exp (neg x)) 6))))
  (- (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))
  (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))
  (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))
  (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))
  (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))
  (+ (pow (- (exp x) 2.0) 6) 0)
  (* (neg x) 6)
  (* (log (exp (neg x))) 6)
  (* 1 6)
  (* (cbrt (neg x)) 6)
  (* (sqrt (neg x)) 6)
  (* (neg x) 6)
  (* x 6)
  (* (cbrt x) 6)
  (* (sqrt x) 6)
  (* x 6)
  (* (neg (cbrt x)) 6)
  (* (neg (sqrt x)) 6)
  (* (neg x) 6)
  (pow (exp (neg x)) (* (cbrt 6) (cbrt 6)))
  (pow (exp (neg x)) (sqrt 6))
  (pow (exp (neg x)) 1)
  (pow (* (cbrt (exp (neg x))) (cbrt (exp (neg x)))) 6)
  (pow (cbrt (exp (neg x))) 6)
  (pow (sqrt (exp (neg x))) 6)
  (pow (sqrt (exp (neg x))) 6)
  (pow 1 6)
  (pow (exp (neg x)) 6)
  (log (pow (exp (neg x)) 6))
  (exp (pow (exp (neg x)) 6))
  (* (cbrt (pow (exp (neg x)) 6)) (cbrt (pow (exp (neg x)) 6)))
  (cbrt (pow (exp (neg x)) 6))
  (* (* (pow (exp (neg x)) 6) (pow (exp (neg x)) 6)) (pow (exp (neg x)) 6))
  (sqrt (pow (exp (neg x)) 6))
  (sqrt (pow (exp (neg x)) 6))
  (pow (exp (neg x)) (/ 6 2))
  (pow (exp (neg x)) (/ 6 2))
  (* (log (- (exp x) 2.0)) 6)
  (* (log (- (exp x) 2.0)) 6)
  (* 1 6)
  (pow (- (exp x) 2.0) (* (cbrt 6) (cbrt 6)))
  (pow (- (exp x) 2.0) (sqrt 6))
  (pow (- (exp x) 2.0) 1)
  (pow (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) 6)
  (pow (cbrt (- (exp x) 2.0)) 6)
  (pow (sqrt (- (exp x) 2.0)) 6)
  (pow (sqrt (- (exp x) 2.0)) 6)
  (pow 1 6)
  (pow (- (exp x) 2.0) 6)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 6)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 6)
  (pow 1 6)
  (pow (- (exp x) 2.0) 6)
  (log (pow (- (exp x) 2.0) 6))
  (exp (pow (- (exp x) 2.0) 6))
  (* (cbrt (pow (- (exp x) 2.0) 6)) (cbrt (pow (- (exp x) 2.0) 6)))
  (cbrt (pow (- (exp x) 2.0) 6))
  (* (* (pow (- (exp x) 2.0) 6) (pow (- (exp x) 2.0) 6)) (pow (- (exp x) 2.0) 6))
  (sqrt (pow (- (exp x) 2.0) 6))
  (sqrt (pow (- (exp x) 2.0) 6))
  (pow (- (exp x) 2.0) (/ 6 2))
  (pow (- (exp x) 2.0) (/ 6 2))
  (* (log (- (exp x) 2.0)) 3)
  (* (log (- (exp x) 2.0)) 3)
  (* 1 3)
  (pow (- (exp x) 2.0) (* (cbrt 3) (cbrt 3)))
  (pow (- (exp x) 2.0) (sqrt 3))
  (pow (- (exp x) 2.0) 1)
  (pow (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) 3)
  (pow (cbrt (- (exp x) 2.0)) 3)
  (pow (sqrt (- (exp x) 2.0)) 3)
  (pow (sqrt (- (exp x) 2.0)) 3)
  (pow 1 3)
  (pow (- (exp x) 2.0) 3)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow 1 3)
  (pow (- (exp x) 2.0) 3)
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (log (pow (- (exp x) 2.0) 3))
  (exp (pow (- (exp x) 2.0) 3))
  (* (cbrt (pow (- (exp x) 2.0) 3)) (cbrt (pow (- (exp x) 2.0) 3)))
  (cbrt (pow (- (exp x) 2.0) 3))
  (* (* (pow (- (exp x) 2.0) 3) (pow (- (exp x) 2.0) 3)) (pow (- (exp x) 2.0) 3))
  (pow (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) 3)
  (pow (cbrt (- (exp x) 2.0)) 3)
  (pow (sqrt (- (exp x) 2.0)) 3)
  (pow (sqrt (- (exp x) 2.0)) 3)
  (pow 1 3)
  (pow (- (exp x) 2.0) 3)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow 1 3)
  (pow (- (exp x) 2.0) 3)
  (pow (- (pow (exp x) 3) (pow 2.0 3)) 3)
  (pow (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 3)
  (pow (- (* (exp x) (exp x)) (* 2.0 2.0)) 3)
  (pow (+ (exp x) 2.0) 3)
  (* (- (exp x) 2.0) (- (exp x) 2.0))
  (sqrt (pow (- (exp x) 2.0) 3))
  (sqrt (pow (- (exp x) 2.0) 3))
  (pow (- (exp x) 2.0) (/ 3 2))
  (pow (- (exp x) 2.0) (/ 3 2))
  (- (* 30.0 (pow x 3)) (+ (* 6.0 (pow x 2)) (* 60.5 (pow x 4))))
  (- (+ (pow (exp x) 6) (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0))) (+ (* 12.0 (pow (exp x) 5)) (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (neg x)) 6) (* 192.0 (exp x))))))
  (- (+ (pow (exp x) 6) (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0))) (+ (* 12.0 (pow (exp x) 5)) (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (* -1 x)) 6) (* 192.0 (exp x))))))
  (- (+ (* 18 (pow x 2)) 1) (* 6 x))
  (pow (exp (neg x)) 6)
  (pow (exp (* -1 x)) 6)
  (- (+ (* 12.0 (pow x 2)) 1.0) (* 6.0 x))
  (pow (- (exp x) 2.0) 6)
  (pow (- (exp x) 2.0) 6)
  (- (* 3.0 x) (+ (* 1.5 (pow x 2)) 1.0))
  (pow (- (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 3)
1.092 * * [simplify]: iteration  0 :  493  enodes  (cost  616 )
1.101 * * [simplify]: iteration  1 :  1984  enodes  (cost  564 )
1.139 * * [simplify]: iteration  2 :  5001  enodes  (cost  554 )
1.143 * [simplify]: Simplified to:
   (exp (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (exp (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (log (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (exp (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (* (cbrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))) (cbrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6)))))
  (cbrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (pow (- (pow (- (exp x) 2.0) 6) (pow (exp (neg x)) 6)) 3)
  (sqrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (sqrt (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))))
  (- (pow (pow (- (exp x) 2.0) 6) 3) (pow (pow (exp (neg x)) 6) 3))
  (+ (+ (pow (- (exp x) 2.0) 12) (pow (exp (neg x)) 12)) (* (pow (- (exp x) 2.0) 6) (pow (exp (neg x)) 6)))
  (+ (pow (- (exp x) 2.0) 12) (neg (pow (exp (neg x)) 12)))
  (+ (pow (- (exp x) 2.0) 6) (pow (exp (* -1 x)) 6))
  (- (pow (- (exp x) 2.0) 6) (pow (exp (neg x)) 6))
  (- (pow (- (exp x) 2.0) 6) (pow (exp (neg x)) 6))
  (- (pow (- (exp x) 2.0) 6) (pow (exp (neg x)) 6))
  (- (pow (- (exp x) 2.0) 6) (pow (exp (neg x)) 6))
  (pow (- (exp x) 2.0) 6)
  (* -6 x)
  (* -6 x)
  6
  (* (cbrt (neg x)) 6)
  (* (sqrt (neg x)) 6)
  (* -6 x)
  (* x 6)
  (* (cbrt x) 6)
  (* (sqrt x) 6)
  (* x 6)
  (* -6 (cbrt x))
  (* -6 (sqrt x))
  (* -6 x)
  (pow (exp (neg x)) (* (cbrt 6) (cbrt 6)))
  (pow (exp (neg x)) (sqrt 6))
  (exp (neg x))
  (pow (exp (neg x)) 4)
  (pow (exp x) -2)
  (pow (exp (neg x)) 3)
  (pow (exp (neg x)) 3)
  1
  (pow (exp (* -1 x)) 6)
  (* -6 x)
  (exp (pow (exp (neg x)) 6))
  (* (cbrt (pow (exp (neg x)) 6)) (cbrt (pow (exp (neg x)) 6)))
  (cbrt (pow (exp (neg x)) 6))
  (pow (pow (exp (* -1 x)) 6) 3)
  (sqrt (pow (exp (neg x)) 6))
  (sqrt (pow (exp (neg x)) 6))
  (pow (exp (neg x)) 3)
  (pow (exp (neg x)) 3)
  (log (pow (- (exp x) 2.0) 6))
  (log (pow (- (exp x) 2.0) 6))
  6
  (pow (- (exp x) 2.0) (* (cbrt 6) (cbrt 6)))
  (pow (- (exp x) 2.0) (sqrt 6))
  (- (exp x) 2.0)
  (pow (- (exp x) 2.0) 4)
  (pow (- (exp x) 2.0) 2)
  (pow (- (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 3)
  1
  (pow (- (exp x) 2.0) 6)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 6)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 6)
  1
  (pow (- (exp x) 2.0) 6)
  (log (pow (- (exp x) 2.0) 6))
  (exp (pow (- (exp x) 2.0) 6))
  (* (cbrt (pow (- (exp x) 2.0) 6)) (cbrt (pow (- (exp x) 2.0) 6)))
  (cbrt (pow (- (exp x) 2.0) 6))
  (pow (pow (- (exp x) 2.0) 6) 3)
  (sqrt (pow (- (exp x) 2.0) 6))
  (sqrt (pow (- (exp x) 2.0) 6))
  (pow (- (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 3)
  (log (pow (- (exp x) 2.0) 3))
  (log (pow (- (exp x) 2.0) 3))
  3
  (pow (- (exp x) 2.0) (* (cbrt 3) (cbrt 3)))
  (pow (- (exp x) 2.0) (sqrt 3))
  (- (exp x) 2.0)
  (pow (- (exp x) 2.0) 2)
  (- (exp x) 2.0)
  (pow (- (exp x) 2.0) 3/2)
  (pow (- (exp x) 2.0) 3/2)
  1
  (pow (- (exp x) 2.0) 3)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 3)
  1
  (pow (- (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 2)
  (log (pow (- (exp x) 2.0) 3))
  (exp (pow (- (exp x) 2.0) 3))
  (pow (- (exp x) 2.0) 2)
  (- (exp x) 2.0)
  (pow (pow (- (exp x) 2.0) 3) 3)
  (pow (- (exp x) 2.0) 2)
  (- (exp x) 2.0)
  (pow (- (exp x) 2.0) 3/2)
  (pow (- (exp x) 2.0) 3/2)
  1
  (pow (- (exp x) 2.0) 3)
  (pow (+ (sqrt (exp x)) (sqrt 2.0)) 3)
  (pow (- (sqrt (exp x)) (sqrt 2.0)) 3)
  1
  (pow (- (exp x) 2.0) 3)
  (pow (- (pow (exp x) 3) (pow 2.0 3)) 3)
  (pow (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) 3)
  (pow (- (* (exp x) (exp x)) (* 2.0 2.0)) 3)
  (pow (+ (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 2)
  (sqrt (pow (- (exp x) 2.0) 3))
  (sqrt (pow (- (exp x) 2.0) 3))
  (pow (- (exp x) 2.0) 3/2)
  (pow (- (exp x) 2.0) 3/2)
  (- (* 30.0 (pow x 3)) (+ (* 6.0 (pow x 2)) (* 60.5 (pow x 4))))
  (- (+ (pow (exp x) 6) (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0))) (+ (* 12.0 (pow (exp x) 5)) (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (* -1 x)) 6) (* 192.0 (exp x))))))
  (- (+ (pow (exp x) 6) (+ (* 60.0 (pow (exp x) 4)) (+ (* 240.0 (pow (exp x) 2)) 64.0))) (+ (* 12.0 (pow (exp x) 5)) (+ (* 160.0 (pow (exp x) 3)) (+ (pow (exp (* -1 x)) 6) (* 192.0 (exp x))))))
  (- (+ (* 18 (pow x 2)) 1) (* 6 x))
  (pow (exp (* -1 x)) 6)
  (pow (exp (* -1 x)) 6)
  (- (+ (* 12.0 (pow x 2)) 1.0) (* 6.0 x))
  (pow (- (exp x) 2.0) 6)
  (pow (- (exp x) 2.0) 6)
  (- (* 3.0 x) (+ (* 1.5 (pow x 2)) 1.0))
  (pow (- (exp x) 2.0) 3)
  (pow (- (exp x) 2.0) 3)
1.145 * * * [progress]: adding candidates to table
1.356 * [progress]: [Phase 3 of 3] Extracting.
1.356 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (+ (/ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) 3)) (pow (exp (neg x)) 3)) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))))> #<alt (λ (x) (+ (- (exp x) 2.0) (exp (neg x))))> #<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))> #<alt (λ (x) (/ (/ (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))) (- (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))))>)
1.357 * * * [regime-changes]: Trying 2 branch expressions: ((+ (- (exp x) 2.0) (exp (neg x))) x)
1.357 * * * * [regimes]: Trying to branch on (+ (- (exp x) 2.0) (exp (neg x))) from (#<alt (λ (x) (/ (+ (/ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) 3)) (pow (exp (neg x)) 3)) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))))> #<alt (λ (x) (+ (- (exp x) 2.0) (exp (neg x))))> #<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))> #<alt (λ (x) (/ (/ (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))) (- (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))))>)
1.394 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (+ (/ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (+ (* 2.0 (+ 2.0 (exp x))) (pow (exp x) 2)) 3)) (pow (exp (neg x)) 3)) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))))> #<alt (λ (x) (+ (- (exp x) 2.0) (exp (neg x))))> #<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))> #<alt (λ (x) (/ (/ (+ (pow (- (exp x) 2.0) 6) (neg (pow (exp (neg x)) 6))) (- (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3))) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2))))>)
1.428 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.428 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
1.429 * * [simplify]: iteration  0 :  17  enodes  (cost  7 )
1.429 * * [simplify]: iteration  1 :  17  enodes  (cost  7 )
1.429 * [simplify]: Simplified to:
   (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
4.556 * [regime-testing]: End program error score: 0.6064835605945802
4.624 * [regime-testing]: Target error score: 0.043333801107169626