15.314 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.080 * * * [progress]: [2/2] Setting up program.
0.083 * [progress]: [Phase 2 of 3] Improving.
0.083 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.085 * * [simplify]: iteration  0 :  15  enodes  (cost  9 )
0.086 * * [simplify]: iteration  1 :  24  enodes  (cost  9 )
0.087 * * [simplify]: iteration  2 :  32  enodes  (cost  9 )
0.088 * * [simplify]: iteration  3 :  44  enodes  (cost  9 )
0.090 * * [simplify]: iteration  4 :  59  enodes  (cost  9 )
0.091 * * [simplify]: iteration  5 :  174  enodes  (cost  9 )
0.096 * * [simplify]: iteration  6 :  1153  enodes  (cost  9 )
0.127 * * [simplify]: iteration  7 :  5001  enodes  (cost  9 )
0.128 * [simplify]: Simplified to:
   (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.128 * * [progress]: iteration 1 / 4
0.128 * * * [progress]: picking best candidate
0.130 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))>
0.130 * * * [progress]: localizing error
0.137 * * * [progress]: generating rewritten candidates
0.137 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
0.142 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.154 * * * [progress]: generating series expansions
0.154 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
0.154 * [approximate]: Taking taylor expansion of (- (exp x) (exp (neg x))) in (x) around 0
0.154 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.154 * [taylor]: Taking taylor expansion of (exp x) in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.154 * [taylor]: Taking taylor expansion of (neg x) in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.154 * [taylor]: Taking taylor expansion of (exp x) in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.154 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.154 * [taylor]: Taking taylor expansion of (neg x) in x
0.154 * [taylor]: Taking taylor expansion of x in x
0.158 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in (x) around 0
0.158 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.158 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.158 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.158 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.158 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.158 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.158 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.158 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.158 * [taylor]: Taking taylor expansion of x in x
0.159 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in (x) around 0
0.159 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.159 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.159 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.159 * [taylor]: Taking taylor expansion of -1 in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.159 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.159 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.159 * [taylor]: Taking taylor expansion of -1 in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.160 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.160 * [approximate]: Taking taylor expansion of (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x))) in (x) around 0
0.160 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x))) in x
0.160 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.160 * [taylor]: Taking taylor expansion of (exp x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.160 * [taylor]: Taking taylor expansion of (neg x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.160 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.160 * [taylor]: Taking taylor expansion of (neg x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (exp x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x))) in x
0.160 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.160 * [taylor]: Taking taylor expansion of (exp x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.160 * [taylor]: Taking taylor expansion of (neg x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (+ (exp (neg x)) (exp x)) in x
0.160 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.160 * [taylor]: Taking taylor expansion of (neg x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [taylor]: Taking taylor expansion of (exp x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.165 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x))))) in (x) around 0
0.165 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x))))) in x
0.165 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.165 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.165 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.165 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.165 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x))))) in x
0.165 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.165 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.165 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.166 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.166 * [taylor]: Taking taylor expansion of x in x
0.166 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.166 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.166 * [taylor]: Taking taylor expansion of x in x
0.166 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.166 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.166 * [taylor]: Taking taylor expansion of x in x
0.169 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
0.169 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.169 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.169 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.169 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.169 * [taylor]: Taking taylor expansion of -1 in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.169 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.169 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.169 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.169 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.169 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.169 * [taylor]: Taking taylor expansion of -1 in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 x)) (exp (/ 1 x))) (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
0.170 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (/ 1 x))) in x
0.170 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.170 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.170 * [taylor]: Taking taylor expansion of -1 in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
0.170 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.170 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.170 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.170 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.170 * [taylor]: Taking taylor expansion of -1 in x
0.170 * [taylor]: Taking taylor expansion of x in x
0.173 * * * [progress]: simplifying candidates
0.174 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (exp x)) (exp (exp (neg x))))
  (log (- (exp x) (exp (neg x))))
  (exp (- (exp x) (exp (neg x))))
  (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (* (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))) (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (- (pow (exp x) 3) (pow (exp (neg x)) 3))
  (+ (* (exp x) (exp x)) (+ (* (exp (neg x)) (exp (neg x))) (* (exp x) (exp (neg x)))))
  (neg (exp (neg x)))
  (- (* (exp x) (exp x)) (* (exp (neg x)) (exp (neg x))))
  (+ (exp x) (exp (neg x)))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (exp x) (exp (neg x)))
  (neg (exp (neg x)))
  (- (log (- (exp x) (exp (neg x)))) (log (+ (exp x) (exp (neg x)))))
  (log (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (exp (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (/ (* (* (- (exp x) (exp (neg x))) (- (exp x) (exp (neg x)))) (- (exp x) (exp (neg x)))) (* (* (+ (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x)))))
  (* (cbrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))) (cbrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))))
  (cbrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (* (* (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))) (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))) (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (sqrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (sqrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (neg (- (exp x) (exp (neg x))))
  (neg (+ (exp x) (exp (neg x))))
  (/ (exp x) (+ (exp x) (exp (neg x))))
  (/ (exp (neg x)) (+ (exp x) (exp (neg x))))
  (/ (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (cbrt (- (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (cbrt (- (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) 1)
  (/ (cbrt (- (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (/ (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) 1)
  (/ (cbrt (- (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (sqrt (- (exp x) (exp (neg x)))) 1)
  (/ (sqrt (- (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (/ (sqrt (- (exp x) (exp (neg x)))) 1)
  (/ (sqrt (- (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (- (exp x) (exp (neg x))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ 1 (sqrt (+ (exp x) (exp (neg x)))))
  (/ (- (exp x) (exp (neg x))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ 1 1)
  (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
  (/ 1 1)
  (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (- (sqrt (exp x)) (sqrt (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 1)
  (/ (- (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (neg x)))) 1)
  (/ (- (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (- (exp x) (exp (neg x))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ 1 (sqrt (+ (exp x) (exp (neg x)))))
  (/ (- (exp x) (exp (neg x))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ 1 1)
  (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
  (/ 1 1)
  (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
  (/ 1 (+ (exp x) (exp (neg x))))
  (/ (+ (exp x) (exp (neg x))) (- (exp x) (exp (neg x))))
  (/ (- (exp x) (exp (neg x))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (- (exp x) (exp (neg x))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (- (exp x) (exp (neg x))) 1)
  (/ (- (exp x) (exp (neg x))) 1)
  (/ (+ (exp x) (exp (neg x))) (cbrt (- (exp x) (exp (neg x)))))
  (/ (+ (exp x) (exp (neg x))) (sqrt (- (exp x) (exp (neg x)))))
  (/ (+ (exp x) (exp (neg x))) (- (exp x) (exp (neg x))))
  (/ (+ (exp x) (exp (neg x))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (/ (+ (exp x) (exp (neg x))) (- (exp x) (exp (neg x))))
  (/ (- (exp x) (exp (neg x))) (+ (pow (exp x) 3) (pow (exp (neg x)) 3)))
  (/ (- (exp x) (exp (neg x))) (- (* (exp x) (exp x)) (* (exp (neg x)) (exp (neg x)))))
  (* (+ (exp x) (exp (neg x))) (+ (* (exp x) (exp x)) (+ (* (exp (neg x)) (exp (neg x))) (* (exp x) (exp (neg x))))))
  (* (+ (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (* -1 x)))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))
0.178 * * [simplify]: iteration  0 :  256  enodes  (cost  836 )
0.183 * * [simplify]: iteration  1 :  810  enodes  (cost  780 )
0.196 * * [simplify]: iteration  2 :  3280  enodes  (cost  772 )
0.271 * * [simplify]: iteration  3 :  5001  enodes  (cost  772 )
0.275 * [simplify]: Simplified to:
   (exp (- (exp x) (exp (neg x))))
  (log (- (exp x) (exp (neg x))))
  (exp (- (exp x) (exp (neg x))))
  (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x)))))
  (cbrt (- (exp x) (exp (neg x))))
  (pow (- (exp x) (exp (neg x))) 3)
  (sqrt (- (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (- (pow (exp x) 3) (pow (exp (neg x)) 3))
  (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x)))
  (/ -1 (exp x))
  (- (/ (exp (+ x x)) 1) (/ (pow (exp x) -2) 1))
  (+ (exp (* -1 x)) (exp x))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (sqrt (exp x)) (sqrt (exp (neg x))))
  (- (exp x) (exp (neg x)))
  (/ -1 (exp x))
  (log (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (log (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (exp (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (pow (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x))) 3)
  (* (cbrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))) (cbrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))))
  (cbrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (pow (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x))) 3)
  (sqrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (sqrt (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x)))))
  (neg (- (exp x) (exp (neg x))))
  (- (/ -1 (exp x)) (exp x))
  (/ (exp x) (+ (exp (neg x)) (exp x)))
  (/ 1 (+ 1 (exp (+ x x))))
  (/ (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (cbrt (- (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x))))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (cbrt (- (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x)))))
  (/ (cbrt (- (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (* (cbrt (- (exp x) (exp (neg x)))) (cbrt (- (exp x) (exp (neg x)))))
  (/ (cbrt (- (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (sqrt (- (exp x) (exp (neg x))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (sqrt (- (exp x) (exp (neg x))))
  (/ (sqrt (- (exp x) (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (- (exp x) (exp (neg x))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ 1 (sqrt (+ (exp x) (exp (neg x)))))
  (/ (- (exp x) (exp (neg x))) (sqrt (+ (exp x) (exp (neg x)))))
  1
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  1
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  (/ (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (- (sqrt (exp x)) (sqrt (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ (+ (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (/ (- (sqrt (exp x)) (sqrt (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (/ (- (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (+ (sqrt (exp x)) (sqrt (exp (neg x))))
  (/ (- (sqrt (exp x)) (sqrt (exp (neg x)))) (+ (exp x) (exp (neg x))))
  (/ 1 (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (- (exp x) (exp (neg x))) (cbrt (+ (exp x) (exp (neg x)))))
  (/ 1 (sqrt (+ (exp x) (exp (neg x)))))
  (/ (- (exp x) (exp (neg x))) (sqrt (+ (exp x) (exp (neg x)))))
  1
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  1
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  (/ 1 (+ (exp x) (exp (neg x))))
  (/ (+ (exp x) (exp (neg x))) (- (exp x) (exp (neg x))))
  (/ (- (exp x) (exp (neg x))) (* (cbrt (+ (exp x) (exp (neg x)))) (cbrt (+ (exp x) (exp (neg x))))))
  (/ (- (exp x) (exp (neg x))) (sqrt (+ (exp x) (exp (neg x)))))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (neg x)))
  (/ (+ (exp x) (exp (neg x))) (cbrt (- (exp x) (exp (neg x)))))
  (/ (+ (exp x) (exp (neg x))) (sqrt (- (exp x) (exp (neg x)))))
  (/ (+ (exp x) (exp (neg x))) (- (exp x) (exp (neg x))))
  (/ (+ (exp x) (exp (neg x))) (- (sqrt (exp x)) (sqrt (exp (neg x)))))
  (/ (+ (exp x) (exp (neg x))) (- (exp x) (exp (neg x))))
  (/ (- (exp x) (exp (neg x))) (+ (pow (exp x) 3) (pow (exp (neg x)) 3)))
  (/ (- (exp x) (exp (neg x))) (- (/ (exp (+ x x)) 1) (/ (pow (exp x) -2) 1)))
  (* (+ (+ 1 (exp (+ x x))) (pow (exp -1) (* 2 x))) (+ (exp (* -1 x)) (exp x)))
  (+ (pow (exp x) -2) (+ 1 (+ 1 (exp (+ x x)))))
  (+ (* 1/3 (pow x 3)) (+ (* 1/60 (pow x 5)) (* 2 x)))
  (- (exp x) (exp (neg x)))
  (- (exp x) (exp (neg x)))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
0.275 * * * [progress]: adding candidates to table
0.345 * * [progress]: iteration 2 / 4
0.345 * * * [progress]: picking best candidate
0.349 * * * * [pick]: Picked  #<alt (λ (x) (tanh x))>
0.349 * * * [progress]: localizing error
0.351 * * * [progress]: generating rewritten candidates
0.351 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.353 * * * [progress]: generating series expansions
0.353 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.353 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0
0.353 * [taylor]: Taking taylor expansion of (tanh x) in x
0.354 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.354 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.354 * [taylor]: Taking taylor expansion of (exp x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.354 * [taylor]: Taking taylor expansion of (neg x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.354 * [taylor]: Taking taylor expansion of (exp x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.354 * [taylor]: Taking taylor expansion of (neg x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (tanh x) in x
0.354 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.354 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.354 * [taylor]: Taking taylor expansion of (exp x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.354 * [taylor]: Taking taylor expansion of (neg x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.354 * [taylor]: Taking taylor expansion of (exp x) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.355 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.355 * [taylor]: Taking taylor expansion of (neg x) in x
0.355 * [taylor]: Taking taylor expansion of x in x
0.359 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0
0.359 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
0.359 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))))
0.359 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.359 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.359 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.359 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.359 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.359 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.359 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
0.360 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))))
0.360 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.360 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.360 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.360 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.360 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.363 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0
0.363 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
0.363 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))))
0.363 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.363 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.363 * [taylor]: Taking taylor expansion of -1 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.363 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.363 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.363 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.363 * [taylor]: Taking taylor expansion of -1 in x
0.363 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.364 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.364 * [taylor]: Taking taylor expansion of -1 in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.364 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.364 * [taylor]: Taking taylor expansion of -1 in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
0.364 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))))
0.364 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.364 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.364 * [taylor]: Taking taylor expansion of -1 in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.364 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.364 * [taylor]: Taking taylor expansion of -1 in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.364 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.364 * [taylor]: Taking taylor expansion of -1 in x
0.364 * [taylor]: Taking taylor expansion of x in x
0.364 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.364 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.364 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.365 * [taylor]: Taking taylor expansion of -1 in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.367 * * * [progress]: simplifying candidates
0.368 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (exp x) (exp (neg x)))
  (+ (exp x) (exp (neg x)))
  (- (exp (* 2 x)) 1)
  (+ (exp (* 2 x)) 1)
  (- 1 (exp (* -2 x)))
  (+ 1 (exp (* -2 x)))
  (log (tanh x))
  (exp (tanh x))
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (* (* (tanh x) (tanh x)) (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))
0.370 * * [simplify]: iteration  0 :  92  enodes  (cost  48 )
0.372 * * [simplify]: iteration  1 :  206  enodes  (cost  45 )
0.375 * * [simplify]: iteration  2 :  619  enodes  (cost  45 )
0.388 * * [simplify]: iteration  3 :  3203  enodes  (cost  45 )
0.447 * * [simplify]: iteration  4 :  5002  enodes  (cost  45 )
0.448 * [simplify]: Simplified to:
   (- (exp x) (exp (* -1 x)))
  (+ (exp (* -1 x)) (exp x))
  (- (exp (* 2 x)) 1)
  (+ (exp (* 2 x)) 1)
  (- 1 (exp (* -2 x)))
  (+ 1 (exp (* -2 x)))
  (log (tanh x))
  (exp (tanh x))
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (pow (tanh x) 3)
  (sqrt (tanh x))
  (sqrt (tanh x))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (tanh x)
  (tanh x)
0.448 * * * [progress]: adding candidates to table
0.461 * * [progress]: iteration 3 / 4
0.461 * * * [progress]: picking best candidate
0.466 * * * * [pick]: Picked  #<alt (λ (x) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))>
0.466 * * * [progress]: localizing error
0.474 * * * [progress]: generating rewritten candidates
0.474 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.480 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
0.485 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.493 * * * [progress]: generating series expansions
0.493 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.494 * [approximate]: Taking taylor expansion of (* 1/3 (pow x 3)) in (x) around 0
0.494 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
0.494 * [taylor]: Taking taylor expansion of 1/3 in x
0.494 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.494 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
0.494 * [taylor]: Taking taylor expansion of 1/3 in x
0.494 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.494 * [taylor]: Taking taylor expansion of x in x
0.495 * [approximate]: Taking taylor expansion of (/ 1/3 (pow x 3)) in (x) around 0
0.495 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x
0.495 * [taylor]: Taking taylor expansion of 1/3 in x
0.495 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.495 * [taylor]: Taking taylor expansion of (/ 1/3 (pow x 3)) in x
0.495 * [taylor]: Taking taylor expansion of 1/3 in x
0.495 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.495 * [taylor]: Taking taylor expansion of x in x
0.496 * [approximate]: Taking taylor expansion of (/ -1/3 (pow x 3)) in (x) around 0
0.496 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x
0.496 * [taylor]: Taking taylor expansion of -1/3 in x
0.496 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.496 * [taylor]: Taking taylor expansion of x in x
0.496 * [taylor]: Taking taylor expansion of (/ -1/3 (pow x 3)) in x
0.496 * [taylor]: Taking taylor expansion of -1/3 in x
0.496 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.496 * [taylor]: Taking taylor expansion of x in x
0.497 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
0.497 * [approximate]: Taking taylor expansion of (* 2/15 (pow x 5)) in (x) around 0
0.497 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x
0.497 * [taylor]: Taking taylor expansion of 2/15 in x
0.497 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.497 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x
0.497 * [taylor]: Taking taylor expansion of 2/15 in x
0.497 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.497 * [taylor]: Taking taylor expansion of x in x
0.499 * [approximate]: Taking taylor expansion of (/ 2/15 (pow x 5)) in (x) around 0
0.499 * [taylor]: Taking taylor expansion of (/ 2/15 (pow x 5)) in x
0.499 * [taylor]: Taking taylor expansion of 2/15 in x
0.499 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.499 * [taylor]: Taking taylor expansion of x in x
0.499 * [taylor]: Taking taylor expansion of (/ 2/15 (pow x 5)) in x
0.499 * [taylor]: Taking taylor expansion of 2/15 in x
0.499 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.499 * [taylor]: Taking taylor expansion of x in x
0.500 * [approximate]: Taking taylor expansion of (/ -2/15 (pow x 5)) in (x) around 0
0.500 * [taylor]: Taking taylor expansion of (/ -2/15 (pow x 5)) in x
0.500 * [taylor]: Taking taylor expansion of -2/15 in x
0.500 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.500 * [taylor]: Taking taylor expansion of x in x
0.500 * [taylor]: Taking taylor expansion of (/ -2/15 (pow x 5)) in x
0.500 * [taylor]: Taking taylor expansion of -2/15 in x
0.500 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.500 * [taylor]: Taking taylor expansion of x in x
0.501 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.502 * [approximate]: Taking taylor expansion of (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) in (x) around 0
0.502 * [taylor]: Taking taylor expansion of (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) in x
0.502 * [taylor]: Taking taylor expansion of (+ x (* 2/15 (pow x 5))) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x
0.502 * [taylor]: Taking taylor expansion of 2/15 in x
0.502 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
0.502 * [taylor]: Taking taylor expansion of 1/3 in x
0.502 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) in x
0.502 * [taylor]: Taking taylor expansion of (+ x (* 2/15 (pow x 5))) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (* 2/15 (pow x 5)) in x
0.502 * [taylor]: Taking taylor expansion of 2/15 in x
0.502 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.502 * [taylor]: Taking taylor expansion of (* 1/3 (pow x 3)) in x
0.502 * [taylor]: Taking taylor expansion of 1/3 in x
0.502 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.502 * [taylor]: Taking taylor expansion of x in x
0.503 * [approximate]: Taking taylor expansion of (- (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) (* 1/3 (/ 1 (pow x 3)))) in (x) around 0
0.503 * [taylor]: Taking taylor expansion of (- (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) (* 1/3 (/ 1 (pow x 3)))) in x
0.503 * [taylor]: Taking taylor expansion of (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) in x
0.503 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 (pow x 5))) in x
0.503 * [taylor]: Taking taylor expansion of 2/15 in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.503 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x
0.503 * [taylor]: Taking taylor expansion of 1/3 in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.503 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (- (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) (* 1/3 (/ 1 (pow x 3)))) in x
0.503 * [taylor]: Taking taylor expansion of (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) in x
0.503 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 (pow x 5))) in x
0.503 * [taylor]: Taking taylor expansion of 2/15 in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.503 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x
0.503 * [taylor]: Taking taylor expansion of 1/3 in x
0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.503 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.505 * [approximate]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x))) in (x) around 0
0.505 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x))) in x
0.505 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x
0.505 * [taylor]: Taking taylor expansion of 1/3 in x
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.505 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) in x
0.505 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 (pow x 5))) in x
0.505 * [taylor]: Taking taylor expansion of 2/15 in x
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.505 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow x 3))) (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x))) in x
0.505 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow x 3))) in x
0.505 * [taylor]: Taking taylor expansion of 1/3 in x
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.505 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.505 * [taylor]: Taking taylor expansion of (+ (* 2/15 (/ 1 (pow x 5))) (/ 1 x)) in x
0.505 * [taylor]: Taking taylor expansion of (* 2/15 (/ 1 (pow x 5))) in x
0.505 * [taylor]: Taking taylor expansion of 2/15 in x
0.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
0.505 * [taylor]: Taking taylor expansion of (pow x 5) in x
0.505 * [taylor]: Taking taylor expansion of x in x
0.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.506 * [taylor]: Taking taylor expansion of x in x
0.507 * * * [progress]: simplifying candidates
0.508 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log 1/3) (* (log x) 3))
  (+ (log 1/3) (* (log x) 3))
  (+ (log 1/3) (log (pow x 3)))
  (log (* 1/3 (pow x 3)))
  (exp (* 1/3 (pow x 3)))
  (* (* (* 1/3 1/3) 1/3) (* (* (pow x 3) (pow x 3)) (pow x 3)))
  (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3))))
  (cbrt (* 1/3 (pow x 3)))
  (* (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* 1/3 (pow x 3)))
  (sqrt (* 1/3 (pow x 3)))
  (sqrt (* 1/3 (pow x 3)))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (sqrt (pow x 3)))
  (* (sqrt 1/3) (sqrt (pow x 3)))
  (* (sqrt 1/3) (pow x (/ 3 2)))
  (* (sqrt 1/3) (pow x (/ 3 2)))
  (* 1/3 (pow (* (cbrt x) (cbrt x)) 3))
  (* 1/3 (pow (sqrt x) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 (* x x))
  (* 1/3 (* (cbrt (pow x 3)) (cbrt (pow x 3))))
  (* 1/3 (pow (* (cbrt x) (cbrt x)) 3))
  (* 1/3 (pow (sqrt x) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 x)
  (* 1/3 (sqrt (pow x 3)))
  (* 1/3 1)
  (* 1/3 (pow x (/ 3 2)))
  (* (cbrt 1/3) (pow x 3))
  (* (sqrt 1/3) (pow x 3))
  (* 1/3 (pow x 3))
  (+ (log 2/15) (* (log x) 5))
  (+ (log 2/15) (* (log x) 5))
  (+ (log 2/15) (log (pow x 5)))
  (log (* 2/15 (pow x 5)))
  (exp (* 2/15 (pow x 5)))
  (* (* (* 2/15 2/15) 2/15) (* (* (pow x 5) (pow x 5)) (pow x 5)))
  (* (cbrt (* 2/15 (pow x 5))) (cbrt (* 2/15 (pow x 5))))
  (cbrt (* 2/15 (pow x 5)))
  (* (* (* 2/15 (pow x 5)) (* 2/15 (pow x 5))) (* 2/15 (pow x 5)))
  (sqrt (* 2/15 (pow x 5)))
  (sqrt (* 2/15 (pow x 5)))
  (* (sqrt 2/15) (pow (sqrt x) 5))
  (* (sqrt 2/15) (pow (sqrt x) 5))
  (* (sqrt 2/15) (sqrt (pow x 5)))
  (* (sqrt 2/15) (sqrt (pow x 5)))
  (* (sqrt 2/15) (pow x (/ 5 2)))
  (* (sqrt 2/15) (pow x (/ 5 2)))
  (* 2/15 (pow (* (cbrt x) (cbrt x)) 5))
  (* 2/15 (pow (sqrt x) 5))
  (* 2/15 (pow 1 5))
  (* 2/15 (* (cbrt (pow x 5)) (cbrt (pow x 5))))
  (* 2/15 (sqrt (pow x 5)))
  (* 2/15 1)
  (* 2/15 (pow x (/ 5 2)))
  (* (cbrt 2/15) (pow x 5))
  (* (sqrt 2/15) (pow x 5))
  (* 2/15 (pow x 5))
  (/ (* (exp x) (exp (* 2/15 (pow x 5)))) (exp (* 1/3 (pow x 3))))
  (/ (exp (+ x (* 2/15 (pow x 5)))) (exp (* 1/3 (pow x 3))))
  (log (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (exp (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (* (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))))
  (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (* (* (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (sqrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (sqrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (- (pow (+ x (* 2/15 (pow x 5))) 3) (pow (* 1/3 (pow x 3)) 3))
  (+ (* (+ x (* 2/15 (pow x 5))) (+ x (* 2/15 (pow x 5)))) (+ (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))) (* (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))))
  (neg (* 1/3 (pow x 3)))
  (- (* (+ x (* 2/15 (pow x 5))) (+ x (* 2/15 (pow x 5)))) (* (* 1/3 (pow x 3)) (* 1/3 (pow x 3))))
  (+ (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
  (neg (* 1/3 (pow x 3)))
  (* 1/3 (pow x 3))
  (* 1/3 (pow x 3))
  (* 1/3 (pow x 3))
  (* 2/15 (pow x 5))
  (* 2/15 (pow x 5))
  (* 2/15 (pow x 5))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
0.513 * * [simplify]: iteration  0 :  276  enodes  (cost  360 )
0.519 * * [simplify]: iteration  1 :  1208  enodes  (cost  332 )
0.547 * * [simplify]: iteration  2 :  5001  enodes  (cost  328 )
0.550 * [simplify]: Simplified to:
   (log (* 1/3 (pow x 3)))
  (log (* 1/3 (pow x 3)))
  (log (* 1/3 (pow x 3)))
  (log (* 1/3 (pow x 3)))
  (exp (* 1/3 (pow x 3)))
  (pow (* 1/3 (pow x 3)) 3)
  (* (cbrt (* 1/3 (pow x 3))) (cbrt (* 1/3 (pow x 3))))
  (cbrt (* 1/3 (pow x 3)))
  (pow (* 1/3 (pow x 3)) 3)
  (sqrt (* 1/3 (pow x 3)))
  (sqrt (* 1/3 (pow x 3)))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (pow (sqrt x) 3))
  (* (sqrt 1/3) (sqrt (pow x 3)))
  (* (sqrt 1/3) (sqrt (pow x 3)))
  (* (sqrt 1/3) (pow x 3/2))
  (* (sqrt 1/3) (pow x 3/2))
  (* (* 1/3 x) x)
  (* 1/3 (pow (sqrt x) 3))
  1/3
  (* (* 1/3 x) x)
  (* (* 1/3 x) x)
  (* (* 1/3 x) x)
  (* 1/3 (pow (sqrt x) 3))
  1/3
  (* 1/3 x)
  (* 1/3 (sqrt (pow x 3)))
  1/3
  (* 1/3 (pow x 3/2))
  (* (cbrt 1/3) (pow x 3))
  (* (sqrt 1/3) (pow x 3))
  (* 1/3 (pow x 3))
  (log (* 2/15 (pow x 5)))
  (log (* 2/15 (pow x 5)))
  (log (* 2/15 (pow x 5)))
  (log (* 2/15 (pow x 5)))
  (exp (* 2/15 (pow x 5)))
  (pow (* 2/15 (pow x 5)) 3)
  (* (cbrt (* 2/15 (pow x 5))) (cbrt (* 2/15 (pow x 5))))
  (cbrt (* 2/15 (pow x 5)))
  (pow (* 2/15 (pow x 5)) 3)
  (sqrt (* 2/15 (pow x 5)))
  (sqrt (* 2/15 (pow x 5)))
  (* (sqrt 2/15) (pow (sqrt x) 5))
  (* (sqrt 2/15) (pow (sqrt x) 5))
  (* (sqrt 2/15) (sqrt (pow x 5)))
  (* (sqrt 2/15) (sqrt (pow x 5)))
  (* (sqrt 2/15) (pow x 5/2))
  (* (sqrt 2/15) (pow x 5/2))
  (* 2/15 (pow (* (cbrt x) (cbrt x)) 5))
  (* 2/15 (pow (sqrt x) 5))
  2/15
  (* 2/15 (* (cbrt (pow x 5)) (cbrt (pow x 5))))
  (* 2/15 (sqrt (pow x 5)))
  2/15
  (* 2/15 (pow x 5/2))
  (* (cbrt 2/15) (pow x 5))
  (* (sqrt 2/15) (pow x 5))
  (* 2/15 (pow x 5))
  (exp (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (exp (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (log (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (exp (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (* (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))))
  (cbrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (pow (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))) 3)
  (sqrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (sqrt (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))
  (- (pow (+ x (* 2/15 (pow x 5))) 3) (pow (* 1/3 (pow x 3)) 3))
  (+ (* (+ x (* 2/15 (pow x 5))) (+ (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))) (* (pow x 6) 1/9))
  (* -1/3 (pow x 3))
  (+ (* -1/9 (pow x 6)) (* (+ x (* 2/15 (pow x 5))) (+ x (* 2/15 (pow x 5)))))
  (+ (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (- (* 2/15 (pow x 5)) (* 1/3 (pow x 3)))
  (* -1/3 (pow x 3))
  (* 1/3 (pow x 3))
  (* 1/3 (pow x 3))
  (* 1/3 (pow x 3))
  (* 2/15 (pow x 5))
  (* 2/15 (pow x 5))
  (* 2/15 (pow x 5))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
0.550 * * * [progress]: adding candidates to table
0.651 * * [progress]: iteration 4 / 4
0.651 * * * [progress]: picking best candidate
0.653 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (tanh x)) (sqrt (tanh x))))>
0.653 * * * [progress]: localizing error
0.657 * * * [progress]: generating rewritten candidates
0.657 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.665 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.666 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.670 * * * [progress]: generating series expansions
0.670 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.670 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0
0.670 * [taylor]: Taking taylor expansion of (tanh x) in x
0.670 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.670 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.670 * [taylor]: Taking taylor expansion of (exp x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.670 * [taylor]: Taking taylor expansion of (neg x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.670 * [taylor]: Taking taylor expansion of (exp x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.670 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.670 * [taylor]: Taking taylor expansion of (neg x) in x
0.670 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (tanh x) in x
0.671 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.671 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.671 * [taylor]: Taking taylor expansion of (exp x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.671 * [taylor]: Taking taylor expansion of (neg x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.671 * [taylor]: Taking taylor expansion of (exp x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.671 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.671 * [taylor]: Taking taylor expansion of (neg x) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.675 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0
0.675 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
0.675 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))))
0.675 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.675 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.676 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.676 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.676 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.676 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.676 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.676 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
0.676 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))))
0.676 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.676 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.676 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.676 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.676 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.676 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.676 * [taylor]: Taking taylor expansion of x in x
0.676 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.676 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.677 * [taylor]: Taking taylor expansion of x in x
0.680 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0
0.680 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
0.680 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))))
0.680 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.680 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.680 * [taylor]: Taking taylor expansion of -1 in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.680 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.680 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.680 * [taylor]: Taking taylor expansion of -1 in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.680 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.680 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.680 * [taylor]: Taking taylor expansion of -1 in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.680 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.680 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.680 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.680 * [taylor]: Taking taylor expansion of -1 in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
0.681 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))))
0.681 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.681 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.681 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.681 * [taylor]: Taking taylor expansion of -1 in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.681 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.681 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.681 * [taylor]: Taking taylor expansion of -1 in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.681 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.681 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.681 * [taylor]: Taking taylor expansion of -1 in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.681 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.681 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.681 * [taylor]: Taking taylor expansion of -1 in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.684 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.684 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0
0.684 * [taylor]: Taking taylor expansion of (tanh x) in x
0.684 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.684 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.684 * [taylor]: Taking taylor expansion of (exp x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.684 * [taylor]: Taking taylor expansion of (neg x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.684 * [taylor]: Taking taylor expansion of (exp x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.684 * [taylor]: Taking taylor expansion of (neg x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.684 * [taylor]: Taking taylor expansion of (tanh x) in x
0.684 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.684 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.684 * [taylor]: Taking taylor expansion of (exp x) in x
0.684 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.685 * [taylor]: Taking taylor expansion of (neg x) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.685 * [taylor]: Taking taylor expansion of (exp x) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.685 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.685 * [taylor]: Taking taylor expansion of (neg x) in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.689 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0
0.689 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
0.689 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))))
0.689 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.689 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.689 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.689 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.689 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.689 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.689 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.689 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.689 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
0.690 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))))
0.690 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.690 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.690 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.690 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.690 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.690 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.690 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.690 * [taylor]: Taking taylor expansion of x in x
0.693 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0
0.693 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
0.693 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))))
0.693 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.693 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.693 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.694 * [taylor]: Taking taylor expansion of -1 in x
0.694 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.694 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.694 * [taylor]: Taking taylor expansion of -1 in x
0.694 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.694 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.694 * [taylor]: Taking taylor expansion of -1 in x
0.694 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.694 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.694 * [taylor]: Taking taylor expansion of -1 in x
0.694 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
0.694 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))))
0.694 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.694 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.694 * [taylor]: Taking taylor expansion of -1 in x
0.694 * [taylor]: Taking taylor expansion of x in x
0.694 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.694 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.694 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.694 * [taylor]: Taking taylor expansion of -1 in x
0.694 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.695 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.695 * [taylor]: Taking taylor expansion of -1 in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.695 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.695 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.695 * [taylor]: Taking taylor expansion of -1 in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.698 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.698 * [approximate]: Taking taylor expansion of (tanh x) in (x) around 0
0.698 * [taylor]: Taking taylor expansion of (tanh x) in x
0.698 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.698 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.698 * [taylor]: Taking taylor expansion of (exp x) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.698 * [taylor]: Taking taylor expansion of (neg x) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.698 * [taylor]: Taking taylor expansion of (exp x) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.698 * [taylor]: Taking taylor expansion of (neg x) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (tanh x) in x
0.698 * [taylor]: Rewrote expression to (/ (- (exp x) (exp (neg x))) (+ (exp x) (exp (neg x))))
0.698 * [taylor]: Taking taylor expansion of (- (exp x) (exp (neg x))) in x
0.698 * [taylor]: Taking taylor expansion of (exp x) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.698 * [taylor]: Taking taylor expansion of (neg x) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x
0.698 * [taylor]: Taking taylor expansion of (exp x) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (exp (neg x)) in x
0.698 * [taylor]: Taking taylor expansion of (neg x) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.703 * [approximate]: Taking taylor expansion of (tanh (/ 1 x)) in (x) around 0
0.703 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
0.703 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))))
0.703 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.703 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.703 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.703 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.703 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.703 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.703 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (tanh (/ 1 x)) in x
0.704 * [taylor]: Rewrote expression to (/ (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))))
0.704 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.704 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.704 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x
0.704 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x
0.704 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.707 * [approximate]: Taking taylor expansion of (tanh (/ -1 x)) in (x) around 0
0.707 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
0.707 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))))
0.707 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.707 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.707 * [taylor]: Taking taylor expansion of -1 in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.707 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.707 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.707 * [taylor]: Taking taylor expansion of -1 in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.707 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.707 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.708 * [taylor]: Taking taylor expansion of -1 in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.708 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.708 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.708 * [taylor]: Taking taylor expansion of -1 in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (tanh (/ -1 x)) in x
0.708 * [taylor]: Rewrote expression to (/ (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))))
0.708 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.708 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.708 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.708 * [taylor]: Taking taylor expansion of -1 in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.708 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.708 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.708 * [taylor]: Taking taylor expansion of -1 in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) (exp (neg (/ -1 x)))) in x
0.708 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.708 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.708 * [taylor]: Taking taylor expansion of -1 in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.708 * [taylor]: Taking taylor expansion of (exp (neg (/ -1 x))) in x
0.708 * [taylor]: Taking taylor expansion of (neg (/ -1 x)) in x
0.708 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.708 * [taylor]: Taking taylor expansion of -1 in x
0.708 * [taylor]: Taking taylor expansion of x in x
0.711 * * * [progress]: simplifying candidates
0.712 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (tanh x) (tanh x))
  (* (sqrt (tanh x)) (sqrt (tanh x)))
  (* (tanh x) (tanh x))
  (+ 1 1)
  (+ (log (sqrt (tanh x))) (log (sqrt (tanh x))))
  (log (* (sqrt (tanh x)) (sqrt (tanh x))))
  (exp (* (sqrt (tanh x)) (sqrt (tanh x))))
  (* (* (* (sqrt (tanh x)) (sqrt (tanh x))) (sqrt (tanh x))) (* (* (sqrt (tanh x)) (sqrt (tanh x))) (sqrt (tanh x))))
  (* (cbrt (* (sqrt (tanh x)) (sqrt (tanh x)))) (cbrt (* (sqrt (tanh x)) (sqrt (tanh x)))))
  (cbrt (* (sqrt (tanh x)) (sqrt (tanh x))))
  (* (* (* (sqrt (tanh x)) (sqrt (tanh x))) (* (sqrt (tanh x)) (sqrt (tanh x)))) (* (sqrt (tanh x)) (sqrt (tanh x))))
  (* (tanh x) (tanh x))
  (sqrt (* (sqrt (tanh x)) (sqrt (tanh x))))
  (sqrt (* (sqrt (tanh x)) (sqrt (tanh x))))
  (* (sqrt (- (exp x) (exp (neg x)))) (sqrt (- (exp x) (exp (neg x)))))
  (* (sqrt (+ (exp x) (exp (neg x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (* (sqrt (- (exp x) (exp (neg x)))) (sqrt (- (exp (* 2 x)) 1)))
  (* (sqrt (+ (exp x) (exp (neg x)))) (sqrt (+ (exp (* 2 x)) 1)))
  (* (sqrt (- (exp x) (exp (neg x)))) (sqrt (- 1 (exp (* -2 x)))))
  (* (sqrt (+ (exp x) (exp (neg x)))) (sqrt (+ 1 (exp (* -2 x)))))
  (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- (exp x) (exp (neg x)))))
  (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ (exp x) (exp (neg x)))))
  (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- (exp (* 2 x)) 1)))
  (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ (exp (* 2 x)) 1)))
  (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- 1 (exp (* -2 x)))))
  (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ 1 (exp (* -2 x)))))
  (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (- (exp x) (exp (neg x)))))
  (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ (exp x) (exp (neg x)))))
  (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (- (exp (* 2 x)) 1)))
  (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ (exp (* 2 x)) 1)))
  (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (- 1 (exp (* -2 x)))))
  (* (sqrt (+ 1 (exp (* -2 x)))) (sqrt (+ 1 (exp (* -2 x)))))
  (* (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x)))) (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x)))))
  (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x))))
  (* (sqrt (* (cbrt (tanh x)) (cbrt (tanh x)))) (sqrt (* (cbrt (tanh x)) (cbrt (tanh x)))))
  (* (sqrt (cbrt (tanh x))) (sqrt (cbrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (tanh x)) (sqrt (tanh x)))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* 1 1)
  (* (sqrt (tanh x)) (sqrt (tanh x)))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* (sqrt (sqrt (tanh x))) (sqrt (sqrt (tanh x))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (tanh x)) (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x)))))
  (* (sqrt (tanh x)) (sqrt (* (cbrt (tanh x)) (cbrt (tanh x)))))
  (* (sqrt (tanh x)) (sqrt (sqrt (tanh x))))
  (* (sqrt (tanh x)) (sqrt 1))
  (* (sqrt (tanh x)) (sqrt (sqrt (tanh x))))
  (* (sqrt (tanh x)) 1)
  (* (cbrt (sqrt (tanh x))) (sqrt (tanh x)))
  (* (sqrt (cbrt (tanh x))) (sqrt (tanh x)))
  (* (sqrt (sqrt (tanh x))) (sqrt (tanh x)))
  (* (sqrt (tanh x)) (sqrt (tanh x)))
  (* (sqrt (sqrt (tanh x))) (sqrt (tanh x)))
  (* (sqrt (tanh x)) (sqrt (tanh x)))
  (* (sqrt (tanh x)) (sqrt (- (exp x) (exp (neg x)))))
  (* (sqrt (tanh x)) (sqrt (- (exp (* 2 x)) 1)))
  (* (sqrt (tanh x)) (sqrt (- 1 (exp (* -2 x)))))
  (* (sqrt (- (exp x) (exp (neg x)))) (sqrt (tanh x)))
  (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (tanh x)))
  (* (sqrt (- 1 (exp (* -2 x)))) (sqrt (tanh x)))
  (- (exp x) (exp (neg x)))
  (+ (exp x) (exp (neg x)))
  (- (exp (* 2 x)) 1)
  (+ (exp (* 2 x)) 1)
  (- 1 (exp (* -2 x)))
  (+ 1 (exp (* -2 x)))
  (log (tanh x))
  (exp (tanh x))
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (* (* (tanh x) (tanh x)) (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (- (exp x) (exp (neg x)))
  (+ (exp x) (exp (neg x)))
  (- (exp (* 2 x)) 1)
  (+ (exp (* 2 x)) 1)
  (- 1 (exp (* -2 x)))
  (+ 1 (exp (* -2 x)))
  (log (tanh x))
  (exp (tanh x))
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (* (* (tanh x) (tanh x)) (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (/ (- (exp x) (exp (neg x))) (+ (exp (neg x)) (exp x)))
  (/ (- (exp x) (exp (* -1 x))) (+ (exp (* -1 x)) (exp x)))
0.717 * * [simplify]: iteration  0 :  200  enodes  (cost  444 )
0.722 * * [simplify]: iteration  1 :  733  enodes  (cost  415 )
0.744 * * [simplify]: iteration  2 :  5001  enodes  (cost  407 )
0.747 * [simplify]: Simplified to:
   1
  1
  2
  1
  1
  (* (tanh x) (tanh x))
  (tanh x)
  (* (tanh x) (tanh x))
  2
  (log (tanh x))
  (log (tanh x))
  (exp (tanh x))
  (pow (tanh x) 3)
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (pow (tanh x) 3)
  (* (tanh x) (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (- (exp x) (exp (neg x)))
  (+ (exp x) (exp (neg x)))
  (* (sqrt (- (exp x) (exp (neg x)))) (sqrt (- (exp (* 2 x)) 1)))
  (* (sqrt (+ (exp x) (exp (neg x)))) (sqrt (+ (exp (* 2 x)) 1)))
  (* (sqrt (- (exp x) (exp (neg x)))) (sqrt (- 1 (exp (* -2 x)))))
  (* (sqrt (+ (exp x) (exp (neg x)))) (sqrt (+ 1 (exp (* -2 x)))))
  (* (sqrt (- (exp x) (exp (neg x)))) (sqrt (- (exp (* 2 x)) 1)))
  (* (sqrt (+ (exp x) (exp (neg x)))) (sqrt (+ (exp (* 2 x)) 1)))
  (- (exp (* 2 x)) 1)
  (+ (exp (* 2 x)) 1)
  (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- 1 (exp (* -2 x)))))
  (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ 1 (exp (* -2 x)))))
  (* (sqrt (- (exp x) (exp (neg x)))) (sqrt (- 1 (exp (* -2 x)))))
  (* (sqrt (+ (exp x) (exp (neg x)))) (sqrt (+ 1 (exp (* -2 x)))))
  (* (sqrt (- (exp (* 2 x)) 1)) (sqrt (- 1 (exp (* -2 x)))))
  (* (sqrt (+ (exp (* 2 x)) 1)) (sqrt (+ 1 (exp (* -2 x)))))
  (- 1 (exp (* -2 x)))
  (+ 1 (exp (* -2 x)))
  (pow (cbrt (sqrt (tanh x))) 4)
  (* (cbrt (sqrt (tanh x))) (cbrt (sqrt (tanh x))))
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  1
  (tanh x)
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  1
  (tanh x)
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  (sqrt (tanh x))
  1
  2
  1
  (* (pow (cbrt (sqrt (tanh x))) 4) (cbrt (sqrt (tanh x))))
  (* (fabs (cbrt (tanh x))) (sqrt (tanh x)))
  (pow (sqrt (sqrt (tanh x))) 3)
  (sqrt (tanh x))
  (pow (sqrt (sqrt (tanh x))) 3)
  (sqrt (tanh x))
  (pow (cbrt (sqrt (tanh x))) 4)
  (* (sqrt (cbrt (tanh x))) (sqrt (tanh x)))
  (pow (sqrt (sqrt (tanh x))) 3)
  (tanh x)
  (pow (sqrt (sqrt (tanh x))) 3)
  (tanh x)
  (* (sqrt (tanh x)) (sqrt (- (exp x) (exp (neg x)))))
  (* (sqrt (tanh x)) (sqrt (- (exp (* 2 x)) 1)))
  (* (sqrt (tanh x)) (sqrt (- 1 (exp (* -2 x)))))
  (* (sqrt (tanh x)) (sqrt (- (exp x) (exp (neg x)))))
  (* (sqrt (tanh x)) (sqrt (- (exp (* 2 x)) 1)))
  (* (sqrt (tanh x)) (sqrt (- 1 (exp (* -2 x)))))
  (- (exp x) (exp (neg x)))
  (+ (exp x) (exp (neg x)))
  (- (exp (* 2 x)) 1)
  (+ (exp (* 2 x)) 1)
  (- 1 (exp (* -2 x)))
  (+ 1 (exp (* -2 x)))
  (log (tanh x))
  (exp (tanh x))
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (pow (tanh x) 3)
  (sqrt (tanh x))
  (sqrt (tanh x))
  (- (exp x) (exp (neg x)))
  (+ (exp x) (exp (neg x)))
  (- (exp (* 2 x)) 1)
  (+ (exp (* 2 x)) 1)
  (- 1 (exp (* -2 x)))
  (+ 1 (exp (* -2 x)))
  (log (tanh x))
  (exp (tanh x))
  (* (cbrt (tanh x)) (cbrt (tanh x)))
  (cbrt (tanh x))
  (pow (tanh x) 3)
  (sqrt (tanh x))
  (sqrt (tanh x))
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (tanh x)
  (tanh x)
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (tanh x)
  (tanh x)
  (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3)))
  (tanh x)
  (tanh x)
0.748 * * * [progress]: adding candidates to table
0.812 * [progress]: [Phase 3 of 3] Extracting.
0.812 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (sqrt (tanh x)) (sqrt (tanh x))))> #<alt (λ (x) (tanh x))> #<alt (λ (x) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))>)
0.813 * * * [regime-changes]: Trying 1 branch expressions: (x)
0.813 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (sqrt (tanh x)) (sqrt (tanh x))))> #<alt (λ (x) (tanh x))> #<alt (λ (x) (- (+ x (* 2/15 (pow x 5))) (* 1/3 (pow x 3))))>)
0.841 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.841 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (tanh x)
0.842 * * [simplify]: iteration  0 :  2  enodes  (cost  1 )
0.842 * [simplify]: Simplified to:
   (tanh x)
3.421 * [regime-testing]: Baseline error score: 0.014126765845730716
3.422 * [regime-testing]: Oracle error score: 0.0030003750468808603
3.423 * [regime-testing]: End program error score: 0.014126765845730716