25.487 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.010 * * * [progress]: [2/2] Setting up program.
0.012 * [progress]: [Phase 2 of 3] Improving.
0.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* x (* x x)) (* x x))
0.014 * * [simplify]: iteration  0 :  13  enodes  (cost  3 )
0.016 * * [simplify]: iteration  1 :  25  enodes  (cost  3 )
0.017 * * [simplify]: iteration  2 :  39  enodes  (cost  3 )
0.019 * * [simplify]: iteration  3 :  70  enodes  (cost  3 )
0.021 * * [simplify]: iteration  4 :  181  enodes  (cost  3 )
0.026 * * [simplify]: iteration  5 :  682  enodes  (cost  3 )
0.043 * * [simplify]: iteration  6 :  2463  enodes  (cost  3 )
0.120 * * [simplify]: iteration  7 :  5001  enodes  (cost  3 )
0.121 * [simplify]: Simplified to:
   (* x (+ (* x x) x))
0.123 * * [progress]: iteration 1 / 4
0.123 * * * [progress]: picking best candidate
0.125 * * * * [pick]: Picked  #<alt (λ (x) (* x (+ (* x x) x)))>
0.125 * * * [progress]: localizing error
0.128 * * * [progress]: generating rewritten candidates
0.128 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.135 * * * [progress]: generating series expansions
0.135 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.135 * [approximate]: Taking taylor expansion of (* x (+ (pow x 2) x)) in (x) around 0
0.135 * [taylor]: Taking taylor expansion of (* x (+ (pow x 2) x)) in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.135 * [taylor]: Taking taylor expansion of (+ (pow x 2) x) in x
0.135 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.135 * [taylor]: Taking taylor expansion of (* x (+ (pow x 2) x)) in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.135 * [taylor]: Taking taylor expansion of (+ (pow x 2) x) in x
0.135 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.135 * [taylor]: Taking taylor expansion of x in x
0.136 * [taylor]: Taking taylor expansion of x in x
0.149 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 x)) x) in (x) around 0
0.149 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 x)) x) in x
0.149 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x
0.149 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.149 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.149 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.150 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 (pow x 2)) (/ 1 x)) x) in x
0.150 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 x)) in x
0.150 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.150 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.151 * [taylor]: Taking taylor expansion of x in x
0.151 * [taylor]: Taking taylor expansion of x in x
0.167 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 x)) x)) in (x) around 0
0.167 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 x)) x)) in x
0.167 * [taylor]: Taking taylor expansion of -1 in x
0.167 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 x)) x) in x
0.167 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x
0.167 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.167 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.167 * [taylor]: Taking taylor expansion of x in x
0.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.168 * [taylor]: Taking taylor expansion of x in x
0.168 * [taylor]: Taking taylor expansion of x in x
0.168 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (pow x 2)) (/ 1 x)) x)) in x
0.168 * [taylor]: Taking taylor expansion of -1 in x
0.168 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow x 2)) (/ 1 x)) x) in x
0.168 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 x)) in x
0.169 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.169 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.169 * [taylor]: Taking taylor expansion of x in x
0.196 * * * [progress]: simplifying candidates
0.196 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* x (+ (* x x) x))
  (+ (log x) (log (+ (* x x) x)))
  (log (* x (+ (* x x) x)))
  (exp (* x (+ (* x x) x)))
  (* (* (* x x) x) (* (* (+ (* x x) x) (+ (* x x) x)) (+ (* x x) x)))
  (* (cbrt (* x (+ (* x x) x))) (cbrt (* x (+ (* x x) x))))
  (cbrt (* x (+ (* x x) x)))
  (* (* (* x (+ (* x x) x)) (* x (+ (* x x) x))) (* x (+ (* x x) x)))
  (sqrt (* x (+ (* x x) x)))
  (sqrt (* x (+ (* x x) x)))
  (* (sqrt x) (sqrt (+ (* x x) x)))
  (* (sqrt x) (sqrt (+ (* x x) x)))
  (* x (* x x))
  (* x x)
  (* (* x x) x)
  (* x x)
  (* x (* (cbrt (+ (* x x) x)) (cbrt (+ (* x x) x))))
  (* x (sqrt (+ (* x x) x)))
  (* x 1)
  (* x x)
  (* x (+ x 1))
  (* (cbrt x) (+ (* x x) x))
  (* (sqrt x) (+ (* x x) x))
  (* x (+ (* x x) x))
  (* x (+ (pow (* x x) 3) (pow x 3)))
  (* x (- (* (* x x) (* x x)) (* x x)))
  (+ (pow x 2) (pow x 3))
  (+ (pow x 2) (pow x 3))
  (+ (pow x 2) (pow x 3))
0.199 * * [simplify]: iteration  0 :  129  enodes  (cost  117 )
0.203 * * [simplify]: iteration  1 :  713  enodes  (cost  102 )
0.220 * * [simplify]: iteration  2 :  3504  enodes  (cost  100 )
0.301 * * [simplify]: iteration  3 :  5002  enodes  (cost  99 )
0.302 * [simplify]: Simplified to:
   (* x (+ (* x x) x))
  (log (* x (+ (* x x) x)))
  (log (* x (+ (* x x) x)))
  (exp (* x (+ (* x x) x)))
  (pow (* x (+ (* x x) x)) 3)
  (* (cbrt (* x (+ (* x x) x))) (cbrt (* x (+ (* x x) x))))
  (cbrt (* x (+ (* x x) x)))
  (pow (* x (+ (* x x) x)) 3)
  (sqrt (* x (+ (* x x) x)))
  (sqrt (* x (+ (* x x) x)))
  (* (sqrt (+ (* x x) x)) (pow x 1/2))
  (* (sqrt (+ (* x x) x)) (pow x 1/2))
  (pow x 3)
  (pow x 2)
  (pow x 3)
  (pow x 2)
  (* x (* (cbrt (+ (* x x) x)) (cbrt (+ (* x x) x))))
  (* x (sqrt (+ (* x x) x)))
  x
  (pow x 2)
  (* x (+ x 1))
  (* (cbrt x) (+ (* x x) x))
  (* (pow x 3/2) (+ x 1))
  (* x (+ (* x x) x))
  (+ (pow x 7) (pow x 4))
  (* x (* x (- (pow x 3) x)))
  (* x (+ (* x x) x))
  (* x (+ (* x x) x))
  (* x (+ (* x x) x))
0.303 * * * [progress]: adding candidates to table
0.333 * * [progress]: iteration 2 / 4
0.333 * * * [progress]: picking best candidate
0.337 * * * * [pick]: Picked  #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
0.337 * * * [progress]: localizing error
0.342 * * * [progress]: generating rewritten candidates
0.342 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.354 * * * [progress]: generating series expansions
0.354 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.354 * [approximate]: Taking taylor expansion of (+ (pow x 2) (pow x 3)) in (x) around 0
0.354 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow x 3)) in x
0.354 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow x 3)) in x
0.354 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.354 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.354 * [taylor]: Taking taylor expansion of x in x
0.369 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow x 3))) in (x) around 0
0.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
0.369 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.369 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.369 * [taylor]: Taking taylor expansion of x in x
0.369 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.369 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.369 * [taylor]: Taking taylor expansion of x in x
0.370 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
0.370 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.370 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.371 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.371 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.371 * [taylor]: Taking taylor expansion of x in x
0.392 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in (x) around 0
0.392 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
0.392 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.392 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.392 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.392 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.392 * [taylor]: Taking taylor expansion of x in x
0.393 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
0.393 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.393 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.393 * [taylor]: Taking taylor expansion of x in x
0.394 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
0.394 * [taylor]: Taking taylor expansion of (pow x 3) in x
0.394 * [taylor]: Taking taylor expansion of x in x
0.417 * * * [progress]: simplifying candidates
0.417 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (exp (pow x 3)) (exp (pow x 2)))
  (log (+ (pow x 3) (pow x 2)))
  (exp (+ (pow x 3) (pow x 2)))
  (* (cbrt (+ (pow x 3) (pow x 2))) (cbrt (+ (pow x 3) (pow x 2))))
  (cbrt (+ (pow x 3) (pow x 2)))
  (* (* (+ (pow x 3) (pow x 2)) (+ (pow x 3) (pow x 2))) (+ (pow x 3) (pow x 2)))
  (sqrt (+ (pow x 3) (pow x 2)))
  (sqrt (+ (pow x 3) (pow x 2)))
  (+ (pow (pow x 3) 3) (pow (pow x 2) 3))
  (+ (* (pow x 3) (pow x 3)) (- (* (pow x 2) (pow x 2)) (* (pow x 3) (pow x 2))))
  (- (* (pow x 3) (pow x 3)) (* (pow x 2) (pow x 2)))
  (- (pow x 3) (pow x 2))
  (+ (* x x) x)
  (+ (pow x 3) (pow x 2))
  (+ (* x x) x)
  (+ (pow x 2) (pow x 3))
  (+ (pow x 2) (pow x 3))
  (+ (pow x 2) (pow x 3))
0.420 * * [simplify]: iteration  0 :  81  enodes  (cost  79 )
0.423 * * [simplify]: iteration  1 :  323  enodes  (cost  72 )
0.431 * * [simplify]: iteration  2 :  1388  enodes  (cost  68 )
0.474 * * [simplify]: iteration  3 :  5002  enodes  (cost  68 )
0.475 * [simplify]: Simplified to:
   (exp (+ (pow x 3) (pow x 2)))
  (log (+ (pow x 3) (pow x 2)))
  (exp (+ (pow x 3) (pow x 2)))
  (* (cbrt (+ (pow x 3) (pow x 2))) (cbrt (+ (pow x 3) (pow x 2))))
  (cbrt (+ (pow x 3) (pow x 2)))
  (pow (+ (pow x 3) (pow x 2)) 3)
  (sqrt (+ (pow x 3) (pow x 2)))
  (sqrt (+ (pow x 3) (pow x 2)))
  (* (+ (pow x 3) 1) (pow x 6))
  (- (+ (pow x 6) (pow x 4)) (pow x 5))
  (- (pow x 6) (pow x 4))
  (- (pow x 3) (pow x 2))
  (+ (* x x) x)
  (+ (pow x 3) (pow x 2))
  (+ (* x x) x)
  (+ (pow x 3) (pow x 2))
  (+ (pow x 3) (pow x 2))
  (+ (pow x 3) (pow x 2))
0.475 * * * [progress]: adding candidates to table
0.500 * * [progress]: iteration 3 / 4
0.500 * * * [progress]: picking best candidate
0.502 * * * * [pick]: Picked  #<alt (λ (x) (* (pow x 2) (+ x 1)))>
0.502 * * * [progress]: localizing error
0.507 * * * [progress]: generating rewritten candidates
0.507 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.515 * * * [progress]: generating series expansions
0.515 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.515 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ x 1)) in (x) around 0
0.515 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ x 1)) in x
0.515 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of 1 in x
0.515 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ x 1)) in x
0.515 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.515 * [taylor]: Taking taylor expansion of x in x
0.515 * [taylor]: Taking taylor expansion of 1 in x
0.527 * [approximate]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) (pow x 2)) in (x) around 0
0.527 * [taylor]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) (pow x 2)) in x
0.527 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.527 * [taylor]: Taking taylor expansion of 1 in x
0.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.527 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.527 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) (pow x 2)) in x
0.528 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.528 * [taylor]: Taking taylor expansion of 1 in x
0.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.542 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (pow x 2)) in (x) around 0
0.542 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (pow x 2)) in x
0.542 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.542 * [taylor]: Taking taylor expansion of 1 in x
0.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.542 * [taylor]: Taking taylor expansion of x in x
0.542 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.543 * [taylor]: Taking taylor expansion of x in x
0.543 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (pow x 2)) in x
0.543 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.544 * [taylor]: Taking taylor expansion of 1 in x
0.544 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.562 * * * [progress]: simplifying candidates
0.563 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (log x) 2) (log (+ x 1)))
  (+ (* (log x) 2) (log (+ x 1)))
  (+ (log (pow x 2)) (log (+ x 1)))
  (log (* (pow x 2) (+ x 1)))
  (exp (* (pow x 2) (+ x 1)))
  (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (+ x 1) (+ x 1)) (+ x 1)))
  (* (cbrt (* (pow x 2) (+ x 1))) (cbrt (* (pow x 2) (+ x 1))))
  (cbrt (* (pow x 2) (+ x 1)))
  (* (* (* (pow x 2) (+ x 1)) (* (pow x 2) (+ x 1))) (* (pow x 2) (+ x 1)))
  (sqrt (* (pow x 2) (+ x 1)))
  (sqrt (* (pow x 2) (+ x 1)))
  (* (pow (sqrt x) 2) (sqrt (+ x 1)))
  (* (pow (sqrt x) 2) (sqrt (+ x 1)))
  (* x (sqrt (+ x 1)))
  (* x (sqrt (+ x 1)))
  (* (sqrt (pow x 2)) (sqrt (+ x 1)))
  (* (sqrt (pow x 2)) (sqrt (+ x 1)))
  (* (pow x (/ 2 2)) (sqrt (+ x 1)))
  (* (pow x (/ 2 2)) (sqrt (+ x 1)))
  (* (pow x 2) x)
  (* (pow x 2) 1)
  (* x (pow x 2))
  (* 1 (pow x 2))
  (* (pow x 2) (* (cbrt (+ x 1)) (cbrt (+ x 1))))
  (* (pow x 2) (sqrt (+ x 1)))
  (* (pow x 2) 1)
  (* (pow x 2) 1)
  (* (pow (cbrt x) 2) (+ x 1))
  (* (pow (sqrt x) 2) (+ x 1))
  (* (pow x 2) (+ x 1))
  (* x (+ x 1))
  (* (cbrt (pow x 2)) (+ x 1))
  (* (sqrt (pow x 2)) (+ x 1))
  (* (pow x 2) (+ x 1))
  (* (pow x (/ 2 2)) (+ x 1))
  (* (pow x 2) (+ (pow x 3) (pow 1 3)))
  (* (pow x 2) (- (* x x) (* 1 1)))
  (+ (pow x 2) (pow x 3))
  (+ (pow x 2) (pow x 3))
  (+ (pow x 2) (pow x 3))
0.566 * * [simplify]: iteration  0 :  180  enodes  (cost  160 )
0.571 * * [simplify]: iteration  1 :  937  enodes  (cost  135 )
0.594 * * [simplify]: iteration  2 :  5001  enodes  (cost  131 )
0.595 * [simplify]: Simplified to:
   (log (* (pow x 2) (+ x 1)))
  (log (* (pow x 2) (+ x 1)))
  (log (* (pow x 2) (+ x 1)))
  (log (* (pow x 2) (+ x 1)))
  (exp (* (pow x 2) (+ x 1)))
  (pow (* (pow x 2) (+ x 1)) 3)
  (* (cbrt (* (pow x 2) (+ x 1))) (cbrt (* (pow x 2) (+ x 1))))
  (cbrt (* (pow x 2) (+ x 1)))
  (pow (* (pow x 2) (+ x 1)) 3)
  (sqrt (* (pow x 2) (+ x 1)))
  (sqrt (* (pow x 2) (+ x 1)))
  (* x (sqrt (+ x 1)))
  (* x (sqrt (+ x 1)))
  (* x (sqrt (+ x 1)))
  (* x (sqrt (+ x 1)))
  (* (sqrt (+ x 1)) (fabs x))
  (* (sqrt (+ x 1)) (fabs x))
  (* x (sqrt (+ x 1)))
  (* x (sqrt (+ x 1)))
  (pow x 3)
  (pow x 2)
  (pow x 3)
  (pow x 2)
  (* (pow x 2) (* (cbrt (+ x 1)) (cbrt (+ x 1))))
  (* (pow x 2) (sqrt (+ x 1)))
  (pow x 2)
  (pow x 2)
  (* (pow (cbrt x) 2) (+ x 1))
  (* x (+ x 1))
  (* (pow x 2) (+ x 1))
  (* x (+ x 1))
  (* (cbrt (pow x 2)) (+ x 1))
  (* (fabs x) (+ x 1))
  (* (pow x 2) (+ x 1))
  (* x (+ x 1))
  (+ (pow x 5) (pow x 2))
  (+ (- (pow x 2)) (pow x 4))
  (* (pow x 2) (+ x 1))
  (* (pow x 2) (+ x 1))
  (* (pow x 2) (+ x 1))
0.595 * * * [progress]: adding candidates to table
0.632 * * [progress]: iteration 4 / 4
0.632 * * * [progress]: picking best candidate
0.634 * * * * [pick]: Picked  #<alt (λ (x) (* (pow (sqrt x) 2) (* x (+ x 1))))>
0.634 * * * [progress]: localizing error
0.641 * * * [progress]: generating rewritten candidates
0.641 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
0.644 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.649 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.664 * * * [progress]: generating series expansions
0.664 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
0.664 * [approximate]: Taking taylor expansion of (pow (sqrt x) 2) in (x) around 0
0.664 * [taylor]: Taking taylor expansion of (pow (sqrt x) 2) in x
0.664 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.664 * [taylor]: Taking taylor expansion of x in x
0.665 * [taylor]: Taking taylor expansion of (pow (sqrt x) 2) in x
0.665 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.665 * [taylor]: Taking taylor expansion of x in x
0.674 * [approximate]: Taking taylor expansion of (pow (sqrt (/ 1 x)) 2) in (x) around 0
0.674 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 x)) 2) in x
0.674 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.675 * [taylor]: Taking taylor expansion of (pow (sqrt (/ 1 x)) 2) in x
0.675 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.675 * [taylor]: Taking taylor expansion of x in x
0.685 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in (x) around 0
0.685 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
0.685 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.685 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.685 * [taylor]: Taking taylor expansion of -1 in x
0.685 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
0.686 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.686 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.686 * [taylor]: Taking taylor expansion of -1 in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.696 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.696 * [approximate]: Taking taylor expansion of (* x (+ x 1)) in (x) around 0
0.696 * [taylor]: Taking taylor expansion of (* x (+ x 1)) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of 1 in x
0.696 * [taylor]: Taking taylor expansion of (* x (+ x 1)) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.696 * [taylor]: Taking taylor expansion of x in x
0.696 * [taylor]: Taking taylor expansion of 1 in x
0.704 * [approximate]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) x) in (x) around 0
0.704 * [taylor]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) x) in x
0.704 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.704 * [taylor]: Taking taylor expansion of 1 in x
0.704 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) x) in x
0.705 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.705 * [taylor]: Taking taylor expansion of 1 in x
0.705 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.705 * [taylor]: Taking taylor expansion of x in x
0.714 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in (x) around 0
0.714 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x
0.714 * [taylor]: Taking taylor expansion of -1 in x
0.714 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x
0.714 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.714 * [taylor]: Taking taylor expansion of 1 in x
0.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.714 * [taylor]: Taking taylor expansion of x in x
0.714 * [taylor]: Taking taylor expansion of x in x
0.715 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 x)) x)) in x
0.715 * [taylor]: Taking taylor expansion of -1 in x
0.715 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) x) in x
0.715 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.715 * [taylor]: Taking taylor expansion of 1 in x
0.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.715 * [taylor]: Taking taylor expansion of x in x
0.715 * [taylor]: Taking taylor expansion of x in x
0.732 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.732 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ x 1)) in (x) around 0
0.733 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ x 1)) in x
0.733 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.733 * [taylor]: Taking taylor expansion of x in x
0.733 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.733 * [taylor]: Taking taylor expansion of x in x
0.733 * [taylor]: Taking taylor expansion of 1 in x
0.733 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ x 1)) in x
0.733 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.733 * [taylor]: Taking taylor expansion of x in x
0.733 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.733 * [taylor]: Taking taylor expansion of x in x
0.733 * [taylor]: Taking taylor expansion of 1 in x
0.747 * [approximate]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) (pow x 2)) in (x) around 0
0.747 * [taylor]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) (pow x 2)) in x
0.748 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.748 * [taylor]: Taking taylor expansion of 1 in x
0.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.748 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.748 * [taylor]: Taking taylor expansion of x in x
0.749 * [taylor]: Taking taylor expansion of (/ (+ 1 (/ 1 x)) (pow x 2)) in x
0.749 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 x)) in x
0.749 * [taylor]: Taking taylor expansion of 1 in x
0.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.749 * [taylor]: Taking taylor expansion of x in x
0.749 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.749 * [taylor]: Taking taylor expansion of x in x
0.763 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- 1 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) x)) in (x) around 0
0.763 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- 1 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) x)) in x
0.763 * [taylor]: Taking taylor expansion of -1 in x
0.763 * [taylor]: Taking taylor expansion of (/ (* (- 1 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) x) in x
0.763 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) in x
0.763 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.763 * [taylor]: Taking taylor expansion of 1 in x
0.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.763 * [taylor]: Taking taylor expansion of x in x
0.763 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
0.763 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.763 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.763 * [taylor]: Taking taylor expansion of -1 in x
0.763 * [taylor]: Taking taylor expansion of x in x
0.765 * [taylor]: Taking taylor expansion of x in x
0.766 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- 1 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) x)) in x
0.766 * [taylor]: Taking taylor expansion of -1 in x
0.766 * [taylor]: Taking taylor expansion of (/ (* (- 1 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) x) in x
0.766 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) in x
0.766 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
0.766 * [taylor]: Taking taylor expansion of 1 in x
0.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.766 * [taylor]: Taking taylor expansion of x in x
0.766 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
0.766 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.766 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.766 * [taylor]: Taking taylor expansion of -1 in x
0.766 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.788 * * * [progress]: simplifying candidates
0.789 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (log (sqrt x)) 2)
  (* (log (sqrt x)) 2)
  (* 1/2 2)
  (* 1 2)
  (* (/ 1 2) 2)
  (pow (sqrt x) (* (cbrt 2) (cbrt 2)))
  (pow (sqrt x) (sqrt 2))
  (pow (sqrt x) 1)
  (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 2)
  (pow (cbrt (sqrt x)) 2)
  (pow (sqrt (* (cbrt x) (cbrt x))) 2)
  (pow (sqrt (cbrt x)) 2)
  (pow (sqrt (sqrt x)) 2)
  (pow (sqrt (sqrt x)) 2)
  (pow (sqrt 1) 2)
  (pow (sqrt x) 2)
  (pow (sqrt (sqrt x)) 2)
  (pow (sqrt (sqrt x)) 2)
  (pow 1 2)
  (pow (sqrt x) 2)
  (log (pow (sqrt x) 2))
  (exp (pow (sqrt x) 2))
  (* (cbrt (pow (sqrt x) 2)) (cbrt (pow (sqrt x) 2)))
  (cbrt (pow (sqrt x) 2))
  (* (* (pow (sqrt x) 2) (pow (sqrt x) 2)) (pow (sqrt x) 2))
  (/ 2 2)
  (sqrt (pow (sqrt x) 2))
  (sqrt (pow (sqrt x) 2))
  (pow (sqrt x) (/ 2 2))
  (pow (sqrt x) (/ 2 2))
  (* x (+ x 1))
  (+ (log x) (log (+ x 1)))
  (log (* x (+ x 1)))
  (exp (* x (+ x 1)))
  (* (* (* x x) x) (* (* (+ x 1) (+ x 1)) (+ x 1)))
  (* (cbrt (* x (+ x 1))) (cbrt (* x (+ x 1))))
  (cbrt (* x (+ x 1)))
  (* (* (* x (+ x 1)) (* x (+ x 1))) (* x (+ x 1)))
  (sqrt (* x (+ x 1)))
  (sqrt (* x (+ x 1)))
  (* (sqrt x) (sqrt (+ x 1)))
  (* (sqrt x) (sqrt (+ x 1)))
  (* x x)
  (* x 1)
  (* x x)
  (* 1 x)
  (* x (* (cbrt (+ x 1)) (cbrt (+ x 1))))
  (* x (sqrt (+ x 1)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ x 1))
  (* (sqrt x) (+ x 1))
  (* x (+ x 1))
  (* x (+ (pow x 3) (pow 1 3)))
  (* x (- (* x x) (* 1 1)))
  (+ (* (log (sqrt x)) 2) (+ (log x) (log (+ x 1))))
  (+ (* (log (sqrt x)) 2) (log (* x (+ x 1))))
  (+ (* (log (sqrt x)) 2) (+ (log x) (log (+ x 1))))
  (+ (* (log (sqrt x)) 2) (log (* x (+ x 1))))
  (+ (log (pow (sqrt x) 2)) (+ (log x) (log (+ x 1))))
  (+ (log (pow (sqrt x) 2)) (log (* x (+ x 1))))
  (log (* (pow (sqrt x) 2) (* x (+ x 1))))
  (exp (* (pow (sqrt x) 2) (* x (+ x 1))))
  (* (* (* (pow (sqrt x) 2) (pow (sqrt x) 2)) (pow (sqrt x) 2)) (* (* (* x x) x) (* (* (+ x 1) (+ x 1)) (+ x 1))))
  (* (* (* (pow (sqrt x) 2) (pow (sqrt x) 2)) (pow (sqrt x) 2)) (* (* (* x (+ x 1)) (* x (+ x 1))) (* x (+ x 1))))
  (* (cbrt (* (pow (sqrt x) 2) (* x (+ x 1)))) (cbrt (* (pow (sqrt x) 2) (* x (+ x 1)))))
  (cbrt (* (pow (sqrt x) 2) (* x (+ x 1))))
  (* (* (* (pow (sqrt x) 2) (* x (+ x 1))) (* (pow (sqrt x) 2) (* x (+ x 1)))) (* (pow (sqrt x) 2) (* x (+ x 1))))
  (sqrt (* (pow (sqrt x) 2) (* x (+ x 1))))
  (sqrt (* (pow (sqrt x) 2) (* x (+ x 1))))
  (* (pow (sqrt x) 2) (* x x))
  (* (pow (sqrt x) 2) (* x 1))
  (* (pow (sqrt x) 2) (* x x))
  (* (pow (sqrt x) 2) (* 1 x))
  (* (* x x) (pow (sqrt x) 2))
  (* (* x 1) (pow (sqrt x) 2))
  (* (* x x) (pow (sqrt x) 2))
  (* (* 1 x) (pow (sqrt x) 2))
  (* (pow (sqrt x) 2) x)
  (* (pow (cbrt (sqrt x)) 2) (* x (+ x 1)))
  (* (pow (sqrt (cbrt x)) 2) (* x (+ x 1)))
  (* (pow (sqrt (sqrt x)) 2) (* x (+ x 1)))
  (* (pow (sqrt x) 2) (* x (+ x 1)))
  (* (pow (sqrt (sqrt x)) 2) (* x (+ x 1)))
  (* (pow (sqrt x) 2) (* x (+ x 1)))
  (* (sqrt x) (* x (+ x 1)))
  (* (cbrt (pow (sqrt x) 2)) (* x (+ x 1)))
  (* (sqrt (pow (sqrt x) 2)) (* x (+ x 1)))
  (* (pow (sqrt x) 2) (* x (+ x 1)))
  (* (pow (sqrt x) (/ 2 2)) (* x (+ x 1)))
  (* (pow (sqrt x) 2) (* x (+ (pow x 3) (pow 1 3))))
  (* (pow (sqrt x) 2) (* x (- (* x x) (* 1 1))))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 4)))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (+ (pow x 2) x)
  (+ (pow x 2) x)
  (+ (pow x 2) x)
  (+ (pow x 2) (pow x 3))
  (+ (pow x 2) (pow x 3))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- +nan.0)))))
0.796 * * [simplify]: iteration  0 :  365  enodes  (cost  430 )
0.805 * * [simplify]: iteration  1 :  1912  enodes  (cost  298 )
0.851 * * [simplify]: iteration  2 :  5001  enodes  (cost  290 )
0.853 * [simplify]: Simplified to:
   (log x)
  (log x)
  1
  2
  1
  (pow (sqrt x) (* (cbrt 2) (cbrt 2)))
  (pow (sqrt x) (sqrt 2))
  (sqrt x)
  (pow (cbrt (sqrt x)) 4)
  (pow (cbrt (sqrt x)) 2)
  (* (cbrt x) (cbrt x))
  (cbrt x)
  (sqrt x)
  (sqrt x)
  1
  x
  (sqrt x)
  (sqrt x)
  1
  x
  (log x)
  (exp x)
  (* (cbrt x) (cbrt x))
  (cbrt x)
  (pow x 3)
  1
  (sqrt x)
  (sqrt x)
  (sqrt x)
  (sqrt x)
  (* x (+ x 1))
  (log (* x (+ x 1)))
  (log (* x (+ x 1)))
  (exp (* x (+ x 1)))
  (pow (* x (+ x 1)) 3)
  (* (cbrt (* x (+ x 1))) (cbrt (* x (+ x 1))))
  (cbrt (* x (+ x 1)))
  (pow (* x (+ x 1)) 3)
  (sqrt (* x (+ x 1)))
  (sqrt (* x (+ x 1)))
  (* (sqrt x) (sqrt (+ x 1)))
  (* (sqrt x) (sqrt (+ x 1)))
  (* x x)
  x
  (* x x)
  x
  (* x (* (cbrt (+ x 1)) (cbrt (+ x 1))))
  (* x (sqrt (+ x 1)))
  x
  x
  (* (cbrt x) (+ x 1))
  (* (sqrt x) (+ x 1))
  (* x (+ x 1))
  (+ x (pow x 4))
  (* x (- (* x x) 1))
  (log (* (pow (sqrt x) 2) (* x (+ x 1))))
  (log (* (pow (sqrt x) 2) (* x (+ x 1))))
  (log (* (pow (sqrt x) 2) (* x (+ x 1))))
  (log (* (pow (sqrt x) 2) (* x (+ x 1))))
  (log (* (pow (sqrt x) 2) (* x (+ x 1))))
  (log (* (pow (sqrt x) 2) (* x (+ x 1))))
  (log (* (pow (sqrt x) 2) (* x (+ x 1))))
  (pow (exp (pow x 2)) (+ x 1))
  (pow (* (* x (+ x 1)) x) 3)
  (pow (* (* x (+ x 1)) x) 3)
  (* (cbrt (* (pow (sqrt x) 2) (* x (+ x 1)))) (cbrt (* (pow (sqrt x) 2) (* x (+ x 1)))))
  (cbrt (* (pow (sqrt x) 2) (* x (+ x 1))))
  (pow (* (* x (+ x 1)) x) 3)
  (sqrt (* (pow (sqrt x) 2) (* x (+ x 1))))
  (sqrt (* (pow (sqrt x) 2) (* x (+ x 1))))
  (pow x 3)
  (* x x)
  (pow x 3)
  (* x x)
  (pow x 3)
  (* x x)
  (pow x 3)
  (* x x)
  (* x x)
  (* (pow (cbrt (sqrt x)) 2) (* x (+ x 1)))
  (* (* (cbrt x) x) (+ x 1))
  (* (* (sqrt x) x) (+ x 1))
  (* (* x (+ x 1)) x)
  (* (* (sqrt x) x) (+ x 1))
  (* (* x (+ x 1)) x)
  (* (* (sqrt x) x) (+ x 1))
  (* (* (cbrt x) x) (+ x 1))
  (* (* (sqrt x) x) (+ x 1))
  (* (* x (+ x 1)) x)
  (* (* (sqrt x) x) (+ x 1))
  (* (* x x) (+ (pow x 3) 1))
  (* (* x (- (* x x) 1)) x)
  (+ (* +nan.0 (- (pow x 3) (pow x 4))) (- (* +nan.0 (pow x 2))))
  (+ (- (* +nan.0 (/ 1 x)) +nan.0) (/ (- +nan.0) (pow x 2)))
  (+ (- (* +nan.0 (/ 1 x)) +nan.0) (/ (- +nan.0) (pow x 2)))
  (* x (+ x 1))
  (* x (+ x 1))
  (* x (+ x 1))
  (* (* x (+ x 1)) x)
  (* (* x (+ x 1)) x)
  (+ (- (* +nan.0 (pow x 2))) (- (* +nan.0 x) +nan.0))
0.854 * * * [progress]: adding candidates to table
0.962 * [progress]: [Phase 3 of 3] Extracting.
0.962 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (pow x 3) (pow x 2)))> #<alt (λ (x) (* (pow x 2) (+ x 1)))> #<alt (λ (x) (* (pow (sqrt x) 2) (* x (+ x 1))))>)
0.962 * * * [regime-changes]: Trying 1 branch expressions: (x)
0.962 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (pow x 3) (pow x 2)))> #<alt (λ (x) (* (pow x 2) (+ x 1)))> #<alt (λ (x) (* (pow (sqrt x) 2) (* x (+ x 1))))>)
0.974 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.974 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (pow x 3) (pow x 2))
0.975 * * [simplify]: iteration  0 :  7  enodes  (cost  3 )
0.975 * * [simplify]: iteration  1 :  7  enodes  (cost  3 )
0.975 * [simplify]: Simplified to:
   (+ (pow x 3) (pow x 2))
1.367 * [regime-testing]: Baseline error score: 0.014626828353544194
1.367 * [regime-testing]: Oracle error score: 0.005875734466808351
1.369 * [regime-testing]: End program error score: 0.014626828353544194
1.385 * [regime-testing]: Target error score: 0.02287785973246656