0.724 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.288 * * * [progress]: [2/2] Setting up program.
0.291 * [progress]: [Phase 2 of 3] Improving.
0.294 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (+ x 1.0) (+ x 1.0)) 1.0)
0.299 * * [simplify]: iteration  0 :  14  enodes  (cost  4 )
0.300 * * [simplify]: iteration  1 :  37  enodes  (cost  4 )
0.302 * * [simplify]: iteration  2 :  103  enodes  (cost  4 )
0.304 * * [simplify]: iteration  3 :  220  enodes  (cost  4 )
0.307 * * [simplify]: iteration  4 :  387  enodes  (cost  4 )
0.311 * * [simplify]: iteration  5 :  527  enodes  (cost  4 )
0.316 * * [simplify]: iteration  6 :  803  enodes  (cost  4 )
0.326 * * [simplify]: iteration  7 :  1602  enodes  (cost  4 )
0.343 * * [simplify]: iteration  8 :  2861  enodes  (cost  4 )
0.364 * * [simplify]: iteration  9 :  4340  enodes  (cost  4 )
0.389 * * [simplify]: iteration  10 :  4803  enodes  (cost  4 )
0.411 * * [simplify]: iteration  11 :  5001  enodes  (cost  4 )
0.412 * [simplify]: Simplified to:
   (- (* (+ x 1.0) (+ x 1.0)) 1.0)
0.414 * * [progress]: iteration 1 / 4
0.414 * * * [progress]: picking best candidate
0.416 * * * * [pick]: Picked  #<alt (λ (x) (- (* (+ x 1.0) (+ x 1.0)) 1.0))>
0.416 * * * [progress]: localizing error
0.422 * * * [progress]: generating rewritten candidates
0.422 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.433 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.466 * * * [progress]: generating series expansions
0.467 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.471 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in (x) around 0
0.472 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.472 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.472 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.472 * [taylor]: Taking taylor expansion of 2.0 in x
0.472 * [taylor]: Taking taylor expansion of x in x
0.473 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.473 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.473 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.473 * [taylor]: Taking taylor expansion of 2.0 in x
0.473 * [taylor]: Taking taylor expansion of x in x
0.487 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0
0.487 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.487 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.487 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.487 * [taylor]: Taking taylor expansion of x in x
0.488 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.488 * [taylor]: Taking taylor expansion of 2.0 in x
0.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.488 * [taylor]: Taking taylor expansion of x in x
0.488 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.488 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.488 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.488 * [taylor]: Taking taylor expansion of x in x
0.489 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.489 * [taylor]: Taking taylor expansion of 2.0 in x
0.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.489 * [taylor]: Taking taylor expansion of x in x
0.506 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0
0.506 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.506 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.506 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.506 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.507 * [taylor]: Taking taylor expansion of 2.0 in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.507 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.507 * [taylor]: Taking taylor expansion of 2.0 in x
0.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.527 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.527 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 2) in (x) around 0
0.527 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x
0.527 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of 1.0 in x
0.527 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x
0.527 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of 1.0 in x
0.530 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 2) in (x) around 0
0.530 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 2) in x
0.530 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.530 * [taylor]: Taking taylor expansion of 1.0 in x
0.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.531 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 2) in x
0.531 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.531 * [taylor]: Taking taylor expansion of 1.0 in x
0.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.531 * [taylor]: Taking taylor expansion of x in x
0.536 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in (x) around 0
0.536 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x
0.536 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.536 * [taylor]: Taking taylor expansion of 1.0 in x
0.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.537 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x
0.537 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.537 * [taylor]: Taking taylor expansion of 1.0 in x
0.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.537 * [taylor]: Taking taylor expansion of x in x
0.543 * * * [progress]: simplifying candidates
0.544 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (* (+ x 1.0) (+ x 1.0))) (exp 1.0))
  (log (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (exp (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (* (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)))
  (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (* (* (- (* (+ x 1.0) (+ x 1.0)) 1.0) (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (- (pow (* (+ x 1.0) (+ x 1.0)) 3) (pow 1.0 3))
  (+ (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (+ (* 1.0 1.0) (* (* (+ x 1.0) (+ x 1.0)) 1.0)))
  (neg 1.0)
  (- (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* 1.0 1.0))
  (+ (* (+ x 1.0) (+ x 1.0)) 1.0)
  (+ (+ x 1.0) (sqrt 1.0))
  (- (+ x 1.0) (sqrt 1.0))
  (- (* (+ x 1.0) 1.0) 1.0)
  (- (* 1.0 (+ x 1.0)) 1.0)
  (neg 1.0)
  (+ 1 1)
  (* (+ x 1.0) (+ x 1.0))
  (+ 1 1)
  (+ (log (+ x 1.0)) (log (+ x 1.0)))
  (log (* (+ x 1.0) (+ x 1.0)))
  (exp (* (+ x 1.0) (+ x 1.0)))
  (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)))
  (* (cbrt (* (+ x 1.0) (+ x 1.0))) (cbrt (* (+ x 1.0) (+ x 1.0))))
  (cbrt (* (+ x 1.0) (+ x 1.0)))
  (* (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (+ x 1.0) (+ x 1.0)))
  (sqrt (* (+ x 1.0) (+ x 1.0)))
  (sqrt (* (+ x 1.0) (+ x 1.0)))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (pow x 3) (pow 1.0 3)))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0)))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- x 1.0))
  (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3)))
  (* (- x 1.0) (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (* (- (* x x) (* 1.0 1.0)) (- (* x x) (* 1.0 1.0)))
  (* (- x 1.0) (- x 1.0))
  (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
  (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
  (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
  (* 1 1)
  (* (+ x 1.0) (+ x 1.0))
  (* 1 1)
  (* (+ x 1.0) (+ x 1.0))
  (* 1 1)
  (* (+ x 1.0) (+ x 1.0))
  (* 1 1)
  (* (+ x 1.0) (+ x 1.0))
  (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
  (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))
  (* 2 1)
  (* (+ x 1.0) x)
  (* (+ x 1.0) 1.0)
  (* x (+ x 1.0))
  (* 1.0 (+ x 1.0))
  (* (+ x 1.0) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (* (+ x 1.0) (sqrt (+ x 1.0)))
  (* (+ x 1.0) 1)
  (* (+ x 1.0) 1)
  (* (cbrt (+ x 1.0)) (+ x 1.0))
  (* (sqrt (+ x 1.0)) (+ x 1.0))
  (* (+ x 1.0) (+ x 1.0))
  (* (+ x 1.0) (+ x 1.0))
  (* (+ x 1.0) (+ (pow x 3) (pow 1.0 3)))
  (* (+ x 1.0) (- (* x x) (* 1.0 1.0)))
  (* (+ (pow x 3) (pow 1.0 3)) (+ x 1.0))
  (* (- (* x x) (* 1.0 1.0)) (+ x 1.0))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (+ (* 2.0 x) 1.0))
  (+ (pow x 2) (+ (* 2.0 x) 1.0))
  (+ (pow x 2) (+ (* 2.0 x) 1.0))
0.553 * * [simplify]: iteration  0 :  234  enodes  (cost  303 )
0.558 * * [simplify]: iteration  1 :  999  enodes  (cost  270 )
0.582 * * [simplify]: iteration  2 :  5001  enodes  (cost  261 )
0.585 * [simplify]: Simplified to:
   (exp (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (log (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (exp (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (* (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)))
  (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (pow (- (* (+ x 1.0) (+ x 1.0)) 1.0) 3)
  (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))
  (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))
  (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))
  (neg 1.0)
  (+ (neg (* 1.0 1.0)) (* (pow (+ x 1.0) 3) (+ x 1.0)))
  (+ (* (+ x 1.0) (+ x 1.0)) 1.0)
  (+ (+ x 1.0) (sqrt 1.0))
  (- (+ x 1.0) (sqrt 1.0))
  (- (* 1.0 (+ x 1.0)) 1.0)
  (- (* 1.0 (+ x 1.0)) 1.0)
  (neg 1.0)
  2
  (* (+ x 1.0) (+ x 1.0))
  2
  (* 2 (log (+ x 1.0)))
  (* 2 (log (+ x 1.0)))
  (exp (* (+ x 1.0) (+ x 1.0)))
  (pow (+ x 1.0) 6)
  (* (cbrt (* (+ x 1.0) (+ x 1.0))) (cbrt (* (+ x 1.0) (+ x 1.0))))
  (cbrt (* (+ x 1.0) (+ x 1.0)))
  (pow (+ x 1.0) 6)
  (fabs (+ x 1.0))
  (fabs (+ x 1.0))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (pow x 3) (pow 1.0 3)))
  (* (+ (* 1.0 (- 1.0 x)) (pow x 2)) (+ (pow x 2) (* 1.0 (- 1.0 x))))
  (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3)))
  (* (- x 1.0) (+ (pow x 2) (* 1.0 (- 1.0 x))))
  (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3)))
  (* (- x 1.0) (+ (pow x 2) (* 1.0 (- 1.0 x))))
  (* (- (* x x) (* 1.0 1.0)) (- (* x x) (* 1.0 1.0)))
  (* (- x 1.0) (- x 1.0))
  (pow (cbrt (+ x 1.0)) 4)
  (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
  (+ x 1.0)
  (+ x 1.0)
  1
  (* (+ x 1.0) (+ x 1.0))
  1
  (* (+ x 1.0) (+ x 1.0))
  1
  (* (+ x 1.0) (+ x 1.0))
  1
  (* (+ x 1.0) (+ x 1.0))
  (+ x 1.0)
  (+ x 1.0)
  2
  (* x (+ x 1.0))
  (* 1.0 (+ x 1.0))
  (* x (+ x 1.0))
  (* 1.0 (+ x 1.0))
  (* (pow (cbrt (+ x 1.0)) 4) (cbrt (+ x 1.0)))
  (pow (sqrt (+ x 1.0)) 3)
  (+ x 1.0)
  (+ x 1.0)
  (pow (cbrt (+ x 1.0)) 4)
  (pow (sqrt (+ x 1.0)) 3)
  (* (+ x 1.0) (+ x 1.0))
  (* (+ x 1.0) (+ x 1.0))
  (* (+ x 1.0) (+ (pow x 3) (pow 1.0 3)))
  (* (- (* x x) (* 1.0 1.0)) (+ x 1.0))
  (* (+ x 1.0) (+ (pow x 3) (pow 1.0 3)))
  (* (- (* x x) (* 1.0 1.0)) (+ x 1.0))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
  (+ 1.0 (* x (+ 2.0 x)))
  (+ 1.0 (* x (+ 2.0 x)))
  (+ 1.0 (* x (+ 2.0 x)))
0.585 * * * [progress]: adding candidates to table
0.656 * * [progress]: iteration 2 / 4
0.656 * * * [progress]: picking best candidate
0.659 * * * * [pick]: Picked  #<alt (λ (x) (* x (+ 2.0 x)))>
0.659 * * * [progress]: localizing error
0.662 * * * [progress]: generating rewritten candidates
0.662 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.669 * * * [progress]: generating series expansions
0.669 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.669 * [approximate]: Taking taylor expansion of (* (+ x 2.0) x) in (x) around 0
0.669 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.669 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of 2.0 in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of (* (+ x 2.0) x) in x
0.669 * [taylor]: Taking taylor expansion of (+ x 2.0) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.669 * [taylor]: Taking taylor expansion of 2.0 in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.678 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in (x) around 0
0.678 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.678 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.679 * [taylor]: Taking taylor expansion of 2.0 in x
0.679 * [taylor]: Taking taylor expansion of x in x
0.679 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x
0.679 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x
0.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.679 * [taylor]: Taking taylor expansion of x in x
0.680 * [taylor]: Taking taylor expansion of 2.0 in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.691 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in (x) around 0
0.691 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
0.691 * [taylor]: Taking taylor expansion of -1 in x
0.691 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.691 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.691 * [taylor]: Taking taylor expansion of 2.0 in x
0.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.691 * [taylor]: Taking taylor expansion of x in x
0.692 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x
0.692 * [taylor]: Taking taylor expansion of -1 in x
0.692 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x
0.692 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x
0.692 * [taylor]: Taking taylor expansion of 2.0 in x
0.692 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.692 * [taylor]: Taking taylor expansion of x in x
0.692 * [taylor]: Taking taylor expansion of x in x
0.711 * * * [progress]: simplifying candidates
0.712 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (+ 2.0 x))
  (+ (log x) (log (+ 2.0 x)))
  (log (* x (+ 2.0 x)))
  (exp (* x (+ 2.0 x)))
  (* (* (* x x) x) (* (* (+ 2.0 x) (+ 2.0 x)) (+ 2.0 x)))
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  (* (* (* x (+ 2.0 x)) (* x (+ 2.0 x))) (* x (+ 2.0 x)))
  (sqrt (* x (+ 2.0 x)))
  (sqrt (* x (+ 2.0 x)))
  (* (sqrt x) (sqrt (+ 2.0 x)))
  (* (sqrt x) (sqrt (+ 2.0 x)))
  (* x 2.0)
  (* x x)
  (* 2.0 x)
  (* x x)
  (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x))))
  (* x (sqrt (+ 2.0 x)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ 2.0 x))
  (* (sqrt x) (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ (pow 2.0 3) (pow x 3)))
  (* x (- (* 2.0 2.0) (* x x)))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
0.714 * * [simplify]: iteration  0 :  123  enodes  (cost  85 )
0.718 * * [simplify]: iteration  1 :  594  enodes  (cost  76 )
0.730 * * [simplify]: iteration  2 :  2937  enodes  (cost  76 )
0.787 * * [simplify]: iteration  3 :  5001  enodes  (cost  76 )
0.788 * [simplify]: Simplified to:
   (* x (+ 2.0 x))
  (log (* x (+ 2.0 x)))
  (log (* x (+ 2.0 x)))
  (exp (* x (+ 2.0 x)))
  (pow (* x (+ 2.0 x)) 3)
  (* (cbrt (* x (+ 2.0 x))) (cbrt (* x (+ 2.0 x))))
  (cbrt (* x (+ 2.0 x)))
  (pow (* x (+ 2.0 x)) 3)
  (sqrt (* x (+ 2.0 x)))
  (sqrt (* x (+ 2.0 x)))
  (* (sqrt (+ 2.0 x)) (pow x 1/2))
  (* (sqrt (+ 2.0 x)) (pow x 1/2))
  (* x 2.0)
  (pow x 2)
  (* x 2.0)
  (pow x 2)
  (* x (* (cbrt (+ 2.0 x)) (cbrt (+ 2.0 x))))
  (* x (sqrt (+ 2.0 x)))
  x
  x
  (* (cbrt x) (+ 2.0 x))
  (* (sqrt x) (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ (pow 2.0 3) (pow x 3)))
  (* x (- (* 2.0 2.0) (* x x)))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
0.788 * * * [progress]: adding candidates to table
0.815 * * [progress]: iteration 3 / 4
0.815 * * * [progress]: picking best candidate
0.819 * * * * [pick]: Picked  #<alt (λ (x) (+ (* x 2.0) (pow x 2)))>
0.819 * * * [progress]: localizing error
0.824 * * * [progress]: generating rewritten candidates
0.824 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.829 * * * [progress]: generating series expansions
0.829 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.829 * [approximate]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in (x) around 0
0.829 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.829 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.829 * [taylor]: Taking taylor expansion of x in x
0.829 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.829 * [taylor]: Taking taylor expansion of 2.0 in x
0.829 * [taylor]: Taking taylor expansion of x in x
0.829 * [taylor]: Taking taylor expansion of (+ (pow x 2) (* 2.0 x)) in x
0.829 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.829 * [taylor]: Taking taylor expansion of x in x
0.829 * [taylor]: Taking taylor expansion of (* 2.0 x) in x
0.829 * [taylor]: Taking taylor expansion of 2.0 in x
0.829 * [taylor]: Taking taylor expansion of x in x
0.843 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0
0.843 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.843 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.843 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.843 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.843 * [taylor]: Taking taylor expansion of 2.0 in x
0.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.843 * [taylor]: Taking taylor expansion of x in x
0.844 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.844 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.844 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.844 * [taylor]: Taking taylor expansion of x in x
0.844 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.844 * [taylor]: Taking taylor expansion of 2.0 in x
0.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.844 * [taylor]: Taking taylor expansion of x in x
0.861 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0
0.861 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.861 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.861 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.861 * [taylor]: Taking taylor expansion of x in x
0.862 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.862 * [taylor]: Taking taylor expansion of 2.0 in x
0.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.862 * [taylor]: Taking taylor expansion of x in x
0.862 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x
0.862 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.862 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.862 * [taylor]: Taking taylor expansion of x in x
0.863 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x
0.863 * [taylor]: Taking taylor expansion of 2.0 in x
0.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.863 * [taylor]: Taking taylor expansion of x in x
0.884 * * * [progress]: simplifying candidates
0.884 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (* x 2.0)) (exp (pow x 2)))
  (log (+ (* x 2.0) (pow x 2)))
  (exp (+ (* x 2.0) (pow x 2)))
  (* (cbrt (+ (* x 2.0) (pow x 2))) (cbrt (+ (* x 2.0) (pow x 2))))
  (cbrt (+ (* x 2.0) (pow x 2)))
  (* (* (+ (* x 2.0) (pow x 2)) (+ (* x 2.0) (pow x 2))) (+ (* x 2.0) (pow x 2)))
  (sqrt (+ (* x 2.0) (pow x 2)))
  (sqrt (+ (* x 2.0) (pow x 2)))
  (+ (pow (* x 2.0) 3) (pow (pow x 2) 3))
  (+ (* (* x 2.0) (* x 2.0)) (- (* (pow x 2) (pow x 2)) (* (* x 2.0) (pow x 2))))
  (- (* (* x 2.0) (* x 2.0)) (* (pow x 2) (pow x 2)))
  (- (* x 2.0) (pow x 2))
  (+ 2.0 x)
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
0.887 * * [simplify]: iteration  0 :  89  enodes  (cost  77 )
0.890 * * [simplify]: iteration  1 :  335  enodes  (cost  63 )
0.897 * * [simplify]: iteration  2 :  1146  enodes  (cost  59 )
0.928 * * [simplify]: iteration  3 :  5001  enodes  (cost  59 )
0.929 * [simplify]: Simplified to:
   (pow (exp x) (+ 2.0 x))
  (log (+ (* x 2.0) (pow x 2)))
  (pow (exp x) (+ 2.0 x))
  (* (cbrt (+ (* x 2.0) (pow x 2))) (cbrt (+ (* x 2.0) (pow x 2))))
  (cbrt (+ (* x 2.0) (pow x 2)))
  (pow (* x (+ 2.0 x)) 3)
  (sqrt (+ (* x 2.0) (pow x 2)))
  (sqrt (+ (* x 2.0) (pow x 2)))
  (+ (pow (* x 2.0) 3) (pow (pow x 2) 3))
  (+ (* (* x 2.0) (* x (- 2.0 x))) (pow x 4))
  (* (pow x 2) (- (* 2.0 2.0) (pow x 2)))
  (* x (- 2.0 x))
  (+ 2.0 x)
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
0.929 * * * [progress]: adding candidates to table
0.947 * * [progress]: iteration 4 / 4
0.948 * * * [progress]: picking best candidate
0.950 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))>
0.950 * * * [progress]: localizing error
0.965 * * * [progress]: generating rewritten candidates
0.965 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
1.004 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
1.020 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.024 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
1.045 * * * [progress]: generating series expansions
1.045 * * * * [progress]: [ 1 / 4 ] generating series at (2)
1.048 * [approximate]: Taking taylor expansion of (/ (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))))) (+ (* 7.0 (pow x 2)) (+ (* 6.0 x) (+ (* 4.0 (pow x 3)) (+ (pow x 4) 3.0))))) in (x) around 0
1.048 * [taylor]: Taking taylor expansion of (/ (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))))) (+ (* 7.0 (pow x 2)) (+ (* 6.0 x) (+ (* 4.0 (pow x 3)) (+ (pow x 4) 3.0))))) in x
1.048 * [taylor]: Taking taylor expansion of (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))))) in x
1.048 * [taylor]: Taking taylor expansion of (* 15.0 (pow x 2)) in x
1.048 * [taylor]: Taking taylor expansion of 15.0 in x
1.048 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5)))))) in x
1.048 * [taylor]: Taking taylor expansion of (* 20.0 (pow x 3)) in x
1.048 * [taylor]: Taking taylor expansion of 20.0 in x
1.048 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))) in x
1.048 * [taylor]: Taking taylor expansion of (* 15.0 (pow x 4)) in x
1.048 * [taylor]: Taking taylor expansion of 15.0 in x
1.048 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5)))) in x
1.048 * [taylor]: Taking taylor expansion of (* 6.0 x) in x
1.048 * [taylor]: Taking taylor expansion of 6.0 in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (+ (pow x 6) (* 6.0 (pow x 5))) in x
1.048 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 5)) in x
1.048 * [taylor]: Taking taylor expansion of 6.0 in x
1.048 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (+ (* 7.0 (pow x 2)) (+ (* 6.0 x) (+ (* 4.0 (pow x 3)) (+ (pow x 4) 3.0)))) in x
1.048 * [taylor]: Taking taylor expansion of (* 7.0 (pow x 2)) in x
1.048 * [taylor]: Taking taylor expansion of 7.0 in x
1.048 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.048 * [taylor]: Taking taylor expansion of x in x
1.048 * [taylor]: Taking taylor expansion of (+ (* 6.0 x) (+ (* 4.0 (pow x 3)) (+ (pow x 4) 3.0))) in x
1.048 * [taylor]: Taking taylor expansion of (* 6.0 x) in x
1.048 * [taylor]: Taking taylor expansion of 6.0 in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (+ (pow x 4) 3.0)) in x
1.049 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
1.049 * [taylor]: Taking taylor expansion of 4.0 in x
1.049 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of (+ (pow x 4) 3.0) in x
1.049 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of 3.0 in x
1.053 * [taylor]: Taking taylor expansion of (/ (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))))) (+ (* 7.0 (pow x 2)) (+ (* 6.0 x) (+ (* 4.0 (pow x 3)) (+ (pow x 4) 3.0))))) in x
1.053 * [taylor]: Taking taylor expansion of (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))))) in x
1.053 * [taylor]: Taking taylor expansion of (* 15.0 (pow x 2)) in x
1.054 * [taylor]: Taking taylor expansion of 15.0 in x
1.054 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5)))))) in x
1.054 * [taylor]: Taking taylor expansion of (* 20.0 (pow x 3)) in x
1.054 * [taylor]: Taking taylor expansion of 20.0 in x
1.054 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))) in x
1.054 * [taylor]: Taking taylor expansion of (* 15.0 (pow x 4)) in x
1.054 * [taylor]: Taking taylor expansion of 15.0 in x
1.054 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5)))) in x
1.054 * [taylor]: Taking taylor expansion of (* 6.0 x) in x
1.054 * [taylor]: Taking taylor expansion of 6.0 in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (+ (pow x 6) (* 6.0 (pow x 5))) in x
1.054 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 5)) in x
1.054 * [taylor]: Taking taylor expansion of 6.0 in x
1.054 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (+ (* 7.0 (pow x 2)) (+ (* 6.0 x) (+ (* 4.0 (pow x 3)) (+ (pow x 4) 3.0)))) in x
1.054 * [taylor]: Taking taylor expansion of (* 7.0 (pow x 2)) in x
1.054 * [taylor]: Taking taylor expansion of 7.0 in x
1.054 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (+ (* 6.0 x) (+ (* 4.0 (pow x 3)) (+ (pow x 4) 3.0))) in x
1.054 * [taylor]: Taking taylor expansion of (* 6.0 x) in x
1.054 * [taylor]: Taking taylor expansion of 6.0 in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (+ (* 4.0 (pow x 3)) (+ (pow x 4) 3.0)) in x
1.054 * [taylor]: Taking taylor expansion of (* 4.0 (pow x 3)) in x
1.054 * [taylor]: Taking taylor expansion of 4.0 in x
1.054 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of (+ (pow x 4) 3.0) in x
1.054 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.054 * [taylor]: Taking taylor expansion of x in x
1.054 * [taylor]: Taking taylor expansion of 3.0 in x
1.162 * [approximate]: Taking taylor expansion of (/ (+ (* 15.0 (/ 1 (pow x 4))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))))) (+ 3.0 (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3)))))))) in (x) around 0
1.162 * [taylor]: Taking taylor expansion of (/ (+ (* 15.0 (/ 1 (pow x 4))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))))) (+ 3.0 (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3)))))))) in x
1.162 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 4))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))))) in x
1.162 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 4))) in x
1.162 * [taylor]: Taking taylor expansion of 15.0 in x
1.162 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.162 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.162 * [taylor]: Taking taylor expansion of x in x
1.163 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))))) in x
1.163 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 (pow x 3))) in x
1.163 * [taylor]: Taking taylor expansion of 20.0 in x
1.163 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.163 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.163 * [taylor]: Taking taylor expansion of x in x
1.164 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) in x
1.164 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.164 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.164 * [taylor]: Taking taylor expansion of x in x
1.165 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))) in x
1.165 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 2))) in x
1.165 * [taylor]: Taking taylor expansion of 15.0 in x
1.165 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.165 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.165 * [taylor]: Taking taylor expansion of x in x
1.165 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))) in x
1.166 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
1.166 * [taylor]: Taking taylor expansion of 6.0 in x
1.166 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
1.166 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.166 * [taylor]: Taking taylor expansion of x in x
1.166 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.167 * [taylor]: Taking taylor expansion of 6.0 in x
1.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.167 * [taylor]: Taking taylor expansion of x in x
1.167 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3))))))) in x
1.167 * [taylor]: Taking taylor expansion of 3.0 in x
1.167 * [taylor]: Taking taylor expansion of (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3)))))) in x
1.167 * [taylor]: Taking taylor expansion of (* 7.0 (/ 1 (pow x 2))) in x
1.167 * [taylor]: Taking taylor expansion of 7.0 in x
1.167 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.167 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.167 * [taylor]: Taking taylor expansion of x in x
1.167 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3))))) in x
1.167 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.168 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.168 * [taylor]: Taking taylor expansion of x in x
1.168 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3)))) in x
1.168 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.168 * [taylor]: Taking taylor expansion of 6.0 in x
1.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.168 * [taylor]: Taking taylor expansion of x in x
1.169 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.169 * [taylor]: Taking taylor expansion of 4.0 in x
1.169 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.169 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.169 * [taylor]: Taking taylor expansion of x in x
1.171 * [taylor]: Taking taylor expansion of (/ (+ (* 15.0 (/ 1 (pow x 4))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))))) (+ 3.0 (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3)))))))) in x
1.171 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 4))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))))) in x
1.171 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 4))) in x
1.171 * [taylor]: Taking taylor expansion of 15.0 in x
1.171 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.171 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.171 * [taylor]: Taking taylor expansion of x in x
1.172 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))))) in x
1.172 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 (pow x 3))) in x
1.172 * [taylor]: Taking taylor expansion of 20.0 in x
1.172 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.172 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.172 * [taylor]: Taking taylor expansion of x in x
1.173 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) in x
1.173 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.173 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.173 * [taylor]: Taking taylor expansion of x in x
1.174 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))) in x
1.174 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 2))) in x
1.174 * [taylor]: Taking taylor expansion of 15.0 in x
1.174 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.174 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.174 * [taylor]: Taking taylor expansion of x in x
1.174 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))) in x
1.174 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
1.174 * [taylor]: Taking taylor expansion of 6.0 in x
1.174 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
1.174 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.174 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.175 * [taylor]: Taking taylor expansion of 6.0 in x
1.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.176 * [taylor]: Taking taylor expansion of (+ 3.0 (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3))))))) in x
1.176 * [taylor]: Taking taylor expansion of 3.0 in x
1.176 * [taylor]: Taking taylor expansion of (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3)))))) in x
1.176 * [taylor]: Taking taylor expansion of (* 7.0 (/ 1 (pow x 2))) in x
1.176 * [taylor]: Taking taylor expansion of 7.0 in x
1.176 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.176 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.176 * [taylor]: Taking taylor expansion of x in x
1.176 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3))))) in x
1.176 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.176 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.176 * [taylor]: Taking taylor expansion of x in x
1.177 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 x)) (* 4.0 (/ 1 (pow x 3)))) in x
1.177 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.177 * [taylor]: Taking taylor expansion of 6.0 in x
1.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.177 * [taylor]: Taking taylor expansion of x in x
1.177 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.177 * [taylor]: Taking taylor expansion of 4.0 in x
1.177 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.177 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.177 * [taylor]: Taking taylor expansion of x in x
1.318 * [approximate]: Taking taylor expansion of (/ (- (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) (- (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) 3.0)) (+ (* 4.0 (/ 1 (pow x 3))) (* 6.0 (/ 1 x))))) in (x) around 0
1.318 * [taylor]: Taking taylor expansion of (/ (- (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) (- (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) 3.0)) (+ (* 4.0 (/ 1 (pow x 3))) (* 6.0 (/ 1 x))))) in x
1.318 * [taylor]: Taking taylor expansion of (- (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) in x
1.318 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) in x
1.318 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 4))) in x
1.318 * [taylor]: Taking taylor expansion of 15.0 in x
1.318 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.318 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.318 * [taylor]: Taking taylor expansion of x in x
1.319 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2)))) in x
1.319 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.319 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.319 * [taylor]: Taking taylor expansion of x in x
1.320 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 2))) in x
1.320 * [taylor]: Taking taylor expansion of 15.0 in x
1.320 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.320 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.320 * [taylor]: Taking taylor expansion of x in x
1.321 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))) in x
1.321 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 (pow x 3))) in x
1.321 * [taylor]: Taking taylor expansion of 20.0 in x
1.321 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.321 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.321 * [taylor]: Taking taylor expansion of x in x
1.322 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))) in x
1.322 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
1.322 * [taylor]: Taking taylor expansion of 6.0 in x
1.322 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
1.322 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.322 * [taylor]: Taking taylor expansion of x in x
1.323 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.323 * [taylor]: Taking taylor expansion of 6.0 in x
1.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.323 * [taylor]: Taking taylor expansion of x in x
1.323 * [taylor]: Taking taylor expansion of (- (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) 3.0)) (+ (* 4.0 (/ 1 (pow x 3))) (* 6.0 (/ 1 x)))) in x
1.323 * [taylor]: Taking taylor expansion of (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) 3.0)) in x
1.323 * [taylor]: Taking taylor expansion of (* 7.0 (/ 1 (pow x 2))) in x
1.323 * [taylor]: Taking taylor expansion of 7.0 in x
1.323 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.323 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.323 * [taylor]: Taking taylor expansion of x in x
1.323 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) 3.0) in x
1.323 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.324 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.324 * [taylor]: Taking taylor expansion of x in x
1.324 * [taylor]: Taking taylor expansion of 3.0 in x
1.324 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 3))) (* 6.0 (/ 1 x))) in x
1.324 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.324 * [taylor]: Taking taylor expansion of 4.0 in x
1.324 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.324 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.324 * [taylor]: Taking taylor expansion of x in x
1.325 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.325 * [taylor]: Taking taylor expansion of 6.0 in x
1.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.325 * [taylor]: Taking taylor expansion of x in x
1.327 * [taylor]: Taking taylor expansion of (/ (- (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) (- (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) 3.0)) (+ (* 4.0 (/ 1 (pow x 3))) (* 6.0 (/ 1 x))))) in x
1.327 * [taylor]: Taking taylor expansion of (- (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) in x
1.327 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) in x
1.327 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 4))) in x
1.327 * [taylor]: Taking taylor expansion of 15.0 in x
1.327 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.327 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.327 * [taylor]: Taking taylor expansion of x in x
1.328 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2)))) in x
1.328 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.328 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.328 * [taylor]: Taking taylor expansion of x in x
1.329 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 2))) in x
1.329 * [taylor]: Taking taylor expansion of 15.0 in x
1.329 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.329 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.329 * [taylor]: Taking taylor expansion of x in x
1.330 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))) in x
1.330 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 (pow x 3))) in x
1.330 * [taylor]: Taking taylor expansion of 20.0 in x
1.330 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.330 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.330 * [taylor]: Taking taylor expansion of x in x
1.330 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))) in x
1.330 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
1.330 * [taylor]: Taking taylor expansion of 6.0 in x
1.330 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
1.330 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.330 * [taylor]: Taking taylor expansion of x in x
1.331 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.331 * [taylor]: Taking taylor expansion of 6.0 in x
1.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.331 * [taylor]: Taking taylor expansion of x in x
1.332 * [taylor]: Taking taylor expansion of (- (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) 3.0)) (+ (* 4.0 (/ 1 (pow x 3))) (* 6.0 (/ 1 x)))) in x
1.332 * [taylor]: Taking taylor expansion of (+ (* 7.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 4)) 3.0)) in x
1.332 * [taylor]: Taking taylor expansion of (* 7.0 (/ 1 (pow x 2))) in x
1.332 * [taylor]: Taking taylor expansion of 7.0 in x
1.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.332 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.332 * [taylor]: Taking taylor expansion of x in x
1.332 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 4)) 3.0) in x
1.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.332 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.332 * [taylor]: Taking taylor expansion of x in x
1.333 * [taylor]: Taking taylor expansion of 3.0 in x
1.333 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow x 3))) (* 6.0 (/ 1 x))) in x
1.333 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow x 3))) in x
1.333 * [taylor]: Taking taylor expansion of 4.0 in x
1.333 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.333 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.333 * [taylor]: Taking taylor expansion of x in x
1.334 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.334 * [taylor]: Taking taylor expansion of 6.0 in x
1.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.334 * [taylor]: Taking taylor expansion of x in x
1.482 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
1.483 * [approximate]: Taking taylor expansion of (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))))) in (x) around 0
1.483 * [taylor]: Taking taylor expansion of (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))))) in x
1.483 * [taylor]: Taking taylor expansion of (* 15.0 (pow x 2)) in x
1.483 * [taylor]: Taking taylor expansion of 15.0 in x
1.483 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5)))))) in x
1.483 * [taylor]: Taking taylor expansion of (* 20.0 (pow x 3)) in x
1.483 * [taylor]: Taking taylor expansion of 20.0 in x
1.483 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))) in x
1.483 * [taylor]: Taking taylor expansion of (* 15.0 (pow x 4)) in x
1.483 * [taylor]: Taking taylor expansion of 15.0 in x
1.483 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5)))) in x
1.483 * [taylor]: Taking taylor expansion of (* 6.0 x) in x
1.483 * [taylor]: Taking taylor expansion of 6.0 in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (+ (pow x 6) (* 6.0 (pow x 5))) in x
1.483 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 5)) in x
1.483 * [taylor]: Taking taylor expansion of 6.0 in x
1.483 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))))) in x
1.483 * [taylor]: Taking taylor expansion of (* 15.0 (pow x 2)) in x
1.483 * [taylor]: Taking taylor expansion of 15.0 in x
1.483 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.483 * [taylor]: Taking taylor expansion of x in x
1.483 * [taylor]: Taking taylor expansion of (+ (* 20.0 (pow x 3)) (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5)))))) in x
1.483 * [taylor]: Taking taylor expansion of (* 20.0 (pow x 3)) in x
1.483 * [taylor]: Taking taylor expansion of 20.0 in x
1.483 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.484 * [taylor]: Taking taylor expansion of x in x
1.484 * [taylor]: Taking taylor expansion of (+ (* 15.0 (pow x 4)) (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5))))) in x
1.484 * [taylor]: Taking taylor expansion of (* 15.0 (pow x 4)) in x
1.484 * [taylor]: Taking taylor expansion of 15.0 in x
1.484 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.484 * [taylor]: Taking taylor expansion of x in x
1.484 * [taylor]: Taking taylor expansion of (+ (* 6.0 x) (+ (pow x 6) (* 6.0 (pow x 5)))) in x
1.484 * [taylor]: Taking taylor expansion of (* 6.0 x) in x
1.484 * [taylor]: Taking taylor expansion of 6.0 in x
1.484 * [taylor]: Taking taylor expansion of x in x
1.484 * [taylor]: Taking taylor expansion of (+ (pow x 6) (* 6.0 (pow x 5))) in x
1.484 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.484 * [taylor]: Taking taylor expansion of x in x
1.484 * [taylor]: Taking taylor expansion of (* 6.0 (pow x 5)) in x
1.484 * [taylor]: Taking taylor expansion of 6.0 in x
1.484 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.484 * [taylor]: Taking taylor expansion of x in x
1.494 * [approximate]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 4))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))))) in (x) around 0
1.494 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 4))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))))) in x
1.494 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 4))) in x
1.494 * [taylor]: Taking taylor expansion of 15.0 in x
1.494 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.494 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.494 * [taylor]: Taking taylor expansion of x in x
1.494 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))))) in x
1.494 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 (pow x 3))) in x
1.494 * [taylor]: Taking taylor expansion of 20.0 in x
1.494 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.494 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.495 * [taylor]: Taking taylor expansion of x in x
1.495 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) in x
1.495 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.495 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.495 * [taylor]: Taking taylor expansion of x in x
1.496 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))) in x
1.496 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 2))) in x
1.496 * [taylor]: Taking taylor expansion of 15.0 in x
1.496 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.496 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.496 * [taylor]: Taking taylor expansion of x in x
1.497 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))) in x
1.497 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
1.497 * [taylor]: Taking taylor expansion of 6.0 in x
1.497 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
1.497 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.497 * [taylor]: Taking taylor expansion of x in x
1.498 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.498 * [taylor]: Taking taylor expansion of 6.0 in x
1.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.498 * [taylor]: Taking taylor expansion of x in x
1.498 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 4))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))))) in x
1.498 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 4))) in x
1.498 * [taylor]: Taking taylor expansion of 15.0 in x
1.498 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.498 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.498 * [taylor]: Taking taylor expansion of x in x
1.499 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 (pow x 3))) (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))))) in x
1.499 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 (pow x 3))) in x
1.499 * [taylor]: Taking taylor expansion of 20.0 in x
1.499 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.499 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.500 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) in x
1.500 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.500 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.500 * [taylor]: Taking taylor expansion of x in x
1.501 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))) in x
1.501 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 2))) in x
1.501 * [taylor]: Taking taylor expansion of 15.0 in x
1.501 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.501 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.501 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))) in x
1.501 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
1.501 * [taylor]: Taking taylor expansion of 6.0 in x
1.501 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
1.501 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.501 * [taylor]: Taking taylor expansion of x in x
1.502 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.502 * [taylor]: Taking taylor expansion of 6.0 in x
1.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.502 * [taylor]: Taking taylor expansion of x in x
1.514 * [approximate]: Taking taylor expansion of (- (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) in (x) around 0
1.514 * [taylor]: Taking taylor expansion of (- (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) in x
1.514 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) in x
1.514 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 4))) in x
1.514 * [taylor]: Taking taylor expansion of 15.0 in x
1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.514 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.514 * [taylor]: Taking taylor expansion of x in x
1.514 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2)))) in x
1.514 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.515 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.515 * [taylor]: Taking taylor expansion of x in x
1.515 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 2))) in x
1.515 * [taylor]: Taking taylor expansion of 15.0 in x
1.515 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.515 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.515 * [taylor]: Taking taylor expansion of x in x
1.516 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))) in x
1.516 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 (pow x 3))) in x
1.516 * [taylor]: Taking taylor expansion of 20.0 in x
1.516 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.516 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.516 * [taylor]: Taking taylor expansion of x in x
1.517 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))) in x
1.517 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
1.517 * [taylor]: Taking taylor expansion of 6.0 in x
1.517 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
1.517 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.517 * [taylor]: Taking taylor expansion of x in x
1.518 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.518 * [taylor]: Taking taylor expansion of 6.0 in x
1.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.518 * [taylor]: Taking taylor expansion of x in x
1.518 * [taylor]: Taking taylor expansion of (- (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))))) in x
1.518 * [taylor]: Taking taylor expansion of (+ (* 15.0 (/ 1 (pow x 4))) (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2))))) in x
1.518 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 4))) in x
1.518 * [taylor]: Taking taylor expansion of 15.0 in x
1.518 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.518 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.518 * [taylor]: Taking taylor expansion of x in x
1.519 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 6)) (* 15.0 (/ 1 (pow x 2)))) in x
1.521 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x
1.521 * [taylor]: Taking taylor expansion of (pow x 6) in x
1.521 * [taylor]: Taking taylor expansion of x in x
1.522 * [taylor]: Taking taylor expansion of (* 15.0 (/ 1 (pow x 2))) in x
1.522 * [taylor]: Taking taylor expansion of 15.0 in x
1.522 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.522 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.522 * [taylor]: Taking taylor expansion of x in x
1.523 * [taylor]: Taking taylor expansion of (+ (* 20.0 (/ 1 (pow x 3))) (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x)))) in x
1.523 * [taylor]: Taking taylor expansion of (* 20.0 (/ 1 (pow x 3))) in x
1.523 * [taylor]: Taking taylor expansion of 20.0 in x
1.523 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.523 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.523 * [taylor]: Taking taylor expansion of x in x
1.523 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (pow x 5))) (* 6.0 (/ 1 x))) in x
1.524 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 5))) in x
1.524 * [taylor]: Taking taylor expansion of 6.0 in x
1.524 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
1.524 * [taylor]: Taking taylor expansion of (pow x 5) in x
1.524 * [taylor]: Taking taylor expansion of x in x
1.524 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
1.524 * [taylor]: Taking taylor expansion of 6.0 in x
1.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.525 * [taylor]: Taking taylor expansion of x in x
1.535 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.536 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 6) in (x) around 0
1.536 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 6) in x
1.536 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.536 * [taylor]: Taking taylor expansion of 1.0 in x
1.536 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 6) in x
1.536 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.536 * [taylor]: Taking taylor expansion of 1.0 in x
1.544 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 6) in (x) around 0
1.544 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 6) in x
1.544 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.544 * [taylor]: Taking taylor expansion of 1.0 in x
1.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.544 * [taylor]: Taking taylor expansion of x in x
1.545 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 6) in x
1.545 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.545 * [taylor]: Taking taylor expansion of 1.0 in x
1.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.545 * [taylor]: Taking taylor expansion of x in x
1.556 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 6) in (x) around 0
1.556 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 6) in x
1.556 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.556 * [taylor]: Taking taylor expansion of 1.0 in x
1.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.556 * [taylor]: Taking taylor expansion of x in x
1.557 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 6) in x
1.557 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.557 * [taylor]: Taking taylor expansion of 1.0 in x
1.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.557 * [taylor]: Taking taylor expansion of x in x
1.570 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.570 * [approximate]: Taking taylor expansion of (* (+ 2.0 (+ (* 3.0 (pow x 2)) (+ (pow x 3) (* 4.0 x)))) (+ x 1.0)) in (x) around 0
1.570 * [taylor]: Taking taylor expansion of (* (+ 2.0 (+ (* 3.0 (pow x 2)) (+ (pow x 3) (* 4.0 x)))) (+ x 1.0)) in x
1.570 * [taylor]: Taking taylor expansion of (+ 2.0 (+ (* 3.0 (pow x 2)) (+ (pow x 3) (* 4.0 x)))) in x
1.570 * [taylor]: Taking taylor expansion of 2.0 in x
1.570 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) (+ (pow x 3) (* 4.0 x))) in x
1.570 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.570 * [taylor]: Taking taylor expansion of 3.0 in x
1.570 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.570 * [taylor]: Taking taylor expansion of x in x
1.570 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 4.0 x)) in x
1.570 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.570 * [taylor]: Taking taylor expansion of x in x
1.570 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.571 * [taylor]: Taking taylor expansion of 4.0 in x
1.571 * [taylor]: Taking taylor expansion of x in x
1.571 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.571 * [taylor]: Taking taylor expansion of x in x
1.571 * [taylor]: Taking taylor expansion of 1.0 in x
1.571 * [taylor]: Taking taylor expansion of (* (+ 2.0 (+ (* 3.0 (pow x 2)) (+ (pow x 3) (* 4.0 x)))) (+ x 1.0)) in x
1.571 * [taylor]: Taking taylor expansion of (+ 2.0 (+ (* 3.0 (pow x 2)) (+ (pow x 3) (* 4.0 x)))) in x
1.571 * [taylor]: Taking taylor expansion of 2.0 in x
1.571 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) (+ (pow x 3) (* 4.0 x))) in x
1.571 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
1.571 * [taylor]: Taking taylor expansion of 3.0 in x
1.571 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.571 * [taylor]: Taking taylor expansion of x in x
1.571 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 4.0 x)) in x
1.571 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.571 * [taylor]: Taking taylor expansion of x in x
1.571 * [taylor]: Taking taylor expansion of (* 4.0 x) in x
1.571 * [taylor]: Taking taylor expansion of 4.0 in x
1.571 * [taylor]: Taking taylor expansion of x in x
1.571 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.571 * [taylor]: Taking taylor expansion of x in x
1.571 * [taylor]: Taking taylor expansion of 1.0 in x
1.580 * [approximate]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 4.0 (/ 1 x)) 2.0))) (+ 1.0 (/ 1 x))) in (x) around 0
1.580 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 4.0 (/ 1 x)) 2.0))) (+ 1.0 (/ 1 x))) in x
1.580 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 4.0 (/ 1 x)) 2.0))) in x
1.580 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.580 * [taylor]: Taking taylor expansion of 3.0 in x
1.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.580 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.580 * [taylor]: Taking taylor expansion of x in x
1.580 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (+ (* 4.0 (/ 1 x)) 2.0)) in x
1.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.580 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.580 * [taylor]: Taking taylor expansion of x in x
1.581 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 2.0) in x
1.581 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.581 * [taylor]: Taking taylor expansion of 4.0 in x
1.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.581 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of 2.0 in x
1.582 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.582 * [taylor]: Taking taylor expansion of 1.0 in x
1.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of (* (+ (* 3.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 4.0 (/ 1 x)) 2.0))) (+ 1.0 (/ 1 x))) in x
1.582 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (/ 1 (pow x 3)) (+ (* 4.0 (/ 1 x)) 2.0))) in x
1.582 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.582 * [taylor]: Taking taylor expansion of 3.0 in x
1.582 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.582 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (+ (* 4.0 (/ 1 x)) 2.0)) in x
1.583 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.583 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.583 * [taylor]: Taking taylor expansion of x in x
1.583 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 x)) 2.0) in x
1.583 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.583 * [taylor]: Taking taylor expansion of 4.0 in x
1.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.583 * [taylor]: Taking taylor expansion of x in x
1.584 * [taylor]: Taking taylor expansion of 2.0 in x
1.584 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.584 * [taylor]: Taking taylor expansion of 1.0 in x
1.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.584 * [taylor]: Taking taylor expansion of x in x
1.596 * [approximate]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (* 3.0 (/ 1 (pow x 2))) 2.0) (+ (/ 1 (pow x 3)) (* 4.0 (/ 1 x))))) in (x) around 0
1.596 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (* 3.0 (/ 1 (pow x 2))) 2.0) (+ (/ 1 (pow x 3)) (* 4.0 (/ 1 x))))) in x
1.596 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.596 * [taylor]: Taking taylor expansion of 1.0 in x
1.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.596 * [taylor]: Taking taylor expansion of x in x
1.596 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 2.0) (+ (/ 1 (pow x 3)) (* 4.0 (/ 1 x)))) in x
1.596 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 2.0) in x
1.596 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.596 * [taylor]: Taking taylor expansion of 3.0 in x
1.596 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.596 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.596 * [taylor]: Taking taylor expansion of x in x
1.597 * [taylor]: Taking taylor expansion of 2.0 in x
1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (* 4.0 (/ 1 x))) in x
1.597 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.597 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.597 * [taylor]: Taking taylor expansion of x in x
1.597 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.597 * [taylor]: Taking taylor expansion of 4.0 in x
1.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.597 * [taylor]: Taking taylor expansion of x in x
1.598 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (- (+ (* 3.0 (/ 1 (pow x 2))) 2.0) (+ (/ 1 (pow x 3)) (* 4.0 (/ 1 x))))) in x
1.598 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.598 * [taylor]: Taking taylor expansion of 1.0 in x
1.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.598 * [taylor]: Taking taylor expansion of x in x
1.598 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow x 2))) 2.0) (+ (/ 1 (pow x 3)) (* 4.0 (/ 1 x)))) in x
1.598 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) 2.0) in x
1.598 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
1.598 * [taylor]: Taking taylor expansion of 3.0 in x
1.598 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.598 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.598 * [taylor]: Taking taylor expansion of x in x
1.599 * [taylor]: Taking taylor expansion of 2.0 in x
1.599 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 3)) (* 4.0 (/ 1 x))) in x
1.599 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.599 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.599 * [taylor]: Taking taylor expansion of x in x
1.599 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 x)) in x
1.599 * [taylor]: Taking taylor expansion of 4.0 in x
1.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.599 * [taylor]: Taking taylor expansion of x in x
1.616 * * * [progress]: simplifying candidates
1.619 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (log (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (log (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (exp (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (* (* (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (* (* (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (* (cbrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))) (cbrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (cbrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (* (* (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))) (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (sqrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (sqrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (neg (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (neg (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ 0 (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ (- (pow 1.0 3) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ (* (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))) (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (* (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (* (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))) 1)
  (/ (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) 1)
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ 1 (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ 1 (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ 1 1)
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ 1 (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ 1 (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ 1 1)
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ 1 (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ 1 (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ 1 1)
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ 1 (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) 1)
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (pow (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) 3) (pow (* 1.0 1.0) 3)))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (- (* (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))) (* (* 1.0 1.0) (* 1.0 1.0))))
  (* (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (* (neg (pow 1.0 3)) (neg (pow 1.0 3))) (- (* (pow (+ x 1.0) 6) (pow (+ x 1.0) 6)) (* (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))))
  (* (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (- (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (* (/ 1 (exp (pow 1.0 3))) (exp (pow (+ x 1.0) 6)))
  (* (exp (neg (pow 1.0 3))) (exp (pow (+ x 1.0) 6)))
  (log (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (exp (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (* (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))))
  (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (* (* (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (+ (pow (neg (pow 1.0 3)) 3) (pow (pow (+ x 1.0) 6) 3))
  (+ (* (neg (pow 1.0 3)) (neg (pow 1.0 3))) (- (* (pow (+ x 1.0) 6) (pow (+ x 1.0) 6)) (* (neg (pow 1.0 3)) (pow (+ x 1.0) 6))))
  (- (* (neg (pow 1.0 3)) (neg (pow 1.0 3))) (* (pow (+ x 1.0) 6) (pow (+ x 1.0) 6)))
  (- (neg (pow 1.0 3)) (pow (+ x 1.0) 6))
  (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))
  (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))
  (- (pow 1.0 3) (pow (+ x 1.0) 6))
  (* (log (+ x 1.0)) 6)
  (* (log (+ x 1.0)) 6)
  (* 1 6)
  (pow (+ x 1.0) (* (cbrt 6) (cbrt 6)))
  (pow (+ x 1.0) (sqrt 6))
  (pow (+ x 1.0) 1)
  (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) 6)
  (pow (cbrt (+ x 1.0)) 6)
  (pow (sqrt (+ x 1.0)) 6)
  (pow (sqrt (+ x 1.0)) 6)
  (pow 1 6)
  (pow (+ x 1.0) 6)
  (pow 1 6)
  (pow (+ x 1.0) 6)
  (log (pow (+ x 1.0) 6))
  (exp (pow (+ x 1.0) 6))
  (* (cbrt (pow (+ x 1.0) 6)) (cbrt (pow (+ x 1.0) 6)))
  (cbrt (pow (+ x 1.0) 6))
  (* (* (pow (+ x 1.0) 6) (pow (+ x 1.0) 6)) (pow (+ x 1.0) 6))
  (sqrt (pow (+ x 1.0) 6))
  (sqrt (pow (+ x 1.0) 6))
  (pow (+ x 1.0) (/ 6 2))
  (pow (+ x 1.0) (/ 6 2))
  (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (+ (log (+ x 1.0)) (log (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (log (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (exp (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (* (cbrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))) (cbrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))))
  (cbrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (* (* (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))) (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (sqrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (sqrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (- x 1.0)) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (- x 1.0)))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (- x 1.0) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (* (pow (- x 1.0) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (- x 1.0)) (* (pow (- x 1.0) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (* (pow (- x 1.0) 3) (- x 1.0)))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (pow (pow (+ x 1.0) 3) 3) (pow (* 1.0 (+ x 1.0)) 3)))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (+ (* (pow (+ x 1.0) 3) (pow (+ x 1.0) 3)) (- (* (* 1.0 (+ x 1.0)) (* 1.0 (+ x 1.0))) (* (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))))
  (* (+ (pow x 3) (pow 1.0 3)) (- (* (pow (+ x 1.0) 3) (pow (+ x 1.0) 3)) (* (* 1.0 (+ x 1.0)) (* 1.0 (+ x 1.0)))))
  (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (- (* x x) (* 1.0 1.0)) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (- x 1.0) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))
  (* (- (* x x) (* 1.0 1.0)) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (- x 1.0)) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (- x 1.0) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (- x 1.0)))
  (* (- (* x x) (* 1.0 1.0)) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (- x 1.0) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (- x 1.0) (* (pow (- x 1.0) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))
  (* (- (* x x) (* 1.0 1.0)) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (- x 1.0)) (* (pow (- x 1.0) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (- x 1.0) (* (pow (- x 1.0) 3) (- x 1.0)))
  (* (- (* x x) (* 1.0 1.0)) (+ (pow (pow (+ x 1.0) 3) 3) (pow (* 1.0 (+ x 1.0)) 3)))
  (* (- x 1.0) (+ (* (pow (+ x 1.0) 3) (pow (+ x 1.0) 3)) (- (* (* 1.0 (+ x 1.0)) (* 1.0 (+ x 1.0))) (* (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))))
  (* (- (* x x) (* 1.0 1.0)) (- (* (pow (+ x 1.0) 3) (pow (+ x 1.0) 3)) (* (* 1.0 (+ x 1.0)) (* 1.0 (+ x 1.0)))))
  (* (- x 1.0) (- (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (sqrt (+ x 1.0)) (sqrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (* (sqrt (+ x 1.0)) (sqrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (* (+ x 1.0) (pow (+ x 1.0) 3))
  (* (+ x 1.0) (* 1.0 (+ x 1.0)))
  (* (pow (+ x 1.0) 3) (+ x 1.0))
  (* (* 1.0 (+ x 1.0)) (+ x 1.0))
  (* (+ x 1.0) (* (cbrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (cbrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))))
  (* (+ x 1.0) (sqrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (* (+ x 1.0) 1)
  (* (+ x 1.0) (+ x 1.0))
  (* (cbrt (+ x 1.0)) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (sqrt (+ x 1.0)) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (+ x 1.0) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (+ x 1.0) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (- x 1.0)) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (+ x 1.0) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (- x 1.0) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (+ x 1.0) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (- x 1.0)) (* (pow (- x 1.0) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (+ x 1.0) (+ (pow (pow (+ x 1.0) 3) 3) (pow (* 1.0 (+ x 1.0)) 3)))
  (* (+ x 1.0) (- (* (pow (+ x 1.0) 3) (pow (+ x 1.0) 3)) (* (* 1.0 (+ x 1.0)) (* 1.0 (+ x 1.0)))))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (- (* x x) (* 1.0 1.0)) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (+ (* 1.0 (pow x 2)) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
  (+ (pow x 2) (* 2.0 x))
  (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (* 6.0 x)))
  (+ (pow x 6) (+ (* 15.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (pow x 6) (+ (* 15.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (* 15.0 (pow x 2)) (+ (* 6.0 x) 1.0))
  (+ (pow x 6) (+ (* 15.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (pow x 6) (+ (* 15.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (* 7.0 (pow x 2)) (+ (* 6.0 x) 2.0))
  (+ (* 7.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))
  (+ (* 7.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))
1.629 * * [simplify]: iteration  0 :  802  enodes  (cost  1834 )
1.647 * * [simplify]: iteration  1 :  4717  enodes  (cost  1719 )
1.758 * * [simplify]: iteration  2 :  5002  enodes  (cost  1719 )
1.767 * [simplify]: Simplified to:
   (log (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (log (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (exp (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (pow (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) 3)
  (* (cbrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))) (cbrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (cbrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (pow (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) 3)
  (sqrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (sqrt (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (- (pow 1.0 3) (pow (+ x 1.0) 6))
  (neg (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  0
  (/ (- (pow 1.0 3) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ (* (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))) (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (* (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (* (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))))
  (/ (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (/ (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ 1 (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ 1 (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  1
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ 1 (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ 1 (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  1
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ 1 (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ 1 (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  1
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ 1 (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (* (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))) (cbrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)))))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (sqrt (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))
  (- (pow (+ x 1.0) 6) (pow 1.0 3))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (/ (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (pow (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) 3) (pow (* 1.0 1.0) 3)))
  (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (- (* (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))) (* (* 1.0 1.0) (* 1.0 1.0))))
  (* (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (+ (pow 1.0 6) (* (pow (+ x 1.0) 6) (- (pow (+ x 1.0) 6) (neg (pow 1.0 3))))))
  (* (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0)) (- (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (exp (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (exp (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (log (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (exp (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (* (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))) (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6))))
  (cbrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (pow (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) 3)
  (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (sqrt (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)))
  (- (pow (pow (+ x 1.0) 6) 3) (pow (pow 1.0 3) 3))
  (+ (+ (pow 1.0 6) (pow (+ x 1.0) 12)) (* (pow 1.0 3) (pow (+ x 1.0) 6)))
  (- (pow 1.0 6) (pow (+ x 1.0) 12))
  (- (neg (pow 1.0 3)) (pow (+ x 1.0) 6))
  (- (pow (+ x 1.0) 6) (pow 1.0 3))
  (- (pow (+ x 1.0) 6) (pow 1.0 3))
  (- (pow 1.0 3) (pow (+ x 1.0) 6))
  (log (pow (+ x 1.0) 6))
  (log (pow (+ x 1.0) 6))
  6
  (pow (+ x 1.0) (* (cbrt 6) (cbrt 6)))
  (pow (+ x 1.0) (sqrt 6))
  (+ x 1.0)
  (pow (+ x 1.0) 4)
  (pow (+ x 1.0) 2)
  (pow (+ x 1.0) 3)
  (pow (+ x 1.0) 3)
  1
  (pow (+ x 1.0) 6)
  1
  (pow (+ x 1.0) 6)
  (log (pow (+ x 1.0) 6))
  (exp (pow (+ x 1.0) 6))
  (* (cbrt (pow (+ x 1.0) 6)) (cbrt (pow (+ x 1.0) 6)))
  (cbrt (pow (+ x 1.0) 6))
  (pow (pow (+ x 1.0) 6) 3)
  (sqrt (pow (+ x 1.0) 6))
  (sqrt (pow (+ x 1.0) 6))
  (pow (+ x 1.0) 3)
  (pow (+ x 1.0) 3)
  (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (log (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (log (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (exp (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (pow (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) 3)
  (* (cbrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))) (cbrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))))
  (cbrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (pow (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) 3)
  (sqrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (sqrt (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (pow (+ (* 1.0 (- 1.0 x)) (pow x 2)) 5)
  (* (+ (pow x 3) (pow 1.0 3)) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (- x 1.0)) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 4) (- x 1.0))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (- x 1.0) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (* (pow (- x 1.0) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (+ (* 1.0 (- 1.0 x)) (pow x 2)))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (- x 1.0)) (* (pow (- x 1.0) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (pow (- x 1.0) 4) (+ (* 1.0 (- 1.0 x)) (pow x 2)))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (pow (pow (+ x 1.0) 3) 3) (pow (* 1.0 (+ x 1.0)) 3)))
  (* (+ (* (* 1.0 (+ x 1.0)) (- (* 1.0 (+ x 1.0)) (pow (+ x 1.0) 3))) (pow (+ x 1.0) 6)) (+ (* 1.0 (- 1.0 x)) (pow x 2)))
  (* (+ (pow (+ x 1.0) 6) (neg (* (* 1.0 (+ x 1.0)) (* 1.0 (+ x 1.0))))) (+ (pow x 3) (pow 1.0 3)))
  (* (- (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))) (+ (* 1.0 (- 1.0 x)) (pow x 2)))
  (* (- (* x x) (* 1.0 1.0)) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 4) (- x 1.0))
  (* (- (* x x) (* 1.0 1.0)) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (- x 1.0)) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (* (- x 1.0) (- x 1.0)) (pow (+ (* 1.0 (- 1.0 x)) (pow x 2)) 3))
  (* (- (* x x) (* 1.0 1.0)) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (- x 1.0) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (pow (- x 1.0) 4) (+ (* 1.0 (- 1.0 x)) (pow x 2)))
  (* (- (* x x) (* 1.0 1.0)) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (- x 1.0)) (* (pow (- x 1.0) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (pow (- x 1.0) 5)
  (* (- (* x x) (* 1.0 1.0)) (+ (pow (pow (+ x 1.0) 3) 3) (pow (* 1.0 (+ x 1.0)) 3)))
  (* (+ (* (* 1.0 (+ x 1.0)) (- (* 1.0 (+ x 1.0)) (pow (+ x 1.0) 3))) (pow (+ x 1.0) 6)) (- x 1.0))
  (* (+ (pow (+ x 1.0) 6) (neg (* (* 1.0 (+ x 1.0)) (* 1.0 (+ x 1.0))))) (- (* x x) (* 1.0 1.0)))
  (* (- x 1.0) (- (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (sqrt (+ x 1.0)) (sqrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (* (sqrt (+ x 1.0)) (sqrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (pow (+ x 1.0) 4)
  (* (* 1.0 (+ x 1.0)) (+ x 1.0))
  (pow (+ x 1.0) 4)
  (* (* 1.0 (+ x 1.0)) (+ x 1.0))
  (* (+ x 1.0) (* (cbrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (cbrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))))
  (* (+ x 1.0) (sqrt (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))))
  (+ x 1.0)
  (pow (+ x 1.0) 2)
  (* (cbrt (+ x 1.0)) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (sqrt (+ x 1.0)) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (+ x 1.0) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (+ x 1.0) (+ (* (pow (+ (pow x 3) (pow 1.0 3)) 3) (- x 1.0)) (* (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (+ x 1.0) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (pow (- x 1.0) 3) (* 1.0 (+ (pow x 3) (pow 1.0 3))))))
  (* (+ x 1.0) (+ (* (pow (- (* x x) (* 1.0 1.0)) 3) (- x 1.0)) (* (pow (- x 1.0) 3) (* 1.0 (- (* x x) (* 1.0 1.0))))))
  (* (+ x 1.0) (+ (pow (pow (+ x 1.0) 3) 3) (pow (* 1.0 (+ x 1.0)) 3)))
  (* (+ (pow (+ x 1.0) 6) (neg (* (* 1.0 (+ x 1.0)) (* 1.0 (+ x 1.0))))) (+ x 1.0))
  (* (+ (pow x 3) (pow 1.0 3)) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (* (- (* x x) (* 1.0 1.0)) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0))))
  (+ (* 1.0 (pow x 2)) (* 2.0 x))
  (* x (+ 2.0 x))
  (* x (+ 2.0 x))
  (+ (* 15.0 (pow x 2)) (+ (* 20.0 (pow x 3)) (* 6.0 x)))
  (+ (pow x 6) (+ (* 15.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (pow x 6) (+ (* 15.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (* 15.0 (pow x 2)) (+ (* 6.0 x) 1.0))
  (+ (pow x 6) (+ (* 15.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (pow x 6) (+ (* 15.0 (pow x 4)) (* 6.0 (pow x 5))))
  (+ (* 7.0 (pow x 2)) (+ (* 6.0 x) 2.0))
  (+ (* 7.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))
  (+ (* 7.0 (pow x 2)) (+ (* 4.0 (pow x 3)) (pow x 4)))
1.767 * * * [progress]: adding candidates to table
2.091 * [progress]: [Phase 3 of 3] Extracting.
2.091 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (* x 2.0) (pow x 2)))> #<alt (λ (x) (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))>)
2.092 * * * [regime-changes]: Trying 2 branch expressions: ((+ x 1.0) x)
2.092 * * * * [regimes]: Trying to branch on (+ x 1.0) from (#<alt (λ (x) (+ (* x 2.0) (pow x 2)))> #<alt (λ (x) (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))>)
2.103 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (* x 2.0) (pow x 2)))> #<alt (λ (x) (/ (+ (neg (pow 1.0 3)) (pow (+ x 1.0) 6)) (+ (* (+ x 1.0) (+ (pow (+ x 1.0) 3) (* 1.0 (+ x 1.0)))) (* 1.0 1.0))))>)
2.113 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
2.114 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* x 2.0) (pow x 2))
2.114 * * [simplify]: iteration  0 :  8  enodes  (cost  3 )
2.115 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
2.115 * [simplify]: Simplified to:
   (+ (* x 2.0) (pow x 2))
2.731 * [regime-testing]: Baseline error score: 0.008199145205740863
2.732 * [regime-testing]: Oracle error score: 0.0032504063007875983
2.733 * [regime-testing]: End program error score: 0.008199145205740863