9.709 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.110 * * * [progress]: [2/2] Setting up program.
0.112 * [progress]: [Phase 2 of 3] Improving.
0.112 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 1.0 2.0) (log (/ (+ 1.0 x) (- 1.0 x))))
0.306 * * [simplify]: iteration  0 :  4889  enodes  (cost  12 )
0.306 * * [simplify]: iteration  1 :  4889  enodes  (cost  12 )
0.306 * [simplify]: Simplified to:
   (* 1.0 (/ (log (/ (+ 1.0 x) (- 1.0 x))) 2.0))
0.309 * * [progress]: iteration 1 / 4
0.309 * * * [progress]: picking best candidate
0.311 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 2.0) (log (/ (+ 1.0 x) (- 1.0 x)))))>
0.311 * * * [progress]: localizing error
0.318 * * * [progress]: generating rewritten candidates
0.318 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.325 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1)
0.336 * * * [progress]: generating series expansions
0.336 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.336 * [approximate]: Taking taylor expansion of (log (/ (+ x 1.0) (- 1.0 x))) in (x) around 0
0.336 * [taylor]: Taking taylor expansion of (log (/ (+ x 1.0) (- 1.0 x))) in x
0.336 * [taylor]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in x
0.336 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of 1.0 in x
0.336 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.336 * [taylor]: Taking taylor expansion of 1.0 in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (log (/ (+ x 1.0) (- 1.0 x))) in x
0.336 * [taylor]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in x
0.336 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of 1.0 in x
0.336 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.336 * [taylor]: Taking taylor expansion of 1.0 in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.337 * [approximate]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x)))) in (x) around 0
0.337 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x)))) in x
0.337 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x
0.337 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.337 * [taylor]: Taking taylor expansion of 1.0 in x
0.337 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.337 * [taylor]: Taking taylor expansion of 1.0 in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.337 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x)))) in x
0.337 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x
0.337 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.338 * [taylor]: Taking taylor expansion of 1.0 in x
0.338 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.338 * [taylor]: Taking taylor expansion of 1.0 in x
0.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.338 * [taylor]: Taking taylor expansion of x in x
0.339 * [approximate]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))) in (x) around 0
0.339 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))) in x
0.339 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
0.339 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.339 * [taylor]: Taking taylor expansion of 1.0 in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of 1.0 in x
0.339 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0))) in x
0.339 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
0.339 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.339 * [taylor]: Taking taylor expansion of 1.0 in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.339 * [taylor]: Taking taylor expansion of x in x
0.339 * [taylor]: Taking taylor expansion of 1.0 in x
0.341 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1)
0.341 * [approximate]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in (x) around 0
0.341 * [taylor]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in x
0.341 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of 1.0 in x
0.341 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.341 * [taylor]: Taking taylor expansion of 1.0 in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of (/ (+ x 1.0) (- 1.0 x)) in x
0.341 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of 1.0 in x
0.341 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
0.341 * [taylor]: Taking taylor expansion of 1.0 in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in (x) around 0
0.341 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x
0.341 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.341 * [taylor]: Taking taylor expansion of x in x
0.341 * [taylor]: Taking taylor expansion of 1.0 in x
0.342 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.342 * [taylor]: Taking taylor expansion of 1.0 in x
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.342 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) (- 1.0 (/ 1 x))) in x
0.342 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.342 * [taylor]: Taking taylor expansion of 1.0 in x
0.342 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.342 * [taylor]: Taking taylor expansion of 1.0 in x
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.342 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in (x) around 0
0.342 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
0.342 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.342 * [taylor]: Taking taylor expansion of 1.0 in x
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.342 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.342 * [taylor]: Taking taylor expansion of x in x
0.342 * [taylor]: Taking taylor expansion of 1.0 in x
0.343 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) (+ (/ 1 x) 1.0)) in x
0.343 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.343 * [taylor]: Taking taylor expansion of 1.0 in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
0.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.343 * [taylor]: Taking taylor expansion of x in x
0.343 * [taylor]: Taking taylor expansion of 1.0 in x
0.343 * * * [progress]: simplifying candidates
0.344 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (/ (+ 1.0 x) (- 1.0 x))) (cbrt (/ (+ 1.0 x) (- 1.0 x)))))
  (log (cbrt (/ (+ 1.0 x) (- 1.0 x))))
  (log (sqrt (/ (+ 1.0 x) (- 1.0 x))))
  (log (sqrt (/ (+ 1.0 x) (- 1.0 x))))
  (log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (log (/ (cbrt (+ 1.0 x)) (cbrt (- 1.0 x))))
  (log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (sqrt (- 1.0 x))))
  (log (/ (cbrt (+ 1.0 x)) (sqrt (- 1.0 x))))
  (log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) 1))
  (log (/ (cbrt (+ 1.0 x)) (- 1.0 x)))
  (log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x))))
  (log (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x))))
  (log (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) 1))
  (log (/ (cbrt (+ 1.0 x)) (- 1.0 x)))
  (log (/ (sqrt (+ 1.0 x)) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (log (/ (sqrt (+ 1.0 x)) (cbrt (- 1.0 x))))
  (log (/ (sqrt (+ 1.0 x)) (sqrt (- 1.0 x))))
  (log (/ (sqrt (+ 1.0 x)) (sqrt (- 1.0 x))))
  (log (/ (sqrt (+ 1.0 x)) 1))
  (log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
  (log (/ (sqrt (+ 1.0 x)) (+ (sqrt 1.0) (sqrt x))))
  (log (/ (sqrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x))))
  (log (/ (sqrt (+ 1.0 x)) 1))
  (log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
  (log (/ 1 (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (log (/ (+ 1.0 x) (cbrt (- 1.0 x))))
  (log (/ 1 (sqrt (- 1.0 x))))
  (log (/ (+ 1.0 x) (sqrt (- 1.0 x))))
  (log (/ 1 1))
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log (/ 1 (+ (sqrt 1.0) (sqrt x))))
  (log (/ (+ 1.0 x) (- (sqrt 1.0) (sqrt x))))
  (log (/ 1 1))
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log (/ 1 (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (log (/ (+ 1.0 x) (cbrt (- 1.0 x))))
  (log (/ 1 (sqrt (- 1.0 x))))
  (log (/ (+ 1.0 x) (sqrt (- 1.0 x))))
  (log (/ 1 1))
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log (/ 1 (+ (sqrt 1.0) (sqrt x))))
  (log (/ (+ 1.0 x) (- (sqrt 1.0) (sqrt x))))
  (log (/ 1 1))
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log 1)
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log (+ 1.0 x))
  (log (/ 1 (- 1.0 x)))
  (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
  (log (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))
  (log (/ (+ 1.0 x) (- (* 1.0 1.0) (* x x))))
  (log (+ 1.0 x))
  (log (+ 1.0 x))
  (log (- 1.0 x))
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log (log (/ (+ 1.0 x) (- 1.0 x))))
  (exp (log (/ (+ 1.0 x) (- 1.0 x))))
  (* (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))))
  (cbrt (log (/ (+ 1.0 x) (- 1.0 x))))
  (* (* (log (/ (+ 1.0 x) (- 1.0 x))) (log (/ (+ 1.0 x) (- 1.0 x)))) (log (/ (+ 1.0 x) (- 1.0 x))))
  (sqrt (log (/ (+ 1.0 x) (- 1.0 x))))
  (sqrt (log (/ (+ 1.0 x) (- 1.0 x))))
  (- (log (+ 1.0 x)) (log (- 1.0 x)))
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (exp (/ (+ 1.0 x) (- 1.0 x)))
  (/ (* (* (+ 1.0 x) (+ 1.0 x)) (+ 1.0 x)) (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)))
  (* (cbrt (/ (+ 1.0 x) (- 1.0 x))) (cbrt (/ (+ 1.0 x) (- 1.0 x))))
  (cbrt (/ (+ 1.0 x) (- 1.0 x)))
  (* (* (/ (+ 1.0 x) (- 1.0 x)) (/ (+ 1.0 x) (- 1.0 x))) (/ (+ 1.0 x) (- 1.0 x)))
  (sqrt (/ (+ 1.0 x) (- 1.0 x)))
  (sqrt (/ (+ 1.0 x) (- 1.0 x)))
  (neg (+ 1.0 x))
  (neg (- 1.0 x))
  (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (/ (cbrt (+ 1.0 x)) (cbrt (- 1.0 x)))
  (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (sqrt (- 1.0 x)))
  (/ (cbrt (+ 1.0 x)) (sqrt (- 1.0 x)))
  (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) 1)
  (/ (cbrt (+ 1.0 x)) (- 1.0 x))
  (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) (+ (sqrt 1.0) (sqrt x)))
  (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x)))
  (/ (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x))) 1)
  (/ (cbrt (+ 1.0 x)) (- 1.0 x))
  (/ (sqrt (+ 1.0 x)) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (/ (sqrt (+ 1.0 x)) (cbrt (- 1.0 x)))
  (/ (sqrt (+ 1.0 x)) (sqrt (- 1.0 x)))
  (/ (sqrt (+ 1.0 x)) (sqrt (- 1.0 x)))
  (/ (sqrt (+ 1.0 x)) 1)
  (/ (sqrt (+ 1.0 x)) (- 1.0 x))
  (/ (sqrt (+ 1.0 x)) (+ (sqrt 1.0) (sqrt x)))
  (/ (sqrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x)))
  (/ (sqrt (+ 1.0 x)) 1)
  (/ (sqrt (+ 1.0 x)) (- 1.0 x))
  (/ 1 (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (/ (+ 1.0 x) (cbrt (- 1.0 x)))
  (/ 1 (sqrt (- 1.0 x)))
  (/ (+ 1.0 x) (sqrt (- 1.0 x)))
  (/ 1 1)
  (/ (+ 1.0 x) (- 1.0 x))
  (/ 1 (+ (sqrt 1.0) (sqrt x)))
  (/ (+ 1.0 x) (- (sqrt 1.0) (sqrt x)))
  (/ 1 1)
  (/ (+ 1.0 x) (- 1.0 x))
  (/ 1 (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (/ (+ 1.0 x) (cbrt (- 1.0 x)))
  (/ 1 (sqrt (- 1.0 x)))
  (/ (+ 1.0 x) (sqrt (- 1.0 x)))
  (/ 1 1)
  (/ (+ 1.0 x) (- 1.0 x))
  (/ 1 (+ (sqrt 1.0) (sqrt x)))
  (/ (+ 1.0 x) (- (sqrt 1.0) (sqrt x)))
  (/ 1 1)
  (/ (+ 1.0 x) (- 1.0 x))
  (/ 1 (- 1.0 x))
  (/ (- 1.0 x) (+ 1.0 x))
  (/ (+ 1.0 x) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (/ (+ 1.0 x) (sqrt (- 1.0 x)))
  (/ (+ 1.0 x) 1)
  (/ (+ 1.0 x) (+ (sqrt 1.0) (sqrt x)))
  (/ (+ 1.0 x) 1)
  (/ (- 1.0 x) (cbrt (+ 1.0 x)))
  (/ (- 1.0 x) (sqrt (+ 1.0 x)))
  (/ (- 1.0 x) (+ 1.0 x))
  (/ (- 1.0 x) (+ 1.0 x))
  (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))
  (/ (+ 1.0 x) (- (* 1.0 1.0) (* x x)))
  (* (- 1.0 x) (+ (* 1.0 1.0) (- (* x x) (* 1.0 x))))
  (* (- 1.0 x) (- 1.0 x))
  (- (+ (* 2.0 (pow x 2)) (+ (* 2.0 x) (log 1.0))) (* 2.0 (/ (pow x 2) (pow 1.0 2))))
  (+ (log -1) (+ (* 2.0 (/ 1 x)) (* 0.6666666666666666 (/ 1 (pow x 3)))))
  (+ (log -1) (+ (* 2.0 (/ 1 x)) (* 0.6666666666666666 (/ 1 (pow x 3)))))
  (+ (* 2.0 (pow x 2)) (+ (* 2.0 x) 1.0))
  (neg (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 2.0 (/ 1 x)) 1)))
  (neg (+ (* 2.0 (/ 1 (pow x 2))) (+ (* 2.0 (/ 1 x)) 1)))
0.386 * * [simplify]: iteration  0 :  5006  enodes  (cost  1111 )
0.393 * [simplify]: Simplified to:
   (* (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))) 2)
  (log (cbrt (/ (+ 1.0 x) (- 1.0 x))))
  (log (sqrt (/ (+ 1.0 x) (- 1.0 x))))
  (log (sqrt (/ (+ 1.0 x) (- 1.0 x))))
  (* 2 (log (/ (cbrt (+ 1.0 x)) (cbrt (- 1.0 x)))))
  (log (/ (cbrt (+ 1.0 x)) (cbrt (- 1.0 x))))
  (- (* 2 (log (cbrt (+ 1.0 x)))) (log (sqrt (- 1.0 x))))
  (log (/ (cbrt (+ 1.0 x)) (sqrt (- 1.0 x))))
  (* 2 (log (cbrt (+ 1.0 x))))
  (log (/ (cbrt (+ 1.0 x)) (- 1.0 x)))
  (- (* 2 (log (cbrt (+ 1.0 x)))) (log (+ (sqrt 1.0) (sqrt x))))
  (log (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x))))
  (* 2 (log (cbrt (+ 1.0 x))))
  (log (/ (cbrt (+ 1.0 x)) (- 1.0 x)))
  (+ (log (sqrt (+ 1.0 x))) (* -2 (log (cbrt (- 1.0 x)))))
  (log (/ (sqrt (+ 1.0 x)) (cbrt (- 1.0 x))))
  (log (/ (sqrt (+ 1.0 x)) (sqrt (- 1.0 x))))
  (log (/ (sqrt (+ 1.0 x)) (sqrt (- 1.0 x))))
  (log (sqrt (+ 1.0 x)))
  (log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
  (log (/ (sqrt (+ 1.0 x)) (+ (sqrt 1.0) (sqrt x))))
  (log (/ (sqrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x))))
  (log (sqrt (+ 1.0 x)))
  (log (/ (sqrt (+ 1.0 x)) (- 1.0 x)))
  (* -2 (log (cbrt (- 1.0 x))))
  (log (/ (+ 1.0 x) (cbrt (- 1.0 x))))
  (neg (log (sqrt (- 1.0 x))))
  (log (/ (+ 1.0 x) (sqrt (- 1.0 x))))
  (log 1)
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (neg (log (+ (sqrt 1.0) (sqrt x))))
  (log (/ (+ 1.0 x) (- (sqrt 1.0) (sqrt x))))
  (log 1)
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (* -2 (log (cbrt (- 1.0 x))))
  (log (/ (+ 1.0 x) (cbrt (- 1.0 x))))
  (neg (log (sqrt (- 1.0 x))))
  (log (/ (+ 1.0 x) (sqrt (- 1.0 x))))
  (log 1)
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (neg (log (+ (sqrt 1.0) (sqrt x))))
  (log (/ (+ 1.0 x) (- (sqrt 1.0) (sqrt x))))
  (log 1)
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log 1)
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log (+ 1.0 x))
  (neg (log (- 1.0 x)))
  (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3))))
  (log (+ (* 1.0 1.0) (* x (+ 1.0 x))))
  (neg (log (- 1.0 x)))
  (log (+ 1.0 x))
  (log (+ 1.0 x))
  (log (- 1.0 x))
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log (log (/ (+ 1.0 x) (- 1.0 x))))
  (/ (+ 1.0 x) (- 1.0 x))
  (* (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))))
  (cbrt (log (/ (+ 1.0 x) (- 1.0 x))))
  (pow (log (/ (+ 1.0 x) (- 1.0 x))) 3)
  (sqrt (log (/ (+ 1.0 x) (- 1.0 x))))
  (sqrt (log (/ (+ 1.0 x) (- 1.0 x))))
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (log (/ (+ 1.0 x) (- 1.0 x)))
  (exp (/ (+ 1.0 x) (- 1.0 x)))
  (pow (/ (+ 1.0 x) (- 1.0 x)) 3)
  (* (cbrt (/ (+ 1.0 x) (- 1.0 x))) (cbrt (/ (+ 1.0 x) (- 1.0 x))))
  (cbrt (/ (+ 1.0 x) (- 1.0 x)))
  (pow (/ (+ 1.0 x) (- 1.0 x)) 3)
  (sqrt (/ (+ 1.0 x) (- 1.0 x)))
  (sqrt (/ (+ 1.0 x) (- 1.0 x)))
  (- (neg x) 1.0)
  (- x 1.0)
  (* (cbrt (+ 1.0 x)) (/ (cbrt (+ 1.0 x)) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))))
  (/ (cbrt (+ 1.0 x)) (cbrt (- 1.0 x)))
  (* (cbrt (+ 1.0 x)) (/ (cbrt (+ 1.0 x)) (sqrt (- 1.0 x))))
  (/ (cbrt (+ 1.0 x)) (sqrt (- 1.0 x)))
  (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x)))
  (/ (cbrt (+ 1.0 x)) (- 1.0 x))
  (* (cbrt (+ 1.0 x)) (/ (cbrt (+ 1.0 x)) (+ (sqrt 1.0) (sqrt x))))
  (/ (cbrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x)))
  (* (cbrt (+ 1.0 x)) (cbrt (+ 1.0 x)))
  (/ (cbrt (+ 1.0 x)) (- 1.0 x))
  (/ (sqrt (+ 1.0 x)) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (/ (sqrt (+ 1.0 x)) (cbrt (- 1.0 x)))
  (/ (sqrt (+ 1.0 x)) (sqrt (- 1.0 x)))
  (/ (sqrt (+ 1.0 x)) (sqrt (- 1.0 x)))
  (sqrt (+ 1.0 x))
  (/ (sqrt (+ 1.0 x)) (- 1.0 x))
  (/ (sqrt (+ 1.0 x)) (+ (sqrt 1.0) (sqrt x)))
  (/ (sqrt (+ 1.0 x)) (- (sqrt 1.0) (sqrt x)))
  (sqrt (+ 1.0 x))
  (/ (sqrt (+ 1.0 x)) (- 1.0 x))
  (/ 1 (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (/ (+ 1.0 x) (cbrt (- 1.0 x)))
  (/ 1 (sqrt (- 1.0 x)))
  (/ (+ 1.0 x) (sqrt (- 1.0 x)))
  1
  (/ (+ 1.0 x) (- 1.0 x))
  (/ 1 (+ (sqrt 1.0) (sqrt x)))
  (/ (+ 1.0 x) (- (sqrt 1.0) (sqrt x)))
  1
  (/ (+ 1.0 x) (- 1.0 x))
  (/ 1 (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (/ (+ 1.0 x) (cbrt (- 1.0 x)))
  (/ 1 (sqrt (- 1.0 x)))
  (/ (+ 1.0 x) (sqrt (- 1.0 x)))
  1
  (/ (+ 1.0 x) (- 1.0 x))
  (/ 1 (+ (sqrt 1.0) (sqrt x)))
  (/ (+ 1.0 x) (- (sqrt 1.0) (sqrt x)))
  1
  (/ (+ 1.0 x) (- 1.0 x))
  (/ 1 (- 1.0 x))
  (/ (- 1.0 x) (+ 1.0 x))
  (/ (+ 1.0 x) (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x))))
  (/ (+ 1.0 x) (sqrt (- 1.0 x)))
  (+ 1.0 x)
  (/ (+ 1.0 x) (+ (sqrt 1.0) (sqrt x)))
  (+ 1.0 x)
  (/ (- 1.0 x) (cbrt (+ 1.0 x)))
  (/ (- 1.0 x) (sqrt (+ 1.0 x)))
  (/ (- 1.0 x) (+ 1.0 x))
  (/ (- 1.0 x) (+ 1.0 x))
  (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))
  (/ 1 (- 1.0 x))
  (* (- 1.0 x) (+ (* 1.0 1.0) (* x (- x 1.0))))
  (* (- 1.0 x) (- 1.0 x))
  (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))
  (+ (log -1) (+ (/ 2.0 x) (/ 0.6666666666666666 (pow x 3))))
  (+ (log -1) (+ (/ 2.0 x) (/ 0.6666666666666666 (pow x 3))))
  (+ 1.0 (* x (+ (* x 2.0) 2.0)))
  (+ -1 (* (/ -1 x) (+ 2.0 (/ 2.0 x))))
  (+ -1 (* (/ -1 x) (+ 2.0 (/ 2.0 x))))
0.393 * * * [progress]: adding candidates to table
0.525 * * [progress]: iteration 2 / 4
0.525 * * * [progress]: picking best candidate
0.546 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 2.0) (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))))>
0.546 * * * [progress]: localizing error
0.560 * * * [progress]: generating rewritten candidates
0.560 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.569 * * * [progress]: generating series expansions
0.569 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.569 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in (x) around 0
0.569 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.569 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.569 * [taylor]: Taking taylor expansion of 2.0 in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.569 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.569 * [taylor]: Taking taylor expansion of 1.0 in x
0.569 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.569 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.569 * [taylor]: Taking taylor expansion of 2.0 in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.569 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.569 * [taylor]: Taking taylor expansion of 1.0 in x
0.575 * [approximate]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in (x) around 0
0.575 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.575 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.575 * [taylor]: Taking taylor expansion of 1.0 in x
0.575 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.575 * [taylor]: Taking taylor expansion of 2.0 in x
0.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.575 * [taylor]: Taking taylor expansion of x in x
0.575 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.575 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.575 * [taylor]: Taking taylor expansion of 1.0 in x
0.575 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.575 * [taylor]: Taking taylor expansion of 2.0 in x
0.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.575 * [taylor]: Taking taylor expansion of x in x
0.579 * [approximate]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in (x) around 0
0.579 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.579 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.579 * [taylor]: Taking taylor expansion of 1.0 in x
0.580 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.580 * [taylor]: Taking taylor expansion of 2.0 in x
0.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.580 * [taylor]: Taking taylor expansion of x in x
0.580 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.580 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.580 * [taylor]: Taking taylor expansion of 1.0 in x
0.580 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.580 * [taylor]: Taking taylor expansion of 2.0 in x
0.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.580 * [taylor]: Taking taylor expansion of x in x
0.584 * * * [progress]: simplifying candidates
0.584 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* x (* x 2.0))) (* 1.0 (exp (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
  (* (exp (* x (* x 2.0))) (exp (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
  (log (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
  (exp (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
  (* (cbrt (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))) (cbrt (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))))
  (cbrt (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
  (* (* (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))) (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))) (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
  (sqrt (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
  (sqrt (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
  (+ (pow (* x (* x 2.0)) 3) (pow (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))) 3))
  (+ (* (* x (* x 2.0)) (* x (* x 2.0))) (- (* (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))) (* (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))))
  (- (* (* x (* x 2.0)) (* x (* x 2.0))) (* (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
  (- (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))
  (+ (* x (* x 2.0)) (log 1.0))
  (+ (* 2.0 x) (log 1.0))
  (+ (* 2.0 x) (log 1.0))
  (+ (* 2.0 x) (log 1.0))
0.628 * * [simplify]: iteration  0 :  4963  enodes  (cost  335 )
0.628 * * [simplify]: iteration  1 :  4963  enodes  (cost  335 )
0.629 * [simplify]: Simplified to:
   (* 1.0 (pow (exp 2.0) (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (* 1.0 (pow (exp 2.0) (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (log (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* 1.0 (pow (exp 2.0) (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 3)
  (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (+ (* (pow x 6) (pow 2.0 3)) (pow (+ (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))) (log 1.0)) 3))
  (+ (* 2.0 (* 2.0 (pow x 4))) (* (+ (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))) (log 1.0)) (+ (log 1.0) (* 2.0 (- x (+ (* (/ x 1.0) (/ x 1.0)) (* x x)))))))
  (- (* 2.0 (* 2.0 (pow x 4))) (* (+ (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))) (log 1.0)) (+ (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))) (log 1.0))))
  (- (* 2.0 (+ (- (* x x) x) (* (/ x 1.0) (/ x 1.0)))) (log 1.0))
  (+ (* x (* x 2.0)) (log 1.0))
  (+ (* x 2.0) (log 1.0))
  (+ (* x 2.0) (log 1.0))
  (+ (* x 2.0) (log 1.0))
0.630 * * * [progress]: adding candidates to table
0.658 * * [progress]: iteration 3 / 4
0.658 * * * [progress]: picking best candidate
0.684 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 2.0) (* (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))>
0.685 * * * [progress]: localizing error
0.699 * * * [progress]: generating rewritten candidates
0.699 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.702 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.705 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.708 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.720 * * * [progress]: generating series expansions
0.720 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.721 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in (x) around 0
0.721 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
0.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
0.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
0.721 * [taylor]: Taking taylor expansion of 1/3 in x
0.721 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
0.721 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.721 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.721 * [taylor]: Taking taylor expansion of 2.0 in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.721 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.721 * [taylor]: Taking taylor expansion of 1.0 in x
0.721 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
0.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
0.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
0.721 * [taylor]: Taking taylor expansion of 1/3 in x
0.721 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
0.721 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.721 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.721 * [taylor]: Taking taylor expansion of 2.0 in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.721 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.721 * [taylor]: Taking taylor expansion of 1.0 in x
0.724 * [approximate]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
0.724 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
0.724 * [taylor]: Taking taylor expansion of 1/3 in x
0.724 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
0.724 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.724 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.724 * [taylor]: Taking taylor expansion of 1.0 in x
0.724 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.724 * [taylor]: Taking taylor expansion of 2.0 in x
0.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.724 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.724 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.724 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
0.724 * [taylor]: Taking taylor expansion of 1/3 in x
0.724 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
0.724 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.724 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.724 * [taylor]: Taking taylor expansion of 1.0 in x
0.724 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.724 * [taylor]: Taking taylor expansion of 2.0 in x
0.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.724 * [taylor]: Taking taylor expansion of x in x
0.727 * [approximate]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
0.727 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
0.727 * [taylor]: Taking taylor expansion of 1/3 in x
0.727 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
0.727 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.727 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.727 * [taylor]: Taking taylor expansion of 1.0 in x
0.727 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.727 * [taylor]: Taking taylor expansion of 2.0 in x
0.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.727 * [taylor]: Taking taylor expansion of x in x
0.728 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
0.728 * [taylor]: Taking taylor expansion of 1/3 in x
0.728 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
0.728 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.728 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.728 * [taylor]: Taking taylor expansion of 1.0 in x
0.728 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.728 * [taylor]: Taking taylor expansion of 2.0 in x
0.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.728 * [taylor]: Taking taylor expansion of x in x
0.731 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.731 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in (x) around 0
0.731 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
0.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
0.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
0.731 * [taylor]: Taking taylor expansion of 1/3 in x
0.731 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
0.731 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.731 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.731 * [taylor]: Taking taylor expansion of 2.0 in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.731 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.731 * [taylor]: Taking taylor expansion of 1.0 in x
0.731 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
0.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
0.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
0.731 * [taylor]: Taking taylor expansion of 1/3 in x
0.731 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
0.731 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.731 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.731 * [taylor]: Taking taylor expansion of 2.0 in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.731 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.731 * [taylor]: Taking taylor expansion of 1.0 in x
0.734 * [approximate]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
0.734 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
0.734 * [taylor]: Taking taylor expansion of 1/3 in x
0.734 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
0.734 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.734 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.734 * [taylor]: Taking taylor expansion of 1.0 in x
0.734 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.734 * [taylor]: Taking taylor expansion of 2.0 in x
0.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.734 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
0.734 * [taylor]: Taking taylor expansion of 1/3 in x
0.734 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
0.734 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.734 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.734 * [taylor]: Taking taylor expansion of 1.0 in x
0.734 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.734 * [taylor]: Taking taylor expansion of 2.0 in x
0.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.737 * [approximate]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
0.737 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
0.737 * [taylor]: Taking taylor expansion of 1/3 in x
0.737 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
0.737 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.737 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.737 * [taylor]: Taking taylor expansion of 1.0 in x
0.737 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.737 * [taylor]: Taking taylor expansion of 2.0 in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.738 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
0.738 * [taylor]: Taking taylor expansion of 1/3 in x
0.738 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
0.738 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.738 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.738 * [taylor]: Taking taylor expansion of 1.0 in x
0.738 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.738 * [taylor]: Taking taylor expansion of 2.0 in x
0.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.738 * [taylor]: Taking taylor expansion of x in x
0.740 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.741 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in (x) around 0
0.741 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
0.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
0.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
0.741 * [taylor]: Taking taylor expansion of 1/3 in x
0.741 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
0.741 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.741 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.741 * [taylor]: Taking taylor expansion of 2.0 in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.741 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.741 * [taylor]: Taking taylor expansion of 1.0 in x
0.741 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
0.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
0.741 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
0.741 * [taylor]: Taking taylor expansion of 1/3 in x
0.741 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
0.741 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.741 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.741 * [taylor]: Taking taylor expansion of 2.0 in x
0.741 * [taylor]: Taking taylor expansion of x in x
0.741 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.741 * [taylor]: Taking taylor expansion of 1.0 in x
0.743 * [approximate]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
0.743 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
0.744 * [taylor]: Taking taylor expansion of 1/3 in x
0.744 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
0.744 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.744 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.744 * [taylor]: Taking taylor expansion of 1.0 in x
0.744 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.744 * [taylor]: Taking taylor expansion of 2.0 in x
0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.744 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
0.744 * [taylor]: Taking taylor expansion of 1/3 in x
0.744 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
0.744 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.744 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.744 * [taylor]: Taking taylor expansion of 1.0 in x
0.744 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.744 * [taylor]: Taking taylor expansion of 2.0 in x
0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.744 * [taylor]: Taking taylor expansion of x in x
0.747 * [approximate]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
0.747 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
0.747 * [taylor]: Taking taylor expansion of 1/3 in x
0.747 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
0.747 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.747 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.747 * [taylor]: Taking taylor expansion of 1.0 in x
0.747 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.747 * [taylor]: Taking taylor expansion of 2.0 in x
0.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.747 * [taylor]: Taking taylor expansion of x in x
0.749 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
0.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
0.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
0.749 * [taylor]: Taking taylor expansion of 1/3 in x
0.749 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
0.749 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.749 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.749 * [taylor]: Taking taylor expansion of 1.0 in x
0.749 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.749 * [taylor]: Taking taylor expansion of 2.0 in x
0.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.749 * [taylor]: Taking taylor expansion of x in x
0.752 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
0.753 * [approximate]: Taking taylor expansion of (pow (pow (+ (* 2.0 x) (log 1.0)) 2) 1/3) in (x) around 0
0.753 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2.0 x) (log 1.0)) 2) 1/3) in x
0.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2.0 x) (log 1.0)) 2)))) in x
0.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2.0 x) (log 1.0)) 2))) in x
0.753 * [taylor]: Taking taylor expansion of 1/3 in x
0.753 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2.0 x) (log 1.0)) 2)) in x
0.753 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 2) in x
0.753 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.753 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.753 * [taylor]: Taking taylor expansion of 2.0 in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.753 * [taylor]: Taking taylor expansion of 1.0 in x
0.753 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2.0 x) (log 1.0)) 2) 1/3) in x
0.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (* 2.0 x) (log 1.0)) 2)))) in x
0.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (* 2.0 x) (log 1.0)) 2))) in x
0.753 * [taylor]: Taking taylor expansion of 1/3 in x
0.753 * [taylor]: Taking taylor expansion of (log (pow (+ (* 2.0 x) (log 1.0)) 2)) in x
0.753 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 2) in x
0.753 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
0.753 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.753 * [taylor]: Taking taylor expansion of 2.0 in x
0.753 * [taylor]: Taking taylor expansion of x in x
0.753 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.753 * [taylor]: Taking taylor expansion of 1.0 in x
0.756 * [approximate]: Taking taylor expansion of (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2) 1/3) in (x) around 0
0.756 * [taylor]: Taking taylor expansion of (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2) 1/3) in x
0.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2)))) in x
0.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2))) in x
0.756 * [taylor]: Taking taylor expansion of 1/3 in x
0.756 * [taylor]: Taking taylor expansion of (log (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2)) in x
0.756 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2) in x
0.756 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.756 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.756 * [taylor]: Taking taylor expansion of 1.0 in x
0.756 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.757 * [taylor]: Taking taylor expansion of 2.0 in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.757 * [taylor]: Taking taylor expansion of (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2) 1/3) in x
0.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2)))) in x
0.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2))) in x
0.757 * [taylor]: Taking taylor expansion of 1/3 in x
0.757 * [taylor]: Taking taylor expansion of (log (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2)) in x
0.757 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 2) in x
0.757 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
0.757 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.757 * [taylor]: Taking taylor expansion of 1.0 in x
0.757 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.757 * [taylor]: Taking taylor expansion of 2.0 in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.757 * [taylor]: Taking taylor expansion of x in x
0.760 * [approximate]: Taking taylor expansion of (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2) 1/3) in (x) around 0
0.760 * [taylor]: Taking taylor expansion of (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2) 1/3) in x
0.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2)))) in x
0.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2))) in x
0.760 * [taylor]: Taking taylor expansion of 1/3 in x
0.760 * [taylor]: Taking taylor expansion of (log (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2)) in x
0.760 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2) in x
0.760 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.760 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.760 * [taylor]: Taking taylor expansion of 1.0 in x
0.760 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.760 * [taylor]: Taking taylor expansion of 2.0 in x
0.760 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.760 * [taylor]: Taking taylor expansion of x in x
0.760 * [taylor]: Taking taylor expansion of (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2) 1/3) in x
0.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2)))) in x
0.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2))) in x
0.760 * [taylor]: Taking taylor expansion of 1/3 in x
0.760 * [taylor]: Taking taylor expansion of (log (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2)) in x
0.760 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 2) in x
0.760 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
0.760 * [taylor]: Taking taylor expansion of (log 1.0) in x
0.760 * [taylor]: Taking taylor expansion of 1.0 in x
0.761 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.761 * [taylor]: Taking taylor expansion of 2.0 in x
0.761 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.761 * [taylor]: Taking taylor expansion of x in x
0.764 * * * [progress]: simplifying candidates
0.766 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt 1)
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (* (log 1.0) (log 1.0)) (- (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (* (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt 1)
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (* (log 1.0) (log 1.0)) (- (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (* (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt 1)
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (* (log 1.0) (log 1.0)) (- (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (* (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (+ 1 1)
  (+ (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (log (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (exp (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (* (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (sqrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (sqrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))) (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))))
  (* (cbrt (+ (* (log 1.0) (log 1.0)) (- (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (* (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) (cbrt (+ (* (log 1.0) (log 1.0)) (- (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (* (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))) (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (+ (* (log 1.0) (log 1.0)) (- (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (* (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))))
  (* (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (* (log 1.0) (log 1.0)) (- (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (* (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* 1 1)
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt 1))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 1)
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (- (+ (pow (log 1.0) 1/3) (* 0.6666666666666666 (* x (pow (/ 1 (pow (log 1.0) 2)) 1/3)))) (* 0.4444444444444444 (* (pow x 2) (pow (/ 1 (pow (log 1.0) 5)) 1/3))))
  (- (+ (* 0.013888888888888888 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) (* 0.16666666666666666 (/ (* (log 1.0) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) x)))) (* 1/6 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (* (pow x 2) (pow 2.0 2)))))
  (- (+ (* 0.013888888888888888 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (pow x 2))) (+ (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (log 1.0)) x)))) (* 1/6 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (* (pow -2.0 2) (pow x 2)))))
  (- (+ (pow (log 1.0) 1/3) (* 0.6666666666666666 (* x (pow (/ 1 (pow (log 1.0) 2)) 1/3)))) (* 0.4444444444444444 (* (pow x 2) (pow (/ 1 (pow (log 1.0) 5)) 1/3))))
  (- (+ (* 0.013888888888888888 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) (* 0.16666666666666666 (/ (* (log 1.0) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) x)))) (* 1/6 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (* (pow x 2) (pow 2.0 2)))))
  (- (+ (* 0.013888888888888888 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (pow x 2))) (+ (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (log 1.0)) x)))) (* 1/6 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (* (pow -2.0 2) (pow x 2)))))
  (- (+ (pow (log 1.0) 1/3) (* 0.6666666666666666 (* x (pow (/ 1 (pow (log 1.0) 2)) 1/3)))) (* 0.4444444444444444 (* (pow x 2) (pow (/ 1 (pow (log 1.0) 5)) 1/3))))
  (- (+ (* 0.013888888888888888 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) (* 0.16666666666666666 (/ (* (log 1.0) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) x)))) (* 1/6 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (* (pow x 2) (pow 2.0 2)))))
  (- (+ (* 0.013888888888888888 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (pow x 2))) (+ (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (log 1.0)) x)))) (* 1/6 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (* (pow -2.0 2) (pow x 2)))))
  (- (+ (pow (pow (log 1.0) 2) 1/3) (* 1.3333333333333333 (* x (pow (/ 1 (log 1.0)) 1/3)))) (* 0.4444444444444444 (* (pow x 2) (pow (/ 1 (pow (log 1.0) 4)) 1/3))))
  (- (+ (* 0.3333333333333333 (/ (* (log 1.0) (exp (* 1/3 (- (log 4.0) (* 2 (log (/ 1 x))))))) x)) (exp (* 1/3 (- (log 4.0) (* 2 (log (/ 1 x))))))) (* 0.027777777777777776 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 4.0) (* 2 (log (/ 1 x))))))) (pow x 2))))
  (- (+ (* 0.1388888888888889 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 4.0) (* 2 (log (/ -1 x))))))) (pow x 2))) (+ (* 0.3333333333333333 (/ (* (log 1.0) (exp (* 1/3 (- (log 4.0) (* 2 (log (/ -1 x))))))) x)) (exp (* 1/3 (- (log 4.0) (* 2 (log (/ -1 x)))))))) (* 2.6666666666666665 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 4.0) (* 2 (log (/ -1 x))))))) (* (pow x 2) (pow 4.0 2)))))
0.808 * * [simplify]: iteration  0 :  5023  enodes  (cost  3545 )
0.818 * [simplify]: Simplified to:
   (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt 1)
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (- (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (log 1.0))))))
  (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt 1)
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (- (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (log 1.0))))))
  (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt 1)
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (- (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (log 1.0))))))
  (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  2/3
  2
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)
  (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)
  2
  (* (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 2)
  (* (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 2)
  (exp (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4))
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)
  (* (cbrt (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)) (cbrt (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)))
  (cbrt (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4))
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)
  (fabs (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (fabs (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))) (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))))
  (* (cbrt (+ (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (- (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (log 1.0)))))) (cbrt (+ (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (- (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (log 1.0)))))))
  (* (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))) (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (+ (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (- (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (log 1.0)))))) (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))) (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (+ (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (- (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (log 1.0)))))) (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (cbrt (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)) (cbrt (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt 1) (cbrt 1))
  (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)
  (pow (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  1
  (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  2/3
  2
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt 1))
  (pow (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 5)
  (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 3)
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (pow (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)
  (pow (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)
  (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 3)
  (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4)
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3))))
  (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))
  (+ (cbrt (log 1.0)) (- (* x (* (cbrt (/ 1 (pow (log 1.0) 2))) 0.6666666666666666)) (* (* x x) (* (cbrt (/ 1 (pow (log 1.0) 5))) 0.4444444444444444))))
  (+ (* (pow 2.0 1/3) (pow x 1/3)) (+ (* 0.16666666666666666 (* (/ (log 1.0) x) (* (pow 2.0 1/3) (pow x 1/3)))) (* (* (/ (pow (log 1.0) 2) (* x x)) (* (pow 2.0 1/3) (pow x 1/3))) (- 0.013888888888888888 (/ 1/6 (* 2.0 2.0))))))
  (+ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) (+ (* 0.16666666666666666 (* (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x) (log 1.0))) (* (* (/ (pow (log 1.0) 2) x) (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x)) (- 0.013888888888888888 (/ 1/6 (* -2.0 -2.0))))))
  (+ (cbrt (log 1.0)) (- (* x (* (cbrt (/ 1 (pow (log 1.0) 2))) 0.6666666666666666)) (* (* x x) (* (cbrt (/ 1 (pow (log 1.0) 5))) 0.4444444444444444))))
  (+ (* (pow 2.0 1/3) (pow x 1/3)) (+ (* 0.16666666666666666 (* (/ (log 1.0) x) (* (pow 2.0 1/3) (pow x 1/3)))) (* (* (/ (pow (log 1.0) 2) (* x x)) (* (pow 2.0 1/3) (pow x 1/3))) (- 0.013888888888888888 (/ 1/6 (* 2.0 2.0))))))
  (+ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) (+ (* 0.16666666666666666 (* (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x) (log 1.0))) (* (* (/ (pow (log 1.0) 2) x) (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x)) (- 0.013888888888888888 (/ 1/6 (* -2.0 -2.0))))))
  (+ (cbrt (log 1.0)) (- (* x (* (cbrt (/ 1 (pow (log 1.0) 2))) 0.6666666666666666)) (* (* x x) (* (cbrt (/ 1 (pow (log 1.0) 5))) 0.4444444444444444))))
  (+ (* (pow 2.0 1/3) (pow x 1/3)) (+ (* 0.16666666666666666 (* (/ (log 1.0) x) (* (pow 2.0 1/3) (pow x 1/3)))) (* (* (/ (pow (log 1.0) 2) (* x x)) (* (pow 2.0 1/3) (pow x 1/3))) (- 0.013888888888888888 (/ 1/6 (* 2.0 2.0))))))
  (+ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) (+ (* 0.16666666666666666 (* (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x) (log 1.0))) (* (* (/ (pow (log 1.0) 2) x) (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x)) (- 0.013888888888888888 (/ 1/6 (* -2.0 -2.0))))))
  (+ (cbrt (pow (log 1.0) 2)) (- (* x (* (cbrt (/ 1 (log 1.0))) 1.3333333333333333)) (* (* x x) (* (cbrt (/ 1 (pow (log 1.0) 4))) 0.4444444444444444))))
  (+ (cbrt (* (* x x) (exp (log 4.0)))) (- (* 0.3333333333333333 (* (/ (log 1.0) x) (cbrt (* (* x x) (exp (log 4.0)))))) (* 0.027777777777777776 (* (/ (pow (log 1.0) 2) (* x x)) (cbrt (* (* x x) (exp (log 4.0))))))))
  (+ (cbrt (* (exp (log 4.0)) (pow (/ -1 x) -2))) (+ (* 0.3333333333333333 (* (/ (log 1.0) x) (cbrt (* (exp (log 4.0)) (pow (/ -1 x) -2))))) (* (* (/ (pow (log 1.0) 2) (* x x)) (cbrt (* (exp (log 4.0)) (pow (/ -1 x) -2)))) (- 0.1388888888888889 (/ 2.6666666666666665 (* 4.0 4.0))))))
0.819 * * * [progress]: adding candidates to table
1.274 * * [progress]: iteration 4 / 4
1.274 * * * [progress]: picking best candidate
1.304 * * * * [pick]: Picked  #<alt (λ (x) (* (/ 1.0 2.0) (* (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))>
1.304 * * * [progress]: localizing error
1.328 * * * [progress]: generating rewritten candidates
1.328 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.336 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.339 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
1.341 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
1.348 * * * [progress]: generating series expansions
1.348 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.348 * [approximate]: Taking taylor expansion of (pow (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6) 1/3) in (x) around 0
1.348 * [taylor]: Taking taylor expansion of (pow (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6) 1/3) in x
1.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6)))) in x
1.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6))) in x
1.348 * [taylor]: Taking taylor expansion of 1/3 in x
1.348 * [taylor]: Taking taylor expansion of (log (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6)) in x
1.348 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6) in x
1.348 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
1.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
1.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
1.348 * [taylor]: Taking taylor expansion of 1/3 in x
1.348 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
1.348 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
1.348 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.348 * [taylor]: Taking taylor expansion of 2.0 in x
1.348 * [taylor]: Taking taylor expansion of x in x
1.348 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.348 * [taylor]: Taking taylor expansion of 1.0 in x
1.349 * [taylor]: Taking taylor expansion of (pow (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6) 1/3) in x
1.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6)))) in x
1.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6))) in x
1.349 * [taylor]: Taking taylor expansion of 1/3 in x
1.349 * [taylor]: Taking taylor expansion of (log (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6)) in x
1.349 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6) in x
1.349 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
1.349 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
1.349 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
1.349 * [taylor]: Taking taylor expansion of 1/3 in x
1.349 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
1.349 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
1.349 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.349 * [taylor]: Taking taylor expansion of 2.0 in x
1.349 * [taylor]: Taking taylor expansion of x in x
1.349 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.349 * [taylor]: Taking taylor expansion of 1.0 in x
1.355 * [approximate]: Taking taylor expansion of (pow (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) 1/3) in (x) around 0
1.355 * [taylor]: Taking taylor expansion of (pow (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) 1/3) in x
1.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6)))) in x
1.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6))) in x
1.355 * [taylor]: Taking taylor expansion of 1/3 in x
1.355 * [taylor]: Taking taylor expansion of (log (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6)) in x
1.355 * [taylor]: Taking taylor expansion of (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in x
1.355 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
1.355 * [taylor]: Taking taylor expansion of 1/3 in x
1.355 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
1.355 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
1.355 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.355 * [taylor]: Taking taylor expansion of 1.0 in x
1.355 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.355 * [taylor]: Taking taylor expansion of 2.0 in x
1.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.355 * [taylor]: Taking taylor expansion of x in x
1.356 * [taylor]: Taking taylor expansion of (pow (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) 1/3) in x
1.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6)))) in x
1.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6))) in x
1.356 * [taylor]: Taking taylor expansion of 1/3 in x
1.356 * [taylor]: Taking taylor expansion of (log (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6)) in x
1.356 * [taylor]: Taking taylor expansion of (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in x
1.356 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
1.356 * [taylor]: Taking taylor expansion of 1/3 in x
1.356 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
1.356 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
1.356 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.356 * [taylor]: Taking taylor expansion of 1.0 in x
1.356 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.356 * [taylor]: Taking taylor expansion of 2.0 in x
1.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.356 * [taylor]: Taking taylor expansion of x in x
1.367 * [approximate]: Taking taylor expansion of (pow (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) 1/3) in (x) around 0
1.367 * [taylor]: Taking taylor expansion of (pow (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) 1/3) in x
1.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6)))) in x
1.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6))) in x
1.367 * [taylor]: Taking taylor expansion of 1/3 in x
1.367 * [taylor]: Taking taylor expansion of (log (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6)) in x
1.367 * [taylor]: Taking taylor expansion of (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in x
1.367 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
1.367 * [taylor]: Taking taylor expansion of 1/3 in x
1.367 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
1.367 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
1.367 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.367 * [taylor]: Taking taylor expansion of 1.0 in x
1.367 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.367 * [taylor]: Taking taylor expansion of 2.0 in x
1.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.368 * [taylor]: Taking taylor expansion of x in x
1.368 * [taylor]: Taking taylor expansion of (pow (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) 1/3) in x
1.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6)))) in x
1.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6))) in x
1.368 * [taylor]: Taking taylor expansion of 1/3 in x
1.368 * [taylor]: Taking taylor expansion of (log (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6)) in x
1.368 * [taylor]: Taking taylor expansion of (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in x
1.369 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
1.369 * [taylor]: Taking taylor expansion of 1/3 in x
1.369 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
1.369 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
1.369 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.369 * [taylor]: Taking taylor expansion of 1.0 in x
1.369 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.369 * [taylor]: Taking taylor expansion of 2.0 in x
1.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.369 * [taylor]: Taking taylor expansion of x in x
1.380 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.380 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in (x) around 0
1.380 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
1.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
1.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
1.380 * [taylor]: Taking taylor expansion of 1/3 in x
1.380 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
1.380 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
1.380 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.380 * [taylor]: Taking taylor expansion of 2.0 in x
1.380 * [taylor]: Taking taylor expansion of x in x
1.380 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.380 * [taylor]: Taking taylor expansion of 1.0 in x
1.380 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
1.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
1.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
1.380 * [taylor]: Taking taylor expansion of 1/3 in x
1.380 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
1.380 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
1.380 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.380 * [taylor]: Taking taylor expansion of 2.0 in x
1.380 * [taylor]: Taking taylor expansion of x in x
1.380 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.380 * [taylor]: Taking taylor expansion of 1.0 in x
1.383 * [approximate]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
1.383 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
1.383 * [taylor]: Taking taylor expansion of 1/3 in x
1.383 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
1.383 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
1.383 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.383 * [taylor]: Taking taylor expansion of 1.0 in x
1.383 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.383 * [taylor]: Taking taylor expansion of 2.0 in x
1.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.383 * [taylor]: Taking taylor expansion of x in x
1.383 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.383 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.383 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
1.383 * [taylor]: Taking taylor expansion of 1/3 in x
1.383 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
1.383 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
1.383 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.383 * [taylor]: Taking taylor expansion of 1.0 in x
1.383 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.383 * [taylor]: Taking taylor expansion of 2.0 in x
1.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.383 * [taylor]: Taking taylor expansion of x in x
1.386 * [approximate]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
1.386 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
1.386 * [taylor]: Taking taylor expansion of 1/3 in x
1.386 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
1.386 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
1.386 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.386 * [taylor]: Taking taylor expansion of 1.0 in x
1.386 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.386 * [taylor]: Taking taylor expansion of 2.0 in x
1.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.386 * [taylor]: Taking taylor expansion of x in x
1.386 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
1.387 * [taylor]: Taking taylor expansion of 1/3 in x
1.387 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
1.387 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
1.387 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.387 * [taylor]: Taking taylor expansion of 1.0 in x
1.387 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.387 * [taylor]: Taking taylor expansion of 2.0 in x
1.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.387 * [taylor]: Taking taylor expansion of x in x
1.389 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
1.390 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in (x) around 0
1.390 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
1.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
1.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
1.390 * [taylor]: Taking taylor expansion of 1/3 in x
1.390 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
1.390 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
1.390 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.390 * [taylor]: Taking taylor expansion of 2.0 in x
1.390 * [taylor]: Taking taylor expansion of x in x
1.390 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.390 * [taylor]: Taking taylor expansion of 1.0 in x
1.390 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
1.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
1.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
1.390 * [taylor]: Taking taylor expansion of 1/3 in x
1.390 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
1.390 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
1.390 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.390 * [taylor]: Taking taylor expansion of 2.0 in x
1.390 * [taylor]: Taking taylor expansion of x in x
1.390 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.390 * [taylor]: Taking taylor expansion of 1.0 in x
1.392 * [approximate]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
1.392 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
1.392 * [taylor]: Taking taylor expansion of 1/3 in x
1.392 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
1.392 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
1.392 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.393 * [taylor]: Taking taylor expansion of 1.0 in x
1.393 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.393 * [taylor]: Taking taylor expansion of 2.0 in x
1.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.393 * [taylor]: Taking taylor expansion of x in x
1.393 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
1.393 * [taylor]: Taking taylor expansion of 1/3 in x
1.393 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
1.393 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
1.393 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.393 * [taylor]: Taking taylor expansion of 1.0 in x
1.393 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.393 * [taylor]: Taking taylor expansion of 2.0 in x
1.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.393 * [taylor]: Taking taylor expansion of x in x
1.396 * [approximate]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in (x) around 0
1.396 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
1.396 * [taylor]: Taking taylor expansion of 1/3 in x
1.396 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
1.396 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
1.396 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.396 * [taylor]: Taking taylor expansion of 1.0 in x
1.396 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.396 * [taylor]: Taking taylor expansion of 2.0 in x
1.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.396 * [taylor]: Taking taylor expansion of x in x
1.396 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
1.396 * [taylor]: Taking taylor expansion of 1/3 in x
1.396 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
1.396 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
1.396 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.396 * [taylor]: Taking taylor expansion of 1.0 in x
1.396 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.396 * [taylor]: Taking taylor expansion of 2.0 in x
1.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.396 * [taylor]: Taking taylor expansion of x in x
1.399 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
1.399 * [approximate]: Taking taylor expansion of (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6) in (x) around 0
1.399 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6) in x
1.399 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
1.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
1.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
1.399 * [taylor]: Taking taylor expansion of 1/3 in x
1.400 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
1.400 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
1.400 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.400 * [taylor]: Taking taylor expansion of 2.0 in x
1.400 * [taylor]: Taking taylor expansion of x in x
1.400 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.400 * [taylor]: Taking taylor expansion of 1.0 in x
1.400 * [taylor]: Taking taylor expansion of (pow (pow (+ (* 2.0 x) (log 1.0)) 1/3) 6) in x
1.400 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 x) (log 1.0)) 1/3) in x
1.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (* 2.0 x) (log 1.0))))) in x
1.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (* 2.0 x) (log 1.0)))) in x
1.400 * [taylor]: Taking taylor expansion of 1/3 in x
1.400 * [taylor]: Taking taylor expansion of (log (+ (* 2.0 x) (log 1.0))) in x
1.400 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (log 1.0)) in x
1.400 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
1.400 * [taylor]: Taking taylor expansion of 2.0 in x
1.400 * [taylor]: Taking taylor expansion of x in x
1.400 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.400 * [taylor]: Taking taylor expansion of 1.0 in x
1.404 * [approximate]: Taking taylor expansion of (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in (x) around 0
1.404 * [taylor]: Taking taylor expansion of (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in x
1.404 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
1.404 * [taylor]: Taking taylor expansion of 1/3 in x
1.404 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
1.404 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
1.404 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.404 * [taylor]: Taking taylor expansion of 1.0 in x
1.404 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.404 * [taylor]: Taking taylor expansion of 2.0 in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.404 * [taylor]: Taking taylor expansion of (pow (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in x
1.404 * [taylor]: Taking taylor expansion of (pow (+ (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (log 1.0) (* 2.0 (/ 1 x))))) in x
1.404 * [taylor]: Taking taylor expansion of 1/3 in x
1.404 * [taylor]: Taking taylor expansion of (log (+ (log 1.0) (* 2.0 (/ 1 x)))) in x
1.404 * [taylor]: Taking taylor expansion of (+ (log 1.0) (* 2.0 (/ 1 x))) in x
1.404 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.404 * [taylor]: Taking taylor expansion of 1.0 in x
1.404 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.404 * [taylor]: Taking taylor expansion of 2.0 in x
1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.404 * [taylor]: Taking taylor expansion of x in x
1.413 * [approximate]: Taking taylor expansion of (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in (x) around 0
1.413 * [taylor]: Taking taylor expansion of (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in x
1.413 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
1.413 * [taylor]: Taking taylor expansion of 1/3 in x
1.413 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
1.413 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
1.413 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.413 * [taylor]: Taking taylor expansion of 1.0 in x
1.413 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.413 * [taylor]: Taking taylor expansion of 2.0 in x
1.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.413 * [taylor]: Taking taylor expansion of x in x
1.413 * [taylor]: Taking taylor expansion of (pow (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) 6) in x
1.413 * [taylor]: Taking taylor expansion of (pow (- (log 1.0) (* 2.0 (/ 1 x))) 1/3) in x
1.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x)))))) in x
1.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (log 1.0) (* 2.0 (/ 1 x))))) in x
1.413 * [taylor]: Taking taylor expansion of 1/3 in x
1.414 * [taylor]: Taking taylor expansion of (log (- (log 1.0) (* 2.0 (/ 1 x)))) in x
1.414 * [taylor]: Taking taylor expansion of (- (log 1.0) (* 2.0 (/ 1 x))) in x
1.414 * [taylor]: Taking taylor expansion of (log 1.0) in x
1.414 * [taylor]: Taking taylor expansion of 1.0 in x
1.414 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
1.414 * [taylor]: Taking taylor expansion of 2.0 in x
1.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.414 * [taylor]: Taking taylor expansion of x in x
1.424 * * * [progress]: simplifying candidates
1.426 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6) 1/3)
  (* (* (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6) 1/3)
  (* (log (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)) 1/3)
  (* (log (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)) 1/3)
  (* 6 1/3)
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (* (cbrt 1/3) (cbrt 1/3)))
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (sqrt 1/3))
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1)
  (pow (pow (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) 6) 1/3)
  (pow (pow (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6) 1/3)
  (pow (pow (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6) 1/3)
  (pow (pow (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6) 1/3)
  (pow (pow (cbrt 1) 6) 1/3)
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3)
  (pow (pow (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) 6) 1/3)
  (pow (pow (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6) 1/3)
  (pow (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6) 1/3)
  (pow (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6) 1/3)
  (pow (pow 1 6) 1/3)
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3)
  (pow (* (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)) (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))) 1/3)
  (pow (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)) 1/3)
  (pow (sqrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)) 1/3)
  (pow (sqrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)) 1/3)
  (pow 1 1/3)
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3)
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (/ 6 2)) 1/3)
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (/ 6 2)) 1/3)
  (log (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3))
  (exp (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3))
  (* (cbrt (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3)) (cbrt (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3)))
  (cbrt (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3))
  (* (* (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3) (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3)) (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3))
  (sqrt (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3))
  (sqrt (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/3))
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (/ 1/3 2))
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (/ 1/3 2))
  (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt 1)
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (* (log 1.0) (log 1.0)) (- (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (* (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt 1)
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (* (log 1.0) (log 1.0)) (- (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) (* (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (* (log 1.0) (log 1.0)) (* (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (* (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (* 1/3 6)
  (* 1 6)
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (* (cbrt 6) (cbrt 6)))
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (sqrt 6))
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 1)
  (pow (cbrt (* (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) 6)
  (pow (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (pow (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (pow (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (pow (cbrt 1) 6)
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)
  (pow (* (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))) 6)
  (pow (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (pow 1 6)
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)
  (log (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (exp (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (* (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)) (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)))
  (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (* (* (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)) (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (sqrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (sqrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (/ 6 2))
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (/ 6 2))
  (- (+ (pow (pow (log 1.0) 2) 1/3) (* 1.3333333333333333 (* x (pow (/ 1 (log 1.0)) 1/3)))) (* 0.4444444444444444 (* (pow x 2) (pow (/ 1 (pow (log 1.0) 4)) 1/3))))
  (- (+ (* 0.3333333333333333 (/ (* (log 1.0) (pow (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) 2)) x)) (+ (* 0.05555555555555555 (/ (* (pow (log 1.0) 2) (pow (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) 2)) (pow x 2))) (pow (pow (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) 6) 1/3))) (* 1/3 (/ (* (pow (log 1.0) 2) (pow (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) 2)) (* (pow x 2) (pow 2.0 2)))))
  (- (+ (* 0.05555555555555555 (/ (* (pow (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) 2) (pow (log 1.0) 2)) (pow x 2))) (+ (pow (pow (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) 6) 1/3) (* 0.3333333333333333 (/ (* (pow (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) 2) (log 1.0)) x)))) (* 1/3 (/ (* (pow (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) 2) (pow (log 1.0) 2)) (* (pow -2.0 2) (pow x 2)))))
  (- (+ (pow (log 1.0) 1/3) (* 0.6666666666666666 (* x (pow (/ 1 (pow (log 1.0) 2)) 1/3)))) (* 0.4444444444444444 (* (pow x 2) (pow (/ 1 (pow (log 1.0) 5)) 1/3))))
  (- (+ (* 0.013888888888888888 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) (* 0.16666666666666666 (/ (* (log 1.0) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) x)))) (* 1/6 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (* (pow x 2) (pow 2.0 2)))))
  (- (+ (* 0.013888888888888888 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (pow x 2))) (+ (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (log 1.0)) x)))) (* 1/6 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (* (pow -2.0 2) (pow x 2)))))
  (- (+ (pow (log 1.0) 1/3) (* 0.6666666666666666 (* x (pow (/ 1 (pow (log 1.0) 2)) 1/3)))) (* 0.4444444444444444 (* (pow x 2) (pow (/ 1 (pow (log 1.0) 5)) 1/3))))
  (- (+ (* 0.013888888888888888 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (pow x 2))) (+ (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) (* 0.16666666666666666 (/ (* (log 1.0) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) x)))) (* 1/6 (/ (* (pow (log 1.0) 2) (exp (* 1/3 (- (log 2.0) (log (/ 1 x)))))) (* (pow x 2) (pow 2.0 2)))))
  (- (+ (* 0.013888888888888888 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (pow x 2))) (+ (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (* 0.16666666666666666 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (log 1.0)) x)))) (* 1/6 (/ (* (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) (pow (log 1.0) 2)) (* (pow -2.0 2) (pow x 2)))))
  (+ (* 4.0 (pow x 2)) (+ (pow (log 1.0) 2) (* 4.0 (* x (log 1.0)))))
  (- (+ (* 1.0 (/ (* (log 1.0) (pow (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) 6)) x)) (+ (pow (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) 6) (* 0.5 (/ (* (pow (log 1.0) 2) (pow (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) 6)) (pow x 2))))) (/ (* (pow (log 1.0) 2) (pow (exp (* 1/3 (- (log 2.0) (log (/ 1 x))))) 6)) (* (pow x 2) (pow 2.0 2))))
  (- (+ (* 1.0 (/ (* (pow (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) 6) (log 1.0)) x)) (+ (* 0.5 (/ (* (pow (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) 6) (pow (log 1.0) 2)) (pow x 2))) (pow (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) 6))) (/ (* (pow (exp (* 1/3 (- (log (neg 2.0)) (log (/ -1 x))))) 6) (pow (log 1.0) 2)) (* (pow -2.0 2) (pow x 2))))
1.465 * * [simplify]: iteration  0 :  5151  enodes  (cost  2613 )
1.473 * [simplify]: Simplified to:
   (log (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (log (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (log (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (log (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  2
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (* (cbrt 1/3) (cbrt 1/3)))
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (sqrt 1/3))
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)
  (cbrt (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 4/3))
  (cbrt (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  1
  (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (cbrt (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 4/3))
  (cbrt (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  1
  (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (cbrt (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 2/3))
  (cbrt (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)))
  (cbrt (fabs (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (fabs (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  1
  (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (log (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (exp (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)))
  (pow (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)) 2/3)
  (cbrt (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)))
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)
  (sqrt (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)))
  (sqrt (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)))
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/6)
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 1/6)
  (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  1
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (- (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (log 1.0))))))
  (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (exp (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (cbrt (sqrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  1
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (+ (pow (log 1.0) 3) (pow (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) 3)))
  (cbrt (+ (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (- (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))) (log 1.0))))))
  (cbrt (- (pow (log 1.0) 2) (* 2.0 (* (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))))
  (cbrt (- (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (cbrt (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3))
  (cbrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))
  (* (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (* (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  2
  6
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (* (cbrt 6) (cbrt 6)))
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (sqrt 6))
  (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 4/3)
  (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3)
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  1
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)
  (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 4/3)
  (pow (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))) 2/3)
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  1
  (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6)
  (* (log (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 6)
  (exp (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 2/3)
  (cbrt (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6))
  (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) 3)
  (fabs (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (fabs (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))
  (+ (cbrt (pow (log 1.0) 2)) (- (* x (* (cbrt (/ 1 (log 1.0))) 1.3333333333333333)) (* (* x x) (* (cbrt (/ 1 (pow (log 1.0) 4))) 0.4444444444444444))))
  (+ (* 0.3333333333333333 (* (/ (log 1.0) x) (pow (exp (+ (log 2.0) (log x))) 2/3))) (+ (* 0.05555555555555555 (* (/ (pow (log 1.0) 2) (* x x)) (pow (exp (+ (log 2.0) (log x))) 2/3))) (+ (cbrt (pow (cbrt (exp (+ (log 2.0) (log x)))) 6)) (* (* (/ (pow (log 1.0) 2) (* x x)) (/ (pow (exp (+ (log 2.0) (log x))) 2/3) (* 2.0 2.0))) -1/3))))
  (+ (* 0.05555555555555555 (* (/ (pow (log 1.0) 2) x) (/ (pow (exp (- (log (neg 2.0)) (log (/ -1 x)))) 2/3) x))) (+ (cbrt (pow (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) 6)) (+ (* 0.3333333333333333 (* (/ (pow (exp (- (log (neg 2.0)) (log (/ -1 x)))) 2/3) x) (log 1.0))) (* (* (/ (pow (log 1.0) 2) (* x x)) (/ (pow (exp (- (log (neg 2.0)) (log (/ -1 x)))) 2/3) (* -2.0 -2.0))) -1/3))))
  (+ (cbrt (log 1.0)) (- (* x (* (cbrt (/ 1 (pow (log 1.0) 2))) 0.6666666666666666)) (* (* x x) (* (cbrt (/ 1 (pow (log 1.0) 5))) 0.4444444444444444))))
  (+ (* 0.013888888888888888 (* (/ (pow (log 1.0) 2) (* x x)) (cbrt (exp (+ (log 2.0) (log x)))))) (+ (cbrt (exp (+ (log 2.0) (log x)))) (+ (* 0.16666666666666666 (* (/ (log 1.0) x) (cbrt (exp (+ (log 2.0) (log x)))))) (* (* (/ (pow (log 1.0) 2) (* x x)) (/ (cbrt (exp (+ (log 2.0) (log x)))) (* 2.0 2.0))) -1/6))))
  (+ (* 0.013888888888888888 (* (/ (pow (log 1.0) 2) x) (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x))) (+ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) (+ (* 0.16666666666666666 (* (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x) (log 1.0))) (* (* (/ (pow (log 1.0) 2) (* x x)) (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) (* -2.0 -2.0))) -1/6))))
  (+ (cbrt (log 1.0)) (- (* x (* (cbrt (/ 1 (pow (log 1.0) 2))) 0.6666666666666666)) (* (* x x) (* (cbrt (/ 1 (pow (log 1.0) 5))) 0.4444444444444444))))
  (+ (* 0.013888888888888888 (* (/ (pow (log 1.0) 2) (* x x)) (cbrt (exp (+ (log 2.0) (log x)))))) (+ (cbrt (exp (+ (log 2.0) (log x)))) (+ (* 0.16666666666666666 (* (/ (log 1.0) x) (cbrt (exp (+ (log 2.0) (log x)))))) (* (* (/ (pow (log 1.0) 2) (* x x)) (/ (cbrt (exp (+ (log 2.0) (log x)))) (* 2.0 2.0))) -1/6))))
  (+ (* 0.013888888888888888 (* (/ (pow (log 1.0) 2) x) (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x))) (+ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) (+ (* 0.16666666666666666 (* (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) x) (log 1.0))) (* (* (/ (pow (log 1.0) 2) (* x x)) (/ (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) (* -2.0 -2.0))) -1/6))))
  (+ (* x (* x 4.0)) (* (log 1.0) (+ (log 1.0) (* x 4.0))))
  (+ (* 1.0 (* (/ (log 1.0) x) (pow (cbrt (exp (+ (log 2.0) (log x)))) 6))) (+ (pow (cbrt (exp (+ (log 2.0) (log x)))) 6) (- (* 0.5 (* (/ (pow (log 1.0) 2) (* x x)) (pow (cbrt (exp (+ (log 2.0) (log x)))) 6))) (* (/ (pow (log 1.0) 2) (* x x)) (/ (pow (cbrt (exp (+ (log 2.0) (log x)))) 6) (* 2.0 2.0))))))
  (+ (* 1.0 (* (/ (pow (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) 6) x) (log 1.0))) (+ (pow (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) 6) (- (* 0.5 (* (/ (pow (log 1.0) 2) x) (/ (pow (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) 6) x))) (* (/ (pow (log 1.0) 2) (* x x)) (/ (pow (cbrt (exp (- (log (neg 2.0)) (log (/ -1 x))))) 6) (* -2.0 -2.0))))))
1.473 * * * [progress]: adding candidates to table
1.759 * [progress]: [Phase 3 of 3] Extracting.
1.759 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (/ 1.0 2.0) (* (log (exp (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (* (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x))))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (pow (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (* (cbrt 1/3) (cbrt 1/3))) (cbrt 1/3)) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (* (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))) 2) (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (+ (log (sqrt (+ 1.0 x))) (* -2 (log (cbrt (- 1.0 x))))) (log (/ (sqrt (+ 1.0 x)) (cbrt (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (* x (+ 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (log (log (exp (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (- (log (+ 1.0 x)) (log (- 1.0 x)))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (pow (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (* (cbrt 6) (cbrt 6))) (cbrt 6)) 1/3) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))>)
1.762 * * * [regime-changes]: Trying 3 branch expressions: ((/ (+ 1.0 x) (- 1.0 x)) (log (/ (+ 1.0 x) (- 1.0 x))) x)
1.762 * * * * [regimes]: Trying to branch on (/ (+ 1.0 x) (- 1.0 x)) from (#<alt (λ (x) (* (/ 1.0 2.0) (* (log (exp (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (* (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x))))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (pow (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (* (cbrt 1/3) (cbrt 1/3))) (cbrt 1/3)) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (* (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))) 2) (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (+ (log (sqrt (+ 1.0 x))) (* -2 (log (cbrt (- 1.0 x))))) (log (/ (sqrt (+ 1.0 x)) (cbrt (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (* x (+ 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (log (log (exp (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (- (log (+ 1.0 x)) (log (- 1.0 x)))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (pow (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (* (cbrt 6) (cbrt 6))) (cbrt 6)) 1/3) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))>)
1.815 * * * * [regimes]: Trying to branch on (/ (+ 1.0 x) (- 1.0 x)) from (#<alt (λ (x) (* (/ 1.0 2.0) (* (* (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x))))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (* (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))) 2) (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (log (log (exp (/ (+ 1.0 x) (- 1.0 x)))))))>)
1.842 * * * * [regimes]: Trying to branch on (log (/ (+ 1.0 x) (- 1.0 x))) from (#<alt (λ (x) (* (/ 1.0 2.0) (* (log (exp (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (* (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x))))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (pow (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (* (cbrt 1/3) (cbrt 1/3))) (cbrt 1/3)) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (* (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))) 2) (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (+ (log (sqrt (+ 1.0 x))) (* -2 (log (cbrt (- 1.0 x))))) (log (/ (sqrt (+ 1.0 x)) (cbrt (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (* x (+ 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (log (log (exp (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (- (log (+ 1.0 x)) (log (- 1.0 x)))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (pow (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (* (cbrt 6) (cbrt 6))) (cbrt 6)) 1/3) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))>)
1.898 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (/ 1.0 2.0) (* (log (exp (pow (sqrt (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x)))))) 4))) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (* (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x))))) (cbrt (log (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (pow (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) 6) (* (cbrt 1/3) (cbrt 1/3))) (cbrt 1/3)) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (* (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))) 2) (log (cbrt (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (+ (log (sqrt (+ 1.0 x))) (* -2 (log (cbrt (- 1.0 x))))) (log (/ (sqrt (+ 1.0 x)) (cbrt (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (log (/ (+ 1.0 x) (- (pow 1.0 3) (pow x 3)))) (log (+ (* 1.0 1.0) (* x (+ 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (log (log (exp (/ (+ 1.0 x) (- 1.0 x)))))))> #<alt (λ (x) (* (/ 1.0 2.0) (- (log (+ 1.0 x)) (log (- 1.0 x)))))> #<alt (λ (x) (* (/ 1.0 2.0) (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0))))))))> #<alt (λ (x) (* (/ 1.0 2.0) (* (pow (pow (pow (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))) (* (cbrt 6) (cbrt 6))) (cbrt 6)) 1/3) (cbrt (+ (log 1.0) (* 2.0 (+ (- x (* (/ x 1.0) (/ x 1.0))) (* x x))))))))>)
1.955 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
1.955 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ 1.0 2.0) (+ (* x (* x 2.0)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
1.956 * * [simplify]: iteration  0 :  45  enodes  (cost  24 )
1.956 * * [simplify]: iteration  1 :  45  enodes  (cost  24 )
1.957 * [simplify]: Simplified to:
   (* (/ 1.0 2.0) (+ (* x (* 2.0 x)) (+ (log 1.0) (* 2.0 (- x (* (/ x 1.0) (/ x 1.0)))))))
6.380 * [regime-testing]: End program error score: 0.7111057386326419