0.823 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.287 * * * [progress]: [2/2] Setting up program.
0.290 * [progress]: [Phase 2 of 3] Improving.
0.292 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (sqrt (- x 1.0)) (sqrt x))
0.297 * * [simplify]: iteration  0 :  9  enodes  (cost  4 )
0.299 * * [simplify]: iteration  1 :  10  enodes  (cost  4 )
0.300 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
0.301 * [simplify]: Simplified to:
   (* (sqrt (- x 1.0)) (sqrt x))
0.302 * * [progress]: iteration 1 / 4
0.302 * * * [progress]: picking best candidate
0.304 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (- x 1.0)) (sqrt x)))>
0.305 * * * [progress]: localizing error
0.312 * * * [progress]: generating rewritten candidates
0.312 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.325 * * * [progress]: generating series expansions
0.326 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.330 * [approximate]: Taking taylor expansion of (sqrt (* (- x 1.0) x)) in (x) around 0
0.331 * [taylor]: Taking taylor expansion of (sqrt (* (- x 1.0) x)) in x
0.331 * [taylor]: Taking taylor expansion of (* (- x 1.0) x) in x
0.331 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.331 * [taylor]: Taking taylor expansion of x in x
0.331 * [taylor]: Taking taylor expansion of 1.0 in x
0.331 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (sqrt (* (- x 1.0) x)) in x
0.336 * [taylor]: Taking taylor expansion of (* (- x 1.0) x) in x
0.336 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of 1.0 in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.365 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1.0) x)) in (x) around 0
0.365 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1.0) x)) in x
0.365 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) x) in x
0.365 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.365 * [taylor]: Taking taylor expansion of x in x
0.365 * [taylor]: Taking taylor expansion of 1.0 in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.371 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1.0) x)) in x
0.371 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) x) in x
0.371 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
0.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.371 * [taylor]: Taking taylor expansion of x in x
0.371 * [taylor]: Taking taylor expansion of 1.0 in x
0.371 * [taylor]: Taking taylor expansion of x in x
0.379 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x))) in (x) around 0
0.379 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x))) in x
0.379 * [taylor]: Taking taylor expansion of (sqrt (- (+ 1.0 (/ 1 x)))) in x
0.379 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
0.379 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.379 * [taylor]: Taking taylor expansion of 1.0 in x
0.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.379 * [taylor]: Taking taylor expansion of x in x
0.381 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.381 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.381 * [taylor]: Taking taylor expansion of -1 in x
0.381 * [taylor]: Taking taylor expansion of x in x
0.383 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ 1.0 (/ 1 x)))) (sqrt (/ -1 x))) in x
0.383 * [taylor]: Taking taylor expansion of (sqrt (- (+ 1.0 (/ 1 x)))) in x
0.383 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
0.383 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.383 * [taylor]: Taking taylor expansion of 1.0 in x
0.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.383 * [taylor]: Taking taylor expansion of x in x
0.385 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.385 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.385 * [taylor]: Taking taylor expansion of -1 in x
0.385 * [taylor]: Taking taylor expansion of x in x
0.415 * * * [progress]: simplifying candidates
0.416 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (- x 1.0) x)
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (- x 1.0) x)
  (+ (log (sqrt (- x 1.0))) (log (sqrt x)))
  (log (* (sqrt (- x 1.0)) (sqrt x)))
  (exp (* (sqrt (- x 1.0)) (sqrt x)))
  (* (* (* (sqrt (- x 1.0)) (sqrt (- x 1.0))) (sqrt (- x 1.0))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
  (* (cbrt (* (sqrt (- x 1.0)) (sqrt x))) (cbrt (* (sqrt (- x 1.0)) (sqrt x))))
  (cbrt (* (sqrt (- x 1.0)) (sqrt x)))
  (* (* (* (sqrt (- x 1.0)) (sqrt x)) (* (sqrt (- x 1.0)) (sqrt x))) (* (sqrt (- x 1.0)) (sqrt x)))
  (* (- x 1.0) x)
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (sqrt (- x 1.0)) (sqrt (* (cbrt x) (cbrt x))))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (sqrt 1))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) 1)
  (* (cbrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (cbrt (- x 1.0))) (sqrt x))
  (* (sqrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (sqrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (sqrt (- (pow x 3) (pow 1.0 3))) (sqrt x))
  (* (sqrt (- (* x x) (* 1.0 1.0))) (sqrt x))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 x))))))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.420 * * [simplify]: iteration  0 :  179  enodes  (cost  216 )
0.423 * * [simplify]: iteration  1 :  598  enodes  (cost  206 )
0.434 * * [simplify]: iteration  2 :  2425  enodes  (cost  201 )
0.485 * * [simplify]: iteration  3 :  5001  enodes  (cost  201 )
0.487 * [simplify]: Simplified to:
   (* (- x 1.0) x)
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (- x 1.0) x)
  (log (* (sqrt (- x 1.0)) (sqrt x)))
  (log (* (sqrt (- x 1.0)) (sqrt x)))
  (exp (* (sqrt (- x 1.0)) (sqrt x)))
  (pow (* (sqrt (- x 1.0)) (sqrt x)) 3)
  (* (cbrt (* (sqrt (- x 1.0)) (sqrt x))) (cbrt (* (sqrt (- x 1.0)) (sqrt x))))
  (cbrt (* (sqrt (- x 1.0)) (sqrt x)))
  (pow (* (sqrt (- x 1.0)) (sqrt x)) 3)
  (* (- x 1.0) x)
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (sqrt (* (sqrt (- x 1.0)) (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (sqrt (- x 1.0))) (sqrt (sqrt x)))
  (* (sqrt (- x 1.0)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (fabs (cbrt x)) (sqrt (- x 1.0)))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (sqrt (- x 1.0))
  (* (sqrt (- x 1.0)) (sqrt (sqrt x)))
  (sqrt (- x 1.0))
  (* (cbrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (cbrt (- x 1.0))) (sqrt x))
  (* (sqrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (sqrt (- (sqrt x) (sqrt 1.0))) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (sqrt (sqrt (- x 1.0))) (sqrt x))
  (* (sqrt (- x 1.0)) (sqrt x))
  (* (sqrt (- (pow x 3) (pow 1.0 3))) (sqrt x))
  (* (sqrt (- (* x x) (* 1.0 1.0))) (sqrt x))
  (* +nan.0 (+ (- (pow x 2)) (- (pow x 3) x)))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
0.487 * * * [progress]: adding candidates to table
0.542 * * [progress]: iteration 2 / 4
0.542 * * * [progress]: picking best candidate
0.547 * * * * [pick]: Picked  #<alt (λ (x) (- x (+ 0.5 (* 0.125 (/ 1 x)))))>
0.547 * * * [progress]: localizing error
0.553 * * * [progress]: generating rewritten candidates
0.553 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.569 * * * [progress]: generating series expansions
0.569 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.569 * [approximate]: Taking taylor expansion of (- x (+ 0.5 (* 0.125 (/ 1 x)))) in (x) around 0
0.569 * [taylor]: Taking taylor expansion of (- x (+ 0.5 (* 0.125 (/ 1 x)))) in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.569 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.125 (/ 1 x))) in x
0.569 * [taylor]: Taking taylor expansion of 0.5 in x
0.569 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
0.569 * [taylor]: Taking taylor expansion of 0.125 in x
0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.570 * [taylor]: Taking taylor expansion of (- x (+ 0.5 (* 0.125 (/ 1 x)))) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.570 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.125 (/ 1 x))) in x
0.570 * [taylor]: Taking taylor expansion of 0.5 in x
0.570 * [taylor]: Taking taylor expansion of (* 0.125 (/ 1 x)) in x
0.570 * [taylor]: Taking taylor expansion of 0.125 in x
0.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.570 * [taylor]: Taking taylor expansion of x in x
0.577 * [approximate]: Taking taylor expansion of (- (/ 1 x) (+ 0.5 (* 0.125 x))) in (x) around 0
0.577 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ 0.5 (* 0.125 x))) in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.125 x)) in x
0.577 * [taylor]: Taking taylor expansion of 0.5 in x
0.577 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
0.577 * [taylor]: Taking taylor expansion of 0.125 in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ 0.5 (* 0.125 x))) in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of (+ 0.5 (* 0.125 x)) in x
0.577 * [taylor]: Taking taylor expansion of 0.5 in x
0.577 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
0.577 * [taylor]: Taking taylor expansion of 0.125 in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.583 * [approximate]: Taking taylor expansion of (- (* 0.125 x) (+ 0.5 (/ 1 x))) in (x) around 0
0.583 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (+ 0.5 (/ 1 x))) in x
0.583 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
0.583 * [taylor]: Taking taylor expansion of 0.125 in x
0.583 * [taylor]: Taking taylor expansion of x in x
0.583 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 x)) in x
0.583 * [taylor]: Taking taylor expansion of 0.5 in x
0.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.583 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (- (* 0.125 x) (+ 0.5 (/ 1 x))) in x
0.584 * [taylor]: Taking taylor expansion of (* 0.125 x) in x
0.584 * [taylor]: Taking taylor expansion of 0.125 in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of (+ 0.5 (/ 1 x)) in x
0.584 * [taylor]: Taking taylor expansion of 0.5 in x
0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.584 * [taylor]: Taking taylor expansion of x in x
0.590 * * * [progress]: simplifying candidates
0.590 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp x) (* (exp 0.5) (exp (* 0.125 (/ 1 x)))))
  (/ (exp x) (exp (+ 0.5 (* 0.125 (/ 1 x)))))
  (log (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (exp (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (* (cbrt (- x (+ 0.5 (* 0.125 (/ 1 x))))) (cbrt (- x (+ 0.5 (* 0.125 (/ 1 x))))))
  (cbrt (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (* (* (- x (+ 0.5 (* 0.125 (/ 1 x)))) (- x (+ 0.5 (* 0.125 (/ 1 x))))) (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (sqrt (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (sqrt (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (- (pow x 3) (pow (+ 0.5 (* 0.125 (/ 1 x))) 3))
  (+ (* x x) (+ (* (+ 0.5 (* 0.125 (/ 1 x))) (+ 0.5 (* 0.125 (/ 1 x)))) (* x (+ 0.5 (* 0.125 (/ 1 x))))))
  (- (+ 0.5 (* 0.125 (/ 1 x))))
  (- (* x x) (* (+ 0.5 (* 0.125 (/ 1 x))) (+ 0.5 (* 0.125 (/ 1 x)))))
  (+ x (+ 0.5 (* 0.125 (/ 1 x))))
  (+ (sqrt x) (sqrt (+ 0.5 (* 0.125 (/ 1 x)))))
  (- (sqrt x) (sqrt (+ 0.5 (* 0.125 (/ 1 x)))))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
  (- x 0.5)
  (- x (* 0.125 (/ 1 x)))
  (- (+ 0.5 (* 0.125 (/ 1 x))))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
  (- x (+ 0.5 (* 0.125 (/ 1 x))))
0.593 * * [simplify]: iteration  0 :  96  enodes  (cost  137 )
0.595 * * [simplify]: iteration  1 :  271  enodes  (cost  128 )
0.601 * * [simplify]: iteration  2 :  990  enodes  (cost  126 )
0.623 * * [simplify]: iteration  3 :  5001  enodes  (cost  118 )
0.625 * [simplify]: Simplified to:
   (exp (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (exp (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (log (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (exp (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (* (cbrt (- x (+ 0.5 (* 0.125 (/ 1 x))))) (cbrt (- x (+ 0.5 (* 0.125 (/ 1 x))))))
  (cbrt (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (pow (- x (+ 0.5 (* 0.125 (/ 1 x)))) 3)
  (sqrt (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (sqrt (- x (+ 0.5 (* 0.125 (/ 1 x)))))
  (- (pow x 3) (pow (+ 0.5 (* 0.125 (/ 1 x))) 3))
  (+ (* (+ 0.5 (* 0.125 (/ 1 x))) (+ (+ 0.5 (* 0.125 (/ 1 x))) x)) (* x x))
  (- (/ (- 0.125) x) 0.5)
  (- (* x x) (* (+ 0.5 (* 0.125 (/ 1 x))) (+ 0.5 (* 0.125 (/ 1 x)))))
  (+ (+ x (/ 0.125 x)) 0.5)
  (+ (sqrt x) (sqrt (+ 0.5 (* 0.125 (/ 1 x)))))
  (- (sqrt x) (sqrt (+ 0.5 (* 0.125 (/ 1 x)))))
  (- (- x (/ 0.125 x)) 0.5)
  (- (- x (/ 0.125 x)) 0.5)
  (- (- x (/ 0.125 x)) 0.5)
  (- x 0.5)
  (- x (/ 0.125 x))
  (- (/ (- 0.125) x) 0.5)
  (- (- x (/ 0.125 x)) 0.5)
  (- (- x (/ 0.125 x)) 0.5)
  (- (- x (/ 0.125 x)) 0.5)
0.625 * * * [progress]: adding candidates to table
0.647 * * [progress]: iteration 3 / 4
0.647 * * * [progress]: picking best candidate
0.651 * * * * [pick]: Picked  #<alt (λ (x) (* (* (sqrt (- x 1.0)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
0.651 * * * [progress]: localizing error
0.663 * * * [progress]: generating rewritten candidates
0.664 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
0.665 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
0.667 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
0.669 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
0.679 * * * [progress]: generating series expansions
0.679 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
0.680 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0
0.680 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
0.680 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
0.680 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
0.680 * [taylor]: Taking taylor expansion of 1/6 in x
0.680 * [taylor]: Taking taylor expansion of (log x) in x
0.680 * [taylor]: Taking taylor expansion of x in x
0.681 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
0.681 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
0.681 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
0.681 * [taylor]: Taking taylor expansion of 1/6 in x
0.681 * [taylor]: Taking taylor expansion of (log x) in x
0.681 * [taylor]: Taking taylor expansion of x in x
0.731 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0
0.731 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
0.731 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
0.731 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
0.731 * [taylor]: Taking taylor expansion of 1/6 in x
0.731 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.731 * [taylor]: Taking taylor expansion of x in x
0.732 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
0.732 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
0.732 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
0.732 * [taylor]: Taking taylor expansion of 1/6 in x
0.732 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.732 * [taylor]: Taking taylor expansion of x in x
0.787 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0
0.787 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
0.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
0.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
0.787 * [taylor]: Taking taylor expansion of 1/3 in x
0.787 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
0.787 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.787 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.787 * [taylor]: Taking taylor expansion of -1 in x
0.787 * [taylor]: Taking taylor expansion of x in x
0.790 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
0.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
0.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
0.790 * [taylor]: Taking taylor expansion of 1/3 in x
0.790 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
0.790 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.790 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.790 * [taylor]: Taking taylor expansion of -1 in x
0.790 * [taylor]: Taking taylor expansion of x in x
0.828 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
0.828 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0
0.828 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
0.828 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
0.828 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
0.828 * [taylor]: Taking taylor expansion of 1/6 in x
0.828 * [taylor]: Taking taylor expansion of (log x) in x
0.828 * [taylor]: Taking taylor expansion of x in x
0.829 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
0.829 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
0.829 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
0.829 * [taylor]: Taking taylor expansion of 1/6 in x
0.829 * [taylor]: Taking taylor expansion of (log x) in x
0.829 * [taylor]: Taking taylor expansion of x in x
0.877 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0
0.877 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
0.877 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
0.877 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
0.877 * [taylor]: Taking taylor expansion of 1/6 in x
0.877 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.877 * [taylor]: Taking taylor expansion of x in x
0.878 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
0.878 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
0.878 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
0.878 * [taylor]: Taking taylor expansion of 1/6 in x
0.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.933 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0
0.933 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
0.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
0.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
0.933 * [taylor]: Taking taylor expansion of 1/3 in x
0.933 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
0.933 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.933 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.933 * [taylor]: Taking taylor expansion of -1 in x
0.933 * [taylor]: Taking taylor expansion of x in x
0.936 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
0.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
0.936 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
0.936 * [taylor]: Taking taylor expansion of 1/3 in x
0.936 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
0.936 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.936 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.936 * [taylor]: Taking taylor expansion of -1 in x
0.936 * [taylor]: Taking taylor expansion of x in x
0.977 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
0.977 * [approximate]: Taking taylor expansion of (pow x 1/6) in (x) around 0
0.977 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
0.977 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
0.977 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
0.977 * [taylor]: Taking taylor expansion of 1/6 in x
0.977 * [taylor]: Taking taylor expansion of (log x) in x
0.977 * [taylor]: Taking taylor expansion of x in x
0.978 * [taylor]: Taking taylor expansion of (pow x 1/6) in x
0.978 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x
0.978 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x
0.978 * [taylor]: Taking taylor expansion of 1/6 in x
0.978 * [taylor]: Taking taylor expansion of (log x) in x
0.978 * [taylor]: Taking taylor expansion of x in x
1.025 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/6) in (x) around 0
1.025 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
1.025 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
1.025 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
1.025 * [taylor]: Taking taylor expansion of 1/6 in x
1.025 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x
1.026 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x
1.026 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x
1.026 * [taylor]: Taking taylor expansion of 1/6 in x
1.026 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.081 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in (x) around 0
1.082 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
1.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
1.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
1.082 * [taylor]: Taking taylor expansion of 1/3 in x
1.082 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
1.082 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.082 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.082 * [taylor]: Taking taylor expansion of -1 in x
1.082 * [taylor]: Taking taylor expansion of x in x
1.085 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/3) in x
1.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt (/ -1 x))))) in x
1.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt (/ -1 x)))) in x
1.085 * [taylor]: Taking taylor expansion of 1/3 in x
1.085 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x
1.085 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.085 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.085 * [taylor]: Taking taylor expansion of -1 in x
1.085 * [taylor]: Taking taylor expansion of x in x
1.125 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
1.125 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.125 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.125 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.125 * [taylor]: Taking taylor expansion of 1/3 in x
1.125 * [taylor]: Taking taylor expansion of (log x) in x
1.125 * [taylor]: Taking taylor expansion of x in x
1.126 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.126 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.126 * [taylor]: Taking taylor expansion of 1/3 in x
1.126 * [taylor]: Taking taylor expansion of (log x) in x
1.126 * [taylor]: Taking taylor expansion of x in x
1.174 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.174 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.174 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.174 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.174 * [taylor]: Taking taylor expansion of 1/3 in x
1.174 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.174 * [taylor]: Taking taylor expansion of x in x
1.175 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.175 * [taylor]: Taking taylor expansion of 1/3 in x
1.175 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.175 * [taylor]: Taking taylor expansion of x in x
1.232 * [approximate]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in (x) around 0
1.232 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in x
1.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in x
1.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in x
1.232 * [taylor]: Taking taylor expansion of 1/3 in x
1.232 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in x
1.232 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
1.232 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.232 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.232 * [taylor]: Taking taylor expansion of -1 in x
1.232 * [taylor]: Taking taylor expansion of x in x
1.236 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 2) 1/3) in x
1.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt (/ -1 x)) 2)))) in x
1.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt (/ -1 x)) 2))) in x
1.236 * [taylor]: Taking taylor expansion of 1/3 in x
1.236 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 2)) in x
1.236 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x
1.236 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
1.236 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.236 * [taylor]: Taking taylor expansion of -1 in x
1.236 * [taylor]: Taking taylor expansion of x in x
1.280 * * * [progress]: simplifying candidates
1.282 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt 1))
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt 1)
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt 1))
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt 1)
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt 1))
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt 1)
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sqrt x) (sqrt x))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (+ 1 1)
  (+ (log (cbrt (sqrt x))) (log (cbrt (sqrt x))))
  (log (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (exp (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (sqrt x) (sqrt x))
  (* (sqrt x) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))))
  (* (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (sqrt x))
  (* (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (cbrt (sqrt x))))
  (* (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt 1)) (cbrt (sqrt 1)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* 1 1)
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sqrt x)) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (cbrt (sqrt x)) (cbrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt x)) (cbrt (sqrt 1)))
  (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt x)) (cbrt 1))
  (* (cbrt (sqrt x)) (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x)))))
  (* (cbrt (sqrt x)) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt x)) 1)
  (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt x)))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt x)))
  (* (sqrt (cbrt (sqrt x))) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3))))))
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3))))))
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3))))))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (- (pow +nan.0 1/3) (+ (* +nan.0 (* (/ 1 x) (pow +nan.0 1/3))) (- (* +nan.0 (* (/ 1 (pow x 2)) (pow +nan.0 1/3))))))
1.286 * * [simplify]: iteration  0 :  157  enodes  (cost  726 )
1.290 * * [simplify]: iteration  1 :  590  enodes  (cost  668 )
1.306 * * [simplify]: iteration  2 :  3262  enodes  (cost  585 )
1.381 * * [simplify]: iteration  3 :  5001  enodes  (cost  558 )
1.385 * [simplify]: Simplified to:
   (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  1
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  1
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (sqrt x)
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  1
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  1
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (sqrt x)
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (log (cbrt (sqrt x)))
  (exp (cbrt (sqrt x)))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (cbrt (sqrt (* (cbrt x) (cbrt x))))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  1
  (cbrt (sqrt x))
  (cbrt (sqrt (sqrt x)))
  (cbrt (sqrt (sqrt x)))
  1
  (cbrt (sqrt x))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt (sqrt x)))
  (sqrt x)
  (sqrt (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  2/3
  2
  x
  (pow x 1/3)
  2
  (* 2 (log (cbrt (sqrt x))))
  (* 2 (log (cbrt (sqrt x))))
  (exp (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  x
  x
  x
  x
  (* (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (* (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (* (cbrt x) (cbrt x)))) (cbrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  1
  (pow x 1/3)
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  1
  (pow x 1/3)
  (pow (cbrt (cbrt (sqrt x))) 4)
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (pow x 1/3)
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (sqrt x))) (sqrt (cbrt (sqrt x))))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  2/3
  2
  (* (cbrt (sqrt x)) (cbrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (cbrt (sqrt x)) (cbrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt x))
  (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt x))
  (pow (cbrt (cbrt (sqrt x))) 5)
  (pow (sqrt (cbrt (sqrt x))) 3)
  (cbrt (sqrt x))
  (pow (cbrt (cbrt (sqrt x))) 4)
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))))
  (pow x 1/3)
  (* (cbrt (sqrt x)) (cbrt (sqrt (sqrt x))))
  (pow x 1/3)
  (pow (cbrt (cbrt (sqrt x))) 4)
  (pow (sqrt (cbrt (sqrt x))) 3)
  (pow x 1/3)
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2))))))
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2))))))
  (pow x 1/6)
  (pow (/ 1 x) -1/6)
  (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2))))))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow +nan.0 1/3) (- 1 (- (* +nan.0 (/ 1 x)) (* +nan.0 (/ 1 (pow x 2))))))
1.386 * * * [progress]: adding candidates to table
1.561 * * [progress]: iteration 4 / 4
1.561 * * * [progress]: picking best candidate
1.563 * * * * [pick]: Picked  #<alt (λ (x) (pow (* (- x 1.0) x) 1/2))>
1.563 * * * [progress]: localizing error
1.571 * * * [progress]: generating rewritten candidates
1.571 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.578 * * * [progress]: generating series expansions
1.579 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.579 * [approximate]: Taking taylor expansion of (pow (* (- x 1.0) x) 1/2) in (x) around 0
1.579 * [taylor]: Taking taylor expansion of (pow (* (- x 1.0) x) 1/2) in x
1.579 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* (- x 1.0) x)))) in x
1.579 * [taylor]: Taking taylor expansion of (* 1/2 (log (* (- x 1.0) x))) in x
1.579 * [taylor]: Taking taylor expansion of 1/2 in x
1.579 * [taylor]: Taking taylor expansion of (log (* (- x 1.0) x)) in x
1.579 * [taylor]: Taking taylor expansion of (* (- x 1.0) x) in x
1.579 * [taylor]: Taking taylor expansion of (- x 1.0) in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.579 * [taylor]: Taking taylor expansion of 1.0 in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.585 * [taylor]: Taking taylor expansion of (pow (* (- x 1.0) x) 1/2) in x
1.585 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* (- x 1.0) x)))) in x
1.585 * [taylor]: Taking taylor expansion of (* 1/2 (log (* (- x 1.0) x))) in x
1.585 * [taylor]: Taking taylor expansion of 1/2 in x
1.585 * [taylor]: Taking taylor expansion of (log (* (- x 1.0) x)) in x
1.585 * [taylor]: Taking taylor expansion of (* (- x 1.0) x) in x
1.585 * [taylor]: Taking taylor expansion of (- x 1.0) in x
1.585 * [taylor]: Taking taylor expansion of x in x
1.585 * [taylor]: Taking taylor expansion of 1.0 in x
1.585 * [taylor]: Taking taylor expansion of x in x
1.628 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1.0) x) 1/2) in (x) around 0
1.628 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1.0) x) 1/2) in x
1.628 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (- (/ 1 x) 1.0) x)))) in x
1.628 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (- (/ 1 x) 1.0) x))) in x
1.628 * [taylor]: Taking taylor expansion of 1/2 in x
1.628 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) 1.0) x)) in x
1.628 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) x) in x
1.628 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
1.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.628 * [taylor]: Taking taylor expansion of x in x
1.628 * [taylor]: Taking taylor expansion of 1.0 in x
1.628 * [taylor]: Taking taylor expansion of x in x
1.629 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1.0) x) 1/2) in x
1.629 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (- (/ 1 x) 1.0) x)))) in x
1.629 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (- (/ 1 x) 1.0) x))) in x
1.629 * [taylor]: Taking taylor expansion of 1/2 in x
1.629 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) 1.0) x)) in x
1.629 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) x) in x
1.629 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
1.629 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.629 * [taylor]: Taking taylor expansion of x in x
1.630 * [taylor]: Taking taylor expansion of 1.0 in x
1.630 * [taylor]: Taking taylor expansion of x in x
1.653 * [approximate]: Taking taylor expansion of (pow (/ (+ 1.0 (/ 1 x)) x) 1/2) in (x) around 0
1.654 * [taylor]: Taking taylor expansion of (pow (/ (+ 1.0 (/ 1 x)) x) 1/2) in x
1.654 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (+ 1.0 (/ 1 x)) x)))) in x
1.654 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (+ 1.0 (/ 1 x)) x))) in x
1.654 * [taylor]: Taking taylor expansion of 1/2 in x
1.654 * [taylor]: Taking taylor expansion of (log (/ (+ 1.0 (/ 1 x)) x)) in x
1.654 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) x) in x
1.654 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.654 * [taylor]: Taking taylor expansion of 1.0 in x
1.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.654 * [taylor]: Taking taylor expansion of x in x
1.654 * [taylor]: Taking taylor expansion of x in x
1.655 * [taylor]: Taking taylor expansion of (pow (/ (+ 1.0 (/ 1 x)) x) 1/2) in x
1.655 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (+ 1.0 (/ 1 x)) x)))) in x
1.655 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (+ 1.0 (/ 1 x)) x))) in x
1.655 * [taylor]: Taking taylor expansion of 1/2 in x
1.655 * [taylor]: Taking taylor expansion of (log (/ (+ 1.0 (/ 1 x)) x)) in x
1.655 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) x) in x
1.655 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.655 * [taylor]: Taking taylor expansion of 1.0 in x
1.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.655 * [taylor]: Taking taylor expansion of x in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.676 * * * [progress]: simplifying candidates
1.677 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (+ (log (- x 1.0)) (log x)) 1/2)
  (* (log (* (- x 1.0) x)) 1/2)
  (* (log (* (- x 1.0) x)) 1/2)
  (* 1 1/2)
  (* 1 1/2)
  (pow (* (- x 1.0) x) (* (cbrt 1/2) (cbrt 1/2)))
  (pow (* (- x 1.0) x) (sqrt 1/2))
  (pow (* (- x 1.0) x) 1)
  (pow (- x 1.0) 1/2)
  (pow x 1/2)
  (pow (* (cbrt (* (- x 1.0) x)) (cbrt (* (- x 1.0) x))) 1/2)
  (pow (cbrt (* (- x 1.0) x)) 1/2)
  (pow (sqrt (* (- x 1.0) x)) 1/2)
  (pow (sqrt (* (- x 1.0) x)) 1/2)
  (pow 1 1/2)
  (pow (* (- x 1.0) x) 1/2)
  (pow (* (sqrt (- x 1.0)) (sqrt x)) 1/2)
  (pow (* (sqrt (- x 1.0)) (sqrt x)) 1/2)
  (pow (* (- x 1.0) (* (cbrt x) (cbrt x))) 1/2)
  (pow (cbrt x) 1/2)
  (pow (* (- x 1.0) (sqrt x)) 1/2)
  (pow (sqrt x) 1/2)
  (pow (* (- x 1.0) 1) 1/2)
  (pow x 1/2)
  (pow (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) 1/2)
  (pow (* (cbrt (- x 1.0)) x) 1/2)
  (pow (sqrt (- x 1.0)) 1/2)
  (pow (* (sqrt (- x 1.0)) x) 1/2)
  (pow 1 1/2)
  (pow (* (- x 1.0) x) 1/2)
  (pow (+ (sqrt x) (sqrt 1.0)) 1/2)
  (pow (* (- (sqrt x) (sqrt 1.0)) x) 1/2)
  (pow 1 1/2)
  (pow (* (- x 1.0) x) 1/2)
  (pow x 1/2)
  (pow (- x 1.0) 1/2)
  (log (pow (* (- x 1.0) x) 1/2))
  (exp (pow (* (- x 1.0) x) 1/2))
  (* (cbrt (pow (* (- x 1.0) x) 1/2)) (cbrt (pow (* (- x 1.0) x) 1/2)))
  (cbrt (pow (* (- x 1.0) x) 1/2))
  (* (* (pow (* (- x 1.0) x) 1/2) (pow (* (- x 1.0) x) 1/2)) (pow (* (- x 1.0) x) 1/2))
  (sqrt (pow (* (- x 1.0) x) 1/2))
  (sqrt (pow (* (- x 1.0) x) 1/2))
  (pow (* (- x 1.0) x) (/ 1/2 2))
  (pow (* (- x 1.0) x) (/ 1/2 2))
  (- (+ (* 0.125 (* (pow x 2) (exp (* 1/2 (+ (log (- 1.0)) (log x)))))) (exp (* 1/2 (+ (log (- 1.0)) (log x))))) (+ (* 1/4 (/ (* (pow x 2) (exp (* 1/2 (+ (log (- 1.0)) (log x))))) (pow -1.0 2))) (* 0.5 (* x (exp (* 1/2 (+ (log (- 1.0)) (log x))))))))
  (- (pow (/ 1 x) -1) (+ 0.5 (* 0.125 (/ 1 x))))
  (+ 0.5 (+ (pow (/ -1 x) -1) (* 0.125 (/ 1 x))))
1.680 * * [simplify]: iteration  0 :  242  enodes  (cost  203 )
1.685 * * [simplify]: iteration  1 :  780  enodes  (cost  184 )
1.701 * * [simplify]: iteration  2 :  4046  enodes  (cost  174 )
1.793 * * [simplify]: iteration  3 :  5001  enodes  (cost  174 )
1.795 * [simplify]: Simplified to:
   (log (pow (* (- x 1.0) x) 1/2))
  (log (pow (* (- x 1.0) x) 1/2))
  (log (pow (* (- x 1.0) x) 1/2))
  1/2
  1/2
  (pow (* (- x 1.0) x) (* (cbrt 1/2) (cbrt 1/2)))
  (pow (* (- x 1.0) x) (sqrt 1/2))
  (* (- x 1.0) x)
  (pow (- x 1.0) 1/2)
  (pow x 1/2)
  (fabs (cbrt (* (- x 1.0) x)))
  (pow (cbrt (* (- x 1.0) x)) 1/2)
  (pow (sqrt (* (- x 1.0) x)) 1/2)
  (pow (sqrt (* (- x 1.0) x)) 1/2)
  1
  (pow (* (- x 1.0) x) 1/2)
  (pow (* (sqrt (- x 1.0)) (sqrt x)) 1/2)
  (pow (* (sqrt (- x 1.0)) (sqrt x)) 1/2)
  (pow (* (- x 1.0) (* (cbrt x) (cbrt x))) 1/2)
  (pow (cbrt x) 1/2)
  (pow (* (- x 1.0) (sqrt x)) 1/2)
  (pow (sqrt x) 1/2)
  (pow (- x 1.0) 1/2)
  (pow x 1/2)
  (fabs (cbrt (- x 1.0)))
  (pow (* (cbrt (- x 1.0)) x) 1/2)
  (pow (sqrt (- x 1.0)) 1/2)
  (pow (* (sqrt (- x 1.0)) x) 1/2)
  1
  (pow (* (- x 1.0) x) 1/2)
  (pow (+ (sqrt x) (sqrt 1.0)) 1/2)
  (pow (* (- (sqrt x) (sqrt 1.0)) x) 1/2)
  1
  (pow (* (- x 1.0) x) 1/2)
  (pow x 1/2)
  (pow (- x 1.0) 1/2)
  (log (pow (* (- x 1.0) x) 1/2))
  (exp (pow (* (- x 1.0) x) 1/2))
  (* (cbrt (pow (* (- x 1.0) x) 1/2)) (cbrt (pow (* (- x 1.0) x) 1/2)))
  (cbrt (pow (* (- x 1.0) x) 1/2))
  (pow (* (- x 1.0) x) 3/2)
  (pow (sqrt (* (- x 1.0) x)) 1/2)
  (pow (sqrt (* (- x 1.0) x)) 1/2)
  (pow (* (- x 1.0) x) 1/4)
  (pow (* (- x 1.0) x) 1/4)
  (+ (* (* (pow x 1/2) (pow (- 1.0) 1/2)) (- (+ (* 0.125 (pow x 2)) 1) (* 0.5 x))) (/ (- (* 1/4 (pow x 2))) (* (/ -1.0 (pow (- 1.0) 1/2)) (/ -1.0 (pow x 1/2)))))
  (- (- x (* 0.125 (/ 1 x))) 0.5)
  (+ 0.5 (+ (pow (/ -1 x) -1) (* 0.125 (/ 1 x))))
1.795 * * * [progress]: adding candidates to table
1.840 * [progress]: [Phase 3 of 3] Extracting.
1.841 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (pow (* (- x 1.0) x) 1/2))> #<alt (λ (x) (* (* (sqrt (- x 1.0)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))> #<alt (λ (x) (- x (+ 0.5 (* 0.125 (/ 1 x)))))>)
1.841 * * * [regime-changes]: Trying 1 branch expressions: (x)
1.842 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (pow (* (- x 1.0) x) 1/2))> #<alt (λ (x) (* (* (sqrt (- x 1.0)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))> #<alt (λ (x) (- x (+ 0.5 (* 0.125 (/ 1 x)))))>)
1.859 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
1.859 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (+ 0.5 (* 0.125 (/ 1 x))))
1.860 * * [simplify]: iteration  0 :  12  enodes  (cost  4 )
1.860 * * [simplify]: iteration  1 :  12  enodes  (cost  4 )
1.860 * [simplify]: Simplified to:
   (- x (+ 0.5 (* 0.125 (/ 1 x))))
2.890 * [regime-testing]: Baseline error score: 0.3285644332908212
2.891 * [regime-testing]: Oracle error score: 0.0016252031503937992
2.892 * [regime-testing]: End program error score: 0.3285644332908212