12.904 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.055 * * * [progress]: [2/2] Setting up program.
0.058 * [progress]: [Phase 2 of 3] Improving.
0.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ 1.0 (exp x))) (* x y))
0.060 * * [simplify]: iteration  0 :  12  enodes  (cost  5 )
0.062 * * [simplify]: iteration  1 :  19  enodes  (cost  5 )
0.063 * * [simplify]: iteration  2 :  19  enodes  (cost  5 )
0.063 * [simplify]: Simplified to:
   (- (log (+ 1.0 (exp x))) (* x y))
0.064 * * [progress]: iteration 1 / 4
0.064 * * * [progress]: picking best candidate
0.065 * * * * [pick]: Picked  #<alt (λ (x y) (- (log (+ 1.0 (exp x))) (* x y)))>
0.066 * * * [progress]: localizing error
0.073 * * * [progress]: generating rewritten candidates
0.073 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.076 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
0.082 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
0.087 * * * [progress]: generating series expansions
0.087 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.087 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0
0.087 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.087 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.087 * [taylor]: Taking taylor expansion of (exp x) in x
0.087 * [taylor]: Taking taylor expansion of x in x
0.087 * [taylor]: Taking taylor expansion of 1.0 in x
0.088 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.088 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.088 * [taylor]: Taking taylor expansion of (exp x) in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.088 * [taylor]: Taking taylor expansion of 1.0 in x
0.110 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0
0.110 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.110 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.110 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.110 * [taylor]: Taking taylor expansion of x in x
0.110 * [taylor]: Taking taylor expansion of 1.0 in x
0.111 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.111 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.111 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.111 * [taylor]: Taking taylor expansion of x in x
0.111 * [taylor]: Taking taylor expansion of 1.0 in x
0.132 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0
0.132 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.132 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.132 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.132 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.132 * [taylor]: Taking taylor expansion of -1 in x
0.132 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of 1.0 in x
0.133 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.133 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.133 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.133 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.133 * [taylor]: Taking taylor expansion of -1 in x
0.133 * [taylor]: Taking taylor expansion of x in x
0.133 * [taylor]: Taking taylor expansion of 1.0 in x
0.154 * * * * [progress]: [ 2 / 3 ] generating series at (2)
0.154 * [approximate]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in (x y) around 0
0.154 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in y
0.154 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in y
0.154 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in y
0.154 * [taylor]: Taking taylor expansion of (exp x) in y
0.154 * [taylor]: Taking taylor expansion of x in y
0.154 * [taylor]: Taking taylor expansion of 1.0 in y
0.154 * [taylor]: Taking taylor expansion of (* x y) in y
0.154 * [taylor]: Taking taylor expansion of x in y
0.154 * [taylor]: Taking taylor expansion of y in y
0.154 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x
0.154 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.154 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) 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 1.0 in x
0.155 * [taylor]: Taking taylor expansion of (* x y) in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of y in x
0.155 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x
0.155 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.155 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.155 * [taylor]: Taking taylor expansion of (exp x) in x
0.155 * [taylor]: Taking taylor expansion of x in x
0.155 * [taylor]: Taking taylor expansion of 1.0 in x
0.156 * [taylor]: Taking taylor expansion of (* x y) in x
0.156 * [taylor]: Taking taylor expansion of x in x
0.156 * [taylor]: Taking taylor expansion of y in x
0.156 * [taylor]: Taking taylor expansion of (log 2.0) in y
0.157 * [taylor]: Taking taylor expansion of 2.0 in y
0.162 * [taylor]: Taking taylor expansion of (- 0.5 y) in y
0.162 * [taylor]: Taking taylor expansion of 0.5 in y
0.162 * [taylor]: Taking taylor expansion of y in y
0.175 * [taylor]: Taking taylor expansion of (- 0.25 (* 1/2 (/ 1 (pow 2.0 2)))) in y
0.175 * [taylor]: Taking taylor expansion of 0.25 in y
0.175 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow 2.0 2))) in y
0.175 * [taylor]: Taking taylor expansion of 1/2 in y
0.175 * [taylor]: Taking taylor expansion of (/ 1 (pow 2.0 2)) in y
0.175 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y
0.175 * [taylor]: Taking taylor expansion of 2.0 in y
0.177 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0
0.177 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in y
0.177 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y
0.177 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y
0.177 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.177 * [taylor]: Taking taylor expansion of x in y
0.177 * [taylor]: Taking taylor expansion of 1.0 in y
0.177 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.177 * [taylor]: Taking taylor expansion of (* x y) in y
0.177 * [taylor]: Taking taylor expansion of x in y
0.177 * [taylor]: Taking taylor expansion of y in y
0.178 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x
0.178 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.178 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.178 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of 1.0 in x
0.178 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.178 * [taylor]: Taking taylor expansion of (* x y) in x
0.178 * [taylor]: Taking taylor expansion of x in x
0.178 * [taylor]: Taking taylor expansion of y in x
0.179 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x
0.179 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.179 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.179 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of 1.0 in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.179 * [taylor]: Taking taylor expansion of (* x y) in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of y in x
0.180 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.180 * [taylor]: Taking taylor expansion of y in y
0.181 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y
0.181 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y
0.181 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.181 * [taylor]: Taking taylor expansion of x in y
0.181 * [taylor]: Taking taylor expansion of 1.0 in y
0.184 * [taylor]: Taking taylor expansion of 0 in y
0.194 * [taylor]: Taking taylor expansion of 0 in y
0.200 * [taylor]: Taking taylor expansion of 0 in y
0.201 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0
0.201 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in y
0.201 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y
0.201 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y
0.201 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.201 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.201 * [taylor]: Taking taylor expansion of -1 in y
0.201 * [taylor]: Taking taylor expansion of x in y
0.201 * [taylor]: Taking taylor expansion of 1.0 in y
0.201 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.201 * [taylor]: Taking taylor expansion of (* x y) in y
0.201 * [taylor]: Taking taylor expansion of x in y
0.201 * [taylor]: Taking taylor expansion of y in y
0.201 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x
0.201 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.201 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.201 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.201 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.201 * [taylor]: Taking taylor expansion of -1 in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.202 * [taylor]: Taking taylor expansion of 1.0 in x
0.202 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.202 * [taylor]: Taking taylor expansion of (* x y) in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [taylor]: Taking taylor expansion of y in x
0.202 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x
0.202 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.202 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.202 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.202 * [taylor]: Taking taylor expansion of -1 in x
0.202 * [taylor]: Taking taylor expansion of x in x
0.203 * [taylor]: Taking taylor expansion of 1.0 in x
0.203 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.203 * [taylor]: Taking taylor expansion of (* x y) in x
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [taylor]: Taking taylor expansion of y in x
0.203 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.203 * [taylor]: Taking taylor expansion of y in y
0.205 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y
0.205 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y
0.205 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.205 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.205 * [taylor]: Taking taylor expansion of -1 in y
0.205 * [taylor]: Taking taylor expansion of x in y
0.205 * [taylor]: Taking taylor expansion of 1.0 in y
0.208 * [taylor]: Taking taylor expansion of 0 in y
0.212 * [taylor]: Taking taylor expansion of 0 in y
0.218 * [taylor]: Taking taylor expansion of 0 in y
0.218 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
0.218 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0
0.218 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.218 * [taylor]: Taking taylor expansion of (exp x) in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of 1.0 in x
0.218 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.218 * [taylor]: Taking taylor expansion of (exp x) in x
0.218 * [taylor]: Taking taylor expansion of x in x
0.218 * [taylor]: Taking taylor expansion of 1.0 in x
0.221 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0
0.221 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.221 * [taylor]: Taking taylor expansion of 1.0 in x
0.221 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.221 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.222 * [taylor]: Taking taylor expansion of 1.0 in x
0.223 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0
0.223 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.223 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.223 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.223 * [taylor]: Taking taylor expansion of -1 in x
0.223 * [taylor]: Taking taylor expansion of x in x
0.224 * [taylor]: Taking taylor expansion of 1.0 in x
0.224 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.224 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.224 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.224 * [taylor]: Taking taylor expansion of -1 in x
0.224 * [taylor]: Taking taylor expansion of x in x
0.224 * [taylor]: Taking taylor expansion of 1.0 in x
0.226 * * * [progress]: simplifying candidates
0.227 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x)))))
  (log (cbrt (+ 1.0 (exp x))))
  (log (sqrt (+ 1.0 (exp x))))
  (log (sqrt (+ 1.0 (exp x))))
  (log 1)
  (log (+ 1.0 (exp x)))
  (log 1)
  (log (+ 1.0 (exp x)))
  (log (+ (pow 1.0 3) (pow (exp x) 3)))
  (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
  (log (- (* 1.0 1.0) (* (exp x) (exp x))))
  (log (- 1.0 (exp x)))
  (log (+ 1.0 (exp x)))
  (log (log (+ 1.0 (exp x))))
  (exp (log (+ 1.0 (exp x))))
  (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  (* (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (/ (+ 1.0 (exp x)) (exp (* x y)))
  (log (- (log (+ 1.0 (exp x))) (* x y)))
  (exp (- (log (+ 1.0 (exp x))) (* x y)))
  (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y))))
  (cbrt (- (log (+ 1.0 (exp x))) (* x y)))
  (* (* (- (log (+ 1.0 (exp x))) (* x y)) (- (log (+ 1.0 (exp x))) (* x y))) (- (log (+ 1.0 (exp x))) (* x y)))
  (sqrt (- (log (+ 1.0 (exp x))) (* x y)))
  (sqrt (- (log (+ 1.0 (exp x))) (* x y)))
  (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3))
  (+ (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (+ (* (* x y) (* x y)) (* (log (+ 1.0 (exp x))) (* x y))))
  (- (* x y))
  (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y)))
  (+ (log (+ 1.0 (exp x))) (* x y))
  (- (log (cbrt (+ 1.0 (exp x)))) (* x y))
  (- (log (sqrt (+ 1.0 (exp x)))) (* x y))
  (- (log (+ 1.0 (exp x))) (* x y))
  (- (log (+ 1.0 (exp x))) (* x y))
  (+ (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (* x y))
  (+ (log (- 1.0 (exp x))) (* x y))
  (- (* x y))
  (* (exp 1.0) (exp (exp x)))
  (log (+ 1.0 (exp x)))
  (exp (+ 1.0 (exp x)))
  (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))
  (cbrt (+ 1.0 (exp x)))
  (* (* (+ 1.0 (exp x)) (+ 1.0 (exp x))) (+ 1.0 (exp x)))
  (sqrt (+ 1.0 (exp x)))
  (sqrt (+ 1.0 (exp x)))
  (+ (pow 1.0 3) (pow (exp x) 3))
  (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))
  (- (* 1.0 1.0) (* (exp x) (exp x)))
  (- 1.0 (exp x))
  (+ 1.0 (exp x))
  (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (log (+ (exp x) 1.0))
  (log (+ (exp x) 1.0))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (- (log (+ (exp x) 1.0)) (* x y))
  (- (log (+ (exp x) 1.0)) (* x y))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ (exp x) 1.0)
  (+ (exp x) 1.0)
0.231 * * [simplify]: iteration  0 :  207  enodes  (cost  322 )
0.234 * * [simplify]: iteration  1 :  584  enodes  (cost  301 )
0.243 * * [simplify]: iteration  2 :  1729  enodes  (cost  298 )
0.273 * * [simplify]: iteration  3 :  5001  enodes  (cost  297 )
0.275 * [simplify]: Simplified to:
   (* 2 (log (cbrt (+ 1.0 (exp x)))))
  (log (cbrt (+ 1.0 (exp x))))
  (log (sqrt (+ 1.0 (exp x))))
  (log (sqrt (+ 1.0 (exp x))))
  0
  (log (+ (exp x) 1.0))
  0
  (log (+ (exp x) 1.0))
  (log (+ (pow 1.0 3) (pow (exp x) 3)))
  (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
  (log (- (* 1.0 1.0) (* (exp x) (exp x))))
  (log (- 1.0 (exp x)))
  (log (+ (exp x) 1.0))
  (log (log (+ 1.0 (exp x))))
  (+ 1.0 (exp x))
  (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  (pow (log (+ 1.0 (exp x))) 3)
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (/ (+ 1.0 (exp x)) (exp (* x y)))
  (log (- (log (+ 1.0 (exp x))) (* x y)))
  (/ (+ 1.0 (exp x)) (exp (* x y)))
  (* (cbrt (- (log (+ 1.0 (exp x))) (* x y))) (cbrt (- (log (+ 1.0 (exp x))) (* x y))))
  (cbrt (- (log (+ 1.0 (exp x))) (* x y)))
  (pow (- (log (+ (exp x) 1.0)) (* x y)) 3)
  (sqrt (- (log (+ 1.0 (exp x))) (* x y)))
  (sqrt (- (log (+ 1.0 (exp x))) (* x y)))
  (- (pow (log (+ 1.0 (exp x))) 3) (pow (* x y) 3))
  (+ (* (log (+ (exp x) 1.0)) (+ (log (+ 1.0 (exp x))) (* x y))) (* (* x y) (* x y)))
  (- (* x y))
  (- (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (* (* x y) (* x y)))
  (+ (log (+ 1.0 (exp x))) (* x y))
  (- (log (cbrt (+ 1.0 (exp x)))) (* x y))
  (- (log (sqrt (+ 1.0 (exp x)))) (* x y))
  (- (log (+ (exp x) 1.0)) (* x y))
  (- (log (+ (exp x) 1.0)) (* x y))
  (+ (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))) (* x y))
  (+ (log (- 1.0 (exp x))) (* x y))
  (- (* x y))
  (exp (+ 1.0 (exp x)))
  (log (+ (exp x) 1.0))
  (exp (+ 1.0 (exp x)))
  (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))
  (cbrt (+ 1.0 (exp x)))
  (pow (+ 1.0 (exp x)) 3)
  (sqrt (+ 1.0 (exp x)))
  (sqrt (+ 1.0 (exp x)))
  (+ (pow 1.0 3) (pow (exp x) 3))
  (+ (* (exp x) (- (exp x) 1.0)) (* 1.0 1.0))
  (- (* 1.0 1.0) (* (exp x) (exp x)))
  (- 1.0 (exp x))
  (+ 1.0 (exp x))
  (+ (+ (log 2.0) (* (pow x 2) (- 0.25 (/ 1/2 (pow 2.0 2))))) (* 0.5 x))
  (log (+ (exp x) 1.0))
  (log (+ (exp x) 1.0))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (- (log (+ (exp x) 1.0)) (* x y))
  (- (log (+ (exp x) 1.0)) (* x y))
  (+ (* 1/2 (pow x 2)) (+ x 2.0))
  (+ 1.0 (exp x))
  (+ 1.0 (exp x))
0.275 * * * [progress]: adding candidates to table
0.400 * * [progress]: iteration 2 / 4
0.400 * * * [progress]: picking best candidate
0.407 * * * * [pick]: Picked  #<alt (λ (x y) (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))>
0.407 * * * [progress]: localizing error
0.419 * * * [progress]: generating rewritten candidates
0.419 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
0.422 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.425 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
0.428 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.437 * * * [progress]: generating series expansions
0.437 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
0.437 * [approximate]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in (x) around 0
0.437 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x
0.437 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.437 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.437 * [taylor]: Taking taylor expansion of (exp x) in x
0.437 * [taylor]: Taking taylor expansion of x in x
0.437 * [taylor]: Taking taylor expansion of 1.0 in x
0.438 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x
0.438 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.438 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.438 * [taylor]: Taking taylor expansion of (exp x) in x
0.438 * [taylor]: Taking taylor expansion of x in x
0.438 * [taylor]: Taking taylor expansion of 1.0 in x
0.491 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in (x) around 0
0.491 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x
0.491 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.491 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.491 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.491 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of 1.0 in x
0.492 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x
0.492 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.492 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.492 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.492 * [taylor]: Taking taylor expansion of x in x
0.492 * [taylor]: Taking taylor expansion of 1.0 in x
0.529 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in (x) around 0
0.529 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x
0.529 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.529 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.529 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.529 * [taylor]: Taking taylor expansion of -1 in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of 1.0 in x
0.529 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x
0.529 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.529 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.529 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.529 * [taylor]: Taking taylor expansion of -1 in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.530 * [taylor]: Taking taylor expansion of 1.0 in x
0.560 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.560 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0
0.560 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.560 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.560 * [taylor]: Taking taylor expansion of (exp x) in x
0.560 * [taylor]: Taking taylor expansion of x in x
0.560 * [taylor]: Taking taylor expansion of 1.0 in x
0.561 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.561 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.561 * [taylor]: Taking taylor expansion of (exp x) in x
0.561 * [taylor]: Taking taylor expansion of x in x
0.561 * [taylor]: Taking taylor expansion of 1.0 in x
0.578 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0
0.578 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.578 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.579 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.579 * [taylor]: Taking taylor expansion of x in x
0.579 * [taylor]: Taking taylor expansion of 1.0 in x
0.579 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.579 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.579 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.579 * [taylor]: Taking taylor expansion of x in x
0.579 * [taylor]: Taking taylor expansion of 1.0 in x
0.606 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0
0.606 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.606 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.606 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.606 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.606 * [taylor]: Taking taylor expansion of -1 in x
0.606 * [taylor]: Taking taylor expansion of x in x
0.606 * [taylor]: Taking taylor expansion of 1.0 in x
0.607 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.607 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.607 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.607 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.607 * [taylor]: Taking taylor expansion of -1 in x
0.607 * [taylor]: Taking taylor expansion of x in x
0.607 * [taylor]: Taking taylor expansion of 1.0 in x
0.628 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
0.628 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0
0.628 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.628 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.628 * [taylor]: Taking taylor expansion of (exp x) in x
0.628 * [taylor]: Taking taylor expansion of x in x
0.628 * [taylor]: Taking taylor expansion of 1.0 in x
0.629 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.629 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.629 * [taylor]: Taking taylor expansion of (exp x) in x
0.629 * [taylor]: Taking taylor expansion of x in x
0.629 * [taylor]: Taking taylor expansion of 1.0 in x
0.646 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0
0.646 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.646 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.646 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.646 * [taylor]: Taking taylor expansion of 1.0 in x
0.646 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.646 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.646 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.646 * [taylor]: Taking taylor expansion of x in x
0.647 * [taylor]: Taking taylor expansion of 1.0 in x
0.668 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0
0.668 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.668 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.668 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.668 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.668 * [taylor]: Taking taylor expansion of -1 in x
0.668 * [taylor]: Taking taylor expansion of x in x
0.668 * [taylor]: Taking taylor expansion of 1.0 in x
0.668 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.668 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.668 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.668 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.668 * [taylor]: Taking taylor expansion of -1 in x
0.668 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of 1.0 in x
0.695 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.695 * [approximate]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in (x y) around 0
0.695 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in y
0.695 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in y
0.695 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in y
0.695 * [taylor]: Taking taylor expansion of (exp x) in y
0.695 * [taylor]: Taking taylor expansion of x in y
0.695 * [taylor]: Taking taylor expansion of 1.0 in y
0.695 * [taylor]: Taking taylor expansion of (* x y) in y
0.695 * [taylor]: Taking taylor expansion of x in y
0.695 * [taylor]: Taking taylor expansion of y in y
0.695 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x
0.695 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.695 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.695 * [taylor]: Taking taylor expansion of (exp x) in x
0.695 * [taylor]: Taking taylor expansion of x in x
0.695 * [taylor]: Taking taylor expansion of 1.0 in x
0.696 * [taylor]: Taking taylor expansion of (* x y) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of y in x
0.696 * [taylor]: Taking taylor expansion of (- (log (+ (exp x) 1.0)) (* x y)) in x
0.696 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
0.696 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
0.696 * [taylor]: Taking taylor expansion of (exp x) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of 1.0 in x
0.697 * [taylor]: Taking taylor expansion of (* x y) in x
0.697 * [taylor]: Taking taylor expansion of x in x
0.697 * [taylor]: Taking taylor expansion of y in x
0.698 * [taylor]: Taking taylor expansion of (log 2.0) in y
0.698 * [taylor]: Taking taylor expansion of 2.0 in y
0.703 * [taylor]: Taking taylor expansion of (- 0.5 y) in y
0.703 * [taylor]: Taking taylor expansion of 0.5 in y
0.703 * [taylor]: Taking taylor expansion of y in y
0.715 * [taylor]: Taking taylor expansion of (- 0.25 (* 1/2 (/ 1 (pow 2.0 2)))) in y
0.715 * [taylor]: Taking taylor expansion of 0.25 in y
0.715 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow 2.0 2))) in y
0.715 * [taylor]: Taking taylor expansion of 1/2 in y
0.715 * [taylor]: Taking taylor expansion of (/ 1 (pow 2.0 2)) in y
0.715 * [taylor]: Taking taylor expansion of (pow 2.0 2) in y
0.715 * [taylor]: Taking taylor expansion of 2.0 in y
0.718 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0
0.718 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in y
0.718 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y
0.718 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y
0.718 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.718 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.718 * [taylor]: Taking taylor expansion of x in y
0.718 * [taylor]: Taking taylor expansion of 1.0 in y
0.718 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.718 * [taylor]: Taking taylor expansion of (* x y) in y
0.718 * [taylor]: Taking taylor expansion of x in y
0.718 * [taylor]: Taking taylor expansion of y in y
0.718 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x
0.718 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.718 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.718 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.718 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of 1.0 in x
0.719 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.719 * [taylor]: Taking taylor expansion of (* x y) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of y in x
0.719 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ 1 x)) 1.0)) (/ 1 (* x y))) in x
0.719 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
0.719 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
0.719 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of 1.0 in x
0.720 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.720 * [taylor]: Taking taylor expansion of (* x y) in x
0.720 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of y in x
0.720 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.720 * [taylor]: Taking taylor expansion of y in y
0.722 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in y
0.722 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in y
0.722 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in y
0.722 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.722 * [taylor]: Taking taylor expansion of x in y
0.722 * [taylor]: Taking taylor expansion of 1.0 in y
0.725 * [taylor]: Taking taylor expansion of 0 in y
0.729 * [taylor]: Taking taylor expansion of 0 in y
0.735 * [taylor]: Taking taylor expansion of 0 in y
0.735 * [approximate]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in (x y) around 0
0.735 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in y
0.735 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y
0.735 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y
0.735 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.735 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.735 * [taylor]: Taking taylor expansion of -1 in y
0.735 * [taylor]: Taking taylor expansion of x in y
0.736 * [taylor]: Taking taylor expansion of 1.0 in y
0.736 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.736 * [taylor]: Taking taylor expansion of (* x y) in y
0.736 * [taylor]: Taking taylor expansion of x in y
0.736 * [taylor]: Taking taylor expansion of y in y
0.736 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x
0.736 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.736 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.736 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.736 * [taylor]: Taking taylor expansion of -1 in x
0.736 * [taylor]: Taking taylor expansion of x in x
0.737 * [taylor]: Taking taylor expansion of 1.0 in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.737 * [taylor]: Taking taylor expansion of (* x y) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.737 * [taylor]: Taking taylor expansion of y in x
0.737 * [taylor]: Taking taylor expansion of (- (log (+ (exp (/ -1 x)) 1.0)) (/ 1 (* x y))) in x
0.737 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
0.737 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
0.737 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.737 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.737 * [taylor]: Taking taylor expansion of -1 in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.737 * [taylor]: Taking taylor expansion of 1.0 in x
0.738 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.738 * [taylor]: Taking taylor expansion of (* x y) in x
0.738 * [taylor]: Taking taylor expansion of x in x
0.738 * [taylor]: Taking taylor expansion of y in x
0.738 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
0.738 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.738 * [taylor]: Taking taylor expansion of y in y
0.739 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in y
0.740 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in y
0.740 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in y
0.740 * [taylor]: Taking taylor expansion of (/ -1 x) in y
0.740 * [taylor]: Taking taylor expansion of -1 in y
0.740 * [taylor]: Taking taylor expansion of x in y
0.740 * [taylor]: Taking taylor expansion of 1.0 in y
0.743 * [taylor]: Taking taylor expansion of 0 in y
0.746 * [taylor]: Taking taylor expansion of 0 in y
0.752 * [taylor]: Taking taylor expansion of 0 in y
0.753 * * * [progress]: simplifying candidates
0.754 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log (log (+ 1.0 (exp x)))) 3)
  (* (log (log (+ 1.0 (exp x)))) 3)
  (* 1 3)
  (pow (log (+ 1.0 (exp x))) (* (cbrt 3) (cbrt 3)))
  (pow (log (+ 1.0 (exp x))) (sqrt 3))
  (pow (log (+ 1.0 (exp x))) 1)
  (pow 1 3)
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3)
  (pow (cbrt (log (+ 1.0 (exp x)))) 3)
  (pow (sqrt (log (+ 1.0 (exp x)))) 3)
  (pow (sqrt (log (+ 1.0 (exp x)))) 3)
  (pow 1 3)
  (pow (log (+ 1.0 (exp x))) 3)
  (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
  (log (pow (log (+ 1.0 (exp x))) 3))
  (exp (pow (log (+ 1.0 (exp x))) 3))
  (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (pow (log (+ 1.0 (exp x))) 3))
  (* (* (pow (log (+ 1.0 (exp x))) 3) (pow (log (+ 1.0 (exp x))) 3)) (pow (log (+ 1.0 (exp x))) 3))
  (pow 1 3)
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3)
  (pow (cbrt (log (+ 1.0 (exp x)))) 3)
  (pow (sqrt (log (+ 1.0 (exp x)))) 3)
  (pow (sqrt (log (+ 1.0 (exp x)))) 3)
  (pow 1 3)
  (pow (log (+ 1.0 (exp x))) 3)
  (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (pow (log (+ 1.0 (exp x))) (/ 3 2))
  (pow (log (+ 1.0 (exp x))) (/ 3 2))
  (log (cbrt (pow (log (+ 1.0 (exp x))) 3)))
  (exp (cbrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (+ 1.0 (exp x))) 3))
  (cbrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))
  (cbrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))
  (cbrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))
  (cbrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (+ 1.0 (exp x))) 3))
  (cbrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  (cbrt (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (cbrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (pow 1 3))
  (cbrt (pow (log (+ 1.0 (exp x))) 3))
  (cbrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))
  (cbrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))
  (cbrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))
  (cbrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (log (+ 1.0 (exp x))) 3))
  (cbrt (log (+ 1.0 (exp x))))
  (cbrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt 1)
  (cbrt (pow (log (+ 1.0 (exp x))) 3))
  (cbrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))
  (cbrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))
  (* (cbrt (cbrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (cbrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (cbrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (pow (log (+ 1.0 (exp x))) 3)))
  (sqrt (cbrt (pow (log (+ 1.0 (exp x))) 3)))
  (sqrt (cbrt (pow (log (+ 1.0 (exp x))) 3)))
  (log (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x)))))
  (log (cbrt (+ 1.0 (exp x))))
  (log (sqrt (+ 1.0 (exp x))))
  (log (sqrt (+ 1.0 (exp x))))
  (log 1)
  (log (+ 1.0 (exp x)))
  (log 1)
  (log (+ 1.0 (exp x)))
  (log (+ (pow 1.0 3) (pow (exp x) 3)))
  (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
  (log (- (* 1.0 1.0) (* (exp x) (exp x))))
  (log (- 1.0 (exp x)))
  (log (+ 1.0 (exp x)))
  (log (log (+ 1.0 (exp x))))
  (exp (log (+ 1.0 (exp x))))
  (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  (* (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))) (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (/ (exp (cbrt (pow (log (+ 1.0 (exp x))) 3))) (exp (* x y)))
  (log (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (exp (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (* (cbrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y))) (cbrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y))))
  (cbrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (* (* (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)) (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y))) (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (sqrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (sqrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (- (pow (cbrt (pow (log (+ 1.0 (exp x))) 3)) 3) (pow (* x y) 3))
  (+ (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3))) (+ (* (* x y) (* x y)) (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y))))
  (- (* x y))
  (- (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3))) (* (* x y) (* x y)))
  (+ (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y))
  (- (* x y))
  (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (pow (log (+ (exp x) 1.0)) 3)
  (pow (log (+ (exp x) 1.0)) 3)
  (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (log (+ (exp x) 1.0))
  (log (+ (exp x) 1.0))
  (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (log (+ (exp x) 1.0))
  (log (+ (exp x) 1.0))
  (+ (log 2.0) (+ (* 0.125 (pow x 2)) (* 0.5 x)))
  (- (log (+ (exp x) 1.0)) (* x y))
  (- (log (+ (exp x) 1.0)) (* x y))
0.759 * * [simplify]: iteration  0 :  304  enodes  (cost  592 )
0.765 * * [simplify]: iteration  1 :  1120  enodes  (cost  533 )
0.791 * * [simplify]: iteration  2 :  5002  enodes  (cost  518 )
0.794 * [simplify]: Simplified to:
   (log (pow (log (+ 1.0 (exp x))) 3))
  (log (pow (log (+ 1.0 (exp x))) 3))
  3
  (pow (log (+ 1.0 (exp x))) (* (cbrt 3) (cbrt 3)))
  (pow (log (+ 1.0 (exp x))) (sqrt 3))
  (log (+ 1.0 (exp x)))
  1
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 2)
  (log (+ 1.0 (exp x)))
  (pow (log (+ 1.0 (exp x))) 3/2)
  (pow (log (+ 1.0 (exp x))) 3/2)
  1
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 2)
  (log (pow (log (+ 1.0 (exp x))) 3))
  (exp (pow (log (+ 1.0 (exp x))) 3))
  (pow (log (+ 1.0 (exp x))) 2)
  (log (+ 1.0 (exp x)))
  (pow (pow (log (+ 1.0 (exp x))) 3) 3)
  1
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 2)
  (log (+ 1.0 (exp x)))
  (pow (log (+ 1.0 (exp x))) 3/2)
  (pow (log (+ 1.0 (exp x))) 3/2)
  1
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 2)
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (pow (log (+ 1.0 (exp x))) 3/2)
  (pow (log (+ 1.0 (exp x))) 3/2)
  (log (log (+ 1.0 (exp x))))
  (+ 1.0 (exp x))
  1
  (log (+ 1.0 (exp x)))
  (cbrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  1
  (log (+ 1.0 (exp x)))
  (cbrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  (cbrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  1
  (log (+ 1.0 (exp x)))
  (cbrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  1
  (log (+ 1.0 (exp x)))
  (cbrt (log (+ 1.0 (exp x))))
  (cbrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  1
  (log (+ 1.0 (exp x)))
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (cbrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  (pow (log (+ 1.0 (exp x))) 3)
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (* 2 (log (cbrt (+ 1.0 (exp x)))))
  (log (cbrt (+ 1.0 (exp x))))
  (log (sqrt (+ 1.0 (exp x))))
  (log (sqrt (+ 1.0 (exp x))))
  0
  (log (+ 1.0 (exp x)))
  0
  (log (+ 1.0 (exp x)))
  (log (+ (pow 1.0 3) (pow (exp x) 3)))
  (log (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x)))))
  (log (- (* 1.0 1.0) (* (exp x) (exp x))))
  (log (- 1.0 (exp x)))
  (log (+ 1.0 (exp x)))
  (log (log (+ 1.0 (exp x))))
  (+ 1.0 (exp x))
  (cbrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))
  (cbrt (log (+ 1.0 (exp x))))
  (pow (log (+ 1.0 (exp x))) 3)
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (/ (+ 1.0 (exp x)) (exp (* x y)))
  (log (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (/ (+ 1.0 (exp x)) (exp (* x y)))
  (* (cbrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y))) (cbrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y))))
  (cbrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (pow (- (log (+ (exp x) 1.0)) (* x y)) 3)
  (sqrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (sqrt (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))
  (+ (pow (log (+ 1.0 (exp x))) 3) (- (pow (* x y) 3)))
  (+ (pow (log (+ 1.0 (exp x))) 2) (* (* x y) (+ (* x y) (log (+ 1.0 (exp x))))))
  (- (* x y))
  (- (pow (log (+ 1.0 (exp x))) 2) (* (* x y) (* x y)))
  (+ (* x y) (log (+ 1.0 (exp x))))
  (- (* x y))
  (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 3)
  (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (log (+ 1.0 (exp x)))
  (log (+ 1.0 (exp x)))
  (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (log (+ 1.0 (exp x)))
  (log (+ 1.0 (exp x)))
  (+ (* x (+ 0.5 (* x 0.125))) (log 2.0))
  (- (log (+ (exp x) 1.0)) (* x y))
  (- (log (+ (exp x) 1.0)) (* x y))
0.794 * * * [progress]: adding candidates to table
0.972 * * [progress]: iteration 3 / 4
0.972 * * * [progress]: picking best candidate
0.979 * * * * [pick]: Picked  #<alt (λ (x y) (- (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (* x y)))>
0.979 * * * [progress]: localizing error
0.992 * * * [progress]: generating rewritten candidates
0.992 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
0.995 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.999 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
1.018 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1)
1.034 * * * [progress]: generating series expansions
1.034 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
1.034 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in (x) around 0
1.034 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in x
1.034 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
1.034 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
1.034 * [taylor]: Taking taylor expansion of (exp x) in x
1.034 * [taylor]: Taking taylor expansion of x in x
1.034 * [taylor]: Taking taylor expansion of 1.0 in x
1.046 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in x
1.047 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
1.047 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
1.047 * [taylor]: Taking taylor expansion of (exp x) in x
1.047 * [taylor]: Taking taylor expansion of x in x
1.047 * [taylor]: Taking taylor expansion of 1.0 in x
1.088 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in (x) around 0
1.089 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in x
1.089 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
1.089 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
1.089 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.089 * [taylor]: Taking taylor expansion of x in x
1.089 * [taylor]: Taking taylor expansion of 1.0 in x
1.090 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in x
1.090 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
1.090 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
1.090 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.090 * [taylor]: Taking taylor expansion of x in x
1.090 * [taylor]: Taking taylor expansion of 1.0 in x
1.115 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in (x) around 0
1.115 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in x
1.115 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
1.115 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
1.115 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.115 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.115 * [taylor]: Taking taylor expansion of -1 in x
1.115 * [taylor]: Taking taylor expansion of x in x
1.115 * [taylor]: Taking taylor expansion of 1.0 in x
1.116 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in x
1.116 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
1.116 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
1.116 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.116 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.116 * [taylor]: Taking taylor expansion of -1 in x
1.116 * [taylor]: Taking taylor expansion of x in x
1.117 * [taylor]: Taking taylor expansion of 1.0 in x
1.146 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.146 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in (x) around 0
1.146 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in x
1.146 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
1.146 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
1.146 * [taylor]: Taking taylor expansion of (exp x) in x
1.146 * [taylor]: Taking taylor expansion of x in x
1.146 * [taylor]: Taking taylor expansion of 1.0 in x
1.153 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp x) 1.0))) in x
1.153 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
1.153 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
1.153 * [taylor]: Taking taylor expansion of (exp x) in x
1.153 * [taylor]: Taking taylor expansion of x in x
1.153 * [taylor]: Taking taylor expansion of 1.0 in x
1.194 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in (x) around 0
1.194 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in x
1.194 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
1.194 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
1.194 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.194 * [taylor]: Taking taylor expansion of x in x
1.194 * [taylor]: Taking taylor expansion of 1.0 in x
1.195 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ 1 x)) 1.0))) in x
1.195 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
1.195 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
1.195 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.195 * [taylor]: Taking taylor expansion of x in x
1.196 * [taylor]: Taking taylor expansion of 1.0 in x
1.225 * [approximate]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in (x) around 0
1.225 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in x
1.225 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
1.225 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
1.225 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.225 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.225 * [taylor]: Taking taylor expansion of -1 in x
1.225 * [taylor]: Taking taylor expansion of x in x
1.225 * [taylor]: Taking taylor expansion of 1.0 in x
1.227 * [taylor]: Taking taylor expansion of (sqrt (log (+ (exp (/ -1 x)) 1.0))) in x
1.227 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
1.227 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
1.227 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.227 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.227 * [taylor]: Taking taylor expansion of -1 in x
1.227 * [taylor]: Taking taylor expansion of x in x
1.227 * [taylor]: Taking taylor expansion of 1.0 in x
1.251 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
1.251 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1.0)) in (x) around 0
1.251 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
1.251 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
1.251 * [taylor]: Taking taylor expansion of (exp x) in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.251 * [taylor]: Taking taylor expansion of 1.0 in x
1.252 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
1.252 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
1.252 * [taylor]: Taking taylor expansion of (exp x) in x
1.252 * [taylor]: Taking taylor expansion of x in x
1.252 * [taylor]: Taking taylor expansion of 1.0 in x
1.269 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in (x) around 0
1.269 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
1.269 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
1.269 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.269 * [taylor]: Taking taylor expansion of x in x
1.269 * [taylor]: Taking taylor expansion of 1.0 in x
1.269 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
1.269 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
1.269 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.269 * [taylor]: Taking taylor expansion of x in x
1.270 * [taylor]: Taking taylor expansion of 1.0 in x
1.290 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in (x) around 0
1.290 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
1.290 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
1.290 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.290 * [taylor]: Taking taylor expansion of -1 in x
1.290 * [taylor]: Taking taylor expansion of x in x
1.291 * [taylor]: Taking taylor expansion of 1.0 in x
1.291 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
1.291 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
1.291 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.291 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.291 * [taylor]: Taking taylor expansion of -1 in x
1.291 * [taylor]: Taking taylor expansion of x in x
1.291 * [taylor]: Taking taylor expansion of 1.0 in x
1.317 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1)
1.317 * [approximate]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in (x) around 0
1.318 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x
1.318 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
1.318 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
1.318 * [taylor]: Taking taylor expansion of (exp x) in x
1.318 * [taylor]: Taking taylor expansion of x in x
1.318 * [taylor]: Taking taylor expansion of 1.0 in x
1.318 * [taylor]: Taking taylor expansion of (pow (log (+ (exp x) 1.0)) 3) in x
1.318 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1.0)) in x
1.318 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
1.318 * [taylor]: Taking taylor expansion of (exp x) in x
1.318 * [taylor]: Taking taylor expansion of x in x
1.318 * [taylor]: Taking taylor expansion of 1.0 in x
1.370 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in (x) around 0
1.370 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x
1.370 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
1.370 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
1.370 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.370 * [taylor]: Taking taylor expansion of x in x
1.371 * [taylor]: Taking taylor expansion of 1.0 in x
1.371 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ 1 x)) 1.0)) 3) in x
1.371 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1.0)) in x
1.371 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
1.371 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
1.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.371 * [taylor]: Taking taylor expansion of x in x
1.371 * [taylor]: Taking taylor expansion of 1.0 in x
1.407 * [approximate]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in (x) around 0
1.407 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x
1.407 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
1.407 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
1.407 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.407 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.407 * [taylor]: Taking taylor expansion of -1 in x
1.407 * [taylor]: Taking taylor expansion of x in x
1.408 * [taylor]: Taking taylor expansion of 1.0 in x
1.408 * [taylor]: Taking taylor expansion of (pow (log (+ (exp (/ -1 x)) 1.0)) 3) in x
1.408 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1.0)) in x
1.408 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
1.408 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
1.408 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.408 * [taylor]: Taking taylor expansion of -1 in x
1.408 * [taylor]: Taking taylor expansion of x in x
1.408 * [taylor]: Taking taylor expansion of 1.0 in x
1.438 * * * [progress]: simplifying candidates
1.442 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (exp (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (pow 1 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3)))
  (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow 1 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (sqrt (cbrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (pow 1 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3)))
  (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow 1 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt 1))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt 1)
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (log (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (exp (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (pow 1 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3)))
  (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow 1 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (sqrt (cbrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (pow 1 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3)))
  (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3)))
  (cbrt (sqrt (pow 1 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt 1))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt 1)
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sqrt (pow (log (+ 1.0 (exp x))) 3)) (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (+ 1 1)
  (+ (log (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (log (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (log (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (exp (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (sqrt (pow (log (+ 1.0 (exp x))) 3)) (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))) (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))))
  (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (* (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))) (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (sqrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (sqrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))) (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))))
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))))
  (* (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))))
  (* (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3))))) (cbrt (sqrt (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3))))))
  (* (cbrt (sqrt (cbrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (cbrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))))
  (* (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))))
  (* (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow 1 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt 1)) (cbrt (sqrt 1)))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))) (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))))
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* 1 1)
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow 1 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt 1)))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt 1))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) 1)
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (cbrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (cbrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (sqrt (log (+ 1.0 (exp x)))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) (/ 3 2)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (log (log (+ 1.0 (exp x)))) 3)
  (* (log (log (+ 1.0 (exp x)))) 3)
  (* 1 3)
  (pow (log (+ 1.0 (exp x))) (* (cbrt 3) (cbrt 3)))
  (pow (log (+ 1.0 (exp x))) (sqrt 3))
  (pow (log (+ 1.0 (exp x))) 1)
  (pow 1 3)
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3)
  (pow (cbrt (log (+ 1.0 (exp x)))) 3)
  (pow (sqrt (log (+ 1.0 (exp x)))) 3)
  (pow (sqrt (log (+ 1.0 (exp x)))) 3)
  (pow 1 3)
  (pow (log (+ 1.0 (exp x))) 3)
  (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
  (log (pow (log (+ 1.0 (exp x))) 3))
  (exp (pow (log (+ 1.0 (exp x))) 3))
  (* (cbrt (pow (log (+ 1.0 (exp x))) 3)) (cbrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (pow (log (+ 1.0 (exp x))) 3))
  (* (* (pow (log (+ 1.0 (exp x))) 3) (pow (log (+ 1.0 (exp x))) 3)) (pow (log (+ 1.0 (exp x))) 3))
  (pow 1 3)
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (* (cbrt (log (+ 1.0 (exp x)))) (cbrt (log (+ 1.0 (exp x))))) 3)
  (pow (cbrt (log (+ 1.0 (exp x)))) 3)
  (pow (sqrt (log (+ 1.0 (exp x)))) 3)
  (pow (sqrt (log (+ 1.0 (exp x)))) 3)
  (pow 1 3)
  (pow (log (+ 1.0 (exp x))) 3)
  (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (pow (log (+ 1.0 (exp x))) (/ 3 2))
  (pow (log (+ 1.0 (exp x))) (/ 3 2))
  (- (+ (* 0.25 (* (sqrt (/ 1 (log 2.0))) x)) (+ (sqrt (log 2.0)) (* 0.125 (* (sqrt (/ 1 (log 2.0))) (pow x 2))))) (+ (* 1/4 (* (sqrt (/ 1 (log 2.0))) (/ (pow x 2) (pow 2.0 2)))) (* 0.03125 (* (sqrt (/ 1 (pow (log 2.0) 3))) (pow x 2)))))
  (sqrt (log (+ (exp x) 1.0)))
  (sqrt (log (+ (exp x) 1.0)))
  (- (+ (* 0.25 (* (sqrt (/ 1 (log 2.0))) x)) (+ (sqrt (log 2.0)) (* 0.125 (* (sqrt (/ 1 (log 2.0))) (pow x 2))))) (+ (* 1/4 (* (sqrt (/ 1 (log 2.0))) (/ (pow x 2) (pow 2.0 2)))) (* 0.03125 (* (sqrt (/ 1 (pow (log 2.0) 3))) (pow x 2)))))
  (sqrt (log (+ (exp x) 1.0)))
  (sqrt (log (+ (exp x) 1.0)))
  (- (+ (log 2.0) (+ (* 0.25 (pow x 2)) (* 0.5 x))) (* 1/2 (/ (pow x 2) (pow 2.0 2))))
  (log (+ (exp x) 1.0))
  (log (+ (exp x) 1.0))
  (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (pow (log (+ (exp x) 1.0)) 3)
  (pow (log (+ (exp x) 1.0)) 3)
1.454 * * [simplify]: iteration  0 :  347  enodes  (cost  3452 )
1.462 * * [simplify]: iteration  1 :  1311  enodes  (cost  3226 )
1.490 * * [simplify]: iteration  2 :  5001  enodes  (cost  2954 )
1.504 * [simplify]: Simplified to:
   (log (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (exp (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (log (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (exp (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (log (+ 1.0 (exp x)))))
  (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x))))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2)))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  1
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  2/3
  2
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  2
  (* 2 (log (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* 2 (log (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (pow (exp 1) (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4))
  (pow (log (+ 1.0 (exp x))) 3)
  (* (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))) (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))))
  (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (pow (log (+ 1.0 (exp x))) 3)
  (fabs (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (fabs (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))
  (* (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))) (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))))
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (log (+ 1.0 (exp x))))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (pow (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  1
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (* (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  2/3
  2
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (* (pow (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4) (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 3)
  (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))
  (pow (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (log (+ 1.0 (exp x))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (* (log (+ 1.0 (exp x))) (log (+ 1.0 (exp x)))))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3/2))))
  (* (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3))) (cbrt (sqrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))))
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (pow (cbrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 3)
  (pow (sqrt (cbrt (sqrt (pow (log (+ 1.0 (exp x))) 3)))) 4)
  (log (pow (log (+ 1.0 (exp x))) 3))
  (log (pow (log (+ 1.0 (exp x))) 3))
  3
  (pow (log (+ 1.0 (exp x))) (* (cbrt 3) (cbrt 3)))
  (pow (log (+ 1.0 (exp x))) (sqrt 3))
  (log (+ 1.0 (exp x)))
  1
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 2)
  (log (+ 1.0 (exp x)))
  (pow (log (+ 1.0 (exp x))) 3/2)
  (pow (log (+ 1.0 (exp x))) 3/2)
  1
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 2)
  (log (pow (log (+ 1.0 (exp x))) 3))
  (exp (pow (log (+ 1.0 (exp x))) 3))
  (pow (log (+ 1.0 (exp x))) 2)
  (log (+ 1.0 (exp x)))
  (pow (pow (log (+ 1.0 (exp x))) 3) 3)
  1
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 2)
  (log (+ 1.0 (exp x)))
  (pow (log (+ 1.0 (exp x))) 3/2)
  (pow (log (+ 1.0 (exp x))) 3/2)
  1
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 2)
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (sqrt (pow (log (+ 1.0 (exp x))) 3))
  (pow (log (+ 1.0 (exp x))) 3/2)
  (pow (log (+ 1.0 (exp x))) 3/2)
  (+ (* (sqrt (/ 1 (log 2.0))) (+ (* x 0.25) (* (pow x 2) 0.125))) (- (sqrt (log 2.0)) (+ (* 1/4 (* (sqrt (/ 1 (log 2.0))) (/ (pow x 2) (pow 2.0 2)))) (* 0.03125 (* (sqrt (/ 1 (pow (log 2.0) 3))) (pow x 2))))))
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (+ (* (sqrt (/ 1 (log 2.0))) (+ (* x 0.25) (* (pow x 2) 0.125))) (- (sqrt (log 2.0)) (+ (* 1/4 (* (sqrt (/ 1 (log 2.0))) (/ (pow x 2) (pow 2.0 2)))) (* 0.03125 (* (sqrt (/ 1 (pow (log 2.0) 3))) (pow x 2))))))
  (sqrt (log (+ 1.0 (exp x))))
  (sqrt (log (+ 1.0 (exp x))))
  (- (* x (+ 0.5 (* x 0.25))) (- (* 1/2 (/ (pow x 2) (pow 2.0 2))) (log 2.0)))
  (log (+ 1.0 (exp x)))
  (log (+ 1.0 (exp x)))
  (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (pow (log (+ 1.0 (exp x))) 3)
  (pow (log (+ 1.0 (exp x))) 3)
1.505 * * * [progress]: adding candidates to table
1.900 * * [progress]: iteration 4 / 4
1.900 * * * [progress]: picking best candidate
1.904 * * * * [pick]: Picked  #<alt (λ (x y) (- (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* x y)))>
1.904 * * * [progress]: localizing error
1.932 * * * [progress]: generating rewritten candidates
1.932 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.951 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.962 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 2 1 1)
1.965 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 2)
1.971 * * * [progress]: generating series expansions
1.971 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.975 * [approximate]: Taking taylor expansion of (pow (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 1/3) in (x) around 0
1.975 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 1/3) in x
1.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) in x
1.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) in x
1.975 * [taylor]: Taking taylor expansion of 1/3 in x
1.975 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) in x
1.975 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in x
1.975 * [taylor]: Taking taylor expansion of (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) in x
1.975 * [taylor]: Taking taylor expansion of (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) in x
1.975 * [taylor]: Taking taylor expansion of 0.75 in x
1.975 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x
1.975 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
1.975 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.975 * [taylor]: Taking taylor expansion of 2.0 in x
1.976 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.976 * [taylor]: Taking taylor expansion of x in x
1.976 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2))))) in x
1.976 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x
1.976 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.976 * [taylor]: Taking taylor expansion of 2.0 in x
1.976 * [taylor]: Taking taylor expansion of (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))) in x
1.976 * [taylor]: Taking taylor expansion of (* 1.5 (* (pow (log 2.0) 2) x)) in x
1.976 * [taylor]: Taking taylor expansion of 1.5 in x
1.976 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) x) in x
1.976 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
1.976 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.976 * [taylor]: Taking taylor expansion of 2.0 in x
1.976 * [taylor]: Taking taylor expansion of x in x
1.977 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x
1.977 * [taylor]: Taking taylor expansion of 0.75 in x
1.977 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x
1.977 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.977 * [taylor]: Taking taylor expansion of 2.0 in x
1.977 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.977 * [taylor]: Taking taylor expansion of x in x
1.977 * [taylor]: Taking taylor expansion of (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) in x
1.977 * [taylor]: Taking taylor expansion of 3/2 in x
1.977 * [taylor]: Taking taylor expansion of (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) in x
1.977 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x
1.977 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
1.977 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.977 * [taylor]: Taking taylor expansion of 2.0 in x
1.977 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.977 * [taylor]: Taking taylor expansion of x in x
1.977 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.977 * [taylor]: Taking taylor expansion of 2.0 in x
1.993 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 1/3) in x
1.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) in x
1.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) in x
1.993 * [taylor]: Taking taylor expansion of 1/3 in x
1.993 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) in x
1.993 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in x
1.993 * [taylor]: Taking taylor expansion of (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))))) in x
1.993 * [taylor]: Taking taylor expansion of (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) in x
1.993 * [taylor]: Taking taylor expansion of 0.75 in x
1.993 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x
1.993 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
1.993 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.993 * [taylor]: Taking taylor expansion of 2.0 in x
1.994 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.994 * [taylor]: Taking taylor expansion of x in x
1.994 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2))))) in x
1.994 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x
1.994 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.994 * [taylor]: Taking taylor expansion of 2.0 in x
1.994 * [taylor]: Taking taylor expansion of (+ (* 1.5 (* (pow (log 2.0) 2) x)) (* 0.75 (* (log 2.0) (pow x 2)))) in x
1.994 * [taylor]: Taking taylor expansion of (* 1.5 (* (pow (log 2.0) 2) x)) in x
1.994 * [taylor]: Taking taylor expansion of 1.5 in x
1.994 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) x) in x
1.994 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
1.994 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.994 * [taylor]: Taking taylor expansion of 2.0 in x
1.994 * [taylor]: Taking taylor expansion of x in x
1.995 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x
1.995 * [taylor]: Taking taylor expansion of 0.75 in x
1.995 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x
1.995 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.995 * [taylor]: Taking taylor expansion of 2.0 in x
1.995 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.995 * [taylor]: Taking taylor expansion of x in x
1.995 * [taylor]: Taking taylor expansion of (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) in x
1.995 * [taylor]: Taking taylor expansion of 3/2 in x
1.995 * [taylor]: Taking taylor expansion of (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) in x
1.995 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x
1.995 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
1.995 * [taylor]: Taking taylor expansion of (log 2.0) in x
1.995 * [taylor]: Taking taylor expansion of 2.0 in x
1.995 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.995 * [taylor]: Taking taylor expansion of x in x
1.995 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
1.995 * [taylor]: Taking taylor expansion of 2.0 in x
2.129 * [approximate]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) 1/3) in (x) around 0
2.129 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) 1/3) in x
2.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))))) in x
2.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))) in x
2.129 * [taylor]: Taking taylor expansion of 1/3 in x
2.129 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) in x
2.129 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x
2.129 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) in x
2.129 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x
2.129 * [taylor]: Taking taylor expansion of 0.75 in x
2.129 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x
2.129 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.129 * [taylor]: Taking taylor expansion of 2.0 in x
2.130 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.130 * [taylor]: Taking taylor expansion of x in x
2.131 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) in x
2.131 * [taylor]: Taking taylor expansion of (* 1.5 (/ (pow (log 2.0) 2) x)) in x
2.131 * [taylor]: Taking taylor expansion of 1.5 in x
2.131 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) x) in x
2.131 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.131 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.131 * [taylor]: Taking taylor expansion of 2.0 in x
2.131 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x
2.133 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x
2.133 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.133 * [taylor]: Taking taylor expansion of 2.0 in x
2.133 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x
2.133 * [taylor]: Taking taylor expansion of 0.75 in x
2.133 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x
2.133 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.133 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.133 * [taylor]: Taking taylor expansion of 2.0 in x
2.134 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.134 * [taylor]: Taking taylor expansion of x in x
2.136 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x
2.136 * [taylor]: Taking taylor expansion of 3/2 in x
2.136 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x
2.136 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.136 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.136 * [taylor]: Taking taylor expansion of 2.0 in x
2.137 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
2.137 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.137 * [taylor]: Taking taylor expansion of x in x
2.137 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
2.137 * [taylor]: Taking taylor expansion of 2.0 in x
2.167 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) 1/3) in x
2.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))))) in x
2.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))) in x
2.168 * [taylor]: Taking taylor expansion of 1/3 in x
2.168 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) in x
2.168 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x
2.168 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))))) in x
2.168 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x
2.168 * [taylor]: Taking taylor expansion of 0.75 in x
2.168 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x
2.168 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.168 * [taylor]: Taking taylor expansion of 2.0 in x
2.168 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.168 * [taylor]: Taking taylor expansion of x in x
2.169 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) in x
2.169 * [taylor]: Taking taylor expansion of (* 1.5 (/ (pow (log 2.0) 2) x)) in x
2.169 * [taylor]: Taking taylor expansion of 1.5 in x
2.169 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) x) in x
2.169 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.169 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.169 * [taylor]: Taking taylor expansion of 2.0 in x
2.169 * [taylor]: Taking taylor expansion of x in x
2.171 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x
2.171 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x
2.171 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.171 * [taylor]: Taking taylor expansion of 2.0 in x
2.172 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x
2.172 * [taylor]: Taking taylor expansion of 0.75 in x
2.172 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x
2.172 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.172 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.172 * [taylor]: Taking taylor expansion of 2.0 in x
2.172 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.172 * [taylor]: Taking taylor expansion of x in x
2.174 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x
2.174 * [taylor]: Taking taylor expansion of 3/2 in x
2.174 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x
2.174 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.174 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.174 * [taylor]: Taking taylor expansion of 2.0 in x
2.175 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
2.175 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.175 * [taylor]: Taking taylor expansion of x in x
2.175 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
2.175 * [taylor]: Taking taylor expansion of 2.0 in x
2.425 * [approximate]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) 1/3) in (x) around 0
2.425 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) 1/3) in x
2.425 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))))) in x
2.425 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))))) in x
2.425 * [taylor]: Taking taylor expansion of 1/3 in x
2.425 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))) in x
2.425 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) in x
2.425 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) in x
2.425 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x
2.425 * [taylor]: Taking taylor expansion of 0.75 in x
2.425 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x
2.425 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.425 * [taylor]: Taking taylor expansion of 2.0 in x
2.425 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.425 * [taylor]: Taking taylor expansion of x in x
2.426 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x
2.426 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x
2.426 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.426 * [taylor]: Taking taylor expansion of 2.0 in x
2.427 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x
2.427 * [taylor]: Taking taylor expansion of 0.75 in x
2.427 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x
2.427 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.427 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.427 * [taylor]: Taking taylor expansion of 2.0 in x
2.427 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.427 * [taylor]: Taking taylor expansion of x in x
2.429 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x
2.429 * [taylor]: Taking taylor expansion of (* 1.5 (/ (pow (log 2.0) 2) x)) in x
2.429 * [taylor]: Taking taylor expansion of 1.5 in x
2.429 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) x) in x
2.429 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.429 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.429 * [taylor]: Taking taylor expansion of 2.0 in x
2.430 * [taylor]: Taking taylor expansion of x in x
2.431 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x
2.431 * [taylor]: Taking taylor expansion of 3/2 in x
2.432 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x
2.432 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.432 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.432 * [taylor]: Taking taylor expansion of 2.0 in x
2.432 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
2.432 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.432 * [taylor]: Taking taylor expansion of x in x
2.432 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
2.432 * [taylor]: Taking taylor expansion of 2.0 in x
2.469 * [taylor]: Taking taylor expansion of (pow (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) 1/3) in x
2.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))))) in x
2.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))))) in x
2.469 * [taylor]: Taking taylor expansion of 1/3 in x
2.469 * [taylor]: Taking taylor expansion of (log (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))))) in x
2.469 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))))) in x
2.469 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))))) in x
2.469 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x
2.469 * [taylor]: Taking taylor expansion of 0.75 in x
2.469 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x
2.469 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.469 * [taylor]: Taking taylor expansion of 2.0 in x
2.470 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.470 * [taylor]: Taking taylor expansion of x in x
2.470 * [taylor]: Taking taylor expansion of (+ (pow (log 2.0) 3) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x
2.470 * [taylor]: Taking taylor expansion of (pow (log 2.0) 3) in x
2.470 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.470 * [taylor]: Taking taylor expansion of 2.0 in x
2.471 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x
2.471 * [taylor]: Taking taylor expansion of 0.75 in x
2.471 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x
2.471 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.471 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.471 * [taylor]: Taking taylor expansion of 2.0 in x
2.471 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.471 * [taylor]: Taking taylor expansion of x in x
2.473 * [taylor]: Taking taylor expansion of (+ (* 1.5 (/ (pow (log 2.0) 2) x)) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x
2.473 * [taylor]: Taking taylor expansion of (* 1.5 (/ (pow (log 2.0) 2) x)) in x
2.473 * [taylor]: Taking taylor expansion of 1.5 in x
2.473 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) x) in x
2.473 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.473 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.473 * [taylor]: Taking taylor expansion of 2.0 in x
2.474 * [taylor]: Taking taylor expansion of x in x
2.476 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x
2.476 * [taylor]: Taking taylor expansion of 3/2 in x
2.476 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x
2.476 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.476 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.476 * [taylor]: Taking taylor expansion of 2.0 in x
2.476 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
2.476 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.476 * [taylor]: Taking taylor expansion of x in x
2.476 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
2.476 * [taylor]: Taking taylor expansion of 2.0 in x
2.736 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
2.739 * [approximate]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in (x) around 0
2.739 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in x
2.739 * [taylor]: Taking taylor expansion of (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) in x
2.739 * [taylor]: Taking taylor expansion of (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) in x
2.739 * [taylor]: Taking taylor expansion of 0.75 in x
2.739 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x
2.739 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.739 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.739 * [taylor]: Taking taylor expansion of 2.0 in x
2.739 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.739 * [taylor]: Taking taylor expansion of x in x
2.739 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x
2.739 * [taylor]: Taking taylor expansion of 0.75 in x
2.739 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x
2.739 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.739 * [taylor]: Taking taylor expansion of 2.0 in x
2.739 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.739 * [taylor]: Taking taylor expansion of x in x
2.740 * [taylor]: Taking taylor expansion of (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) in x
2.740 * [taylor]: Taking taylor expansion of 3/2 in x
2.740 * [taylor]: Taking taylor expansion of (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) in x
2.740 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x
2.740 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.740 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.740 * [taylor]: Taking taylor expansion of 2.0 in x
2.740 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.740 * [taylor]: Taking taylor expansion of x in x
2.740 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
2.740 * [taylor]: Taking taylor expansion of 2.0 in x
2.743 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) in x
2.744 * [taylor]: Taking taylor expansion of (+ (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) (* 0.75 (* (log 2.0) (pow x 2)))) in x
2.744 * [taylor]: Taking taylor expansion of (* 0.75 (* (pow (log 2.0) 2) (pow x 2))) in x
2.744 * [taylor]: Taking taylor expansion of 0.75 in x
2.744 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x
2.744 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.744 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.744 * [taylor]: Taking taylor expansion of 2.0 in x
2.744 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.744 * [taylor]: Taking taylor expansion of x in x
2.744 * [taylor]: Taking taylor expansion of (* 0.75 (* (log 2.0) (pow x 2))) in x
2.744 * [taylor]: Taking taylor expansion of 0.75 in x
2.744 * [taylor]: Taking taylor expansion of (* (log 2.0) (pow x 2)) in x
2.744 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.744 * [taylor]: Taking taylor expansion of 2.0 in x
2.744 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.744 * [taylor]: Taking taylor expansion of x in x
2.744 * [taylor]: Taking taylor expansion of (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) in x
2.744 * [taylor]: Taking taylor expansion of 3/2 in x
2.744 * [taylor]: Taking taylor expansion of (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)) in x
2.744 * [taylor]: Taking taylor expansion of (* (pow (log 2.0) 2) (pow x 2)) in x
2.744 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.744 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.744 * [taylor]: Taking taylor expansion of 2.0 in x
2.745 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.745 * [taylor]: Taking taylor expansion of x in x
2.745 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
2.745 * [taylor]: Taking taylor expansion of 2.0 in x
2.945 * [approximate]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in (x) around 0
2.945 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x
2.945 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x
2.945 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x
2.945 * [taylor]: Taking taylor expansion of 0.75 in x
2.945 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x
2.945 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.945 * [taylor]: Taking taylor expansion of 2.0 in x
2.945 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.945 * [taylor]: Taking taylor expansion of x in x
2.946 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x
2.946 * [taylor]: Taking taylor expansion of 0.75 in x
2.946 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x
2.946 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.946 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.946 * [taylor]: Taking taylor expansion of 2.0 in x
2.947 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.947 * [taylor]: Taking taylor expansion of x in x
2.949 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x
2.949 * [taylor]: Taking taylor expansion of 3/2 in x
2.949 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x
2.949 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.949 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.949 * [taylor]: Taking taylor expansion of 2.0 in x
2.949 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
2.949 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.949 * [taylor]: Taking taylor expansion of x in x
2.949 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
2.949 * [taylor]: Taking taylor expansion of 2.0 in x
2.952 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x
2.952 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x
2.952 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x
2.952 * [taylor]: Taking taylor expansion of 0.75 in x
2.952 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x
2.952 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.952 * [taylor]: Taking taylor expansion of 2.0 in x
2.953 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.953 * [taylor]: Taking taylor expansion of x in x
2.954 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x
2.954 * [taylor]: Taking taylor expansion of 0.75 in x
2.954 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x
2.954 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.954 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.954 * [taylor]: Taking taylor expansion of 2.0 in x
2.954 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.954 * [taylor]: Taking taylor expansion of x in x
2.956 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x
2.956 * [taylor]: Taking taylor expansion of 3/2 in x
2.956 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x
2.956 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
2.956 * [taylor]: Taking taylor expansion of (log 2.0) in x
2.956 * [taylor]: Taking taylor expansion of 2.0 in x
2.957 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
2.957 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.957 * [taylor]: Taking taylor expansion of x in x
2.957 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
2.957 * [taylor]: Taking taylor expansion of 2.0 in x
3.158 * [approximate]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in (x) around 0
3.158 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x
3.158 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x
3.158 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x
3.158 * [taylor]: Taking taylor expansion of 0.75 in x
3.158 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x
3.158 * [taylor]: Taking taylor expansion of (log 2.0) in x
3.158 * [taylor]: Taking taylor expansion of 2.0 in x
3.159 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.159 * [taylor]: Taking taylor expansion of x in x
3.160 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x
3.160 * [taylor]: Taking taylor expansion of 0.75 in x
3.160 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x
3.160 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
3.160 * [taylor]: Taking taylor expansion of (log 2.0) in x
3.160 * [taylor]: Taking taylor expansion of 2.0 in x
3.160 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.160 * [taylor]: Taking taylor expansion of x in x
3.162 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x
3.162 * [taylor]: Taking taylor expansion of 3/2 in x
3.162 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x
3.162 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
3.162 * [taylor]: Taking taylor expansion of (log 2.0) in x
3.162 * [taylor]: Taking taylor expansion of 2.0 in x
3.163 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
3.163 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.163 * [taylor]: Taking taylor expansion of x in x
3.163 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
3.163 * [taylor]: Taking taylor expansion of 2.0 in x
3.166 * [taylor]: Taking taylor expansion of (- (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))))) in x
3.166 * [taylor]: Taking taylor expansion of (+ (* 0.75 (/ (log 2.0) (pow x 2))) (* 0.75 (/ (pow (log 2.0) 2) (pow x 2)))) in x
3.166 * [taylor]: Taking taylor expansion of (* 0.75 (/ (log 2.0) (pow x 2))) in x
3.166 * [taylor]: Taking taylor expansion of 0.75 in x
3.166 * [taylor]: Taking taylor expansion of (/ (log 2.0) (pow x 2)) in x
3.166 * [taylor]: Taking taylor expansion of (log 2.0) in x
3.166 * [taylor]: Taking taylor expansion of 2.0 in x
3.166 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.166 * [taylor]: Taking taylor expansion of x in x
3.167 * [taylor]: Taking taylor expansion of (* 0.75 (/ (pow (log 2.0) 2) (pow x 2))) in x
3.167 * [taylor]: Taking taylor expansion of 0.75 in x
3.167 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (pow x 2)) in x
3.167 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
3.167 * [taylor]: Taking taylor expansion of (log 2.0) in x
3.167 * [taylor]: Taking taylor expansion of 2.0 in x
3.167 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.167 * [taylor]: Taking taylor expansion of x in x
3.171 * [taylor]: Taking taylor expansion of (* 3/2 (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2)))) in x
3.171 * [taylor]: Taking taylor expansion of 3/2 in x
3.171 * [taylor]: Taking taylor expansion of (/ (pow (log 2.0) 2) (* (pow x 2) (pow 2.0 2))) in x
3.171 * [taylor]: Taking taylor expansion of (pow (log 2.0) 2) in x
3.171 * [taylor]: Taking taylor expansion of (log 2.0) in x
3.171 * [taylor]: Taking taylor expansion of 2.0 in x
3.171 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow 2.0 2)) in x
3.171 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.171 * [taylor]: Taking taylor expansion of x in x
3.171 * [taylor]: Taking taylor expansion of (pow 2.0 2) in x
3.171 * [taylor]: Taking taylor expansion of 2.0 in x
3.369 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 2 1 1)
3.369 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 2 2)
3.369 * * * [progress]: simplifying candidates
3.371 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (exp (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (cbrt (* (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (cbrt 1)
  (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (pow (* x 1.5) 3) (pow (log 2.0) 3))) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2))) (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (- (* (* (* 0.75 (pow x 2)) (+ (pow (log 2.0) 3) (pow (pow (log 2.0) 2) 3))) (pow 2.0 2)) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))))))
  (cbrt (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (pow (* x 1.5) 3) (pow (log 2.0) 3))) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))) (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (- (* (* (* 0.75 (pow x 2)) (- (* (log 2.0) (log 2.0)) (* (pow (log 2.0) 2) (pow (log 2.0) 2)))) (pow 2.0 2)) (* (- (log 2.0) (pow (log 2.0) 2)) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))))))
  (cbrt (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (pow (* x 1.5) 3) (pow (log 2.0) 3))) (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (- (pow (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) 3) (pow (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) 3)))))
  (cbrt (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (pow (* x 1.5) 3) (pow (log 2.0) 3))) (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (- (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (- (* (* x 1.5) (* x 1.5)) (* (log 2.0) (log 2.0)))) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2))) (* (- (* x 1.5) (log 2.0)) (- (* (* (* 0.75 (pow x 2)) (+ (pow (log 2.0) 3) (pow (pow (log 2.0) 2) 3))) (pow 2.0 2)) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))))))
  (cbrt (* (- (* x 1.5) (log 2.0)) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (- (* (* x 1.5) (* x 1.5)) (* (log 2.0) (log 2.0)))) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))) (* (- (* x 1.5) (log 2.0)) (- (* (* (* 0.75 (pow x 2)) (- (* (log 2.0) (log 2.0)) (* (pow (log 2.0) 2) (pow (log 2.0) 2)))) (pow 2.0 2)) (* (- (log 2.0) (pow (log 2.0) 2)) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))))))
  (cbrt (* (- (* x 1.5) (log 2.0)) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (- (* (* x 1.5) (* x 1.5)) (* (log 2.0) (log 2.0)))) (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (* (- (* x 1.5) (log 2.0)) (- (pow (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) 3) (pow (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) 3)))))
  (cbrt (* (- (* x 1.5) (log 2.0)) (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (- (* (* x 1.5) (* x 1.5)) (* (log 2.0) (log 2.0)))) (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (- (* x 1.5) (log 2.0)) (- (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (* (- (* x 1.5) (log 2.0)) (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (cbrt (+ (pow (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) 3) (pow (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 3)))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0)))) (- (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (- (* (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0)))) (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (cbrt (- (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (* (cbrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (* (* (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (sqrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (sqrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (/ (exp (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (exp (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (log (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (exp (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (* (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (* (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (sqrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (sqrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (- (* (* (* 0.75 (pow x 2)) (+ (pow (log 2.0) 3) (pow (pow (log 2.0) 2) 3))) (pow 2.0 2)) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (* 3/2 (* (pow (log 2.0) 2) (pow x 2)))))
  (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2))
  (- (* (* (* 0.75 (pow x 2)) (- (* (log 2.0) (log 2.0)) (* (pow (log 2.0) 2) (pow (log 2.0) 2)))) (pow 2.0 2)) (* (- (log 2.0) (pow (log 2.0) 2)) (* 3/2 (* (pow (log 2.0) 2) (pow x 2)))))
  (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))
  (- (pow (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) 3) (pow (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) 3))
  (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (- (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (- (* (* 0.75 (pow x 2)) (pow (log 2.0) 2)) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (- (* (pow (log 2.0) 2) (* 0.75 (pow x 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (* (log (log 2.0)) 2)
  (* (log (log 2.0)) 2)
  (* 1 2)
  (pow (log 2.0) (* (cbrt 2) (cbrt 2)))
  (pow (log 2.0) (sqrt 2))
  (pow (log 2.0) 1)
  (pow 1 2)
  (pow (log 2.0) 2)
  (pow (* (cbrt (log 2.0)) (cbrt (log 2.0))) 2)
  (pow (cbrt (log 2.0)) 2)
  (pow (sqrt (log 2.0)) 2)
  (pow (sqrt (log 2.0)) 2)
  (pow 1 2)
  (pow (log 2.0) 2)
  (log (pow (log 2.0) 2))
  (exp (pow (log 2.0) 2))
  (* (cbrt (pow (log 2.0) 2)) (cbrt (pow (log 2.0) 2)))
  (cbrt (pow (log 2.0) 2))
  (* (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (pow (log 2.0) 2))
  (sqrt (pow (log 2.0) 2))
  (sqrt (pow (log 2.0) 2))
  (pow (log 2.0) (/ 2 2))
  (pow (log 2.0) (/ 2 2))
  (* (log (log 2.0)) 2)
  (* (log (log 2.0)) 2)
  (* 1 2)
  (pow (log 2.0) (* (cbrt 2) (cbrt 2)))
  (pow (log 2.0) (sqrt 2))
  (pow (log 2.0) 1)
  (pow 1 2)
  (pow (log 2.0) 2)
  (pow (* (cbrt (log 2.0)) (cbrt (log 2.0))) 2)
  (pow (cbrt (log 2.0)) 2)
  (pow (sqrt (log 2.0)) 2)
  (pow (sqrt (log 2.0)) 2)
  (pow 1 2)
  (pow (log 2.0) 2)
  (log (pow (log 2.0) 2))
  (exp (pow (log 2.0) 2))
  (* (cbrt (pow (log 2.0) 2)) (cbrt (pow (log 2.0) 2)))
  (cbrt (pow (log 2.0) 2))
  (* (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (pow (log 2.0) 2))
  (sqrt (pow (log 2.0) 2))
  (sqrt (pow (log 2.0) 2))
  (pow (log 2.0) (/ 2 2))
  (pow (log 2.0) (/ 2 2))
  (+ (* 0.125 (pow x 2)) (+ (* 0.5 x) (pow (pow (log 2.0) 3) 1/3)))
  (- (+ (* 1/3 (/ (* (pow (log 2.0) 3) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (+ (* 0.5 (/ (* (pow (log 2.0) 2) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x)))))))) (* 0.25 (/ (* (pow (log 2.0) 4) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2)))))
  (- (+ (* 1/3 (/ (* (pow (log 2.0) 3) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (+ (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x)))))) (* 0.5 (/ (* (pow (log 2.0) 2) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (* 0.25 (/ (* (pow (log 2.0) 4) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2)))))
  (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))
  (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))
  (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))
  (- (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* x y))
  (- (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* x y))
3.382 * * [simplify]: iteration  0 :  723  enodes  (cost  2074 )
3.397 * * [simplify]: iteration  1 :  3707  enodes  (cost  2003 )
3.472 * * [simplify]: iteration  2 :  5001  enodes  (cost  2000 )
3.480 * [simplify]: Simplified to:
   (log (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (exp (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (cbrt (* (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  1
  (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (pow (* x 1.5) 3) (pow (log 2.0) 3))) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2))) (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (- (* (* (* 0.75 (pow x 2)) (+ (pow (log 2.0) 3) (pow (pow (log 2.0) 2) 3))) (pow 2.0 2)) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))))))
  (cbrt (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (pow (* x 1.5) 3) (pow (log 2.0) 3))) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))) (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (- (* (* (* 0.75 (pow x 2)) (- (* (log 2.0) (log 2.0)) (* (pow (log 2.0) 2) (pow (log 2.0) 2)))) (pow 2.0 2)) (* (- (log 2.0) (pow (log 2.0) 2)) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))))))
  (cbrt (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (pow (* x 1.5) 3) (pow (log 2.0) 3))) (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (- (pow (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) 3) (pow (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) 3)))))
  (cbrt (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (pow (* x 1.5) 3) (pow (log 2.0) 3))) (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (- (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (* (+ (* (* x 1.5) (* x 1.5)) (- (* (log 2.0) (log 2.0)) (* (* x 1.5) (log 2.0)))) (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (- (* (* x 1.5) (* x 1.5)) (* (log 2.0) (log 2.0)))) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2))) (* (- (* x 1.5) (log 2.0)) (- (* (* (* 0.75 (pow x 2)) (+ (pow (log 2.0) 3) (pow (pow (log 2.0) 2) 3))) (pow 2.0 2)) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))))))
  (cbrt (* (- (* x 1.5) (log 2.0)) (* (+ (* (log 2.0) (log 2.0)) (- (* (pow (log 2.0) 2) (pow (log 2.0) 2)) (* (log 2.0) (pow (log 2.0) 2)))) (pow 2.0 2))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (- (* (* x 1.5) (* x 1.5)) (* (log 2.0) (log 2.0)))) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))) (* (- (* x 1.5) (log 2.0)) (- (* (* (* 0.75 (pow x 2)) (- (* (log 2.0) (log 2.0)) (* (pow (log 2.0) 2) (pow (log 2.0) 2)))) (pow 2.0 2)) (* (- (log 2.0) (pow (log 2.0) 2)) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))))))
  (cbrt (* (- (* x 1.5) (log 2.0)) (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (- (* (* x 1.5) (* x 1.5)) (* (log 2.0) (log 2.0)))) (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (* (- (* x 1.5) (log 2.0)) (- (pow (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) 3) (pow (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) 3)))))
  (cbrt (* (- (* x 1.5) (log 2.0)) (+ (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (+ (* (* (pow (log 2.0) 2) (- (* (* x 1.5) (* x 1.5)) (* (log 2.0) (log 2.0)))) (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (- (* x 1.5) (log 2.0)) (- (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (* (- (* x 1.5) (log 2.0)) (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (cbrt (+ (pow (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) 3) (pow (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 3)))
  (cbrt (+ (* (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0)))) (- (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (* (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (- (* (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0)))) (* (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (cbrt (- (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (* (cbrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))))
  (cbrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (sqrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (sqrt (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))
  (exp (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (log (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (exp (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (* (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))) (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))
  (cbrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (pow (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))) 3)
  (sqrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (sqrt (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (+ (* (* (* 0.75 (pow x 2)) (+ (pow (log 2.0) 3) (pow (pow (log 2.0) 2) 3))) (pow 2.0 2)) (- (* (* (- (+ (pow (log 2.0) 2) (pow (log 2.0) 4)) (pow (log 2.0) 3)) 3/2) (* (pow (log 2.0) 2) (pow x 2)))))
  (* (pow 2.0 2) (- (+ (pow (log 2.0) 2) (pow (log 2.0) 4)) (pow (log 2.0) 3)))
  (+ (- (* (- (log 2.0) (pow (log 2.0) 2)) (* 3/2 (* (pow (log 2.0) 2) (pow x 2))))) (* (pow 2.0 2) (* (+ (pow (log 2.0) 2) (- (pow (log 2.0) 4))) (* 0.75 (pow x 2)))))
  (* (- (log 2.0) (pow (log 2.0) 2)) (pow 2.0 2))
  (- (pow (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) 3) (pow (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) 3))
  (+ (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (+ (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))))) (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))))
  (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (- (* (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2)))) (* (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))
  (+ (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (- (* (pow (log 2.0) 2) (* 0.75 (pow x 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (- (* (pow (log 2.0) 2) (* 0.75 (pow x 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (- (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))
  (log (pow (log 2.0) 2))
  (log (pow (log 2.0) 2))
  2
  (pow (log 2.0) (* (cbrt 2) (cbrt 2)))
  (pow (log 2.0) (sqrt 2))
  (log 2.0)
  1
  (pow (log 2.0) 2)
  (pow (cbrt (log 2.0)) 4)
  (pow (cbrt (log 2.0)) 2)
  (log 2.0)
  (log 2.0)
  1
  (pow (log 2.0) 2)
  (log (pow (log 2.0) 2))
  (pow 2.0 (log 2.0))
  (* (cbrt (pow (log 2.0) 2)) (cbrt (pow (log 2.0) 2)))
  (cbrt (pow (log 2.0) 2))
  (pow (pow (log 2.0) 2) 3)
  (fabs (log 2.0))
  (fabs (log 2.0))
  (log 2.0)
  (log 2.0)
  (log (pow (log 2.0) 2))
  (log (pow (log 2.0) 2))
  2
  (pow (log 2.0) (* (cbrt 2) (cbrt 2)))
  (pow (log 2.0) (sqrt 2))
  (log 2.0)
  1
  (pow (log 2.0) 2)
  (pow (cbrt (log 2.0)) 4)
  (pow (cbrt (log 2.0)) 2)
  (log 2.0)
  (log 2.0)
  1
  (pow (log 2.0) 2)
  (log (pow (log 2.0) 2))
  (pow 2.0 (log 2.0))
  (* (cbrt (pow (log 2.0) 2)) (cbrt (pow (log 2.0) 2)))
  (cbrt (pow (log 2.0) 2))
  (pow (pow (log 2.0) 2) 3)
  (fabs (log 2.0))
  (fabs (log 2.0))
  (log 2.0)
  (log 2.0)
  (+ (+ (* 0.125 (pow x 2)) (log 2.0)) (* 0.5 x))
  (- (+ (* 1/3 (/ (* (pow (log 2.0) 3) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (+ (* 0.5 (/ (* (pow (log 2.0) 2) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x)))))))) (* 0.25 (/ (* (pow (log 2.0) 4) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ 1 x))))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2)))))
  (- (+ (* 1/3 (/ (* (pow (log 2.0) 3) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))) (+ (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x)))))) (* 0.5 (/ (* (pow (log 2.0) 2) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* x (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))))))) (* 0.25 (/ (* (pow (log 2.0) 4) (exp (* 1/3 (- (log (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2)))) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))) 2)))))
  (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))
  (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))
  (* (pow x 2) (+ (* 0.75 (log 2.0)) (* 0.375 (pow (log 2.0) 2))))
  (- (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* x y))
  (- (cbrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))) (* x y))
3.481 * * * [progress]: adding candidates to table
4.038 * [progress]: [Phase 3 of 3] Extracting.
4.038 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (* (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))) (* x y)))> #<alt (λ (x y) (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))>)
4.040 * * * [regime-changes]: Trying 2 branch expressions: (y x)
4.040 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (* (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))) (* x y)))> #<alt (λ (x y) (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))>)
4.055 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (* (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2))))))) (cbrt (sqrt (+ (* (pow (log 2.0) 2) (+ (* x 1.5) (log 2.0))) (- (* (* 0.75 (pow x 2)) (+ (log 2.0) (pow (log 2.0) 2))) (* 3/2 (/ (* (pow (log 2.0) 2) (pow x 2)) (pow 2.0 2)))))))) (* x y)))> #<alt (λ (x y) (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y)))>)
4.073 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
4.074 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y))
4.074 * * [simplify]: iteration  0 :  13  enodes  (cost  7 )
4.074 * * [simplify]: iteration  1 :  13  enodes  (cost  7 )
4.075 * [simplify]: Simplified to:
   (- (cbrt (pow (log (+ 1.0 (exp x))) 3)) (* x y))
5.972 * [regime-testing]: Baseline error score: 0.5069464557725311
5.973 * [regime-testing]: Oracle error score: 0.2719816787332065
5.974 * [regime-testing]: End program error score: 0.5069464557725311
6.026 * [regime-testing]: Target error score: 0.07498098723010231