19.980 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying:
  (+ (* x y) (* (- x 1.0) z))
0.031 * * [simplify]: iteration 0: 8 enodes
0.034 * * [simplify]: iteration 1: 13 enodes
0.038 * * [simplify]: iteration 2: 20 enodes
0.043 * * [simplify]: iteration 3: 34 enodes
0.048 * * [simplify]: iteration 4: 55 enodes
0.055 * * [simplify]: iteration 5: 65 enodes
0.061 * * [simplify]: iteration 6: 71 enodes
0.074 * * [simplify]: iteration 7: 88 enodes
0.094 * * [simplify]: iteration 8: 122 enodes
0.133 * * [simplify]: iteration 9: 305 enodes
0.242 * * [simplify]: iteration 10: 1249 enodes
0.897 * * [simplify]: iteration complete: 5000 enodes
0.897 * * [simplify]: Extracting #0: cost 1 inf + 0
0.898 * * [simplify]: Extracting #1: cost 504 inf + 0
0.902 * * [simplify]: Extracting #2: cost 2126 inf + 0
0.911 * * [simplify]: Extracting #3: cost 1881 inf + 13535
0.957 * * [simplify]: Extracting #4: cost 822 inf + 139344
1.052 * * [simplify]: Extracting #5: cost 67 inf + 285445
1.148 * * [simplify]: Extracting #6: cost 0 inf + 303189
1.231 * [simplify]: Simplified to:
  (- (* x (+ y z)) (* 1.0 z))
1.232 * * [progress]: iteration 1 / 4
1.232 * * * [progress]: picking best candidate
1.236 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (* (- x 1.0) z)))>
1.236 * * * [progress]: localizing error
1.246 * * * [progress]: generating rewritten candidates
1.246 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.270 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.285 * * * [progress]: generating series expansions
1.285 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.285 * [backup-simplify]: Simplify (* (- x 1.0) z) into (* (- x 1.0) z)
1.285 * [approximate]: Taking taylor expansion of (* (- x 1.0) z) in (x z) around 0
1.285 * [taylor]: Taking taylor expansion of (* (- x 1.0) z) in z
1.285 * [taylor]: Taking taylor expansion of (- x 1.0) in z
1.285 * [taylor]: Taking taylor expansion of x in z
1.285 * [backup-simplify]: Simplify x into x
1.285 * [taylor]: Taking taylor expansion of 1.0 in z
1.285 * [backup-simplify]: Simplify 1.0 into 1.0
1.285 * [taylor]: Taking taylor expansion of z in z
1.285 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify 1 into 1
1.285 * [taylor]: Taking taylor expansion of (* (- x 1.0) z) in x
1.285 * [taylor]: Taking taylor expansion of (- x 1.0) in x
1.285 * [taylor]: Taking taylor expansion of x in x
1.285 * [backup-simplify]: Simplify 0 into 0
1.285 * [backup-simplify]: Simplify 1 into 1
1.285 * [taylor]: Taking taylor expansion of 1.0 in x
1.285 * [backup-simplify]: Simplify 1.0 into 1.0
1.285 * [taylor]: Taking taylor expansion of z in x
1.285 * [backup-simplify]: Simplify z into z
1.285 * [taylor]: Taking taylor expansion of (* (- x 1.0) z) in x
1.285 * [taylor]: Taking taylor expansion of (- x 1.0) in x
1.285 * [taylor]: Taking taylor expansion of x in x
1.286 * [backup-simplify]: Simplify 0 into 0
1.286 * [backup-simplify]: Simplify 1 into 1
1.286 * [taylor]: Taking taylor expansion of 1.0 in x
1.286 * [backup-simplify]: Simplify 1.0 into 1.0
1.286 * [taylor]: Taking taylor expansion of z in x
1.286 * [backup-simplify]: Simplify z into z
1.286 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.287 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
1.288 * [backup-simplify]: Simplify (* (- 1.0) z) into (* -1.0 z)
1.288 * [taylor]: Taking taylor expansion of (* -1.0 z) in z
1.288 * [taylor]: Taking taylor expansion of -1.0 in z
1.288 * [backup-simplify]: Simplify -1.0 into -1.0
1.288 * [taylor]: Taking taylor expansion of z in z
1.288 * [backup-simplify]: Simplify 0 into 0
1.288 * [backup-simplify]: Simplify 1 into 1
1.288 * [backup-simplify]: Simplify (* -1.0 0) into 0
1.288 * [backup-simplify]: Simplify 0 into 0
1.289 * [backup-simplify]: Simplify (- 0) into 0
1.289 * [backup-simplify]: Simplify (+ 1 0) into 1
1.290 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (* 1 z)) into z
1.290 * [taylor]: Taking taylor expansion of z in z
1.290 * [backup-simplify]: Simplify 0 into 0
1.290 * [backup-simplify]: Simplify 1 into 1
1.290 * [backup-simplify]: Simplify 0 into 0
1.291 * [backup-simplify]: Simplify (+ (* -1.0 1) (* 0 0)) into (- 1.0)
1.292 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.292 * [backup-simplify]: Simplify (- 0) into 0
1.293 * [backup-simplify]: Simplify (+ 0 0) into 0
1.293 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (* 0 z))) into 0
1.294 * [taylor]: Taking taylor expansion of 0 in z
1.294 * [backup-simplify]: Simplify 0 into 0
1.294 * [backup-simplify]: Simplify 0 into 0
1.294 * [backup-simplify]: Simplify 1 into 1
1.295 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 1) (* 0 0))) into 0
1.295 * [backup-simplify]: Simplify 0 into 0
1.295 * [backup-simplify]: Simplify (- 0) into 0
1.296 * [backup-simplify]: Simplify (+ 0 0) into 0
1.297 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
1.297 * [taylor]: Taking taylor expansion of 0 in z
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [backup-simplify]: Simplify 0 into 0
1.297 * [backup-simplify]: Simplify 0 into 0
1.298 * [backup-simplify]: Simplify (+ (* -1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.299 * [backup-simplify]: Simplify 0 into 0
1.299 * [backup-simplify]: Simplify (- 0) into 0
1.299 * [backup-simplify]: Simplify (+ 0 0) into 0
1.301 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0
1.301 * [taylor]: Taking taylor expansion of 0 in z
1.301 * [backup-simplify]: Simplify 0 into 0
1.301 * [backup-simplify]: Simplify 0 into 0
1.302 * [backup-simplify]: Simplify (+ (* 1 (* z x)) (* (- 1.0) (* z 1))) into (- (* x z) (* 1.0 z))
1.302 * [backup-simplify]: Simplify (* (- (/ 1 x) 1.0) (/ 1 z)) into (/ (- (/ 1 x) 1.0) z)
1.302 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) z) in (x z) around 0
1.302 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) z) in z
1.302 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in z
1.302 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.302 * [taylor]: Taking taylor expansion of x in z
1.302 * [backup-simplify]: Simplify x into x
1.302 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.302 * [taylor]: Taking taylor expansion of 1.0 in z
1.302 * [backup-simplify]: Simplify 1.0 into 1.0
1.303 * [taylor]: Taking taylor expansion of z in z
1.303 * [backup-simplify]: Simplify 0 into 0
1.303 * [backup-simplify]: Simplify 1 into 1
1.303 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.304 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
1.304 * [backup-simplify]: Simplify (/ (- (/ 1 x) 1.0) 1) into (- (/ 1 x) 1.0)
1.304 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) z) in x
1.304 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
1.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.304 * [taylor]: Taking taylor expansion of x in x
1.304 * [backup-simplify]: Simplify 0 into 0
1.304 * [backup-simplify]: Simplify 1 into 1
1.304 * [backup-simplify]: Simplify (/ 1 1) into 1
1.304 * [taylor]: Taking taylor expansion of 1.0 in x
1.304 * [backup-simplify]: Simplify 1.0 into 1.0
1.304 * [taylor]: Taking taylor expansion of z in x
1.304 * [backup-simplify]: Simplify z into z
1.305 * [backup-simplify]: Simplify (+ 1 0) into 1
1.305 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.305 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1.0) z) in x
1.305 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
1.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.305 * [taylor]: Taking taylor expansion of x in x
1.305 * [backup-simplify]: Simplify 0 into 0
1.305 * [backup-simplify]: Simplify 1 into 1
1.306 * [backup-simplify]: Simplify (/ 1 1) into 1
1.306 * [taylor]: Taking taylor expansion of 1.0 in x
1.306 * [backup-simplify]: Simplify 1.0 into 1.0
1.306 * [taylor]: Taking taylor expansion of z in x
1.306 * [backup-simplify]: Simplify z into z
1.306 * [backup-simplify]: Simplify (+ 1 0) into 1
1.306 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.306 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.306 * [taylor]: Taking taylor expansion of z in z
1.306 * [backup-simplify]: Simplify 0 into 0
1.306 * [backup-simplify]: Simplify 1 into 1
1.307 * [backup-simplify]: Simplify (/ 1 1) into 1
1.307 * [backup-simplify]: Simplify 1 into 1
1.308 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.308 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.316 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
1.316 * [backup-simplify]: Simplify (- (/ (- 1.0) z) (+ (* (/ 1 z) (/ 0 z)))) into (- (* 1.0 (/ 1 z)))
1.316 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
1.316 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.316 * [taylor]: Taking taylor expansion of 1.0 in z
1.317 * [backup-simplify]: Simplify 1.0 into 1.0
1.317 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.317 * [taylor]: Taking taylor expansion of z in z
1.317 * [backup-simplify]: Simplify 0 into 0
1.317 * [backup-simplify]: Simplify 1 into 1
1.317 * [backup-simplify]: Simplify (/ 1 1) into 1
1.318 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
1.318 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.319 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.319 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.319 * [backup-simplify]: Simplify 0 into 0
1.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.321 * [backup-simplify]: Simplify (- 0) into 0
1.321 * [backup-simplify]: Simplify (+ 0 0) into 0
1.322 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (- (* 1.0 (/ 1 z))) (/ 0 z)))) into 0
1.322 * [taylor]: Taking taylor expansion of 0 in z
1.322 * [backup-simplify]: Simplify 0 into 0
1.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.324 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
1.324 * [backup-simplify]: Simplify (- 0) into 0
1.324 * [backup-simplify]: Simplify 0 into 0
1.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.325 * [backup-simplify]: Simplify 0 into 0
1.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.327 * [backup-simplify]: Simplify (- 0) into 0
1.327 * [backup-simplify]: Simplify (+ 0 0) into 0
1.328 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (- (* 1.0 (/ 1 z))) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.328 * [taylor]: Taking taylor expansion of 0 in z
1.328 * [backup-simplify]: Simplify 0 into 0
1.328 * [backup-simplify]: Simplify 0 into 0
1.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.330 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
1.331 * [backup-simplify]: Simplify (- 0) into 0
1.331 * [backup-simplify]: Simplify 0 into 0
1.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.332 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 z)) 1)) (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 x))))) into (- (* x z) (* 1.0 z))
1.333 * [backup-simplify]: Simplify (* (- (/ 1 (- x)) 1.0) (/ 1 (- z))) into (/ (+ (/ 1 x) 1.0) z)
1.333 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in (x z) around 0
1.333 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z
1.333 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z
1.333 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.333 * [taylor]: Taking taylor expansion of x in z
1.333 * [backup-simplify]: Simplify x into x
1.333 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.333 * [taylor]: Taking taylor expansion of 1.0 in z
1.333 * [backup-simplify]: Simplify 1.0 into 1.0
1.333 * [taylor]: Taking taylor expansion of z in z
1.333 * [backup-simplify]: Simplify 0 into 0
1.333 * [backup-simplify]: Simplify 1 into 1
1.333 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
1.334 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0)
1.334 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x
1.334 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.334 * [taylor]: Taking taylor expansion of x in x
1.334 * [backup-simplify]: Simplify 0 into 0
1.334 * [backup-simplify]: Simplify 1 into 1
1.334 * [backup-simplify]: Simplify (/ 1 1) into 1
1.334 * [taylor]: Taking taylor expansion of 1.0 in x
1.334 * [backup-simplify]: Simplify 1.0 into 1.0
1.334 * [taylor]: Taking taylor expansion of z in x
1.334 * [backup-simplify]: Simplify z into z
1.335 * [backup-simplify]: Simplify (+ 1 0) into 1
1.335 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.335 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x
1.335 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
1.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.335 * [taylor]: Taking taylor expansion of x in x
1.335 * [backup-simplify]: Simplify 0 into 0
1.335 * [backup-simplify]: Simplify 1 into 1
1.335 * [backup-simplify]: Simplify (/ 1 1) into 1
1.336 * [taylor]: Taking taylor expansion of 1.0 in x
1.336 * [backup-simplify]: Simplify 1.0 into 1.0
1.336 * [taylor]: Taking taylor expansion of z in x
1.336 * [backup-simplify]: Simplify z into z
1.336 * [backup-simplify]: Simplify (+ 1 0) into 1
1.336 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.336 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.336 * [taylor]: Taking taylor expansion of z in z
1.336 * [backup-simplify]: Simplify 0 into 0
1.336 * [backup-simplify]: Simplify 1 into 1
1.337 * [backup-simplify]: Simplify (/ 1 1) into 1
1.337 * [backup-simplify]: Simplify 1 into 1
1.338 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.338 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
1.338 * [backup-simplify]: Simplify (- (/ 1.0 z) (+ (* (/ 1 z) (/ 0 z)))) into (* 1.0 (/ 1 z))
1.338 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.338 * [taylor]: Taking taylor expansion of 1.0 in z
1.338 * [backup-simplify]: Simplify 1.0 into 1.0
1.338 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.338 * [taylor]: Taking taylor expansion of z in z
1.338 * [backup-simplify]: Simplify 0 into 0
1.338 * [backup-simplify]: Simplify 1 into 1
1.339 * [backup-simplify]: Simplify (/ 1 1) into 1
1.339 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
1.339 * [backup-simplify]: Simplify 1.0 into 1.0
1.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.340 * [backup-simplify]: Simplify 0 into 0
1.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.342 * [backup-simplify]: Simplify (+ 0 0) into 0
1.342 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)))) into 0
1.342 * [taylor]: Taking taylor expansion of 0 in z
1.342 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.344 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
1.344 * [backup-simplify]: Simplify 0 into 0
1.344 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.345 * [backup-simplify]: Simplify 0 into 0
1.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.346 * [backup-simplify]: Simplify (+ 0 0) into 0
1.346 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* (* 1.0 (/ 1 z)) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.346 * [taylor]: Taking taylor expansion of 0 in z
1.346 * [backup-simplify]: Simplify 0 into 0
1.346 * [backup-simplify]: Simplify 0 into 0
1.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.348 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
1.348 * [backup-simplify]: Simplify 0 into 0
1.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.349 * [backup-simplify]: Simplify 0 into 0
1.350 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 (- z))) 1)) (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- x)))))) into (- (* x z) (* 1.0 z))
1.350 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.350 * [backup-simplify]: Simplify (+ (* x y) (* (- x 1.0) z)) into (- (+ (* x z) (* x y)) (* 1.0 z))
1.350 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in (x y z) around 0
1.350 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in z
1.350 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in z
1.350 * [taylor]: Taking taylor expansion of (* x z) in z
1.350 * [taylor]: Taking taylor expansion of x in z
1.350 * [backup-simplify]: Simplify x into x
1.350 * [taylor]: Taking taylor expansion of z in z
1.350 * [backup-simplify]: Simplify 0 into 0
1.350 * [backup-simplify]: Simplify 1 into 1
1.350 * [taylor]: Taking taylor expansion of (* x y) in z
1.350 * [taylor]: Taking taylor expansion of x in z
1.350 * [backup-simplify]: Simplify x into x
1.350 * [taylor]: Taking taylor expansion of y in z
1.350 * [backup-simplify]: Simplify y into y
1.350 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
1.351 * [taylor]: Taking taylor expansion of 1.0 in z
1.351 * [backup-simplify]: Simplify 1.0 into 1.0
1.351 * [taylor]: Taking taylor expansion of z in z
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in y
1.351 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in y
1.351 * [taylor]: Taking taylor expansion of (* x z) in y
1.351 * [taylor]: Taking taylor expansion of x in y
1.351 * [backup-simplify]: Simplify x into x
1.351 * [taylor]: Taking taylor expansion of z in y
1.351 * [backup-simplify]: Simplify z into z
1.351 * [taylor]: Taking taylor expansion of (* x y) in y
1.351 * [taylor]: Taking taylor expansion of x in y
1.351 * [backup-simplify]: Simplify x into x
1.351 * [taylor]: Taking taylor expansion of y in y
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
1.351 * [taylor]: Taking taylor expansion of 1.0 in y
1.351 * [backup-simplify]: Simplify 1.0 into 1.0
1.351 * [taylor]: Taking taylor expansion of z in y
1.351 * [backup-simplify]: Simplify z into z
1.351 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in x
1.351 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x
1.351 * [taylor]: Taking taylor expansion of (* x z) in x
1.351 * [taylor]: Taking taylor expansion of x in x
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [taylor]: Taking taylor expansion of z in x
1.351 * [backup-simplify]: Simplify z into z
1.351 * [taylor]: Taking taylor expansion of (* x y) in x
1.351 * [taylor]: Taking taylor expansion of x in x
1.351 * [backup-simplify]: Simplify 0 into 0
1.351 * [backup-simplify]: Simplify 1 into 1
1.351 * [taylor]: Taking taylor expansion of y in x
1.352 * [backup-simplify]: Simplify y into y
1.352 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
1.352 * [taylor]: Taking taylor expansion of 1.0 in x
1.352 * [backup-simplify]: Simplify 1.0 into 1.0
1.352 * [taylor]: Taking taylor expansion of z in x
1.352 * [backup-simplify]: Simplify z into z
1.352 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* x y)) (* 1.0 z)) in x
1.352 * [taylor]: Taking taylor expansion of (+ (* x z) (* x y)) in x
1.352 * [taylor]: Taking taylor expansion of (* x z) in x
1.352 * [taylor]: Taking taylor expansion of x in x
1.352 * [backup-simplify]: Simplify 0 into 0
1.352 * [backup-simplify]: Simplify 1 into 1
1.352 * [taylor]: Taking taylor expansion of z in x
1.352 * [backup-simplify]: Simplify z into z
1.352 * [taylor]: Taking taylor expansion of (* x y) in x
1.352 * [taylor]: Taking taylor expansion of x in x
1.352 * [backup-simplify]: Simplify 0 into 0
1.352 * [backup-simplify]: Simplify 1 into 1
1.352 * [taylor]: Taking taylor expansion of y in x
1.352 * [backup-simplify]: Simplify y into y
1.352 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
1.352 * [taylor]: Taking taylor expansion of 1.0 in x
1.352 * [backup-simplify]: Simplify 1.0 into 1.0
1.352 * [taylor]: Taking taylor expansion of z in x
1.352 * [backup-simplify]: Simplify z into z
1.352 * [backup-simplify]: Simplify (* 0 z) into 0
1.352 * [backup-simplify]: Simplify (* 0 y) into 0
1.353 * [backup-simplify]: Simplify (+ 0 0) into 0
1.353 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
1.353 * [backup-simplify]: Simplify (- (* 1.0 z)) into (- (* 1.0 z))
1.353 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 z))) into (- (* 1.0 z))
1.354 * [taylor]: Taking taylor expansion of (- (* 1.0 z)) in y
1.354 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
1.354 * [taylor]: Taking taylor expansion of 1.0 in y
1.354 * [backup-simplify]: Simplify 1.0 into 1.0
1.354 * [taylor]: Taking taylor expansion of z in y
1.354 * [backup-simplify]: Simplify z into z
1.354 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
1.354 * [backup-simplify]: Simplify (- (* 1.0 z)) into (- (* 1.0 z))
1.354 * [taylor]: Taking taylor expansion of (- (* 1.0 z)) in z
1.354 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
1.354 * [taylor]: Taking taylor expansion of 1.0 in z
1.354 * [backup-simplify]: Simplify 1.0 into 1.0
1.354 * [taylor]: Taking taylor expansion of z in z
1.354 * [backup-simplify]: Simplify 0 into 0
1.354 * [backup-simplify]: Simplify 1 into 1
1.355 * [backup-simplify]: Simplify (* 1.0 0) into 0
1.355 * [backup-simplify]: Simplify (- 0) into 0
1.355 * [backup-simplify]: Simplify 0 into 0
1.356 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.356 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.356 * [backup-simplify]: Simplify (+ z y) into (+ z y)
1.357 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
1.357 * [backup-simplify]: Simplify (- 0) into 0
1.357 * [backup-simplify]: Simplify (+ (+ z y) 0) into (+ z y)
1.357 * [taylor]: Taking taylor expansion of (+ z y) in y
1.357 * [taylor]: Taking taylor expansion of z in y
1.357 * [backup-simplify]: Simplify z into z
1.357 * [taylor]: Taking taylor expansion of y in y
1.357 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify 1 into 1
1.358 * [backup-simplify]: Simplify (+ z 0) into z
1.358 * [taylor]: Taking taylor expansion of z in z
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify 1 into 1
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
1.359 * [backup-simplify]: Simplify (- 0) into 0
1.359 * [taylor]: Taking taylor expansion of 0 in z
1.359 * [backup-simplify]: Simplify 0 into 0
1.359 * [backup-simplify]: Simplify 0 into 0
1.360 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
1.361 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.361 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.362 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
1.363 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.363 * [backup-simplify]: Simplify (+ 0 0) into 0
1.364 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
1.365 * [backup-simplify]: Simplify (- 0) into 0
1.365 * [backup-simplify]: Simplify (+ 0 0) into 0
1.365 * [taylor]: Taking taylor expansion of 0 in y
1.365 * [backup-simplify]: Simplify 0 into 0
1.365 * [taylor]: Taking taylor expansion of 0 in z
1.365 * [backup-simplify]: Simplify 0 into 0
1.365 * [backup-simplify]: Simplify 0 into 0
1.366 * [backup-simplify]: Simplify (+ 0 1) into 1
1.366 * [taylor]: Taking taylor expansion of 1 in z
1.366 * [backup-simplify]: Simplify 1 into 1
1.366 * [backup-simplify]: Simplify 1 into 1
1.367 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
1.367 * [backup-simplify]: Simplify (- 0) into 0
1.367 * [taylor]: Taking taylor expansion of 0 in z
1.367 * [backup-simplify]: Simplify 0 into 0
1.367 * [backup-simplify]: Simplify 0 into 0
1.367 * [backup-simplify]: Simplify 1 into 1
1.369 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (+ (* 1 (* 1 (* y x))) (* (- 1.0) (* z (* 1 1))))) into (- (+ (* x y) (* x z)) (* 1.0 z))
1.369 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 y)) (* (- (/ 1 x) 1.0) (/ 1 z))) into (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z)))
1.369 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in (x y z) around 0
1.369 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in z
1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z
1.369 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.369 * [taylor]: Taking taylor expansion of (* x z) in z
1.369 * [taylor]: Taking taylor expansion of x in z
1.369 * [backup-simplify]: Simplify x into x
1.369 * [taylor]: Taking taylor expansion of z in z
1.369 * [backup-simplify]: Simplify 0 into 0
1.369 * [backup-simplify]: Simplify 1 into 1
1.369 * [backup-simplify]: Simplify (* x 0) into 0
1.370 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.370 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.370 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.370 * [taylor]: Taking taylor expansion of (* x y) in z
1.370 * [taylor]: Taking taylor expansion of x in z
1.370 * [backup-simplify]: Simplify x into x
1.370 * [taylor]: Taking taylor expansion of y in z
1.370 * [backup-simplify]: Simplify y into y
1.370 * [backup-simplify]: Simplify (* x y) into (* x y)
1.370 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.370 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.370 * [taylor]: Taking taylor expansion of 1.0 in z
1.370 * [backup-simplify]: Simplify 1.0 into 1.0
1.370 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.370 * [taylor]: Taking taylor expansion of z in z
1.370 * [backup-simplify]: Simplify 0 into 0
1.370 * [backup-simplify]: Simplify 1 into 1
1.371 * [backup-simplify]: Simplify (/ 1 1) into 1
1.371 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in y
1.371 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
1.371 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.371 * [taylor]: Taking taylor expansion of (* x z) in y
1.371 * [taylor]: Taking taylor expansion of x in y
1.371 * [backup-simplify]: Simplify x into x
1.371 * [taylor]: Taking taylor expansion of z in y
1.371 * [backup-simplify]: Simplify z into z
1.371 * [backup-simplify]: Simplify (* x z) into (* x z)
1.371 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.371 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.371 * [taylor]: Taking taylor expansion of (* x y) in y
1.371 * [taylor]: Taking taylor expansion of x in y
1.371 * [backup-simplify]: Simplify x into x
1.371 * [taylor]: Taking taylor expansion of y in y
1.371 * [backup-simplify]: Simplify 0 into 0
1.371 * [backup-simplify]: Simplify 1 into 1
1.371 * [backup-simplify]: Simplify (* x 0) into 0
1.372 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.372 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.372 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
1.372 * [taylor]: Taking taylor expansion of 1.0 in y
1.372 * [backup-simplify]: Simplify 1.0 into 1.0
1.372 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.372 * [taylor]: Taking taylor expansion of z in y
1.372 * [backup-simplify]: Simplify z into z
1.372 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.372 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in x
1.372 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
1.372 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.372 * [taylor]: Taking taylor expansion of (* x z) in x
1.372 * [taylor]: Taking taylor expansion of x in x
1.372 * [backup-simplify]: Simplify 0 into 0
1.372 * [backup-simplify]: Simplify 1 into 1
1.372 * [taylor]: Taking taylor expansion of z in x
1.373 * [backup-simplify]: Simplify z into z
1.373 * [backup-simplify]: Simplify (* 0 z) into 0
1.373 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.373 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.373 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.373 * [taylor]: Taking taylor expansion of (* x y) in x
1.373 * [taylor]: Taking taylor expansion of x in x
1.373 * [backup-simplify]: Simplify 0 into 0
1.373 * [backup-simplify]: Simplify 1 into 1
1.373 * [taylor]: Taking taylor expansion of y in x
1.373 * [backup-simplify]: Simplify y into y
1.373 * [backup-simplify]: Simplify (* 0 y) into 0
1.374 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.374 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.374 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
1.374 * [taylor]: Taking taylor expansion of 1.0 in x
1.374 * [backup-simplify]: Simplify 1.0 into 1.0
1.374 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.374 * [taylor]: Taking taylor expansion of z in x
1.374 * [backup-simplify]: Simplify z into z
1.374 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.374 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in x
1.374 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
1.374 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.374 * [taylor]: Taking taylor expansion of (* x z) in x
1.374 * [taylor]: Taking taylor expansion of x in x
1.374 * [backup-simplify]: Simplify 0 into 0
1.374 * [backup-simplify]: Simplify 1 into 1
1.374 * [taylor]: Taking taylor expansion of z in x
1.374 * [backup-simplify]: Simplify z into z
1.374 * [backup-simplify]: Simplify (* 0 z) into 0
1.375 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.375 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.375 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.375 * [taylor]: Taking taylor expansion of (* x y) in x
1.375 * [taylor]: Taking taylor expansion of x in x
1.375 * [backup-simplify]: Simplify 0 into 0
1.375 * [backup-simplify]: Simplify 1 into 1
1.375 * [taylor]: Taking taylor expansion of y in x
1.375 * [backup-simplify]: Simplify y into y
1.375 * [backup-simplify]: Simplify (* 0 y) into 0
1.376 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.376 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.376 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
1.376 * [taylor]: Taking taylor expansion of 1.0 in x
1.376 * [backup-simplify]: Simplify 1.0 into 1.0
1.376 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.376 * [taylor]: Taking taylor expansion of z in x
1.376 * [backup-simplify]: Simplify z into z
1.376 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.376 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.376 * [backup-simplify]: Simplify (+ (+ (/ 1 y) (/ 1 z)) 0) into (+ (/ 1 y) (/ 1 z))
1.376 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.377 * [taylor]: Taking taylor expansion of y in y
1.377 * [backup-simplify]: Simplify 0 into 0
1.377 * [backup-simplify]: Simplify 1 into 1
1.377 * [backup-simplify]: Simplify (/ 1 1) into 1
1.377 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.377 * [taylor]: Taking taylor expansion of z in y
1.377 * [backup-simplify]: Simplify z into z
1.377 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.378 * [backup-simplify]: Simplify (+ 1 0) into 1
1.378 * [taylor]: Taking taylor expansion of 1 in z
1.378 * [backup-simplify]: Simplify 1 into 1
1.379 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
1.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.380 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.380 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.380 * [backup-simplify]: Simplify (+ 0 0) into 0
1.381 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
1.381 * [backup-simplify]: Simplify (- (/ 1.0 z)) into (- (* 1.0 (/ 1 z)))
1.381 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (/ 1 z)))) into (- (* 1.0 (/ 1 z)))
1.381 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in y
1.381 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
1.381 * [taylor]: Taking taylor expansion of 1.0 in y
1.381 * [backup-simplify]: Simplify 1.0 into 1.0
1.381 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.381 * [taylor]: Taking taylor expansion of z in y
1.381 * [backup-simplify]: Simplify z into z
1.381 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.382 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.382 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.382 * [taylor]: Taking taylor expansion of z in z
1.382 * [backup-simplify]: Simplify 0 into 0
1.382 * [backup-simplify]: Simplify 1 into 1
1.383 * [backup-simplify]: Simplify (/ 1 1) into 1
1.383 * [backup-simplify]: Simplify 1 into 1
1.383 * [backup-simplify]: Simplify 1 into 1
1.384 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
1.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.385 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.386 * [backup-simplify]: Simplify (+ 0 0) into 0
1.386 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.387 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 z))) into 0
1.387 * [backup-simplify]: Simplify (- 0) into 0
1.387 * [backup-simplify]: Simplify (+ 0 0) into 0
1.387 * [taylor]: Taking taylor expansion of 0 in y
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
1.388 * [backup-simplify]: Simplify (- (/ 1.0 z)) into (- (* 1.0 (/ 1 z)))
1.388 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
1.388 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.388 * [taylor]: Taking taylor expansion of 1.0 in z
1.388 * [backup-simplify]: Simplify 1.0 into 1.0
1.388 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.388 * [taylor]: Taking taylor expansion of z in z
1.388 * [backup-simplify]: Simplify 0 into 0
1.388 * [backup-simplify]: Simplify 1 into 1
1.388 * [backup-simplify]: Simplify (/ 1 1) into 1
1.389 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
1.389 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.389 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
1.391 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 z)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))))) into (- (+ (* x y) (* x z)) (* 1.0 z))
1.391 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- y))) (* (- (/ 1 (- x)) 1.0) (/ 1 (- z)))) into (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))))
1.391 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in (x y z) around 0
1.391 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in z
1.391 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.391 * [taylor]: Taking taylor expansion of (* x z) in z
1.391 * [taylor]: Taking taylor expansion of x in z
1.391 * [backup-simplify]: Simplify x into x
1.391 * [taylor]: Taking taylor expansion of z in z
1.391 * [backup-simplify]: Simplify 0 into 0
1.391 * [backup-simplify]: Simplify 1 into 1
1.391 * [backup-simplify]: Simplify (* x 0) into 0
1.392 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.392 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.392 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in z
1.392 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.392 * [taylor]: Taking taylor expansion of (* x y) in z
1.392 * [taylor]: Taking taylor expansion of x in z
1.392 * [backup-simplify]: Simplify x into x
1.392 * [taylor]: Taking taylor expansion of y in z
1.392 * [backup-simplify]: Simplify y into y
1.392 * [backup-simplify]: Simplify (* x y) into (* x y)
1.392 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.392 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
1.392 * [taylor]: Taking taylor expansion of 1.0 in z
1.392 * [backup-simplify]: Simplify 1.0 into 1.0
1.393 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.393 * [taylor]: Taking taylor expansion of z in z
1.393 * [backup-simplify]: Simplify 0 into 0
1.393 * [backup-simplify]: Simplify 1 into 1
1.393 * [backup-simplify]: Simplify (/ 1 1) into 1
1.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in y
1.393 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.393 * [taylor]: Taking taylor expansion of (* x z) in y
1.393 * [taylor]: Taking taylor expansion of x in y
1.393 * [backup-simplify]: Simplify x into x
1.393 * [taylor]: Taking taylor expansion of z in y
1.393 * [backup-simplify]: Simplify z into z
1.393 * [backup-simplify]: Simplify (* x z) into (* x z)
1.393 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in y
1.393 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.393 * [taylor]: Taking taylor expansion of (* x y) in y
1.394 * [taylor]: Taking taylor expansion of x in y
1.394 * [backup-simplify]: Simplify x into x
1.394 * [taylor]: Taking taylor expansion of y in y
1.394 * [backup-simplify]: Simplify 0 into 0
1.394 * [backup-simplify]: Simplify 1 into 1
1.394 * [backup-simplify]: Simplify (* x 0) into 0
1.394 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.394 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.394 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
1.394 * [taylor]: Taking taylor expansion of 1.0 in y
1.394 * [backup-simplify]: Simplify 1.0 into 1.0
1.394 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.394 * [taylor]: Taking taylor expansion of z in y
1.394 * [backup-simplify]: Simplify z into z
1.394 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.394 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in x
1.394 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.394 * [taylor]: Taking taylor expansion of (* x z) in x
1.395 * [taylor]: Taking taylor expansion of x in x
1.395 * [backup-simplify]: Simplify 0 into 0
1.395 * [backup-simplify]: Simplify 1 into 1
1.395 * [taylor]: Taking taylor expansion of z in x
1.395 * [backup-simplify]: Simplify z into z
1.395 * [backup-simplify]: Simplify (* 0 z) into 0
1.395 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.395 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.395 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in x
1.395 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.395 * [taylor]: Taking taylor expansion of (* x y) in x
1.395 * [taylor]: Taking taylor expansion of x in x
1.395 * [backup-simplify]: Simplify 0 into 0
1.395 * [backup-simplify]: Simplify 1 into 1
1.395 * [taylor]: Taking taylor expansion of y in x
1.395 * [backup-simplify]: Simplify y into y
1.395 * [backup-simplify]: Simplify (* 0 y) into 0
1.396 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.396 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.396 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
1.396 * [taylor]: Taking taylor expansion of 1.0 in x
1.396 * [backup-simplify]: Simplify 1.0 into 1.0
1.396 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.396 * [taylor]: Taking taylor expansion of z in x
1.396 * [backup-simplify]: Simplify z into z
1.396 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.396 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in x
1.396 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.396 * [taylor]: Taking taylor expansion of (* x z) in x
1.396 * [taylor]: Taking taylor expansion of x in x
1.396 * [backup-simplify]: Simplify 0 into 0
1.396 * [backup-simplify]: Simplify 1 into 1
1.396 * [taylor]: Taking taylor expansion of z in x
1.396 * [backup-simplify]: Simplify z into z
1.396 * [backup-simplify]: Simplify (* 0 z) into 0
1.397 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.397 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.397 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in x
1.397 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.397 * [taylor]: Taking taylor expansion of (* x y) in x
1.397 * [taylor]: Taking taylor expansion of x in x
1.397 * [backup-simplify]: Simplify 0 into 0
1.397 * [backup-simplify]: Simplify 1 into 1
1.397 * [taylor]: Taking taylor expansion of y in x
1.397 * [backup-simplify]: Simplify y into y
1.397 * [backup-simplify]: Simplify (* 0 y) into 0
1.398 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.398 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.398 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
1.398 * [taylor]: Taking taylor expansion of 1.0 in x
1.398 * [backup-simplify]: Simplify 1.0 into 1.0
1.398 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.398 * [taylor]: Taking taylor expansion of z in x
1.398 * [backup-simplify]: Simplify z into z
1.398 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.398 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
1.399 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
1.399 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
1.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.399 * [taylor]: Taking taylor expansion of y in y
1.399 * [backup-simplify]: Simplify 0 into 0
1.399 * [backup-simplify]: Simplify 1 into 1
1.399 * [backup-simplify]: Simplify (/ 1 1) into 1
1.399 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.399 * [taylor]: Taking taylor expansion of z in y
1.400 * [backup-simplify]: Simplify z into z
1.400 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.400 * [backup-simplify]: Simplify (+ 1 0) into 1
1.400 * [taylor]: Taking taylor expansion of 1 in z
1.400 * [backup-simplify]: Simplify 1 into 1
1.401 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
1.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.402 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
1.402 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
1.402 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
1.402 * [backup-simplify]: Simplify (+ 0 (/ 1.0 z)) into (* 1.0 (/ 1 z))
1.402 * [backup-simplify]: Simplify (+ 0 (* 1.0 (/ 1 z))) into (* 1.0 (/ 1 z))
1.402 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
1.402 * [taylor]: Taking taylor expansion of 1.0 in y
1.402 * [backup-simplify]: Simplify 1.0 into 1.0
1.402 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.402 * [taylor]: Taking taylor expansion of z in y
1.403 * [backup-simplify]: Simplify z into z
1.403 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.403 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
1.404 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.404 * [taylor]: Taking taylor expansion of z in z
1.404 * [backup-simplify]: Simplify 0 into 0
1.404 * [backup-simplify]: Simplify 1 into 1
1.404 * [backup-simplify]: Simplify (/ 1 1) into 1
1.404 * [backup-simplify]: Simplify 1 into 1
1.404 * [backup-simplify]: Simplify 1 into 1
1.405 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
1.405 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
1.407 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
1.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
1.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.407 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 z))) into 0
1.408 * [backup-simplify]: Simplify (+ 0 0) into 0
1.408 * [backup-simplify]: Simplify (+ 0 0) into 0
1.408 * [taylor]: Taking taylor expansion of 0 in y
1.408 * [backup-simplify]: Simplify 0 into 0
1.408 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
1.408 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
1.408 * [taylor]: Taking taylor expansion of 1.0 in z
1.408 * [backup-simplify]: Simplify 1.0 into 1.0
1.408 * [taylor]: Taking taylor expansion of z in z
1.409 * [backup-simplify]: Simplify 0 into 0
1.409 * [backup-simplify]: Simplify 1 into 1
1.409 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
1.409 * [backup-simplify]: Simplify 1.0 into 1.0
1.410 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 (- z))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ (* x y) (* x z)) (* 1.0 z))
1.410 * * * [progress]: simplifying candidates
1.411 * [simplify]: Simplifying:
  (* (- x 1.0) z)
  (+ (log (- x 1.0)) (log z))
  (log (* (- x 1.0) z))
  (exp (* (- x 1.0) z))
  (* (* (* (- x 1.0) (- x 1.0)) (- x 1.0)) (* (* z z) z))
  (* (cbrt (* (- x 1.0) z)) (cbrt (* (- x 1.0) z)))
  (cbrt (* (- x 1.0) z))
  (* (* (* (- x 1.0) z) (* (- x 1.0) z)) (* (- x 1.0) z))
  (sqrt (* (- x 1.0) z))
  (sqrt (* (- x 1.0) z))
  (* (sqrt (- x 1.0)) (sqrt z))
  (* (sqrt (- x 1.0)) (sqrt z))
  (* (- x 1.0) (* (cbrt z) (cbrt z)))
  (* (- x 1.0) (sqrt z))
  (* (- x 1.0) 1)
  (* (cbrt (- x 1.0)) z)
  (* (sqrt (- x 1.0)) z)
  (* (- x 1.0) z)
  (* (- (sqrt x) (sqrt 1.0)) z)
  (* (- x 1.0) z)
  (* (- (pow x 3) (pow 1.0 3)) z)
  (* (- (* x x) (* 1.0 1.0)) z)
  (* (exp (* x y)) (exp (* (- x 1.0) z)))
  (log (+ (* x y) (* (- x 1.0) z)))
  (exp (+ (* x y) (* (- x 1.0) z)))
  (* (cbrt (+ (* x y) (* (- x 1.0) z))) (cbrt (+ (* x y) (* (- x 1.0) z))))
  (cbrt (+ (* x y) (* (- x 1.0) z)))
  (* (* (+ (* x y) (* (- x 1.0) z)) (+ (* x y) (* (- x 1.0) z))) (+ (* x y) (* (- x 1.0) z)))
  (sqrt (+ (* x y) (* (- x 1.0) z)))
  (sqrt (+ (* x y) (* (- x 1.0) z)))
  (+ (pow (* x y) 3) (pow (* (- x 1.0) z) 3))
  (+ (* (* x y) (* x y)) (- (* (* (- x 1.0) z) (* (- x 1.0) z)) (* (* x y) (* (- x 1.0) z))))
  (- (* (* x y) (* x y)) (* (* (- x 1.0) z) (* (- x 1.0) z)))
  (- (* x y) (* (- x 1.0) z))
  (- (* x z) (* 1.0 z))
  (- (* x z) (* 1.0 z))
  (- (* x z) (* 1.0 z))
  (- (+ (* x y) (* x z)) (* 1.0 z))
  (- (+ (* x y) (* x z)) (* 1.0 z))
  (- (+ (* x y) (* x z)) (* 1.0 z))
1.412 * * [simplify]: iteration 0: 71 enodes
1.438 * * [simplify]: iteration 1: 191 enodes
1.519 * * [simplify]: iteration 2: 759 enodes
1.929 * * [simplify]: iteration complete: 5001 enodes
1.929 * * [simplify]: Extracting #0: cost 27 inf + 0
1.930 * * [simplify]: Extracting #1: cost 615 inf + 0
1.940 * * [simplify]: Extracting #2: cost 1821 inf + 2955
1.959 * * [simplify]: Extracting #3: cost 1419 inf + 123003
2.051 * * [simplify]: Extracting #4: cost 256 inf + 317443
2.161 * * [simplify]: Extracting #5: cost 31 inf + 369450
2.267 * * [simplify]: Extracting #6: cost 12 inf + 374017
2.351 * * [simplify]: Extracting #7: cost 3 inf + 375450
2.460 * * [simplify]: Extracting #8: cost 0 inf + 376209
2.551 * [simplify]: Simplified to:
  (* z (- x 1.0))
  (log (* z (- x 1.0)))
  (log (* z (- x 1.0)))
  (exp (* z (- x 1.0)))
  (* (* z (- x 1.0)) (* (* z (- x 1.0)) (* z (- x 1.0))))
  (* (cbrt (* z (- x 1.0))) (cbrt (* z (- x 1.0))))
  (cbrt (* z (- x 1.0)))
  (* (* z (- x 1.0)) (* (* z (- x 1.0)) (* z (- x 1.0))))
  (sqrt (* z (- x 1.0)))
  (sqrt (* z (- x 1.0)))
  (* (sqrt (- x 1.0)) (sqrt z))
  (* (sqrt (- x 1.0)) (sqrt z))
  (* (- x 1.0) (* (cbrt z) (cbrt z)))
  (* (sqrt z) (- x 1.0))
  (- x 1.0)
  (* z (cbrt (- x 1.0)))
  (* (sqrt (- x 1.0)) z)
  (* z (- x 1.0))
  (* (- (sqrt x) (sqrt 1.0)) z)
  (* z (- x 1.0))
  (* z (- (* x (* x x)) (* 1.0 (* 1.0 1.0))))
  (* (+ 1.0 x) (* z (- x 1.0)))
  (exp (- (* x (+ y z)) (* z 1.0)))
  (log (- (* x (+ y z)) (* z 1.0)))
  (exp (- (* x (+ y z)) (* z 1.0)))
  (* (cbrt (- (* x (+ y z)) (* z 1.0))) (cbrt (- (* x (+ y z)) (* z 1.0))))
  (cbrt (- (* x (+ y z)) (* z 1.0)))
  (* (* (- (* x (+ y z)) (* z 1.0)) (- (* x (+ y z)) (* z 1.0))) (- (* x (+ y z)) (* z 1.0)))
  (sqrt (- (* x (+ y z)) (* z 1.0)))
  (sqrt (- (* x (+ y z)) (* z 1.0)))
  (+ (* (* x y) (* (* x y) (* x y))) (* (* z (- x 1.0)) (* (* z (- x 1.0)) (* z (- x 1.0)))))
  (+ (* (* x y) (* x y)) (* (* z (- x 1.0)) (- (* z (- x 1.0)) (* x y))))
  (- (* (* x y) (* x y)) (* (* z (- x 1.0)) (* z (- x 1.0))))
  (- (* x y) (* z (- x 1.0)))
  (* z (- x 1.0))
  (* z (- x 1.0))
  (* z (- x 1.0))
  (- (* x (+ y z)) (* z 1.0))
  (- (* x (+ y z)) (* z 1.0))
  (- (* x (+ y z)) (* z 1.0))
2.552 * * * [progress]: adding candidates to table
2.751 * * [progress]: iteration 2 / 4
2.751 * * * [progress]: picking best candidate
2.762 * * * * [pick]: Picked  #<alt (λ (x y z) (- (* x (+ y z)) (* z 1.0)))>
2.762 * * * [progress]: localizing error
2.773 * * * [progress]: generating rewritten candidates
2.773 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.792 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.807 * * * [progress]: generating series expansions
2.807 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.808 * [backup-simplify]: Simplify (* x (+ y z)) into (* x (+ z y))
2.808 * [approximate]: Taking taylor expansion of (* x (+ z y)) in (x y z) around 0
2.808 * [taylor]: Taking taylor expansion of (* x (+ z y)) in z
2.808 * [taylor]: Taking taylor expansion of x in z
2.808 * [backup-simplify]: Simplify x into x
2.808 * [taylor]: Taking taylor expansion of (+ z y) in z
2.808 * [taylor]: Taking taylor expansion of z in z
2.808 * [backup-simplify]: Simplify 0 into 0
2.808 * [backup-simplify]: Simplify 1 into 1
2.808 * [taylor]: Taking taylor expansion of y in z
2.808 * [backup-simplify]: Simplify y into y
2.808 * [taylor]: Taking taylor expansion of (* x (+ z y)) in y
2.808 * [taylor]: Taking taylor expansion of x in y
2.808 * [backup-simplify]: Simplify x into x
2.808 * [taylor]: Taking taylor expansion of (+ z y) in y
2.808 * [taylor]: Taking taylor expansion of z in y
2.808 * [backup-simplify]: Simplify z into z
2.808 * [taylor]: Taking taylor expansion of y in y
2.808 * [backup-simplify]: Simplify 0 into 0
2.808 * [backup-simplify]: Simplify 1 into 1
2.808 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
2.808 * [taylor]: Taking taylor expansion of x in x
2.808 * [backup-simplify]: Simplify 0 into 0
2.808 * [backup-simplify]: Simplify 1 into 1
2.808 * [taylor]: Taking taylor expansion of (+ z y) in x
2.808 * [taylor]: Taking taylor expansion of z in x
2.808 * [backup-simplify]: Simplify z into z
2.808 * [taylor]: Taking taylor expansion of y in x
2.808 * [backup-simplify]: Simplify y into y
2.808 * [taylor]: Taking taylor expansion of (* x (+ z y)) in x
2.808 * [taylor]: Taking taylor expansion of x in x
2.808 * [backup-simplify]: Simplify 0 into 0
2.808 * [backup-simplify]: Simplify 1 into 1
2.808 * [taylor]: Taking taylor expansion of (+ z y) in x
2.808 * [taylor]: Taking taylor expansion of z in x
2.808 * [backup-simplify]: Simplify z into z
2.808 * [taylor]: Taking taylor expansion of y in x
2.808 * [backup-simplify]: Simplify y into y
2.808 * [backup-simplify]: Simplify (+ z y) into (+ z y)
2.808 * [backup-simplify]: Simplify (* 0 (+ z y)) into 0
2.808 * [taylor]: Taking taylor expansion of 0 in y
2.808 * [backup-simplify]: Simplify 0 into 0
2.808 * [taylor]: Taking taylor expansion of 0 in z
2.808 * [backup-simplify]: Simplify 0 into 0
2.808 * [backup-simplify]: Simplify 0 into 0
2.809 * [backup-simplify]: Simplify (+ 0 0) into 0
2.809 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (+ z y))) into (+ z y)
2.809 * [taylor]: Taking taylor expansion of (+ z y) in y
2.809 * [taylor]: Taking taylor expansion of z in y
2.809 * [backup-simplify]: Simplify z into z
2.809 * [taylor]: Taking taylor expansion of y in y
2.809 * [backup-simplify]: Simplify 0 into 0
2.809 * [backup-simplify]: Simplify 1 into 1
2.809 * [backup-simplify]: Simplify (+ z 0) into z
2.809 * [taylor]: Taking taylor expansion of z in z
2.809 * [backup-simplify]: Simplify 0 into 0
2.809 * [backup-simplify]: Simplify 1 into 1
2.810 * [backup-simplify]: Simplify 0 into 0
2.810 * [taylor]: Taking taylor expansion of 0 in z
2.810 * [backup-simplify]: Simplify 0 into 0
2.810 * [backup-simplify]: Simplify 0 into 0
2.810 * [backup-simplify]: Simplify 0 into 0
2.810 * [backup-simplify]: Simplify (+ 0 0) into 0
2.811 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (+ z y)))) into 0
2.811 * [taylor]: Taking taylor expansion of 0 in y
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [taylor]: Taking taylor expansion of 0 in z
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify (+ 0 1) into 1
2.811 * [taylor]: Taking taylor expansion of 1 in z
2.811 * [backup-simplify]: Simplify 1 into 1
2.811 * [backup-simplify]: Simplify 1 into 1
2.811 * [taylor]: Taking taylor expansion of 0 in z
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify 1 into 1
2.811 * [backup-simplify]: Simplify 0 into 0
2.811 * [backup-simplify]: Simplify 0 into 0
2.812 * [backup-simplify]: Simplify (+ 0 0) into 0
2.813 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (+ z y))))) into 0
2.813 * [taylor]: Taking taylor expansion of 0 in y
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [taylor]: Taking taylor expansion of 0 in z
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [taylor]: Taking taylor expansion of 0 in z
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify (+ 0 0) into 0
2.813 * [taylor]: Taking taylor expansion of 0 in z
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [taylor]: Taking taylor expansion of 0 in z
2.813 * [backup-simplify]: Simplify 0 into 0
2.813 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (* 1 (* 1 (* y x)))) into (+ (* x y) (* x z))
2.814 * [backup-simplify]: Simplify (* (/ 1 x) (+ (/ 1 y) (/ 1 z))) into (/ (+ (/ 1 z) (/ 1 y)) x)
2.814 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
2.814 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
2.814 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
2.814 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.814 * [taylor]: Taking taylor expansion of z in z
2.814 * [backup-simplify]: Simplify 0 into 0
2.814 * [backup-simplify]: Simplify 1 into 1
2.814 * [backup-simplify]: Simplify (/ 1 1) into 1
2.814 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.814 * [taylor]: Taking taylor expansion of y in z
2.814 * [backup-simplify]: Simplify y into y
2.814 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.814 * [taylor]: Taking taylor expansion of x in z
2.814 * [backup-simplify]: Simplify x into x
2.815 * [backup-simplify]: Simplify (+ 1 0) into 1
2.815 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.815 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
2.815 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
2.815 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.815 * [taylor]: Taking taylor expansion of z in y
2.815 * [backup-simplify]: Simplify z into z
2.815 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.815 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.815 * [taylor]: Taking taylor expansion of y in y
2.815 * [backup-simplify]: Simplify 0 into 0
2.815 * [backup-simplify]: Simplify 1 into 1
2.815 * [backup-simplify]: Simplify (/ 1 1) into 1
2.815 * [taylor]: Taking taylor expansion of x in y
2.815 * [backup-simplify]: Simplify x into x
2.816 * [backup-simplify]: Simplify (+ 0 1) into 1
2.816 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.816 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
2.816 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
2.816 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.816 * [taylor]: Taking taylor expansion of z in x
2.816 * [backup-simplify]: Simplify z into z
2.816 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.816 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.816 * [taylor]: Taking taylor expansion of y in x
2.816 * [backup-simplify]: Simplify y into y
2.816 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.816 * [taylor]: Taking taylor expansion of x in x
2.816 * [backup-simplify]: Simplify 0 into 0
2.816 * [backup-simplify]: Simplify 1 into 1
2.816 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.816 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
2.816 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
2.816 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
2.816 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.816 * [taylor]: Taking taylor expansion of z in x
2.816 * [backup-simplify]: Simplify z into z
2.816 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.816 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.816 * [taylor]: Taking taylor expansion of y in x
2.816 * [backup-simplify]: Simplify y into y
2.816 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.816 * [taylor]: Taking taylor expansion of x in x
2.816 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify 1 into 1
2.817 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.817 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
2.817 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
2.817 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.817 * [taylor]: Taking taylor expansion of z in y
2.817 * [backup-simplify]: Simplify z into z
2.817 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.817 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.817 * [taylor]: Taking taylor expansion of y in y
2.817 * [backup-simplify]: Simplify 0 into 0
2.817 * [backup-simplify]: Simplify 1 into 1
2.817 * [backup-simplify]: Simplify (/ 1 1) into 1
2.818 * [backup-simplify]: Simplify (+ 0 1) into 1
2.818 * [taylor]: Taking taylor expansion of 1 in z
2.818 * [backup-simplify]: Simplify 1 into 1
2.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.818 * [backup-simplify]: Simplify (+ 0 0) into 0
2.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0
2.819 * [taylor]: Taking taylor expansion of 0 in y
2.819 * [backup-simplify]: Simplify 0 into 0
2.819 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.819 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
2.819 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.819 * [taylor]: Taking taylor expansion of z in z
2.819 * [backup-simplify]: Simplify 0 into 0
2.819 * [backup-simplify]: Simplify 1 into 1
2.820 * [backup-simplify]: Simplify (/ 1 1) into 1
2.820 * [backup-simplify]: Simplify 1 into 1
2.820 * [backup-simplify]: Simplify 1 into 1
2.820 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.820 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.820 * [backup-simplify]: Simplify (+ 0 0) into 0
2.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.821 * [taylor]: Taking taylor expansion of 0 in y
2.821 * [backup-simplify]: Simplify 0 into 0
2.821 * [taylor]: Taking taylor expansion of 0 in z
2.821 * [backup-simplify]: Simplify 0 into 0
2.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.823 * [backup-simplify]: Simplify (+ 0 0) into 0
2.823 * [taylor]: Taking taylor expansion of 0 in z
2.823 * [backup-simplify]: Simplify 0 into 0
2.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.823 * [backup-simplify]: Simplify 0 into 0
2.823 * [backup-simplify]: Simplify 0 into 0
2.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.824 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.824 * [backup-simplify]: Simplify (+ 0 0) into 0
2.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.825 * [taylor]: Taking taylor expansion of 0 in y
2.825 * [backup-simplify]: Simplify 0 into 0
2.825 * [taylor]: Taking taylor expansion of 0 in z
2.825 * [backup-simplify]: Simplify 0 into 0
2.825 * [taylor]: Taking taylor expansion of 0 in z
2.825 * [backup-simplify]: Simplify 0 into 0
2.825 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.826 * [backup-simplify]: Simplify (+ 0 0) into 0
2.826 * [taylor]: Taking taylor expansion of 0 in z
2.826 * [backup-simplify]: Simplify 0 into 0
2.826 * [backup-simplify]: Simplify 0 into 0
2.826 * [backup-simplify]: Simplify 0 into 0
2.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.827 * [backup-simplify]: Simplify 0 into 0
2.827 * [backup-simplify]: Simplify 0 into 0
2.827 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x)))))) into (+ (* x z) (* x y))
2.827 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) into (/ (+ (/ 1 z) (/ 1 y)) x)
2.827 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in (x y z) around 0
2.827 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in z
2.827 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z
2.827 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.828 * [taylor]: Taking taylor expansion of z in z
2.828 * [backup-simplify]: Simplify 0 into 0
2.828 * [backup-simplify]: Simplify 1 into 1
2.828 * [backup-simplify]: Simplify (/ 1 1) into 1
2.828 * [taylor]: Taking taylor expansion of (/ 1 y) in z
2.828 * [taylor]: Taking taylor expansion of y in z
2.828 * [backup-simplify]: Simplify y into y
2.828 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.828 * [taylor]: Taking taylor expansion of x in z
2.828 * [backup-simplify]: Simplify x into x
2.828 * [backup-simplify]: Simplify (+ 1 0) into 1
2.828 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.828 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in y
2.828 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
2.828 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.828 * [taylor]: Taking taylor expansion of z in y
2.828 * [backup-simplify]: Simplify z into z
2.828 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.828 * [taylor]: Taking taylor expansion of y in y
2.828 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 1 into 1
2.829 * [backup-simplify]: Simplify (/ 1 1) into 1
2.829 * [taylor]: Taking taylor expansion of x in y
2.829 * [backup-simplify]: Simplify x into x
2.829 * [backup-simplify]: Simplify (+ 0 1) into 1
2.829 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.829 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
2.829 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
2.829 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.829 * [taylor]: Taking taylor expansion of z in x
2.829 * [backup-simplify]: Simplify z into z
2.829 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.829 * [taylor]: Taking taylor expansion of y in x
2.829 * [backup-simplify]: Simplify y into y
2.829 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.829 * [taylor]: Taking taylor expansion of x in x
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 1 into 1
2.829 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.830 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
2.830 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 z) (/ 1 y)) x) in x
2.830 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x
2.830 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.830 * [taylor]: Taking taylor expansion of z in x
2.830 * [backup-simplify]: Simplify z into z
2.830 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.830 * [taylor]: Taking taylor expansion of (/ 1 y) in x
2.830 * [taylor]: Taking taylor expansion of y in x
2.830 * [backup-simplify]: Simplify y into y
2.830 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.830 * [taylor]: Taking taylor expansion of x in x
2.830 * [backup-simplify]: Simplify 0 into 0
2.830 * [backup-simplify]: Simplify 1 into 1
2.830 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.830 * [backup-simplify]: Simplify (/ (+ (/ 1 y) (/ 1 z)) 1) into (+ (/ 1 z) (/ 1 y))
2.830 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y
2.830 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.830 * [taylor]: Taking taylor expansion of z in y
2.830 * [backup-simplify]: Simplify z into z
2.830 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.830 * [taylor]: Taking taylor expansion of y in y
2.830 * [backup-simplify]: Simplify 0 into 0
2.830 * [backup-simplify]: Simplify 1 into 1
2.831 * [backup-simplify]: Simplify (/ 1 1) into 1
2.831 * [backup-simplify]: Simplify (+ 0 1) into 1
2.831 * [taylor]: Taking taylor expansion of 1 in z
2.831 * [backup-simplify]: Simplify 1 into 1
2.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.831 * [backup-simplify]: Simplify (+ 0 0) into 0
2.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)))) into 0
2.832 * [taylor]: Taking taylor expansion of 0 in y
2.832 * [backup-simplify]: Simplify 0 into 0
2.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.833 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
2.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.833 * [taylor]: Taking taylor expansion of z in z
2.833 * [backup-simplify]: Simplify 0 into 0
2.833 * [backup-simplify]: Simplify 1 into 1
2.833 * [backup-simplify]: Simplify (/ 1 1) into 1
2.833 * [backup-simplify]: Simplify 1 into 1
2.833 * [backup-simplify]: Simplify 1 into 1
2.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.834 * [backup-simplify]: Simplify (+ 0 0) into 0
2.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.835 * [taylor]: Taking taylor expansion of 0 in y
2.835 * [backup-simplify]: Simplify 0 into 0
2.835 * [taylor]: Taking taylor expansion of 0 in z
2.835 * [backup-simplify]: Simplify 0 into 0
2.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.836 * [backup-simplify]: Simplify (+ 0 0) into 0
2.836 * [taylor]: Taking taylor expansion of 0 in z
2.836 * [backup-simplify]: Simplify 0 into 0
2.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.836 * [backup-simplify]: Simplify 0 into 0
2.836 * [backup-simplify]: Simplify 0 into 0
2.836 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.837 * [backup-simplify]: Simplify (+ 0 0) into 0
2.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (+ (/ 1 z) (/ 1 y)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.838 * [taylor]: Taking taylor expansion of 0 in y
2.838 * [backup-simplify]: Simplify 0 into 0
2.838 * [taylor]: Taking taylor expansion of 0 in z
2.838 * [backup-simplify]: Simplify 0 into 0
2.838 * [taylor]: Taking taylor expansion of 0 in z
2.838 * [backup-simplify]: Simplify 0 into 0
2.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.839 * [backup-simplify]: Simplify (+ 0 0) into 0
2.839 * [taylor]: Taking taylor expansion of 0 in z
2.839 * [backup-simplify]: Simplify 0 into 0
2.840 * [backup-simplify]: Simplify 0 into 0
2.840 * [backup-simplify]: Simplify 0 into 0
2.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.841 * [backup-simplify]: Simplify 0 into 0
2.841 * [backup-simplify]: Simplify 0 into 0
2.841 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x))))))) into (+ (* x z) (* x y))
2.841 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.842 * [backup-simplify]: Simplify (- (* x (+ y z)) (* z 1.0)) into (- (+ (* x y) (* x z)) (* 1.0 z))
2.842 * [approximate]: Taking taylor expansion of (- (+ (* x y) (* x z)) (* 1.0 z)) in (x y z) around 0
2.842 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* x z)) (* 1.0 z)) in z
2.842 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in z
2.842 * [taylor]: Taking taylor expansion of (* x y) in z
2.842 * [taylor]: Taking taylor expansion of x in z
2.842 * [backup-simplify]: Simplify x into x
2.842 * [taylor]: Taking taylor expansion of y in z
2.842 * [backup-simplify]: Simplify y into y
2.842 * [taylor]: Taking taylor expansion of (* x z) in z
2.842 * [taylor]: Taking taylor expansion of x in z
2.842 * [backup-simplify]: Simplify x into x
2.842 * [taylor]: Taking taylor expansion of z in z
2.842 * [backup-simplify]: Simplify 0 into 0
2.842 * [backup-simplify]: Simplify 1 into 1
2.842 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
2.842 * [taylor]: Taking taylor expansion of 1.0 in z
2.842 * [backup-simplify]: Simplify 1.0 into 1.0
2.842 * [taylor]: Taking taylor expansion of z in z
2.842 * [backup-simplify]: Simplify 0 into 0
2.842 * [backup-simplify]: Simplify 1 into 1
2.842 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* x z)) (* 1.0 z)) in y
2.842 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in y
2.842 * [taylor]: Taking taylor expansion of (* x y) in y
2.842 * [taylor]: Taking taylor expansion of x in y
2.842 * [backup-simplify]: Simplify x into x
2.842 * [taylor]: Taking taylor expansion of y in y
2.842 * [backup-simplify]: Simplify 0 into 0
2.842 * [backup-simplify]: Simplify 1 into 1
2.842 * [taylor]: Taking taylor expansion of (* x z) in y
2.842 * [taylor]: Taking taylor expansion of x in y
2.842 * [backup-simplify]: Simplify x into x
2.842 * [taylor]: Taking taylor expansion of z in y
2.842 * [backup-simplify]: Simplify z into z
2.843 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
2.843 * [taylor]: Taking taylor expansion of 1.0 in y
2.843 * [backup-simplify]: Simplify 1.0 into 1.0
2.843 * [taylor]: Taking taylor expansion of z in y
2.843 * [backup-simplify]: Simplify z into z
2.843 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* x z)) (* 1.0 z)) in x
2.843 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in x
2.843 * [taylor]: Taking taylor expansion of (* x y) in x
2.843 * [taylor]: Taking taylor expansion of x in x
2.843 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify 1 into 1
2.843 * [taylor]: Taking taylor expansion of y in x
2.843 * [backup-simplify]: Simplify y into y
2.843 * [taylor]: Taking taylor expansion of (* x z) in x
2.843 * [taylor]: Taking taylor expansion of x in x
2.843 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify 1 into 1
2.843 * [taylor]: Taking taylor expansion of z in x
2.843 * [backup-simplify]: Simplify z into z
2.843 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
2.843 * [taylor]: Taking taylor expansion of 1.0 in x
2.843 * [backup-simplify]: Simplify 1.0 into 1.0
2.843 * [taylor]: Taking taylor expansion of z in x
2.843 * [backup-simplify]: Simplify z into z
2.843 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* x z)) (* 1.0 z)) in x
2.843 * [taylor]: Taking taylor expansion of (+ (* x y) (* x z)) in x
2.843 * [taylor]: Taking taylor expansion of (* x y) in x
2.843 * [taylor]: Taking taylor expansion of x in x
2.843 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify 1 into 1
2.843 * [taylor]: Taking taylor expansion of y in x
2.843 * [backup-simplify]: Simplify y into y
2.843 * [taylor]: Taking taylor expansion of (* x z) in x
2.843 * [taylor]: Taking taylor expansion of x in x
2.843 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify 1 into 1
2.843 * [taylor]: Taking taylor expansion of z in x
2.844 * [backup-simplify]: Simplify z into z
2.844 * [taylor]: Taking taylor expansion of (* 1.0 z) in x
2.844 * [taylor]: Taking taylor expansion of 1.0 in x
2.844 * [backup-simplify]: Simplify 1.0 into 1.0
2.844 * [taylor]: Taking taylor expansion of z in x
2.844 * [backup-simplify]: Simplify z into z
2.844 * [backup-simplify]: Simplify (* 0 y) into 0
2.844 * [backup-simplify]: Simplify (* 0 z) into 0
2.845 * [backup-simplify]: Simplify (+ 0 0) into 0
2.845 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
2.845 * [backup-simplify]: Simplify (- (* 1.0 z)) into (- (* 1.0 z))
2.845 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 z))) into (- (* 1.0 z))
2.845 * [taylor]: Taking taylor expansion of (- (* 1.0 z)) in y
2.845 * [taylor]: Taking taylor expansion of (* 1.0 z) in y
2.845 * [taylor]: Taking taylor expansion of 1.0 in y
2.845 * [backup-simplify]: Simplify 1.0 into 1.0
2.845 * [taylor]: Taking taylor expansion of z in y
2.845 * [backup-simplify]: Simplify z into z
2.845 * [backup-simplify]: Simplify (* 1.0 z) into (* 1.0 z)
2.845 * [backup-simplify]: Simplify (- (* 1.0 z)) into (- (* 1.0 z))
2.845 * [taylor]: Taking taylor expansion of (- (* 1.0 z)) in z
2.845 * [taylor]: Taking taylor expansion of (* 1.0 z) in z
2.845 * [taylor]: Taking taylor expansion of 1.0 in z
2.845 * [backup-simplify]: Simplify 1.0 into 1.0
2.845 * [taylor]: Taking taylor expansion of z in z
2.845 * [backup-simplify]: Simplify 0 into 0
2.845 * [backup-simplify]: Simplify 1 into 1
2.846 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.846 * [backup-simplify]: Simplify (- 0) into 0
2.846 * [backup-simplify]: Simplify 0 into 0
2.847 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.847 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
2.847 * [backup-simplify]: Simplify (+ y z) into (+ z y)
2.848 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
2.848 * [backup-simplify]: Simplify (- 0) into 0
2.848 * [backup-simplify]: Simplify (+ (+ z y) 0) into (+ z y)
2.848 * [taylor]: Taking taylor expansion of (+ z y) in y
2.848 * [taylor]: Taking taylor expansion of z in y
2.848 * [backup-simplify]: Simplify z into z
2.848 * [taylor]: Taking taylor expansion of y in y
2.848 * [backup-simplify]: Simplify 0 into 0
2.848 * [backup-simplify]: Simplify 1 into 1
2.848 * [backup-simplify]: Simplify (+ z 0) into z
2.848 * [taylor]: Taking taylor expansion of z in z
2.848 * [backup-simplify]: Simplify 0 into 0
2.848 * [backup-simplify]: Simplify 1 into 1
2.848 * [backup-simplify]: Simplify 0 into 0
2.849 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 z)) into 0
2.853 * [backup-simplify]: Simplify (- 0) into 0
2.853 * [taylor]: Taking taylor expansion of 0 in z
2.853 * [backup-simplify]: Simplify 0 into 0
2.853 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.855 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.855 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.856 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.856 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
2.857 * [backup-simplify]: Simplify (+ 0 0) into 0
2.857 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
2.858 * [backup-simplify]: Simplify (- 0) into 0
2.858 * [backup-simplify]: Simplify (+ 0 0) into 0
2.858 * [taylor]: Taking taylor expansion of 0 in y
2.858 * [backup-simplify]: Simplify 0 into 0
2.858 * [taylor]: Taking taylor expansion of 0 in z
2.858 * [backup-simplify]: Simplify 0 into 0
2.858 * [backup-simplify]: Simplify 0 into 0
2.858 * [backup-simplify]: Simplify (+ 0 1) into 1
2.858 * [taylor]: Taking taylor expansion of 1 in z
2.858 * [backup-simplify]: Simplify 1 into 1
2.858 * [backup-simplify]: Simplify 1 into 1
2.859 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 z))) into 0
2.859 * [backup-simplify]: Simplify (- 0) into 0
2.859 * [taylor]: Taking taylor expansion of 0 in z
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify 1 into 1
2.860 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 x))) (+ (* 1 (* 1 (* y x))) (* (- 1.0) (* z (* 1 1))))) into (- (+ (* x y) (* x z)) (* 1.0 z))
2.860 * [backup-simplify]: Simplify (- (* (/ 1 x) (+ (/ 1 y) (/ 1 z))) (* (/ 1 z) 1.0)) into (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z)))
2.860 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in (x y z) around 0
2.860 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in z
2.860 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in z
2.860 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
2.860 * [taylor]: Taking taylor expansion of (* x z) in z
2.860 * [taylor]: Taking taylor expansion of x in z
2.860 * [backup-simplify]: Simplify x into x
2.860 * [taylor]: Taking taylor expansion of z in z
2.860 * [backup-simplify]: Simplify 0 into 0
2.860 * [backup-simplify]: Simplify 1 into 1
2.860 * [backup-simplify]: Simplify (* x 0) into 0
2.861 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.861 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.861 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.861 * [taylor]: Taking taylor expansion of (* x y) in z
2.861 * [taylor]: Taking taylor expansion of x in z
2.861 * [backup-simplify]: Simplify x into x
2.861 * [taylor]: Taking taylor expansion of y in z
2.861 * [backup-simplify]: Simplify y into y
2.861 * [backup-simplify]: Simplify (* x y) into (* x y)
2.861 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.861 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
2.861 * [taylor]: Taking taylor expansion of 1.0 in z
2.861 * [backup-simplify]: Simplify 1.0 into 1.0
2.861 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.861 * [taylor]: Taking taylor expansion of z in z
2.861 * [backup-simplify]: Simplify 0 into 0
2.861 * [backup-simplify]: Simplify 1 into 1
2.861 * [backup-simplify]: Simplify (/ 1 1) into 1
2.861 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in y
2.861 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in y
2.861 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
2.861 * [taylor]: Taking taylor expansion of (* x z) in y
2.861 * [taylor]: Taking taylor expansion of x in y
2.861 * [backup-simplify]: Simplify x into x
2.861 * [taylor]: Taking taylor expansion of z in y
2.861 * [backup-simplify]: Simplify z into z
2.861 * [backup-simplify]: Simplify (* x z) into (* x z)
2.861 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
2.862 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.862 * [taylor]: Taking taylor expansion of (* x y) in y
2.862 * [taylor]: Taking taylor expansion of x in y
2.862 * [backup-simplify]: Simplify x into x
2.862 * [taylor]: Taking taylor expansion of y in y
2.862 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify 1 into 1
2.862 * [backup-simplify]: Simplify (* x 0) into 0
2.862 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.862 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.862 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
2.862 * [taylor]: Taking taylor expansion of 1.0 in y
2.862 * [backup-simplify]: Simplify 1.0 into 1.0
2.862 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.862 * [taylor]: Taking taylor expansion of z in y
2.862 * [backup-simplify]: Simplify z into z
2.862 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.862 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in x
2.862 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
2.862 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
2.862 * [taylor]: Taking taylor expansion of (* x z) in x
2.862 * [taylor]: Taking taylor expansion of x in x
2.862 * [backup-simplify]: Simplify 0 into 0
2.862 * [backup-simplify]: Simplify 1 into 1
2.862 * [taylor]: Taking taylor expansion of z in x
2.862 * [backup-simplify]: Simplify z into z
2.862 * [backup-simplify]: Simplify (* 0 z) into 0
2.863 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
2.863 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.863 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.863 * [taylor]: Taking taylor expansion of (* x y) in x
2.863 * [taylor]: Taking taylor expansion of x in x
2.863 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify 1 into 1
2.863 * [taylor]: Taking taylor expansion of y in x
2.863 * [backup-simplify]: Simplify y into y
2.863 * [backup-simplify]: Simplify (* 0 y) into 0
2.863 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.863 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.863 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
2.863 * [taylor]: Taking taylor expansion of 1.0 in x
2.863 * [backup-simplify]: Simplify 1.0 into 1.0
2.863 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.863 * [taylor]: Taking taylor expansion of z in x
2.863 * [backup-simplify]: Simplify z into z
2.863 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.863 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* x y))) (* 1.0 (/ 1 z))) in x
2.863 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* x y))) in x
2.863 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
2.863 * [taylor]: Taking taylor expansion of (* x z) in x
2.863 * [taylor]: Taking taylor expansion of x in x
2.863 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify 1 into 1
2.863 * [taylor]: Taking taylor expansion of z in x
2.863 * [backup-simplify]: Simplify z into z
2.863 * [backup-simplify]: Simplify (* 0 z) into 0
2.864 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
2.864 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.864 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.864 * [taylor]: Taking taylor expansion of (* x y) in x
2.864 * [taylor]: Taking taylor expansion of x in x
2.864 * [backup-simplify]: Simplify 0 into 0
2.864 * [backup-simplify]: Simplify 1 into 1
2.864 * [taylor]: Taking taylor expansion of y in x
2.864 * [backup-simplify]: Simplify y into y
2.864 * [backup-simplify]: Simplify (* 0 y) into 0
2.864 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.864 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.864 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
2.864 * [taylor]: Taking taylor expansion of 1.0 in x
2.864 * [backup-simplify]: Simplify 1.0 into 1.0
2.864 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.864 * [taylor]: Taking taylor expansion of z in x
2.864 * [backup-simplify]: Simplify z into z
2.864 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.865 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.865 * [backup-simplify]: Simplify (+ (+ (/ 1 y) (/ 1 z)) 0) into (+ (/ 1 y) (/ 1 z))
2.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.865 * [taylor]: Taking taylor expansion of y in y
2.865 * [backup-simplify]: Simplify 0 into 0
2.865 * [backup-simplify]: Simplify 1 into 1
2.865 * [backup-simplify]: Simplify (/ 1 1) into 1
2.865 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.865 * [taylor]: Taking taylor expansion of z in y
2.865 * [backup-simplify]: Simplify z into z
2.865 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.865 * [backup-simplify]: Simplify (+ 1 0) into 1
2.865 * [taylor]: Taking taylor expansion of 1 in z
2.865 * [backup-simplify]: Simplify 1 into 1
2.866 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
2.866 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.867 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.867 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.867 * [backup-simplify]: Simplify (+ 0 0) into 0
2.867 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
2.867 * [backup-simplify]: Simplify (- (/ 1.0 z)) into (- (* 1.0 (/ 1 z)))
2.867 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (/ 1 z)))) into (- (* 1.0 (/ 1 z)))
2.867 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in y
2.867 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
2.867 * [taylor]: Taking taylor expansion of 1.0 in y
2.867 * [backup-simplify]: Simplify 1.0 into 1.0
2.867 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.867 * [taylor]: Taking taylor expansion of z in y
2.867 * [backup-simplify]: Simplify z into z
2.867 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.868 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
2.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.868 * [taylor]: Taking taylor expansion of z in z
2.868 * [backup-simplify]: Simplify 0 into 0
2.868 * [backup-simplify]: Simplify 1 into 1
2.868 * [backup-simplify]: Simplify (/ 1 1) into 1
2.868 * [backup-simplify]: Simplify 1 into 1
2.868 * [backup-simplify]: Simplify 1 into 1
2.869 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
2.869 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.870 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.870 * [backup-simplify]: Simplify (+ 0 0) into 0
2.871 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.871 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 z))) into 0
2.871 * [backup-simplify]: Simplify (- 0) into 0
2.871 * [backup-simplify]: Simplify (+ 0 0) into 0
2.871 * [taylor]: Taking taylor expansion of 0 in y
2.871 * [backup-simplify]: Simplify 0 into 0
2.871 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
2.872 * [backup-simplify]: Simplify (- (/ 1.0 z)) into (- (* 1.0 (/ 1 z)))
2.872 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z))) in z
2.872 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
2.872 * [taylor]: Taking taylor expansion of 1.0 in z
2.872 * [backup-simplify]: Simplify 1.0 into 1.0
2.872 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.872 * [taylor]: Taking taylor expansion of z in z
2.872 * [backup-simplify]: Simplify 0 into 0
2.872 * [backup-simplify]: Simplify 1 into 1
2.872 * [backup-simplify]: Simplify (/ 1 1) into 1
2.872 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.872 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.873 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.874 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 z)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) (* 1 (* (/ 1 (/ 1 z)) (* 1 (/ 1 (/ 1 x))))))) into (- (+ (* x y) (* x z)) (* 1.0 z))
2.874 * [backup-simplify]: Simplify (- (* (/ 1 (- x)) (+ (/ 1 (- y)) (/ 1 (- z)))) (* (/ 1 (- z)) 1.0)) into (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))))
2.874 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in (x y z) around 0
2.874 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in z
2.874 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
2.874 * [taylor]: Taking taylor expansion of (* x z) in z
2.874 * [taylor]: Taking taylor expansion of x in z
2.874 * [backup-simplify]: Simplify x into x
2.874 * [taylor]: Taking taylor expansion of z in z
2.874 * [backup-simplify]: Simplify 0 into 0
2.874 * [backup-simplify]: Simplify 1 into 1
2.874 * [backup-simplify]: Simplify (* x 0) into 0
2.875 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.875 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in z
2.875 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.875 * [taylor]: Taking taylor expansion of (* x y) in z
2.875 * [taylor]: Taking taylor expansion of x in z
2.875 * [backup-simplify]: Simplify x into x
2.875 * [taylor]: Taking taylor expansion of y in z
2.875 * [backup-simplify]: Simplify y into y
2.875 * [backup-simplify]: Simplify (* x y) into (* x y)
2.875 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
2.875 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z
2.875 * [taylor]: Taking taylor expansion of 1.0 in z
2.875 * [backup-simplify]: Simplify 1.0 into 1.0
2.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.875 * [taylor]: Taking taylor expansion of z in z
2.875 * [backup-simplify]: Simplify 0 into 0
2.875 * [backup-simplify]: Simplify 1 into 1
2.875 * [backup-simplify]: Simplify (/ 1 1) into 1
2.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in y
2.875 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
2.875 * [taylor]: Taking taylor expansion of (* x z) in y
2.875 * [taylor]: Taking taylor expansion of x in y
2.875 * [backup-simplify]: Simplify x into x
2.875 * [taylor]: Taking taylor expansion of z in y
2.875 * [backup-simplify]: Simplify z into z
2.875 * [backup-simplify]: Simplify (* x z) into (* x z)
2.875 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
2.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in y
2.875 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.875 * [taylor]: Taking taylor expansion of (* x y) in y
2.875 * [taylor]: Taking taylor expansion of x in y
2.875 * [backup-simplify]: Simplify x into x
2.875 * [taylor]: Taking taylor expansion of y in y
2.876 * [backup-simplify]: Simplify 0 into 0
2.876 * [backup-simplify]: Simplify 1 into 1
2.876 * [backup-simplify]: Simplify (* x 0) into 0
2.876 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
2.876 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
2.876 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
2.876 * [taylor]: Taking taylor expansion of 1.0 in y
2.876 * [backup-simplify]: Simplify 1.0 into 1.0
2.876 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.876 * [taylor]: Taking taylor expansion of z in y
2.876 * [backup-simplify]: Simplify z into z
2.876 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.876 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in x
2.876 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
2.876 * [taylor]: Taking taylor expansion of (* x z) in x
2.876 * [taylor]: Taking taylor expansion of x in x
2.876 * [backup-simplify]: Simplify 0 into 0
2.876 * [backup-simplify]: Simplify 1 into 1
2.876 * [taylor]: Taking taylor expansion of z in x
2.876 * [backup-simplify]: Simplify z into z
2.876 * [backup-simplify]: Simplify (* 0 z) into 0
2.876 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
2.877 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.877 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in x
2.877 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.877 * [taylor]: Taking taylor expansion of (* x y) in x
2.877 * [taylor]: Taking taylor expansion of x in x
2.877 * [backup-simplify]: Simplify 0 into 0
2.877 * [backup-simplify]: Simplify 1 into 1
2.877 * [taylor]: Taking taylor expansion of y in x
2.877 * [backup-simplify]: Simplify y into y
2.877 * [backup-simplify]: Simplify (* 0 y) into 0
2.877 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.877 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.877 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
2.877 * [taylor]: Taking taylor expansion of 1.0 in x
2.877 * [backup-simplify]: Simplify 1.0 into 1.0
2.877 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.877 * [taylor]: Taking taylor expansion of z in x
2.877 * [backup-simplify]: Simplify z into z
2.877 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.877 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* x y)) (* 1.0 (/ 1 z)))) in x
2.877 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
2.877 * [taylor]: Taking taylor expansion of (* x z) in x
2.877 * [taylor]: Taking taylor expansion of x in x
2.877 * [backup-simplify]: Simplify 0 into 0
2.877 * [backup-simplify]: Simplify 1 into 1
2.877 * [taylor]: Taking taylor expansion of z in x
2.877 * [backup-simplify]: Simplify z into z
2.877 * [backup-simplify]: Simplify (* 0 z) into 0
2.878 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
2.878 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 z))) in x
2.878 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.878 * [taylor]: Taking taylor expansion of (* x y) in x
2.878 * [taylor]: Taking taylor expansion of x in x
2.878 * [backup-simplify]: Simplify 0 into 0
2.878 * [backup-simplify]: Simplify 1 into 1
2.878 * [taylor]: Taking taylor expansion of y in x
2.878 * [backup-simplify]: Simplify y into y
2.878 * [backup-simplify]: Simplify (* 0 y) into 0
2.878 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
2.878 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
2.878 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x
2.878 * [taylor]: Taking taylor expansion of 1.0 in x
2.878 * [backup-simplify]: Simplify 1.0 into 1.0
2.878 * [taylor]: Taking taylor expansion of (/ 1 z) in x
2.878 * [taylor]: Taking taylor expansion of z in x
2.878 * [backup-simplify]: Simplify z into z
2.878 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.879 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
2.879 * [backup-simplify]: Simplify (+ (/ 1 z) (/ 1 y)) into (+ (/ 1 y) (/ 1 z))
2.879 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y
2.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.879 * [taylor]: Taking taylor expansion of y in y
2.879 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify 1 into 1
2.879 * [backup-simplify]: Simplify (/ 1 1) into 1
2.879 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.879 * [taylor]: Taking taylor expansion of z in y
2.879 * [backup-simplify]: Simplify z into z
2.879 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.879 * [backup-simplify]: Simplify (+ 1 0) into 1
2.879 * [taylor]: Taking taylor expansion of 1 in z
2.879 * [backup-simplify]: Simplify 1 into 1
2.880 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
2.880 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.881 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
2.881 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
2.881 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
2.881 * [backup-simplify]: Simplify (+ 0 (/ 1.0 z)) into (* 1.0 (/ 1 z))
2.881 * [backup-simplify]: Simplify (+ 0 (* 1.0 (/ 1 z))) into (* 1.0 (/ 1 z))
2.881 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y
2.881 * [taylor]: Taking taylor expansion of 1.0 in y
2.881 * [backup-simplify]: Simplify 1.0 into 1.0
2.881 * [taylor]: Taking taylor expansion of (/ 1 z) in y
2.881 * [taylor]: Taking taylor expansion of z in y
2.881 * [backup-simplify]: Simplify z into z
2.881 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
2.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.882 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z)
2.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.882 * [taylor]: Taking taylor expansion of z in z
2.882 * [backup-simplify]: Simplify 0 into 0
2.882 * [backup-simplify]: Simplify 1 into 1
2.882 * [backup-simplify]: Simplify (/ 1 1) into 1
2.882 * [backup-simplify]: Simplify 1 into 1
2.882 * [backup-simplify]: Simplify 1 into 1
2.883 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
2.883 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
2.884 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
2.884 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
2.885 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
2.885 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (/ 1 z))) into 0
2.885 * [backup-simplify]: Simplify (+ 0 0) into 0
2.886 * [backup-simplify]: Simplify (+ 0 0) into 0
2.886 * [taylor]: Taking taylor expansion of 0 in y
2.886 * [backup-simplify]: Simplify 0 into 0
2.886 * [backup-simplify]: Simplify (* 1.0 (/ 1 z)) into (/ 1.0 z)
2.886 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z
2.886 * [taylor]: Taking taylor expansion of 1.0 in z
2.886 * [backup-simplify]: Simplify 1.0 into 1.0
2.886 * [taylor]: Taking taylor expansion of z in z
2.886 * [backup-simplify]: Simplify 0 into 0
2.886 * [backup-simplify]: Simplify 1 into 1
2.887 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
2.887 * [backup-simplify]: Simplify 1.0 into 1.0
2.888 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 (- z))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) (* 1 (* (/ 1 (/ 1 (- z))) (* 1 (/ 1 (/ 1 (- x)))))))) into (- (+ (* x y) (* x z)) (* 1.0 z))
2.888 * * * [progress]: simplifying candidates
2.889 * [simplify]: Simplifying:
  (* x (+ y z))
  (+ (log x) (log (+ y z)))
  (log (* x (+ y z)))
  (exp (* x (+ y z)))
  (* (* (* x x) x) (* (* (+ y z) (+ y z)) (+ y z)))
  (* (cbrt (* x (+ y z))) (cbrt (* x (+ y z))))
  (cbrt (* x (+ y z)))
  (* (* (* x (+ y z)) (* x (+ y z))) (* x (+ y z)))
  (sqrt (* x (+ y z)))
  (sqrt (* x (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* x y)
  (* x z)
  (* y x)
  (* z x)
  (* x (* (cbrt (+ y z)) (cbrt (+ y z))))
  (* x (sqrt (+ y z)))
  (* x 1)
  (* x 1)
  (* (cbrt x) (+ y z))
  (* (sqrt x) (+ y z))
  (* x (+ y z))
  (* x (+ (pow y 3) (pow z 3)))
  (* x (- (* y y) (* z z)))
  (/ (exp (* x (+ y z))) (exp (* z 1.0)))
  (log (- (* x (+ y z)) (* z 1.0)))
  (exp (- (* x (+ y z)) (* z 1.0)))
  (* (cbrt (- (* x (+ y z)) (* z 1.0))) (cbrt (- (* x (+ y z)) (* z 1.0))))
  (cbrt (- (* x (+ y z)) (* z 1.0)))
  (* (* (- (* x (+ y z)) (* z 1.0)) (- (* x (+ y z)) (* z 1.0))) (- (* x (+ y z)) (* z 1.0)))
  (sqrt (- (* x (+ y z)) (* z 1.0)))
  (sqrt (- (* x (+ y z)) (* z 1.0)))
  (- (pow (* x (+ y z)) 3) (pow (* z 1.0) 3))
  (+ (* (* x (+ y z)) (* x (+ y z))) (+ (* (* z 1.0) (* z 1.0)) (* (* x (+ y z)) (* z 1.0))))
  (- (* z 1.0))
  (- (* (* x (+ y z)) (* x (+ y z))) (* (* z 1.0) (* z 1.0)))
  (+ (* x (+ y z)) (* z 1.0))
  (- (* x z) (* z 1.0))
  (- (* z x) (* z 1.0))
  (- (* z 1.0))
  (+ (* x y) (* x z))
  (+ (* x z) (* x y))
  (+ (* x z) (* x y))
  (- (+ (* x y) (* x z)) (* 1.0 z))
  (- (+ (* x y) (* x z)) (* 1.0 z))
  (- (+ (* x y) (* x z)) (* 1.0 z))
2.890 * * [simplify]: iteration 0: 73 enodes
2.921 * * [simplify]: iteration 1: 217 enodes
3.030 * * [simplify]: iteration 2: 919 enodes
3.539 * * [simplify]: iteration complete: 5000 enodes
3.539 * * [simplify]: Extracting #0: cost 31 inf + 0
3.541 * * [simplify]: Extracting #1: cost 710 inf + 1
3.552 * * [simplify]: Extracting #2: cost 1867 inf + 11166
3.588 * * [simplify]: Extracting #3: cost 1335 inf + 140954
3.666 * * [simplify]: Extracting #4: cost 246 inf + 368645
3.763 * * [simplify]: Extracting #5: cost 14 inf + 420037
3.890 * * [simplify]: Extracting #6: cost 2 inf + 421830
4.038 * * [simplify]: Extracting #7: cost 0 inf + 422336
4.170 * [simplify]: Simplified to:
  (* (+ y z) x)
  (log (* (+ y z) x))
  (log (* (+ y z) x))
  (exp (* (+ y z) x))
  (* (* (+ y z) x) (* (* (+ y z) x) (* (+ y z) x)))
  (* (cbrt (* (+ y z) x)) (cbrt (* (+ y z) x)))
  (cbrt (* (+ y z) x))
  (* (* (+ y z) x) (* (* (+ y z) x) (* (+ y z) x)))
  (sqrt (* (+ y z) x))
  (sqrt (* (+ y z) x))
  (* (sqrt x) (sqrt (+ y z)))
  (* (sqrt x) (sqrt (+ y z)))
  (* y x)
  (* x z)
  (* y x)
  (* x z)
  (* x (* (cbrt (+ y z)) (cbrt (+ y z))))
  (* (sqrt (+ y z)) x)
  x
  x
  (* (+ y z) (cbrt x))
  (* (sqrt x) (+ y z))
  (* (+ y z) x)
  (* x (+ (* (* z z) z) (* (* y y) y)))
  (* x (* (+ y z) (- y z)))
  (exp (- (* (+ y z) x) (* z 1.0)))
  (log (+ (* y x) (* z (- x 1.0))))
  (exp (- (* (+ y z) x) (* z 1.0)))
  (* (cbrt (+ (* y x) (* z (- x 1.0)))) (cbrt (+ (* y x) (* z (- x 1.0)))))
  (cbrt (+ (* y x) (* z (- x 1.0))))
  (* (+ (* y x) (* z (- x 1.0))) (* (+ (* y x) (* z (- x 1.0))) (+ (* y x) (* z (- x 1.0)))))
  (sqrt (+ (* y x) (* z (- x 1.0))))
  (sqrt (+ (* y x) (* z (- x 1.0))))
  (- (* (* (+ y z) x) (* (* (+ y z) x) (* (+ y z) x))) (* (* z 1.0) (* (* z 1.0) (* z 1.0))))
  (+ (* (* z 1.0) (* z 1.0)) (* (* (+ y z) x) (+ (* z 1.0) (* (+ y z) x))))
  (* 1.0 (- z))
  (- (* (* (+ y z) x) (* (+ y z) x)) (* (* z 1.0) (* z 1.0)))
  (+ (* z 1.0) (* (+ y z) x))
  (* z (- x 1.0))
  (* z (- x 1.0))
  (* 1.0 (- z))
  (* (+ y z) x)
  (* (+ y z) x)
  (* (+ y z) x)
  (+ (* y x) (* z (- x 1.0)))
  (+ (* y x) (* z (- x 1.0)))
  (+ (* y x) (* z (- x 1.0)))
4.173 * * * [progress]: adding candidates to table
4.420 * * [progress]: iteration 3 / 4
4.420 * * * [progress]: picking best candidate
4.424 * * * * [pick]: Picked  #<alt (λ (x y z) (+ (* x y) (* (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (* (cbrt (- x 1.0)) z))))>
4.424 * * * [progress]: localizing error
4.450 * * * [progress]: generating rewritten candidates
4.450 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
4.493 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
4.501 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
4.506 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
4.519 * * * [progress]: generating series expansions
4.519 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
4.519 * [backup-simplify]: Simplify (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) into (pow (pow (- x 1.0) 2) 1/3)
4.519 * [approximate]: Taking taylor expansion of (pow (pow (- x 1.0) 2) 1/3) in (x) around 0
4.519 * [taylor]: Taking taylor expansion of (pow (pow (- x 1.0) 2) 1/3) in x
4.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x 1.0) 2)))) in x
4.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x 1.0) 2))) in x
4.519 * [taylor]: Taking taylor expansion of 1/3 in x
4.519 * [backup-simplify]: Simplify 1/3 into 1/3
4.519 * [taylor]: Taking taylor expansion of (log (pow (- x 1.0) 2)) in x
4.519 * [taylor]: Taking taylor expansion of (pow (- x 1.0) 2) in x
4.519 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.519 * [taylor]: Taking taylor expansion of x in x
4.519 * [backup-simplify]: Simplify 0 into 0
4.519 * [backup-simplify]: Simplify 1 into 1
4.519 * [taylor]: Taking taylor expansion of 1.0 in x
4.519 * [backup-simplify]: Simplify 1.0 into 1.0
4.520 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.521 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.523 * [backup-simplify]: Simplify (* (- 1.0) (- 1.0)) into 1.0
4.523 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
4.524 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
4.526 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
4.526 * [taylor]: Taking taylor expansion of (pow (pow (- x 1.0) 2) 1/3) in x
4.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- x 1.0) 2)))) in x
4.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- x 1.0) 2))) in x
4.526 * [taylor]: Taking taylor expansion of 1/3 in x
4.526 * [backup-simplify]: Simplify 1/3 into 1/3
4.526 * [taylor]: Taking taylor expansion of (log (pow (- x 1.0) 2)) in x
4.526 * [taylor]: Taking taylor expansion of (pow (- x 1.0) 2) in x
4.526 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.526 * [taylor]: Taking taylor expansion of x in x
4.526 * [backup-simplify]: Simplify 0 into 0
4.526 * [backup-simplify]: Simplify 1 into 1
4.526 * [taylor]: Taking taylor expansion of 1.0 in x
4.526 * [backup-simplify]: Simplify 1.0 into 1.0
4.527 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.528 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.530 * [backup-simplify]: Simplify (* (- 1.0) (- 1.0)) into 1.0
4.530 * [backup-simplify]: Simplify (log 1.0) into (log 1.0)
4.531 * [backup-simplify]: Simplify (* 1/3 (log 1.0)) into (* 1/3 (log 1.0))
4.533 * [backup-simplify]: Simplify (exp (* 1/3 (log 1.0))) into (pow 1.0 1/3)
4.534 * [backup-simplify]: Simplify (pow 1.0 1/3) into (pow 1.0 1/3)
4.534 * [backup-simplify]: Simplify (- 0) into 0
4.534 * [backup-simplify]: Simplify (+ 1 0) into 1
4.537 * [backup-simplify]: Simplify (+ (* (- 1.0) 1) (* 1 (- 1.0))) into (- 2.0)
4.546 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1.0 1)))) 1) into -2.0
4.548 * [backup-simplify]: Simplify (+ (* 1/3 -2.0) (* 0 (log 1.0))) into (- 0.6666666666666666)
4.556 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.6666666666666666) 1) 1)))) into (* -0.6666666666666666 (pow 1.0 1/3))
4.557 * [backup-simplify]: Simplify (* -0.6666666666666666 (pow 1.0 1/3)) into (* -0.6666666666666666 (pow 1.0 1/3))
4.558 * [backup-simplify]: Simplify (- 0) into 0
4.558 * [backup-simplify]: Simplify (+ 0 0) into 0
4.560 * [backup-simplify]: Simplify (+ (* (- 1.0) 0) (+ (* 1 1) (* 0 (- 1.0)))) into 1
4.572 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow 1.0 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1.0 1)))) 2) into (* 1/2 (- 2.0 (* 4.0 (/ 1 (pow 1.0 2)))))
4.579 * [backup-simplify]: Simplify (+ (* 1/3 (* 1/2 (- 2.0 (* 4.0 (/ 1 (pow 1.0 2)))))) (+ (* 0 -2.0) (* 0 (log 1.0)))) into (- 0.3333333333333333 (* 0.6666666666666666 (/ 1 (pow 1.0 2))))
4.590 * [backup-simplify]: Simplify (* (exp (* 1/3 (log 1.0))) (+ (* (/ (pow (- 0.6666666666666666) 2) 2)) (* (/ (pow (- 0.3333333333333333 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) 1) 1)))) into (* (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
4.593 * [backup-simplify]: Simplify (* (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) into (* (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3))
4.598 * [backup-simplify]: Simplify (+ (* (* (- 0.5555555555555556 (* 0.6666666666666666 (/ 1 (pow 1.0 2)))) (pow 1.0 1/3)) (pow x 2)) (+ (* (* -0.6666666666666666 (pow 1.0 1/3)) x) (pow 1.0 1/3))) into (- (+ (* 0.5555555555555556 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.6666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (* 0.6666666666666666 (* x (pow 1.0 1/3)))))
4.598 * [backup-simplify]: Simplify (* (cbrt (- (/ 1 x) 1.0)) (cbrt (- (/ 1 x) 1.0))) into (pow (pow (- (/ 1 x) 1.0) 2) 1/3)
4.598 * [approximate]: Taking taylor expansion of (pow (pow (- (/ 1 x) 1.0) 2) 1/3) in (x) around 0
4.598 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) 1.0) 2) 1/3) in x
4.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) 1.0) 2)))) in x
4.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) 1.0) 2))) in x
4.598 * [taylor]: Taking taylor expansion of 1/3 in x
4.598 * [backup-simplify]: Simplify 1/3 into 1/3
4.598 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) 1.0) 2)) in x
4.598 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 2) in x
4.598 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.598 * [taylor]: Taking taylor expansion of x in x
4.598 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify 1 into 1
4.598 * [backup-simplify]: Simplify (/ 1 1) into 1
4.598 * [taylor]: Taking taylor expansion of 1.0 in x
4.598 * [backup-simplify]: Simplify 1.0 into 1.0
4.599 * [backup-simplify]: Simplify (+ 1 0) into 1
4.599 * [backup-simplify]: Simplify (* 1 1) into 1
4.599 * [backup-simplify]: Simplify (log 1) into 0
4.600 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
4.600 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x))
4.600 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3)
4.600 * [taylor]: Taking taylor expansion of (pow (pow (- (/ 1 x) 1.0) 2) 1/3) in x
4.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- (/ 1 x) 1.0) 2)))) in x
4.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- (/ 1 x) 1.0) 2))) in x
4.600 * [taylor]: Taking taylor expansion of 1/3 in x
4.600 * [backup-simplify]: Simplify 1/3 into 1/3
4.600 * [taylor]: Taking taylor expansion of (log (pow (- (/ 1 x) 1.0) 2)) in x
4.600 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 2) in x
4.600 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.600 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.600 * [taylor]: Taking taylor expansion of x in x
4.600 * [backup-simplify]: Simplify 0 into 0
4.600 * [backup-simplify]: Simplify 1 into 1
4.600 * [backup-simplify]: Simplify (/ 1 1) into 1
4.600 * [taylor]: Taking taylor expansion of 1.0 in x
4.600 * [backup-simplify]: Simplify 1.0 into 1.0
4.601 * [backup-simplify]: Simplify (+ 1 0) into 1
4.601 * [backup-simplify]: Simplify (* 1 1) into 1
4.601 * [backup-simplify]: Simplify (log 1) into 0
4.601 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
4.601 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x))
4.602 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3)
4.602 * [backup-simplify]: Simplify (pow x -2/3) into (pow x -2/3)
4.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.603 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.603 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.605 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (* (- 1.0) 1)) into (- 2.0)
4.610 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 2.0)) 1)) (pow 1 1)))) 1) into -2.0
4.610 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
4.610 * [backup-simplify]: Simplify (+ (* 1/3 -2.0) (* 0 (- (* 2 (log x))))) into (- 0.6666666666666666)
4.612 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow (- 0.6666666666666666) 1) 1)))) into (* -0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3))
4.613 * [backup-simplify]: Simplify (* -0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3)) into (* -0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3))
4.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.614 * [backup-simplify]: Simplify (- 0) into 0
4.614 * [backup-simplify]: Simplify (+ 0 0) into 0
4.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- 1.0) (- 1.0)) (* 0 1))) into 1.0
4.629 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 2.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into -1.0
4.629 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
4.630 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (+ (* 0 -2.0) (* 0 (- (* 2 (log x)))))) into (- 0.3333333333333333)
4.634 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow (- 0.6666666666666666) 2) 2)) (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3))
4.634 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3)) into (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3))
4.635 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (pow (/ 1 x) 2)) 1/3)) (pow (/ 1 x) 2)) (+ (* (* -0.6666666666666666 (pow (/ 1 (pow (/ 1 x) 2)) 1/3)) (/ 1 x)) (pow (/ 1 x) -2/3))) into (- (pow (/ 1 x) -2/3) (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3))))
4.635 * [backup-simplify]: Simplify (* (cbrt (- (/ 1 (- x)) 1.0)) (cbrt (- (/ 1 (- x)) 1.0))) into (* (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) (pow (cbrt -1) 2))
4.635 * [approximate]: Taking taylor expansion of (* (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) (pow (cbrt -1) 2)) in (x) around 0
4.635 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) (pow (cbrt -1) 2)) in x
4.635 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) in x
4.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2)))) in x
4.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2))) in x
4.635 * [taylor]: Taking taylor expansion of 1/3 in x
4.635 * [backup-simplify]: Simplify 1/3 into 1/3
4.635 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1.0) 2)) in x
4.635 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x
4.635 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.635 * [taylor]: Taking taylor expansion of x in x
4.635 * [backup-simplify]: Simplify 0 into 0
4.635 * [backup-simplify]: Simplify 1 into 1
4.635 * [backup-simplify]: Simplify (/ 1 1) into 1
4.636 * [taylor]: Taking taylor expansion of 1.0 in x
4.636 * [backup-simplify]: Simplify 1.0 into 1.0
4.636 * [backup-simplify]: Simplify (+ 1 0) into 1
4.636 * [backup-simplify]: Simplify (* 1 1) into 1
4.636 * [backup-simplify]: Simplify (log 1) into 0
4.637 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
4.637 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x))
4.637 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3)
4.637 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
4.637 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.637 * [taylor]: Taking taylor expansion of -1 in x
4.637 * [backup-simplify]: Simplify -1 into -1
4.637 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
4.638 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
4.638 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) (pow (cbrt -1) 2)) in x
4.638 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) in x
4.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2)))) in x
4.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2))) in x
4.638 * [taylor]: Taking taylor expansion of 1/3 in x
4.638 * [backup-simplify]: Simplify 1/3 into 1/3
4.638 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1.0) 2)) in x
4.638 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x
4.638 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.638 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.638 * [taylor]: Taking taylor expansion of x in x
4.638 * [backup-simplify]: Simplify 0 into 0
4.638 * [backup-simplify]: Simplify 1 into 1
4.639 * [backup-simplify]: Simplify (/ 1 1) into 1
4.639 * [taylor]: Taking taylor expansion of 1.0 in x
4.639 * [backup-simplify]: Simplify 1.0 into 1.0
4.639 * [backup-simplify]: Simplify (+ 1 0) into 1
4.639 * [backup-simplify]: Simplify (* 1 1) into 1
4.640 * [backup-simplify]: Simplify (log 1) into 0
4.640 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
4.640 * [backup-simplify]: Simplify (* 1/3 (- (* 2 (log x)))) into (* -2/3 (log x))
4.640 * [backup-simplify]: Simplify (exp (* -2/3 (log x))) into (pow x -2/3)
4.640 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
4.640 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.640 * [taylor]: Taking taylor expansion of -1 in x
4.640 * [backup-simplify]: Simplify -1 into -1
4.641 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
4.641 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
4.642 * [backup-simplify]: Simplify (* (cbrt -1) (cbrt -1)) into (pow (cbrt -1) 2)
4.643 * [backup-simplify]: Simplify (* (pow x -2/3) (pow (cbrt -1) 2)) into (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2))
4.644 * [backup-simplify]: Simplify (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) into (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2))
4.645 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (* 0 (cbrt -1))) into 0
4.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.646 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.647 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
4.650 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 2.0) 1)) (pow 1 1)))) 1) into 2.0
4.651 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
4.651 * [backup-simplify]: Simplify (+ (* 1/3 2.0) (* 0 (- (* 2 (log x))))) into 0.6666666666666666
4.653 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow 0.6666666666666666 1) 1)))) into (* 0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3))
4.654 * [backup-simplify]: Simplify (+ (* (pow x -2/3) 0) (* (* 0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3)) (pow (cbrt -1) 2))) into (* 0.6666666666666666 (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)))
4.655 * [backup-simplify]: Simplify (* 0.6666666666666666 (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2))) into (* 0.6666666666666666 (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)))
4.656 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
4.657 * [backup-simplify]: Simplify (+ (* (cbrt -1) 0) (+ (* 0 0) (* 0 (cbrt -1)))) into 0
4.658 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.658 * [backup-simplify]: Simplify (+ 0 0) into 0
4.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 1.0) (* 0 1))) into 1.0
4.668 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 2.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1.0) 1)) (pow 1 1)))) 2) into -1.0
4.669 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x)))
4.669 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (+ (* 0 2.0) (* 0 (- (* 2 (log x)))))) into (- 0.3333333333333333)
4.673 * [backup-simplify]: Simplify (* (exp (* -2/3 (log x))) (+ (* (/ (pow 0.6666666666666666 2) 2)) (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3))
4.675 * [backup-simplify]: Simplify (+ (* (pow x -2/3) 0) (+ (* (* 0.6666666666666666 (pow (/ 1 (pow x 2)) 1/3)) 0) (* (* -0.1111111111111111 (pow (/ 1 (pow x 2)) 1/3)) (pow (cbrt -1) 2)))) into (- (* 0.1111111111111111 (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2))))
4.676 * [backup-simplify]: Simplify (- (* 0.1111111111111111 (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)))) into (- (* 0.1111111111111111 (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2))))
4.680 * [backup-simplify]: Simplify (+ (* (- (* 0.1111111111111111 (* (pow (/ 1 (pow (/ 1 (- x)) 2)) 1/3) (pow (cbrt -1) 2)))) (pow (/ 1 (- x)) 2)) (+ (* (* 0.6666666666666666 (* (pow (/ 1 (pow (/ 1 (- x)) 2)) 1/3) (pow (cbrt -1) 2))) (/ 1 (- x))) (* (pow (/ 1 (pow (/ 1 (- x)) 2)) 1/3) (pow (cbrt -1) 2)))) into (- (* (pow (pow x 2) 1/3) (pow (cbrt -1) 2)) (+ (* 0.6666666666666666 (* (pow (/ 1 x) 1/3) (pow (cbrt -1) 2))) (* 0.1111111111111111 (* (pow (/ 1 (pow x 4)) 1/3) (pow (cbrt -1) 2)))))
4.680 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
4.680 * [backup-simplify]: Simplify (cbrt (- x 1.0)) into (pow (- x 1.0) 1/3)
4.680 * [approximate]: Taking taylor expansion of (pow (- x 1.0) 1/3) in (x) around 0
4.680 * [taylor]: Taking taylor expansion of (pow (- x 1.0) 1/3) in x
4.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x 1.0)))) in x
4.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x 1.0))) in x
4.680 * [taylor]: Taking taylor expansion of 1/3 in x
4.680 * [backup-simplify]: Simplify 1/3 into 1/3
4.680 * [taylor]: Taking taylor expansion of (log (- x 1.0)) in x
4.680 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.680 * [taylor]: Taking taylor expansion of x in x
4.680 * [backup-simplify]: Simplify 0 into 0
4.680 * [backup-simplify]: Simplify 1 into 1
4.680 * [taylor]: Taking taylor expansion of 1.0 in x
4.680 * [backup-simplify]: Simplify 1.0 into 1.0
4.681 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.681 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.682 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0))
4.683 * [backup-simplify]: Simplify (* 1/3 (log (- 1.0))) into (* 1/3 (log (- 1.0)))
4.684 * [backup-simplify]: Simplify (exp (* 1/3 (log (- 1.0)))) into (pow (- 1.0) 1/3)
4.684 * [taylor]: Taking taylor expansion of (pow (- x 1.0) 1/3) in x
4.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x 1.0)))) in x
4.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x 1.0))) in x
4.684 * [taylor]: Taking taylor expansion of 1/3 in x
4.684 * [backup-simplify]: Simplify 1/3 into 1/3
4.684 * [taylor]: Taking taylor expansion of (log (- x 1.0)) in x
4.684 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.684 * [taylor]: Taking taylor expansion of x in x
4.684 * [backup-simplify]: Simplify 0 into 0
4.684 * [backup-simplify]: Simplify 1 into 1
4.684 * [taylor]: Taking taylor expansion of 1.0 in x
4.684 * [backup-simplify]: Simplify 1.0 into 1.0
4.684 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.685 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.686 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0))
4.686 * [backup-simplify]: Simplify (* 1/3 (log (- 1.0))) into (* 1/3 (log (- 1.0)))
4.688 * [backup-simplify]: Simplify (exp (* 1/3 (log (- 1.0)))) into (pow (- 1.0) 1/3)
4.689 * [backup-simplify]: Simplify (pow (- 1.0) 1/3) into (pow (- 1.0) 1/3)
4.689 * [backup-simplify]: Simplify (- 0) into 0
4.689 * [backup-simplify]: Simplify (+ 1 0) into 1
4.693 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- 1.0) 1)))) 1) into -1.0
4.695 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log (- 1.0)))) into (- 0.3333333333333333)
4.700 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- 1.0)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow -1.0 1/3))
4.700 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow -1.0 1/3)) into (* -0.3333333333333333 (pow -1.0 1/3))
4.701 * [backup-simplify]: Simplify (- 0) into 0
4.701 * [backup-simplify]: Simplify (+ 0 0) into 0
4.712 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- 1.0) 1)))) 2) into (/ -1/2 (pow -1.0 2))
4.721 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow -1.0 2))) (+ (* 0 -1.0) (* 0 (log (- 1.0))))) into (- (* 1/6 (/ 1 (pow -1.0 2))))
4.740 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- 1.0)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow -1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3))
4.745 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3))
4.754 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3)) (pow x 2)) (+ (* (* -0.3333333333333333 (pow -1.0 1/3)) x) (pow (- 1.0) 1/3))) into (- (+ (* 0.05555555555555555 (* (pow x 2) (pow -1.0 1/3))) (pow (- 1.0) 1/3)) (+ (* 0.3333333333333333 (* x (pow -1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow -1.0 5)) 1/3)))))
4.754 * [backup-simplify]: Simplify (cbrt (- (/ 1 x) 1.0)) into (pow (- (/ 1 x) 1.0) 1/3)
4.754 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 1/3) in (x) around 0
4.754 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 1/3) in x
4.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) 1.0)))) in x
4.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) 1.0))) in x
4.754 * [taylor]: Taking taylor expansion of 1/3 in x
4.754 * [backup-simplify]: Simplify 1/3 into 1/3
4.754 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1.0)) in x
4.754 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.754 * [taylor]: Taking taylor expansion of x in x
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify 1 into 1
4.755 * [backup-simplify]: Simplify (/ 1 1) into 1
4.755 * [taylor]: Taking taylor expansion of 1.0 in x
4.755 * [backup-simplify]: Simplify 1.0 into 1.0
4.755 * [backup-simplify]: Simplify (+ 1 0) into 1
4.755 * [backup-simplify]: Simplify (log 1) into 0
4.756 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.756 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
4.756 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
4.756 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 1/3) in x
4.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) 1.0)))) in x
4.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) 1.0))) in x
4.756 * [taylor]: Taking taylor expansion of 1/3 in x
4.756 * [backup-simplify]: Simplify 1/3 into 1/3
4.756 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1.0)) in x
4.756 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.756 * [taylor]: Taking taylor expansion of x in x
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 1 into 1
4.756 * [backup-simplify]: Simplify (/ 1 1) into 1
4.756 * [taylor]: Taking taylor expansion of 1.0 in x
4.756 * [backup-simplify]: Simplify 1.0 into 1.0
4.757 * [backup-simplify]: Simplify (+ 1 0) into 1
4.757 * [backup-simplify]: Simplify (log 1) into 0
4.757 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.757 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
4.757 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
4.758 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3)
4.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.758 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.759 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.764 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
4.764 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.764 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log x)))) into (- 0.3333333333333333)
4.766 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 x) 1/3))
4.766 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 x) 1/3)) into (* -0.3333333333333333 (pow (/ 1 x) 1/3))
4.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.767 * [backup-simplify]: Simplify (- 0) into 0
4.768 * [backup-simplify]: Simplify (+ 0 0) into 0
4.775 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
4.776 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.776 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
4.780 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
4.780 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 x) 1/3)) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
4.781 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 x)) 1/3)) (pow (/ 1 x) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (/ 1 x)) 1/3)) (/ 1 x)) (pow (/ 1 x) -1/3))) into (- (pow (/ 1 x) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))
4.781 * [backup-simplify]: Simplify (cbrt (- (/ 1 (- x)) 1.0)) into (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1))
4.781 * [approximate]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1)) in (x) around 0
4.781 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1)) in x
4.781 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
4.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
4.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
4.781 * [taylor]: Taking taylor expansion of 1/3 in x
4.781 * [backup-simplify]: Simplify 1/3 into 1/3
4.781 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
4.781 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.781 * [taylor]: Taking taylor expansion of x in x
4.781 * [backup-simplify]: Simplify 0 into 0
4.781 * [backup-simplify]: Simplify 1 into 1
4.782 * [backup-simplify]: Simplify (/ 1 1) into 1
4.782 * [taylor]: Taking taylor expansion of 1.0 in x
4.782 * [backup-simplify]: Simplify 1.0 into 1.0
4.782 * [backup-simplify]: Simplify (+ 1 0) into 1
4.782 * [backup-simplify]: Simplify (log 1) into 0
4.783 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.783 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
4.783 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
4.783 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.783 * [taylor]: Taking taylor expansion of -1 in x
4.783 * [backup-simplify]: Simplify -1 into -1
4.783 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
4.784 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
4.784 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1)) in x
4.784 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
4.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
4.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
4.784 * [taylor]: Taking taylor expansion of 1/3 in x
4.784 * [backup-simplify]: Simplify 1/3 into 1/3
4.784 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
4.784 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.784 * [taylor]: Taking taylor expansion of x in x
4.784 * [backup-simplify]: Simplify 0 into 0
4.784 * [backup-simplify]: Simplify 1 into 1
4.784 * [backup-simplify]: Simplify (/ 1 1) into 1
4.784 * [taylor]: Taking taylor expansion of 1.0 in x
4.784 * [backup-simplify]: Simplify 1.0 into 1.0
4.784 * [backup-simplify]: Simplify (+ 1 0) into 1
4.785 * [backup-simplify]: Simplify (log 1) into 0
4.785 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.785 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
4.785 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
4.785 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.785 * [taylor]: Taking taylor expansion of -1 in x
4.785 * [backup-simplify]: Simplify -1 into -1
4.786 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
4.786 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
4.787 * [backup-simplify]: Simplify (* (pow x -1/3) (cbrt -1)) into (* (pow (/ 1 x) 1/3) (cbrt -1))
4.787 * [backup-simplify]: Simplify (* (pow (/ 1 x) 1/3) (cbrt -1)) into (* (pow (/ 1 x) 1/3) (cbrt -1))
4.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.789 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.796 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
4.796 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.797 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log x)))) into 0.3333333333333333
4.800 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
4.801 * [backup-simplify]: Simplify (+ (* (pow x -1/3) 0) (* (* 0.3333333333333333 (pow (/ 1 x) 1/3)) (cbrt -1))) into (* 0.3333333333333333 (* (pow (/ 1 x) 1/3) (cbrt -1)))
4.802 * [backup-simplify]: Simplify (* 0.3333333333333333 (* (pow (/ 1 x) 1/3) (cbrt -1))) into (* 0.3333333333333333 (* (pow (/ 1 x) 1/3) (cbrt -1)))
4.803 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
4.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.805 * [backup-simplify]: Simplify (+ 0 0) into 0
4.817 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
4.817 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.818 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
4.824 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
4.826 * [backup-simplify]: Simplify (+ (* (pow x -1/3) 0) (+ (* (* 0.3333333333333333 (pow (/ 1 x) 1/3)) 0) (* (* -0.1111111111111111 (pow (/ 1 x) 1/3)) (cbrt -1)))) into (- (* 0.1111111111111111 (* (pow (/ 1 x) 1/3) (cbrt -1))))
4.827 * [backup-simplify]: Simplify (- (* 0.1111111111111111 (* (pow (/ 1 x) 1/3) (cbrt -1)))) into (- (* 0.1111111111111111 (* (pow (/ 1 x) 1/3) (cbrt -1))))
4.830 * [backup-simplify]: Simplify (+ (* (- (* 0.1111111111111111 (* (pow (/ 1 (/ 1 (- x))) 1/3) (cbrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* (* 0.3333333333333333 (* (pow (/ 1 (/ 1 (- x))) 1/3) (cbrt -1))) (/ 1 (- x))) (* (pow (/ 1 (/ 1 (- x))) 1/3) (cbrt -1)))) into (- (* (pow (* x -1) 1/3) (cbrt -1)) (+ (* 0.1111111111111111 (* (pow (/ -1 (pow x 5)) 1/3) (cbrt -1))) (* 0.3333333333333333 (* (pow (/ -1 (pow x 2)) 1/3) (cbrt -1)))))
4.831 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
4.831 * [backup-simplify]: Simplify (cbrt (- x 1.0)) into (pow (- x 1.0) 1/3)
4.831 * [approximate]: Taking taylor expansion of (pow (- x 1.0) 1/3) in (x) around 0
4.831 * [taylor]: Taking taylor expansion of (pow (- x 1.0) 1/3) in x
4.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x 1.0)))) in x
4.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x 1.0))) in x
4.831 * [taylor]: Taking taylor expansion of 1/3 in x
4.831 * [backup-simplify]: Simplify 1/3 into 1/3
4.831 * [taylor]: Taking taylor expansion of (log (- x 1.0)) in x
4.831 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.831 * [taylor]: Taking taylor expansion of x in x
4.831 * [backup-simplify]: Simplify 0 into 0
4.831 * [backup-simplify]: Simplify 1 into 1
4.831 * [taylor]: Taking taylor expansion of 1.0 in x
4.831 * [backup-simplify]: Simplify 1.0 into 1.0
4.832 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.833 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.834 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0))
4.835 * [backup-simplify]: Simplify (* 1/3 (log (- 1.0))) into (* 1/3 (log (- 1.0)))
4.837 * [backup-simplify]: Simplify (exp (* 1/3 (log (- 1.0)))) into (pow (- 1.0) 1/3)
4.837 * [taylor]: Taking taylor expansion of (pow (- x 1.0) 1/3) in x
4.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x 1.0)))) in x
4.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x 1.0))) in x
4.838 * [taylor]: Taking taylor expansion of 1/3 in x
4.838 * [backup-simplify]: Simplify 1/3 into 1/3
4.838 * [taylor]: Taking taylor expansion of (log (- x 1.0)) in x
4.838 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.838 * [taylor]: Taking taylor expansion of x in x
4.838 * [backup-simplify]: Simplify 0 into 0
4.838 * [backup-simplify]: Simplify 1 into 1
4.838 * [taylor]: Taking taylor expansion of 1.0 in x
4.838 * [backup-simplify]: Simplify 1.0 into 1.0
4.838 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.840 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.841 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0))
4.842 * [backup-simplify]: Simplify (* 1/3 (log (- 1.0))) into (* 1/3 (log (- 1.0)))
4.844 * [backup-simplify]: Simplify (exp (* 1/3 (log (- 1.0)))) into (pow (- 1.0) 1/3)
4.845 * [backup-simplify]: Simplify (pow (- 1.0) 1/3) into (pow (- 1.0) 1/3)
4.845 * [backup-simplify]: Simplify (- 0) into 0
4.845 * [backup-simplify]: Simplify (+ 1 0) into 1
4.849 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- 1.0) 1)))) 1) into -1.0
4.852 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log (- 1.0)))) into (- 0.3333333333333333)
4.857 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- 1.0)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow -1.0 1/3))
4.858 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow -1.0 1/3)) into (* -0.3333333333333333 (pow -1.0 1/3))
4.858 * [backup-simplify]: Simplify (- 0) into 0
4.859 * [backup-simplify]: Simplify (+ 0 0) into 0
4.865 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- 1.0) 1)))) 2) into (/ -1/2 (pow -1.0 2))
4.868 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow -1.0 2))) (+ (* 0 -1.0) (* 0 (log (- 1.0))))) into (- (* 1/6 (/ 1 (pow -1.0 2))))
4.879 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- 1.0)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow -1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3))
4.882 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3))
4.887 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3)) (pow x 2)) (+ (* (* -0.3333333333333333 (pow -1.0 1/3)) x) (pow (- 1.0) 1/3))) into (- (+ (* 0.05555555555555555 (* (pow x 2) (pow -1.0 1/3))) (pow (- 1.0) 1/3)) (+ (* 0.3333333333333333 (* x (pow -1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow -1.0 5)) 1/3)))))
4.887 * [backup-simplify]: Simplify (cbrt (- (/ 1 x) 1.0)) into (pow (- (/ 1 x) 1.0) 1/3)
4.887 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 1/3) in (x) around 0
4.887 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 1/3) in x
4.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) 1.0)))) in x
4.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) 1.0))) in x
4.887 * [taylor]: Taking taylor expansion of 1/3 in x
4.887 * [backup-simplify]: Simplify 1/3 into 1/3
4.887 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1.0)) in x
4.887 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.887 * [taylor]: Taking taylor expansion of x in x
4.887 * [backup-simplify]: Simplify 0 into 0
4.887 * [backup-simplify]: Simplify 1 into 1
4.887 * [backup-simplify]: Simplify (/ 1 1) into 1
4.887 * [taylor]: Taking taylor expansion of 1.0 in x
4.887 * [backup-simplify]: Simplify 1.0 into 1.0
4.888 * [backup-simplify]: Simplify (+ 1 0) into 1
4.888 * [backup-simplify]: Simplify (log 1) into 0
4.888 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.888 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
4.888 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
4.888 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 1/3) in x
4.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) 1.0)))) in x
4.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) 1.0))) in x
4.888 * [taylor]: Taking taylor expansion of 1/3 in x
4.888 * [backup-simplify]: Simplify 1/3 into 1/3
4.889 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1.0)) in x
4.889 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.889 * [taylor]: Taking taylor expansion of x in x
4.889 * [backup-simplify]: Simplify 0 into 0
4.889 * [backup-simplify]: Simplify 1 into 1
4.889 * [backup-simplify]: Simplify (/ 1 1) into 1
4.889 * [taylor]: Taking taylor expansion of 1.0 in x
4.889 * [backup-simplify]: Simplify 1.0 into 1.0
4.889 * [backup-simplify]: Simplify (+ 1 0) into 1
4.890 * [backup-simplify]: Simplify (log 1) into 0
4.890 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.890 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
4.890 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
4.890 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3)
4.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.891 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.892 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.896 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
4.896 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.897 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log x)))) into (- 0.3333333333333333)
4.899 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 x) 1/3))
4.899 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 x) 1/3)) into (* -0.3333333333333333 (pow (/ 1 x) 1/3))
4.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.900 * [backup-simplify]: Simplify (- 0) into 0
4.900 * [backup-simplify]: Simplify (+ 0 0) into 0
4.908 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
4.909 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.909 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
4.913 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
4.914 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 x) 1/3)) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
4.914 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 x)) 1/3)) (pow (/ 1 x) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (/ 1 x)) 1/3)) (/ 1 x)) (pow (/ 1 x) -1/3))) into (- (pow (/ 1 x) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))
4.914 * [backup-simplify]: Simplify (cbrt (- (/ 1 (- x)) 1.0)) into (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1))
4.914 * [approximate]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1)) in (x) around 0
4.914 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1)) in x
4.914 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
4.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
4.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
4.914 * [taylor]: Taking taylor expansion of 1/3 in x
4.914 * [backup-simplify]: Simplify 1/3 into 1/3
4.914 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
4.914 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.914 * [taylor]: Taking taylor expansion of x in x
4.914 * [backup-simplify]: Simplify 0 into 0
4.914 * [backup-simplify]: Simplify 1 into 1
4.915 * [backup-simplify]: Simplify (/ 1 1) into 1
4.915 * [taylor]: Taking taylor expansion of 1.0 in x
4.915 * [backup-simplify]: Simplify 1.0 into 1.0
4.915 * [backup-simplify]: Simplify (+ 1 0) into 1
4.915 * [backup-simplify]: Simplify (log 1) into 0
4.916 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.916 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
4.916 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
4.916 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.916 * [taylor]: Taking taylor expansion of -1 in x
4.916 * [backup-simplify]: Simplify -1 into -1
4.916 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
4.917 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
4.917 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1)) in x
4.917 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
4.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
4.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
4.917 * [taylor]: Taking taylor expansion of 1/3 in x
4.917 * [backup-simplify]: Simplify 1/3 into 1/3
4.917 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
4.917 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.917 * [taylor]: Taking taylor expansion of x in x
4.917 * [backup-simplify]: Simplify 0 into 0
4.917 * [backup-simplify]: Simplify 1 into 1
4.917 * [backup-simplify]: Simplify (/ 1 1) into 1
4.917 * [taylor]: Taking taylor expansion of 1.0 in x
4.917 * [backup-simplify]: Simplify 1.0 into 1.0
4.918 * [backup-simplify]: Simplify (+ 1 0) into 1
4.918 * [backup-simplify]: Simplify (log 1) into 0
4.918 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.918 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
4.918 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
4.918 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.918 * [taylor]: Taking taylor expansion of -1 in x
4.918 * [backup-simplify]: Simplify -1 into -1
4.919 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
4.919 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
4.920 * [backup-simplify]: Simplify (* (pow x -1/3) (cbrt -1)) into (* (pow (/ 1 x) 1/3) (cbrt -1))
4.920 * [backup-simplify]: Simplify (* (pow (/ 1 x) 1/3) (cbrt -1)) into (* (pow (/ 1 x) 1/3) (cbrt -1))
4.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.921 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.925 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
4.925 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.926 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log x)))) into 0.3333333333333333
4.927 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
4.928 * [backup-simplify]: Simplify (+ (* (pow x -1/3) 0) (* (* 0.3333333333333333 (pow (/ 1 x) 1/3)) (cbrt -1))) into (* 0.3333333333333333 (* (pow (/ 1 x) 1/3) (cbrt -1)))
4.928 * [backup-simplify]: Simplify (* 0.3333333333333333 (* (pow (/ 1 x) 1/3) (cbrt -1))) into (* 0.3333333333333333 (* (pow (/ 1 x) 1/3) (cbrt -1)))
4.929 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
4.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.930 * [backup-simplify]: Simplify (+ 0 0) into 0
4.937 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
4.938 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.938 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
4.944 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
4.946 * [backup-simplify]: Simplify (+ (* (pow x -1/3) 0) (+ (* (* 0.3333333333333333 (pow (/ 1 x) 1/3)) 0) (* (* -0.1111111111111111 (pow (/ 1 x) 1/3)) (cbrt -1)))) into (- (* 0.1111111111111111 (* (pow (/ 1 x) 1/3) (cbrt -1))))
4.947 * [backup-simplify]: Simplify (- (* 0.1111111111111111 (* (pow (/ 1 x) 1/3) (cbrt -1)))) into (- (* 0.1111111111111111 (* (pow (/ 1 x) 1/3) (cbrt -1))))
4.952 * [backup-simplify]: Simplify (+ (* (- (* 0.1111111111111111 (* (pow (/ 1 (/ 1 (- x))) 1/3) (cbrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* (* 0.3333333333333333 (* (pow (/ 1 (/ 1 (- x))) 1/3) (cbrt -1))) (/ 1 (- x))) (* (pow (/ 1 (/ 1 (- x))) 1/3) (cbrt -1)))) into (- (* (pow (* x -1) 1/3) (cbrt -1)) (+ (* 0.1111111111111111 (* (pow (/ -1 (pow x 5)) 1/3) (cbrt -1))) (* 0.3333333333333333 (* (pow (/ -1 (pow x 2)) 1/3) (cbrt -1)))))
4.952 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
4.953 * [backup-simplify]: Simplify (cbrt (- x 1.0)) into (pow (- x 1.0) 1/3)
4.953 * [approximate]: Taking taylor expansion of (pow (- x 1.0) 1/3) in (x) around 0
4.953 * [taylor]: Taking taylor expansion of (pow (- x 1.0) 1/3) in x
4.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x 1.0)))) in x
4.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x 1.0))) in x
4.953 * [taylor]: Taking taylor expansion of 1/3 in x
4.953 * [backup-simplify]: Simplify 1/3 into 1/3
4.953 * [taylor]: Taking taylor expansion of (log (- x 1.0)) in x
4.953 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.953 * [taylor]: Taking taylor expansion of x in x
4.953 * [backup-simplify]: Simplify 0 into 0
4.953 * [backup-simplify]: Simplify 1 into 1
4.953 * [taylor]: Taking taylor expansion of 1.0 in x
4.953 * [backup-simplify]: Simplify 1.0 into 1.0
4.953 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.954 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.954 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0))
4.955 * [backup-simplify]: Simplify (* 1/3 (log (- 1.0))) into (* 1/3 (log (- 1.0)))
4.957 * [backup-simplify]: Simplify (exp (* 1/3 (log (- 1.0)))) into (pow (- 1.0) 1/3)
4.957 * [taylor]: Taking taylor expansion of (pow (- x 1.0) 1/3) in x
4.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- x 1.0)))) in x
4.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (- x 1.0))) in x
4.957 * [taylor]: Taking taylor expansion of 1/3 in x
4.957 * [backup-simplify]: Simplify 1/3 into 1/3
4.957 * [taylor]: Taking taylor expansion of (log (- x 1.0)) in x
4.957 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.957 * [taylor]: Taking taylor expansion of x in x
4.957 * [backup-simplify]: Simplify 0 into 0
4.957 * [backup-simplify]: Simplify 1 into 1
4.957 * [taylor]: Taking taylor expansion of 1.0 in x
4.957 * [backup-simplify]: Simplify 1.0 into 1.0
4.957 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.958 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.958 * [backup-simplify]: Simplify (log (- 1.0)) into (log (- 1.0))
4.959 * [backup-simplify]: Simplify (* 1/3 (log (- 1.0))) into (* 1/3 (log (- 1.0)))
4.961 * [backup-simplify]: Simplify (exp (* 1/3 (log (- 1.0)))) into (pow (- 1.0) 1/3)
4.961 * [backup-simplify]: Simplify (pow (- 1.0) 1/3) into (pow (- 1.0) 1/3)
4.962 * [backup-simplify]: Simplify (- 0) into 0
4.962 * [backup-simplify]: Simplify (+ 1 0) into 1
4.966 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow (- 1.0) 1)))) 1) into -1.0
4.967 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (log (- 1.0)))) into (- 0.3333333333333333)
4.972 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- 1.0)))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow -1.0 1/3))
4.972 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow -1.0 1/3)) into (* -0.3333333333333333 (pow -1.0 1/3))
4.973 * [backup-simplify]: Simplify (- 0) into 0
4.973 * [backup-simplify]: Simplify (+ 0 0) into 0
4.980 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow (- 1.0) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (- 1.0) 1)))) 2) into (/ -1/2 (pow -1.0 2))
4.983 * [backup-simplify]: Simplify (+ (* 1/3 (/ -1/2 (pow -1.0 2))) (+ (* 0 -1.0) (* 0 (log (- 1.0))))) into (- (* 1/6 (/ 1 (pow -1.0 2))))
4.995 * [backup-simplify]: Simplify (* (exp (* 1/3 (log (- 1.0)))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- (* 1/6 (/ 1 (pow -1.0 2)))) 1) 1)))) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3))
4.999 * [backup-simplify]: Simplify (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3)) into (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3))
5.003 * [backup-simplify]: Simplify (+ (* (* (- 0.05555555555555555 (* 1/6 (/ 1 (pow -1.0 2)))) (pow -1.0 1/3)) (pow x 2)) (+ (* (* -0.3333333333333333 (pow -1.0 1/3)) x) (pow (- 1.0) 1/3))) into (- (+ (* 0.05555555555555555 (* (pow x 2) (pow -1.0 1/3))) (pow (- 1.0) 1/3)) (+ (* 0.3333333333333333 (* x (pow -1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow -1.0 5)) 1/3)))))
5.003 * [backup-simplify]: Simplify (cbrt (- (/ 1 x) 1.0)) into (pow (- (/ 1 x) 1.0) 1/3)
5.004 * [approximate]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 1/3) in (x) around 0
5.004 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 1/3) in x
5.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) 1.0)))) in x
5.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) 1.0))) in x
5.004 * [taylor]: Taking taylor expansion of 1/3 in x
5.004 * [backup-simplify]: Simplify 1/3 into 1/3
5.004 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1.0)) in x
5.004 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
5.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.004 * [taylor]: Taking taylor expansion of x in x
5.004 * [backup-simplify]: Simplify 0 into 0
5.004 * [backup-simplify]: Simplify 1 into 1
5.004 * [backup-simplify]: Simplify (/ 1 1) into 1
5.004 * [taylor]: Taking taylor expansion of 1.0 in x
5.004 * [backup-simplify]: Simplify 1.0 into 1.0
5.004 * [backup-simplify]: Simplify (+ 1 0) into 1
5.005 * [backup-simplify]: Simplify (log 1) into 0
5.005 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
5.005 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
5.005 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
5.005 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 1/3) in x
5.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (/ 1 x) 1.0)))) in x
5.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (/ 1 x) 1.0))) in x
5.005 * [taylor]: Taking taylor expansion of 1/3 in x
5.005 * [backup-simplify]: Simplify 1/3 into 1/3
5.005 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1.0)) in x
5.005 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
5.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.005 * [taylor]: Taking taylor expansion of x in x
5.005 * [backup-simplify]: Simplify 0 into 0
5.005 * [backup-simplify]: Simplify 1 into 1
5.006 * [backup-simplify]: Simplify (/ 1 1) into 1
5.006 * [taylor]: Taking taylor expansion of 1.0 in x
5.006 * [backup-simplify]: Simplify 1.0 into 1.0
5.006 * [backup-simplify]: Simplify (+ 1 0) into 1
5.006 * [backup-simplify]: Simplify (log 1) into 0
5.006 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
5.006 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
5.007 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
5.007 * [backup-simplify]: Simplify (pow x -1/3) into (pow x -1/3)
5.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.008 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.008 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.013 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- 1.0)) 1)) (pow 1 1)))) 1) into -1.0
5.013 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
5.014 * [backup-simplify]: Simplify (+ (* 1/3 -1.0) (* 0 (- (log x)))) into (- 0.3333333333333333)
5.016 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow (- 0.3333333333333333) 1) 1)))) into (* -0.3333333333333333 (pow (/ 1 x) 1/3))
5.016 * [backup-simplify]: Simplify (* -0.3333333333333333 (pow (/ 1 x) 1/3)) into (* -0.3333333333333333 (pow (/ 1 x) 1/3))
5.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.017 * [backup-simplify]: Simplify (- 0) into 0
5.017 * [backup-simplify]: Simplify (+ 0 0) into 0
5.028 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (- 1.0)) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
5.029 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
5.030 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 -1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
5.037 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow (- 0.3333333333333333) 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
5.037 * [backup-simplify]: Simplify (* -0.1111111111111111 (pow (/ 1 x) 1/3)) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
5.038 * [backup-simplify]: Simplify (+ (* (* -0.1111111111111111 (pow (/ 1 (/ 1 x)) 1/3)) (pow (/ 1 x) 2)) (+ (* (* -0.3333333333333333 (pow (/ 1 (/ 1 x)) 1/3)) (/ 1 x)) (pow (/ 1 x) -1/3))) into (- (pow (/ 1 x) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))
5.038 * [backup-simplify]: Simplify (cbrt (- (/ 1 (- x)) 1.0)) into (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1))
5.038 * [approximate]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1)) in (x) around 0
5.038 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1)) in x
5.038 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
5.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
5.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
5.038 * [taylor]: Taking taylor expansion of 1/3 in x
5.038 * [backup-simplify]: Simplify 1/3 into 1/3
5.039 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
5.039 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
5.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.039 * [taylor]: Taking taylor expansion of x in x
5.039 * [backup-simplify]: Simplify 0 into 0
5.039 * [backup-simplify]: Simplify 1 into 1
5.039 * [backup-simplify]: Simplify (/ 1 1) into 1
5.039 * [taylor]: Taking taylor expansion of 1.0 in x
5.039 * [backup-simplify]: Simplify 1.0 into 1.0
5.040 * [backup-simplify]: Simplify (+ 1 0) into 1
5.041 * [backup-simplify]: Simplify (log 1) into 0
5.041 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
5.041 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
5.041 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
5.041 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.041 * [taylor]: Taking taylor expansion of -1 in x
5.042 * [backup-simplify]: Simplify -1 into -1
5.042 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.043 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
5.043 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 1/3) (cbrt -1)) in x
5.043 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x
5.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x
5.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x
5.043 * [taylor]: Taking taylor expansion of 1/3 in x
5.043 * [backup-simplify]: Simplify 1/3 into 1/3
5.043 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x
5.043 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
5.043 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.043 * [taylor]: Taking taylor expansion of x in x
5.043 * [backup-simplify]: Simplify 0 into 0
5.043 * [backup-simplify]: Simplify 1 into 1
5.044 * [backup-simplify]: Simplify (/ 1 1) into 1
5.044 * [taylor]: Taking taylor expansion of 1.0 in x
5.044 * [backup-simplify]: Simplify 1.0 into 1.0
5.044 * [backup-simplify]: Simplify (+ 1 0) into 1
5.045 * [backup-simplify]: Simplify (log 1) into 0
5.045 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
5.045 * [backup-simplify]: Simplify (* 1/3 (- (log x))) into (* -1/3 (log x))
5.045 * [backup-simplify]: Simplify (exp (* -1/3 (log x))) into (pow x -1/3)
5.046 * [taylor]: Taking taylor expansion of (cbrt -1) in x
5.046 * [taylor]: Taking taylor expansion of -1 in x
5.046 * [backup-simplify]: Simplify -1 into -1
5.046 * [backup-simplify]: Simplify (cbrt -1) into (cbrt -1)
5.047 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt -1))) into 0
5.048 * [backup-simplify]: Simplify (* (pow x -1/3) (cbrt -1)) into (* (pow (/ 1 x) 1/3) (cbrt -1))
5.049 * [backup-simplify]: Simplify (* (pow (/ 1 x) 1/3) (cbrt -1)) into (* (pow (/ 1 x) 1/3) (cbrt -1))
5.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.051 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.058 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1.0) 1)) (pow 1 1)))) 1) into 1.0
5.059 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
5.060 * [backup-simplify]: Simplify (+ (* 1/3 1.0) (* 0 (- (log x)))) into 0.3333333333333333
5.063 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 1) 1)))) into (* 0.3333333333333333 (pow (/ 1 x) 1/3))
5.064 * [backup-simplify]: Simplify (+ (* (pow x -1/3) 0) (* (* 0.3333333333333333 (pow (/ 1 x) 1/3)) (cbrt -1))) into (* 0.3333333333333333 (* (pow (/ 1 x) 1/3) (cbrt -1)))
5.065 * [backup-simplify]: Simplify (* 0.3333333333333333 (* (pow (/ 1 x) 1/3) (cbrt -1))) into (* 0.3333333333333333 (* (pow (/ 1 x) 1/3) (cbrt -1)))
5.070 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt -1))))) (* 3 (cbrt -1))) into 0
5.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.072 * [backup-simplify]: Simplify (+ 0 0) into 0
5.081 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1.0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -0.5
5.081 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
5.082 * [backup-simplify]: Simplify (+ (* 1/3 -0.5) (+ (* 0 1.0) (* 0 (- (log x))))) into (- 0.16666666666666666)
5.086 * [backup-simplify]: Simplify (* (exp (* -1/3 (log x))) (+ (* (/ (pow 0.3333333333333333 2) 2)) (* (/ (pow (- 0.16666666666666666) 1) 1)))) into (* -0.1111111111111111 (pow (/ 1 x) 1/3))
5.087 * [backup-simplify]: Simplify (+ (* (pow x -1/3) 0) (+ (* (* 0.3333333333333333 (pow (/ 1 x) 1/3)) 0) (* (* -0.1111111111111111 (pow (/ 1 x) 1/3)) (cbrt -1)))) into (- (* 0.1111111111111111 (* (pow (/ 1 x) 1/3) (cbrt -1))))
5.088 * [backup-simplify]: Simplify (- (* 0.1111111111111111 (* (pow (/ 1 x) 1/3) (cbrt -1)))) into (- (* 0.1111111111111111 (* (pow (/ 1 x) 1/3) (cbrt -1))))
5.091 * [backup-simplify]: Simplify (+ (* (- (* 0.1111111111111111 (* (pow (/ 1 (/ 1 (- x))) 1/3) (cbrt -1)))) (pow (/ 1 (- x)) 2)) (+ (* (* 0.3333333333333333 (* (pow (/ 1 (/ 1 (- x))) 1/3) (cbrt -1))) (/ 1 (- x))) (* (pow (/ 1 (/ 1 (- x))) 1/3) (cbrt -1)))) into (- (* (pow (* x -1) 1/3) (cbrt -1)) (+ (* 0.1111111111111111 (* (pow (/ -1 (pow x 5)) 1/3) (cbrt -1))) (* 0.3333333333333333 (* (pow (/ -1 (pow x 2)) 1/3) (cbrt -1)))))
5.091 * * * [progress]: simplifying candidates
5.093 * [simplify]: Simplifying:
  (+ 1/3 1/3)
  (+ 1 1)
  (* (- x 1.0) (- x 1.0))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (+ 1 1)
  (+ (log (cbrt (- x 1.0))) (log (cbrt (- x 1.0))))
  (log (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (exp (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (* (- x 1.0) (- x 1.0))
  (* (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))))
  (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (* (* (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (sqrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (sqrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (* (cbrt (- (pow x 3) (pow 1.0 3))) (cbrt (- (pow x 3) (pow 1.0 3))))
  (* (cbrt (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))) (cbrt (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))))
  (* (cbrt (- (pow x 3) (pow 1.0 3))) (cbrt (- (* x x) (* 1.0 1.0))))
  (* (cbrt (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))) (cbrt (+ x 1.0)))
  (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- (pow x 3) (pow 1.0 3))))
  (* (cbrt (+ x 1.0)) (cbrt (+ (* x x) (+ (* 1.0 1.0) (* x 1.0)))))
  (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- (* x x) (* 1.0 1.0))))
  (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
  (* (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (+ (sqrt x) (sqrt 1.0))) (cbrt (+ (sqrt x) (sqrt 1.0))))
  (* (cbrt (- (sqrt x) (sqrt 1.0))) (cbrt (- (sqrt x) (sqrt 1.0))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0)))) (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0)))))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (* (sqrt (cbrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (* (sqrt (cbrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (* 1 1)
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (sqrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (* (sqrt (cbrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  (* (sqrt (cbrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  (* (sqrt (cbrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (* (sqrt (cbrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (- x 1.0)) (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))))
  (* (cbrt (- x 1.0)) (cbrt (sqrt (- x 1.0))))
  (* (cbrt (- x 1.0)) (cbrt 1))
  (* (cbrt (- x 1.0)) (cbrt (+ (sqrt x) (sqrt 1.0))))
  (* (cbrt (- x 1.0)) (cbrt 1))
  (* (cbrt (- x 1.0)) (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0)))))
  (* (cbrt (- x 1.0)) (sqrt (cbrt (- x 1.0))))
  (* (cbrt (- x 1.0)) 1)
  (* (cbrt (cbrt (- x 1.0))) (cbrt (- x 1.0)))
  (* (cbrt (sqrt (- x 1.0))) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (- (sqrt x) (sqrt 1.0))) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (- x 1.0)))
  (* (sqrt (cbrt (- x 1.0))) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (cbrt (- (pow x 3) (pow 1.0 3))))
  (* (cbrt (- x 1.0)) (cbrt (- (* x x) (* 1.0 1.0))))
  (* (cbrt (- (pow x 3) (pow 1.0 3))) (cbrt (- x 1.0)))
  (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)))
  (log (cbrt (- x 1.0)))
  (exp (cbrt (- x 1.0)))
  (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  (cbrt 1)
  (cbrt (- x 1.0))
  (cbrt (+ (sqrt x) (sqrt 1.0)))
  (cbrt (- (sqrt x) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- x 1.0))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (+ x 1.0))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (* (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (cbrt (- x 1.0)))
  (sqrt (cbrt (- x 1.0)))
  (sqrt (cbrt (- x 1.0)))
  (log (cbrt (- x 1.0)))
  (exp (cbrt (- x 1.0)))
  (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  (cbrt 1)
  (cbrt (- x 1.0))
  (cbrt (+ (sqrt x) (sqrt 1.0)))
  (cbrt (- (sqrt x) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- x 1.0))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (+ x 1.0))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (* (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (cbrt (- x 1.0)))
  (sqrt (cbrt (- x 1.0)))
  (sqrt (cbrt (- x 1.0)))
  (log (cbrt (- x 1.0)))
  (exp (cbrt (- x 1.0)))
  (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  (cbrt 1)
  (cbrt (- x 1.0))
  (cbrt (+ (sqrt x) (sqrt 1.0)))
  (cbrt (- (sqrt x) (sqrt 1.0)))
  (cbrt 1)
  (cbrt (- x 1.0))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (+ (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (+ x 1.0))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (* (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (cbrt (- x 1.0)))
  (sqrt (cbrt (- x 1.0)))
  (sqrt (cbrt (- x 1.0)))
  (- (+ (* 0.5555555555555556 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.6666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (* 0.6666666666666666 (* x (pow 1.0 1/3)))))
  (- (pow (/ 1 x) -2/3) (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3))))
  (- (* (pow (pow x 2) 1/3) (pow (cbrt -1) 2)) (+ (* 0.6666666666666666 (* (pow (/ 1 x) 1/3) (pow (cbrt -1) 2))) (* 0.1111111111111111 (* (pow (/ 1 (pow x 4)) 1/3) (pow (cbrt -1) 2)))))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow -1.0 1/3))) (pow (- 1.0) 1/3)) (+ (* 0.3333333333333333 (* x (pow -1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow -1.0 5)) 1/3)))))
  (- (pow (/ 1 x) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))
  (- (* (pow (* x -1) 1/3) (cbrt -1)) (+ (* 0.1111111111111111 (* (pow (/ -1 (pow x 5)) 1/3) (cbrt -1))) (* 0.3333333333333333 (* (pow (/ -1 (pow x 2)) 1/3) (cbrt -1)))))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow -1.0 1/3))) (pow (- 1.0) 1/3)) (+ (* 0.3333333333333333 (* x (pow -1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow -1.0 5)) 1/3)))))
  (- (pow (/ 1 x) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))
  (- (* (pow (* x -1) 1/3) (cbrt -1)) (+ (* 0.1111111111111111 (* (pow (/ -1 (pow x 5)) 1/3) (cbrt -1))) (* 0.3333333333333333 (* (pow (/ -1 (pow x 2)) 1/3) (cbrt -1)))))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow -1.0 1/3))) (pow (- 1.0) 1/3)) (+ (* 0.3333333333333333 (* x (pow -1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow -1.0 5)) 1/3)))))
  (- (pow (/ 1 x) -1/3) (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))
  (- (* (pow (* x -1) 1/3) (cbrt -1)) (+ (* 0.1111111111111111 (* (pow (/ -1 (pow x 5)) 1/3) (cbrt -1))) (* 0.3333333333333333 (* (pow (/ -1 (pow x 2)) 1/3) (cbrt -1)))))
5.095 * * [simplify]: iteration 0: 167 enodes
5.151 * * [simplify]: iteration 1: 394 enodes
5.376 * * [simplify]: iteration 2: 1473 enodes
5.835 * * [simplify]: iteration complete: 5000 enodes
5.835 * * [simplify]: Extracting #0: cost 49 inf + 0
5.837 * * [simplify]: Extracting #1: cost 628 inf + 3
5.841 * * [simplify]: Extracting #2: cost 1260 inf + 1609
5.859 * * [simplify]: Extracting #3: cost 1360 inf + 58362
5.911 * * [simplify]: Extracting #4: cost 937 inf + 180318
5.970 * * [simplify]: Extracting #5: cost 589 inf + 275212
6.041 * * [simplify]: Extracting #6: cost 428 inf + 325347
6.129 * * [simplify]: Extracting #7: cost 286 inf + 386731
6.210 * * [simplify]: Extracting #8: cost 82 inf + 482923
6.310 * * [simplify]: Extracting #9: cost 2 inf + 527836
6.399 * * [simplify]: Extracting #10: cost 0 inf + 526048
6.510 * * [simplify]: Extracting #11: cost 0 inf + 525608
6.611 * * [simplify]: Extracting #12: cost 0 inf + 525568
6.698 * [simplify]: Simplified to:
  2/3
  2
  (* (- x 1.0) (- x 1.0))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  2
  (+ (log (cbrt (- x 1.0))) (log (cbrt (- x 1.0))))
  (+ (log (cbrt (- x 1.0))) (log (cbrt (- x 1.0))))
  (exp (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (* (- x 1.0) (- x 1.0))
  (* (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))))
  (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (* (- x 1.0) (- x 1.0))
  (fabs (cbrt (- x 1.0)))
  (fabs (cbrt (- x 1.0)))
  (* (cbrt (- (* x (* x x)) (* (* 1.0 1.0) 1.0))) (cbrt (- (* x (* x x)) (* (* 1.0 1.0) 1.0))))
  (* (cbrt (+ (* x x) (* (+ x 1.0) 1.0))) (cbrt (+ (* x x) (* (+ x 1.0) 1.0))))
  (* (cbrt (- (* x (* x x)) (* (* 1.0 1.0) 1.0))) (cbrt (* (+ x 1.0) (- x 1.0))))
  (* (cbrt (+ x 1.0)) (cbrt (+ (* x x) (* (+ x 1.0) 1.0))))
  (* (cbrt (- (* x (* x x)) (* (* 1.0 1.0) 1.0))) (cbrt (* (+ x 1.0) (- x 1.0))))
  (* (cbrt (+ x 1.0)) (cbrt (+ (* x x) (* (+ x 1.0) 1.0))))
  (* (cbrt (* (+ x 1.0) (- x 1.0))) (cbrt (* (+ x 1.0) (- x 1.0))))
  (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))
  (* (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  1
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  1
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (+ (sqrt 1.0) (sqrt x))) (cbrt (+ (sqrt 1.0) (sqrt x))))
  (* (cbrt (- (sqrt x) (sqrt 1.0))) (cbrt (- (sqrt x) (sqrt 1.0))))
  1
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  1
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (- x 1.0)))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (cbrt (- x 1.0))
  (cbrt (- x 1.0))
  1
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (sqrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (cbrt (sqrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (* (cbrt (sqrt (- x 1.0))) (sqrt (cbrt (- x 1.0))))
  (cbrt (- x 1.0))
  (cbrt (- x 1.0))
  2/3
  2
  (* (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (cbrt (sqrt (- x 1.0))))
  (cbrt (- x 1.0))
  (* (cbrt (- x 1.0)) (cbrt (+ (sqrt 1.0) (sqrt x))))
  (cbrt (- x 1.0))
  (* (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0)))) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (sqrt (cbrt (- x 1.0))))
  (cbrt (- x 1.0))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (cbrt (sqrt (- x 1.0))))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (- (sqrt x) (sqrt 1.0))) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (sqrt (cbrt (- x 1.0))))
  (* (cbrt (- x 1.0)) (cbrt (- x 1.0)))
  (* (cbrt (- x 1.0)) (cbrt (- (* x (* x x)) (* (* 1.0 1.0) 1.0))))
  (* (cbrt (- x 1.0)) (cbrt (* (+ x 1.0) (- x 1.0))))
  (* (cbrt (- x 1.0)) (cbrt (- (* x (* x x)) (* (* 1.0 1.0) 1.0))))
  (* (cbrt (- x 1.0)) (cbrt (* (+ x 1.0) (- x 1.0))))
  (log (cbrt (- x 1.0)))
  (exp (cbrt (- x 1.0)))
  (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  1
  (cbrt (- x 1.0))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt x) (sqrt 1.0)))
  1
  (cbrt (- x 1.0))
  (cbrt (- (* x (* x x)) (* (* 1.0 1.0) 1.0)))
  (cbrt (+ (* x x) (* (+ x 1.0) 1.0)))
  (cbrt (* (+ x 1.0) (- x 1.0)))
  (cbrt (+ x 1.0))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (- x 1.0)
  (sqrt (cbrt (- x 1.0)))
  (sqrt (cbrt (- x 1.0)))
  (log (cbrt (- x 1.0)))
  (exp (cbrt (- x 1.0)))
  (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  1
  (cbrt (- x 1.0))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt x) (sqrt 1.0)))
  1
  (cbrt (- x 1.0))
  (cbrt (- (* x (* x x)) (* (* 1.0 1.0) 1.0)))
  (cbrt (+ (* x x) (* (+ x 1.0) 1.0)))
  (cbrt (* (+ x 1.0) (- x 1.0)))
  (cbrt (+ x 1.0))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (- x 1.0)
  (sqrt (cbrt (- x 1.0)))
  (sqrt (cbrt (- x 1.0)))
  (log (cbrt (- x 1.0)))
  (exp (cbrt (- x 1.0)))
  (cbrt (* (cbrt (- x 1.0)) (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  (cbrt (sqrt (- x 1.0)))
  1
  (cbrt (- x 1.0))
  (cbrt (+ (sqrt 1.0) (sqrt x)))
  (cbrt (- (sqrt x) (sqrt 1.0)))
  1
  (cbrt (- x 1.0))
  (cbrt (- (* x (* x x)) (* (* 1.0 1.0) 1.0)))
  (cbrt (+ (* x x) (* (+ x 1.0) 1.0)))
  (cbrt (* (+ x 1.0) (- x 1.0)))
  (cbrt (+ x 1.0))
  (* (cbrt (cbrt (- x 1.0))) (cbrt (cbrt (- x 1.0))))
  (cbrt (cbrt (- x 1.0)))
  (- x 1.0)
  (sqrt (cbrt (- x 1.0)))
  (sqrt (cbrt (- x 1.0)))
  (- (cbrt 1.0) (- (* 0.6666666666666666 (* x (+ (cbrt 1.0) (* x (cbrt (/ 1 (pow 1.0 5))))))) (* 0.5555555555555556 (* x (* x (cbrt 1.0))))))
  (- (- (pow (/ 1 x) -2/3) (* (cbrt (/ (/ 1 (* x x)) (* x x))) 0.1111111111111111)) (* (cbrt (/ 1 x)) 0.6666666666666666))
  (* (* (cbrt -1) (cbrt -1)) (- (- (cbrt (* x x)) (* (cbrt (/ 1 x)) 0.6666666666666666)) (* (cbrt (/ (/ 1 (* x x)) (* x x))) 0.1111111111111111)))
  (- (+ (cbrt (- 1.0)) (* (cbrt -1.0) (- (* (* x x) 0.05555555555555555) (* 0.3333333333333333 x)))) (* (* (* x x) 1/6) (cbrt (/ 1 (pow -1.0 5)))))
  (- (pow (/ 1 x) -1/3) (+ (* 0.1111111111111111 (cbrt (/ 1 (pow x 5)))) (* (cbrt (/ (/ 1 x) x)) 0.3333333333333333)))
  (* (cbrt -1) (- (- (cbrt (- x)) (* (cbrt (/ -1 (pow x 5))) 0.1111111111111111)) (* 0.3333333333333333 (cbrt (/ -1 (* x x))))))
  (- (+ (cbrt (- 1.0)) (* (cbrt -1.0) (- (* (* x x) 0.05555555555555555) (* 0.3333333333333333 x)))) (* (* (* x x) 1/6) (cbrt (/ 1 (pow -1.0 5)))))
  (- (pow (/ 1 x) -1/3) (+ (* 0.1111111111111111 (cbrt (/ 1 (pow x 5)))) (* (cbrt (/ (/ 1 x) x)) 0.3333333333333333)))
  (* (cbrt -1) (- (- (cbrt (- x)) (* (cbrt (/ -1 (pow x 5))) 0.1111111111111111)) (* 0.3333333333333333 (cbrt (/ -1 (* x x))))))
  (- (+ (cbrt (- 1.0)) (* (cbrt -1.0) (- (* (* x x) 0.05555555555555555) (* 0.3333333333333333 x)))) (* (* (* x x) 1/6) (cbrt (/ 1 (pow -1.0 5)))))
  (- (pow (/ 1 x) -1/3) (+ (* 0.1111111111111111 (cbrt (/ 1 (pow x 5)))) (* (cbrt (/ (/ 1 x) x)) 0.3333333333333333)))
  (* (cbrt -1) (- (- (cbrt (- x)) (* (cbrt (/ -1 (pow x 5))) 0.1111111111111111)) (* 0.3333333333333333 (cbrt (/ -1 (* x x))))))
6.719 * * * [progress]: adding candidates to table
7.403 * [progress]: [Phase 3 of 3] Extracting.
7.403 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (* x (+ y z)) (* z 1.0)))> #<alt (λ (x y z) (+ (* x y) (* (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (* (cbrt (- x 1.0)) z))))>)
7.404 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
7.404 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (* x (+ y z)) (* z 1.0)))> #<alt (λ (x y z) (+ (* x y) (* (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (* (cbrt (- x 1.0)) z))))>)
7.468 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (* x (+ y z)) (* z 1.0)))> #<alt (λ (x y z) (+ (* x y) (* (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (* (cbrt (- x 1.0)) z))))>)
7.517 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (* x (+ y z)) (* z 1.0)))> #<alt (λ (x y z) (+ (* x y) (* (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (* (cbrt (- x 1.0)) z))))>)
7.556 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.557 * [simplify]: Simplifying:
  (- (* x (+ y z)) (* z 1.0))
7.557 * * [simplify]: iteration 0: 8 enodes
7.558 * * [simplify]: iteration 1: 11 enodes
7.558 * * [simplify]: iteration complete: 11 enodes
7.558 * * [simplify]: Extracting #0: cost 1 inf + 0
7.558 * * [simplify]: Extracting #1: cost 3 inf + 0
7.558 * * [simplify]: Extracting #2: cost 7 inf + 0
7.559 * * [simplify]: Extracting #3: cost 4 inf + 45
7.559 * * [simplify]: Extracting #4: cost 0 inf + 335
7.559 * [simplify]: Simplified to:
  (- (* (+ y z) x) (* z 1.0))
9.398 * [regime-testing]: Baseline error score: 0.01564819664976151
9.408 * [regime-testing]: Oracle error score: 0.0116995827604352
9.428 * [regime-testing]: End program error score: 0.01564819664976151