67.532 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.026 * [simplify]: Simplifying: (- (* (+ x 1.0) y) x) 0.026 * [simplify]: Sending expressions to egg_math: (- (* (+ h0 h2) h1) h0) 0.161 * * [progress]: iteration 1 / 4 0.161 * * * [progress]: picking best candidate 0.163 * * * * [pick]: Picked # 0.163 * * * [progress]: localizing error 0.170 * * * [progress]: generating rewritten candidates 0.170 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.198 * * * [progress]: generating series expansions 0.198 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.198 * [backup-simplify]: Simplify (* (+ x 1.0) y) into (* y (+ x 1.0)) 0.198 * [approximate]: Taking taylor expansion of (* y (+ x 1.0)) in (x y) around 0 0.198 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in y 0.198 * [taylor]: Taking taylor expansion of y in y 0.198 * [backup-simplify]: Simplify 0 into 0 0.198 * [backup-simplify]: Simplify 1 into 1 0.198 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 0.198 * [taylor]: Taking taylor expansion of x in y 0.198 * [backup-simplify]: Simplify x into x 0.198 * [taylor]: Taking taylor expansion of 1.0 in y 0.198 * [backup-simplify]: Simplify 1.0 into 1.0 0.198 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 0.198 * [taylor]: Taking taylor expansion of y in x 0.198 * [backup-simplify]: Simplify y into y 0.198 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify 1 into 1 0.199 * [taylor]: Taking taylor expansion of 1.0 in x 0.199 * [backup-simplify]: Simplify 1.0 into 1.0 0.199 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 0.199 * [taylor]: Taking taylor expansion of y in x 0.199 * [backup-simplify]: Simplify y into y 0.199 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.199 * [taylor]: Taking taylor expansion of x in x 0.199 * [backup-simplify]: Simplify 0 into 0 0.199 * [backup-simplify]: Simplify 1 into 1 0.199 * [taylor]: Taking taylor expansion of 1.0 in x 0.199 * [backup-simplify]: Simplify 1.0 into 1.0 0.199 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.199 * [backup-simplify]: Simplify (* y 1.0) into (* 1.0 y) 0.200 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.200 * [taylor]: Taking taylor expansion of 1.0 in y 0.200 * [backup-simplify]: Simplify 1.0 into 1.0 0.200 * [taylor]: Taking taylor expansion of y in y 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify 1 into 1 0.200 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.200 * [backup-simplify]: Simplify 0 into 0 0.200 * [backup-simplify]: Simplify (+ 1 0) into 1 0.201 * [backup-simplify]: Simplify (+ (* y 1) (* 0 1.0)) into y 0.201 * [taylor]: Taking taylor expansion of y in y 0.201 * [backup-simplify]: Simplify 0 into 0 0.201 * [backup-simplify]: Simplify 1 into 1 0.201 * [backup-simplify]: Simplify 0 into 0 0.202 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.202 * [backup-simplify]: Simplify 1.0 into 1.0 0.202 * [backup-simplify]: Simplify (+ 0 0) into 0 0.203 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 1.0))) into 0 0.203 * [taylor]: Taking taylor expansion of 0 in y 0.203 * [backup-simplify]: Simplify 0 into 0 0.203 * [backup-simplify]: Simplify 0 into 0 0.203 * [backup-simplify]: Simplify 1 into 1 0.204 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 0.204 * [backup-simplify]: Simplify 0 into 0 0.204 * [backup-simplify]: Simplify (+ 0 0) into 0 0.205 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))) into 0 0.205 * [taylor]: Taking taylor expansion of 0 in y 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 0 into 0 0.205 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.206 * [backup-simplify]: Simplify 0 into 0 0.206 * [backup-simplify]: Simplify (+ 0 0) into 0 0.207 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0 0.207 * [taylor]: Taking taylor expansion of 0 in y 0.207 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify 0 into 0 0.207 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1.0 (* y 1))) into (+ (* 1.0 y) (* x y)) 0.208 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) (/ 1 y)) into (/ (+ 1.0 (/ 1 x)) y) 0.208 * [approximate]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in (x y) around 0 0.208 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in y 0.208 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y 0.208 * [taylor]: Taking taylor expansion of 1.0 in y 0.208 * [backup-simplify]: Simplify 1.0 into 1.0 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.208 * [taylor]: Taking taylor expansion of x in y 0.208 * [backup-simplify]: Simplify x into x 0.208 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.208 * [taylor]: Taking taylor expansion of y in y 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.208 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0) 0.208 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ 1.0 (/ 1 x)) 0.208 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in x 0.208 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.208 * [taylor]: Taking taylor expansion of 1.0 in x 0.208 * [backup-simplify]: Simplify 1.0 into 1.0 0.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.208 * [taylor]: Taking taylor expansion of x in x 0.208 * [backup-simplify]: Simplify 0 into 0 0.208 * [backup-simplify]: Simplify 1 into 1 0.209 * [backup-simplify]: Simplify (/ 1 1) into 1 0.209 * [taylor]: Taking taylor expansion of y in x 0.209 * [backup-simplify]: Simplify y into y 0.209 * [backup-simplify]: Simplify (+ 0 1) into 1 0.209 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.209 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in x 0.209 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.209 * [taylor]: Taking taylor expansion of 1.0 in x 0.209 * [backup-simplify]: Simplify 1.0 into 1.0 0.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.209 * [taylor]: Taking taylor expansion of x in x 0.209 * [backup-simplify]: Simplify 0 into 0 0.209 * [backup-simplify]: Simplify 1 into 1 0.210 * [backup-simplify]: Simplify (/ 1 1) into 1 0.210 * [taylor]: Taking taylor expansion of y in x 0.210 * [backup-simplify]: Simplify y into y 0.210 * [backup-simplify]: Simplify (+ 0 1) into 1 0.210 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.210 * [taylor]: Taking taylor expansion of y in y 0.210 * [backup-simplify]: Simplify 0 into 0 0.210 * [backup-simplify]: Simplify 1 into 1 0.210 * [backup-simplify]: Simplify (/ 1 1) into 1 0.210 * [backup-simplify]: Simplify 1 into 1 0.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.211 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.212 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 0.212 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.212 * [taylor]: Taking taylor expansion of 1.0 in y 0.212 * [backup-simplify]: Simplify 1.0 into 1.0 0.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.212 * [taylor]: Taking taylor expansion of y in y 0.212 * [backup-simplify]: Simplify 0 into 0 0.212 * [backup-simplify]: Simplify 1 into 1 0.212 * [backup-simplify]: Simplify (/ 1 1) into 1 0.220 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.220 * [backup-simplify]: Simplify 1.0 into 1.0 0.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.221 * [backup-simplify]: Simplify 0 into 0 0.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.222 * [backup-simplify]: Simplify (+ 0 0) into 0 0.222 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 0.222 * [taylor]: Taking taylor expansion of 0 in y 0.222 * [backup-simplify]: Simplify 0 into 0 0.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.223 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.223 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.224 * [backup-simplify]: Simplify 0 into 0 0.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.225 * [backup-simplify]: Simplify (+ 0 0) into 0 0.225 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.225 * [taylor]: Taking taylor expansion of 0 in y 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify 0 into 0 0.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.226 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.226 * [backup-simplify]: Simplify 0 into 0 0.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.226 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 1.0 y) (* x y)) 0.227 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) 1.0) (/ 1 (- y))) into (* -1 (/ (- 1.0 (/ 1 x)) y)) 0.227 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0 0.227 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y 0.227 * [taylor]: Taking taylor expansion of -1 in y 0.227 * [backup-simplify]: Simplify -1 into -1 0.227 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 0.227 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 0.227 * [taylor]: Taking taylor expansion of 1.0 in y 0.227 * [backup-simplify]: Simplify 1.0 into 1.0 0.227 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.227 * [taylor]: Taking taylor expansion of x in y 0.227 * [backup-simplify]: Simplify x into x 0.227 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.227 * [taylor]: Taking taylor expansion of y in y 0.227 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify 1 into 1 0.227 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 0.227 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 0.227 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 0.227 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 0.227 * [taylor]: Taking taylor expansion of -1 in x 0.227 * [backup-simplify]: Simplify -1 into -1 0.227 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 0.227 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.227 * [taylor]: Taking taylor expansion of 1.0 in x 0.227 * [backup-simplify]: Simplify 1.0 into 1.0 0.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.227 * [taylor]: Taking taylor expansion of x in x 0.227 * [backup-simplify]: Simplify 0 into 0 0.227 * [backup-simplify]: Simplify 1 into 1 0.228 * [backup-simplify]: Simplify (/ 1 1) into 1 0.228 * [taylor]: Taking taylor expansion of y in x 0.228 * [backup-simplify]: Simplify y into y 0.228 * [backup-simplify]: Simplify (- 1) into -1 0.228 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.228 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.228 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 0.228 * [taylor]: Taking taylor expansion of -1 in x 0.228 * [backup-simplify]: Simplify -1 into -1 0.228 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 0.228 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.228 * [taylor]: Taking taylor expansion of 1.0 in x 0.228 * [backup-simplify]: Simplify 1.0 into 1.0 0.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.228 * [taylor]: Taking taylor expansion of x in x 0.228 * [backup-simplify]: Simplify 0 into 0 0.228 * [backup-simplify]: Simplify 1 into 1 0.229 * [backup-simplify]: Simplify (/ 1 1) into 1 0.229 * [taylor]: Taking taylor expansion of y in x 0.229 * [backup-simplify]: Simplify y into y 0.229 * [backup-simplify]: Simplify (- 1) into -1 0.229 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.229 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.229 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 0.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.229 * [taylor]: Taking taylor expansion of y in y 0.229 * [backup-simplify]: Simplify 0 into 0 0.229 * [backup-simplify]: Simplify 1 into 1 0.230 * [backup-simplify]: Simplify (/ 1 1) into 1 0.230 * [backup-simplify]: Simplify 1 into 1 0.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.230 * [backup-simplify]: Simplify (- 0) into 0 0.231 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.231 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ -1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 0.231 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))) into (- (* 1.0 (/ 1 y))) 0.231 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 0.231 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.231 * [taylor]: Taking taylor expansion of 1.0 in y 0.231 * [backup-simplify]: Simplify 1.0 into 1.0 0.231 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.231 * [taylor]: Taking taylor expansion of y in y 0.231 * [backup-simplify]: Simplify 0 into 0 0.231 * [backup-simplify]: Simplify 1 into 1 0.231 * [backup-simplify]: Simplify (/ 1 1) into 1 0.231 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.232 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.232 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.232 * [backup-simplify]: Simplify 0 into 0 0.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.233 * [backup-simplify]: Simplify (- 0) into 0 0.234 * [backup-simplify]: Simplify (+ 0 0) into 0 0.234 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 0.234 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y)))) into 0 0.234 * [taylor]: Taking taylor expansion of 0 in y 0.234 * [backup-simplify]: Simplify 0 into 0 0.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.235 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.236 * [backup-simplify]: Simplify (- 0) into 0 0.236 * [backup-simplify]: Simplify 0 into 0 0.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.236 * [backup-simplify]: Simplify 0 into 0 0.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.237 * [backup-simplify]: Simplify (- 0) into 0 0.238 * [backup-simplify]: Simplify (+ 0 0) into 0 0.238 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.239 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))))) into 0 0.239 * [taylor]: Taking taylor expansion of 0 in y 0.239 * [backup-simplify]: Simplify 0 into 0 0.239 * [backup-simplify]: Simplify 0 into 0 0.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.240 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.241 * [backup-simplify]: Simplify (- 0) into 0 0.241 * [backup-simplify]: Simplify 0 into 0 0.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.241 * [backup-simplify]: Simplify 0 into 0 0.242 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 1.0 y) (* x y)) 0.242 * * * [progress]: simplifying candidates 0.242 * [simplify]: Simplifying: (* (+ x 1.0) y) (+ (log (+ x 1.0)) (log y)) (log (* (+ x 1.0) y)) (exp (* (+ x 1.0) y)) (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* y y) y)) (* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (* (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (+ x 1.0) (* (cbrt y) (cbrt y))) (* (+ x 1.0) (sqrt y)) (* (+ x 1.0) 1) (* (cbrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (+ x 1.0) y) (* (+ x 1.0) y) (* (+ (pow x 3) (pow 1.0 3)) y) (* (- (* x x) (* 1.0 1.0)) y) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) 0.242 * [simplify]: Sending expressions to egg_math: (* (+ h2 h1) h0) (+ (log (+ h2 h1)) (log h0)) (log (* (+ h2 h1) h0)) (exp (* (+ h2 h1) h0)) (* (* (* (+ h2 h1) (+ h2 h1)) (+ h2 h1)) (* (* h0 h0) h0)) (* (cbrt (* (+ h2 h1) h0)) (cbrt (* (+ h2 h1) h0))) (cbrt (* (+ h2 h1) h0)) (* (* (* (+ h2 h1) h0) (* (+ h2 h1) h0)) (* (+ h2 h1) h0)) (sqrt (* (+ h2 h1) h0)) (sqrt (* (+ h2 h1) h0)) (* (sqrt (+ h2 h1)) (sqrt h0)) (* (sqrt (+ h2 h1)) (sqrt h0)) (* (+ h2 h1) (* (cbrt h0) (cbrt h0))) (* (+ h2 h1) (sqrt h0)) (* (+ h2 h1) 1) (* (cbrt (+ h2 h1)) h0) (* (sqrt (+ h2 h1)) h0) (* (+ h2 h1) h0) (* (+ h2 h1) h0) (* (+ (pow h2 3) (pow h1 3)) h0) (* (- (* h2 h2) (* h1 h1)) h0) (+ (* h1 h0) (* h2 h0)) (+ (* h1 h0) (* h2 h0)) (+ (* h1 h0) (* h2 h0)) 0.284 * * * [progress]: adding candidates to table 0.327 * * [progress]: iteration 2 / 4 0.327 * * * [progress]: picking best candidate 0.329 * * * * [pick]: Picked # 0.329 * * * [progress]: localizing error 0.338 * * * [progress]: generating rewritten candidates 0.338 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 0.408 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.444 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 0.455 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 0.470 * * * [progress]: generating series expansions 0.470 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 0.470 * [backup-simplify]: Simplify (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) into (* y (+ x 1.0)) 0.470 * [approximate]: Taking taylor expansion of (* y (+ x 1.0)) in (x y) around 0 0.470 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in y 0.470 * [taylor]: Taking taylor expansion of y in y 0.470 * [backup-simplify]: Simplify 0 into 0 0.470 * [backup-simplify]: Simplify 1 into 1 0.470 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 0.470 * [taylor]: Taking taylor expansion of x in y 0.470 * [backup-simplify]: Simplify x into x 0.470 * [taylor]: Taking taylor expansion of 1.0 in y 0.470 * [backup-simplify]: Simplify 1.0 into 1.0 0.470 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 0.470 * [taylor]: Taking taylor expansion of y in x 0.470 * [backup-simplify]: Simplify y into y 0.470 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.470 * [taylor]: Taking taylor expansion of x in x 0.471 * [backup-simplify]: Simplify 0 into 0 0.471 * [backup-simplify]: Simplify 1 into 1 0.471 * [taylor]: Taking taylor expansion of 1.0 in x 0.471 * [backup-simplify]: Simplify 1.0 into 1.0 0.471 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 0.471 * [taylor]: Taking taylor expansion of y in x 0.471 * [backup-simplify]: Simplify y into y 0.471 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.471 * [taylor]: Taking taylor expansion of x in x 0.471 * [backup-simplify]: Simplify 0 into 0 0.471 * [backup-simplify]: Simplify 1 into 1 0.471 * [taylor]: Taking taylor expansion of 1.0 in x 0.471 * [backup-simplify]: Simplify 1.0 into 1.0 0.472 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.472 * [backup-simplify]: Simplify (* y 1.0) into (* 1.0 y) 0.472 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.472 * [taylor]: Taking taylor expansion of 1.0 in y 0.472 * [backup-simplify]: Simplify 1.0 into 1.0 0.472 * [taylor]: Taking taylor expansion of y in y 0.472 * [backup-simplify]: Simplify 0 into 0 0.472 * [backup-simplify]: Simplify 1 into 1 0.472 * [backup-simplify]: Simplify (* 1.0 0) into 0 0.472 * [backup-simplify]: Simplify 0 into 0 0.473 * [backup-simplify]: Simplify (+ 1 0) into 1 0.473 * [backup-simplify]: Simplify (+ (* y 1) (* 0 1.0)) into y 0.473 * [taylor]: Taking taylor expansion of y in y 0.473 * [backup-simplify]: Simplify 0 into 0 0.473 * [backup-simplify]: Simplify 1 into 1 0.473 * [backup-simplify]: Simplify 0 into 0 0.474 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 0.474 * [backup-simplify]: Simplify 1.0 into 1.0 0.475 * [backup-simplify]: Simplify (+ 0 0) into 0 0.475 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 1.0))) into 0 0.475 * [taylor]: Taking taylor expansion of 0 in y 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify 0 into 0 0.475 * [backup-simplify]: Simplify 1 into 1 0.476 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 0.476 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify (+ 0 0) into 0 0.477 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))) into 0 0.477 * [taylor]: Taking taylor expansion of 0 in y 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 0 into 0 0.477 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify 0 into 0 0.478 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 0.478 * [backup-simplify]: Simplify 0 into 0 0.479 * [backup-simplify]: Simplify (+ 0 0) into 0 0.480 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0 0.480 * [taylor]: Taking taylor expansion of 0 in y 0.480 * [backup-simplify]: Simplify 0 into 0 0.480 * [backup-simplify]: Simplify 0 into 0 0.480 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1.0 (* y 1))) into (+ (* 1.0 y) (* x y)) 0.480 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) 1.0)) (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y))) into (/ (+ 1.0 (/ 1 x)) y) 0.480 * [approximate]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in (x y) around 0 0.480 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in y 0.480 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y 0.480 * [taylor]: Taking taylor expansion of 1.0 in y 0.480 * [backup-simplify]: Simplify 1.0 into 1.0 0.480 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.480 * [taylor]: Taking taylor expansion of x in y 0.480 * [backup-simplify]: Simplify x into x 0.480 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.480 * [taylor]: Taking taylor expansion of y in y 0.480 * [backup-simplify]: Simplify 0 into 0 0.480 * [backup-simplify]: Simplify 1 into 1 0.481 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0) 0.481 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ 1.0 (/ 1 x)) 0.481 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in x 0.481 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.481 * [taylor]: Taking taylor expansion of 1.0 in x 0.481 * [backup-simplify]: Simplify 1.0 into 1.0 0.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.481 * [taylor]: Taking taylor expansion of x in x 0.481 * [backup-simplify]: Simplify 0 into 0 0.481 * [backup-simplify]: Simplify 1 into 1 0.481 * [backup-simplify]: Simplify (/ 1 1) into 1 0.481 * [taylor]: Taking taylor expansion of y in x 0.481 * [backup-simplify]: Simplify y into y 0.482 * [backup-simplify]: Simplify (+ 0 1) into 1 0.482 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.482 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 x)) y) in x 0.482 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.482 * [taylor]: Taking taylor expansion of 1.0 in x 0.482 * [backup-simplify]: Simplify 1.0 into 1.0 0.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.482 * [taylor]: Taking taylor expansion of x in x 0.482 * [backup-simplify]: Simplify 0 into 0 0.482 * [backup-simplify]: Simplify 1 into 1 0.482 * [backup-simplify]: Simplify (/ 1 1) into 1 0.482 * [taylor]: Taking taylor expansion of y in x 0.482 * [backup-simplify]: Simplify y into y 0.482 * [backup-simplify]: Simplify (+ 0 1) into 1 0.482 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.482 * [taylor]: Taking taylor expansion of y in y 0.482 * [backup-simplify]: Simplify 0 into 0 0.483 * [backup-simplify]: Simplify 1 into 1 0.483 * [backup-simplify]: Simplify (/ 1 1) into 1 0.483 * [backup-simplify]: Simplify 1 into 1 0.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.483 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.484 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 0.484 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.484 * [taylor]: Taking taylor expansion of 1.0 in y 0.484 * [backup-simplify]: Simplify 1.0 into 1.0 0.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.484 * [taylor]: Taking taylor expansion of y in y 0.484 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify 1 into 1 0.484 * [backup-simplify]: Simplify (/ 1 1) into 1 0.484 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.484 * [backup-simplify]: Simplify 1.0 into 1.0 0.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.485 * [backup-simplify]: Simplify 0 into 0 0.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.485 * [backup-simplify]: Simplify (+ 0 0) into 0 0.486 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 0.486 * [taylor]: Taking taylor expansion of 0 in y 0.486 * [backup-simplify]: Simplify 0 into 0 0.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.486 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.486 * [backup-simplify]: Simplify 0 into 0 0.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.487 * [backup-simplify]: Simplify 0 into 0 0.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.488 * [backup-simplify]: Simplify (+ 0 0) into 0 0.488 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.488 * [taylor]: Taking taylor expansion of 0 in y 0.488 * [backup-simplify]: Simplify 0 into 0 0.488 * [backup-simplify]: Simplify 0 into 0 0.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.489 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.489 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.490 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 1.0 y) (* x y)) 0.490 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) 1.0)) (* (sqrt (+ (/ 1 (- x)) 1.0)) (/ 1 (- y)))) into (* -1 (/ (- 1.0 (/ 1 x)) y)) 0.490 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0 0.490 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y 0.490 * [taylor]: Taking taylor expansion of -1 in y 0.490 * [backup-simplify]: Simplify -1 into -1 0.490 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 0.490 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 0.490 * [taylor]: Taking taylor expansion of 1.0 in y 0.490 * [backup-simplify]: Simplify 1.0 into 1.0 0.490 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.490 * [taylor]: Taking taylor expansion of x in y 0.490 * [backup-simplify]: Simplify x into x 0.490 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.490 * [taylor]: Taking taylor expansion of y in y 0.490 * [backup-simplify]: Simplify 0 into 0 0.490 * [backup-simplify]: Simplify 1 into 1 0.490 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 0.490 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 0.490 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 0.490 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 0.490 * [taylor]: Taking taylor expansion of -1 in x 0.490 * [backup-simplify]: Simplify -1 into -1 0.490 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 0.490 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.491 * [taylor]: Taking taylor expansion of 1.0 in x 0.491 * [backup-simplify]: Simplify 1.0 into 1.0 0.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.491 * [backup-simplify]: Simplify 0 into 0 0.491 * [backup-simplify]: Simplify 1 into 1 0.491 * [backup-simplify]: Simplify (/ 1 1) into 1 0.491 * [taylor]: Taking taylor expansion of y in x 0.491 * [backup-simplify]: Simplify y into y 0.491 * [backup-simplify]: Simplify (- 1) into -1 0.491 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.491 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.491 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 0.491 * [taylor]: Taking taylor expansion of -1 in x 0.491 * [backup-simplify]: Simplify -1 into -1 0.491 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 0.491 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.492 * [taylor]: Taking taylor expansion of 1.0 in x 0.492 * [backup-simplify]: Simplify 1.0 into 1.0 0.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.492 * [taylor]: Taking taylor expansion of x in x 0.492 * [backup-simplify]: Simplify 0 into 0 0.492 * [backup-simplify]: Simplify 1 into 1 0.492 * [backup-simplify]: Simplify (/ 1 1) into 1 0.492 * [taylor]: Taking taylor expansion of y in x 0.492 * [backup-simplify]: Simplify y into y 0.492 * [backup-simplify]: Simplify (- 1) into -1 0.492 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.492 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 0.492 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 0.493 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.493 * [taylor]: Taking taylor expansion of y in y 0.493 * [backup-simplify]: Simplify 0 into 0 0.493 * [backup-simplify]: Simplify 1 into 1 0.493 * [backup-simplify]: Simplify (/ 1 1) into 1 0.493 * [backup-simplify]: Simplify 1 into 1 0.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.493 * [backup-simplify]: Simplify (- 0) into 0 0.494 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.494 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ -1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 0.494 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))) into (- (* 1.0 (/ 1 y))) 0.494 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 0.494 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.494 * [taylor]: Taking taylor expansion of 1.0 in y 0.494 * [backup-simplify]: Simplify 1.0 into 1.0 0.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.494 * [taylor]: Taking taylor expansion of y in y 0.494 * [backup-simplify]: Simplify 0 into 0 0.494 * [backup-simplify]: Simplify 1 into 1 0.494 * [backup-simplify]: Simplify (/ 1 1) into 1 0.495 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 0.495 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.495 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.496 * [backup-simplify]: Simplify 0 into 0 0.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.496 * [backup-simplify]: Simplify (- 0) into 0 0.496 * [backup-simplify]: Simplify (+ 0 0) into 0 0.500 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 0.500 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y)))) into 0 0.500 * [taylor]: Taking taylor expansion of 0 in y 0.500 * [backup-simplify]: Simplify 0 into 0 0.501 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.501 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 0.502 * [backup-simplify]: Simplify (- 0) into 0 0.502 * [backup-simplify]: Simplify 0 into 0 0.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.502 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.503 * [backup-simplify]: Simplify (- 0) into 0 0.503 * [backup-simplify]: Simplify (+ 0 0) into 0 0.503 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.504 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))))) into 0 0.504 * [taylor]: Taking taylor expansion of 0 in y 0.504 * [backup-simplify]: Simplify 0 into 0 0.504 * [backup-simplify]: Simplify 0 into 0 0.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.505 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 0.505 * [backup-simplify]: Simplify (- 0) into 0 0.505 * [backup-simplify]: Simplify 0 into 0 0.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.506 * [backup-simplify]: Simplify 0 into 0 0.506 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 1.0 y) (* x y)) 0.507 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.507 * [backup-simplify]: Simplify (* (sqrt (+ x 1.0)) y) into (* y (sqrt (+ x 1.0))) 0.507 * [approximate]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in (x y) around 0 0.507 * [taylor]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in y 0.507 * [taylor]: Taking taylor expansion of y in y 0.507 * [backup-simplify]: Simplify 0 into 0 0.507 * [backup-simplify]: Simplify 1 into 1 0.507 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in y 0.507 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 0.507 * [taylor]: Taking taylor expansion of x in y 0.507 * [backup-simplify]: Simplify x into x 0.507 * [taylor]: Taking taylor expansion of 1.0 in y 0.507 * [backup-simplify]: Simplify 1.0 into 1.0 0.507 * [backup-simplify]: Simplify (+ x 1.0) into (+ x 1.0) 0.507 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0)) 0.507 * [backup-simplify]: Simplify (+ 0 0) into 0 0.507 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ x 1.0)))) into 0 0.507 * [taylor]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in x 0.507 * [taylor]: Taking taylor expansion of y in x 0.507 * [backup-simplify]: Simplify y into y 0.507 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 0.507 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.507 * [taylor]: Taking taylor expansion of x in x 0.507 * [backup-simplify]: Simplify 0 into 0 0.507 * [backup-simplify]: Simplify 1 into 1 0.507 * [taylor]: Taking taylor expansion of 1.0 in x 0.507 * [backup-simplify]: Simplify 1.0 into 1.0 0.508 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.508 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.508 * [backup-simplify]: Simplify (+ 1 0) into 1 0.509 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 0.509 * [taylor]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in x 0.509 * [taylor]: Taking taylor expansion of y in x 0.509 * [backup-simplify]: Simplify y into y 0.509 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 0.509 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.509 * [taylor]: Taking taylor expansion of x in x 0.509 * [backup-simplify]: Simplify 0 into 0 0.509 * [backup-simplify]: Simplify 1 into 1 0.509 * [taylor]: Taking taylor expansion of 1.0 in x 0.509 * [backup-simplify]: Simplify 1.0 into 1.0 0.510 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.510 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.510 * [backup-simplify]: Simplify (+ 1 0) into 1 0.511 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 0.511 * [backup-simplify]: Simplify (* y (sqrt 1.0)) into (* (sqrt 1.0) y) 0.512 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) y) in y 0.512 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.512 * [taylor]: Taking taylor expansion of 1.0 in y 0.512 * [backup-simplify]: Simplify 1.0 into 1.0 0.512 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.512 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 0.512 * [taylor]: Taking taylor expansion of y in y 0.512 * [backup-simplify]: Simplify 0 into 0 0.512 * [backup-simplify]: Simplify 1 into 1 0.513 * [backup-simplify]: Simplify (* (sqrt 1.0) 0) into 0 0.513 * [backup-simplify]: Simplify 0 into 0 0.514 * [backup-simplify]: Simplify (+ (* y (/ 1/2 (sqrt 1.0))) (* 0 (sqrt 1.0))) into (* 1/2 (/ y (sqrt 1.0))) 0.514 * [taylor]: Taking taylor expansion of (* 1/2 (/ y (sqrt 1.0))) in y 0.514 * [taylor]: Taking taylor expansion of 1/2 in y 0.514 * [backup-simplify]: Simplify 1/2 into 1/2 0.514 * [taylor]: Taking taylor expansion of (/ y (sqrt 1.0)) in y 0.514 * [taylor]: Taking taylor expansion of y in y 0.514 * [backup-simplify]: Simplify 0 into 0 0.514 * [backup-simplify]: Simplify 1 into 1 0.514 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.514 * [taylor]: Taking taylor expansion of 1.0 in y 0.514 * [backup-simplify]: Simplify 1.0 into 1.0 0.514 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.514 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 0.515 * [backup-simplify]: Simplify (/ 1 (sqrt 1.0)) into (/ 1 (sqrt 1.0)) 0.516 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 1) (* 0 0)) into (sqrt 1.0) 0.516 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.517 * [backup-simplify]: Simplify (+ 0 0) into 0 0.520 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3)) 0.521 * [backup-simplify]: Simplify (+ (* y (/ -1/8 (pow (sqrt 1.0) 3))) (+ (* 0 (/ 1/2 (sqrt 1.0))) (* 0 (sqrt 1.0)))) into (- (* 1/8 (/ y (pow (sqrt 1.0) 3)))) 0.521 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ y (pow (sqrt 1.0) 3)))) in y 0.521 * [taylor]: Taking taylor expansion of (* 1/8 (/ y (pow (sqrt 1.0) 3))) in y 0.521 * [taylor]: Taking taylor expansion of 1/8 in y 0.521 * [backup-simplify]: Simplify 1/8 into 1/8 0.521 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 1.0) 3)) in y 0.522 * [taylor]: Taking taylor expansion of y in y 0.522 * [backup-simplify]: Simplify 0 into 0 0.522 * [backup-simplify]: Simplify 1 into 1 0.522 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in y 0.522 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.522 * [taylor]: Taking taylor expansion of 1.0 in y 0.522 * [backup-simplify]: Simplify 1.0 into 1.0 0.522 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.522 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 0.523 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2) 0.524 * [backup-simplify]: Simplify (* (sqrt 1.0) (pow (sqrt 1.0) 2)) into (pow (sqrt 1.0) 3) 0.525 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 3)) into (/ 1 (pow (sqrt 1.0) 3)) 0.526 * [backup-simplify]: Simplify (* 1/2 (/ 1 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 0.527 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0)) 0.527 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into 0 0.528 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 1) (* 0 0))) into 0 0.528 * [backup-simplify]: Simplify 0 into 0 0.528 * [backup-simplify]: Simplify (+ 0 0) into 0 0.535 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt 1.0)) (/ -1/8 (pow (sqrt 1.0) 3)))))) (* 2 (sqrt 1.0))) into (/ 1/16 (pow (sqrt 1.0) 5)) 0.538 * [backup-simplify]: Simplify (+ (* y (/ 1/16 (pow (sqrt 1.0) 5))) (+ (* 0 (/ -1/8 (pow (sqrt 1.0) 3))) (+ (* 0 (/ 1/2 (sqrt 1.0))) (* 0 (sqrt 1.0))))) into (* 1/16 (/ y (pow (sqrt 1.0) 5))) 0.538 * [taylor]: Taking taylor expansion of (* 1/16 (/ y (pow (sqrt 1.0) 5))) in y 0.538 * [taylor]: Taking taylor expansion of 1/16 in y 0.538 * [backup-simplify]: Simplify 1/16 into 1/16 0.538 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 1.0) 5)) in y 0.538 * [taylor]: Taking taylor expansion of y in y 0.538 * [backup-simplify]: Simplify 0 into 0 0.538 * [backup-simplify]: Simplify 1 into 1 0.538 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 5) in y 0.538 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 0.538 * [taylor]: Taking taylor expansion of 1.0 in y 0.538 * [backup-simplify]: Simplify 1.0 into 1.0 0.538 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.539 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 0.540 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2) 0.542 * [backup-simplify]: Simplify (* (pow (sqrt 1.0) 2) (pow (sqrt 1.0) 2)) into (pow (sqrt 1.0) 4) 0.544 * [backup-simplify]: Simplify (* (sqrt 1.0) (pow (sqrt 1.0) 4)) into (pow (sqrt 1.0) 5) 0.545 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 5)) into (/ 1 (pow (sqrt 1.0) 5)) 0.548 * [backup-simplify]: Simplify (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) into (/ 1/8 (pow (sqrt 1.0) 3)) 0.550 * [backup-simplify]: Simplify (- (/ 1/8 (pow (sqrt 1.0) 3))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 0.553 * [backup-simplify]: Simplify (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 0.558 * [backup-simplify]: Simplify (+ (* (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) (* y (pow x 2))) (+ (* (/ 1/2 (sqrt 1.0)) (* y x)) (* (sqrt 1.0) (* y 1)))) into (- (+ (* 1/2 (/ (* x y) (sqrt 1.0))) (* (sqrt 1.0) y)) (* 1/8 (/ (* (pow x 2) y) (pow (sqrt 1.0) 3)))) 0.558 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y)) into (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) 0.558 * [approximate]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) in (x y) around 0 0.558 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) in y 0.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.558 * [taylor]: Taking taylor expansion of y in y 0.558 * [backup-simplify]: Simplify 0 into 0 0.558 * [backup-simplify]: Simplify 1 into 1 0.559 * [backup-simplify]: Simplify (/ 1 1) into 1 0.559 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in y 0.559 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y 0.559 * [taylor]: Taking taylor expansion of 1.0 in y 0.559 * [backup-simplify]: Simplify 1.0 into 1.0 0.559 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.559 * [taylor]: Taking taylor expansion of x in y 0.559 * [backup-simplify]: Simplify x into x 0.559 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.559 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0) 0.559 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ 1.0 (/ 1 x))) 0.559 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.560 * [backup-simplify]: Simplify (+ 0 0) into 0 0.560 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (/ 1 x) 1.0)))) into 0 0.560 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) in x 0.560 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.560 * [taylor]: Taking taylor expansion of y in x 0.560 * [backup-simplify]: Simplify y into y 0.560 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.560 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 0.560 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.560 * [taylor]: Taking taylor expansion of 1.0 in x 0.560 * [backup-simplify]: Simplify 1.0 into 1.0 0.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.560 * [taylor]: Taking taylor expansion of x in x 0.560 * [backup-simplify]: Simplify 0 into 0 0.560 * [backup-simplify]: Simplify 1 into 1 0.560 * [backup-simplify]: Simplify (/ 1 1) into 1 0.561 * [backup-simplify]: Simplify (+ 0 1) into 1 0.561 * [backup-simplify]: Simplify (sqrt 0) into 0 0.562 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.562 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ 1.0 (/ 1 x)))) in x 0.562 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.562 * [taylor]: Taking taylor expansion of y in x 0.563 * [backup-simplify]: Simplify y into y 0.563 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.563 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 0.563 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.563 * [taylor]: Taking taylor expansion of 1.0 in x 0.563 * [backup-simplify]: Simplify 1.0 into 1.0 0.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.563 * [taylor]: Taking taylor expansion of x in x 0.563 * [backup-simplify]: Simplify 0 into 0 0.563 * [backup-simplify]: Simplify 1 into 1 0.563 * [backup-simplify]: Simplify (/ 1 1) into 1 0.563 * [backup-simplify]: Simplify (+ 0 1) into 1 0.564 * [backup-simplify]: Simplify (sqrt 0) into 0 0.565 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.565 * [backup-simplify]: Simplify (* (/ 1 y) 0) into 0 0.565 * [taylor]: Taking taylor expansion of 0 in y 0.565 * [backup-simplify]: Simplify 0 into 0 0.565 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.566 * [backup-simplify]: Simplify (+ (* (/ 1 y) +nan.0) (* 0 0)) into (- (* +nan.0 (/ 1 y))) 0.566 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 0.566 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.566 * [taylor]: Taking taylor expansion of +nan.0 in y 0.566 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.566 * [taylor]: Taking taylor expansion of y in y 0.566 * [backup-simplify]: Simplify 0 into 0 0.566 * [backup-simplify]: Simplify 1 into 1 0.566 * [backup-simplify]: Simplify (/ 1 1) into 1 0.567 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 0.567 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.567 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.567 * [backup-simplify]: Simplify 0 into 0 0.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.568 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.571 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.571 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.572 * [backup-simplify]: Simplify (+ (* (/ 1 y) +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- (* +nan.0 (/ 1 y))) 0.572 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 0.572 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.572 * [taylor]: Taking taylor expansion of +nan.0 in y 0.572 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.572 * [taylor]: Taking taylor expansion of y in y 0.572 * [backup-simplify]: Simplify 0 into 0 0.572 * [backup-simplify]: Simplify 1 into 1 0.572 * [backup-simplify]: Simplify (/ 1 1) into 1 0.573 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 0.573 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.573 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.575 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 0.575 * [backup-simplify]: Simplify (- 0) into 0 0.575 * [backup-simplify]: Simplify 0 into 0 0.575 * [backup-simplify]: Simplify 0 into 0 0.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.576 * [backup-simplify]: Simplify (+ 0 0) into 0 0.580 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.580 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.580 * [backup-simplify]: Simplify (+ (* (/ 1 y) +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- (* +nan.0 (/ 1 y))) 0.580 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 0.581 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.581 * [taylor]: Taking taylor expansion of +nan.0 in y 0.581 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.581 * [taylor]: Taking taylor expansion of y in y 0.581 * [backup-simplify]: Simplify 0 into 0 0.581 * [backup-simplify]: Simplify 1 into 1 0.581 * [backup-simplify]: Simplify (/ 1 1) into 1 0.581 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 0.582 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.582 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.584 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (pow (/ 1 x) 2))) (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (/ 1 x))) (* (- +nan.0) (* (/ 1 (/ 1 y)) 1)))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) 0.584 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) 1.0)) (/ 1 (- y))) into (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) 0.584 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in (x y) around 0 0.584 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in y 0.584 * [taylor]: Taking taylor expansion of -1 in y 0.584 * [backup-simplify]: Simplify -1 into -1 0.584 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in y 0.584 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in y 0.584 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 0.584 * [taylor]: Taking taylor expansion of 1.0 in y 0.584 * [backup-simplify]: Simplify 1.0 into 1.0 0.584 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.584 * [taylor]: Taking taylor expansion of x in y 0.584 * [backup-simplify]: Simplify x into x 0.584 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 0.584 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 0.584 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 0.584 * [backup-simplify]: Simplify (sqrt (- 1.0 (/ 1 x))) into (sqrt (- 1.0 (/ 1 x))) 0.585 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 0.585 * [backup-simplify]: Simplify (- 0) into 0 0.585 * [backup-simplify]: Simplify (+ 0 0) into 0 0.585 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- 1.0 (/ 1 x))))) into 0 0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.585 * [taylor]: Taking taylor expansion of y in y 0.585 * [backup-simplify]: Simplify 0 into 0 0.585 * [backup-simplify]: Simplify 1 into 1 0.586 * [backup-simplify]: Simplify (/ 1 1) into 1 0.586 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in x 0.586 * [taylor]: Taking taylor expansion of -1 in x 0.586 * [backup-simplify]: Simplify -1 into -1 0.586 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in x 0.586 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 0.586 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.586 * [taylor]: Taking taylor expansion of 1.0 in x 0.586 * [backup-simplify]: Simplify 1.0 into 1.0 0.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [backup-simplify]: Simplify 0 into 0 0.586 * [backup-simplify]: Simplify 1 into 1 0.586 * [backup-simplify]: Simplify (/ 1 1) into 1 0.587 * [backup-simplify]: Simplify (- 1) into -1 0.587 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.588 * [backup-simplify]: Simplify (sqrt 0) into 0 0.589 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.589 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.589 * [taylor]: Taking taylor expansion of y in x 0.589 * [backup-simplify]: Simplify y into y 0.589 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.589 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in x 0.589 * [taylor]: Taking taylor expansion of -1 in x 0.589 * [backup-simplify]: Simplify -1 into -1 0.589 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in x 0.589 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 0.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.589 * [taylor]: Taking taylor expansion of 1.0 in x 0.589 * [backup-simplify]: Simplify 1.0 into 1.0 0.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.589 * [taylor]: Taking taylor expansion of x in x 0.589 * [backup-simplify]: Simplify 0 into 0 0.589 * [backup-simplify]: Simplify 1 into 1 0.589 * [backup-simplify]: Simplify (/ 1 1) into 1 0.590 * [backup-simplify]: Simplify (- 1) into -1 0.590 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.590 * [backup-simplify]: Simplify (sqrt 0) into 0 0.592 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.592 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.592 * [taylor]: Taking taylor expansion of y in x 0.592 * [backup-simplify]: Simplify y into y 0.592 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 0.592 * [backup-simplify]: Simplify (* 0 (/ 1 y)) into 0 0.592 * [backup-simplify]: Simplify (* -1 0) into 0 0.592 * [taylor]: Taking taylor expansion of 0 in y 0.592 * [backup-simplify]: Simplify 0 into 0 0.592 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 0.593 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (/ 1 y))) into (- (* +nan.0 (/ 1 y))) 0.593 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (* 0 0)) into (- (* +nan.0 (/ 1 y))) 0.593 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 0.593 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.593 * [taylor]: Taking taylor expansion of +nan.0 in y 0.593 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.593 * [taylor]: Taking taylor expansion of y in y 0.593 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify 1 into 1 0.594 * [backup-simplify]: Simplify (/ 1 1) into 1 0.594 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 0.594 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.594 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.595 * [backup-simplify]: Simplify 0 into 0 0.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.595 * [backup-simplify]: Simplify (- 0) into 0 0.596 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.597 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.598 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y))) 0.598 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (* 0 0))) into (- (* +nan.0 (/ 1 y))) 0.598 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 0.598 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.598 * [taylor]: Taking taylor expansion of +nan.0 in y 0.598 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.598 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.598 * [taylor]: Taking taylor expansion of y in y 0.598 * [backup-simplify]: Simplify 0 into 0 0.598 * [backup-simplify]: Simplify 1 into 1 0.599 * [backup-simplify]: Simplify (/ 1 1) into 1 0.599 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 0.599 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.599 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.600 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 0.600 * [backup-simplify]: Simplify (- 0) into 0 0.600 * [backup-simplify]: Simplify 0 into 0 0.600 * [backup-simplify]: Simplify 0 into 0 0.601 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 0.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.601 * [backup-simplify]: Simplify (- 0) into 0 0.601 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.610 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 0) (* +nan.0 (/ 1 y))))) into (- (* +nan.0 (/ 1 y))) 0.611 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (* 0 0)))) into (- (* +nan.0 (/ 1 y))) 0.611 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 0.611 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 0.611 * [taylor]: Taking taylor expansion of +nan.0 in y 0.611 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.611 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.611 * [taylor]: Taking taylor expansion of y in y 0.611 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify 1 into 1 0.611 * [backup-simplify]: Simplify (/ 1 1) into 1 0.612 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 0.612 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.612 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.613 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) 2))) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))) (* (- +nan.0) (* (/ 1 (/ 1 (- y))) 1)))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) 0.613 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 0.613 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0)) 0.613 * [approximate]: Taking taylor expansion of (sqrt (+ x 1.0)) in (x) around 0 0.613 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 0.613 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [backup-simplify]: Simplify 0 into 0 0.613 * [backup-simplify]: Simplify 1 into 1 0.613 * [taylor]: Taking taylor expansion of 1.0 in x 0.613 * [backup-simplify]: Simplify 1.0 into 1.0 0.614 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.614 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.614 * [backup-simplify]: Simplify (+ 1 0) into 1 0.616 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 0.616 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 0.616 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [taylor]: Taking taylor expansion of 1.0 in x 0.616 * [backup-simplify]: Simplify 1.0 into 1.0 0.616 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.616 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.617 * [backup-simplify]: Simplify (+ 1 0) into 1 0.618 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 0.618 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.619 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0)) 0.619 * [backup-simplify]: Simplify (+ 0 0) into 0 0.623 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3)) 0.625 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3)) 0.627 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 2)) (+ (* (/ 1/2 (sqrt 1.0)) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) 0.628 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ 1.0 (/ 1 x))) 0.628 * [approximate]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in (x) around 0 0.628 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 0.628 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.628 * [taylor]: Taking taylor expansion of 1.0 in x 0.628 * [backup-simplify]: Simplify 1.0 into 1.0 0.628 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.628 * [taylor]: Taking taylor expansion of x in x 0.628 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify 1 into 1 0.628 * [backup-simplify]: Simplify (/ 1 1) into 1 0.628 * [backup-simplify]: Simplify (+ 0 1) into 1 0.629 * [backup-simplify]: Simplify (sqrt 0) into 0 0.630 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.630 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 0.630 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.630 * [taylor]: Taking taylor expansion of 1.0 in x 0.630 * [backup-simplify]: Simplify 1.0 into 1.0 0.630 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.630 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify 1 into 1 0.630 * [backup-simplify]: Simplify (/ 1 1) into 1 0.631 * [backup-simplify]: Simplify (+ 0 1) into 1 0.631 * [backup-simplify]: Simplify (sqrt 0) into 0 0.632 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.632 * [backup-simplify]: Simplify 0 into 0 0.632 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.633 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.635 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.635 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.636 * [backup-simplify]: Simplify (+ 0 0) into 0 0.639 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.639 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.640 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 0.640 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) 1.0)) into (sqrt (- 1.0 (/ 1 x))) 0.640 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in (x) around 0 0.640 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 0.640 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.640 * [taylor]: Taking taylor expansion of 1.0 in x 0.640 * [backup-simplify]: Simplify 1.0 into 1.0 0.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [backup-simplify]: Simplify (/ 1 1) into 1 0.641 * [backup-simplify]: Simplify (- 1) into -1 0.641 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.641 * [backup-simplify]: Simplify (sqrt 0) into 0 0.642 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.642 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 0.642 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.642 * [taylor]: Taking taylor expansion of 1.0 in x 0.642 * [backup-simplify]: Simplify 1.0 into 1.0 0.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify 1 into 1 0.643 * [backup-simplify]: Simplify (/ 1 1) into 1 0.643 * [backup-simplify]: Simplify (- 1) into -1 0.643 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.644 * [backup-simplify]: Simplify (sqrt 0) into 0 0.645 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.645 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.646 * [backup-simplify]: Simplify (- 0) into 0 0.646 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.648 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.648 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.649 * [backup-simplify]: Simplify (- 0) into 0 0.649 * [backup-simplify]: Simplify (+ 0 0) into 0 0.652 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.652 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.653 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 0.653 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 0.653 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0)) 0.653 * [approximate]: Taking taylor expansion of (sqrt (+ x 1.0)) in (x) around 0 0.653 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 0.653 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.653 * [taylor]: Taking taylor expansion of x in x 0.653 * [backup-simplify]: Simplify 0 into 0 0.653 * [backup-simplify]: Simplify 1 into 1 0.653 * [taylor]: Taking taylor expansion of 1.0 in x 0.653 * [backup-simplify]: Simplify 1.0 into 1.0 0.653 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.654 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.654 * [backup-simplify]: Simplify (+ 1 0) into 1 0.655 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 0.655 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 0.655 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.655 * [taylor]: Taking taylor expansion of x in x 0.655 * [backup-simplify]: Simplify 0 into 0 0.655 * [backup-simplify]: Simplify 1 into 1 0.655 * [taylor]: Taking taylor expansion of 1.0 in x 0.655 * [backup-simplify]: Simplify 1.0 into 1.0 0.656 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 0.656 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.656 * [backup-simplify]: Simplify (+ 1 0) into 1 0.658 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 0.658 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 0.659 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0)) 0.659 * [backup-simplify]: Simplify (+ 0 0) into 0 0.663 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3)) 0.664 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3)) 0.667 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 2)) (+ (* (/ 1/2 (sqrt 1.0)) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) 0.667 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ 1.0 (/ 1 x))) 0.667 * [approximate]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in (x) around 0 0.667 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 0.667 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.667 * [taylor]: Taking taylor expansion of 1.0 in x 0.667 * [backup-simplify]: Simplify 1.0 into 1.0 0.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.667 * [taylor]: Taking taylor expansion of x in x 0.667 * [backup-simplify]: Simplify 0 into 0 0.667 * [backup-simplify]: Simplify 1 into 1 0.668 * [backup-simplify]: Simplify (/ 1 1) into 1 0.668 * [backup-simplify]: Simplify (+ 0 1) into 1 0.668 * [backup-simplify]: Simplify (sqrt 0) into 0 0.669 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.669 * [taylor]: Taking taylor expansion of (sqrt (+ 1.0 (/ 1 x))) in x 0.670 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.670 * [taylor]: Taking taylor expansion of 1.0 in x 0.670 * [backup-simplify]: Simplify 1.0 into 1.0 0.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.670 * [taylor]: Taking taylor expansion of x in x 0.670 * [backup-simplify]: Simplify 0 into 0 0.670 * [backup-simplify]: Simplify 1 into 1 0.670 * [backup-simplify]: Simplify (/ 1 1) into 1 0.670 * [backup-simplify]: Simplify (+ 0 1) into 1 0.671 * [backup-simplify]: Simplify (sqrt 0) into 0 0.672 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 0.672 * [backup-simplify]: Simplify 0 into 0 0.672 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.673 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.675 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.675 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.676 * [backup-simplify]: Simplify (+ 0 0) into 0 0.678 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.678 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.678 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 0.678 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) 1.0)) into (sqrt (- 1.0 (/ 1 x))) 0.678 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in (x) around 0 0.678 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 0.678 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.679 * [taylor]: Taking taylor expansion of 1.0 in x 0.679 * [backup-simplify]: Simplify 1.0 into 1.0 0.679 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.679 * [taylor]: Taking taylor expansion of x in x 0.679 * [backup-simplify]: Simplify 0 into 0 0.679 * [backup-simplify]: Simplify 1 into 1 0.679 * [backup-simplify]: Simplify (/ 1 1) into 1 0.679 * [backup-simplify]: Simplify (- 1) into -1 0.679 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.680 * [backup-simplify]: Simplify (sqrt 0) into 0 0.680 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.680 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 0.680 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.680 * [taylor]: Taking taylor expansion of 1.0 in x 0.680 * [backup-simplify]: Simplify 1.0 into 1.0 0.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.680 * [taylor]: Taking taylor expansion of x in x 0.680 * [backup-simplify]: Simplify 0 into 0 0.680 * [backup-simplify]: Simplify 1 into 1 0.681 * [backup-simplify]: Simplify (/ 1 1) into 1 0.681 * [backup-simplify]: Simplify (- 1) into -1 0.681 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.681 * [backup-simplify]: Simplify (sqrt 0) into 0 0.682 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.682 * [backup-simplify]: Simplify 0 into 0 0.682 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.683 * [backup-simplify]: Simplify (- 0) into 0 0.683 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 0.685 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.685 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.686 * [backup-simplify]: Simplify (- 0) into 0 0.686 * [backup-simplify]: Simplify (+ 0 0) into 0 0.689 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.689 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.689 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 0.689 * * * [progress]: simplifying candidates 0.691 * [simplify]: Simplifying: (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (+ (log (sqrt (+ x 1.0))) (+ (log (sqrt (+ x 1.0))) (log y))) (+ (log (sqrt (+ x 1.0))) (log (* (sqrt (+ x 1.0)) y))) (log (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (exp (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* y y) y))) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* (* (sqrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) y))) (* (cbrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (cbrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)))) (cbrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (* (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (sqrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (sqrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y)) (* (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) (* (sqrt (- (* x x) (* 1.0 1.0))) y)) (* (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (- x 1.0))) (* (sqrt (- (* x x) (* 1.0 1.0))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y)) (* (sqrt (- x 1.0)) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (* (sqrt (- (* x x) (* 1.0 1.0))) (* (sqrt (- (* x x) (* 1.0 1.0))) y)) (* (sqrt (- x 1.0)) (sqrt (- x 1.0))) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (cbrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y)) (* (sqrt (+ x 1.0)) (* (sqrt (- (* x x) (* 1.0 1.0))) y)) (* (sqrt (+ (pow x 3) (pow 1.0 3))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (- (* x x) (* 1.0 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) y) (+ (log (sqrt (+ x 1.0))) (log y)) (log (* (sqrt (+ x 1.0)) y)) (exp (* (sqrt (+ x 1.0)) y)) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* y y) y)) (* (cbrt (* (sqrt (+ x 1.0)) y)) (cbrt (* (sqrt (+ x 1.0)) y))) (cbrt (* (sqrt (+ x 1.0)) y)) (* (* (* (sqrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) y)) (sqrt (* (sqrt (+ x 1.0)) y)) (sqrt (* (sqrt (+ x 1.0)) y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (+ x 1.0)) (* (cbrt y) (cbrt y))) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) 1) (* (cbrt (sqrt (+ x 1.0))) y) (* (sqrt (cbrt (+ x 1.0))) y) (* (sqrt (sqrt (+ x 1.0))) y) (* (sqrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (sqrt (sqrt (+ x 1.0))) y) (* (sqrt (+ x 1.0)) y) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y) (* (sqrt (- (* x x) (* 1.0 1.0))) y) (log (sqrt (+ x 1.0))) (exp (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt 1) (sqrt (+ x 1.0)) (sqrt 1) (sqrt (+ x 1.0)) (sqrt (+ (pow x 3) (pow 1.0 3))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (- x 1.0)) (/ 1 2) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (log (sqrt (+ x 1.0))) (exp (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt 1) (sqrt (+ x 1.0)) (sqrt 1) (sqrt (+ x 1.0)) (sqrt (+ (pow x 3) (pow 1.0 3))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (- x 1.0)) (/ 1 2) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (- (+ (* 1/2 (/ (* x y) (sqrt 1.0))) (* (sqrt 1.0) y)) (* 1/8 (/ (* (pow x 2) y) (pow (sqrt 1.0) 3)))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (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)))) (* 1/8 (/ (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))))) 0.692 * [simplify]: Sending expressions to egg_math: (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0)) (+ (log (sqrt (+ h2 h1))) (+ (log (sqrt (+ h2 h1))) (log h0))) (+ (log (sqrt (+ h2 h1))) (log (* (sqrt (+ h2 h1)) h0))) (log (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0))) (exp (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0))) (* (* (* (sqrt (+ h2 h1)) (sqrt (+ h2 h1))) (sqrt (+ h2 h1))) (* (* (* (sqrt (+ h2 h1)) (sqrt (+ h2 h1))) (sqrt (+ h2 h1))) (* (* h0 h0) h0))) (* (* (* (sqrt (+ h2 h1)) (sqrt (+ h2 h1))) (sqrt (+ h2 h1))) (* (* (* (sqrt (+ h2 h1)) h0) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (+ h2 h1)) h0))) (* (cbrt (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0))) (cbrt (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0)))) (cbrt (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0))) (* (* (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0))) (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0))) (sqrt (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0))) (sqrt (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0))) (* (sqrt (+ (pow h2 3) (pow h1 3))) (* (sqrt (+ (pow h2 3) (pow h1 3))) h0)) (* (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1))))) (* (sqrt (+ (pow h2 3) (pow h1 3))) (* (sqrt (- (* h2 h2) (* h1 h1))) h0)) (* (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) (sqrt (- h2 h1))) (* (sqrt (- (* h2 h2) (* h1 h1))) (* (sqrt (+ (pow h2 3) (pow h1 3))) h0)) (* (sqrt (- h2 h1)) (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1))))) (* (sqrt (- (* h2 h2) (* h1 h1))) (* (sqrt (- (* h2 h2) (* h1 h1))) h0)) (* (sqrt (- h2 h1)) (sqrt (- h2 h1))) (* (sqrt (+ h2 h1)) (sqrt (+ h2 h1))) (* (cbrt (sqrt (+ h2 h1))) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (cbrt (+ h2 h1))) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (sqrt (+ h2 h1))) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (sqrt (+ h2 h1))) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (+ h2 h1)) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (+ h2 h1)) (* (sqrt (+ (pow h2 3) (pow h1 3))) h0)) (* (sqrt (+ h2 h1)) (* (sqrt (- (* h2 h2) (* h1 h1))) h0)) (* (sqrt (+ (pow h2 3) (pow h1 3))) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (- (* h2 h2) (* h1 h1))) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (+ h2 h1)) h0) (+ (log (sqrt (+ h2 h1))) (log h0)) (log (* (sqrt (+ h2 h1)) h0)) (exp (* (sqrt (+ h2 h1)) h0)) (* (* (* (sqrt (+ h2 h1)) (sqrt (+ h2 h1))) (sqrt (+ h2 h1))) (* (* h0 h0) h0)) (* (cbrt (* (sqrt (+ h2 h1)) h0)) (cbrt (* (sqrt (+ h2 h1)) h0))) (cbrt (* (sqrt (+ h2 h1)) h0)) (* (* (* (sqrt (+ h2 h1)) h0) (* (sqrt (+ h2 h1)) h0)) (* (sqrt (+ h2 h1)) h0)) (sqrt (* (sqrt (+ h2 h1)) h0)) (sqrt (* (sqrt (+ h2 h1)) h0)) (* (sqrt (sqrt (+ h2 h1))) (sqrt h0)) (* (sqrt (sqrt (+ h2 h1))) (sqrt h0)) (* (sqrt (sqrt (+ h2 h1))) (sqrt h0)) (* (sqrt (sqrt (+ h2 h1))) (sqrt h0)) (* (sqrt (+ h2 h1)) (* (cbrt h0) (cbrt h0))) (* (sqrt (+ h2 h1)) (sqrt h0)) (* (sqrt (+ h2 h1)) 1) (* (cbrt (sqrt (+ h2 h1))) h0) (* (sqrt (cbrt (+ h2 h1))) h0) (* (sqrt (sqrt (+ h2 h1))) h0) (* (sqrt (+ h2 h1)) h0) (* (sqrt (+ h2 h1)) h0) (* (sqrt (sqrt (+ h2 h1))) h0) (* (sqrt (+ h2 h1)) h0) (* (sqrt (+ (pow h2 3) (pow h1 3))) h0) (* (sqrt (- (* h2 h2) (* h1 h1))) h0) (log (sqrt (+ h2 h1))) (exp (sqrt (+ h2 h1))) (* (cbrt (sqrt (+ h2 h1))) (cbrt (sqrt (+ h2 h1)))) (cbrt (sqrt (+ h2 h1))) (* (* (sqrt (+ h2 h1)) (sqrt (+ h2 h1))) (sqrt (+ h2 h1))) (sqrt (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1)))) (sqrt (cbrt (+ h2 h1))) (sqrt (sqrt (+ h2 h1))) (sqrt (sqrt (+ h2 h1))) (sqrt 1) (sqrt (+ h2 h1)) (sqrt 1) (sqrt (+ h2 h1)) (sqrt (+ (pow h2 3) (pow h1 3))) (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) (sqrt (- (* h2 h2) (* h1 h1))) (sqrt (- h2 h1)) (/ 1 2) (sqrt (sqrt (+ h2 h1))) (sqrt (sqrt (+ h2 h1))) (log (sqrt (+ h2 h1))) (exp (sqrt (+ h2 h1))) (* (cbrt (sqrt (+ h2 h1))) (cbrt (sqrt (+ h2 h1)))) (cbrt (sqrt (+ h2 h1))) (* (* (sqrt (+ h2 h1)) (sqrt (+ h2 h1))) (sqrt (+ h2 h1))) (sqrt (* (cbrt (+ h2 h1)) (cbrt (+ h2 h1)))) (sqrt (cbrt (+ h2 h1))) (sqrt (sqrt (+ h2 h1))) (sqrt (sqrt (+ h2 h1))) (sqrt 1) (sqrt (+ h2 h1)) (sqrt 1) (sqrt (+ h2 h1)) (sqrt (+ (pow h2 3) (pow h1 3))) (sqrt (+ (* h2 h2) (- (* h1 h1) (* h2 h1)))) (sqrt (- (* h2 h2) (* h1 h1))) (sqrt (- h2 h1)) (/ 1 2) (sqrt (sqrt (+ h2 h1))) (sqrt (sqrt (+ h2 h1))) (+ (* h1 h0) (* h2 h0)) (+ (* h1 h0) (* h2 h0)) (+ (* h1 h0) (* h2 h0)) (- (+ (* 1/2 (/ (* h2 h0) (sqrt h1))) (* (sqrt h1) h0)) (* 1/8 (/ (* (pow h2 2) h0) (pow (sqrt h1) 3)))) (- (+ (* h3 (/ h0 (pow h2 2))) (- (+ (* h3 (/ h0 h2)) (- (* h3 h0)))))) (- (+ (* h3 (/ h0 (pow h2 2))) (- (+ (* h3 (/ h0 h2)) (- (* h3 h0)))))) (- (+ (sqrt h1) (* 1/2 (/ h2 (sqrt h1)))) (* 1/8 (/ (pow h2 2) (pow (sqrt h1) 3)))) (- (+ (* h3 (/ 1 (pow h2 2))) (- (+ (* h3 (/ 1 h2)) (- h3))))) (- (+ (* h3 (/ 1 (pow h2 2))) (- (+ (* h3 (/ 1 h2)) (- h3))))) (- (+ (sqrt h1) (* 1/2 (/ h2 (sqrt h1)))) (* 1/8 (/ (pow h2 2) (pow (sqrt h1) 3)))) (- (+ (* h3 (/ 1 (pow h2 2))) (- (+ (* h3 (/ 1 h2)) (- h3))))) (- (+ (* h3 (/ 1 (pow h2 2))) (- (+ (* h3 (/ 1 h2)) (- h3))))) 0.773 * * * [progress]: adding candidates to table 1.020 * [progress]: [Phase 3 of 3] Extracting. 1.020 * * [regime]: Finding splitpoints for: (# #) 1.021 * * * [regime-changes]: Trying 3 branch expressions: ((- (* (+ x 1.0) y) x) y x) 1.021 * * * * [regimes]: Trying to branch on (- (* (+ x 1.0) y) x) from (# #) 1.034 * * * * [regimes]: Trying to branch on y from (# #) 1.048 * * * * [regimes]: Trying to branch on x from (# #) 1.060 * * * [regime]: Found split indices: #