9.106 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.077 * * * [progress]: [2/2] Setting up program.
0.080 * [progress]: [Phase 2 of 3] Improving.
0.080 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (- (exp x) 2.0) (exp (neg x)))
0.081 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
0.082 * * [simplify]: iteration  1 :  14  enodes  (cost  8 )
0.083 * * [simplify]: iteration  2 :  26  enodes  (cost  8 )
0.086 * * [simplify]: iteration  3 :  38  enodes  (cost  8 )
0.089 * * [simplify]: iteration  4 :  50  enodes  (cost  8 )
0.099 * * [simplify]: iteration  5 :  62  enodes  (cost  8 )
0.103 * * [simplify]: iteration  6 :  73  enodes  (cost  8 )
0.108 * * [simplify]: iteration  7 :  90  enodes  (cost  8 )
0.115 * * [simplify]: iteration  8 :  110  enodes  (cost  8 )
0.123 * * [simplify]: iteration  9 :  138  enodes  (cost  8 )
0.132 * * [simplify]: iteration  10 :  170  enodes  (cost  8 )
0.143 * * [simplify]: iteration  11 :  223  enodes  (cost  8 )
0.160 * * [simplify]: iteration  12 :  274  enodes  (cost  8 )
0.177 * * [simplify]: iteration  13 :  336  enodes  (cost  8 )
0.193 * * [simplify]: iteration  14 :  387  enodes  (cost  8 )
0.215 * * [simplify]: iteration  15 :  456  enodes  (cost  8 )
0.235 * * [simplify]: iteration  16 :  516  enodes  (cost  8 )
0.259 * * [simplify]: iteration  17 :  591  enodes  (cost  8 )
0.282 * * [simplify]: iteration  18 :  660  enodes  (cost  8 )
0.310 * * [simplify]: iteration  19 :  749  enodes  (cost  8 )
0.337 * * [simplify]: iteration  20 :  815  enodes  (cost  8 )
0.365 * * [simplify]: iteration  21 :  900  enodes  (cost  8 )
0.394 * * [simplify]: iteration  22 :  969  enodes  (cost  8 )
0.426 * * [simplify]: iteration  23 :  1073  enodes  (cost  8 )
0.462 * * [simplify]: iteration  24 :  1164  enodes  (cost  8 )
0.499 * * [simplify]: iteration  25 :  1288  enodes  (cost  8 )
0.547 * * [simplify]: iteration  26 :  1402  enodes  (cost  8 )
0.588 * * [simplify]: iteration  27 :  1561  enodes  (cost  8 )
0.648 * * [simplify]: iteration  28 :  1686  enodes  (cost  8 )
0.692 * * [simplify]: iteration  29 :  1848  enodes  (cost  8 )
0.760 * * [simplify]: iteration  30 :  2001  enodes  (cost  8 )
0.810 * * [simplify]: iteration  31 :  2191  enodes  (cost  8 )
0.887 * * [simplify]: iteration  32 :  2353  enodes  (cost  8 )
0.940 * * [simplify]: iteration  33 :  2553  enodes  (cost  8 )
1.030 * * [simplify]: iteration  34 :  2721  enodes  (cost  8 )
1.087 * * [simplify]: iteration  35 :  2938  enodes  (cost  8 )
1.191 * * [simplify]: iteration  36 :  3084  enodes  (cost  8 )
1.247 * * [simplify]: iteration  37 :  3278  enodes  (cost  8 )
1.359 * * [simplify]: iteration  38 :  3439  enodes  (cost  8 )
1.417 * * [simplify]: iteration  39 :  3655  enodes  (cost  8 )
1.535 * * [simplify]: iteration  40 :  3809  enodes  (cost  8 )
1.595 * * [simplify]: iteration  41 :  4019  enodes  (cost  8 )
1.732 * * [simplify]: iteration  42 :  4182  enodes  (cost  8 )
1.796 * * [simplify]: iteration  43 :  4404  enodes  (cost  8 )
1.948 * * [simplify]: iteration  44 :  4591  enodes  (cost  8 )
2.016 * * [simplify]: iteration  45 :  4840  enodes  (cost  8 )
2.159 * * [simplify]: iteration  done :  5001  enodes  (cost  8 )
2.159 * [simplify]: Simplified to:
   (+ (- (exp x) 2.0) (exp (neg x)))
2.159 * * [progress]: iteration 1 / 4
2.159 * * * [progress]: picking best candidate
2.162 * * * * [pick]: Picked  #<alt (λ (x) (+ (- (exp x) 2.0) (exp (neg x))))>
2.162 * * * [progress]: localizing error
2.168 * * * [progress]: generating rewritten candidates
2.168 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.177 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.182 * * * [progress]: generating series expansions
2.182 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.182 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in (x) around 0
2.182 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in x
2.182 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
2.182 * [taylor]: Taking taylor expansion of (exp x) in x
2.182 * [taylor]: Taking taylor expansion of x in x
2.182 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
2.182 * [taylor]: Taking taylor expansion of (neg x) in x
2.182 * [taylor]: Taking taylor expansion of x in x
2.182 * [taylor]: Taking taylor expansion of 2.0 in x
2.182 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in x
2.182 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
2.182 * [taylor]: Taking taylor expansion of (exp x) in x
2.182 * [taylor]: Taking taylor expansion of x in x
2.182 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
2.182 * [taylor]: Taking taylor expansion of (neg x) in x
2.183 * [taylor]: Taking taylor expansion of x in x
2.183 * [taylor]: Taking taylor expansion of 2.0 in x
2.188 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in (x) around 0
2.188 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x
2.188 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
2.188 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.188 * [taylor]: Taking taylor expansion of x in x
2.188 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
2.188 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
2.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.188 * [taylor]: Taking taylor expansion of x in x
2.188 * [taylor]: Taking taylor expansion of 2.0 in x
2.188 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x
2.188 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
2.188 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.188 * [taylor]: Taking taylor expansion of x in x
2.188 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
2.188 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
2.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.188 * [taylor]: Taking taylor expansion of x in x
2.188 * [taylor]: Taking taylor expansion of 2.0 in x
2.189 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0
2.189 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x
2.189 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
2.189 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.189 * [taylor]: Taking taylor expansion of x in x
2.189 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.189 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.189 * [taylor]: Taking taylor expansion of -1 in x
2.189 * [taylor]: Taking taylor expansion of x in x
2.189 * [taylor]: Taking taylor expansion of 2.0 in x
2.189 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x
2.189 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
2.189 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.189 * [taylor]: Taking taylor expansion of x in x
2.189 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.189 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.190 * [taylor]: Taking taylor expansion of -1 in x
2.190 * [taylor]: Taking taylor expansion of x in x
2.190 * [taylor]: Taking taylor expansion of 2.0 in x
2.190 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.190 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0
2.190 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
2.190 * [taylor]: Taking taylor expansion of (exp x) in x
2.190 * [taylor]: Taking taylor expansion of x in x
2.190 * [taylor]: Taking taylor expansion of 2.0 in x
2.190 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x
2.190 * [taylor]: Taking taylor expansion of (exp x) in x
2.190 * [taylor]: Taking taylor expansion of x in x
2.190 * [taylor]: Taking taylor expansion of 2.0 in x
2.191 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0
2.191 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
2.191 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.191 * [taylor]: Taking taylor expansion of x in x
2.191 * [taylor]: Taking taylor expansion of 2.0 in x
2.191 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x
2.191 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.191 * [taylor]: Taking taylor expansion of x in x
2.191 * [taylor]: Taking taylor expansion of 2.0 in x
2.191 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0
2.191 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
2.191 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.191 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.191 * [taylor]: Taking taylor expansion of -1 in x
2.192 * [taylor]: Taking taylor expansion of x in x
2.192 * [taylor]: Taking taylor expansion of 2.0 in x
2.192 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x
2.192 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.192 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.192 * [taylor]: Taking taylor expansion of -1 in x
2.192 * [taylor]: Taking taylor expansion of x in x
2.192 * [taylor]: Taking taylor expansion of 2.0 in x
2.192 * * * [progress]: simplifying candidates
2.193 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (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 x) (exp (neg x))) 2.0)
  (- (+ (exp x) (exp (* -1 x))) 2.0)
  (- (+ x (* 1/2 (pow x 2))) 1.0)
  (- (exp x) 2.0)
  (- (exp x) 2.0)
2.195 * * [simplify]: iteration  0 :  93  enodes  (cost  511 )
2.213 * * [simplify]: iteration  1 :  213  enodes  (cost  470 )
2.245 * * [simplify]: iteration  2 :  583  enodes  (cost  445 )
2.360 * * [simplify]: iteration  3 :  1982  enodes  (cost  432 )
2.784 * * [simplify]: iteration  done :  5000  enodes  (cost  432 )
2.784 * [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 x) 2.0) (exp (neg x))) 3)
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (sqrt (+ (- (exp x) 2.0) (exp (neg x))))
  (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (exp x) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (exp x) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (* (+ 2.0 (exp x)) (+ 1 (* (- (exp x) 2.0) (exp x))))
  (* (+ (exp x) 2.0) (exp x))
  (* (+ 2.0 (exp x)) (+ 1 (* (- (exp x) 2.0) (exp x))))
  (* (+ (exp x) 2.0) (exp x))
  (+ (exp (* x -3)) (pow (- (exp x) 2.0) 3))
  (+ (pow (exp x) -2) (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))))
  (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (exp (* x -2)))
  (- (- (exp x) 2.0) (exp (neg x)))
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (+ (exp (neg x)) (exp x)) 2.0)
  (- (exp (neg x)) 2.0)
  (- (exp (neg 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 (+ (exp x) 2.0)) (exp (+ x x)))
  (neg 2.0)
  (- (exp (+ x x)) (* 2.0 2.0))
  (+ 2.0 (exp x))
  (+ (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)
  (- (+ x (* 1/2 (pow x 2))) 1.0)
  (- (exp x) 2.0)
  (- (exp x) 2.0)
2.784 * * * [progress]: adding candidates to table
2.843 * * [progress]: iteration 2 / 4
2.844 * * * [progress]: picking best candidate
2.850 * * * * [pick]: Picked  #<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))>
2.850 * * * [progress]: localizing error
2.860 * * * [progress]: generating rewritten candidates
2.860 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
2.866 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
2.872 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
2.877 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
2.881 * * * [progress]: generating series expansions
2.881 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
2.881 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0
2.881 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
2.881 * [taylor]: Taking taylor expansion of 1/12 in x
2.881 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.881 * [taylor]: Taking taylor expansion of x in x
2.881 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
2.881 * [taylor]: Taking taylor expansion of 1/12 in x
2.881 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.881 * [taylor]: Taking taylor expansion of x in x
2.882 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
2.882 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
2.882 * [taylor]: Taking taylor expansion of 1/12 in x
2.883 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.883 * [taylor]: Taking taylor expansion of x in x
2.883 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
2.883 * [taylor]: Taking taylor expansion of 1/12 in x
2.883 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.883 * [taylor]: Taking taylor expansion of x in x
2.884 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0
2.884 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
2.884 * [taylor]: Taking taylor expansion of 1/12 in x
2.884 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.884 * [taylor]: Taking taylor expansion of x in x
2.884 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x
2.884 * [taylor]: Taking taylor expansion of 1/12 in x
2.884 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.884 * [taylor]: Taking taylor expansion of x in x
2.885 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
2.885 * [approximate]: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0
2.885 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
2.885 * [taylor]: Taking taylor expansion of 1/360 in x
2.885 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.885 * [taylor]: Taking taylor expansion of x in x
2.885 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
2.886 * [taylor]: Taking taylor expansion of 1/360 in x
2.886 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.886 * [taylor]: Taking taylor expansion of x in x
2.887 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
2.887 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
2.887 * [taylor]: Taking taylor expansion of 1/360 in x
2.887 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.887 * [taylor]: Taking taylor expansion of x in x
2.887 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
2.887 * [taylor]: Taking taylor expansion of 1/360 in x
2.887 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.887 * [taylor]: Taking taylor expansion of x in x
2.889 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0
2.889 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
2.889 * [taylor]: Taking taylor expansion of 1/360 in x
2.889 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.889 * [taylor]: Taking taylor expansion of x in x
2.889 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x
2.889 * [taylor]: Taking taylor expansion of 1/360 in x
2.889 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.889 * [taylor]: Taking taylor expansion of x in x
2.890 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.891 * [approximate]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in (x) around 0
2.891 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
2.891 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
2.891 * [taylor]: Taking taylor expansion of 1/360 in x
2.891 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.891 * [taylor]: Taking taylor expansion of x in x
2.891 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
2.891 * [taylor]: Taking taylor expansion of 1/12 in x
2.891 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.891 * [taylor]: Taking taylor expansion of x in x
2.891 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x
2.891 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x
2.891 * [taylor]: Taking taylor expansion of 1/360 in x
2.891 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.891 * [taylor]: Taking taylor expansion of x in x
2.891 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x
2.891 * [taylor]: Taking taylor expansion of 1/12 in x
2.891 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.891 * [taylor]: Taking taylor expansion of x in x
2.894 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
2.894 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
2.894 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
2.894 * [taylor]: Taking taylor expansion of 1/360 in x
2.894 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
2.894 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.894 * [taylor]: Taking taylor expansion of x in x
2.894 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
2.894 * [taylor]: Taking taylor expansion of 1/12 in x
2.894 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.894 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.894 * [taylor]: Taking taylor expansion of x in x
2.894 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
2.894 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
2.894 * [taylor]: Taking taylor expansion of 1/360 in x
2.894 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
2.894 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.894 * [taylor]: Taking taylor expansion of x in x
2.894 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
2.894 * [taylor]: Taking taylor expansion of 1/12 in x
2.894 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.894 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.894 * [taylor]: Taking taylor expansion of x in x
2.899 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0
2.899 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
2.899 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
2.899 * [taylor]: Taking taylor expansion of 1/360 in x
2.899 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
2.899 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.899 * [taylor]: Taking taylor expansion of x in x
2.899 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
2.899 * [taylor]: Taking taylor expansion of 1/12 in x
2.899 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.899 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.899 * [taylor]: Taking taylor expansion of x in x
2.899 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x
2.899 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x
2.899 * [taylor]: Taking taylor expansion of 1/360 in x
2.899 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
2.899 * [taylor]: Taking taylor expansion of (pow x 6) in x
2.899 * [taylor]: Taking taylor expansion of x in x
2.899 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x
2.899 * [taylor]: Taking taylor expansion of 1/12 in x
2.899 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
2.899 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.899 * [taylor]: Taking taylor expansion of x in x
2.904 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
2.904 * [approximate]: Taking taylor expansion of (pow x 4) in (x) around 0
2.904 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.904 * [taylor]: Taking taylor expansion of x in x
2.904 * [taylor]: Taking taylor expansion of (pow x 4) in x
2.904 * [taylor]: Taking taylor expansion of x in x
2.908 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 4) in (x) around 0
2.908 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x
2.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.908 * [taylor]: Taking taylor expansion of x in x
2.908 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x
2.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.908 * [taylor]: Taking taylor expansion of x in x
2.910 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 4) in (x) around 0
2.910 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x
2.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.910 * [taylor]: Taking taylor expansion of -1 in x
2.910 * [taylor]: Taking taylor expansion of x in x
2.910 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x
2.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.910 * [taylor]: Taking taylor expansion of -1 in x
2.910 * [taylor]: Taking taylor expansion of x in x
2.911 * * * [progress]: simplifying candidates
2.912 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (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)))
  (* (log x) 4)
  (* (log x) 4)
  (* 1 4)
  (pow x (* (cbrt 4) (cbrt 4)))
  (pow x (sqrt 4))
  (pow x 1)
  (pow (* (cbrt x) (cbrt x)) 4)
  (pow (cbrt x) 4)
  (pow (sqrt x) 4)
  (pow (sqrt x) 4)
  (pow 1 4)
  (pow x 4)
  (log (pow x 4))
  (exp (pow x 4))
  (* (cbrt (pow x 4)) (cbrt (pow x 4)))
  (cbrt (pow x 4))
  (* (* (pow x 4) (pow x 4)) (pow x 4))
  (sqrt (pow x 4))
  (sqrt (pow x 4))
  (pow x (/ 4 2))
  (pow x (/ 4 2))
  (* 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)))
  (pow x 4)
  (pow x 4)
  (pow x 4)
2.915 * * [simplify]: iteration  0 :  120  enodes  (cost  801 )
2.932 * * [simplify]: iteration  1 :  287  enodes  (cost  705 )
2.976 * * [simplify]: iteration  2 :  763  enodes  (cost  666 )
3.199 * * [simplify]: iteration  3 :  3571  enodes  (cost  646 )
4.526 * * [simplify]: iteration  done :  5000  enodes  (cost  643 )
4.526 * [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)))
  (* (* x x) (sqrt 1/12))
  (* (* x x) (sqrt 1/12))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (sqrt 1/12) (sqrt (pow x 4)))
  (* (* x x) (sqrt 1/12))
  (* (* x x) (sqrt 1/12))
  (* 1/12 (pow (pow (cbrt x) 2) 4))
  (* 1/12 (* x x))
  1/12
  (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4))))
  (* 1/12 (sqrt (pow x 4)))
  1/12
  (* 1/12 (* x x))
  (* (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)))
  (* 1/46656000 (pow (pow x 6) 3))
  (* (cbrt (* 1/360 (pow x 6))) (cbrt (* 1/360 (pow x 6))))
  (cbrt (* 1/360 (pow x 6)))
  (* 1/46656000 (pow (pow x 6) 3))
  (sqrt (* 1/360 (pow x 6)))
  (sqrt (* 1/360 (pow x 6)))
  (* (pow x 3) (sqrt 1/360))
  (* (pow x 3) (sqrt 1/360))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (sqrt 1/360) (sqrt (pow x 6)))
  (* (pow x 3) (sqrt 1/360))
  (* (pow x 3) (sqrt 1/360))
  (* 1/360 (pow x 4))
  (* (pow x 3) 1/360)
  1/360
  (* 1/360 (* (cbrt (pow x 6)) (cbrt (pow x 6))))
  (* 1/360 (sqrt (pow x 6)))
  1/360
  (* (pow x 3) 1/360)
  (* (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))))
  (+ (* 1/1728 (pow x 12)) (* 1/46656000 (pow (pow x 6) 3)))
  (+ (* 1/129600 (pow x 12)) (- (* 1/144 (pow x 8)) (* (* (pow x 6) 1/4320) (pow x 4))))
  (- (* 1/129600 (pow x 12)) (* 1/144 (pow x 8)))
  (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))
  (* (log x) 4)
  (* (log x) 4)
  4
  (pow x (* (cbrt 4) (cbrt 4)))
  (* x x)
  x
  (pow (pow (cbrt x) 2) 4)
  (* (cbrt x) x)
  (* x x)
  (* x x)
  1
  (pow x 4)
  (* (log x) 4)
  (exp (pow x 4))
  (* (cbrt (pow x 4)) (cbrt (pow x 4)))
  (cbrt (pow x 4))
  (pow x 12)
  (sqrt (pow x 4))
  (sqrt (pow x 4))
  (* x x)
  (* x x)
  (* 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)))
  (pow x 4)
  (pow x 4)
  (pow x 4)
4.527 * * * [progress]: adding candidates to table
4.669 * * [progress]: iteration 3 / 4
4.669 * * * [progress]: picking best candidate
4.673 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))))>
4.673 * * * [progress]: localizing error
4.696 * * * [progress]: generating rewritten candidates
4.696 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
4.716 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 1)
4.720 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
4.732 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
4.759 * * * [progress]: generating series expansions
4.759 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
4.760 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in (x) around 0
4.760 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
4.760 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
4.760 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
4.760 * [taylor]: Taking taylor expansion of (exp x) in x
4.760 * [taylor]: Taking taylor expansion of x in x
4.760 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
4.760 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.760 * [taylor]: Taking taylor expansion of (exp x) in x
4.760 * [taylor]: Taking taylor expansion of x in x
4.760 * [taylor]: Taking taylor expansion of 4.0 in x
4.760 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
4.760 * [taylor]: Taking taylor expansion of 6.0 in x
4.760 * [taylor]: Taking taylor expansion of (exp x) in x
4.760 * [taylor]: Taking taylor expansion of x in x
4.760 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
4.760 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
4.760 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
4.760 * [taylor]: Taking taylor expansion of (exp x) in x
4.760 * [taylor]: Taking taylor expansion of x in x
4.760 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
4.760 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
4.760 * [taylor]: Taking taylor expansion of (exp x) in x
4.760 * [taylor]: Taking taylor expansion of x in x
4.760 * [taylor]: Taking taylor expansion of 4.0 in x
4.760 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
4.760 * [taylor]: Taking taylor expansion of 6.0 in x
4.760 * [taylor]: Taking taylor expansion of (exp x) in x
4.760 * [taylor]: Taking taylor expansion of x in x
4.764 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in (x) around 0
4.764 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
4.764 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
4.764 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
4.764 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.764 * [taylor]: Taking taylor expansion of x in x
4.764 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
4.764 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.764 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.764 * [taylor]: Taking taylor expansion of x in x
4.764 * [taylor]: Taking taylor expansion of 4.0 in x
4.764 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
4.764 * [taylor]: Taking taylor expansion of 6.0 in x
4.764 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.764 * [taylor]: Taking taylor expansion of x in x
4.765 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
4.765 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
4.765 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
4.765 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.765 * [taylor]: Taking taylor expansion of x in x
4.765 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
4.765 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
4.765 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.765 * [taylor]: Taking taylor expansion of x in x
4.765 * [taylor]: Taking taylor expansion of 4.0 in x
4.765 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
4.765 * [taylor]: Taking taylor expansion of 6.0 in x
4.765 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.765 * [taylor]: Taking taylor expansion of x in x
4.774 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) (* 6.0 (exp (/ -1 x)))) in (x) around 0
4.774 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
4.774 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x
4.774 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
4.774 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.774 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.774 * [taylor]: Taking taylor expansion of -1 in x
4.774 * [taylor]: Taking taylor expansion of x in x
4.774 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x
4.774 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.774 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.774 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.774 * [taylor]: Taking taylor expansion of -1 in x
4.774 * [taylor]: Taking taylor expansion of x in x
4.774 * [taylor]: Taking taylor expansion of 4.0 in x
4.774 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
4.774 * [taylor]: Taking taylor expansion of 6.0 in x
4.774 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.774 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.774 * [taylor]: Taking taylor expansion of -1 in x
4.774 * [taylor]: Taking taylor expansion of x in x
4.774 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
4.775 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x
4.775 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
4.775 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.775 * [taylor]: Taking taylor expansion of -1 in x
4.775 * [taylor]: Taking taylor expansion of x in x
4.775 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x
4.775 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
4.775 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.775 * [taylor]: Taking taylor expansion of -1 in x
4.775 * [taylor]: Taking taylor expansion of x in x
4.775 * [taylor]: Taking taylor expansion of 4.0 in x
4.775 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
4.775 * [taylor]: Taking taylor expansion of 6.0 in x
4.775 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.775 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.775 * [taylor]: Taking taylor expansion of -1 in x
4.775 * [taylor]: Taking taylor expansion of x in x
4.779 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 1)
4.779 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0
4.779 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
4.779 * [taylor]: Taking taylor expansion of (exp x) in x
4.779 * [taylor]: Taking taylor expansion of x in x
4.779 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
4.779 * [taylor]: Taking taylor expansion of (exp x) in x
4.780 * [taylor]: Taking taylor expansion of x in x
4.780 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
4.780 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
4.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.780 * [taylor]: Taking taylor expansion of x in x
4.780 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
4.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.780 * [taylor]: Taking taylor expansion of x in x
4.782 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
4.782 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
4.782 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.782 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.782 * [taylor]: Taking taylor expansion of -1 in x
4.782 * [taylor]: Taking taylor expansion of x in x
4.782 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
4.782 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.782 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.782 * [taylor]: Taking taylor expansion of -1 in x
4.782 * [taylor]: Taking taylor expansion of x in x
4.784 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
4.784 * [approximate]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) in (x) around 0
4.784 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) in x
4.784 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
4.784 * [taylor]: Taking taylor expansion of 2.0 in x
4.784 * [taylor]: Taking taylor expansion of (exp x) in x
4.784 * [taylor]: Taking taylor expansion of x in x
4.784 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 4.0) in x
4.784 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x
4.784 * [taylor]: Taking taylor expansion of (* 2 x) in x
4.784 * [taylor]: Taking taylor expansion of 2 in x
4.784 * [taylor]: Taking taylor expansion of x in x
4.784 * [taylor]: Taking taylor expansion of 4.0 in x
4.785 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) in x
4.785 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
4.785 * [taylor]: Taking taylor expansion of 2.0 in x
4.785 * [taylor]: Taking taylor expansion of (exp x) in x
4.785 * [taylor]: Taking taylor expansion of x in x
4.785 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 4.0) in x
4.785 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x
4.785 * [taylor]: Taking taylor expansion of (* 2 x) in x
4.785 * [taylor]: Taking taylor expansion of 2 in x
4.785 * [taylor]: Taking taylor expansion of x in x
4.785 * [taylor]: Taking taylor expansion of 4.0 in x
4.786 * [approximate]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (* 2.0 (exp (/ 1 x))) 4.0)) in (x) around 0
4.786 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (* 2.0 (exp (/ 1 x))) 4.0)) in x
4.786 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x
4.786 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
4.786 * [taylor]: Taking taylor expansion of 2 in x
4.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.786 * [taylor]: Taking taylor expansion of x in x
4.786 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) 4.0) in x
4.786 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
4.786 * [taylor]: Taking taylor expansion of 2.0 in x
4.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.786 * [taylor]: Taking taylor expansion of x in x
4.786 * [taylor]: Taking taylor expansion of 4.0 in x
4.786 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (* 2.0 (exp (/ 1 x))) 4.0)) in x
4.786 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x
4.786 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
4.786 * [taylor]: Taking taylor expansion of 2 in x
4.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.786 * [taylor]: Taking taylor expansion of x in x
4.786 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) 4.0) in x
4.786 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
4.786 * [taylor]: Taking taylor expansion of 2.0 in x
4.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.786 * [taylor]: Taking taylor expansion of x in x
4.786 * [taylor]: Taking taylor expansion of 4.0 in x
4.787 * [approximate]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in (x) around 0
4.787 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in x
4.787 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x
4.787 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x
4.787 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
4.787 * [taylor]: Taking taylor expansion of 2 in x
4.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.787 * [taylor]: Taking taylor expansion of x in x
4.788 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 4.0) in x
4.788 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
4.788 * [taylor]: Taking taylor expansion of 2.0 in x
4.788 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.788 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.788 * [taylor]: Taking taylor expansion of -1 in x
4.788 * [taylor]: Taking taylor expansion of x in x
4.788 * [taylor]: Taking taylor expansion of 4.0 in x
4.788 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in x
4.788 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x
4.788 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x
4.788 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
4.788 * [taylor]: Taking taylor expansion of 2 in x
4.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.788 * [taylor]: Taking taylor expansion of x in x
4.788 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 4.0) in x
4.788 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
4.788 * [taylor]: Taking taylor expansion of 2.0 in x
4.788 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.788 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.788 * [taylor]: Taking taylor expansion of -1 in x
4.788 * [taylor]: Taking taylor expansion of x in x
4.788 * [taylor]: Taking taylor expansion of 4.0 in x
4.789 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
4.789 * [approximate]: Taking taylor expansion of (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) in (x) around 0
4.789 * [taylor]: Taking taylor expansion of (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) in x
4.789 * [taylor]: Taking taylor expansion of (exp x) in x
4.789 * [taylor]: Taking taylor expansion of x in x
4.789 * [taylor]: Taking taylor expansion of (- (+ (exp x) (pow (exp x) 3)) 8.0) in x
4.789 * [taylor]: Taking taylor expansion of (+ (exp x) (pow (exp x) 3)) in x
4.790 * [taylor]: Taking taylor expansion of (exp x) in x
4.790 * [taylor]: Taking taylor expansion of x in x
4.790 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
4.790 * [taylor]: Taking taylor expansion of (exp x) in x
4.790 * [taylor]: Taking taylor expansion of x in x
4.790 * [taylor]: Taking taylor expansion of 8.0 in x
4.790 * [taylor]: Taking taylor expansion of (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) in x
4.790 * [taylor]: Taking taylor expansion of (exp x) in x
4.790 * [taylor]: Taking taylor expansion of x in x
4.790 * [taylor]: Taking taylor expansion of (- (+ (exp x) (pow (exp x) 3)) 8.0) in x
4.790 * [taylor]: Taking taylor expansion of (+ (exp x) (pow (exp x) 3)) in x
4.790 * [taylor]: Taking taylor expansion of (exp x) in x
4.790 * [taylor]: Taking taylor expansion of x in x
4.790 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
4.790 * [taylor]: Taking taylor expansion of (exp x) in x
4.790 * [taylor]: Taking taylor expansion of x in x
4.790 * [taylor]: Taking taylor expansion of 8.0 in x
4.791 * [approximate]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) (exp (/ 1 x))) in (x) around 0
4.791 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) (exp (/ 1 x))) in x
4.791 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) in x
4.791 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) in x
4.791 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
4.791 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.791 * [taylor]: Taking taylor expansion of x in x
4.791 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.791 * [taylor]: Taking taylor expansion of x in x
4.791 * [taylor]: Taking taylor expansion of 8.0 in x
4.791 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.791 * [taylor]: Taking taylor expansion of x in x
4.791 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) (exp (/ 1 x))) in x
4.791 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) in x
4.791 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) in x
4.792 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
4.792 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.792 * [taylor]: Taking taylor expansion of x in x
4.792 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.792 * [taylor]: Taking taylor expansion of x in x
4.792 * [taylor]: Taking taylor expansion of 8.0 in x
4.792 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.792 * [taylor]: Taking taylor expansion of x in x
4.796 * [approximate]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) (exp (/ -1 x))) in (x) around 0
4.796 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) (exp (/ -1 x))) in x
4.796 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) in x
4.796 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) in x
4.796 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
4.796 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.796 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.796 * [taylor]: Taking taylor expansion of -1 in x
4.796 * [taylor]: Taking taylor expansion of x in x
4.796 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.796 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.796 * [taylor]: Taking taylor expansion of -1 in x
4.796 * [taylor]: Taking taylor expansion of x in x
4.796 * [taylor]: Taking taylor expansion of 8.0 in x
4.796 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.796 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.796 * [taylor]: Taking taylor expansion of -1 in x
4.796 * [taylor]: Taking taylor expansion of x in x
4.796 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) (exp (/ -1 x))) in x
4.797 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) in x
4.797 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) in x
4.797 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
4.797 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.797 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.797 * [taylor]: Taking taylor expansion of -1 in x
4.797 * [taylor]: Taking taylor expansion of x in x
4.797 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.797 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.797 * [taylor]: Taking taylor expansion of -1 in x
4.797 * [taylor]: Taking taylor expansion of x in x
4.797 * [taylor]: Taking taylor expansion of 8.0 in x
4.797 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.797 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.797 * [taylor]: Taking taylor expansion of -1 in x
4.797 * [taylor]: Taking taylor expansion of x in x
4.801 * * * [progress]: simplifying candidates
4.802 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* 2.0 (+ 2.0 (exp x)))) (exp (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (log (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (exp (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (* (cbrt (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (cbrt (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (cbrt (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (* (* (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (sqrt (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (sqrt (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (+ (* (* 2.0 (+ (pow 2.0 3) (pow (exp x) 3))) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (* (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x)))) (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)))))
  (* (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x)))) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (+ (* (* 2.0 (+ (pow 2.0 3) (pow (exp x) 3))) (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x)))) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x))))))
  (* (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x)))) (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (+ (* (* 2.0 (- (* 2.0 2.0) (* (exp x) (exp x)))) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (* (- 2.0 (exp x)) (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)))))
  (* (- 2.0 (exp x)) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (+ (* (* 2.0 (- (* 2.0 2.0) (* (exp x) (exp x)))) (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (- 2.0 (exp x)) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x))))))
  (* (- 2.0 (exp x)) (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (+ (pow (* 2.0 (+ 2.0 (exp x))) 3) (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3))
  (+ (* (* 2.0 (+ 2.0 (exp x))) (* 2.0 (+ 2.0 (exp x)))) (- (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (- (* (* 2.0 (+ 2.0 (exp x))) (* 2.0 (+ 2.0 (exp x)))) (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (- (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (- (pow (exp x) 3) (pow 2.0 3))))
  (+ (* 2.0 (+ 2.0 (exp x))) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (+ (* 2.0 (exp x)) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (+ (* (exp x) 2.0) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* x 3)
  (* (log (exp x)) 3)
  (* 1 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (log (pow (exp x) 3))
  (exp (pow (exp x) 3))
  (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3)))
  (cbrt (pow (exp x) 3))
  (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) (/ 3 2))
  (pow (exp x) (/ 3 2))
  (* (exp (* 2.0 (+ (exp x) 2.0))) (exp (exp (+ x x))))
  (log (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (exp (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (* (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))))
  (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (* (* (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (+ (pow (* 2.0 (+ (exp x) 2.0)) 3) (pow (exp (+ x x)) 3))
  (+ (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0))) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))))
  (- (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0))) (* (exp (+ x x)) (exp (+ x x))))
  (- (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))
  (+ (* 2.0 2.0) (exp (+ x x)))
  (+ (* 2.0 2.0) (exp (+ x x)))
  (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (+ x (log (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (log (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (exp (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (* (* (exp x) (exp x)) (exp x)) (* (* (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (exp x) (- (pow (exp x) 3) (pow 2.0 3)))
  (* (exp x) (exp x))
  (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x))
  (* (exp x) (exp x))
  (* (exp x) (* (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (* (exp x) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (exp x) 1)
  (* (exp x) 1)
  (* (exp x) 1)
  (* (cbrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (* (sqrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)))
  (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x))))
  (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4))))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
  (+ (* 4.0 x) (+ (* 3.0 (pow x 2)) 7.0))
  (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0))
  (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0))
  (- (* 6.0 (pow x 2)) (+ (* 2.0 x) 6.0))
  (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0))
  (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0))
4.807 * * [simplify]: iteration  0 :  194  enodes  (cost  1844 )
4.843 * * [simplify]: iteration  1 :  580  enodes  (cost  1712 )
4.978 * * [simplify]: iteration  2 :  2627  enodes  (cost  1589 )
5.636 * * [simplify]: iteration  done :  5001  enodes  (cost  1589 )
5.637 * [simplify]: Simplified to:
   (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (log (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (* (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))) (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))
  (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (pow (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) 3)
  (sqrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (sqrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (+ (* (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0)))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3))))) (* 2.0 (+ (pow 2.0 3) (pow (exp x) 3)))))
  (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3))))) (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0))))
  (+ (* (* (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0))) (exp x)) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (exp (+ x x)))) (* (* 2.0 (+ (pow 2.0 3) (pow (exp x) 3))) (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0))))
  (+ (* (- 2.0 (exp x)) (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3))))) (* 2.0 (- (* 2.0 2.0) (exp (+ x x))))))
  (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3))))) (- 2.0 (exp x)))
  (+ (* 2.0 (* (- (* 2.0 2.0) (exp (+ x x))) (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (- 2.0 (exp x)) (* (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (exp (+ x x))) (exp x))))
  (* (- 2.0 (exp x)) (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (+ (pow (* 2.0 (+ 2.0 (exp x))) 3) (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3))
  (+ (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (- (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* 2.0 (+ 2.0 (exp x))))) (* (* 2.0 (+ 2.0 (exp x))) (* 2.0 (+ 2.0 (exp x)))))
  (- (* (* 2.0 (+ 2.0 (exp x))) (* 2.0 (+ 2.0 (exp x)))) (* (exp (+ x x)) (* (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (- (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (- (pow (exp x) 3) (pow 2.0 3))))
  (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (- (pow (exp x) 3) (pow 2.0 3))))
  (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* x 3)
  (* x 3)
  3
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (exp x)
  (pow (exp x) 2)
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (* x 3)
  (exp (pow (exp x) 3))
  (pow (exp x) 2)
  (exp x)
  (pow (pow (exp x) 3) 3)
  (pow (exp x) 2)
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  (exp (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (log (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (exp (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (* (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))))
  (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (pow (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) 3)
  (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (+ (pow (* 2.0 (+ 2.0 (exp x))) 3) (pow (exp x) 6))
  (+ (* (exp (+ x x)) (- (exp (+ x x)) (* 2.0 (+ (exp x) 2.0)))) (* (* 2.0 (+ 2.0 (exp x))) (* 2.0 (+ 2.0 (exp x)))))
  (- (* (* 2.0 (+ 2.0 (exp x))) (* 2.0 (+ 2.0 (exp x)))) (pow (exp x) 4))
  (- (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))
  (+ (* 2.0 2.0) (exp (+ x x)))
  (+ (* 2.0 2.0) (exp (+ x x)))
  (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (+ x (log (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (+ x (log (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (exp (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3)
  (* (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3)
  (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x))
  (pow (exp x) 2)
  (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x))
  (pow (exp x) 2)
  (* (exp x) (* (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (* (exp x) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))
  (exp x)
  (exp x)
  (exp x)
  (* (cbrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (* (sqrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))
  (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)))
  (* (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (exp (+ x x))) (exp x))
  (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4))))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
  (+ (* 4.0 x) (+ (* 3.0 (pow x 2)) 7.0))
  (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0))
  (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0))
  (- (* 6.0 (pow x 2)) (+ (* 2.0 x) 6.0))
  (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0))
  (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0))
5.638 * * * [progress]: adding candidates to table
5.834 * * [progress]: iteration 4 / 4
5.834 * * * [progress]: picking best candidate
5.842 * * * * [pick]: Picked  #<alt (λ (x) (/ (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))) (* (exp x) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))))>
5.842 * * * [progress]: localizing error
5.865 * * * [progress]: generating rewritten candidates
5.865 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
5.870 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.875 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2 2 1 1)
5.879 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
5.896 * * * [progress]: generating series expansions
5.896 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
5.896 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in (x) around 0
5.896 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
5.896 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
5.896 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
5.896 * [taylor]: Taking taylor expansion of (exp x) in x
5.896 * [taylor]: Taking taylor expansion of x in x
5.896 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
5.896 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
5.896 * [taylor]: Taking taylor expansion of (exp x) in x
5.896 * [taylor]: Taking taylor expansion of x in x
5.896 * [taylor]: Taking taylor expansion of 4.0 in x
5.896 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
5.896 * [taylor]: Taking taylor expansion of 6.0 in x
5.896 * [taylor]: Taking taylor expansion of (exp x) in x
5.896 * [taylor]: Taking taylor expansion of x in x
5.896 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
5.896 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
5.896 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
5.896 * [taylor]: Taking taylor expansion of (exp x) in x
5.896 * [taylor]: Taking taylor expansion of x in x
5.896 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
5.896 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
5.896 * [taylor]: Taking taylor expansion of (exp x) in x
5.896 * [taylor]: Taking taylor expansion of x in x
5.896 * [taylor]: Taking taylor expansion of 4.0 in x
5.896 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
5.897 * [taylor]: Taking taylor expansion of 6.0 in x
5.897 * [taylor]: Taking taylor expansion of (exp x) in x
5.897 * [taylor]: Taking taylor expansion of x in x
5.900 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in (x) around 0
5.900 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
5.900 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
5.900 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
5.900 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.900 * [taylor]: Taking taylor expansion of x in x
5.900 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
5.900 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
5.900 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.900 * [taylor]: Taking taylor expansion of x in x
5.901 * [taylor]: Taking taylor expansion of 4.0 in x
5.901 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
5.901 * [taylor]: Taking taylor expansion of 6.0 in x
5.901 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.901 * [taylor]: Taking taylor expansion of x in x
5.901 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
5.901 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
5.901 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
5.901 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.901 * [taylor]: Taking taylor expansion of x in x
5.901 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
5.901 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
5.901 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.901 * [taylor]: Taking taylor expansion of x in x
5.901 * [taylor]: Taking taylor expansion of 4.0 in x
5.901 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
5.901 * [taylor]: Taking taylor expansion of 6.0 in x
5.901 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.901 * [taylor]: Taking taylor expansion of x in x
5.906 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) (* 6.0 (exp (/ -1 x)))) in (x) around 0
5.906 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
5.906 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x
5.906 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
5.906 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.906 * [taylor]: Taking taylor expansion of -1 in x
5.906 * [taylor]: Taking taylor expansion of x in x
5.906 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x
5.906 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
5.906 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.906 * [taylor]: Taking taylor expansion of -1 in x
5.906 * [taylor]: Taking taylor expansion of x in x
5.906 * [taylor]: Taking taylor expansion of 4.0 in x
5.906 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
5.906 * [taylor]: Taking taylor expansion of 6.0 in x
5.906 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.906 * [taylor]: Taking taylor expansion of -1 in x
5.906 * [taylor]: Taking taylor expansion of x in x
5.906 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
5.906 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x
5.906 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
5.906 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.906 * [taylor]: Taking taylor expansion of -1 in x
5.906 * [taylor]: Taking taylor expansion of x in x
5.906 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x
5.906 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
5.906 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.906 * [taylor]: Taking taylor expansion of -1 in x
5.906 * [taylor]: Taking taylor expansion of x in x
5.906 * [taylor]: Taking taylor expansion of 4.0 in x
5.906 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
5.906 * [taylor]: Taking taylor expansion of 6.0 in x
5.906 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.906 * [taylor]: Taking taylor expansion of -1 in x
5.907 * [taylor]: Taking taylor expansion of x in x
5.911 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
5.911 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in (x) around 0
5.911 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
5.911 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
5.911 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
5.911 * [taylor]: Taking taylor expansion of (exp x) in x
5.911 * [taylor]: Taking taylor expansion of x in x
5.911 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
5.911 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
5.911 * [taylor]: Taking taylor expansion of (exp x) in x
5.911 * [taylor]: Taking taylor expansion of x in x
5.911 * [taylor]: Taking taylor expansion of 4.0 in x
5.911 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
5.911 * [taylor]: Taking taylor expansion of 6.0 in x
5.911 * [taylor]: Taking taylor expansion of (exp x) in x
5.911 * [taylor]: Taking taylor expansion of x in x
5.911 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x
5.911 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x
5.911 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x
5.911 * [taylor]: Taking taylor expansion of (exp x) in x
5.911 * [taylor]: Taking taylor expansion of x in x
5.911 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x
5.911 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
5.911 * [taylor]: Taking taylor expansion of (exp x) in x
5.911 * [taylor]: Taking taylor expansion of x in x
5.911 * [taylor]: Taking taylor expansion of 4.0 in x
5.912 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x
5.912 * [taylor]: Taking taylor expansion of 6.0 in x
5.912 * [taylor]: Taking taylor expansion of (exp x) in x
5.912 * [taylor]: Taking taylor expansion of x in x
5.915 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in (x) around 0
5.915 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
5.915 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
5.915 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
5.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.915 * [taylor]: Taking taylor expansion of x in x
5.915 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
5.915 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
5.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.915 * [taylor]: Taking taylor expansion of x in x
5.916 * [taylor]: Taking taylor expansion of 4.0 in x
5.916 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
5.916 * [taylor]: Taking taylor expansion of 6.0 in x
5.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.916 * [taylor]: Taking taylor expansion of x in x
5.916 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x
5.916 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x
5.916 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x
5.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.916 * [taylor]: Taking taylor expansion of x in x
5.916 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x
5.916 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
5.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.916 * [taylor]: Taking taylor expansion of x in x
5.916 * [taylor]: Taking taylor expansion of 4.0 in x
5.916 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x
5.916 * [taylor]: Taking taylor expansion of 6.0 in x
5.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.916 * [taylor]: Taking taylor expansion of x in x
5.921 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) (* 6.0 (exp (/ -1 x)))) in (x) around 0
5.921 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
5.921 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x
5.921 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
5.921 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.921 * [taylor]: Taking taylor expansion of -1 in x
5.921 * [taylor]: Taking taylor expansion of x in x
5.921 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x
5.921 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
5.921 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.921 * [taylor]: Taking taylor expansion of -1 in x
5.921 * [taylor]: Taking taylor expansion of x in x
5.921 * [taylor]: Taking taylor expansion of 4.0 in x
5.921 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
5.921 * [taylor]: Taking taylor expansion of 6.0 in x
5.921 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.921 * [taylor]: Taking taylor expansion of -1 in x
5.921 * [taylor]: Taking taylor expansion of x in x
5.921 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) (* 6.0 (exp (/ -1 x)))) in x
5.921 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 4) (+ (pow (exp (/ -1 x)) 2) 4.0)) in x
5.921 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x
5.921 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.921 * [taylor]: Taking taylor expansion of -1 in x
5.921 * [taylor]: Taking taylor expansion of x in x
5.921 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) 4.0) in x
5.921 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
5.921 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.922 * [taylor]: Taking taylor expansion of -1 in x
5.922 * [taylor]: Taking taylor expansion of x in x
5.922 * [taylor]: Taking taylor expansion of 4.0 in x
5.922 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x
5.922 * [taylor]: Taking taylor expansion of 6.0 in x
5.922 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.922 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.922 * [taylor]: Taking taylor expansion of -1 in x
5.922 * [taylor]: Taking taylor expansion of x in x
5.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2 2 1 1)
5.926 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0
5.926 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
5.926 * [taylor]: Taking taylor expansion of (exp x) in x
5.926 * [taylor]: Taking taylor expansion of x in x
5.926 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x
5.926 * [taylor]: Taking taylor expansion of (exp x) in x
5.926 * [taylor]: Taking taylor expansion of x in x
5.927 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0
5.927 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
5.927 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.927 * [taylor]: Taking taylor expansion of x in x
5.927 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x
5.927 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.927 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.927 * [taylor]: Taking taylor expansion of x in x
5.929 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0
5.929 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
5.929 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.929 * [taylor]: Taking taylor expansion of -1 in x
5.929 * [taylor]: Taking taylor expansion of x in x
5.929 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x
5.929 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.929 * [taylor]: Taking taylor expansion of -1 in x
5.929 * [taylor]: Taking taylor expansion of x in x
5.931 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
5.931 * [approximate]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) in (x) around 0
5.931 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) in x
5.931 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
5.931 * [taylor]: Taking taylor expansion of 2.0 in x
5.931 * [taylor]: Taking taylor expansion of (exp x) in x
5.931 * [taylor]: Taking taylor expansion of x in x
5.931 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 4.0) in x
5.931 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x
5.931 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.931 * [taylor]: Taking taylor expansion of 2 in x
5.931 * [taylor]: Taking taylor expansion of x in x
5.931 * [taylor]: Taking taylor expansion of 4.0 in x
5.931 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) in x
5.931 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x
5.931 * [taylor]: Taking taylor expansion of 2.0 in x
5.931 * [taylor]: Taking taylor expansion of (exp x) in x
5.931 * [taylor]: Taking taylor expansion of x in x
5.931 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 4.0) in x
5.931 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x
5.931 * [taylor]: Taking taylor expansion of (* 2 x) in x
5.931 * [taylor]: Taking taylor expansion of 2 in x
5.931 * [taylor]: Taking taylor expansion of x in x
5.931 * [taylor]: Taking taylor expansion of 4.0 in x
5.932 * [approximate]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (* 2.0 (exp (/ 1 x))) 4.0)) in (x) around 0
5.932 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (* 2.0 (exp (/ 1 x))) 4.0)) in x
5.932 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x
5.932 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.932 * [taylor]: Taking taylor expansion of 2 in x
5.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.932 * [taylor]: Taking taylor expansion of x in x
5.932 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) 4.0) in x
5.932 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
5.932 * [taylor]: Taking taylor expansion of 2.0 in x
5.932 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.932 * [taylor]: Taking taylor expansion of x in x
5.933 * [taylor]: Taking taylor expansion of 4.0 in x
5.933 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (* 2.0 (exp (/ 1 x))) 4.0)) in x
5.933 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x
5.933 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.933 * [taylor]: Taking taylor expansion of 2 in x
5.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.933 * [taylor]: Taking taylor expansion of x in x
5.933 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) 4.0) in x
5.933 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x
5.933 * [taylor]: Taking taylor expansion of 2.0 in x
5.933 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.933 * [taylor]: Taking taylor expansion of x in x
5.933 * [taylor]: Taking taylor expansion of 4.0 in x
5.934 * [approximate]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in (x) around 0
5.934 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in x
5.934 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x
5.934 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x
5.934 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.934 * [taylor]: Taking taylor expansion of 2 in x
5.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.934 * [taylor]: Taking taylor expansion of x in x
5.934 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 4.0) in x
5.934 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
5.934 * [taylor]: Taking taylor expansion of 2.0 in x
5.934 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.934 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.934 * [taylor]: Taking taylor expansion of -1 in x
5.934 * [taylor]: Taking taylor expansion of x in x
5.934 * [taylor]: Taking taylor expansion of 4.0 in x
5.934 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in x
5.934 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x
5.934 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x
5.934 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
5.935 * [taylor]: Taking taylor expansion of 2 in x
5.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.935 * [taylor]: Taking taylor expansion of x in x
5.935 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 4.0) in x
5.935 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x
5.935 * [taylor]: Taking taylor expansion of 2.0 in x
5.935 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.935 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.935 * [taylor]: Taking taylor expansion of -1 in x
5.935 * [taylor]: Taking taylor expansion of x in x
5.935 * [taylor]: Taking taylor expansion of 4.0 in x
5.936 * * * [progress]: simplifying candidates
5.937 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* 2.0 2.0)) (exp (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (log (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (* (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))) (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))
  (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (* (* (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))) (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (sqrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (sqrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (+ (pow (* 2.0 2.0) 3) (pow (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) 3))
  (+ (* (* 2.0 2.0) (* 2.0 2.0)) (- (* (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (* (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))
  (- (* (* 2.0 2.0) (* 2.0 2.0)) (* (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (- (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (+ (* 2.0 2.0) (* (exp x) 2.0))
  (+ (* 2.0 2.0) (* 2.0 (exp x)))
  (log (exp (* 2.0 2.0)))
  (log (exp (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (log (* (cbrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))) (cbrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))))
  (log (cbrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (log (sqrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (log (sqrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (log 1)
  (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))
  (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))
  (log (exp (* (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))) (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))))
  (log (exp (sqrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (log (exp 1))
  (log (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (exp (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (* (cbrt (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))) (cbrt (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))))
  (cbrt (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (* (* (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))) (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))) (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (sqrt (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (sqrt (log (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (* x 3)
  (* (log (exp x)) 3)
  (* 1 3)
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* x 3)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (pow (exp x) 1)
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (log (pow (exp x) 3))
  (exp (pow (exp x) 3))
  (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3)))
  (cbrt (pow (exp x) 3))
  (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3))
  (pow (* (cbrt (exp x)) (cbrt (exp x))) 3)
  (pow (cbrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  (pow 1 3)
  (pow (exp x) 3)
  (* (exp x) (exp x))
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) (/ 3 2))
  (pow (exp x) (/ 3 2))
  (* (exp (* 2.0 (+ (exp x) 2.0))) (exp (exp (+ x x))))
  (log (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (exp (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (* (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))))
  (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (* (* (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (+ (pow (* 2.0 (+ (exp x) 2.0)) 3) (pow (exp (+ x x)) 3))
  (+ (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0))) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))))
  (- (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0))) (* (exp (+ x x)) (exp (+ x x))))
  (- (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))
  (+ (* 2.0 2.0) (exp (+ x x)))
  (+ (* 2.0 2.0) (exp (+ x x)))
  (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4))))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4))))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
  (+ (* 4.0 x) (+ (* 3.0 (pow x 2)) 7.0))
  (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0))
  (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0))
5.942 * * [simplify]: iteration  0 :  152  enodes  (cost  1436 )
5.970 * * [simplify]: iteration  1 :  404  enodes  (cost  1331 )
6.050 * * [simplify]: iteration  2 :  1505  enodes  (cost  1184 )
6.436 * * [simplify]: iteration  done :  5000  enodes  (cost  1184 )
6.437 * [simplify]: Simplified to:
   (exp (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))))
  (log (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (exp (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))))
  (* (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))) (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))
  (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (pow (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))) 3)
  (sqrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (sqrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (+ (pow 2.0 6) (pow (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) 3))
  (+ (* 2.0 (pow 2.0 3)) (* (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x)) (- (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x)) (* 2.0 2.0))))
  (- (* 2.0 (pow 2.0 3)) (* (exp (+ x x)) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  (- (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))
  (* 2.0 (+ (exp x) 2.0))
  (* 2.0 (+ (exp x) 2.0))
  (* 2.0 2.0)
  (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))
  (* 2 (log (cbrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))))
  (log (cbrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (log (sqrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  (log (sqrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))
  0
  (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x)))
  (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x)))
  (* (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))) (cbrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))
  (sqrt (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))
  1
  (log (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))))
  (exp (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))))
  (* (cbrt (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x)))) (cbrt (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x)))))
  (cbrt (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))))
  (pow (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))) 3)
  (sqrt (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))))
  (sqrt (+ (* 2.0 2.0) (* (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (exp x))))
  (* 3 x)
  (* 3 x)
  3
  (* (cbrt x) 3)
  (* (sqrt x) 3)
  (* 3 x)
  (pow (exp x) (* (cbrt 3) (cbrt 3)))
  (pow (exp x) (sqrt 3))
  (exp x)
  (pow (exp x) 2)
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (* 3 x)
  (exp (pow (exp x) 3))
  (pow (exp x) 2)
  (exp x)
  (pow (pow (exp x) 3) 3)
  (pow (exp x) 2)
  (exp x)
  (pow (sqrt (exp x)) 3)
  (pow (sqrt (exp x)) 3)
  1
  (pow (exp x) 3)
  (pow (exp x) 2)
  (sqrt (pow (exp x) 3))
  (sqrt (pow (exp x) 3))
  (pow (exp x) 3/2)
  (pow (exp x) 3/2)
  (exp (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (log (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (exp (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (* (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))))
  (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (pow (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) 3)
  (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))
  (+ (pow (* 2.0 (+ (exp x) 2.0)) 3) (pow (exp x) 6))
  (+ (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0))) (* (exp (+ x x)) (- (exp (+ x x)) (* 2.0 (+ (exp x) 2.0)))))
  (- (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0))) (exp (* x 4)))
  (- (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))
  (+ (* 2.0 2.0) (exp (+ x x)))
  (+ (* 2.0 2.0) (exp (+ x x)))
  (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4))))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4))))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x)))
  (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
  (pow (exp x) 3)
  (pow (exp x) 3)
  (+ (* 4.0 x) (+ (* 3.0 (pow x 2)) 7.0))
  (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0))
  (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0))
6.437 * * * [progress]: adding candidates to table
6.632 * [progress]: [Phase 3 of 3] Extracting.
6.632 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))> #<alt (λ (x) (/ (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (cbrt (pow (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) 3)))))> #<alt (λ (x) (/ (+ (log (sqrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))) (log (sqrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))) (* (exp x) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))))>)
6.634 * * * [regime-changes]: Trying 1 branch expressions: (x)
6.634 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))))> #<alt (λ (x) (/ (+ (* 2.0 (+ 2.0 (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (cbrt (pow (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) 3)))))> #<alt (λ (x) (/ (+ (log (sqrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))))) (log (sqrt (exp (+ (* 2.0 2.0) (* (exp x) (+ 2.0 (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))))))) (* (exp x) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))))>)
6.666 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
6.666 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
6.666 * * [simplify]: iteration  0 :  13  enodes  (cost  15 )
6.667 * * [simplify]: iteration  1 :  17  enodes  (cost  15 )
6.667 * * [simplify]: iteration  done :  17  enodes  (cost  15 )
6.667 * [simplify]: Simplified to:
   (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))
9.867 * [regime-testing]: End program error score: 0.5619537101718981
9.942 * [regime-testing]: Target error score: 0.04561716934151022