0.378 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (sqrt (+ x 1.0)) (sqrt x))
0.025 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.026 * * [simplify]: iteration  1 :  9  enodes  (cost  7 )
0.027 * * [simplify]: iteration  2 :  10  enodes  (cost  7 )
0.028 * * [simplify]: iteration  done :  10  enodes  (cost  7 )
0.028 * [simplify]: Simplified to:
   (- (sqrt (+ x 1.0)) (sqrt x))
0.028 * * [progress]: iteration 1 / 4
0.028 * * * [progress]: picking best candidate
0.030 * * * * [pick]: Picked  #<alt (λ (x) (- (sqrt (+ x 1.0)) (sqrt x)))>
0.030 * * * [progress]: localizing error
0.035 * * * [progress]: generating rewritten candidates
0.035 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.069 * * * [progress]: generating series expansions
0.069 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.070 * [approximate]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0
0.070 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
0.070 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
0.070 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.070 * [taylor]: Taking taylor expansion of x in x
0.070 * [taylor]: Taking taylor expansion of 1.0 in x
0.072 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.072 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of (- (sqrt (+ x 1.0)) (sqrt x)) in x
0.073 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
0.073 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.073 * [taylor]: Taking taylor expansion of x in x
0.073 * [taylor]: Taking taylor expansion of 1.0 in x
0.075 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.096 * [approximate]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in (x) around 0
0.096 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
0.096 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
0.096 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.096 * [taylor]: Taking taylor expansion of 1.0 in x
0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.096 * [taylor]: Taking taylor expansion of x in x
0.097 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.097 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of (- (sqrt (+ 1.0 (/ 1 x))) (sqrt (/ 1 x))) in x
0.099 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
0.099 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.099 * [taylor]: Taking taylor expansion of 1.0 in x
0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.117 * [approximate]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0
0.117 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
0.117 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
0.117 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.117 * [taylor]: Taking taylor expansion of 1.0 in x
0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.119 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.119 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.119 * [taylor]: Taking taylor expansion of -1 in x
0.119 * [taylor]: Taking taylor expansion of x in x
0.120 * [taylor]: Taking taylor expansion of (- (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
0.120 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
0.120 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.120 * [taylor]: Taking taylor expansion of 1.0 in x
0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.120 * [taylor]: Taking taylor expansion of x in x
0.122 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
0.122 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.122 * [taylor]: Taking taylor expansion of -1 in x
0.122 * [taylor]: Taking taylor expansion of x in x
0.142 * * * [progress]: simplifying candidates
0.144 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt 1) (sqrt (+ x 1.0)) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (fma 1 (sqrt (+ x 1.0)) (- (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))))
  (fma (- (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x))))))
  (fma (- (sqrt (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (sqrt (cbrt x)) (sqrt (* (cbrt x) (cbrt x)))))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt x) (sqrt 1))))
  (fma (- (sqrt x)) (sqrt 1) (* (sqrt x) (sqrt 1)))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt (sqrt x)) (sqrt (sqrt x)))))
  (fma (- (sqrt (sqrt x))) (sqrt (sqrt x)) (* (sqrt (sqrt x)) (sqrt (sqrt x))))
  (fma 1 (sqrt (+ x 1.0)) (- (* (sqrt x) 1)))
  (fma (- (sqrt x)) 1 (* (sqrt x) 1))
  (expm1 (- (sqrt (+ x 1.0)) (sqrt x)))
  (log1p (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (/ (exp (sqrt (+ x 1.0))) (exp (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (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)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (+ (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt x))))
  (- (sqrt x))
  (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt x)))
  (+ (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)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt x))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
0.148 * * [simplify]: iteration  0 :  117  enodes  (cost  1805 )
0.165 * * [simplify]: iteration  1 :  259  enodes  (cost  1303 )
0.216 * * [simplify]: iteration  2 :  747  enodes  (cost  970 )
0.570 * * [simplify]: iteration  3 :  3669  enodes  (cost  800 )
2.662 * * [simplify]: iteration  done :  5000  enodes  (cost  793 )
2.663 * [simplify]: Simplified to:
   (- (pow (cbrt (sqrt (+ x 1.0))) 3) (sqrt x))
  0
  (- (pow (cbrt (sqrt (+ x 1.0))) 3) (* (fabs (cbrt x)) (sqrt (cbrt x))))
  (* (- (sqrt (cbrt x)) (sqrt (cbrt x))) (fabs (cbrt x)))
  (- (pow (cbrt (sqrt (+ x 1.0))) 3) (sqrt x))
  0
  (- (pow (cbrt (sqrt (+ x 1.0))) 3) (sqrt x))
  0
  (- (pow (cbrt (sqrt (+ x 1.0))) 3) (sqrt x))
  0
  (- (pow (cbrt (sqrt (+ x 1.0))) 3) (sqrt x))
  0
  (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x)))
  0
  (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (* (- (sqrt (cbrt x))) (fabs (cbrt x))))
  (* (- (sqrt (cbrt x)) (sqrt (cbrt x))) (fabs (cbrt x)))
  (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x)))
  0
  (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x)))
  0
  (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x)))
  0
  (fma (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (sqrt x)))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (* (fabs (cbrt x)) (sqrt (cbrt x))))
  (* (- (sqrt (cbrt x)) (sqrt (cbrt x))) (fabs (cbrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (* (fabs (cbrt x)) (sqrt (cbrt x))))
  (* (- (sqrt (cbrt x)) (sqrt (cbrt x))) (fabs (cbrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (* (fabs (cbrt x)) (sqrt (cbrt x))))
  (* (- (sqrt (cbrt x)) (sqrt (cbrt x))) (fabs (cbrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (* (fabs (cbrt x)) (sqrt (cbrt x))))
  (* (- (sqrt (cbrt x)) (sqrt (cbrt x))) (fabs (cbrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (* (fabs (cbrt x)) (sqrt (cbrt x))))
  (* (- (sqrt (cbrt x)) (sqrt (cbrt x))) (fabs (cbrt x)))
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (- (sqrt (+ x 1.0)) (sqrt x))
  0
  (expm1 (- (sqrt (+ x 1.0)) (sqrt x)))
  (log1p (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (- (sqrt x))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (log (- (sqrt (+ x 1.0)) (sqrt x)))
  (exp (- (sqrt (+ x 1.0)) (sqrt x)))
  (* (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)
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (sqrt (- (sqrt (+ x 1.0)) (sqrt x)))
  (- (pow (sqrt (+ x 1.0)) 3) (pow (sqrt x) 3))
  (+ (+ x 1.0) (fma (sqrt x) (sqrt (+ x 1.0)) x))
  (- (sqrt x))
  (+ 1.0 0)
  (+ (sqrt x) (sqrt (+ x 1.0)))
  (+ (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)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt (+ x 1.0)) (sqrt x))
  (- (sqrt x))
  (+ (- (fma (/ x (sqrt 1.0)) 1/2 (sqrt 1.0)) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) (* x (- +nan.0 (* +nan.0 x))))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
2.663 * * * [progress]: adding candidates to table
2.751 * * [progress]: iteration 2 / 4
2.751 * * * [progress]: picking best candidate
2.754 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))))>
2.754 * * * [progress]: localizing error
2.762 * * * [progress]: generating rewritten candidates
2.762 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.789 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.804 * * * [progress]: generating series expansions
2.805 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.805 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) in (x) around 0
2.805 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) in x
2.805 * [taylor]: Taking taylor expansion of 1.0 in x
2.805 * [taylor]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in x
2.805 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
2.805 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.805 * [taylor]: Taking taylor expansion of x in x
2.805 * [taylor]: Taking taylor expansion of 1.0 in x
2.808 * [taylor]: Taking taylor expansion of (sqrt x) in x
2.808 * [taylor]: Taking taylor expansion of x in x
2.810 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (+ x 1.0)) (sqrt x))) in x
2.810 * [taylor]: Taking taylor expansion of 1.0 in x
2.810 * [taylor]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in x
2.810 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
2.810 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.810 * [taylor]: Taking taylor expansion of x in x
2.810 * [taylor]: Taking taylor expansion of 1.0 in x
2.812 * [taylor]: Taking taylor expansion of (sqrt x) in x
2.812 * [taylor]: Taking taylor expansion of x in x
2.894 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 x)) (sqrt (+ 1.0 (/ 1 x))))) in (x) around 0
2.894 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 x)) (sqrt (+ 1.0 (/ 1 x))))) in x
2.894 * [taylor]: Taking taylor expansion of 1.0 in x
2.894 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ 1.0 (/ 1 x)))) in x
2.894 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
2.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.894 * [taylor]: Taking taylor expansion of x in x
2.896 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
2.896 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.896 * [taylor]: Taking taylor expansion of 1.0 in x
2.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.896 * [taylor]: Taking taylor expansion of x in x
2.898 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (/ 1 x)) (sqrt (+ 1.0 (/ 1 x))))) in x
2.898 * [taylor]: Taking taylor expansion of 1.0 in x
2.898 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ 1.0 (/ 1 x)))) in x
2.898 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
2.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.898 * [taylor]: Taking taylor expansion of x in x
2.900 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
2.900 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.900 * [taylor]: Taking taylor expansion of 1.0 in x
2.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.900 * [taylor]: Taking taylor expansion of x in x
2.921 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x)))) in (x) around 0
2.921 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x)))) in x
2.921 * [taylor]: Taking taylor expansion of 1.0 in x
2.921 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
2.921 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
2.921 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.921 * [taylor]: Taking taylor expansion of 1.0 in x
2.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.921 * [taylor]: Taking taylor expansion of x in x
2.923 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.923 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.923 * [taylor]: Taking taylor expansion of -1 in x
2.923 * [taylor]: Taking taylor expansion of x in x
2.926 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x)))) in x
2.926 * [taylor]: Taking taylor expansion of 1.0 in x
2.926 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
2.926 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
2.926 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.926 * [taylor]: Taking taylor expansion of 1.0 in x
2.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.926 * [taylor]: Taking taylor expansion of x in x
2.928 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
2.928 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.928 * [taylor]: Taking taylor expansion of -1 in x
2.928 * [taylor]: Taking taylor expansion of x in x
2.949 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.949 * [approximate]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in (x) around 0
2.949 * [taylor]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in x
2.949 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
2.949 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.949 * [taylor]: Taking taylor expansion of x in x
2.949 * [taylor]: Taking taylor expansion of 1.0 in x
2.951 * [taylor]: Taking taylor expansion of (sqrt x) in x
2.951 * [taylor]: Taking taylor expansion of x in x
2.952 * [taylor]: Taking taylor expansion of (+ (sqrt (+ x 1.0)) (sqrt x)) in x
2.952 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
2.952 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.952 * [taylor]: Taking taylor expansion of x in x
2.952 * [taylor]: Taking taylor expansion of 1.0 in x
2.954 * [taylor]: Taking taylor expansion of (sqrt x) in x
2.954 * [taylor]: Taking taylor expansion of x in x
2.979 * [approximate]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ 1.0 (/ 1 x)))) in (x) around 0
2.979 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ 1.0 (/ 1 x)))) in x
2.979 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
2.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.979 * [taylor]: Taking taylor expansion of x in x
2.981 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
2.981 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.981 * [taylor]: Taking taylor expansion of 1.0 in x
2.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.981 * [taylor]: Taking taylor expansion of x in x
2.983 * [taylor]: Taking taylor expansion of (+ (sqrt (/ 1 x)) (sqrt (+ 1.0 (/ 1 x)))) in x
2.983 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
2.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.983 * [taylor]: Taking taylor expansion of x in x
2.984 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
2.984 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.984 * [taylor]: Taking taylor expansion of 1.0 in x
2.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.984 * [taylor]: Taking taylor expansion of x in x
2.999 * [approximate]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in (x) around 0
2.999 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
2.999 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
2.999 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.999 * [taylor]: Taking taylor expansion of 1.0 in x
2.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.999 * [taylor]: Taking taylor expansion of x in x
3.001 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.001 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.001 * [taylor]: Taking taylor expansion of -1 in x
3.001 * [taylor]: Taking taylor expansion of x in x
3.002 * [taylor]: Taking taylor expansion of (+ (sqrt (- 1.0 (/ 1 x))) (sqrt (/ -1 x))) in x
3.002 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
3.002 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.002 * [taylor]: Taking taylor expansion of 1.0 in x
3.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.002 * [taylor]: Taking taylor expansion of x in x
3.004 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.004 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.004 * [taylor]: Taking taylor expansion of -1 in x
3.004 * [taylor]: Taking taylor expansion of x in x
3.018 * * * [progress]: simplifying candidates
3.020 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))))
  (log1p (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))))
  (- (log (+ 1.0 0)) (log (+ (sqrt x) (sqrt (+ x 1.0)))))
  (log (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))))
  (exp (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (* (* (+ 1.0 0) (+ 1.0 0)) (+ 1.0 0)) (* (* (+ (sqrt x) (sqrt (+ x 1.0))) (+ (sqrt x) (sqrt (+ x 1.0)))) (+ (sqrt x) (sqrt (+ x 1.0)))))
  (* (cbrt (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))) (cbrt (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))))
  (cbrt (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))))
  (* (* (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))) (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))) (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))))
  (sqrt (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0)))))
  (- (+ 1.0 0))
  (- (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ (cbrt (+ 1.0 0)) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (cbrt (+ 1.0 0)) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt 1))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt 1))
  (/ (cbrt (+ 1.0 0)) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (sqrt (+ 1.0 0)) (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ (sqrt (+ 1.0 0)) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (sqrt (+ 1.0 0)) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (sqrt (+ 1.0 0)) (sqrt 1))
  (/ (sqrt (+ 1.0 0)) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (sqrt (+ 1.0 0)) (sqrt 1))
  (/ (sqrt (+ 1.0 0)) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ (+ 1.0 0) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (sqrt 1))
  (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 1)
  (/ (+ 1.0 0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) (+ 1.0 0))
  (/ (+ 1.0 0) (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ (+ 1.0 0) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (+ 1.0 0) 1)
  (/ (+ 1.0 0) (sqrt 1))
  (/ (+ 1.0 0) (sqrt 1))
  (/ (+ 1.0 0) 1)
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) (cbrt (+ 1.0 0)))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) (sqrt (+ 1.0 0)))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) (+ 1.0 0))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) (+ 1.0 0))
  (/ (+ 1.0 0) (+ (pow (sqrt x) 3) (pow (sqrt (+ x 1.0)) 3)))
  (/ (+ 1.0 0) (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0)))))
  (* (+ (sqrt x) (sqrt (+ x 1.0))) (+ (* 1.0 1.0) (- (* 0 0) (* 1.0 0))))
  (* (+ (sqrt x) (sqrt (+ x 1.0))) (- 1.0 0))
  (expm1 (+ (sqrt x) (sqrt (+ x 1.0))))
  (log1p (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (exp (sqrt x)) (exp (sqrt (+ x 1.0))))
  (log (+ (sqrt x) (sqrt (+ x 1.0))))
  (exp (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (* (+ (sqrt x) (sqrt (+ x 1.0))) (+ (sqrt x) (sqrt (+ x 1.0)))) (+ (sqrt x) (sqrt (+ x 1.0))))
  (sqrt (+ (sqrt x) (sqrt (+ x 1.0))))
  (sqrt (+ (sqrt x) (sqrt (+ x 1.0))))
  (+ (pow (sqrt x) 3) (pow (sqrt (+ x 1.0)) 3))
  (+ (* (sqrt x) (sqrt x)) (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt (+ x 1.0)))))
  (- (* (sqrt x) (sqrt x)) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))))
  (- (sqrt x) (sqrt (+ x 1.0)))
  (+ (sqrt x) (sqrt (+ x 1.0)))
  (+ (sqrt x) (sqrt (+ x 1.0)))
  (+ (sqrt x) (sqrt (+ x 1.0)))
  (- (+ (* 1.0 (/ 1 (sqrt 1.0))) (* 0.375 (/ (pow x 2) (pow (sqrt 1.0) 5)))) (+ (* +nan.0 (/ (pow x 2) (pow (sqrt 1.0) 2))) (- (* 0.5 (/ x (pow (sqrt 1.0) 3))) (+ (* +nan.0 (/ (pow x 2) (pow (sqrt 1.0) 4))) (- (+ (* +nan.0 (/ x (pow (sqrt 1.0) 2))) (- (* +nan.0 (/ (pow x 2) (pow (sqrt 1.0) 3))))))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (+ (* +nan.0 (pow x 2)) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
3.025 * * [simplify]: iteration  0 :  143  enodes  (cost  1265 )
3.054 * * [simplify]: iteration  1 :  359  enodes  (cost  1038 )
3.141 * * [simplify]: iteration  2 :  1300  enodes  (cost  936 )
3.654 * * [simplify]: iteration  done :  5001  enodes  (cost  932 )
3.655 * [simplify]: Simplified to:
   (expm1 (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (log1p (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (log (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (log (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (exp (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (pow (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))) 3)
  (* (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))) (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))))
  (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (pow (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))) 3)
  (sqrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (sqrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (- 1.0)
  (- (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ (cbrt 1.0) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (cbrt 1.0) (/ (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt 1.0)))
  (/ (cbrt 1.0) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (/ (sqrt 1.0) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (sqrt 1.0) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ 1.0 (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ 1.0 (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) 1.0)
  (/ (/ 1.0 (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  1.0
  1.0
  1.0
  1.0
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) (cbrt 1.0))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) (sqrt 1.0))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) 1.0)
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) 1.0)
  (/ 1.0 (fma x (sqrt x) (pow (sqrt (+ x 1.0)) 3)))
  (/ 1.0 (- x (+ x 1.0)))
  (* (* 1.0 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (+ (sqrt x) (sqrt (+ x 1.0))) 1.0)
  (expm1 (+ (sqrt x) (sqrt (+ x 1.0))))
  (log1p (+ (sqrt x) (sqrt (+ x 1.0))))
  (exp (+ (sqrt x) (sqrt (+ x 1.0))))
  (log (+ (sqrt x) (sqrt (+ x 1.0))))
  (exp (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))
  (pow (+ (sqrt x) (sqrt (+ x 1.0))) 3)
  (sqrt (+ (sqrt x) (sqrt (+ x 1.0))))
  (sqrt (+ (sqrt x) (sqrt (+ x 1.0))))
  (fma x (sqrt x) (pow (sqrt (+ x 1.0)) 3))
  (- (+ x (+ x 1.0)) (* (sqrt x) (sqrt (+ x 1.0))))
  (- x (+ x 1.0))
  (- (sqrt x) (sqrt (+ x 1.0)))
  (+ (sqrt x) (sqrt (+ x 1.0)))
  (+ (sqrt x) (sqrt (+ x 1.0)))
  (+ (sqrt x) (sqrt (+ x 1.0)))
  (+ (- (fma (/ (pow x 2) (pow (sqrt 1.0) 5)) 0.375 (/ 1.0 (sqrt 1.0))) (fma +nan.0 (/ (pow x 2) 1.0) (* 0.5 (/ x (pow (sqrt 1.0) 3))))) (- (* +nan.0 (/ (pow x 2) (* 1.0 1.0))) (* +nan.0 (- (/ x 1.0) (/ (pow x 2) (pow (sqrt 1.0) 3))))))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
  (- (fma 1/2 (/ x (sqrt 1.0)) (sqrt 1.0)) (fma +nan.0 (pow x 2) (- (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* +nan.0 x))))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
  (- (- (/ +nan.0 x) +nan.0) (/ +nan.0 (pow x 2)))
3.656 * * * [progress]: adding candidates to table
3.800 * * [progress]: iteration 3 / 4
3.800 * * * [progress]: picking best candidate
3.815 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))>
3.815 * * * [progress]: localizing error
3.827 * * * [progress]: generating rewritten candidates
3.827 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.835 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
3.836 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
3.838 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
3.840 * * * [progress]: generating series expansions
3.840 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.841 * [approximate]: Taking taylor expansion of (/ 1.0 (fma (pow x 1/4) (pow x 1/4) (sqrt (+ x 1.0)))) in (x) around 0
3.841 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (pow x 1/4) (pow x 1/4) (sqrt (+ x 1.0)))) in x
3.841 * [taylor]: Taking taylor expansion of 1.0 in x
3.841 * [taylor]: Taking taylor expansion of (fma (pow x 1/4) (pow x 1/4) (sqrt (+ x 1.0))) in x
3.841 * [taylor]: Rewrote expression to (+ (* (pow x 1/4) (pow x 1/4)) (sqrt (+ x 1.0)))
3.841 * [taylor]: Taking taylor expansion of (* (pow x 1/4) (pow x 1/4)) in x
3.841 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.841 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.841 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.841 * [taylor]: Taking taylor expansion of 1/4 in x
3.841 * [taylor]: Taking taylor expansion of (log x) in x
3.841 * [taylor]: Taking taylor expansion of x in x
3.842 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.842 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.842 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.842 * [taylor]: Taking taylor expansion of 1/4 in x
3.842 * [taylor]: Taking taylor expansion of (log x) in x
3.842 * [taylor]: Taking taylor expansion of x in x
3.842 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
3.842 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
3.842 * [taylor]: Taking taylor expansion of x in x
3.842 * [taylor]: Taking taylor expansion of 1.0 in x
3.845 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (pow x 1/4) (pow x 1/4) (sqrt (+ x 1.0)))) in x
3.845 * [taylor]: Taking taylor expansion of 1.0 in x
3.845 * [taylor]: Taking taylor expansion of (fma (pow x 1/4) (pow x 1/4) (sqrt (+ x 1.0))) in x
3.845 * [taylor]: Rewrote expression to (+ (* (pow x 1/4) (pow x 1/4)) (sqrt (+ x 1.0)))
3.845 * [taylor]: Taking taylor expansion of (* (pow x 1/4) (pow x 1/4)) in x
3.845 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.845 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.845 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.845 * [taylor]: Taking taylor expansion of 1/4 in x
3.845 * [taylor]: Taking taylor expansion of (log x) in x
3.845 * [taylor]: Taking taylor expansion of x in x
3.846 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
3.846 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
3.846 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
3.846 * [taylor]: Taking taylor expansion of 1/4 in x
3.846 * [taylor]: Taking taylor expansion of (log x) in x
3.846 * [taylor]: Taking taylor expansion of x in x
3.847 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
3.847 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
3.847 * [taylor]: Taking taylor expansion of x in x
3.847 * [taylor]: Taking taylor expansion of 1.0 in x
3.878 * [approximate]: Taking taylor expansion of (/ 1.0 (fma (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x))))) in (x) around 0
3.879 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x))))) in x
3.879 * [taylor]: Taking taylor expansion of 1.0 in x
3.879 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x)))) in x
3.879 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4)) (sqrt (+ 1.0 (/ 1 x))))
3.879 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4)) in x
3.879 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
3.879 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
3.879 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
3.879 * [taylor]: Taking taylor expansion of 1/4 in x
3.879 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.879 * [taylor]: Taking taylor expansion of x in x
3.880 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
3.880 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
3.880 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
3.880 * [taylor]: Taking taylor expansion of 1/4 in x
3.880 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.880 * [taylor]: Taking taylor expansion of x in x
3.881 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
3.881 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
3.881 * [taylor]: Taking taylor expansion of 1.0 in x
3.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.881 * [taylor]: Taking taylor expansion of x in x
3.883 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x))))) in x
3.883 * [taylor]: Taking taylor expansion of 1.0 in x
3.883 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x)))) in x
3.883 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4)) (sqrt (+ 1.0 (/ 1 x))))
3.883 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4)) in x
3.883 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
3.883 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
3.883 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
3.883 * [taylor]: Taking taylor expansion of 1/4 in x
3.883 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.883 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.883 * [taylor]: Taking taylor expansion of x in x
3.884 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
3.884 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
3.884 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
3.884 * [taylor]: Taking taylor expansion of 1/4 in x
3.884 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.884 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.884 * [taylor]: Taking taylor expansion of x in x
3.885 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
3.885 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
3.885 * [taylor]: Taking taylor expansion of 1.0 in x
3.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.885 * [taylor]: Taking taylor expansion of x in x
3.914 * [approximate]: Taking taylor expansion of (/ 1.0 (fma (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x))))) in (x) around 0
3.914 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x))))) in x
3.914 * [taylor]: Taking taylor expansion of 1.0 in x
3.914 * [taylor]: Taking taylor expansion of (fma (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x)))) in x
3.914 * [taylor]: Rewrote expression to (+ (* (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x)))) (sqrt (- 1.0 (/ 1 x))))
3.914 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x)))) in x
3.914 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
3.914 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.914 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.914 * [taylor]: Taking taylor expansion of -1 in x
3.914 * [taylor]: Taking taylor expansion of x in x
3.919 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
3.919 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.919 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.919 * [taylor]: Taking taylor expansion of -1 in x
3.919 * [taylor]: Taking taylor expansion of x in x
3.924 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
3.924 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.924 * [taylor]: Taking taylor expansion of 1.0 in x
3.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.924 * [taylor]: Taking taylor expansion of x in x
3.929 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x))))) in x
3.929 * [taylor]: Taking taylor expansion of 1.0 in x
3.929 * [taylor]: Taking taylor expansion of (fma (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x)))) in x
3.929 * [taylor]: Rewrote expression to (+ (* (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x)))) (sqrt (- 1.0 (/ 1 x))))
3.929 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x)))) in x
3.929 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
3.929 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.929 * [taylor]: Taking taylor expansion of -1 in x
3.929 * [taylor]: Taking taylor expansion of x in x
3.934 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
3.934 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
3.934 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.934 * [taylor]: Taking taylor expansion of -1 in x
3.934 * [taylor]: Taking taylor expansion of x in x
3.939 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
3.939 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.939 * [taylor]: Taking taylor expansion of 1.0 in x
3.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.939 * [taylor]: Taking taylor expansion of x in x
4.057 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
4.057 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
4.057 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.057 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.057 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.057 * [taylor]: Taking taylor expansion of 1/4 in x
4.057 * [taylor]: Taking taylor expansion of (log x) in x
4.057 * [taylor]: Taking taylor expansion of x in x
4.058 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.058 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.058 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.058 * [taylor]: Taking taylor expansion of 1/4 in x
4.058 * [taylor]: Taking taylor expansion of (log x) in x
4.058 * [taylor]: Taking taylor expansion of x in x
4.114 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
4.114 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.114 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.114 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.114 * [taylor]: Taking taylor expansion of 1/4 in x
4.114 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.114 * [taylor]: Taking taylor expansion of x in x
4.115 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.115 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.115 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.115 * [taylor]: Taking taylor expansion of 1/4 in x
4.115 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.115 * [taylor]: Taking taylor expansion of x in x
4.175 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
4.175 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.175 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.175 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.175 * [taylor]: Taking taylor expansion of -1 in x
4.175 * [taylor]: Taking taylor expansion of x in x
4.180 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.180 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.180 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.180 * [taylor]: Taking taylor expansion of -1 in x
4.180 * [taylor]: Taking taylor expansion of x in x
4.202 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
4.202 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
4.202 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.202 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.202 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.202 * [taylor]: Taking taylor expansion of 1/4 in x
4.202 * [taylor]: Taking taylor expansion of (log x) in x
4.202 * [taylor]: Taking taylor expansion of x in x
4.202 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.202 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.202 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.202 * [taylor]: Taking taylor expansion of 1/4 in x
4.203 * [taylor]: Taking taylor expansion of (log x) in x
4.203 * [taylor]: Taking taylor expansion of x in x
4.260 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
4.260 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.260 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.260 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.260 * [taylor]: Taking taylor expansion of 1/4 in x
4.260 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.260 * [taylor]: Taking taylor expansion of x in x
4.261 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.261 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.261 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.261 * [taylor]: Taking taylor expansion of 1/4 in x
4.261 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.261 * [taylor]: Taking taylor expansion of x in x
4.323 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
4.323 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.323 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.323 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.323 * [taylor]: Taking taylor expansion of -1 in x
4.323 * [taylor]: Taking taylor expansion of x in x
4.329 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.329 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.329 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.329 * [taylor]: Taking taylor expansion of -1 in x
4.329 * [taylor]: Taking taylor expansion of x in x
4.350 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
4.350 * [approximate]: Taking taylor expansion of (fma (pow x 1/4) (pow x 1/4) (sqrt (+ x 1.0))) in (x) around 0
4.350 * [taylor]: Taking taylor expansion of (fma (pow x 1/4) (pow x 1/4) (sqrt (+ x 1.0))) in x
4.350 * [taylor]: Rewrote expression to (+ (* (pow x 1/4) (pow x 1/4)) (sqrt (+ x 1.0)))
4.350 * [taylor]: Taking taylor expansion of (* (pow x 1/4) (pow x 1/4)) in x
4.350 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.350 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.350 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.350 * [taylor]: Taking taylor expansion of 1/4 in x
4.350 * [taylor]: Taking taylor expansion of (log x) in x
4.350 * [taylor]: Taking taylor expansion of x in x
4.351 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.351 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.351 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.351 * [taylor]: Taking taylor expansion of 1/4 in x
4.351 * [taylor]: Taking taylor expansion of (log x) in x
4.351 * [taylor]: Taking taylor expansion of x in x
4.352 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
4.352 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
4.352 * [taylor]: Taking taylor expansion of x in x
4.352 * [taylor]: Taking taylor expansion of 1.0 in x
4.353 * [taylor]: Taking taylor expansion of (fma (pow x 1/4) (pow x 1/4) (sqrt (+ x 1.0))) in x
4.354 * [taylor]: Rewrote expression to (+ (* (pow x 1/4) (pow x 1/4)) (sqrt (+ x 1.0)))
4.354 * [taylor]: Taking taylor expansion of (* (pow x 1/4) (pow x 1/4)) in x
4.354 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.354 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.354 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.354 * [taylor]: Taking taylor expansion of 1/4 in x
4.354 * [taylor]: Taking taylor expansion of (log x) in x
4.354 * [taylor]: Taking taylor expansion of x in x
4.354 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
4.354 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
4.354 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
4.354 * [taylor]: Taking taylor expansion of 1/4 in x
4.354 * [taylor]: Taking taylor expansion of (log x) in x
4.354 * [taylor]: Taking taylor expansion of x in x
4.355 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
4.355 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
4.355 * [taylor]: Taking taylor expansion of x in x
4.355 * [taylor]: Taking taylor expansion of 1.0 in x
4.381 * [approximate]: Taking taylor expansion of (fma (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x)))) in (x) around 0
4.381 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x)))) in x
4.381 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4)) (sqrt (+ 1.0 (/ 1 x))))
4.381 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4)) in x
4.381 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.381 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.381 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.381 * [taylor]: Taking taylor expansion of 1/4 in x
4.381 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.381 * [taylor]: Taking taylor expansion of x in x
4.382 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.382 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.382 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.382 * [taylor]: Taking taylor expansion of 1/4 in x
4.382 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.382 * [taylor]: Taking taylor expansion of x in x
4.383 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
4.383 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
4.383 * [taylor]: Taking taylor expansion of 1.0 in x
4.383 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.383 * [taylor]: Taking taylor expansion of x in x
4.385 * [taylor]: Taking taylor expansion of (fma (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x)))) in x
4.385 * [taylor]: Rewrote expression to (+ (* (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4)) (sqrt (+ 1.0 (/ 1 x))))
4.385 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (pow (/ 1 x) 1/4)) in x
4.385 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.385 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.385 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.385 * [taylor]: Taking taylor expansion of 1/4 in x
4.385 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.385 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.385 * [taylor]: Taking taylor expansion of x in x
4.386 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
4.386 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
4.386 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
4.386 * [taylor]: Taking taylor expansion of 1/4 in x
4.386 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.386 * [taylor]: Taking taylor expansion of x in x
4.387 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
4.387 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
4.387 * [taylor]: Taking taylor expansion of 1.0 in x
4.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.387 * [taylor]: Taking taylor expansion of x in x
4.417 * [approximate]: Taking taylor expansion of (fma (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x)))) in (x) around 0
4.417 * [taylor]: Taking taylor expansion of (fma (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x)))) in x
4.417 * [taylor]: Rewrote expression to (+ (* (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x)))) (sqrt (- 1.0 (/ 1 x))))
4.417 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x)))) in x
4.417 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.417 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.417 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.417 * [taylor]: Taking taylor expansion of -1 in x
4.417 * [taylor]: Taking taylor expansion of x in x
4.422 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.422 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.422 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.422 * [taylor]: Taking taylor expansion of -1 in x
4.422 * [taylor]: Taking taylor expansion of x in x
4.427 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
4.427 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.427 * [taylor]: Taking taylor expansion of 1.0 in x
4.427 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.427 * [taylor]: Taking taylor expansion of x in x
4.429 * [taylor]: Taking taylor expansion of (fma (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x)))) in x
4.429 * [taylor]: Rewrote expression to (+ (* (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x)))) (sqrt (- 1.0 (/ 1 x))))
4.429 * [taylor]: Taking taylor expansion of (* (sqrt (sqrt (/ -1 x))) (sqrt (sqrt (/ -1 x)))) in x
4.429 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.429 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.429 * [taylor]: Taking taylor expansion of -1 in x
4.429 * [taylor]: Taking taylor expansion of x in x
4.434 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
4.434 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.434 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.434 * [taylor]: Taking taylor expansion of -1 in x
4.434 * [taylor]: Taking taylor expansion of x in x
4.439 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
4.439 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
4.439 * [taylor]: Taking taylor expansion of 1.0 in x
4.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.439 * [taylor]: Taking taylor expansion of x in x
4.499 * * * [progress]: simplifying candidates
4.501 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (log1p (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (- (log (+ 1.0 0)) (log (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (log (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (exp (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (* (* (+ 1.0 0) (+ 1.0 0)) (+ 1.0 0)) (* (* (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (* (cbrt (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))) (cbrt (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (cbrt (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (* (* (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))) (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (sqrt (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (sqrt (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (- (+ 1.0 0))
  (- (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (* (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (cbrt (+ 1.0 0)) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (cbrt (+ 1.0 0)) (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ (sqrt (+ 1.0 0)) (* (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (sqrt (+ 1.0 0)) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (sqrt (+ 1.0 0)) (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (sqrt (+ 1.0 0)) (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (+ 1.0 0) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (+ 1.0 0) (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 1)
  (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (+ 1.0 0) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (+ 1.0 0) (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 1)
  (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ 1 (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (+ 1.0 0))
  (/ (+ 1.0 0) (* (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (+ 1.0 0) (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (+ 1.0 0) 1)
  (/ (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (cbrt (+ 1.0 0)))
  (/ (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (sqrt (+ 1.0 0)))
  (/ (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (+ 1.0 0))
  (/ (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (+ 1.0 0))
  (* (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (+ (* 1.0 1.0) (- (* 0 0) (* 1.0 0))))
  (* (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (- 1.0 0))
  (expm1 (sqrt (sqrt x)))
  (log1p (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (expm1 (sqrt (sqrt x)))
  (log1p (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (expm1 (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (log1p (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (log (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (exp (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (* (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (cbrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (* (* (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (- (+ (* 0.25 (/ (pow x 2) (* (pow (sqrt 1.0) 2) (pow (+ (sqrt 1.0) (sqrt x)) 3)))) (+ (* 1.0 (/ 1 (+ (sqrt 1.0) (sqrt x)))) (* 0.125 (/ (pow x 2) (* (pow (sqrt 1.0) 3) (pow (+ (sqrt 1.0) (sqrt x)) 2)))))) (* 0.5 (/ x (* (sqrt 1.0) (pow (+ (sqrt 1.0) (sqrt x)) 2)))))
  (- (* 1.0 (/ 1 (- (sqrt x) +nan.0))) (+ (* +nan.0 (/ 1 (* (pow (- (sqrt x) +nan.0) 2) x))) (- (+ (* +nan.0 (/ 1 (* (pow (- (sqrt x) +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (pow (- (sqrt x) +nan.0) 2) (pow x 2)))))))))
  (- (* 1.0 (/ 1 (- (pow (sqrt +nan.0) 2) +nan.0))) (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) (* (pow x 2) (pow (- (pow (sqrt +nan.0) 2) +nan.0) 2))))) (- (+ (* +nan.0 (/ 1 (* (pow (- (pow (sqrt +nan.0) 2) +nan.0) 2) (pow x 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (- (pow (sqrt +nan.0) 2) +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (pow (- (pow (sqrt +nan.0) 2) +nan.0) 2) x))))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (sqrt +nan.0) x))) (- (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 3) (pow x 2)))) (- (* +nan.0 (/ 1 (* (sqrt +nan.0) (pow x 2)))))))))
  (- (+ (sqrt 1.0) (+ (sqrt x) (* 1/2 (/ x (sqrt 1.0))))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))))
  (- (sqrt x) (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (pow (sqrt +nan.0) 2) (+ (* +nan.0 (/ 1 (* (pow (sqrt +nan.0) 2) (pow x 2)))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))))
4.507 * * [simplify]: iteration  0 :  209  enodes  (cost  1590 )
4.545 * * [simplify]: iteration  1 :  514  enodes  (cost  1161 )
4.683 * * [simplify]: iteration  2 :  2199  enodes  (cost  1032 )
5.383 * * [simplify]: iteration  done :  5000  enodes  (cost  1032 )
5.384 * [simplify]: Simplified to:
   (expm1 (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (log1p (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (log (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (log (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (exp (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (pow (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))) 3)
  (* (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))) (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))))
  (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (pow (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))) 3)
  (sqrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (sqrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))
  (- 1.0)
  (- (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (/ (cbrt 1.0) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))) (/ (cbrt 1.0) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ (cbrt 1.0) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (cbrt 1.0) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (sqrt 1.0) (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ (sqrt 1.0) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ (sqrt 1.0) (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ 1.0 (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ 1.0 (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  1
  (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ 1 (+ (sqrt x) (sqrt (+ x 1.0))))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) 1.0)
  (/ 1.0 (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))))
  (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  1.0
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) (cbrt 1.0))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) (sqrt 1.0))
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) 1.0)
  (/ (+ (sqrt x) (sqrt (+ x 1.0))) 1.0)
  (* (* 1.0 1.0) (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (+ (sqrt x) (sqrt (+ x 1.0))) 1.0)
  (expm1 (sqrt (sqrt x)))
  (log1p (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (fabs (cbrt x)))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (expm1 (sqrt (sqrt x)))
  (log1p (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (pow (sqrt (sqrt x)) 3)
  (fabs (cbrt (sqrt x)))
  (sqrt (cbrt (sqrt x)))
  (sqrt (fabs (cbrt x)))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  1
  (sqrt (sqrt x))
  1/4
  1/2
  1/4
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (expm1 (+ (sqrt x) (sqrt (+ x 1.0))))
  (log1p (+ (sqrt x) (sqrt (+ x 1.0))))
  (sqrt x)
  (log (+ (sqrt x) (sqrt (+ x 1.0))))
  (exp (+ (sqrt x) (sqrt (+ x 1.0))))
  (* (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))) (cbrt (+ (sqrt x) (sqrt (+ x 1.0)))))
  (cbrt (+ (sqrt x) (sqrt (+ x 1.0))))
  (pow (+ (sqrt x) (sqrt (+ x 1.0))) 3)
  (sqrt (+ (sqrt x) (sqrt (+ x 1.0))))
  (sqrt (+ (sqrt x) (sqrt (+ x 1.0))))
  (fma 0.25 (/ (pow x 2) (* (pow (+ (sqrt 1.0) (sqrt x)) 3) 1.0)) (- (fma (/ (pow x 2) (* (pow (sqrt 1.0) 3) (pow (+ (sqrt 1.0) (sqrt x)) 2))) 0.125 (/ 1.0 (+ (sqrt 1.0) (sqrt x)))) (* 0.5 (/ x (* (sqrt 1.0) (pow (+ (sqrt 1.0) (sqrt x)) 2))))))
  (+ (- (/ 1.0 (- (sqrt x) +nan.0)) (/ +nan.0 (* (pow (- (sqrt x) +nan.0) 2) x))) (- (/ (/ +nan.0 (pow x 2)) (pow (- (sqrt x) +nan.0) 3)) (/ +nan.0 (* (pow (- (sqrt x) +nan.0) 2) (pow x 2)))))
  (- (/ 1.0 (- +nan.0 +nan.0)) (- (/ +nan.0 (* (pow (- +nan.0 +nan.0) 2) (* (pow x 2) +nan.0))) (+ (- (/ (/ +nan.0 (pow x 2)) (pow (- +nan.0 +nan.0) 2)) (/ +nan.0 (* (pow (- +nan.0 +nan.0) 3) (pow x 2)))) (/ (/ +nan.0 x) (pow (- +nan.0 +nan.0) 2)))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x))) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2)))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (+ (- (sqrt +nan.0) (/ +nan.0 (* (sqrt +nan.0) x))) (- (/ +nan.0 (* (pow (sqrt +nan.0) 3) (pow x 2))) (/ +nan.0 (* (sqrt +nan.0) (pow x 2)))))
  (- (+ (sqrt 1.0) (fma 1/2 (/ x (sqrt 1.0)) (sqrt x))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))))
  (+ (- (sqrt x) (/ +nan.0 (pow x 2))) (- (/ +nan.0 x) +nan.0))
  (+ (- +nan.0 (/ (/ +nan.0 (pow x 2)) +nan.0)) (- (/ +nan.0 (pow x 2)) (- (/ +nan.0 x) +nan.0)))
5.384 * * * [progress]: adding candidates to table
5.629 * * [progress]: iteration 4 / 4
5.629 * * * [progress]: picking best candidate
5.646 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))>
5.647 * * * [progress]: localizing error
5.668 * * * [progress]: generating rewritten candidates
5.668 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1)
5.669 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 1)
5.670 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
5.681 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.691 * * * [progress]: generating series expansions
5.692 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1)
5.692 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
5.692 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.692 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.692 * [taylor]: Taking taylor expansion of 1/3 in x
5.692 * [taylor]: Taking taylor expansion of (log x) in x
5.692 * [taylor]: Taking taylor expansion of x in x
5.693 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.693 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.693 * [taylor]: Taking taylor expansion of 1/3 in x
5.693 * [taylor]: Taking taylor expansion of (log x) in x
5.693 * [taylor]: Taking taylor expansion of x in x
5.749 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
5.749 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.749 * [taylor]: Taking taylor expansion of 1/3 in x
5.749 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.749 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.749 * [taylor]: Taking taylor expansion of x in x
5.750 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.750 * [taylor]: Taking taylor expansion of 1/3 in x
5.750 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.750 * [taylor]: Taking taylor expansion of x in x
5.804 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
5.804 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.804 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.804 * [taylor]: Taking taylor expansion of -1 in x
5.805 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.805 * [taylor]: Taking taylor expansion of 1/3 in x
5.805 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.805 * [taylor]: Taking taylor expansion of x in x
5.806 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.806 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.806 * [taylor]: Taking taylor expansion of -1 in x
5.807 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.807 * [taylor]: Taking taylor expansion of 1/3 in x
5.807 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.807 * [taylor]: Taking taylor expansion of x in x
5.877 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 1)
5.877 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
5.877 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.877 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.878 * [taylor]: Taking taylor expansion of 1/3 in x
5.878 * [taylor]: Taking taylor expansion of (log x) in x
5.878 * [taylor]: Taking taylor expansion of x in x
5.878 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
5.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
5.878 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
5.878 * [taylor]: Taking taylor expansion of 1/3 in x
5.878 * [taylor]: Taking taylor expansion of (log x) in x
5.878 * [taylor]: Taking taylor expansion of x in x
5.933 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
5.933 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.933 * [taylor]: Taking taylor expansion of 1/3 in x
5.933 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.933 * [taylor]: Taking taylor expansion of x in x
5.934 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.934 * [taylor]: Taking taylor expansion of 1/3 in x
5.934 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.934 * [taylor]: Taking taylor expansion of x in x
5.994 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
5.994 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.994 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.994 * [taylor]: Taking taylor expansion of -1 in x
5.995 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.995 * [taylor]: Taking taylor expansion of 1/3 in x
5.995 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.995 * [taylor]: Taking taylor expansion of x in x
5.996 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
5.996 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.996 * [taylor]: Taking taylor expansion of -1 in x
5.996 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
5.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
5.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
5.997 * [taylor]: Taking taylor expansion of 1/3 in x
5.997 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
5.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.997 * [taylor]: Taking taylor expansion of x in x
6.067 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
6.067 * [approximate]: Taking taylor expansion of (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) in (x) around 0
6.067 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) in x
6.067 * [taylor]: Taking taylor expansion of (pow x 1/12) in x
6.067 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x
6.067 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x
6.067 * [taylor]: Taking taylor expansion of 1/12 in x
6.067 * [taylor]: Taking taylor expansion of (log x) in x
6.067 * [taylor]: Taking taylor expansion of x in x
6.068 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x
6.068 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x
6.068 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) in x
6.068 * [taylor]: Taking taylor expansion of (pow x 1/12) in x
6.068 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x
6.068 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x
6.068 * [taylor]: Taking taylor expansion of 1/12 in x
6.068 * [taylor]: Taking taylor expansion of (log x) in x
6.068 * [taylor]: Taking taylor expansion of x in x
6.069 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x
6.069 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x
6.126 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) in (x) around 0
6.126 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) in x
6.126 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x
6.126 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x
6.126 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x
6.126 * [taylor]: Taking taylor expansion of 1/12 in x
6.126 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.126 * [taylor]: Taking taylor expansion of x in x
6.127 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x
6.127 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x
6.127 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) in x
6.127 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x
6.127 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x
6.127 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x
6.127 * [taylor]: Taking taylor expansion of 1/12 in x
6.127 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.128 * [taylor]: Taking taylor expansion of x in x
6.128 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x
6.128 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x
6.196 * [approximate]: Taking taylor expansion of (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) in (x) around 0
6.196 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) in x
6.196 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
6.196 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
6.198 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12)) in x
6.198 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in x
6.198 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in x
6.198 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in x
6.198 * [taylor]: Taking taylor expansion of 1/4 in x
6.198 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
6.198 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.198 * [taylor]: Taking taylor expansion of -1 in x
6.201 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x
6.201 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x
6.202 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x
6.202 * [taylor]: Taking taylor expansion of 1/12 in x
6.202 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.202 * [taylor]: Taking taylor expansion of x in x
6.202 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) in x
6.202 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
6.202 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
6.204 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12)) in x
6.204 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in x
6.204 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in x
6.204 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in x
6.204 * [taylor]: Taking taylor expansion of 1/4 in x
6.204 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
6.204 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.204 * [taylor]: Taking taylor expansion of -1 in x
6.207 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x
6.207 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x
6.208 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x
6.208 * [taylor]: Taking taylor expansion of 1/12 in x
6.208 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.208 * [taylor]: Taking taylor expansion of x in x
6.359 * * * * [progress]: [ 4 / 4 ] generating series at (2)
6.360 * [approximate]: Taking taylor expansion of (/ 1.0 (fma (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) (pow x 1/4) (sqrt (+ x 1.0)))) in (x) around 0
6.360 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) (pow x 1/4) (sqrt (+ x 1.0)))) in x
6.360 * [taylor]: Taking taylor expansion of 1.0 in x
6.360 * [taylor]: Taking taylor expansion of (fma (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) (pow x 1/4) (sqrt (+ x 1.0))) in x
6.360 * [taylor]: Rewrote expression to (+ (* (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) (pow x 1/4)) (sqrt (+ x 1.0)))
6.360 * [taylor]: Taking taylor expansion of (* (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) (pow x 1/4)) in x
6.360 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) in x
6.361 * [taylor]: Taking taylor expansion of (pow x 1/12) in x
6.361 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x
6.361 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x
6.361 * [taylor]: Taking taylor expansion of 1/12 in x
6.361 * [taylor]: Taking taylor expansion of (log x) in x
6.361 * [taylor]: Taking taylor expansion of x in x
6.361 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x
6.361 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x
6.361 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
6.361 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
6.362 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
6.362 * [taylor]: Taking taylor expansion of 1/4 in x
6.362 * [taylor]: Taking taylor expansion of (log x) in x
6.362 * [taylor]: Taking taylor expansion of x in x
6.362 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
6.362 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
6.362 * [taylor]: Taking taylor expansion of x in x
6.362 * [taylor]: Taking taylor expansion of 1.0 in x
6.365 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) (pow x 1/4) (sqrt (+ x 1.0)))) in x
6.365 * [taylor]: Taking taylor expansion of 1.0 in x
6.365 * [taylor]: Taking taylor expansion of (fma (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) (pow x 1/4) (sqrt (+ x 1.0))) in x
6.366 * [taylor]: Rewrote expression to (+ (* (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) (pow x 1/4)) (sqrt (+ x 1.0)))
6.366 * [taylor]: Taking taylor expansion of (* (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) (pow x 1/4)) in x
6.366 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) in x
6.366 * [taylor]: Taking taylor expansion of (pow x 1/12) in x
6.366 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x
6.366 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x
6.366 * [taylor]: Taking taylor expansion of 1/12 in x
6.366 * [taylor]: Taking taylor expansion of (log x) in x
6.366 * [taylor]: Taking taylor expansion of x in x
6.366 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x
6.366 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x
6.367 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
6.367 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
6.367 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
6.367 * [taylor]: Taking taylor expansion of 1/4 in x
6.367 * [taylor]: Taking taylor expansion of (log x) in x
6.367 * [taylor]: Taking taylor expansion of x in x
6.367 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x
6.367 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
6.367 * [taylor]: Taking taylor expansion of x in x
6.367 * [taylor]: Taking taylor expansion of 1.0 in x
6.412 * [approximate]: Taking taylor expansion of (/ 1.0 (fma (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x))))) in (x) around 0
6.412 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x))))) in x
6.412 * [taylor]: Taking taylor expansion of 1.0 in x
6.412 * [taylor]: Taking taylor expansion of (fma (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x)))) in x
6.413 * [taylor]: Rewrote expression to (+ (* (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) (pow (/ 1 x) 1/4)) (sqrt (+ 1.0 (/ 1 x))))
6.413 * [taylor]: Taking taylor expansion of (* (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) (pow (/ 1 x) 1/4)) in x
6.413 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) in x
6.413 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x
6.413 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x
6.413 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x
6.413 * [taylor]: Taking taylor expansion of 1/12 in x
6.413 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.413 * [taylor]: Taking taylor expansion of x in x
6.414 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x
6.414 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x
6.414 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
6.414 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
6.414 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
6.414 * [taylor]: Taking taylor expansion of 1/4 in x
6.414 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.414 * [taylor]: Taking taylor expansion of x in x
6.415 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
6.415 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
6.415 * [taylor]: Taking taylor expansion of 1.0 in x
6.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.415 * [taylor]: Taking taylor expansion of x in x
6.418 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x))))) in x
6.418 * [taylor]: Taking taylor expansion of 1.0 in x
6.418 * [taylor]: Taking taylor expansion of (fma (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) (pow (/ 1 x) 1/4) (sqrt (+ 1.0 (/ 1 x)))) in x
6.418 * [taylor]: Rewrote expression to (+ (* (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) (pow (/ 1 x) 1/4)) (sqrt (+ 1.0 (/ 1 x))))
6.418 * [taylor]: Taking taylor expansion of (* (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) (pow (/ 1 x) 1/4)) in x
6.418 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) in x
6.418 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x
6.418 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x
6.418 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x
6.418 * [taylor]: Taking taylor expansion of 1/12 in x
6.418 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.418 * [taylor]: Taking taylor expansion of x in x
6.419 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x
6.419 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x
6.420 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
6.420 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
6.420 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
6.420 * [taylor]: Taking taylor expansion of 1/4 in x
6.420 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.420 * [taylor]: Taking taylor expansion of x in x
6.421 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x
6.421 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
6.421 * [taylor]: Taking taylor expansion of 1.0 in x
6.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.421 * [taylor]: Taking taylor expansion of x in x
6.450 * [approximate]: Taking taylor expansion of (/ 1.0 (fma (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x))))) in (x) around 0
6.450 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x))))) in x
6.450 * [taylor]: Taking taylor expansion of 1.0 in x
6.450 * [taylor]: Taking taylor expansion of (fma (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x)))) in x
6.450 * [taylor]: Rewrote expression to (+ (* (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) (sqrt (sqrt (/ -1 x)))) (sqrt (- 1.0 (/ 1 x))))
6.450 * [taylor]: Taking taylor expansion of (* (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) (sqrt (sqrt (/ -1 x)))) in x
6.450 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) in x
6.450 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
6.450 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
6.452 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12)) in x
6.452 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in x
6.452 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in x
6.452 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in x
6.452 * [taylor]: Taking taylor expansion of 1/4 in x
6.452 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
6.452 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.452 * [taylor]: Taking taylor expansion of -1 in x
6.455 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x
6.455 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x
6.455 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x
6.456 * [taylor]: Taking taylor expansion of 1/12 in x
6.456 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.456 * [taylor]: Taking taylor expansion of x in x
6.456 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
6.456 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
6.456 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.457 * [taylor]: Taking taylor expansion of -1 in x
6.457 * [taylor]: Taking taylor expansion of x in x
6.462 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
6.462 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
6.462 * [taylor]: Taking taylor expansion of 1.0 in x
6.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.462 * [taylor]: Taking taylor expansion of x in x
6.471 * [taylor]: Taking taylor expansion of (/ 1.0 (fma (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x))))) in x
6.471 * [taylor]: Taking taylor expansion of 1.0 in x
6.471 * [taylor]: Taking taylor expansion of (fma (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) (sqrt (sqrt (/ -1 x))) (sqrt (- 1.0 (/ 1 x)))) in x
6.471 * [taylor]: Rewrote expression to (+ (* (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) (sqrt (sqrt (/ -1 x)))) (sqrt (- 1.0 (/ 1 x))))
6.471 * [taylor]: Taking taylor expansion of (* (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) (sqrt (sqrt (/ -1 x)))) in x
6.471 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12))) in x
6.471 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
6.471 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
6.473 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (pow (/ 1 x) 1/12)) in x
6.473 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in x
6.473 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in x
6.473 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in x
6.473 * [taylor]: Taking taylor expansion of 1/4 in x
6.473 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
6.473 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.473 * [taylor]: Taking taylor expansion of -1 in x
6.477 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x
6.477 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x
6.477 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x
6.477 * [taylor]: Taking taylor expansion of 1/12 in x
6.477 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
6.477 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.477 * [taylor]: Taking taylor expansion of x in x
6.478 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
6.478 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
6.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.478 * [taylor]: Taking taylor expansion of -1 in x
6.478 * [taylor]: Taking taylor expansion of x in x
6.489 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x
6.489 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
6.489 * [taylor]: Taking taylor expansion of 1.0 in x
6.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.489 * [taylor]: Taking taylor expansion of x in x
6.643 * * * [progress]: simplifying candidates
6.645 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (log1p (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (* (fabs (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))
  (* (fabs (cbrt x)) (sqrt (cbrt x)))
  (+ (log (sqrt (fabs (cbrt x)))) (log (sqrt (sqrt (cbrt x)))))
  (log (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (exp (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (* (* (* (sqrt (fabs (cbrt x))) (sqrt (fabs (cbrt x)))) (sqrt (fabs (cbrt x)))) (* (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (cbrt x)))))
  (* (cbrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))) (cbrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))))
  (cbrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (* (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))) (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (* (fabs (cbrt x)) (sqrt (cbrt x)))
  (sqrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (sqrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (fabs (cbrt x))) (* (cbrt (sqrt (sqrt (cbrt x)))) (cbrt (sqrt (sqrt (cbrt x))))))
  (* (sqrt (fabs (cbrt x))) (sqrt (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt (* (cbrt x) (cbrt x))))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt 1))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt 1)))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (fabs (cbrt x))) (sqrt 1))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (fabs (cbrt x))) 1)
  (* (cbrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (cbrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))
  (expm1 (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (log1p (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (- (log (+ 1.0 0)) (log (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (log (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (exp (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (* (* (+ 1.0 0) (+ 1.0 0)) (+ 1.0 0)) (* (* (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (* (cbrt (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))) (cbrt (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (cbrt (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (* (* (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))) (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (sqrt (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (sqrt (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (- (+ 1.0 0))
  (- (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (cbrt (+ 1.0 0)) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (cbrt (+ 1.0 0)) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (* (cbrt (+ 1.0 0)) (cbrt (+ 1.0 0))) 1)
  (/ (cbrt (+ 1.0 0)) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ (sqrt (+ 1.0 0)) (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (sqrt (+ 1.0 0)) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (sqrt (+ 1.0 0)) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (sqrt (+ 1.0 0)) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (sqrt (+ 1.0 0)) 1)
  (/ (sqrt (+ 1.0 0)) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (+ 1.0 0) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (+ 1.0 0) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 1)
  (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (+ 1.0 0) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (+ 1.0 0) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 1)
  (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ 1 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (+ 1.0 0))
  (/ (+ 1.0 0) (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (+ 1.0 0) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (+ 1.0 0) 1)
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (cbrt (+ 1.0 0)))
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (sqrt (+ 1.0 0)))
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (+ 1.0 0))
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (+ 1.0 0))
  (* (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (+ (* 1.0 1.0) (- (* 0 0) (* 1.0 0))))
  (* (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (- 1.0 0))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (* (pow x 1/12) (sqrt (fabs (pow x 1/3))))
  (* (pow x 1/12) (sqrt (fabs (pow x 1/3))))
  (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1))))))
  (- (+ (* 0.25 (/ (pow x 2) (* (pow (+ (sqrt 1.0) (* (pow x 1/3) (sqrt (fabs (pow x 1/3))))) 3) (pow (sqrt 1.0) 2)))) (+ (* 0.125 (/ (pow x 2) (* (pow (+ (sqrt 1.0) (* (pow x 1/3) (sqrt (fabs (pow x 1/3))))) 2) (pow (sqrt 1.0) 3)))) (* 1.0 (/ 1 (+ (sqrt 1.0) (* (pow x 1/3) (sqrt (fabs (pow x 1/3))))))))) (* 0.5 (/ x (* (pow (+ (sqrt 1.0) (* (pow x 1/3) (sqrt (fabs (pow x 1/3))))) 2) (sqrt 1.0)))))
  (- (* 1.0 (/ 1 (- (* (pow x 1/3) (sqrt (fabs (pow x 1/3)))) +nan.0))) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (- (* (pow x 1/3) (sqrt (fabs (pow x 1/3)))) +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (pow (- (* (pow x 1/3) (sqrt (fabs (pow x 1/3)))) +nan.0) 2)))) (- (* +nan.0 (/ 1 (* (pow x 2) (pow (- (* (pow x 1/3) (sqrt (fabs (pow x 1/3)))) +nan.0) 2)))))))))
  (- (* 1.0 (/ 1 (- (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (sqrt +nan.0)))) +nan.0))) (+ (* +nan.0 (* (pow (/ -1 (pow x 23)) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (/ 1 (* (pow (- (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (sqrt +nan.0)))) +nan.0) 2) (sqrt +nan.0))))))) (- (+ (* +nan.0 (/ 1 (* (pow (- (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (sqrt +nan.0)))) +nan.0) 2) x))) (- (+ (* +nan.0 (* (pow (/ -1 (pow x 23)) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (/ 1 (* (pow (- (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (sqrt +nan.0)))) +nan.0) 3) (sqrt +nan.0))))))) (- (+ (* +nan.0 (* (/ (fabs (* (pow (* -1 x) 1/3) (cbrt -1))) (* (pow (- (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (sqrt +nan.0)))) +nan.0) 3) (pow (sqrt +nan.0) 2))) (* (sqrt (cbrt -1)) (pow (/ -1 (pow x 11)) 1/6)))) (- (+ (* +nan.0 (* (pow (/ -1 (pow x 11)) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (/ 1 (* (sqrt +nan.0) (pow (- (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (sqrt +nan.0)))) +nan.0) 2))))))) (- (+ (* +nan.0 (/ 1 (* (pow (- (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (sqrt +nan.0)))) +nan.0) 2) (pow x 2)))) (- (+ (* +nan.0 (/ 1 (* (pow (- (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (sqrt +nan.0)))) +nan.0) 3) (pow x 2)))) (- (* +nan.0 (* (pow (/ -1 (pow x 23)) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (/ 1 (* (pow (- (* (pow (* -1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (sqrt +nan.0)))) +nan.0) 2) (pow (sqrt +nan.0) 3))))))))))))))))))))))
6.662 * * [simplify]: iteration  0 :  280  enodes  (cost  2515 )
6.717 * * [simplify]: iteration  1 :  669  enodes  (cost  2288 )
6.889 * * [simplify]: iteration  2 :  2791  enodes  (cost  2139 )
7.751 * * [simplify]: iteration  done :  5000  enodes  (cost  2136 )
7.752 * [simplify]: Simplified to:
   (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow x 2/3))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (pow (cbrt x) 3)
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (log1p (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (* (fabs (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))
  (* (fabs (cbrt x)) (sqrt (cbrt x)))
  (log (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (log (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (exp (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (pow (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) 3)
  (* (cbrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))) (cbrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))))
  (cbrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (pow (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) 3)
  (* (fabs (cbrt x)) (sqrt (cbrt x)))
  (sqrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (sqrt (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))))
  (* (sqrt (fabs (cbrt x))) (* (cbrt (sqrt (sqrt (cbrt x)))) (cbrt (sqrt (sqrt (cbrt x))))))
  (* (fabs (cbrt (sqrt (cbrt x)))) (sqrt (fabs (cbrt x))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt (pow x 2/3)))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt (sqrt x)))))
  (sqrt (fabs (cbrt x)))
  (* (sqrt (fabs (cbrt (cbrt x)))) (sqrt (fabs (cbrt x))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (sqrt (cbrt x)))))
  (sqrt (fabs (cbrt x)))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (sqrt (cbrt x)))))
  (sqrt (fabs (cbrt x)))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (sqrt (cbrt x)))))
  (sqrt (fabs (cbrt x)))
  (* (cbrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (cbrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))
  (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))))
  (expm1 (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (log1p (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (log (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (log (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (exp (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (pow (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) 3)
  (* (cbrt (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))) (cbrt (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (cbrt (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (pow (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) 3)
  (sqrt (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (sqrt (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (- 1.0)
  (- (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (cbrt 1.0) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (cbrt 1.0) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (* (cbrt 1.0) (cbrt 1.0))
  (/ (cbrt 1.0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ (sqrt 1.0) (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ (sqrt 1.0) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (sqrt 1.0) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ (sqrt 1.0) (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (sqrt 1.0)
  (/ (sqrt 1.0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ 1.0 (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1.0 (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  1
  (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ 1 (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ 1.0 (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1 (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  (/ 1.0 (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  1
  (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ 1 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) 1.0)
  (/ 1.0 (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))
  (/ 1.0 (sqrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))
  1.0
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (cbrt 1.0))
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (sqrt 1.0))
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) 1.0)
  (/ (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) 1.0)
  (* (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) (* 1.0 1.0))
  (* (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))) 1.0)
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (cbrt x)
  (pow (/ 1 x) -1/3)
  (* (cbrt -1) (cbrt (- x)))
  (* (sqrt (fabs (cbrt x))) (pow x 1/12))
  (* (sqrt (fabs (cbrt x))) (pow x 1/12))
  (* (* (pow (- x) 1/12) (pow (cbrt -1) 1/4)) (sqrt (fabs (* (cbrt -1) (cbrt (- x))))))
  (- (fma 0.25 (/ (/ (pow x 2) (pow (fma (cbrt x) (sqrt (fabs (cbrt x))) (sqrt 1.0)) 3)) 1.0) (fma (/ (/ (pow x 2) (pow (sqrt 1.0) 3)) (pow (fma (cbrt x) (sqrt (fabs (cbrt x))) (sqrt 1.0)) 2)) 0.125 (/ 1.0 (fma (cbrt x) (sqrt (fabs (cbrt x))) (sqrt 1.0))))) (/ (/ (* 0.5 x) (sqrt 1.0)) (pow (fma (cbrt x) (sqrt (fabs (cbrt x))) (sqrt 1.0)) 2)))
  (+ (- (/ 1.0 (fma (cbrt x) (sqrt (fabs (cbrt x))) (- +nan.0))) (/ +nan.0 (* (pow x 2) (pow (fma (cbrt x) (sqrt (fabs (cbrt x))) (- +nan.0)) 3)))) (- (/ +nan.0 (* (pow (fma (cbrt x) (sqrt (fabs (cbrt x))) (- +nan.0)) 2) x)) (/ +nan.0 (* (pow (fma (cbrt x) (sqrt (fabs (cbrt x))) (- +nan.0)) 2) (pow x 2)))))
  (- (/ 1.0 (fma (pow (- x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0))) (- +nan.0))) (fma +nan.0 (* (/ (* (pow (cbrt -1) 1/4) (sqrt (fabs (* (cbrt -1) (cbrt (- x)))))) (* (pow (fma (pow (- x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0))) (- +nan.0)) 2) (sqrt +nan.0))) (pow (/ -1 (pow x 23)) 1/12)) (- (fma (* (pow (cbrt -1) 1/4) (* (/ (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (* (pow (fma (pow (- x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0))) (- +nan.0)) 3) (sqrt +nan.0))) (pow (/ -1 (pow x 23)) 1/12))) +nan.0 (- (fma (* (pow (cbrt -1) 1/4) (* (/ (/ (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0)) (pow (fma (pow (- x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0))) (- +nan.0)) 2)) (pow (/ -1 (pow x 11)) 1/12))) +nan.0 (- (fma (- +nan.0) (/ (* (* (pow (/ -1 (pow x 23)) 1/12) (pow (cbrt -1) 1/4)) (sqrt (fabs (* (cbrt -1) (cbrt (- x)))))) (* (pow (sqrt +nan.0) 3) (pow (fma (pow (- x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0))) (- +nan.0)) 2))) (/ +nan.0 (* (pow x 2) (pow (fma (pow (- x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0))) (- +nan.0)) 3)))) (/ +nan.0 (* (pow x 2) (pow (fma (pow (- x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0))) (- +nan.0)) 2))))) (* (/ (fabs (* (cbrt -1) (cbrt (- x)))) (* (pow (fma (pow (- x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0))) (- +nan.0)) 3) +nan.0)) (* (* (sqrt (cbrt -1)) (pow (/ -1 (pow x 11)) 1/6)) +nan.0)))) (/ +nan.0 (* (pow (fma (pow (- x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (cbrt -1) (cbrt (- x))))) (sqrt +nan.0))) (- +nan.0)) 2) x)))))
7.752 * * * [progress]: adding candidates to table
8.220 * [progress]: [Phase 3 of 3] Extracting.
8.220 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (/ 1.0 (fma x (sqrt x) (pow (sqrt (+ x 1.0)) 3))) (+ (* (sqrt x) (sqrt x)) (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt (+ x 1.0)))))))> #<alt (λ (x) (* (* (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))) (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))) (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))))> #<alt (λ (x) (/ (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0))))) (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))> #<alt (λ (x) (* (sqrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))) (sqrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))))> #<alt (λ (x) (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (+ x 1.0)))))> #<alt (λ (x) (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))> #<alt (λ (x) (* (/ (sqrt 1.0) (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))) (/ (sqrt 1.0) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))))>)
8.223 * * * [regime-changes]: Trying 1 branch expressions: (x)
8.223 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (/ 1.0 (fma x (sqrt x) (pow (sqrt (+ x 1.0)) 3))) (+ (* (sqrt x) (sqrt x)) (- (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt x) (sqrt (+ x 1.0)))))))> #<alt (λ (x) (* (* (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))) (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))) (cbrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))))> #<alt (λ (x) (/ (/ 1.0 (sqrt (+ (sqrt x) (sqrt (+ x 1.0))))) (sqrt (fma (sqrt (sqrt x)) (sqrt (sqrt x)) (sqrt (+ x 1.0))))))> #<alt (λ (x) (* (sqrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0))))) (sqrt (/ 1.0 (+ (sqrt x) (sqrt (+ x 1.0)))))))> #<alt (λ (x) (/ (+ 1.0 0) (fma (sqrt (sqrt x)) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (+ x 1.0)))))> #<alt (λ (x) (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))> #<alt (λ (x) (* (/ (sqrt 1.0) (* (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))) (/ (sqrt 1.0) (cbrt (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0)))))))>)
8.254 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
8.254 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (/ (+ 1.0 0) (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
8.255 * * [simplify]: iteration  0 :  16  enodes  (cost  21 )
8.255 * * [simplify]: iteration  1 :  19  enodes  (cost  21 )
8.256 * * [simplify]: iteration  2 :  23  enodes  (cost  19 )
8.257 * * [simplify]: iteration  done :  23  enodes  (cost  19 )
8.257 * [simplify]: Simplified to:
   (/ 1.0 (fma (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)) (sqrt (+ x 1.0))))
9.381 * [regime-testing]: Baseline error score: 0.23248282130197126
9.381 * [regime-testing]: Oracle error score: 0.04082822384057022
9.382 * [regime-testing]: End program error score: 0.23248282130197126
9.411 * [regime-testing]: Target error score: 0.1647141986525359