40.627 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.037 * [progress]: [Phase 2 of 3] Improving. 0.038 * [simplify]: Simplifying: (+ 1.0 (/ (* 4.0 (- (+ x (* y 0.25)) z)) y)) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.038 * * [simplify]: Extracting # 1 : cost 0 0.038 * * [simplify]: Extracting # 2 : cost 0 0.038 * * [simplify]: Extracting # 3 : cost 0 0.038 * * [simplify]: Extracting # 4 : cost 0 0.038 * * [simplify]: Extracting # 5 : cost 0 0.038 * * [simplify]: Extracting # 6 : cost 0 0.038 * * [simplify]: Extracting # 7 : cost 0 0.038 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 0.040 * * [simplify]: Extracting # 0 : cost 0 0.040 * * [simplify]: Extracting # 1 : cost 0 0.040 * * [simplify]: Extracting # 2 : cost 0 0.040 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.044 * * [simplify]: Extracting # 2 : cost 0 0.044 * * [simplify]: iteration 2 : 46 enodes (cost 13 ) 0.054 * * [simplify]: Extracting # 0 : cost 0 0.055 * * [simplify]: Extracting # 1 : cost 0 0.055 * * [simplify]: Extracting # 2 : cost 0 0.055 * * [simplify]: iteration 3 : 109 enodes (cost 13 ) 0.105 * * [simplify]: Extracting # 0 : cost 0 0.106 * * [simplify]: Extracting # 1 : cost 0 0.106 * * [simplify]: Extracting # 2 : cost 0 0.106 * * [simplify]: iteration 4 : 232 enodes (cost 13 ) 0.165 * * [simplify]: Extracting # 0 : cost 0 0.166 * * [simplify]: Extracting # 1 : cost 0 0.166 * * [simplify]: Extracting # 2 : cost 0 0.167 * * [simplify]: iteration 5 : 364 enodes (cost 13 ) 0.296 * * [simplify]: Extracting # 0 : cost 0 0.296 * * [simplify]: Extracting # 1 : cost 0 0.297 * * [simplify]: Extracting # 2 : cost 0 0.297 * * [simplify]: iteration 6 : 485 enodes (cost 13 ) 0.497 * * [simplify]: Extracting # 0 : cost 0 0.498 * * [simplify]: Extracting # 1 : cost 0 0.499 * * [simplify]: Extracting # 2 : cost 0 0.499 * * [simplify]: Extracting # 3 : cost 0 0.500 * * [simplify]: iteration 7 : 648 enodes (cost 11 ) 0.849 * * [simplify]: Extracting # 0 : cost 0 0.854 * * [simplify]: Extracting # 1 : cost 0 0.856 * * [simplify]: Extracting # 2 : cost 0 0.857 * * [simplify]: Extracting # 3 : cost 0 0.858 * * [simplify]: iteration 8 : 1081 enodes (cost 11 ) 2.243 * * [simplify]: Extracting # 0 : cost 0 2.246 * * [simplify]: Extracting # 1 : cost 0 2.247 * * [simplify]: Extracting # 2 : cost 0 2.249 * * [simplify]: iteration 9 : 2451 enodes (cost 11 ) 6.333 * * [simplify]: Extracting # 0 : cost 0 6.343 * * [simplify]: Extracting # 1 : cost 0 6.355 * * [simplify]: Extracting # 2 : cost 0 6.361 * * [simplify]: Extracting # 3 : cost 0 6.366 * * [simplify]: iteration done: 5001 enodes (cost 11 ) 6.366 * [simplify]: Simplified to: (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0)) 6.371 * * [progress]: iteration 1 / 4 6.371 * * * [progress]: picking best candidate 6.373 * * * * [pick]: Picked # 6.374 * * * [progress]: localizing error 6.390 * * * [progress]: generating rewritten candidates 6.390 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1) 6.407 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 6.438 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 6.480 * * * [progress]: generating series expansions 6.480 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1) 6.481 * [backup-simplify]: Simplify (/ (- x z) y) into (/ (- x z) y) 6.481 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (x z y) around 0 6.481 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 6.481 * [taylor]: Taking taylor expansion of (- x z) in y 6.481 * [taylor]: Taking taylor expansion of x in y 6.481 * [backup-simplify]: Simplify x into x 6.481 * [taylor]: Taking taylor expansion of z in y 6.481 * [backup-simplify]: Simplify z into z 6.481 * [taylor]: Taking taylor expansion of y in y 6.481 * [backup-simplify]: Simplify 0 into 0 6.481 * [backup-simplify]: Simplify 1 into 1 6.481 * [backup-simplify]: Simplify (- z) into (- z) 6.481 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 6.481 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z) 6.481 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 6.481 * [taylor]: Taking taylor expansion of (- x z) in z 6.481 * [taylor]: Taking taylor expansion of x in z 6.481 * [backup-simplify]: Simplify x into x 6.481 * [taylor]: Taking taylor expansion of z in z 6.481 * [backup-simplify]: Simplify 0 into 0 6.481 * [backup-simplify]: Simplify 1 into 1 6.481 * [taylor]: Taking taylor expansion of y in z 6.481 * [backup-simplify]: Simplify y into y 6.481 * [backup-simplify]: Simplify (- 0) into 0 6.482 * [backup-simplify]: Simplify (+ x 0) into x 6.482 * [backup-simplify]: Simplify (/ x y) into (/ x y) 6.482 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 6.482 * [taylor]: Taking taylor expansion of (- x z) in x 6.482 * [taylor]: Taking taylor expansion of x in x 6.482 * [backup-simplify]: Simplify 0 into 0 6.482 * [backup-simplify]: Simplify 1 into 1 6.482 * [taylor]: Taking taylor expansion of z in x 6.482 * [backup-simplify]: Simplify z into z 6.482 * [taylor]: Taking taylor expansion of y in x 6.482 * [backup-simplify]: Simplify y into y 6.482 * [backup-simplify]: Simplify (- z) into (- z) 6.482 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 6.482 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y)) 6.482 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 6.482 * [taylor]: Taking taylor expansion of (- x z) in x 6.482 * [taylor]: Taking taylor expansion of x in x 6.482 * [backup-simplify]: Simplify 0 into 0 6.482 * [backup-simplify]: Simplify 1 into 1 6.482 * [taylor]: Taking taylor expansion of z in x 6.482 * [backup-simplify]: Simplify z into z 6.482 * [taylor]: Taking taylor expansion of y in x 6.482 * [backup-simplify]: Simplify y into y 6.482 * [backup-simplify]: Simplify (- z) into (- z) 6.482 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 6.482 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y)) 6.482 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z 6.482 * [taylor]: Taking taylor expansion of -1 in z 6.482 * [backup-simplify]: Simplify -1 into -1 6.482 * [taylor]: Taking taylor expansion of (/ z y) in z 6.482 * [taylor]: Taking taylor expansion of z in z 6.482 * [backup-simplify]: Simplify 0 into 0 6.482 * [backup-simplify]: Simplify 1 into 1 6.482 * [taylor]: Taking taylor expansion of y in z 6.482 * [backup-simplify]: Simplify y into y 6.482 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.483 * [backup-simplify]: Simplify (- 0) into 0 6.483 * [backup-simplify]: Simplify (+ 1 0) into 1 6.483 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ z y)) (/ 0 y)))) into (/ 1 y) 6.483 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.483 * [taylor]: Taking taylor expansion of y in z 6.483 * [backup-simplify]: Simplify y into y 6.483 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.483 * [taylor]: Taking taylor expansion of y in y 6.483 * [backup-simplify]: Simplify 0 into 0 6.483 * [backup-simplify]: Simplify 1 into 1 6.483 * [backup-simplify]: Simplify (/ 1 1) into 1 6.484 * [backup-simplify]: Simplify 1 into 1 6.484 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 6.484 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.484 * [taylor]: Taking taylor expansion of -1 in y 6.484 * [backup-simplify]: Simplify -1 into -1 6.484 * [taylor]: Taking taylor expansion of y in y 6.484 * [backup-simplify]: Simplify 0 into 0 6.484 * [backup-simplify]: Simplify 1 into 1 6.484 * [backup-simplify]: Simplify (/ -1 1) into -1 6.484 * [backup-simplify]: Simplify -1 into -1 6.484 * [backup-simplify]: Simplify (- 0) into 0 6.485 * [backup-simplify]: Simplify (+ 0 0) into 0 6.485 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 6.485 * [taylor]: Taking taylor expansion of 0 in z 6.485 * [backup-simplify]: Simplify 0 into 0 6.485 * [taylor]: Taking taylor expansion of 0 in y 6.485 * [backup-simplify]: Simplify 0 into 0 6.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.485 * [taylor]: Taking taylor expansion of 0 in y 6.485 * [backup-simplify]: Simplify 0 into 0 6.485 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 6.485 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0 6.485 * [taylor]: Taking taylor expansion of 0 in y 6.485 * [backup-simplify]: Simplify 0 into 0 6.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.486 * [backup-simplify]: Simplify 0 into 0 6.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 6.486 * [backup-simplify]: Simplify 0 into 0 6.487 * [backup-simplify]: Simplify (- 0) into 0 6.487 * [backup-simplify]: Simplify (+ 0 0) into 0 6.487 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.487 * [taylor]: Taking taylor expansion of 0 in z 6.487 * [backup-simplify]: Simplify 0 into 0 6.487 * [taylor]: Taking taylor expansion of 0 in y 6.487 * [backup-simplify]: Simplify 0 into 0 6.487 * [taylor]: Taking taylor expansion of 0 in y 6.487 * [backup-simplify]: Simplify 0 into 0 6.487 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.487 * [taylor]: Taking taylor expansion of 0 in y 6.487 * [backup-simplify]: Simplify 0 into 0 6.487 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 6.488 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 6.488 * [taylor]: Taking taylor expansion of 0 in y 6.488 * [backup-simplify]: Simplify 0 into 0 6.488 * [backup-simplify]: Simplify 0 into 0 6.488 * [backup-simplify]: Simplify 0 into 0 6.488 * [backup-simplify]: Simplify 0 into 0 6.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.489 * [backup-simplify]: Simplify 0 into 0 6.489 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* z 1))) (* 1 (* (/ 1 y) (* 1 x)))) into (- (/ x y) (/ z y)) 6.489 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (* y (- (/ 1 x) (/ 1 z))) 6.489 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in (x z y) around 0 6.489 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 6.489 * [taylor]: Taking taylor expansion of y in y 6.489 * [backup-simplify]: Simplify 0 into 0 6.489 * [backup-simplify]: Simplify 1 into 1 6.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 6.489 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.489 * [taylor]: Taking taylor expansion of x in y 6.489 * [backup-simplify]: Simplify x into x 6.489 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.489 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.489 * [taylor]: Taking taylor expansion of z in y 6.489 * [backup-simplify]: Simplify z into z 6.489 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.489 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 6.489 * [taylor]: Taking taylor expansion of y in z 6.489 * [backup-simplify]: Simplify y into y 6.489 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 6.489 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.489 * [taylor]: Taking taylor expansion of x in z 6.489 * [backup-simplify]: Simplify x into x 6.489 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.489 * [taylor]: Taking taylor expansion of z in z 6.489 * [backup-simplify]: Simplify 0 into 0 6.489 * [backup-simplify]: Simplify 1 into 1 6.490 * [backup-simplify]: Simplify (/ 1 1) into 1 6.490 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 6.490 * [taylor]: Taking taylor expansion of y in x 6.490 * [backup-simplify]: Simplify y into y 6.490 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 6.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.490 * [taylor]: Taking taylor expansion of x in x 6.490 * [backup-simplify]: Simplify 0 into 0 6.490 * [backup-simplify]: Simplify 1 into 1 6.490 * [backup-simplify]: Simplify (/ 1 1) into 1 6.490 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.490 * [taylor]: Taking taylor expansion of z in x 6.490 * [backup-simplify]: Simplify z into z 6.490 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.490 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 6.490 * [taylor]: Taking taylor expansion of y in x 6.490 * [backup-simplify]: Simplify y into y 6.490 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 6.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.490 * [taylor]: Taking taylor expansion of x in x 6.490 * [backup-simplify]: Simplify 0 into 0 6.490 * [backup-simplify]: Simplify 1 into 1 6.490 * [backup-simplify]: Simplify (/ 1 1) into 1 6.490 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.490 * [taylor]: Taking taylor expansion of z in x 6.491 * [backup-simplify]: Simplify z into z 6.491 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.491 * [backup-simplify]: Simplify (+ 1 0) into 1 6.491 * [backup-simplify]: Simplify (* y 1) into y 6.491 * [taylor]: Taking taylor expansion of y in z 6.491 * [backup-simplify]: Simplify y into y 6.492 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.492 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 6.492 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 6.493 * [backup-simplify]: Simplify (+ (* y (- (/ 1 z))) (* 0 1)) into (- (/ y z)) 6.493 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 6.493 * [taylor]: Taking taylor expansion of (/ y z) in z 6.493 * [taylor]: Taking taylor expansion of y in z 6.493 * [backup-simplify]: Simplify y into y 6.493 * [taylor]: Taking taylor expansion of z in z 6.493 * [backup-simplify]: Simplify 0 into 0 6.493 * [backup-simplify]: Simplify 1 into 1 6.493 * [backup-simplify]: Simplify (/ y 1) into y 6.493 * [backup-simplify]: Simplify (- y) into (- y) 6.493 * [taylor]: Taking taylor expansion of (- y) in y 6.493 * [taylor]: Taking taylor expansion of y in y 6.493 * [backup-simplify]: Simplify 0 into 0 6.493 * [backup-simplify]: Simplify 1 into 1 6.493 * [backup-simplify]: Simplify (- 0) into 0 6.493 * [backup-simplify]: Simplify 0 into 0 6.494 * [taylor]: Taking taylor expansion of y in y 6.494 * [backup-simplify]: Simplify 0 into 0 6.494 * [backup-simplify]: Simplify 1 into 1 6.494 * [backup-simplify]: Simplify 0 into 0 6.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 6.495 * [backup-simplify]: Simplify (- 0) into 0 6.495 * [backup-simplify]: Simplify (+ 0 0) into 0 6.496 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 z))) (* 0 1))) into 0 6.496 * [taylor]: Taking taylor expansion of 0 in z 6.496 * [backup-simplify]: Simplify 0 into 0 6.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.497 * [backup-simplify]: Simplify (- 0) into 0 6.497 * [taylor]: Taking taylor expansion of 0 in y 6.497 * [backup-simplify]: Simplify 0 into 0 6.497 * [backup-simplify]: Simplify 0 into 0 6.497 * [taylor]: Taking taylor expansion of 0 in y 6.497 * [backup-simplify]: Simplify 0 into 0 6.497 * [backup-simplify]: Simplify 0 into 0 6.497 * [backup-simplify]: Simplify (- 1) into -1 6.497 * [backup-simplify]: Simplify -1 into -1 6.497 * [backup-simplify]: Simplify 1 into 1 6.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.498 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.499 * [backup-simplify]: Simplify (- 0) into 0 6.499 * [backup-simplify]: Simplify (+ 0 0) into 0 6.500 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z))) (* 0 1)))) into 0 6.500 * [taylor]: Taking taylor expansion of 0 in z 6.500 * [backup-simplify]: Simplify 0 into 0 6.500 * [taylor]: Taking taylor expansion of 0 in y 6.500 * [backup-simplify]: Simplify 0 into 0 6.500 * [backup-simplify]: Simplify 0 into 0 6.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.502 * [backup-simplify]: Simplify (- 0) into 0 6.502 * [taylor]: Taking taylor expansion of 0 in y 6.502 * [backup-simplify]: Simplify 0 into 0 6.502 * [backup-simplify]: Simplify 0 into 0 6.502 * [taylor]: Taking taylor expansion of 0 in y 6.502 * [backup-simplify]: Simplify 0 into 0 6.502 * [backup-simplify]: Simplify 0 into 0 6.502 * [backup-simplify]: Simplify 0 into 0 6.502 * [backup-simplify]: Simplify 0 into 0 6.502 * [backup-simplify]: Simplify (- 0) into 0 6.502 * [backup-simplify]: Simplify 0 into 0 6.503 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 z)) 1)))) into (- (/ x y) (/ z y)) 6.503 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (* y (- (/ 1 z) (/ 1 x)))) 6.503 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0 6.503 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y 6.503 * [taylor]: Taking taylor expansion of -1 in y 6.503 * [backup-simplify]: Simplify -1 into -1 6.503 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 6.503 * [taylor]: Taking taylor expansion of y in y 6.503 * [backup-simplify]: Simplify 0 into 0 6.503 * [backup-simplify]: Simplify 1 into 1 6.503 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 6.503 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.503 * [taylor]: Taking taylor expansion of z in y 6.503 * [backup-simplify]: Simplify z into z 6.503 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.503 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.503 * [taylor]: Taking taylor expansion of x in y 6.503 * [backup-simplify]: Simplify x into x 6.503 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.503 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z 6.503 * [taylor]: Taking taylor expansion of -1 in z 6.503 * [backup-simplify]: Simplify -1 into -1 6.503 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 6.503 * [taylor]: Taking taylor expansion of y in z 6.503 * [backup-simplify]: Simplify y into y 6.503 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 6.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.503 * [taylor]: Taking taylor expansion of z in z 6.504 * [backup-simplify]: Simplify 0 into 0 6.504 * [backup-simplify]: Simplify 1 into 1 6.504 * [backup-simplify]: Simplify (/ 1 1) into 1 6.504 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.504 * [taylor]: Taking taylor expansion of x in z 6.504 * [backup-simplify]: Simplify x into x 6.504 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.504 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 6.504 * [taylor]: Taking taylor expansion of -1 in x 6.504 * [backup-simplify]: Simplify -1 into -1 6.504 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 6.504 * [taylor]: Taking taylor expansion of y in x 6.504 * [backup-simplify]: Simplify y into y 6.504 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 6.504 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.504 * [taylor]: Taking taylor expansion of z in x 6.504 * [backup-simplify]: Simplify z into z 6.504 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.504 * [taylor]: Taking taylor expansion of x in x 6.504 * [backup-simplify]: Simplify 0 into 0 6.504 * [backup-simplify]: Simplify 1 into 1 6.505 * [backup-simplify]: Simplify (/ 1 1) into 1 6.505 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 6.505 * [taylor]: Taking taylor expansion of -1 in x 6.505 * [backup-simplify]: Simplify -1 into -1 6.505 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 6.505 * [taylor]: Taking taylor expansion of y in x 6.505 * [backup-simplify]: Simplify y into y 6.505 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 6.505 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.505 * [taylor]: Taking taylor expansion of z in x 6.505 * [backup-simplify]: Simplify z into z 6.505 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.505 * [taylor]: Taking taylor expansion of x in x 6.505 * [backup-simplify]: Simplify 0 into 0 6.505 * [backup-simplify]: Simplify 1 into 1 6.505 * [backup-simplify]: Simplify (/ 1 1) into 1 6.506 * [backup-simplify]: Simplify (- 1) into -1 6.506 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.506 * [backup-simplify]: Simplify (* y -1) into (* -1 y) 6.506 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y 6.506 * [taylor]: Taking taylor expansion of y in z 6.506 * [backup-simplify]: Simplify y into y 6.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.507 * [backup-simplify]: Simplify (- 0) into 0 6.507 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 6.508 * [backup-simplify]: Simplify (+ (* y (/ 1 z)) (* 0 -1)) into (/ y z) 6.508 * [backup-simplify]: Simplify (+ (* -1 (/ y z)) (* 0 (* -1 y))) into (- (/ y z)) 6.508 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 6.508 * [taylor]: Taking taylor expansion of (/ y z) in z 6.508 * [taylor]: Taking taylor expansion of y in z 6.508 * [backup-simplify]: Simplify y into y 6.508 * [taylor]: Taking taylor expansion of z in z 6.508 * [backup-simplify]: Simplify 0 into 0 6.508 * [backup-simplify]: Simplify 1 into 1 6.508 * [backup-simplify]: Simplify (/ y 1) into y 6.508 * [backup-simplify]: Simplify (- y) into (- y) 6.508 * [taylor]: Taking taylor expansion of (- y) in y 6.508 * [taylor]: Taking taylor expansion of y in y 6.508 * [backup-simplify]: Simplify 0 into 0 6.508 * [backup-simplify]: Simplify 1 into 1 6.509 * [backup-simplify]: Simplify (- 0) into 0 6.509 * [backup-simplify]: Simplify 0 into 0 6.509 * [taylor]: Taking taylor expansion of y in y 6.509 * [backup-simplify]: Simplify 0 into 0 6.509 * [backup-simplify]: Simplify 1 into 1 6.509 * [backup-simplify]: Simplify 0 into 0 6.509 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 6.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.510 * [backup-simplify]: Simplify (- 0) into 0 6.511 * [backup-simplify]: Simplify (+ 0 0) into 0 6.511 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0 6.511 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y z)) (* 0 (* -1 y)))) into 0 6.512 * [taylor]: Taking taylor expansion of 0 in z 6.512 * [backup-simplify]: Simplify 0 into 0 6.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.513 * [backup-simplify]: Simplify (- 0) into 0 6.513 * [taylor]: Taking taylor expansion of 0 in y 6.513 * [backup-simplify]: Simplify 0 into 0 6.513 * [backup-simplify]: Simplify 0 into 0 6.513 * [taylor]: Taking taylor expansion of 0 in y 6.513 * [backup-simplify]: Simplify 0 into 0 6.513 * [backup-simplify]: Simplify 0 into 0 6.513 * [backup-simplify]: Simplify (- 1) into -1 6.513 * [backup-simplify]: Simplify -1 into -1 6.513 * [backup-simplify]: Simplify 1 into 1 6.513 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.514 * [backup-simplify]: Simplify (- 0) into 0 6.515 * [backup-simplify]: Simplify (+ 0 0) into 0 6.519 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0 6.520 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y z)) (* 0 (* -1 y))))) into 0 6.520 * [taylor]: Taking taylor expansion of 0 in z 6.520 * [backup-simplify]: Simplify 0 into 0 6.520 * [taylor]: Taking taylor expansion of 0 in y 6.520 * [backup-simplify]: Simplify 0 into 0 6.520 * [backup-simplify]: Simplify 0 into 0 6.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.521 * [backup-simplify]: Simplify (- 0) into 0 6.521 * [taylor]: Taking taylor expansion of 0 in y 6.521 * [backup-simplify]: Simplify 0 into 0 6.521 * [backup-simplify]: Simplify 0 into 0 6.522 * [taylor]: Taking taylor expansion of 0 in y 6.522 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify (- 0) into 0 6.522 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1)))) into (- (/ x y) (/ z y)) 6.523 * * * * [progress]: [ 2 / 3 ] generating series at (2) 6.523 * [backup-simplify]: Simplify (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) 6.523 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in (x z y) around 0 6.523 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in y 6.523 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in y 6.523 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in y 6.523 * [taylor]: Taking taylor expansion of 4.0 in y 6.523 * [backup-simplify]: Simplify 4.0 into 4.0 6.523 * [taylor]: Taking taylor expansion of (/ x y) in y 6.523 * [taylor]: Taking taylor expansion of x in y 6.523 * [backup-simplify]: Simplify x into x 6.523 * [taylor]: Taking taylor expansion of y in y 6.523 * [backup-simplify]: Simplify 0 into 0 6.523 * [backup-simplify]: Simplify 1 into 1 6.523 * [backup-simplify]: Simplify (/ x 1) into x 6.523 * [taylor]: Taking taylor expansion of 2.0 in y 6.523 * [backup-simplify]: Simplify 2.0 into 2.0 6.523 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 6.523 * [taylor]: Taking taylor expansion of 4.0 in y 6.523 * [backup-simplify]: Simplify 4.0 into 4.0 6.523 * [taylor]: Taking taylor expansion of (/ z y) in y 6.523 * [taylor]: Taking taylor expansion of z in y 6.523 * [backup-simplify]: Simplify z into z 6.523 * [taylor]: Taking taylor expansion of y in y 6.523 * [backup-simplify]: Simplify 0 into 0 6.523 * [backup-simplify]: Simplify 1 into 1 6.524 * [backup-simplify]: Simplify (/ z 1) into z 6.524 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in z 6.524 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in z 6.524 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in z 6.524 * [taylor]: Taking taylor expansion of 4.0 in z 6.524 * [backup-simplify]: Simplify 4.0 into 4.0 6.524 * [taylor]: Taking taylor expansion of (/ x y) in z 6.524 * [taylor]: Taking taylor expansion of x in z 6.524 * [backup-simplify]: Simplify x into x 6.524 * [taylor]: Taking taylor expansion of y in z 6.524 * [backup-simplify]: Simplify y into y 6.524 * [backup-simplify]: Simplify (/ x y) into (/ x y) 6.524 * [taylor]: Taking taylor expansion of 2.0 in z 6.524 * [backup-simplify]: Simplify 2.0 into 2.0 6.524 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 6.524 * [taylor]: Taking taylor expansion of 4.0 in z 6.524 * [backup-simplify]: Simplify 4.0 into 4.0 6.524 * [taylor]: Taking taylor expansion of (/ z y) in z 6.524 * [taylor]: Taking taylor expansion of z in z 6.524 * [backup-simplify]: Simplify 0 into 0 6.524 * [backup-simplify]: Simplify 1 into 1 6.524 * [taylor]: Taking taylor expansion of y in z 6.524 * [backup-simplify]: Simplify y into y 6.524 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.524 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x 6.524 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x 6.524 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 6.524 * [taylor]: Taking taylor expansion of 4.0 in x 6.524 * [backup-simplify]: Simplify 4.0 into 4.0 6.524 * [taylor]: Taking taylor expansion of (/ x y) in x 6.524 * [taylor]: Taking taylor expansion of x in x 6.524 * [backup-simplify]: Simplify 0 into 0 6.524 * [backup-simplify]: Simplify 1 into 1 6.524 * [taylor]: Taking taylor expansion of y in x 6.524 * [backup-simplify]: Simplify y into y 6.524 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.524 * [taylor]: Taking taylor expansion of 2.0 in x 6.525 * [backup-simplify]: Simplify 2.0 into 2.0 6.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 6.525 * [taylor]: Taking taylor expansion of 4.0 in x 6.525 * [backup-simplify]: Simplify 4.0 into 4.0 6.525 * [taylor]: Taking taylor expansion of (/ z y) in x 6.525 * [taylor]: Taking taylor expansion of z in x 6.525 * [backup-simplify]: Simplify z into z 6.525 * [taylor]: Taking taylor expansion of y in x 6.525 * [backup-simplify]: Simplify y into y 6.525 * [backup-simplify]: Simplify (/ z y) into (/ z y) 6.525 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) in x 6.525 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ x y)) 2.0) in x 6.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ x y)) in x 6.525 * [taylor]: Taking taylor expansion of 4.0 in x 6.525 * [backup-simplify]: Simplify 4.0 into 4.0 6.525 * [taylor]: Taking taylor expansion of (/ x y) in x 6.525 * [taylor]: Taking taylor expansion of x in x 6.525 * [backup-simplify]: Simplify 0 into 0 6.525 * [backup-simplify]: Simplify 1 into 1 6.525 * [taylor]: Taking taylor expansion of y in x 6.525 * [backup-simplify]: Simplify y into y 6.525 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.525 * [taylor]: Taking taylor expansion of 2.0 in x 6.525 * [backup-simplify]: Simplify 2.0 into 2.0 6.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 6.525 * [taylor]: Taking taylor expansion of 4.0 in x 6.525 * [backup-simplify]: Simplify 4.0 into 4.0 6.525 * [taylor]: Taking taylor expansion of (/ z y) in x 6.525 * [taylor]: Taking taylor expansion of z in x 6.525 * [backup-simplify]: Simplify z into z 6.525 * [taylor]: Taking taylor expansion of y in x 6.525 * [backup-simplify]: Simplify y into y 6.525 * [backup-simplify]: Simplify (/ z y) into (/ z y) 6.526 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.526 * [backup-simplify]: Simplify (* 4.0 (/ z y)) into (* 4.0 (/ z y)) 6.526 * [backup-simplify]: Simplify (- (* 4.0 (/ z y))) into (- (* 4.0 (/ z y))) 6.526 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ z y)))) into (- 2.0 (* 4.0 (/ z y))) 6.526 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ z y))) in z 6.526 * [taylor]: Taking taylor expansion of 2.0 in z 6.526 * [backup-simplify]: Simplify 2.0 into 2.0 6.526 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 6.526 * [taylor]: Taking taylor expansion of 4.0 in z 6.526 * [backup-simplify]: Simplify 4.0 into 4.0 6.526 * [taylor]: Taking taylor expansion of (/ z y) in z 6.526 * [taylor]: Taking taylor expansion of z in z 6.527 * [backup-simplify]: Simplify 0 into 0 6.527 * [backup-simplify]: Simplify 1 into 1 6.527 * [taylor]: Taking taylor expansion of y in z 6.527 * [backup-simplify]: Simplify y into y 6.527 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.527 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.527 * [taylor]: Taking taylor expansion of 2.0 in y 6.527 * [backup-simplify]: Simplify 2.0 into 2.0 6.527 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 6.527 * [backup-simplify]: Simplify (+ (/ 4.0 y) 0) into (* 4.0 (/ 1 y)) 6.527 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 6.528 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ z y))) into 0 6.528 * [backup-simplify]: Simplify (- 0) into 0 6.528 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) 0) into (* 4.0 (/ 1 y)) 6.528 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 6.528 * [taylor]: Taking taylor expansion of 4.0 in z 6.528 * [backup-simplify]: Simplify 4.0 into 4.0 6.528 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.528 * [taylor]: Taking taylor expansion of y in z 6.528 * [backup-simplify]: Simplify y into y 6.529 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.529 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 6.529 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 6.529 * [taylor]: Taking taylor expansion of 4.0 in y 6.529 * [backup-simplify]: Simplify 4.0 into 4.0 6.529 * [taylor]: Taking taylor expansion of y in y 6.529 * [backup-simplify]: Simplify 0 into 0 6.529 * [backup-simplify]: Simplify 1 into 1 6.529 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0 6.529 * [backup-simplify]: Simplify 4.0 into 4.0 6.529 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 6.529 * [backup-simplify]: Simplify (- (/ 4.0 y)) into (- (* 4.0 (/ 1 y))) 6.530 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 (/ 1 y)))) into (- (* 4.0 (/ 1 y))) 6.530 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 y))) in y 6.530 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 6.530 * [taylor]: Taking taylor expansion of 4.0 in y 6.530 * [backup-simplify]: Simplify 4.0 into 4.0 6.530 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.530 * [taylor]: Taking taylor expansion of y in y 6.530 * [backup-simplify]: Simplify 0 into 0 6.530 * [backup-simplify]: Simplify 1 into 1 6.530 * [backup-simplify]: Simplify (/ 1 1) into 1 6.530 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 6.531 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.531 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.531 * [backup-simplify]: Simplify 2.0 into 2.0 6.532 * [backup-simplify]: Simplify (+ 2.0 (+ (* (- 4.0) (* (/ 1 y) (* z 1))) (* 4.0 (* (/ 1 y) (* 1 x))))) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) 6.532 * [backup-simplify]: Simplify (+ 1.0 (* (+ (/ (- (/ 1 x) (/ 1 z)) (/ 1 y)) 0.25) 4.0)) into (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) 6.532 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x z y) around 0 6.532 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y 6.532 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y 6.532 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 6.533 * [taylor]: Taking taylor expansion of 4.0 in y 6.533 * [backup-simplify]: Simplify 4.0 into 4.0 6.533 * [taylor]: Taking taylor expansion of (/ y x) in y 6.533 * [taylor]: Taking taylor expansion of y in y 6.533 * [backup-simplify]: Simplify 0 into 0 6.533 * [backup-simplify]: Simplify 1 into 1 6.533 * [taylor]: Taking taylor expansion of x in y 6.533 * [backup-simplify]: Simplify x into x 6.533 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.533 * [taylor]: Taking taylor expansion of 2.0 in y 6.533 * [backup-simplify]: Simplify 2.0 into 2.0 6.533 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 6.533 * [taylor]: Taking taylor expansion of 4.0 in y 6.533 * [backup-simplify]: Simplify 4.0 into 4.0 6.533 * [taylor]: Taking taylor expansion of (/ y z) in y 6.533 * [taylor]: Taking taylor expansion of y in y 6.533 * [backup-simplify]: Simplify 0 into 0 6.533 * [backup-simplify]: Simplify 1 into 1 6.533 * [taylor]: Taking taylor expansion of z in y 6.533 * [backup-simplify]: Simplify z into z 6.533 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.533 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 6.533 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 6.533 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 6.533 * [taylor]: Taking taylor expansion of 4.0 in z 6.533 * [backup-simplify]: Simplify 4.0 into 4.0 6.533 * [taylor]: Taking taylor expansion of (/ y x) in z 6.533 * [taylor]: Taking taylor expansion of y in z 6.533 * [backup-simplify]: Simplify y into y 6.533 * [taylor]: Taking taylor expansion of x in z 6.533 * [backup-simplify]: Simplify x into x 6.533 * [backup-simplify]: Simplify (/ y x) into (/ y x) 6.533 * [taylor]: Taking taylor expansion of 2.0 in z 6.533 * [backup-simplify]: Simplify 2.0 into 2.0 6.533 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 6.533 * [taylor]: Taking taylor expansion of 4.0 in z 6.534 * [backup-simplify]: Simplify 4.0 into 4.0 6.534 * [taylor]: Taking taylor expansion of (/ y z) in z 6.534 * [taylor]: Taking taylor expansion of y in z 6.534 * [backup-simplify]: Simplify y into y 6.534 * [taylor]: Taking taylor expansion of z in z 6.534 * [backup-simplify]: Simplify 0 into 0 6.534 * [backup-simplify]: Simplify 1 into 1 6.534 * [backup-simplify]: Simplify (/ y 1) into y 6.534 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 6.534 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 6.534 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 6.534 * [taylor]: Taking taylor expansion of 4.0 in x 6.534 * [backup-simplify]: Simplify 4.0 into 4.0 6.534 * [taylor]: Taking taylor expansion of (/ y x) in x 6.534 * [taylor]: Taking taylor expansion of y in x 6.534 * [backup-simplify]: Simplify y into y 6.534 * [taylor]: Taking taylor expansion of x in x 6.534 * [backup-simplify]: Simplify 0 into 0 6.534 * [backup-simplify]: Simplify 1 into 1 6.534 * [backup-simplify]: Simplify (/ y 1) into y 6.534 * [taylor]: Taking taylor expansion of 2.0 in x 6.534 * [backup-simplify]: Simplify 2.0 into 2.0 6.534 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 6.534 * [taylor]: Taking taylor expansion of 4.0 in x 6.534 * [backup-simplify]: Simplify 4.0 into 4.0 6.534 * [taylor]: Taking taylor expansion of (/ y z) in x 6.534 * [taylor]: Taking taylor expansion of y in x 6.534 * [backup-simplify]: Simplify y into y 6.534 * [taylor]: Taking taylor expansion of z in x 6.534 * [backup-simplify]: Simplify z into z 6.534 * [backup-simplify]: Simplify (/ y z) into (/ y z) 6.534 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 6.534 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 6.534 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 6.534 * [taylor]: Taking taylor expansion of 4.0 in x 6.535 * [backup-simplify]: Simplify 4.0 into 4.0 6.535 * [taylor]: Taking taylor expansion of (/ y x) in x 6.535 * [taylor]: Taking taylor expansion of y in x 6.535 * [backup-simplify]: Simplify y into y 6.535 * [taylor]: Taking taylor expansion of x in x 6.535 * [backup-simplify]: Simplify 0 into 0 6.535 * [backup-simplify]: Simplify 1 into 1 6.535 * [backup-simplify]: Simplify (/ y 1) into y 6.535 * [taylor]: Taking taylor expansion of 2.0 in x 6.535 * [backup-simplify]: Simplify 2.0 into 2.0 6.535 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 6.535 * [taylor]: Taking taylor expansion of 4.0 in x 6.535 * [backup-simplify]: Simplify 4.0 into 4.0 6.535 * [taylor]: Taking taylor expansion of (/ y z) in x 6.535 * [taylor]: Taking taylor expansion of y in x 6.535 * [backup-simplify]: Simplify y into y 6.535 * [taylor]: Taking taylor expansion of z in x 6.535 * [backup-simplify]: Simplify z into z 6.535 * [backup-simplify]: Simplify (/ y z) into (/ y z) 6.535 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 6.535 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 6.535 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 6.535 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 6.535 * [taylor]: Taking taylor expansion of 4.0 in z 6.535 * [backup-simplify]: Simplify 4.0 into 4.0 6.535 * [taylor]: Taking taylor expansion of y in z 6.535 * [backup-simplify]: Simplify y into y 6.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.537 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 6.537 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.537 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z)) 6.538 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z))) 6.538 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ y z)))) into (- 2.0 (* 4.0 (/ y z))) 6.538 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 6.538 * [taylor]: Taking taylor expansion of 2.0 in z 6.538 * [backup-simplify]: Simplify 2.0 into 2.0 6.538 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 6.538 * [taylor]: Taking taylor expansion of 4.0 in z 6.538 * [backup-simplify]: Simplify 4.0 into 4.0 6.538 * [taylor]: Taking taylor expansion of (/ y z) in z 6.538 * [taylor]: Taking taylor expansion of y in z 6.538 * [backup-simplify]: Simplify y into y 6.538 * [taylor]: Taking taylor expansion of z in z 6.538 * [backup-simplify]: Simplify 0 into 0 6.538 * [backup-simplify]: Simplify 1 into 1 6.538 * [backup-simplify]: Simplify (/ y 1) into y 6.538 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 6.538 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 6.538 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y)) 6.538 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 6.538 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.538 * [taylor]: Taking taylor expansion of 4.0 in y 6.539 * [backup-simplify]: Simplify 4.0 into 4.0 6.539 * [taylor]: Taking taylor expansion of y in y 6.539 * [backup-simplify]: Simplify 0 into 0 6.539 * [backup-simplify]: Simplify 1 into 1 6.539 * [backup-simplify]: Simplify (* 4.0 0) into 0 6.539 * [backup-simplify]: Simplify (- 0) into 0 6.539 * [backup-simplify]: Simplify 0 into 0 6.539 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 6.539 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.539 * [taylor]: Taking taylor expansion of 4.0 in y 6.540 * [backup-simplify]: Simplify 4.0 into 4.0 6.540 * [taylor]: Taking taylor expansion of y in y 6.540 * [backup-simplify]: Simplify 0 into 0 6.540 * [backup-simplify]: Simplify 1 into 1 6.540 * [backup-simplify]: Simplify (* 4.0 0) into 0 6.540 * [backup-simplify]: Simplify 0 into 0 6.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.542 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 6.543 * [backup-simplify]: Simplify (+ 0 0) into 0 6.543 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 6.543 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0 6.544 * [backup-simplify]: Simplify (- 0) into 0 6.544 * [backup-simplify]: Simplify (+ 0 0) into 0 6.544 * [taylor]: Taking taylor expansion of 0 in z 6.544 * [backup-simplify]: Simplify 0 into 0 6.545 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.545 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 6.545 * [backup-simplify]: Simplify (- 0) into 0 6.546 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.546 * [taylor]: Taking taylor expansion of 2.0 in y 6.546 * [backup-simplify]: Simplify 2.0 into 2.0 6.546 * [backup-simplify]: Simplify 2.0 into 2.0 6.546 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 6.546 * [taylor]: Taking taylor expansion of 0 in y 6.546 * [backup-simplify]: Simplify 0 into 0 6.546 * [backup-simplify]: Simplify 0 into 0 6.548 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 6.548 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.548 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.550 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 6.550 * [backup-simplify]: Simplify 4.0 into 4.0 6.550 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (+ (* (- 4.0) (* (/ 1 y) (* (/ 1 (/ 1 z)) 1))) 2.0)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) 6.551 * [backup-simplify]: Simplify (+ 1.0 (* (+ (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) 0.25) 4.0)) into (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) 6.551 * [approximate]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in (x z y) around 0 6.551 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in y 6.551 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in y 6.551 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in y 6.551 * [taylor]: Taking taylor expansion of 4.0 in y 6.551 * [backup-simplify]: Simplify 4.0 into 4.0 6.551 * [taylor]: Taking taylor expansion of (/ y x) in y 6.551 * [taylor]: Taking taylor expansion of y in y 6.551 * [backup-simplify]: Simplify 0 into 0 6.551 * [backup-simplify]: Simplify 1 into 1 6.551 * [taylor]: Taking taylor expansion of x in y 6.551 * [backup-simplify]: Simplify x into x 6.551 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.551 * [taylor]: Taking taylor expansion of 2.0 in y 6.551 * [backup-simplify]: Simplify 2.0 into 2.0 6.551 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 6.551 * [taylor]: Taking taylor expansion of 4.0 in y 6.551 * [backup-simplify]: Simplify 4.0 into 4.0 6.551 * [taylor]: Taking taylor expansion of (/ y z) in y 6.551 * [taylor]: Taking taylor expansion of y in y 6.551 * [backup-simplify]: Simplify 0 into 0 6.551 * [backup-simplify]: Simplify 1 into 1 6.551 * [taylor]: Taking taylor expansion of z in y 6.552 * [backup-simplify]: Simplify z into z 6.552 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.552 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in z 6.552 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in z 6.552 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in z 6.552 * [taylor]: Taking taylor expansion of 4.0 in z 6.552 * [backup-simplify]: Simplify 4.0 into 4.0 6.552 * [taylor]: Taking taylor expansion of (/ y x) in z 6.552 * [taylor]: Taking taylor expansion of y in z 6.552 * [backup-simplify]: Simplify y into y 6.552 * [taylor]: Taking taylor expansion of x in z 6.552 * [backup-simplify]: Simplify x into x 6.552 * [backup-simplify]: Simplify (/ y x) into (/ y x) 6.552 * [taylor]: Taking taylor expansion of 2.0 in z 6.552 * [backup-simplify]: Simplify 2.0 into 2.0 6.552 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 6.552 * [taylor]: Taking taylor expansion of 4.0 in z 6.552 * [backup-simplify]: Simplify 4.0 into 4.0 6.552 * [taylor]: Taking taylor expansion of (/ y z) in z 6.552 * [taylor]: Taking taylor expansion of y in z 6.552 * [backup-simplify]: Simplify y into y 6.552 * [taylor]: Taking taylor expansion of z in z 6.552 * [backup-simplify]: Simplify 0 into 0 6.552 * [backup-simplify]: Simplify 1 into 1 6.552 * [backup-simplify]: Simplify (/ y 1) into y 6.552 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 6.552 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 6.552 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 6.552 * [taylor]: Taking taylor expansion of 4.0 in x 6.552 * [backup-simplify]: Simplify 4.0 into 4.0 6.552 * [taylor]: Taking taylor expansion of (/ y x) in x 6.552 * [taylor]: Taking taylor expansion of y in x 6.552 * [backup-simplify]: Simplify y into y 6.552 * [taylor]: Taking taylor expansion of x in x 6.552 * [backup-simplify]: Simplify 0 into 0 6.553 * [backup-simplify]: Simplify 1 into 1 6.553 * [backup-simplify]: Simplify (/ y 1) into y 6.553 * [taylor]: Taking taylor expansion of 2.0 in x 6.553 * [backup-simplify]: Simplify 2.0 into 2.0 6.553 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 6.553 * [taylor]: Taking taylor expansion of 4.0 in x 6.553 * [backup-simplify]: Simplify 4.0 into 4.0 6.553 * [taylor]: Taking taylor expansion of (/ y z) in x 6.553 * [taylor]: Taking taylor expansion of y in x 6.553 * [backup-simplify]: Simplify y into y 6.553 * [taylor]: Taking taylor expansion of z in x 6.553 * [backup-simplify]: Simplify z into z 6.553 * [backup-simplify]: Simplify (/ y z) into (/ y z) 6.553 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y x)) 2.0) (* 4.0 (/ y z))) in x 6.553 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y x)) 2.0) in x 6.553 * [taylor]: Taking taylor expansion of (* 4.0 (/ y x)) in x 6.553 * [taylor]: Taking taylor expansion of 4.0 in x 6.553 * [backup-simplify]: Simplify 4.0 into 4.0 6.553 * [taylor]: Taking taylor expansion of (/ y x) in x 6.553 * [taylor]: Taking taylor expansion of y in x 6.553 * [backup-simplify]: Simplify y into y 6.553 * [taylor]: Taking taylor expansion of x in x 6.553 * [backup-simplify]: Simplify 0 into 0 6.553 * [backup-simplify]: Simplify 1 into 1 6.553 * [backup-simplify]: Simplify (/ y 1) into y 6.553 * [taylor]: Taking taylor expansion of 2.0 in x 6.553 * [backup-simplify]: Simplify 2.0 into 2.0 6.553 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 6.553 * [taylor]: Taking taylor expansion of 4.0 in x 6.553 * [backup-simplify]: Simplify 4.0 into 4.0 6.553 * [taylor]: Taking taylor expansion of (/ y z) in x 6.553 * [taylor]: Taking taylor expansion of y in x 6.553 * [backup-simplify]: Simplify y into y 6.553 * [taylor]: Taking taylor expansion of z in x 6.553 * [backup-simplify]: Simplify z into z 6.553 * [backup-simplify]: Simplify (/ y z) into (/ y z) 6.554 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 6.554 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 6.554 * [backup-simplify]: Simplify (+ (* 4.0 y) 0) into (* 4.0 y) 6.554 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 6.554 * [taylor]: Taking taylor expansion of 4.0 in z 6.554 * [backup-simplify]: Simplify 4.0 into 4.0 6.554 * [taylor]: Taking taylor expansion of y in z 6.554 * [backup-simplify]: Simplify y into y 6.555 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.555 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 6.555 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 6.556 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z)) 6.556 * [backup-simplify]: Simplify (- (* 4.0 (/ y z))) into (- (* 4.0 (/ y z))) 6.556 * [backup-simplify]: Simplify (+ 2.0 (- (* 4.0 (/ y z)))) into (- 2.0 (* 4.0 (/ y z))) 6.556 * [taylor]: Taking taylor expansion of (- 2.0 (* 4.0 (/ y z))) in z 6.556 * [taylor]: Taking taylor expansion of 2.0 in z 6.556 * [backup-simplify]: Simplify 2.0 into 2.0 6.556 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 6.556 * [taylor]: Taking taylor expansion of 4.0 in z 6.556 * [backup-simplify]: Simplify 4.0 into 4.0 6.556 * [taylor]: Taking taylor expansion of (/ y z) in z 6.556 * [taylor]: Taking taylor expansion of y in z 6.556 * [backup-simplify]: Simplify y into y 6.556 * [taylor]: Taking taylor expansion of z in z 6.556 * [backup-simplify]: Simplify 0 into 0 6.556 * [backup-simplify]: Simplify 1 into 1 6.556 * [backup-simplify]: Simplify (/ y 1) into y 6.556 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 6.556 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 6.556 * [backup-simplify]: Simplify (+ 0 (- (* 4.0 y))) into (- (* 4.0 y)) 6.557 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 6.557 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.557 * [taylor]: Taking taylor expansion of 4.0 in y 6.557 * [backup-simplify]: Simplify 4.0 into 4.0 6.557 * [taylor]: Taking taylor expansion of y in y 6.557 * [backup-simplify]: Simplify 0 into 0 6.557 * [backup-simplify]: Simplify 1 into 1 6.557 * [backup-simplify]: Simplify (* 4.0 0) into 0 6.557 * [backup-simplify]: Simplify (- 0) into 0 6.557 * [backup-simplify]: Simplify 0 into 0 6.557 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 6.557 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 6.558 * [taylor]: Taking taylor expansion of 4.0 in y 6.558 * [backup-simplify]: Simplify 4.0 into 4.0 6.558 * [taylor]: Taking taylor expansion of y in y 6.558 * [backup-simplify]: Simplify 0 into 0 6.558 * [backup-simplify]: Simplify 1 into 1 6.558 * [backup-simplify]: Simplify (* 4.0 0) into 0 6.558 * [backup-simplify]: Simplify 0 into 0 6.559 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.560 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 6.560 * [backup-simplify]: Simplify (+ 0 0) into 0 6.560 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 6.561 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0 6.561 * [backup-simplify]: Simplify (- 0) into 0 6.561 * [backup-simplify]: Simplify (+ 0 0) into 0 6.561 * [taylor]: Taking taylor expansion of 0 in z 6.562 * [backup-simplify]: Simplify 0 into 0 6.562 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.563 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 6.563 * [backup-simplify]: Simplify (- 0) into 0 6.563 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0 6.563 * [taylor]: Taking taylor expansion of 2.0 in y 6.563 * [backup-simplify]: Simplify 2.0 into 2.0 6.563 * [backup-simplify]: Simplify 2.0 into 2.0 6.564 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 6.564 * [taylor]: Taking taylor expansion of 0 in y 6.564 * [backup-simplify]: Simplify 0 into 0 6.564 * [backup-simplify]: Simplify 0 into 0 6.565 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 6.566 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.566 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 6.567 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 6.567 * [backup-simplify]: Simplify 4.0 into 4.0 6.568 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* (- 4.0) (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1))) 2.0)) into (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) 6.568 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 6.568 * [backup-simplify]: Simplify (+ (/ (- x z) y) 0.25) into (- (+ (/ x y) 0.25) (/ z y)) 6.568 * [approximate]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in (x z y) around 0 6.568 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in y 6.568 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in y 6.568 * [taylor]: Taking taylor expansion of (/ x y) in y 6.568 * [taylor]: Taking taylor expansion of x in y 6.568 * [backup-simplify]: Simplify x into x 6.568 * [taylor]: Taking taylor expansion of y in y 6.568 * [backup-simplify]: Simplify 0 into 0 6.568 * [backup-simplify]: Simplify 1 into 1 6.568 * [backup-simplify]: Simplify (/ x 1) into x 6.569 * [taylor]: Taking taylor expansion of 0.25 in y 6.569 * [backup-simplify]: Simplify 0.25 into 0.25 6.569 * [taylor]: Taking taylor expansion of (/ z y) in y 6.569 * [taylor]: Taking taylor expansion of z in y 6.569 * [backup-simplify]: Simplify z into z 6.569 * [taylor]: Taking taylor expansion of y in y 6.569 * [backup-simplify]: Simplify 0 into 0 6.569 * [backup-simplify]: Simplify 1 into 1 6.569 * [backup-simplify]: Simplify (/ z 1) into z 6.569 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in z 6.569 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in z 6.569 * [taylor]: Taking taylor expansion of (/ x y) in z 6.569 * [taylor]: Taking taylor expansion of x in z 6.569 * [backup-simplify]: Simplify x into x 6.569 * [taylor]: Taking taylor expansion of y in z 6.569 * [backup-simplify]: Simplify y into y 6.569 * [backup-simplify]: Simplify (/ x y) into (/ x y) 6.569 * [taylor]: Taking taylor expansion of 0.25 in z 6.569 * [backup-simplify]: Simplify 0.25 into 0.25 6.569 * [taylor]: Taking taylor expansion of (/ z y) in z 6.569 * [taylor]: Taking taylor expansion of z in z 6.569 * [backup-simplify]: Simplify 0 into 0 6.569 * [backup-simplify]: Simplify 1 into 1 6.569 * [taylor]: Taking taylor expansion of y in z 6.569 * [backup-simplify]: Simplify y into y 6.569 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.569 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in x 6.569 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in x 6.569 * [taylor]: Taking taylor expansion of (/ x y) in x 6.569 * [taylor]: Taking taylor expansion of x in x 6.569 * [backup-simplify]: Simplify 0 into 0 6.569 * [backup-simplify]: Simplify 1 into 1 6.569 * [taylor]: Taking taylor expansion of y in x 6.569 * [backup-simplify]: Simplify y into y 6.569 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.569 * [taylor]: Taking taylor expansion of 0.25 in x 6.570 * [backup-simplify]: Simplify 0.25 into 0.25 6.570 * [taylor]: Taking taylor expansion of (/ z y) in x 6.570 * [taylor]: Taking taylor expansion of z in x 6.570 * [backup-simplify]: Simplify z into z 6.570 * [taylor]: Taking taylor expansion of y in x 6.570 * [backup-simplify]: Simplify y into y 6.570 * [backup-simplify]: Simplify (/ z y) into (/ z y) 6.570 * [taylor]: Taking taylor expansion of (- (+ (/ x y) 0.25) (/ z y)) in x 6.570 * [taylor]: Taking taylor expansion of (+ (/ x y) 0.25) in x 6.570 * [taylor]: Taking taylor expansion of (/ x y) in x 6.570 * [taylor]: Taking taylor expansion of x in x 6.570 * [backup-simplify]: Simplify 0 into 0 6.570 * [backup-simplify]: Simplify 1 into 1 6.570 * [taylor]: Taking taylor expansion of y in x 6.570 * [backup-simplify]: Simplify y into y 6.570 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.570 * [taylor]: Taking taylor expansion of 0.25 in x 6.570 * [backup-simplify]: Simplify 0.25 into 0.25 6.570 * [taylor]: Taking taylor expansion of (/ z y) in x 6.570 * [taylor]: Taking taylor expansion of z in x 6.570 * [backup-simplify]: Simplify z into z 6.570 * [taylor]: Taking taylor expansion of y in x 6.570 * [backup-simplify]: Simplify y into y 6.570 * [backup-simplify]: Simplify (/ z y) into (/ z y) 6.571 * [backup-simplify]: Simplify (+ 0 0.25) into 0.25 6.571 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y)) 6.571 * [backup-simplify]: Simplify (+ 0.25 (- (/ z y))) into (- 0.25 (/ z y)) 6.571 * [taylor]: Taking taylor expansion of (- 0.25 (/ z y)) in z 6.571 * [taylor]: Taking taylor expansion of 0.25 in z 6.571 * [backup-simplify]: Simplify 0.25 into 0.25 6.571 * [taylor]: Taking taylor expansion of (/ z y) in z 6.571 * [taylor]: Taking taylor expansion of z in z 6.571 * [backup-simplify]: Simplify 0 into 0 6.571 * [backup-simplify]: Simplify 1 into 1 6.571 * [taylor]: Taking taylor expansion of y in z 6.571 * [backup-simplify]: Simplify y into y 6.571 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.572 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25 6.572 * [taylor]: Taking taylor expansion of 0.25 in y 6.572 * [backup-simplify]: Simplify 0.25 into 0.25 6.572 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 6.572 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 6.572 * [backup-simplify]: Simplify (- 0) into 0 6.572 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 6.572 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.572 * [taylor]: Taking taylor expansion of y in z 6.572 * [backup-simplify]: Simplify y into y 6.572 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.572 * [taylor]: Taking taylor expansion of y in y 6.572 * [backup-simplify]: Simplify 0 into 0 6.572 * [backup-simplify]: Simplify 1 into 1 6.573 * [backup-simplify]: Simplify (/ 1 1) into 1 6.573 * [backup-simplify]: Simplify 1 into 1 6.573 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 6.573 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 6.573 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 6.573 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.573 * [taylor]: Taking taylor expansion of y in y 6.573 * [backup-simplify]: Simplify 0 into 0 6.573 * [backup-simplify]: Simplify 1 into 1 6.574 * [backup-simplify]: Simplify (/ 1 1) into 1 6.574 * [backup-simplify]: Simplify (- 1) into -1 6.574 * [backup-simplify]: Simplify -1 into -1 6.574 * [backup-simplify]: Simplify 0.25 into 0.25 6.574 * [backup-simplify]: Simplify (+ 0.25 (+ (* -1 (* (/ 1 y) (* z 1))) (* 1 (* (/ 1 y) (* 1 x))))) into (- (+ (/ x y) 0.25) (/ z y)) 6.575 * [backup-simplify]: Simplify (+ (/ (- (/ 1 x) (/ 1 z)) (/ 1 y)) 0.25) into (- (+ (/ y x) 0.25) (/ y z)) 6.575 * [approximate]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in (x z y) around 0 6.575 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in y 6.575 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in y 6.575 * [taylor]: Taking taylor expansion of (/ y x) in y 6.575 * [taylor]: Taking taylor expansion of y in y 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify 1 into 1 6.575 * [taylor]: Taking taylor expansion of x in y 6.575 * [backup-simplify]: Simplify x into x 6.575 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.575 * [taylor]: Taking taylor expansion of 0.25 in y 6.575 * [backup-simplify]: Simplify 0.25 into 0.25 6.575 * [taylor]: Taking taylor expansion of (/ y z) in y 6.575 * [taylor]: Taking taylor expansion of y in y 6.575 * [backup-simplify]: Simplify 0 into 0 6.575 * [backup-simplify]: Simplify 1 into 1 6.575 * [taylor]: Taking taylor expansion of z in y 6.575 * [backup-simplify]: Simplify z into z 6.575 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.575 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in z 6.575 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in z 6.575 * [taylor]: Taking taylor expansion of (/ y x) in z 6.575 * [taylor]: Taking taylor expansion of y in z 6.575 * [backup-simplify]: Simplify y into y 6.575 * [taylor]: Taking taylor expansion of x in z 6.575 * [backup-simplify]: Simplify x into x 6.575 * [backup-simplify]: Simplify (/ y x) into (/ y x) 6.575 * [taylor]: Taking taylor expansion of 0.25 in z 6.575 * [backup-simplify]: Simplify 0.25 into 0.25 6.575 * [taylor]: Taking taylor expansion of (/ y z) in z 6.575 * [taylor]: Taking taylor expansion of y in z 6.575 * [backup-simplify]: Simplify y into y 6.575 * [taylor]: Taking taylor expansion of z in z 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify 1 into 1 6.576 * [backup-simplify]: Simplify (/ y 1) into y 6.576 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 6.576 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 6.576 * [taylor]: Taking taylor expansion of (/ y x) in x 6.576 * [taylor]: Taking taylor expansion of y in x 6.576 * [backup-simplify]: Simplify y into y 6.576 * [taylor]: Taking taylor expansion of x in x 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify 1 into 1 6.576 * [backup-simplify]: Simplify (/ y 1) into y 6.576 * [taylor]: Taking taylor expansion of 0.25 in x 6.576 * [backup-simplify]: Simplify 0.25 into 0.25 6.576 * [taylor]: Taking taylor expansion of (/ y z) in x 6.576 * [taylor]: Taking taylor expansion of y in x 6.576 * [backup-simplify]: Simplify y into y 6.576 * [taylor]: Taking taylor expansion of z in x 6.576 * [backup-simplify]: Simplify z into z 6.576 * [backup-simplify]: Simplify (/ y z) into (/ y z) 6.576 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 6.576 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 6.576 * [taylor]: Taking taylor expansion of (/ y x) in x 6.576 * [taylor]: Taking taylor expansion of y in x 6.576 * [backup-simplify]: Simplify y into y 6.576 * [taylor]: Taking taylor expansion of x in x 6.576 * [backup-simplify]: Simplify 0 into 0 6.576 * [backup-simplify]: Simplify 1 into 1 6.576 * [backup-simplify]: Simplify (/ y 1) into y 6.576 * [taylor]: Taking taylor expansion of 0.25 in x 6.576 * [backup-simplify]: Simplify 0.25 into 0.25 6.576 * [taylor]: Taking taylor expansion of (/ y z) in x 6.576 * [taylor]: Taking taylor expansion of y in x 6.576 * [backup-simplify]: Simplify y into y 6.576 * [taylor]: Taking taylor expansion of z in x 6.576 * [backup-simplify]: Simplify z into z 6.577 * [backup-simplify]: Simplify (/ y z) into (/ y z) 6.577 * [backup-simplify]: Simplify (+ y 0) into y 6.577 * [backup-simplify]: Simplify (+ y 0) into y 6.577 * [taylor]: Taking taylor expansion of y in z 6.577 * [backup-simplify]: Simplify y into y 6.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.578 * [backup-simplify]: Simplify (+ 0 0.25) into 0.25 6.578 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 6.578 * [backup-simplify]: Simplify (+ 0.25 (- (/ y z))) into (- 0.25 (/ y z)) 6.578 * [taylor]: Taking taylor expansion of (- 0.25 (/ y z)) in z 6.578 * [taylor]: Taking taylor expansion of 0.25 in z 6.578 * [backup-simplify]: Simplify 0.25 into 0.25 6.578 * [taylor]: Taking taylor expansion of (/ y z) in z 6.578 * [taylor]: Taking taylor expansion of y in z 6.578 * [backup-simplify]: Simplify y into y 6.578 * [taylor]: Taking taylor expansion of z in z 6.578 * [backup-simplify]: Simplify 0 into 0 6.578 * [backup-simplify]: Simplify 1 into 1 6.578 * [backup-simplify]: Simplify (/ y 1) into y 6.578 * [backup-simplify]: Simplify (- y) into (- y) 6.578 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 6.578 * [taylor]: Taking taylor expansion of (- y) in y 6.578 * [taylor]: Taking taylor expansion of y in y 6.578 * [backup-simplify]: Simplify 0 into 0 6.579 * [backup-simplify]: Simplify 1 into 1 6.579 * [backup-simplify]: Simplify (- 0) into 0 6.579 * [backup-simplify]: Simplify 0 into 0 6.579 * [taylor]: Taking taylor expansion of y in y 6.579 * [backup-simplify]: Simplify 0 into 0 6.579 * [backup-simplify]: Simplify 1 into 1 6.579 * [backup-simplify]: Simplify 0 into 0 6.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.580 * [backup-simplify]: Simplify (+ 0 0) into 0 6.581 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 6.581 * [backup-simplify]: Simplify (- 0) into 0 6.581 * [backup-simplify]: Simplify (+ 0 0) into 0 6.581 * [taylor]: Taking taylor expansion of 0 in z 6.581 * [backup-simplify]: Simplify 0 into 0 6.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.582 * [backup-simplify]: Simplify (- 0) into 0 6.583 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25 6.583 * [taylor]: Taking taylor expansion of 0.25 in y 6.583 * [backup-simplify]: Simplify 0.25 into 0.25 6.583 * [backup-simplify]: Simplify 0.25 into 0.25 6.583 * [taylor]: Taking taylor expansion of 0 in y 6.583 * [backup-simplify]: Simplify 0 into 0 6.583 * [backup-simplify]: Simplify 0 into 0 6.583 * [backup-simplify]: Simplify (- 1) into -1 6.583 * [backup-simplify]: Simplify -1 into -1 6.583 * [backup-simplify]: Simplify 1 into 1 6.584 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (+ (* -1 (* (/ 1 y) (* (/ 1 (/ 1 z)) 1))) 0.25)) into (- (+ (/ x y) 0.25) (/ z y)) 6.584 * [backup-simplify]: Simplify (+ (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) 0.25) into (- (+ (/ y x) 0.25) (/ y z)) 6.584 * [approximate]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in (x z y) around 0 6.584 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in y 6.584 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in y 6.584 * [taylor]: Taking taylor expansion of (/ y x) in y 6.584 * [taylor]: Taking taylor expansion of y in y 6.584 * [backup-simplify]: Simplify 0 into 0 6.584 * [backup-simplify]: Simplify 1 into 1 6.584 * [taylor]: Taking taylor expansion of x in y 6.584 * [backup-simplify]: Simplify x into x 6.584 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.584 * [taylor]: Taking taylor expansion of 0.25 in y 6.584 * [backup-simplify]: Simplify 0.25 into 0.25 6.584 * [taylor]: Taking taylor expansion of (/ y z) in y 6.584 * [taylor]: Taking taylor expansion of y in y 6.584 * [backup-simplify]: Simplify 0 into 0 6.584 * [backup-simplify]: Simplify 1 into 1 6.584 * [taylor]: Taking taylor expansion of z in y 6.584 * [backup-simplify]: Simplify z into z 6.584 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.584 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in z 6.584 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in z 6.584 * [taylor]: Taking taylor expansion of (/ y x) in z 6.584 * [taylor]: Taking taylor expansion of y in z 6.584 * [backup-simplify]: Simplify y into y 6.584 * [taylor]: Taking taylor expansion of x in z 6.584 * [backup-simplify]: Simplify x into x 6.584 * [backup-simplify]: Simplify (/ y x) into (/ y x) 6.584 * [taylor]: Taking taylor expansion of 0.25 in z 6.584 * [backup-simplify]: Simplify 0.25 into 0.25 6.584 * [taylor]: Taking taylor expansion of (/ y z) in z 6.584 * [taylor]: Taking taylor expansion of y in z 6.584 * [backup-simplify]: Simplify y into y 6.584 * [taylor]: Taking taylor expansion of z in z 6.584 * [backup-simplify]: Simplify 0 into 0 6.584 * [backup-simplify]: Simplify 1 into 1 6.584 * [backup-simplify]: Simplify (/ y 1) into y 6.585 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 6.585 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 6.585 * [taylor]: Taking taylor expansion of (/ y x) in x 6.585 * [taylor]: Taking taylor expansion of y in x 6.585 * [backup-simplify]: Simplify y into y 6.585 * [taylor]: Taking taylor expansion of x in x 6.585 * [backup-simplify]: Simplify 0 into 0 6.585 * [backup-simplify]: Simplify 1 into 1 6.585 * [backup-simplify]: Simplify (/ y 1) into y 6.585 * [taylor]: Taking taylor expansion of 0.25 in x 6.585 * [backup-simplify]: Simplify 0.25 into 0.25 6.585 * [taylor]: Taking taylor expansion of (/ y z) in x 6.585 * [taylor]: Taking taylor expansion of y in x 6.585 * [backup-simplify]: Simplify y into y 6.585 * [taylor]: Taking taylor expansion of z in x 6.585 * [backup-simplify]: Simplify z into z 6.585 * [backup-simplify]: Simplify (/ y z) into (/ y z) 6.585 * [taylor]: Taking taylor expansion of (- (+ (/ y x) 0.25) (/ y z)) in x 6.585 * [taylor]: Taking taylor expansion of (+ (/ y x) 0.25) in x 6.585 * [taylor]: Taking taylor expansion of (/ y x) in x 6.585 * [taylor]: Taking taylor expansion of y in x 6.585 * [backup-simplify]: Simplify y into y 6.585 * [taylor]: Taking taylor expansion of x in x 6.585 * [backup-simplify]: Simplify 0 into 0 6.585 * [backup-simplify]: Simplify 1 into 1 6.585 * [backup-simplify]: Simplify (/ y 1) into y 6.585 * [taylor]: Taking taylor expansion of 0.25 in x 6.585 * [backup-simplify]: Simplify 0.25 into 0.25 6.585 * [taylor]: Taking taylor expansion of (/ y z) in x 6.585 * [taylor]: Taking taylor expansion of y in x 6.585 * [backup-simplify]: Simplify y into y 6.585 * [taylor]: Taking taylor expansion of z in x 6.585 * [backup-simplify]: Simplify z into z 6.585 * [backup-simplify]: Simplify (/ y z) into (/ y z) 6.585 * [backup-simplify]: Simplify (+ y 0) into y 6.585 * [backup-simplify]: Simplify (+ y 0) into y 6.585 * [taylor]: Taking taylor expansion of y in z 6.585 * [backup-simplify]: Simplify y into y 6.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.586 * [backup-simplify]: Simplify (+ 0 0.25) into 0.25 6.586 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 6.586 * [backup-simplify]: Simplify (+ 0.25 (- (/ y z))) into (- 0.25 (/ y z)) 6.586 * [taylor]: Taking taylor expansion of (- 0.25 (/ y z)) in z 6.586 * [taylor]: Taking taylor expansion of 0.25 in z 6.586 * [backup-simplify]: Simplify 0.25 into 0.25 6.586 * [taylor]: Taking taylor expansion of (/ y z) in z 6.586 * [taylor]: Taking taylor expansion of y in z 6.586 * [backup-simplify]: Simplify y into y 6.586 * [taylor]: Taking taylor expansion of z in z 6.586 * [backup-simplify]: Simplify 0 into 0 6.586 * [backup-simplify]: Simplify 1 into 1 6.587 * [backup-simplify]: Simplify (/ y 1) into y 6.587 * [backup-simplify]: Simplify (- y) into (- y) 6.587 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 6.587 * [taylor]: Taking taylor expansion of (- y) in y 6.587 * [taylor]: Taking taylor expansion of y in y 6.587 * [backup-simplify]: Simplify 0 into 0 6.587 * [backup-simplify]: Simplify 1 into 1 6.587 * [backup-simplify]: Simplify (- 0) into 0 6.587 * [backup-simplify]: Simplify 0 into 0 6.587 * [taylor]: Taking taylor expansion of y in y 6.587 * [backup-simplify]: Simplify 0 into 0 6.587 * [backup-simplify]: Simplify 1 into 1 6.587 * [backup-simplify]: Simplify 0 into 0 6.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.588 * [backup-simplify]: Simplify (+ 0 0) into 0 6.588 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 6.588 * [backup-simplify]: Simplify (- 0) into 0 6.589 * [backup-simplify]: Simplify (+ 0 0) into 0 6.589 * [taylor]: Taking taylor expansion of 0 in z 6.589 * [backup-simplify]: Simplify 0 into 0 6.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 6.589 * [backup-simplify]: Simplify (- 0) into 0 6.590 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25 6.590 * [taylor]: Taking taylor expansion of 0.25 in y 6.590 * [backup-simplify]: Simplify 0.25 into 0.25 6.590 * [backup-simplify]: Simplify 0.25 into 0.25 6.590 * [taylor]: Taking taylor expansion of 0 in y 6.590 * [backup-simplify]: Simplify 0 into 0 6.590 * [backup-simplify]: Simplify 0 into 0 6.590 * [backup-simplify]: Simplify (- 1) into -1 6.590 * [backup-simplify]: Simplify -1 into -1 6.590 * [backup-simplify]: Simplify 1 into 1 6.590 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1))) 0.25)) into (- (+ (/ x y) 0.25) (/ z y)) 6.590 * * * [progress]: simplifying candidates 6.592 * [simplify]: Simplifying: (- (log (- x z)) (log y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y)) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- (- x z)) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) 1) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) 1) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (/ (+ (sqrt x) (sqrt z)) 1) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (/ (- x z) 1) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (+ (* x x) (+ (* z z) (* x z)))) (* y (+ x z)) (* (exp 1.0) (exp (* (+ (/ (- x z) y) 0.25) 4.0))) (log (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (exp (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (* (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0)))) (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (* (* (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0)) (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (sqrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (sqrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (+ (pow 1.0 3) (pow (* (+ (/ (- x z) y) 0.25) 4.0) 3)) (+ (* 1.0 1.0) (- (* (* (+ (/ (- x z) y) 0.25) 4.0) (* (+ (/ (- x z) y) 0.25) 4.0)) (* 1.0 (* (+ (/ (- x z) y) 0.25) 4.0)))) (- (* 1.0 1.0) (* (* (+ (/ (- x z) y) 0.25) 4.0) (* (+ (/ (- x z) y) 0.25) 4.0))) (- 1.0 (* (+ (/ (- x z) y) 0.25) 4.0)) (* (exp (/ (- x z) y)) (exp 0.25)) (log (+ (/ (- x z) y) 0.25)) (exp (+ (/ (- x z) y) 0.25)) (* (cbrt (+ (/ (- x z) y) 0.25)) (cbrt (+ (/ (- x z) y) 0.25))) (cbrt (+ (/ (- x z) y) 0.25)) (* (* (+ (/ (- x z) y) 0.25) (+ (/ (- x z) y) 0.25)) (+ (/ (- x z) y) 0.25)) (sqrt (+ (/ (- x z) y) 0.25)) (sqrt (+ (/ (- x z) y) 0.25)) (+ (pow (/ (- x z) y) 3) (pow 0.25 3)) (+ (* (/ (- x z) y) (/ (- x z) y)) (- (* 0.25 0.25) (* (/ (- x z) y) 0.25))) (- (* (/ (- x z) y) (/ (- x z) y)) (* 0.25 0.25)) (- (/ (- x z) y) 0.25) (+ (/ (- x z) y) 0.25) (- (/ z y) 0.25) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (* 4.0 (/ x y)) 2.0) (* 4.0 (/ z y))) (- (+ (/ x y) 0.25) (/ z y)) (- (+ (/ x y) 0.25) (/ z y)) (- (+ (/ x y) 0.25) (/ z y)) 6.593 * * [simplify]: Extracting # 0 : cost 0 6.593 * * [simplify]: Extracting # 1 : cost 0 6.593 * * [simplify]: Extracting # 2 : cost 0 6.594 * * [simplify]: Extracting # 3 : cost 0 6.594 * * [simplify]: Extracting # 4 : cost 0 6.594 * * [simplify]: Extracting # 5 : cost 0 6.594 * * [simplify]: Extracting # 6 : cost 0 6.594 * * [simplify]: iteration 0 : 126 enodes (cost 844 ) 6.623 * * [simplify]: Extracting # 0 : cost 0 6.624 * * [simplify]: Extracting # 1 : cost 0 6.624 * * [simplify]: Extracting # 2 : cost 0 6.624 * * [simplify]: Extracting # 3 : cost 0 6.625 * * [simplify]: Extracting # 4 : cost 0 6.625 * * [simplify]: iteration 1 : 318 enodes (cost 799 ) 6.754 * * [simplify]: Extracting # 0 : cost 0 6.756 * * [simplify]: Extracting # 1 : cost 0 6.758 * * [simplify]: Extracting # 2 : cost 0 6.760 * * [simplify]: Extracting # 3 : cost 0 6.761 * * [simplify]: Extracting # 4 : cost 0 6.763 * * [simplify]: Extracting # 5 : cost 0 6.765 * * [simplify]: iteration 2 : 861 enodes (cost 747 ) 7.430 * * [simplify]: Extracting # 0 : cost 0 7.437 * * [simplify]: Extracting # 1 : cost 0 7.441 * * [simplify]: Extracting # 2 : cost 0 7.444 * * [simplify]: Extracting # 3 : cost 0 7.448 * * [simplify]: Extracting # 4 : cost 0 7.451 * * [simplify]: iteration 3 : 3314 enodes (cost 731 ) 9.072 * * [simplify]: Extracting # 0 : cost 0 9.086 * * [simplify]: Extracting # 1 : cost 0 9.091 * * [simplify]: Extracting # 2 : cost 0 9.096 * * [simplify]: Extracting # 3 : cost 0 9.102 * * [simplify]: Extracting # 4 : cost 0 9.107 * * [simplify]: iteration done: 5000 enodes (cost 731 ) 9.107 * [simplify]: Simplified to: (log (/ (- x z) y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (pow (/ (- x z) y) 3) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (pow (/ (- x z) y) 3) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- (- x z)) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (* (cbrt (- x z)) (cbrt (- x z))) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (sqrt (- x z)) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (+ (sqrt x) (sqrt z)) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (- x z) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* (+ (* z (+ x z)) (* x x)) y) (* y (+ x z)) (exp (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (log (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (exp (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (* (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0)))) (cbrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (pow (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0)) 3) (sqrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (sqrt (+ 1.0 (* (+ (/ (- x z) y) 0.25) 4.0))) (+ (pow 1.0 3) (pow (* (+ (/ (- x z) y) 0.25) 4.0) 3)) (+ (* 1.0 1.0) (* (* (+ (/ (- x z) y) 0.25) 4.0) (- (* (+ (/ (- x z) y) 0.25) 4.0) 1.0))) (- (* 1.0 1.0) (* (* (+ (/ (- x z) y) 0.25) 4.0) (* (+ (/ (- x z) y) 0.25) 4.0))) (- 1.0 (* (+ (/ (- x z) y) 0.25) 4.0)) (exp (+ (/ (- x z) y) 0.25)) (log (+ (/ (- x z) y) 0.25)) (exp (+ (/ (- x z) y) 0.25)) (* (cbrt (+ (/ (- x z) y) 0.25)) (cbrt (+ (/ (- x z) y) 0.25))) (cbrt (+ (/ (- x z) y) 0.25)) (pow (+ (/ (- x z) y) 0.25) 3) (sqrt (+ (/ (- x z) y) 0.25)) (sqrt (+ (/ (- x z) y) 0.25)) (+ (pow (/ (- x z) y) 3) (pow 0.25 3)) (+ (* (/ (- x z) y) (- (/ (- x z) y) 0.25)) (* 0.25 0.25)) (- (* (/ (- x z) y) (/ (- x z) y)) (* 0.25 0.25)) (- (/ (- x z) y) 0.25) (+ 0.25 (/ (- x z) y)) (- (/ z y) 0.25) (/ (- x z) y) (/ (- x z) y) (/ (- x z) y) (+ (* 4.0 (/ (- x z) y)) 2.0) (+ (* 4.0 (/ (- x z) y)) 2.0) (+ (* 4.0 (/ (- x z) y)) 2.0) (+ 0.25 (/ (- x z) y)) (+ 0.25 (/ (- x z) y)) (+ 0.25 (/ (- x z) y)) 9.108 * * * [progress]: adding candidates to table 9.337 * * [progress]: iteration 2 / 4 9.338 * * * [progress]: picking best candidate 9.340 * * * * [pick]: Picked # 9.341 * * * [progress]: localizing error 9.348 * * * [progress]: generating rewritten candidates 9.348 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 9.366 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 9.423 * * * [progress]: generating series expansions 9.423 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 9.423 * [backup-simplify]: Simplify (/ (- x z) y) into (/ (- x z) y) 9.423 * [approximate]: Taking taylor expansion of (/ (- x z) y) in (x z y) around 0 9.423 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 9.423 * [taylor]: Taking taylor expansion of (- x z) in y 9.423 * [taylor]: Taking taylor expansion of x in y 9.423 * [backup-simplify]: Simplify x into x 9.423 * [taylor]: Taking taylor expansion of z in y 9.423 * [backup-simplify]: Simplify z into z 9.423 * [taylor]: Taking taylor expansion of y in y 9.423 * [backup-simplify]: Simplify 0 into 0 9.423 * [backup-simplify]: Simplify 1 into 1 9.423 * [backup-simplify]: Simplify (- z) into (- z) 9.423 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 9.423 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z) 9.423 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 9.423 * [taylor]: Taking taylor expansion of (- x z) in z 9.423 * [taylor]: Taking taylor expansion of x in z 9.423 * [backup-simplify]: Simplify x into x 9.423 * [taylor]: Taking taylor expansion of z in z 9.423 * [backup-simplify]: Simplify 0 into 0 9.423 * [backup-simplify]: Simplify 1 into 1 9.423 * [taylor]: Taking taylor expansion of y in z 9.423 * [backup-simplify]: Simplify y into y 9.424 * [backup-simplify]: Simplify (- 0) into 0 9.424 * [backup-simplify]: Simplify (+ x 0) into x 9.424 * [backup-simplify]: Simplify (/ x y) into (/ x y) 9.424 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 9.424 * [taylor]: Taking taylor expansion of (- x z) in x 9.424 * [taylor]: Taking taylor expansion of x in x 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify 1 into 1 9.424 * [taylor]: Taking taylor expansion of z in x 9.424 * [backup-simplify]: Simplify z into z 9.424 * [taylor]: Taking taylor expansion of y in x 9.424 * [backup-simplify]: Simplify y into y 9.424 * [backup-simplify]: Simplify (- z) into (- z) 9.424 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 9.424 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y)) 9.424 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 9.424 * [taylor]: Taking taylor expansion of (- x z) in x 9.424 * [taylor]: Taking taylor expansion of x in x 9.424 * [backup-simplify]: Simplify 0 into 0 9.424 * [backup-simplify]: Simplify 1 into 1 9.424 * [taylor]: Taking taylor expansion of z in x 9.424 * [backup-simplify]: Simplify z into z 9.424 * [taylor]: Taking taylor expansion of y in x 9.424 * [backup-simplify]: Simplify y into y 9.424 * [backup-simplify]: Simplify (- z) into (- z) 9.424 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 9.424 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y)) 9.424 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in z 9.424 * [taylor]: Taking taylor expansion of -1 in z 9.424 * [backup-simplify]: Simplify -1 into -1 9.425 * [taylor]: Taking taylor expansion of (/ z y) in z 9.425 * [taylor]: Taking taylor expansion of z in z 9.425 * [backup-simplify]: Simplify 0 into 0 9.425 * [backup-simplify]: Simplify 1 into 1 9.425 * [taylor]: Taking taylor expansion of y in z 9.425 * [backup-simplify]: Simplify y into y 9.425 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.425 * [backup-simplify]: Simplify (- 0) into 0 9.425 * [backup-simplify]: Simplify (+ 1 0) into 1 9.425 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ z y)) (/ 0 y)))) into (/ 1 y) 9.425 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.425 * [taylor]: Taking taylor expansion of y in z 9.425 * [backup-simplify]: Simplify y into y 9.425 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.425 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.425 * [taylor]: Taking taylor expansion of y in y 9.425 * [backup-simplify]: Simplify 0 into 0 9.425 * [backup-simplify]: Simplify 1 into 1 9.426 * [backup-simplify]: Simplify (/ 1 1) into 1 9.426 * [backup-simplify]: Simplify 1 into 1 9.426 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 9.426 * [taylor]: Taking taylor expansion of (/ -1 y) in y 9.426 * [taylor]: Taking taylor expansion of -1 in y 9.426 * [backup-simplify]: Simplify -1 into -1 9.426 * [taylor]: Taking taylor expansion of y in y 9.426 * [backup-simplify]: Simplify 0 into 0 9.426 * [backup-simplify]: Simplify 1 into 1 9.426 * [backup-simplify]: Simplify (/ -1 1) into -1 9.426 * [backup-simplify]: Simplify -1 into -1 9.427 * [backup-simplify]: Simplify (- 0) into 0 9.427 * [backup-simplify]: Simplify (+ 0 0) into 0 9.427 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 9.427 * [taylor]: Taking taylor expansion of 0 in z 9.427 * [backup-simplify]: Simplify 0 into 0 9.427 * [taylor]: Taking taylor expansion of 0 in y 9.427 * [backup-simplify]: Simplify 0 into 0 9.427 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.427 * [taylor]: Taking taylor expansion of 0 in y 9.427 * [backup-simplify]: Simplify 0 into 0 9.427 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 9.428 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 y))) into 0 9.428 * [taylor]: Taking taylor expansion of 0 in y 9.428 * [backup-simplify]: Simplify 0 into 0 9.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.428 * [backup-simplify]: Simplify 0 into 0 9.429 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 9.429 * [backup-simplify]: Simplify 0 into 0 9.429 * [backup-simplify]: Simplify (- 0) into 0 9.429 * [backup-simplify]: Simplify (+ 0 0) into 0 9.429 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.429 * [taylor]: Taking taylor expansion of 0 in z 9.429 * [backup-simplify]: Simplify 0 into 0 9.429 * [taylor]: Taking taylor expansion of 0 in y 9.429 * [backup-simplify]: Simplify 0 into 0 9.430 * [taylor]: Taking taylor expansion of 0 in y 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.430 * [taylor]: Taking taylor expansion of 0 in y 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.430 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 9.430 * [taylor]: Taking taylor expansion of 0 in y 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.430 * [backup-simplify]: Simplify 0 into 0 9.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.431 * [backup-simplify]: Simplify 0 into 0 9.431 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 y) (* z 1))) (* 1 (* (/ 1 y) (* 1 x)))) into (- (/ x y) (/ z y)) 9.431 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) (/ 1 y)) into (* y (- (/ 1 x) (/ 1 z))) 9.431 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in (x z y) around 0 9.431 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 9.431 * [taylor]: Taking taylor expansion of y in y 9.431 * [backup-simplify]: Simplify 0 into 0 9.431 * [backup-simplify]: Simplify 1 into 1 9.431 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.431 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.431 * [taylor]: Taking taylor expansion of x in y 9.431 * [backup-simplify]: Simplify x into x 9.431 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.431 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.432 * [taylor]: Taking taylor expansion of z in y 9.432 * [backup-simplify]: Simplify z into z 9.432 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.432 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 9.432 * [taylor]: Taking taylor expansion of y in z 9.432 * [backup-simplify]: Simplify y into y 9.432 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.432 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.432 * [taylor]: Taking taylor expansion of x in z 9.432 * [backup-simplify]: Simplify x into x 9.432 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.432 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.432 * [taylor]: Taking taylor expansion of z in z 9.432 * [backup-simplify]: Simplify 0 into 0 9.432 * [backup-simplify]: Simplify 1 into 1 9.432 * [backup-simplify]: Simplify (/ 1 1) into 1 9.432 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 9.432 * [taylor]: Taking taylor expansion of y in x 9.432 * [backup-simplify]: Simplify y into y 9.432 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.432 * [taylor]: Taking taylor expansion of x in x 9.432 * [backup-simplify]: Simplify 0 into 0 9.432 * [backup-simplify]: Simplify 1 into 1 9.432 * [backup-simplify]: Simplify (/ 1 1) into 1 9.432 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.432 * [taylor]: Taking taylor expansion of z in x 9.432 * [backup-simplify]: Simplify z into z 9.432 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.433 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 9.433 * [taylor]: Taking taylor expansion of y in x 9.433 * [backup-simplify]: Simplify y into y 9.433 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.433 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.433 * [taylor]: Taking taylor expansion of x in x 9.433 * [backup-simplify]: Simplify 0 into 0 9.433 * [backup-simplify]: Simplify 1 into 1 9.433 * [backup-simplify]: Simplify (/ 1 1) into 1 9.433 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.433 * [taylor]: Taking taylor expansion of z in x 9.433 * [backup-simplify]: Simplify z into z 9.433 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.433 * [backup-simplify]: Simplify (+ 1 0) into 1 9.433 * [backup-simplify]: Simplify (* y 1) into y 9.433 * [taylor]: Taking taylor expansion of y in z 9.433 * [backup-simplify]: Simplify y into y 9.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.434 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 9.434 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 9.434 * [backup-simplify]: Simplify (+ (* y (- (/ 1 z))) (* 0 1)) into (- (/ y z)) 9.434 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 9.434 * [taylor]: Taking taylor expansion of (/ y z) in z 9.434 * [taylor]: Taking taylor expansion of y in z 9.434 * [backup-simplify]: Simplify y into y 9.434 * [taylor]: Taking taylor expansion of z in z 9.434 * [backup-simplify]: Simplify 0 into 0 9.434 * [backup-simplify]: Simplify 1 into 1 9.434 * [backup-simplify]: Simplify (/ y 1) into y 9.434 * [backup-simplify]: Simplify (- y) into (- y) 9.434 * [taylor]: Taking taylor expansion of (- y) in y 9.435 * [taylor]: Taking taylor expansion of y in y 9.435 * [backup-simplify]: Simplify 0 into 0 9.435 * [backup-simplify]: Simplify 1 into 1 9.435 * [backup-simplify]: Simplify (- 0) into 0 9.435 * [backup-simplify]: Simplify 0 into 0 9.435 * [taylor]: Taking taylor expansion of y in y 9.435 * [backup-simplify]: Simplify 0 into 0 9.435 * [backup-simplify]: Simplify 1 into 1 9.435 * [backup-simplify]: Simplify 0 into 0 9.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.436 * [backup-simplify]: Simplify (- 0) into 0 9.436 * [backup-simplify]: Simplify (+ 0 0) into 0 9.436 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 z))) (* 0 1))) into 0 9.436 * [taylor]: Taking taylor expansion of 0 in z 9.436 * [backup-simplify]: Simplify 0 into 0 9.437 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 9.437 * [backup-simplify]: Simplify (- 0) into 0 9.437 * [taylor]: Taking taylor expansion of 0 in y 9.437 * [backup-simplify]: Simplify 0 into 0 9.437 * [backup-simplify]: Simplify 0 into 0 9.437 * [taylor]: Taking taylor expansion of 0 in y 9.437 * [backup-simplify]: Simplify 0 into 0 9.437 * [backup-simplify]: Simplify 0 into 0 9.438 * [backup-simplify]: Simplify (- 1) into -1 9.438 * [backup-simplify]: Simplify -1 into -1 9.438 * [backup-simplify]: Simplify 1 into 1 9.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.439 * [backup-simplify]: Simplify (- 0) into 0 9.439 * [backup-simplify]: Simplify (+ 0 0) into 0 9.439 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z))) (* 0 1)))) into 0 9.439 * [taylor]: Taking taylor expansion of 0 in z 9.439 * [backup-simplify]: Simplify 0 into 0 9.439 * [taylor]: Taking taylor expansion of 0 in y 9.439 * [backup-simplify]: Simplify 0 into 0 9.439 * [backup-simplify]: Simplify 0 into 0 9.440 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.441 * [backup-simplify]: Simplify (- 0) into 0 9.441 * [taylor]: Taking taylor expansion of 0 in y 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [taylor]: Taking taylor expansion of 0 in y 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify (- 0) into 0 9.441 * [backup-simplify]: Simplify 0 into 0 9.441 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 y) (* (/ 1 (/ 1 z)) 1)))) into (- (/ x y) (/ z y)) 9.441 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y))) into (* -1 (* y (- (/ 1 z) (/ 1 x)))) 9.441 * [approximate]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0 9.441 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in y 9.441 * [taylor]: Taking taylor expansion of -1 in y 9.442 * [backup-simplify]: Simplify -1 into -1 9.442 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 9.442 * [taylor]: Taking taylor expansion of y in y 9.442 * [backup-simplify]: Simplify 0 into 0 9.442 * [backup-simplify]: Simplify 1 into 1 9.442 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.442 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.442 * [taylor]: Taking taylor expansion of z in y 9.442 * [backup-simplify]: Simplify z into z 9.442 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.442 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.442 * [taylor]: Taking taylor expansion of x in y 9.442 * [backup-simplify]: Simplify x into x 9.442 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.442 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in z 9.442 * [taylor]: Taking taylor expansion of -1 in z 9.442 * [backup-simplify]: Simplify -1 into -1 9.442 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 9.442 * [taylor]: Taking taylor expansion of y in z 9.442 * [backup-simplify]: Simplify y into y 9.442 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.442 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.442 * [taylor]: Taking taylor expansion of z in z 9.442 * [backup-simplify]: Simplify 0 into 0 9.442 * [backup-simplify]: Simplify 1 into 1 9.442 * [backup-simplify]: Simplify (/ 1 1) into 1 9.442 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.442 * [taylor]: Taking taylor expansion of x in z 9.442 * [backup-simplify]: Simplify x into x 9.442 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.442 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 9.442 * [taylor]: Taking taylor expansion of -1 in x 9.442 * [backup-simplify]: Simplify -1 into -1 9.442 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 9.442 * [taylor]: Taking taylor expansion of y in x 9.442 * [backup-simplify]: Simplify y into y 9.442 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.442 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.442 * [taylor]: Taking taylor expansion of z in x 9.442 * [backup-simplify]: Simplify z into z 9.442 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.442 * [taylor]: Taking taylor expansion of x in x 9.443 * [backup-simplify]: Simplify 0 into 0 9.443 * [backup-simplify]: Simplify 1 into 1 9.443 * [backup-simplify]: Simplify (/ 1 1) into 1 9.443 * [taylor]: Taking taylor expansion of (* -1 (* y (- (/ 1 z) (/ 1 x)))) in x 9.443 * [taylor]: Taking taylor expansion of -1 in x 9.443 * [backup-simplify]: Simplify -1 into -1 9.443 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 9.443 * [taylor]: Taking taylor expansion of y in x 9.443 * [backup-simplify]: Simplify y into y 9.443 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.443 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.443 * [taylor]: Taking taylor expansion of z in x 9.443 * [backup-simplify]: Simplify z into z 9.443 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.443 * [taylor]: Taking taylor expansion of x in x 9.443 * [backup-simplify]: Simplify 0 into 0 9.443 * [backup-simplify]: Simplify 1 into 1 9.443 * [backup-simplify]: Simplify (/ 1 1) into 1 9.444 * [backup-simplify]: Simplify (- 1) into -1 9.444 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.444 * [backup-simplify]: Simplify (* y -1) into (* -1 y) 9.444 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y 9.444 * [taylor]: Taking taylor expansion of y in z 9.444 * [backup-simplify]: Simplify y into y 9.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.445 * [backup-simplify]: Simplify (- 0) into 0 9.445 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 9.445 * [backup-simplify]: Simplify (+ (* y (/ 1 z)) (* 0 -1)) into (/ y z) 9.445 * [backup-simplify]: Simplify (+ (* -1 (/ y z)) (* 0 (* -1 y))) into (- (/ y z)) 9.445 * [taylor]: Taking taylor expansion of (- (/ y z)) in z 9.445 * [taylor]: Taking taylor expansion of (/ y z) in z 9.445 * [taylor]: Taking taylor expansion of y in z 9.445 * [backup-simplify]: Simplify y into y 9.445 * [taylor]: Taking taylor expansion of z in z 9.445 * [backup-simplify]: Simplify 0 into 0 9.445 * [backup-simplify]: Simplify 1 into 1 9.445 * [backup-simplify]: Simplify (/ y 1) into y 9.445 * [backup-simplify]: Simplify (- y) into (- y) 9.445 * [taylor]: Taking taylor expansion of (- y) in y 9.445 * [taylor]: Taking taylor expansion of y in y 9.445 * [backup-simplify]: Simplify 0 into 0 9.445 * [backup-simplify]: Simplify 1 into 1 9.446 * [backup-simplify]: Simplify (- 0) into 0 9.446 * [backup-simplify]: Simplify 0 into 0 9.446 * [taylor]: Taking taylor expansion of y in y 9.446 * [backup-simplify]: Simplify 0 into 0 9.446 * [backup-simplify]: Simplify 1 into 1 9.446 * [backup-simplify]: Simplify 0 into 0 9.446 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.447 * [backup-simplify]: Simplify (- 0) into 0 9.447 * [backup-simplify]: Simplify (+ 0 0) into 0 9.447 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0 9.447 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ y z)) (* 0 (* -1 y)))) into 0 9.447 * [taylor]: Taking taylor expansion of 0 in z 9.447 * [backup-simplify]: Simplify 0 into 0 9.448 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 9.448 * [backup-simplify]: Simplify (- 0) into 0 9.448 * [taylor]: Taking taylor expansion of 0 in y 9.448 * [backup-simplify]: Simplify 0 into 0 9.448 * [backup-simplify]: Simplify 0 into 0 9.448 * [taylor]: Taking taylor expansion of 0 in y 9.448 * [backup-simplify]: Simplify 0 into 0 9.448 * [backup-simplify]: Simplify 0 into 0 9.449 * [backup-simplify]: Simplify (- 1) into -1 9.449 * [backup-simplify]: Simplify -1 into -1 9.449 * [backup-simplify]: Simplify 1 into 1 9.449 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.449 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.450 * [backup-simplify]: Simplify (- 0) into 0 9.450 * [backup-simplify]: Simplify (+ 0 0) into 0 9.450 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0 9.451 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ y z)) (* 0 (* -1 y))))) into 0 9.451 * [taylor]: Taking taylor expansion of 0 in z 9.451 * [backup-simplify]: Simplify 0 into 0 9.451 * [taylor]: Taking taylor expansion of 0 in y 9.451 * [backup-simplify]: Simplify 0 into 0 9.451 * [backup-simplify]: Simplify 0 into 0 9.452 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.452 * [backup-simplify]: Simplify (- 0) into 0 9.452 * [taylor]: Taking taylor expansion of 0 in y 9.452 * [backup-simplify]: Simplify 0 into 0 9.452 * [backup-simplify]: Simplify 0 into 0 9.452 * [taylor]: Taking taylor expansion of 0 in y 9.452 * [backup-simplify]: Simplify 0 into 0 9.452 * [backup-simplify]: Simplify 0 into 0 9.452 * [backup-simplify]: Simplify 0 into 0 9.452 * [backup-simplify]: Simplify 0 into 0 9.453 * [backup-simplify]: Simplify (- 0) into 0 9.453 * [backup-simplify]: Simplify 0 into 0 9.453 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1)))) into (- (/ x y) (/ z y)) 9.453 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 9.453 * [backup-simplify]: Simplify (* 4.0 (/ (- x z) y)) into (* 4.0 (/ (- x z) y)) 9.453 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in (x z y) around 0 9.453 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in y 9.453 * [taylor]: Taking taylor expansion of 4.0 in y 9.453 * [backup-simplify]: Simplify 4.0 into 4.0 9.453 * [taylor]: Taking taylor expansion of (/ (- x z) y) in y 9.453 * [taylor]: Taking taylor expansion of (- x z) in y 9.453 * [taylor]: Taking taylor expansion of x in y 9.453 * [backup-simplify]: Simplify x into x 9.453 * [taylor]: Taking taylor expansion of z in y 9.453 * [backup-simplify]: Simplify z into z 9.453 * [taylor]: Taking taylor expansion of y in y 9.453 * [backup-simplify]: Simplify 0 into 0 9.453 * [backup-simplify]: Simplify 1 into 1 9.453 * [backup-simplify]: Simplify (- z) into (- z) 9.453 * [backup-simplify]: Simplify (+ x (- z)) into (- x z) 9.453 * [backup-simplify]: Simplify (/ (- x z) 1) into (- x z) 9.453 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in z 9.453 * [taylor]: Taking taylor expansion of 4.0 in z 9.454 * [backup-simplify]: Simplify 4.0 into 4.0 9.454 * [taylor]: Taking taylor expansion of (/ (- x z) y) in z 9.454 * [taylor]: Taking taylor expansion of (- x z) in z 9.454 * [taylor]: Taking taylor expansion of x in z 9.454 * [backup-simplify]: Simplify x into x 9.454 * [taylor]: Taking taylor expansion of z in z 9.454 * [backup-simplify]: Simplify 0 into 0 9.454 * [backup-simplify]: Simplify 1 into 1 9.454 * [taylor]: Taking taylor expansion of y in z 9.454 * [backup-simplify]: Simplify y into y 9.454 * [backup-simplify]: Simplify (- 0) into 0 9.454 * [backup-simplify]: Simplify (+ x 0) into x 9.454 * [backup-simplify]: Simplify (/ x y) into (/ x y) 9.454 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in x 9.454 * [taylor]: Taking taylor expansion of 4.0 in x 9.454 * [backup-simplify]: Simplify 4.0 into 4.0 9.454 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 9.454 * [taylor]: Taking taylor expansion of (- x z) in x 9.454 * [taylor]: Taking taylor expansion of x in x 9.454 * [backup-simplify]: Simplify 0 into 0 9.454 * [backup-simplify]: Simplify 1 into 1 9.454 * [taylor]: Taking taylor expansion of z in x 9.454 * [backup-simplify]: Simplify z into z 9.454 * [taylor]: Taking taylor expansion of y in x 9.454 * [backup-simplify]: Simplify y into y 9.454 * [backup-simplify]: Simplify (- z) into (- z) 9.454 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 9.454 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y)) 9.455 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x z) y)) in x 9.455 * [taylor]: Taking taylor expansion of 4.0 in x 9.455 * [backup-simplify]: Simplify 4.0 into 4.0 9.455 * [taylor]: Taking taylor expansion of (/ (- x z) y) in x 9.455 * [taylor]: Taking taylor expansion of (- x z) in x 9.455 * [taylor]: Taking taylor expansion of x in x 9.455 * [backup-simplify]: Simplify 0 into 0 9.455 * [backup-simplify]: Simplify 1 into 1 9.455 * [taylor]: Taking taylor expansion of z in x 9.455 * [backup-simplify]: Simplify z into z 9.455 * [taylor]: Taking taylor expansion of y in x 9.455 * [backup-simplify]: Simplify y into y 9.455 * [backup-simplify]: Simplify (- z) into (- z) 9.455 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z) 9.455 * [backup-simplify]: Simplify (/ (- z) y) into (* -1 (/ z y)) 9.455 * [backup-simplify]: Simplify (* 4.0 (* -1 (/ z y))) into (* -4.0 (/ z y)) 9.455 * [taylor]: Taking taylor expansion of (* -4.0 (/ z y)) in z 9.455 * [taylor]: Taking taylor expansion of -4.0 in z 9.455 * [backup-simplify]: Simplify -4.0 into -4.0 9.455 * [taylor]: Taking taylor expansion of (/ z y) in z 9.455 * [taylor]: Taking taylor expansion of z in z 9.455 * [backup-simplify]: Simplify 0 into 0 9.455 * [backup-simplify]: Simplify 1 into 1 9.455 * [taylor]: Taking taylor expansion of y in z 9.455 * [backup-simplify]: Simplify y into y 9.455 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.455 * [backup-simplify]: Simplify (- 0) into 0 9.456 * [backup-simplify]: Simplify (+ 1 0) into 1 9.456 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* (* -1 (/ z y)) (/ 0 y)))) into (/ 1 y) 9.456 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) (* 0 (* -1 (/ z y)))) into (* 4.0 (/ 1 y)) 9.456 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in z 9.456 * [taylor]: Taking taylor expansion of 4.0 in z 9.456 * [backup-simplify]: Simplify 4.0 into 4.0 9.456 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.456 * [taylor]: Taking taylor expansion of y in z 9.456 * [backup-simplify]: Simplify y into y 9.456 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 9.456 * [backup-simplify]: Simplify (* 4.0 (/ 1 y)) into (/ 4.0 y) 9.456 * [taylor]: Taking taylor expansion of (/ 4.0 y) in y 9.456 * [taylor]: Taking taylor expansion of 4.0 in y 9.456 * [backup-simplify]: Simplify 4.0 into 4.0 9.456 * [taylor]: Taking taylor expansion of y in y 9.456 * [backup-simplify]: Simplify 0 into 0 9.456 * [backup-simplify]: Simplify 1 into 1 9.456 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0 9.456 * [backup-simplify]: Simplify 4.0 into 4.0 9.457 * [backup-simplify]: Simplify (* -4.0 (/ 1 y)) into (/ -4.0 y) 9.457 * [taylor]: Taking taylor expansion of (/ -4.0 y) in y 9.457 * [taylor]: Taking taylor expansion of -4.0 in y 9.457 * [backup-simplify]: Simplify -4.0 into -4.0 9.457 * [taylor]: Taking taylor expansion of y in y 9.457 * [backup-simplify]: Simplify 0 into 0 9.457 * [backup-simplify]: Simplify 1 into 1 9.457 * [backup-simplify]: Simplify (/ -4.0 1) into -4.0 9.457 * [backup-simplify]: Simplify -4.0 into -4.0 9.457 * [backup-simplify]: Simplify (- 0) into 0 9.457 * [backup-simplify]: Simplify (+ 0 0) into 0 9.458 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 9.458 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (/ 1 y)) (* 0 (* -1 (/ z y))))) into 0 9.458 * [taylor]: Taking taylor expansion of 0 in z 9.458 * [backup-simplify]: Simplify 0 into 0 9.458 * [taylor]: Taking taylor expansion of 0 in y 9.458 * [backup-simplify]: Simplify 0 into 0 9.458 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 9.458 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 y))) into 0 9.458 * [taylor]: Taking taylor expansion of 0 in y 9.459 * [backup-simplify]: Simplify 0 into 0 9.459 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 9.459 * [backup-simplify]: Simplify (+ (* -4.0 0) (* 0 (/ 1 y))) into 0 9.459 * [taylor]: Taking taylor expansion of 0 in y 9.459 * [backup-simplify]: Simplify 0 into 0 9.459 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0 9.459 * [backup-simplify]: Simplify 0 into 0 9.460 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -4.0 (/ 0 1)))) into 0 9.460 * [backup-simplify]: Simplify 0 into 0 9.460 * [backup-simplify]: Simplify (- 0) into 0 9.460 * [backup-simplify]: Simplify (+ 0 0) into 0 9.461 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (* -1 (/ z y)) (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.461 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 (* -1 (/ z y)))))) into 0 9.461 * [taylor]: Taking taylor expansion of 0 in z 9.461 * [backup-simplify]: Simplify 0 into 0 9.461 * [taylor]: Taking taylor expansion of 0 in y 9.461 * [backup-simplify]: Simplify 0 into 0 9.461 * [taylor]: Taking taylor expansion of 0 in y 9.461 * [backup-simplify]: Simplify 0 into 0 9.461 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.462 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 9.462 * [taylor]: Taking taylor expansion of 0 in y 9.462 * [backup-simplify]: Simplify 0 into 0 9.462 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 9.463 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 9.463 * [taylor]: Taking taylor expansion of 0 in y 9.463 * [backup-simplify]: Simplify 0 into 0 9.463 * [backup-simplify]: Simplify 0 into 0 9.463 * [backup-simplify]: Simplify 0 into 0 9.463 * [backup-simplify]: Simplify 0 into 0 9.463 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.463 * [backup-simplify]: Simplify 0 into 0 9.464 * [backup-simplify]: Simplify (+ (* -4.0 (* (/ 1 y) (* z 1))) (* 4.0 (* (/ 1 y) (* 1 x)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) 9.464 * [backup-simplify]: Simplify (* 4.0 (/ (- (/ 1 x) (/ 1 z)) (/ 1 y))) into (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) 9.464 * [approximate]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in (x z y) around 0 9.464 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in y 9.464 * [taylor]: Taking taylor expansion of 4.0 in y 9.464 * [backup-simplify]: Simplify 4.0 into 4.0 9.464 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in y 9.464 * [taylor]: Taking taylor expansion of y in y 9.464 * [backup-simplify]: Simplify 0 into 0 9.464 * [backup-simplify]: Simplify 1 into 1 9.464 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 9.464 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.464 * [taylor]: Taking taylor expansion of x in y 9.464 * [backup-simplify]: Simplify x into x 9.464 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.464 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.464 * [taylor]: Taking taylor expansion of z in y 9.464 * [backup-simplify]: Simplify z into z 9.464 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.464 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in z 9.464 * [taylor]: Taking taylor expansion of 4.0 in z 9.464 * [backup-simplify]: Simplify 4.0 into 4.0 9.464 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in z 9.464 * [taylor]: Taking taylor expansion of y in z 9.464 * [backup-simplify]: Simplify y into y 9.464 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 9.464 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.464 * [taylor]: Taking taylor expansion of x in z 9.464 * [backup-simplify]: Simplify x into x 9.464 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.464 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.464 * [taylor]: Taking taylor expansion of z in z 9.464 * [backup-simplify]: Simplify 0 into 0 9.464 * [backup-simplify]: Simplify 1 into 1 9.465 * [backup-simplify]: Simplify (/ 1 1) into 1 9.465 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in x 9.465 * [taylor]: Taking taylor expansion of 4.0 in x 9.465 * [backup-simplify]: Simplify 4.0 into 4.0 9.465 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 9.465 * [taylor]: Taking taylor expansion of y in x 9.465 * [backup-simplify]: Simplify y into y 9.465 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.465 * [taylor]: Taking taylor expansion of x in x 9.465 * [backup-simplify]: Simplify 0 into 0 9.465 * [backup-simplify]: Simplify 1 into 1 9.465 * [backup-simplify]: Simplify (/ 1 1) into 1 9.465 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.465 * [taylor]: Taking taylor expansion of z in x 9.465 * [backup-simplify]: Simplify z into z 9.465 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.465 * [taylor]: Taking taylor expansion of (* 4.0 (* y (- (/ 1 x) (/ 1 z)))) in x 9.465 * [taylor]: Taking taylor expansion of 4.0 in x 9.465 * [backup-simplify]: Simplify 4.0 into 4.0 9.465 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 z))) in x 9.465 * [taylor]: Taking taylor expansion of y in x 9.465 * [backup-simplify]: Simplify y into y 9.465 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 9.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.465 * [taylor]: Taking taylor expansion of x in x 9.465 * [backup-simplify]: Simplify 0 into 0 9.465 * [backup-simplify]: Simplify 1 into 1 9.466 * [backup-simplify]: Simplify (/ 1 1) into 1 9.466 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.466 * [taylor]: Taking taylor expansion of z in x 9.466 * [backup-simplify]: Simplify z into z 9.466 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.466 * [backup-simplify]: Simplify (+ 1 0) into 1 9.466 * [backup-simplify]: Simplify (* y 1) into y 9.466 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 9.466 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 9.466 * [taylor]: Taking taylor expansion of 4.0 in z 9.466 * [backup-simplify]: Simplify 4.0 into 4.0 9.466 * [taylor]: Taking taylor expansion of y in z 9.466 * [backup-simplify]: Simplify y into y 9.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.467 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 9.467 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z)) 9.467 * [backup-simplify]: Simplify (+ (* y (- (/ 1 z))) (* 0 1)) into (- (/ y z)) 9.467 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z))) 9.467 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in z 9.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 9.467 * [taylor]: Taking taylor expansion of 4.0 in z 9.467 * [backup-simplify]: Simplify 4.0 into 4.0 9.467 * [taylor]: Taking taylor expansion of (/ y z) in z 9.467 * [taylor]: Taking taylor expansion of y in z 9.467 * [backup-simplify]: Simplify y into y 9.467 * [taylor]: Taking taylor expansion of z in z 9.467 * [backup-simplify]: Simplify 0 into 0 9.467 * [backup-simplify]: Simplify 1 into 1 9.467 * [backup-simplify]: Simplify (/ y 1) into y 9.467 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 9.467 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 9.467 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 9.468 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 9.468 * [taylor]: Taking taylor expansion of 4.0 in y 9.468 * [backup-simplify]: Simplify 4.0 into 4.0 9.468 * [taylor]: Taking taylor expansion of y in y 9.468 * [backup-simplify]: Simplify 0 into 0 9.468 * [backup-simplify]: Simplify 1 into 1 9.468 * [backup-simplify]: Simplify (* 4.0 0) into 0 9.468 * [backup-simplify]: Simplify (- 0) into 0 9.468 * [backup-simplify]: Simplify 0 into 0 9.468 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 9.468 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 9.468 * [taylor]: Taking taylor expansion of 4.0 in y 9.468 * [backup-simplify]: Simplify 4.0 into 4.0 9.468 * [taylor]: Taking taylor expansion of y in y 9.468 * [backup-simplify]: Simplify 0 into 0 9.468 * [backup-simplify]: Simplify 1 into 1 9.469 * [backup-simplify]: Simplify (* 4.0 0) into 0 9.469 * [backup-simplify]: Simplify 0 into 0 9.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.469 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.469 * [backup-simplify]: Simplify (- 0) into 0 9.470 * [backup-simplify]: Simplify (+ 0 0) into 0 9.470 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 z))) (* 0 1))) into 0 9.471 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0 9.471 * [taylor]: Taking taylor expansion of 0 in z 9.471 * [backup-simplify]: Simplify 0 into 0 9.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 9.472 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 9.472 * [backup-simplify]: Simplify (- 0) into 0 9.472 * [taylor]: Taking taylor expansion of 0 in y 9.473 * [backup-simplify]: Simplify 0 into 0 9.473 * [backup-simplify]: Simplify 0 into 0 9.473 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 9.473 * [taylor]: Taking taylor expansion of 0 in y 9.473 * [backup-simplify]: Simplify 0 into 0 9.473 * [backup-simplify]: Simplify 0 into 0 9.475 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 9.475 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 9.475 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 9.477 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 9.477 * [backup-simplify]: Simplify 4.0 into 4.0 9.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.479 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.479 * [backup-simplify]: Simplify (- 0) into 0 9.480 * [backup-simplify]: Simplify (+ 0 0) into 0 9.481 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z))) (* 0 1)))) into 0 9.482 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0 9.482 * [taylor]: Taking taylor expansion of 0 in z 9.482 * [backup-simplify]: Simplify 0 into 0 9.482 * [taylor]: Taking taylor expansion of 0 in y 9.482 * [backup-simplify]: Simplify 0 into 0 9.482 * [backup-simplify]: Simplify 0 into 0 9.483 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.484 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 9.484 * [backup-simplify]: Simplify (- 0) into 0 9.484 * [taylor]: Taking taylor expansion of 0 in y 9.484 * [backup-simplify]: Simplify 0 into 0 9.484 * [backup-simplify]: Simplify 0 into 0 9.485 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 9.485 * [taylor]: Taking taylor expansion of 0 in y 9.485 * [backup-simplify]: Simplify 0 into 0 9.485 * [backup-simplify]: Simplify 0 into 0 9.485 * [backup-simplify]: Simplify 0 into 0 9.485 * [backup-simplify]: Simplify 0 into 0 9.486 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 9.487 * [backup-simplify]: Simplify (- 0) into 0 9.487 * [backup-simplify]: Simplify 0 into 0 9.488 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 y) (* 1 (/ 1 (/ 1 x))))) (* (- 4.0) (* (/ 1 y) (* (/ 1 (/ 1 z)) 1)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) 9.488 * [backup-simplify]: Simplify (* 4.0 (/ (- (/ 1 (- x)) (/ 1 (- z))) (/ 1 (- y)))) into (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) 9.488 * [approximate]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in (x z y) around 0 9.488 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in y 9.488 * [taylor]: Taking taylor expansion of -4.0 in y 9.488 * [backup-simplify]: Simplify -4.0 into -4.0 9.488 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in y 9.488 * [taylor]: Taking taylor expansion of y in y 9.488 * [backup-simplify]: Simplify 0 into 0 9.488 * [backup-simplify]: Simplify 1 into 1 9.488 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 9.488 * [taylor]: Taking taylor expansion of (/ 1 z) in y 9.488 * [taylor]: Taking taylor expansion of z in y 9.488 * [backup-simplify]: Simplify z into z 9.488 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.488 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.488 * [taylor]: Taking taylor expansion of x in y 9.488 * [backup-simplify]: Simplify x into x 9.488 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.488 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in z 9.488 * [taylor]: Taking taylor expansion of -4.0 in z 9.488 * [backup-simplify]: Simplify -4.0 into -4.0 9.489 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in z 9.489 * [taylor]: Taking taylor expansion of y in z 9.489 * [backup-simplify]: Simplify y into y 9.489 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 9.489 * [taylor]: Taking taylor expansion of (/ 1 z) in z 9.489 * [taylor]: Taking taylor expansion of z in z 9.489 * [backup-simplify]: Simplify 0 into 0 9.489 * [backup-simplify]: Simplify 1 into 1 9.489 * [backup-simplify]: Simplify (/ 1 1) into 1 9.489 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.489 * [taylor]: Taking taylor expansion of x in z 9.489 * [backup-simplify]: Simplify x into x 9.489 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 9.489 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in x 9.489 * [taylor]: Taking taylor expansion of -4.0 in x 9.489 * [backup-simplify]: Simplify -4.0 into -4.0 9.489 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 9.489 * [taylor]: Taking taylor expansion of y in x 9.489 * [backup-simplify]: Simplify y into y 9.489 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.489 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.490 * [taylor]: Taking taylor expansion of z in x 9.490 * [backup-simplify]: Simplify z into z 9.490 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.490 * [taylor]: Taking taylor expansion of x in x 9.490 * [backup-simplify]: Simplify 0 into 0 9.490 * [backup-simplify]: Simplify 1 into 1 9.490 * [backup-simplify]: Simplify (/ 1 1) into 1 9.490 * [taylor]: Taking taylor expansion of (* -4.0 (* y (- (/ 1 z) (/ 1 x)))) in x 9.490 * [taylor]: Taking taylor expansion of -4.0 in x 9.490 * [backup-simplify]: Simplify -4.0 into -4.0 9.490 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 x))) in x 9.490 * [taylor]: Taking taylor expansion of y in x 9.490 * [backup-simplify]: Simplify y into y 9.490 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 9.490 * [taylor]: Taking taylor expansion of (/ 1 z) in x 9.490 * [taylor]: Taking taylor expansion of z in x 9.490 * [backup-simplify]: Simplify z into z 9.490 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 9.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.491 * [taylor]: Taking taylor expansion of x in x 9.491 * [backup-simplify]: Simplify 0 into 0 9.491 * [backup-simplify]: Simplify 1 into 1 9.491 * [backup-simplify]: Simplify (/ 1 1) into 1 9.491 * [backup-simplify]: Simplify (- 1) into -1 9.492 * [backup-simplify]: Simplify (+ 0 -1) into -1 9.492 * [backup-simplify]: Simplify (* y -1) into (* -1 y) 9.492 * [backup-simplify]: Simplify (* -4.0 (* -1 y)) into (* 4.0 y) 9.492 * [taylor]: Taking taylor expansion of (* 4.0 y) in z 9.492 * [taylor]: Taking taylor expansion of 4.0 in z 9.492 * [backup-simplify]: Simplify 4.0 into 4.0 9.492 * [taylor]: Taking taylor expansion of y in z 9.492 * [backup-simplify]: Simplify y into y 9.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 9.493 * [backup-simplify]: Simplify (- 0) into 0 9.493 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 9.494 * [backup-simplify]: Simplify (+ (* y (/ 1 z)) (* 0 -1)) into (/ y z) 9.494 * [backup-simplify]: Simplify (+ (* -4.0 (/ y z)) (* 0 (* -1 y))) into (- (* 4.0 (/ y z))) 9.494 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in z 9.494 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 9.494 * [taylor]: Taking taylor expansion of 4.0 in z 9.494 * [backup-simplify]: Simplify 4.0 into 4.0 9.494 * [taylor]: Taking taylor expansion of (/ y z) in z 9.494 * [taylor]: Taking taylor expansion of y in z 9.494 * [backup-simplify]: Simplify y into y 9.494 * [taylor]: Taking taylor expansion of z in z 9.494 * [backup-simplify]: Simplify 0 into 0 9.494 * [backup-simplify]: Simplify 1 into 1 9.494 * [backup-simplify]: Simplify (/ y 1) into y 9.494 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 9.494 * [backup-simplify]: Simplify (- (* 4.0 y)) into (- (* 4.0 y)) 9.494 * [taylor]: Taking taylor expansion of (- (* 4.0 y)) in y 9.494 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 9.495 * [taylor]: Taking taylor expansion of 4.0 in y 9.495 * [backup-simplify]: Simplify 4.0 into 4.0 9.495 * [taylor]: Taking taylor expansion of y in y 9.495 * [backup-simplify]: Simplify 0 into 0 9.495 * [backup-simplify]: Simplify 1 into 1 9.499 * [backup-simplify]: Simplify (* 4.0 0) into 0 9.500 * [backup-simplify]: Simplify (- 0) into 0 9.500 * [backup-simplify]: Simplify 0 into 0 9.500 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 9.500 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 9.500 * [taylor]: Taking taylor expansion of 4.0 in y 9.500 * [backup-simplify]: Simplify 4.0 into 4.0 9.500 * [taylor]: Taking taylor expansion of y in y 9.500 * [backup-simplify]: Simplify 0 into 0 9.500 * [backup-simplify]: Simplify 1 into 1 9.501 * [backup-simplify]: Simplify (* 4.0 0) into 0 9.501 * [backup-simplify]: Simplify 0 into 0 9.501 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 9.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.502 * [backup-simplify]: Simplify (- 0) into 0 9.503 * [backup-simplify]: Simplify (+ 0 0) into 0 9.503 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 z)) (* 0 -1))) into 0 9.504 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (/ y z)) (* 0 (* -1 y)))) into 0 9.504 * [taylor]: Taking taylor expansion of 0 in z 9.504 * [backup-simplify]: Simplify 0 into 0 9.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 9.505 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 9.505 * [backup-simplify]: Simplify (- 0) into 0 9.505 * [taylor]: Taking taylor expansion of 0 in y 9.505 * [backup-simplify]: Simplify 0 into 0 9.506 * [backup-simplify]: Simplify 0 into 0 9.506 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 y)) into 0 9.506 * [taylor]: Taking taylor expansion of 0 in y 9.506 * [backup-simplify]: Simplify 0 into 0 9.506 * [backup-simplify]: Simplify 0 into 0 9.507 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 9.507 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 9.507 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 9.508 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 9.508 * [backup-simplify]: Simplify 4.0 into 4.0 9.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 9.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.509 * [backup-simplify]: Simplify (- 0) into 0 9.509 * [backup-simplify]: Simplify (+ 0 0) into 0 9.510 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 z)) (* 0 -1)))) into 0 9.511 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (/ y z)) (* 0 (* -1 y))))) into 0 9.511 * [taylor]: Taking taylor expansion of 0 in z 9.511 * [backup-simplify]: Simplify 0 into 0 9.511 * [taylor]: Taking taylor expansion of 0 in y 9.511 * [backup-simplify]: Simplify 0 into 0 9.511 * [backup-simplify]: Simplify 0 into 0 9.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.512 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 9.512 * [backup-simplify]: Simplify (- 0) into 0 9.512 * [taylor]: Taking taylor expansion of 0 in y 9.512 * [backup-simplify]: Simplify 0 into 0 9.512 * [backup-simplify]: Simplify 0 into 0 9.513 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 y))) into 0 9.513 * [taylor]: Taking taylor expansion of 0 in y 9.513 * [backup-simplify]: Simplify 0 into 0 9.513 * [backup-simplify]: Simplify 0 into 0 9.513 * [backup-simplify]: Simplify 0 into 0 9.513 * [backup-simplify]: Simplify 0 into 0 9.513 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 9.514 * [backup-simplify]: Simplify (- 0) into 0 9.514 * [backup-simplify]: Simplify 0 into 0 9.514 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 (- y)) (* 1 (/ 1 (/ 1 (- x)))))) (* (- 4.0) (* (/ 1 (- y)) (* (/ 1 (/ 1 (- z))) 1)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) 9.514 * * * [progress]: simplifying candidates 9.515 * [simplify]: Simplifying: (- (log (- x z)) (log y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y)) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y)) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- (- x z)) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) 1) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) 1) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (/ (+ (sqrt x) (sqrt z)) 1) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) (/ 1 1) (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (/ (- x z) 1) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* y (+ (* x x) (+ (* z z) (* x z)))) (* y (+ x z)) (* 4.0 (/ (- x z) y)) (+ (log 4.0) (- (log (- x z)) (log y))) (+ (log 4.0) (log (/ (- x z) y))) (log (* 4.0 (/ (- x z) y))) (exp (* 4.0 (/ (- x z) y))) (* (* (* 4.0 4.0) 4.0) (/ (* (* (- x z) (- x z)) (- x z)) (* (* y y) y))) (* (* (* 4.0 4.0) 4.0) (* (* (/ (- x z) y) (/ (- x z) y)) (/ (- x z) y))) (* (cbrt (* 4.0 (/ (- x z) y))) (cbrt (* 4.0 (/ (- x z) y)))) (cbrt (* 4.0 (/ (- x z) y))) (* (* (* 4.0 (/ (- x z) y)) (* 4.0 (/ (- x z) y))) (* 4.0 (/ (- x z) y))) (sqrt (* 4.0 (/ (- x z) y))) (sqrt (* 4.0 (/ (- x z) y))) (* (sqrt 4.0) (sqrt (/ (- x z) y))) (* (sqrt 4.0) (sqrt (/ (- x z) y))) (* (sqrt 4.0) (/ (sqrt (- x z)) (sqrt y))) (* (sqrt 4.0) (/ (sqrt (- x z)) (sqrt y))) (* 4.0 (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))) (* 4.0 (sqrt (/ (- x z) y))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) 1)) (* 4.0 (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (sqrt (- x z)) (sqrt y))) (* 4.0 (/ (sqrt (- x z)) 1)) (* 4.0 (/ 1 (* (cbrt y) (cbrt y)))) (* 4.0 (/ 1 (sqrt y))) (* 4.0 (/ 1 1)) (* 4.0 (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (+ (sqrt x) (sqrt z)) (sqrt y))) (* 4.0 (/ (+ (sqrt x) (sqrt z)) 1)) (* 4.0 (/ 1 (* (cbrt y) (cbrt y)))) (* 4.0 (/ 1 (sqrt y))) (* 4.0 (/ 1 1)) (* 4.0 1) (* 4.0 (- x z)) (* (cbrt 4.0) (/ (- x z) y)) (* (sqrt 4.0) (/ (- x z) y)) (* 4.0 (/ (- x z) y)) (* 4.0 (- x z)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) 9.517 * * [simplify]: Extracting # 0 : cost 0 9.517 * * [simplify]: Extracting # 1 : cost 0 9.517 * * [simplify]: Extracting # 2 : cost 0 9.517 * * [simplify]: Extracting # 3 : cost 0 9.517 * * [simplify]: Extracting # 4 : cost 0 9.518 * * [simplify]: Extracting # 5 : cost 0 9.518 * * [simplify]: Extracting # 6 : cost 0 9.518 * * [simplify]: iteration 0 : 114 enodes (cost 831 ) 9.558 * * [simplify]: Extracting # 0 : cost 0 9.558 * * [simplify]: Extracting # 1 : cost 0 9.559 * * [simplify]: Extracting # 2 : cost 0 9.559 * * [simplify]: iteration 1 : 270 enodes (cost 771 ) 9.669 * * [simplify]: Extracting # 0 : cost 0 9.670 * * [simplify]: Extracting # 1 : cost 0 9.671 * * [simplify]: Extracting # 2 : cost 0 9.672 * * [simplify]: Extracting # 3 : cost 0 9.673 * * [simplify]: Extracting # 4 : cost 0 9.674 * * [simplify]: Extracting # 5 : cost 0 9.675 * * [simplify]: iteration 2 : 796 enodes (cost 709 ) 10.497 * * [simplify]: Extracting # 0 : cost 0 10.506 * * [simplify]: Extracting # 1 : cost 0 10.513 * * [simplify]: Extracting # 2 : cost 0 10.519 * * [simplify]: Extracting # 3 : cost 0 10.525 * * [simplify]: Extracting # 4 : cost 0 10.531 * * [simplify]: iteration 3 : 2948 enodes (cost 709 ) 11.753 * * [simplify]: Extracting # 0 : cost 0 11.777 * * [simplify]: Extracting # 1 : cost 0 11.788 * * [simplify]: Extracting # 2 : cost 0 11.798 * * [simplify]: Extracting # 3 : cost 0 11.809 * * [simplify]: Extracting # 4 : cost 0 11.819 * * [simplify]: iteration done: 5000 enodes (cost 709 ) 11.819 * [simplify]: Simplified to: (log (/ (- x z) y)) (log (/ (- x z) y)) (exp (/ (- x z) y)) (pow (/ (- x z) y) 3) (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y))) (cbrt (/ (- x z) y)) (pow (/ (- x z) y) 3) (sqrt (/ (- x z) y)) (sqrt (/ (- x z) y)) (- (- x z)) (- y) (/ x y) (/ z y) (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- x z)) (cbrt y)) (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y)) (/ (cbrt (- x z)) (sqrt y)) (* (cbrt (- x z)) (cbrt (- x z))) (/ (cbrt (- x z)) y) (/ (sqrt (- x z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- x z)) (cbrt y)) (/ (sqrt (- x z)) (sqrt y)) (/ (sqrt (- x z)) (sqrt y)) (sqrt (- x z)) (/ (sqrt (- x z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt x) (sqrt z)) (cbrt y)) (/ (+ (sqrt x) (sqrt z)) (sqrt y)) (/ (- (sqrt x) (sqrt z)) (sqrt y)) (+ (sqrt x) (sqrt z)) (/ (- (sqrt x) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x z) (cbrt y)) (/ 1 (sqrt y)) (/ (- x z) (sqrt y)) 1 (/ (- x z) y) (/ 1 y) (/ y (- x z)) (/ (- x z) (* (cbrt y) (cbrt y))) (/ (- x z) (sqrt y)) (- x z) (/ y (cbrt (- x z))) (/ y (sqrt (- x z))) (/ y (- x z)) (/ y (- (sqrt x) (sqrt z))) (/ y (- x z)) (* (+ (* z (+ x z)) (* x x)) y) (* y (+ x z)) (* 4.0 (/ (- x z) y)) (log (* 4.0 (/ (- x z) y))) (log (* 4.0 (/ (- x z) y))) (log (* 4.0 (/ (- x z) y))) (exp (* 4.0 (/ (- x z) y))) (pow (* 4.0 (/ (- x z) y)) 3) (pow (* 4.0 (/ (- x z) y)) 3) (* (cbrt (* 4.0 (/ (- x z) y))) (cbrt (* 4.0 (/ (- x z) y)))) (cbrt (* 4.0 (/ (- x z) y))) (pow (* 4.0 (/ (- x z) y)) 3) (sqrt (* 4.0 (/ (- x z) y))) (sqrt (* 4.0 (/ (- x z) y))) (* (sqrt 4.0) (sqrt (/ (- x z) y))) (* (sqrt 4.0) (sqrt (/ (- x z) y))) (* (sqrt 4.0) (/ (sqrt (- x z)) (sqrt y))) (* (sqrt 4.0) (/ (sqrt (- x z)) (sqrt y))) (* 4.0 (* (cbrt (/ (- x z) y)) (cbrt (/ (- x z) y)))) (* 4.0 (sqrt (/ (- x z) y))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (* (cbrt (- x z)) (cbrt (- x z))) (sqrt y))) (* 4.0 (* (cbrt (- x z)) (cbrt (- x z)))) (* 4.0 (/ (sqrt (- x z)) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (sqrt (- x z)) (sqrt y))) (* (sqrt (- x z)) 4.0) (/ 4.0 (* (cbrt y) (cbrt y))) (/ 4.0 (sqrt y)) 4.0 (* 4.0 (/ (+ (sqrt x) (sqrt z)) (* (cbrt y) (cbrt y)))) (* 4.0 (/ (+ (sqrt x) (sqrt z)) (sqrt y))) (* (+ (sqrt x) (sqrt z)) 4.0) (/ 4.0 (* (cbrt y) (cbrt y))) (/ 4.0 (sqrt y)) 4.0 4.0 (* 4.0 (- x z)) (* (cbrt 4.0) (/ (- x z) y)) (* (sqrt 4.0) (/ (- x z) y)) (* 4.0 (/ (- x z) y)) (* 4.0 (- x z)) (/ (- x z) y) (/ (- x z) y) (/ (- x z) y) (* 4.0 (/ (- x z) y)) (* 4.0 (/ (- x z) y)) (* 4.0 (/ (- x z) y)) 11.821 * * * [progress]: adding candidates to table 12.012 * * [progress]: iteration 3 / 4 12.012 * * * [progress]: picking best candidate 12.013 * * * * [pick]: Picked # 12.013 * * * [progress]: localizing error 12.022 * * * [progress]: generating rewritten candidates 12.022 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 12.058 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 12.204 * * * [progress]: generating series expansions 12.204 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 12.204 * [backup-simplify]: Simplify (- (/ x y) (/ z y)) into (- (/ x y) (/ z y)) 12.204 * [approximate]: Taking taylor expansion of (- (/ x y) (/ z y)) in (x y z) around 0 12.204 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z 12.204 * [taylor]: Taking taylor expansion of (/ x y) in z 12.204 * [taylor]: Taking taylor expansion of x in z 12.204 * [backup-simplify]: Simplify x into x 12.204 * [taylor]: Taking taylor expansion of y in z 12.204 * [backup-simplify]: Simplify y into y 12.204 * [backup-simplify]: Simplify (/ x y) into (/ x y) 12.204 * [taylor]: Taking taylor expansion of (/ z y) in z 12.204 * [taylor]: Taking taylor expansion of z in z 12.204 * [backup-simplify]: Simplify 0 into 0 12.204 * [backup-simplify]: Simplify 1 into 1 12.204 * [taylor]: Taking taylor expansion of y in z 12.204 * [backup-simplify]: Simplify y into y 12.204 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.204 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y 12.204 * [taylor]: Taking taylor expansion of (/ x y) in y 12.204 * [taylor]: Taking taylor expansion of x in y 12.204 * [backup-simplify]: Simplify x into x 12.204 * [taylor]: Taking taylor expansion of y in y 12.204 * [backup-simplify]: Simplify 0 into 0 12.204 * [backup-simplify]: Simplify 1 into 1 12.205 * [backup-simplify]: Simplify (/ x 1) into x 12.205 * [taylor]: Taking taylor expansion of (/ z y) in y 12.205 * [taylor]: Taking taylor expansion of z in y 12.205 * [backup-simplify]: Simplify z into z 12.205 * [taylor]: Taking taylor expansion of y in y 12.205 * [backup-simplify]: Simplify 0 into 0 12.205 * [backup-simplify]: Simplify 1 into 1 12.205 * [backup-simplify]: Simplify (/ z 1) into z 12.205 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x 12.205 * [taylor]: Taking taylor expansion of (/ x y) in x 12.205 * [taylor]: Taking taylor expansion of x in x 12.205 * [backup-simplify]: Simplify 0 into 0 12.205 * [backup-simplify]: Simplify 1 into 1 12.205 * [taylor]: Taking taylor expansion of y in x 12.205 * [backup-simplify]: Simplify y into y 12.205 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.205 * [taylor]: Taking taylor expansion of (/ z y) in x 12.205 * [taylor]: Taking taylor expansion of z in x 12.205 * [backup-simplify]: Simplify z into z 12.205 * [taylor]: Taking taylor expansion of y in x 12.205 * [backup-simplify]: Simplify y into y 12.205 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.205 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x 12.205 * [taylor]: Taking taylor expansion of (/ x y) in x 12.205 * [taylor]: Taking taylor expansion of x in x 12.205 * [backup-simplify]: Simplify 0 into 0 12.205 * [backup-simplify]: Simplify 1 into 1 12.205 * [taylor]: Taking taylor expansion of y in x 12.205 * [backup-simplify]: Simplify y into y 12.205 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.205 * [taylor]: Taking taylor expansion of (/ z y) in x 12.205 * [taylor]: Taking taylor expansion of z in x 12.205 * [backup-simplify]: Simplify z into z 12.205 * [taylor]: Taking taylor expansion of y in x 12.205 * [backup-simplify]: Simplify y into y 12.205 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.205 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y)) 12.205 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y)) 12.205 * [taylor]: Taking taylor expansion of (- (/ z y)) in y 12.205 * [taylor]: Taking taylor expansion of (/ z y) in y 12.205 * [taylor]: Taking taylor expansion of z in y 12.205 * [backup-simplify]: Simplify z into z 12.205 * [taylor]: Taking taylor expansion of y in y 12.205 * [backup-simplify]: Simplify 0 into 0 12.205 * [backup-simplify]: Simplify 1 into 1 12.205 * [backup-simplify]: Simplify (/ z 1) into z 12.206 * [backup-simplify]: Simplify (- z) into (- z) 12.206 * [taylor]: Taking taylor expansion of (- z) in z 12.206 * [taylor]: Taking taylor expansion of z in z 12.206 * [backup-simplify]: Simplify 0 into 0 12.206 * [backup-simplify]: Simplify 1 into 1 12.206 * [backup-simplify]: Simplify (- 0) into 0 12.206 * [backup-simplify]: Simplify 0 into 0 12.206 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 12.207 * [backup-simplify]: Simplify (- 0) into 0 12.207 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 12.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.207 * [taylor]: Taking taylor expansion of y in y 12.207 * [backup-simplify]: Simplify 0 into 0 12.207 * [backup-simplify]: Simplify 1 into 1 12.207 * [backup-simplify]: Simplify (/ 1 1) into 1 12.207 * [taylor]: Taking taylor expansion of 1 in z 12.207 * [backup-simplify]: Simplify 1 into 1 12.207 * [backup-simplify]: Simplify 1 into 1 12.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 12.209 * [backup-simplify]: Simplify (- 0) into 0 12.209 * [taylor]: Taking taylor expansion of 0 in z 12.209 * [backup-simplify]: Simplify 0 into 0 12.209 * [backup-simplify]: Simplify 0 into 0 12.209 * [backup-simplify]: Simplify (- 1) into -1 12.209 * [backup-simplify]: Simplify -1 into -1 12.209 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 12.210 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.210 * [backup-simplify]: Simplify (- 0) into 0 12.210 * [backup-simplify]: Simplify (+ 0 0) into 0 12.210 * [taylor]: Taking taylor expansion of 0 in y 12.210 * [backup-simplify]: Simplify 0 into 0 12.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.211 * [taylor]: Taking taylor expansion of 0 in z 12.211 * [backup-simplify]: Simplify 0 into 0 12.211 * [backup-simplify]: Simplify 0 into 0 12.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.213 * [backup-simplify]: Simplify (- 0) into 0 12.213 * [taylor]: Taking taylor expansion of 0 in z 12.213 * [backup-simplify]: Simplify 0 into 0 12.213 * [backup-simplify]: Simplify 0 into 0 12.213 * [backup-simplify]: Simplify 0 into 0 12.213 * [backup-simplify]: Simplify 0 into 0 12.213 * [backup-simplify]: Simplify (- 0) into 0 12.213 * [backup-simplify]: Simplify 0 into 0 12.214 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.214 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.214 * [backup-simplify]: Simplify (- 0) into 0 12.215 * [backup-simplify]: Simplify (+ 0 0) into 0 12.215 * [taylor]: Taking taylor expansion of 0 in y 12.215 * [backup-simplify]: Simplify 0 into 0 12.215 * [taylor]: Taking taylor expansion of 0 in z 12.215 * [backup-simplify]: Simplify 0 into 0 12.215 * [backup-simplify]: Simplify 0 into 0 12.215 * [backup-simplify]: Simplify (+ (* -1 (* z (* (/ 1 y) 1))) (* 1 (* 1 (* (/ 1 y) x)))) into (- (/ x y) (/ z y)) 12.215 * [backup-simplify]: Simplify (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y))) into (- (/ y x) (/ y z)) 12.215 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0 12.215 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z 12.216 * [taylor]: Taking taylor expansion of (/ y x) in z 12.216 * [taylor]: Taking taylor expansion of y in z 12.216 * [backup-simplify]: Simplify y into y 12.216 * [taylor]: Taking taylor expansion of x in z 12.216 * [backup-simplify]: Simplify x into x 12.216 * [backup-simplify]: Simplify (/ y x) into (/ y x) 12.216 * [taylor]: Taking taylor expansion of (/ y z) in z 12.216 * [taylor]: Taking taylor expansion of y in z 12.216 * [backup-simplify]: Simplify y into y 12.216 * [taylor]: Taking taylor expansion of z in z 12.216 * [backup-simplify]: Simplify 0 into 0 12.216 * [backup-simplify]: Simplify 1 into 1 12.216 * [backup-simplify]: Simplify (/ y 1) into y 12.216 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y 12.216 * [taylor]: Taking taylor expansion of (/ y x) in y 12.216 * [taylor]: Taking taylor expansion of y in y 12.216 * [backup-simplify]: Simplify 0 into 0 12.216 * [backup-simplify]: Simplify 1 into 1 12.216 * [taylor]: Taking taylor expansion of x in y 12.216 * [backup-simplify]: Simplify x into x 12.216 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.216 * [taylor]: Taking taylor expansion of (/ y z) in y 12.216 * [taylor]: Taking taylor expansion of y in y 12.216 * [backup-simplify]: Simplify 0 into 0 12.216 * [backup-simplify]: Simplify 1 into 1 12.216 * [taylor]: Taking taylor expansion of z in y 12.216 * [backup-simplify]: Simplify z into z 12.216 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.216 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 12.216 * [taylor]: Taking taylor expansion of (/ y x) in x 12.216 * [taylor]: Taking taylor expansion of y in x 12.216 * [backup-simplify]: Simplify y into y 12.216 * [taylor]: Taking taylor expansion of x in x 12.217 * [backup-simplify]: Simplify 0 into 0 12.217 * [backup-simplify]: Simplify 1 into 1 12.217 * [backup-simplify]: Simplify (/ y 1) into y 12.217 * [taylor]: Taking taylor expansion of (/ y z) in x 12.217 * [taylor]: Taking taylor expansion of y in x 12.217 * [backup-simplify]: Simplify y into y 12.217 * [taylor]: Taking taylor expansion of z in x 12.217 * [backup-simplify]: Simplify z into z 12.217 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.217 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 12.217 * [taylor]: Taking taylor expansion of (/ y x) in x 12.217 * [taylor]: Taking taylor expansion of y in x 12.217 * [backup-simplify]: Simplify y into y 12.217 * [taylor]: Taking taylor expansion of x in x 12.217 * [backup-simplify]: Simplify 0 into 0 12.217 * [backup-simplify]: Simplify 1 into 1 12.217 * [backup-simplify]: Simplify (/ y 1) into y 12.217 * [taylor]: Taking taylor expansion of (/ y z) in x 12.217 * [taylor]: Taking taylor expansion of y in x 12.217 * [backup-simplify]: Simplify y into y 12.217 * [taylor]: Taking taylor expansion of z in x 12.217 * [backup-simplify]: Simplify z into z 12.217 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.217 * [backup-simplify]: Simplify (+ y 0) into y 12.217 * [taylor]: Taking taylor expansion of y in y 12.217 * [backup-simplify]: Simplify 0 into 0 12.217 * [backup-simplify]: Simplify 1 into 1 12.217 * [taylor]: Taking taylor expansion of 1 in z 12.217 * [backup-simplify]: Simplify 1 into 1 12.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 12.218 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 12.218 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z)) 12.219 * [taylor]: Taking taylor expansion of (- (/ y z)) in y 12.219 * [taylor]: Taking taylor expansion of (/ y z) in y 12.219 * [taylor]: Taking taylor expansion of y in y 12.219 * [backup-simplify]: Simplify 0 into 0 12.219 * [backup-simplify]: Simplify 1 into 1 12.219 * [taylor]: Taking taylor expansion of z in y 12.219 * [backup-simplify]: Simplify z into z 12.219 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.219 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 12.219 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.219 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.219 * [taylor]: Taking taylor expansion of z in z 12.219 * [backup-simplify]: Simplify 0 into 0 12.219 * [backup-simplify]: Simplify 1 into 1 12.219 * [backup-simplify]: Simplify (/ 1 1) into 1 12.219 * [backup-simplify]: Simplify (- 1) into -1 12.219 * [backup-simplify]: Simplify -1 into -1 12.219 * [taylor]: Taking taylor expansion of 0 in z 12.219 * [backup-simplify]: Simplify 0 into 0 12.219 * [backup-simplify]: Simplify 1 into 1 12.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.220 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 12.221 * [backup-simplify]: Simplify (- 0) into 0 12.221 * [backup-simplify]: Simplify (+ 0 0) into 0 12.221 * [taylor]: Taking taylor expansion of 0 in y 12.221 * [backup-simplify]: Simplify 0 into 0 12.221 * [taylor]: Taking taylor expansion of 0 in z 12.221 * [backup-simplify]: Simplify 0 into 0 12.221 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.221 * [backup-simplify]: Simplify (- 0) into 0 12.221 * [taylor]: Taking taylor expansion of 0 in z 12.221 * [backup-simplify]: Simplify 0 into 0 12.221 * [taylor]: Taking taylor expansion of 0 in z 12.221 * [backup-simplify]: Simplify 0 into 0 12.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.222 * [backup-simplify]: Simplify (- 0) into 0 12.222 * [backup-simplify]: Simplify 0 into 0 12.222 * [backup-simplify]: Simplify 0 into 0 12.222 * [backup-simplify]: Simplify 0 into 0 12.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.223 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.223 * [backup-simplify]: Simplify (- 0) into 0 12.224 * [backup-simplify]: Simplify (+ 0 0) into 0 12.224 * [taylor]: Taking taylor expansion of 0 in y 12.224 * [backup-simplify]: Simplify 0 into 0 12.224 * [taylor]: Taking taylor expansion of 0 in z 12.224 * [backup-simplify]: Simplify 0 into 0 12.224 * [taylor]: Taking taylor expansion of 0 in z 12.224 * [backup-simplify]: Simplify 0 into 0 12.224 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.224 * [backup-simplify]: Simplify (- 0) into 0 12.224 * [taylor]: Taking taylor expansion of 0 in z 12.224 * [backup-simplify]: Simplify 0 into 0 12.224 * [taylor]: Taking taylor expansion of 0 in z 12.224 * [backup-simplify]: Simplify 0 into 0 12.224 * [backup-simplify]: Simplify 0 into 0 12.224 * [backup-simplify]: Simplify 0 into 0 12.224 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* -1 (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (/ x y) (/ z y)) 12.225 * [backup-simplify]: Simplify (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y)))) into (- (/ y x) (/ y z)) 12.225 * [approximate]: Taking taylor expansion of (- (/ y x) (/ y z)) in (x y z) around 0 12.225 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z 12.225 * [taylor]: Taking taylor expansion of (/ y x) in z 12.225 * [taylor]: Taking taylor expansion of y in z 12.225 * [backup-simplify]: Simplify y into y 12.225 * [taylor]: Taking taylor expansion of x in z 12.225 * [backup-simplify]: Simplify x into x 12.225 * [backup-simplify]: Simplify (/ y x) into (/ y x) 12.225 * [taylor]: Taking taylor expansion of (/ y z) in z 12.225 * [taylor]: Taking taylor expansion of y in z 12.225 * [backup-simplify]: Simplify y into y 12.225 * [taylor]: Taking taylor expansion of z in z 12.225 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify 1 into 1 12.225 * [backup-simplify]: Simplify (/ y 1) into y 12.225 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y 12.225 * [taylor]: Taking taylor expansion of (/ y x) in y 12.225 * [taylor]: Taking taylor expansion of y in y 12.225 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify 1 into 1 12.225 * [taylor]: Taking taylor expansion of x in y 12.225 * [backup-simplify]: Simplify x into x 12.225 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.225 * [taylor]: Taking taylor expansion of (/ y z) in y 12.225 * [taylor]: Taking taylor expansion of y in y 12.225 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify 1 into 1 12.225 * [taylor]: Taking taylor expansion of z in y 12.225 * [backup-simplify]: Simplify z into z 12.225 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.225 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 12.225 * [taylor]: Taking taylor expansion of (/ y x) in x 12.225 * [taylor]: Taking taylor expansion of y in x 12.225 * [backup-simplify]: Simplify y into y 12.225 * [taylor]: Taking taylor expansion of x in x 12.225 * [backup-simplify]: Simplify 0 into 0 12.225 * [backup-simplify]: Simplify 1 into 1 12.225 * [backup-simplify]: Simplify (/ y 1) into y 12.226 * [taylor]: Taking taylor expansion of (/ y z) in x 12.226 * [taylor]: Taking taylor expansion of y in x 12.226 * [backup-simplify]: Simplify y into y 12.226 * [taylor]: Taking taylor expansion of z in x 12.226 * [backup-simplify]: Simplify z into z 12.226 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.226 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 12.226 * [taylor]: Taking taylor expansion of (/ y x) in x 12.226 * [taylor]: Taking taylor expansion of y in x 12.226 * [backup-simplify]: Simplify y into y 12.226 * [taylor]: Taking taylor expansion of x in x 12.226 * [backup-simplify]: Simplify 0 into 0 12.226 * [backup-simplify]: Simplify 1 into 1 12.226 * [backup-simplify]: Simplify (/ y 1) into y 12.226 * [taylor]: Taking taylor expansion of (/ y z) in x 12.226 * [taylor]: Taking taylor expansion of y in x 12.226 * [backup-simplify]: Simplify y into y 12.226 * [taylor]: Taking taylor expansion of z in x 12.226 * [backup-simplify]: Simplify z into z 12.226 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.226 * [backup-simplify]: Simplify (+ y 0) into y 12.226 * [taylor]: Taking taylor expansion of y in y 12.226 * [backup-simplify]: Simplify 0 into 0 12.226 * [backup-simplify]: Simplify 1 into 1 12.226 * [taylor]: Taking taylor expansion of 1 in z 12.226 * [backup-simplify]: Simplify 1 into 1 12.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 12.227 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 12.227 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z)) 12.227 * [taylor]: Taking taylor expansion of (- (/ y z)) in y 12.227 * [taylor]: Taking taylor expansion of (/ y z) in y 12.227 * [taylor]: Taking taylor expansion of y in y 12.227 * [backup-simplify]: Simplify 0 into 0 12.227 * [backup-simplify]: Simplify 1 into 1 12.227 * [taylor]: Taking taylor expansion of z in y 12.227 * [backup-simplify]: Simplify z into z 12.227 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.227 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 12.227 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.227 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.227 * [taylor]: Taking taylor expansion of z in z 12.227 * [backup-simplify]: Simplify 0 into 0 12.227 * [backup-simplify]: Simplify 1 into 1 12.227 * [backup-simplify]: Simplify (/ 1 1) into 1 12.228 * [backup-simplify]: Simplify (- 1) into -1 12.228 * [backup-simplify]: Simplify -1 into -1 12.228 * [taylor]: Taking taylor expansion of 0 in z 12.228 * [backup-simplify]: Simplify 0 into 0 12.228 * [backup-simplify]: Simplify 1 into 1 12.228 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.229 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 12.229 * [backup-simplify]: Simplify (- 0) into 0 12.229 * [backup-simplify]: Simplify (+ 0 0) into 0 12.229 * [taylor]: Taking taylor expansion of 0 in y 12.229 * [backup-simplify]: Simplify 0 into 0 12.229 * [taylor]: Taking taylor expansion of 0 in z 12.229 * [backup-simplify]: Simplify 0 into 0 12.229 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.229 * [backup-simplify]: Simplify (- 0) into 0 12.229 * [taylor]: Taking taylor expansion of 0 in z 12.229 * [backup-simplify]: Simplify 0 into 0 12.230 * [taylor]: Taking taylor expansion of 0 in z 12.230 * [backup-simplify]: Simplify 0 into 0 12.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.230 * [backup-simplify]: Simplify (- 0) into 0 12.230 * [backup-simplify]: Simplify 0 into 0 12.230 * [backup-simplify]: Simplify 0 into 0 12.230 * [backup-simplify]: Simplify 0 into 0 12.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.231 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.232 * [backup-simplify]: Simplify (- 0) into 0 12.232 * [backup-simplify]: Simplify (+ 0 0) into 0 12.232 * [taylor]: Taking taylor expansion of 0 in y 12.232 * [backup-simplify]: Simplify 0 into 0 12.232 * [taylor]: Taking taylor expansion of 0 in z 12.232 * [backup-simplify]: Simplify 0 into 0 12.232 * [taylor]: Taking taylor expansion of 0 in z 12.232 * [backup-simplify]: Simplify 0 into 0 12.232 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.232 * [backup-simplify]: Simplify (- 0) into 0 12.232 * [taylor]: Taking taylor expansion of 0 in z 12.232 * [backup-simplify]: Simplify 0 into 0 12.233 * [taylor]: Taking taylor expansion of 0 in z 12.233 * [backup-simplify]: Simplify 0 into 0 12.233 * [backup-simplify]: Simplify 0 into 0 12.233 * [backup-simplify]: Simplify 0 into 0 12.233 * [backup-simplify]: Simplify 0 into 0 12.233 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (/ x y) (/ z y)) 12.233 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 12.233 * [backup-simplify]: Simplify (* 4.0 (- (/ x y) (/ z y))) into (* 4.0 (- (/ x y) (/ z y))) 12.233 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in (x y z) around 0 12.233 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in z 12.233 * [taylor]: Taking taylor expansion of 4.0 in z 12.233 * [backup-simplify]: Simplify 4.0 into 4.0 12.233 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in z 12.233 * [taylor]: Taking taylor expansion of (/ x y) in z 12.233 * [taylor]: Taking taylor expansion of x in z 12.233 * [backup-simplify]: Simplify x into x 12.233 * [taylor]: Taking taylor expansion of y in z 12.233 * [backup-simplify]: Simplify y into y 12.233 * [backup-simplify]: Simplify (/ x y) into (/ x y) 12.233 * [taylor]: Taking taylor expansion of (/ z y) in z 12.233 * [taylor]: Taking taylor expansion of z in z 12.233 * [backup-simplify]: Simplify 0 into 0 12.233 * [backup-simplify]: Simplify 1 into 1 12.233 * [taylor]: Taking taylor expansion of y in z 12.233 * [backup-simplify]: Simplify y into y 12.233 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.233 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in y 12.233 * [taylor]: Taking taylor expansion of 4.0 in y 12.233 * [backup-simplify]: Simplify 4.0 into 4.0 12.233 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in y 12.233 * [taylor]: Taking taylor expansion of (/ x y) in y 12.234 * [taylor]: Taking taylor expansion of x in y 12.234 * [backup-simplify]: Simplify x into x 12.234 * [taylor]: Taking taylor expansion of y in y 12.234 * [backup-simplify]: Simplify 0 into 0 12.234 * [backup-simplify]: Simplify 1 into 1 12.234 * [backup-simplify]: Simplify (/ x 1) into x 12.234 * [taylor]: Taking taylor expansion of (/ z y) in y 12.234 * [taylor]: Taking taylor expansion of z in y 12.234 * [backup-simplify]: Simplify z into z 12.234 * [taylor]: Taking taylor expansion of y in y 12.234 * [backup-simplify]: Simplify 0 into 0 12.234 * [backup-simplify]: Simplify 1 into 1 12.234 * [backup-simplify]: Simplify (/ z 1) into z 12.234 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x 12.234 * [taylor]: Taking taylor expansion of 4.0 in x 12.234 * [backup-simplify]: Simplify 4.0 into 4.0 12.234 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x 12.234 * [taylor]: Taking taylor expansion of (/ x y) in x 12.234 * [taylor]: Taking taylor expansion of x in x 12.234 * [backup-simplify]: Simplify 0 into 0 12.234 * [backup-simplify]: Simplify 1 into 1 12.234 * [taylor]: Taking taylor expansion of y in x 12.234 * [backup-simplify]: Simplify y into y 12.234 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.234 * [taylor]: Taking taylor expansion of (/ z y) in x 12.234 * [taylor]: Taking taylor expansion of z in x 12.234 * [backup-simplify]: Simplify z into z 12.234 * [taylor]: Taking taylor expansion of y in x 12.234 * [backup-simplify]: Simplify y into y 12.234 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.234 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ x y) (/ z y))) in x 12.234 * [taylor]: Taking taylor expansion of 4.0 in x 12.234 * [backup-simplify]: Simplify 4.0 into 4.0 12.234 * [taylor]: Taking taylor expansion of (- (/ x y) (/ z y)) in x 12.234 * [taylor]: Taking taylor expansion of (/ x y) in x 12.234 * [taylor]: Taking taylor expansion of x in x 12.234 * [backup-simplify]: Simplify 0 into 0 12.234 * [backup-simplify]: Simplify 1 into 1 12.234 * [taylor]: Taking taylor expansion of y in x 12.234 * [backup-simplify]: Simplify y into y 12.234 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.234 * [taylor]: Taking taylor expansion of (/ z y) in x 12.234 * [taylor]: Taking taylor expansion of z in x 12.234 * [backup-simplify]: Simplify z into z 12.234 * [taylor]: Taking taylor expansion of y in x 12.234 * [backup-simplify]: Simplify y into y 12.234 * [backup-simplify]: Simplify (/ z y) into (/ z y) 12.234 * [backup-simplify]: Simplify (- (/ z y)) into (- (/ z y)) 12.235 * [backup-simplify]: Simplify (+ 0 (- (/ z y))) into (- (/ z y)) 12.235 * [backup-simplify]: Simplify (* 4.0 (- (/ z y))) into (* -4.0 (/ z y)) 12.235 * [taylor]: Taking taylor expansion of (* -4.0 (/ z y)) in y 12.235 * [taylor]: Taking taylor expansion of -4.0 in y 12.235 * [backup-simplify]: Simplify -4.0 into -4.0 12.235 * [taylor]: Taking taylor expansion of (/ z y) in y 12.235 * [taylor]: Taking taylor expansion of z in y 12.235 * [backup-simplify]: Simplify z into z 12.235 * [taylor]: Taking taylor expansion of y in y 12.235 * [backup-simplify]: Simplify 0 into 0 12.235 * [backup-simplify]: Simplify 1 into 1 12.235 * [backup-simplify]: Simplify (/ z 1) into z 12.235 * [backup-simplify]: Simplify (* -4.0 z) into (* -4.0 z) 12.235 * [taylor]: Taking taylor expansion of (* -4.0 z) in z 12.235 * [taylor]: Taking taylor expansion of -4.0 in z 12.235 * [backup-simplify]: Simplify -4.0 into -4.0 12.235 * [taylor]: Taking taylor expansion of z in z 12.235 * [backup-simplify]: Simplify 0 into 0 12.235 * [backup-simplify]: Simplify 1 into 1 12.235 * [backup-simplify]: Simplify (* -4.0 0) into 0 12.235 * [backup-simplify]: Simplify 0 into 0 12.235 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 12.236 * [backup-simplify]: Simplify (- 0) into 0 12.236 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 12.236 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 y)) (* 0 (- (/ z y)))) into (* 4.0 (/ 1 y)) 12.236 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 y)) in y 12.236 * [taylor]: Taking taylor expansion of 4.0 in y 12.236 * [backup-simplify]: Simplify 4.0 into 4.0 12.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.236 * [taylor]: Taking taylor expansion of y in y 12.236 * [backup-simplify]: Simplify 0 into 0 12.236 * [backup-simplify]: Simplify 1 into 1 12.236 * [backup-simplify]: Simplify (/ 1 1) into 1 12.237 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 12.237 * [taylor]: Taking taylor expansion of 4.0 in z 12.237 * [backup-simplify]: Simplify 4.0 into 4.0 12.237 * [backup-simplify]: Simplify 4.0 into 4.0 12.237 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 12.238 * [backup-simplify]: Simplify (+ (* -4.0 0) (* 0 z)) into 0 12.238 * [taylor]: Taking taylor expansion of 0 in z 12.238 * [backup-simplify]: Simplify 0 into 0 12.238 * [backup-simplify]: Simplify 0 into 0 12.238 * [backup-simplify]: Simplify (+ (* -4.0 1) (* 0 0)) into (- 4.0) 12.239 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 12.239 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0 12.239 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.239 * [backup-simplify]: Simplify (- 0) into 0 12.239 * [backup-simplify]: Simplify (+ 0 0) into 0 12.240 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y))))) into 0 12.240 * [taylor]: Taking taylor expansion of 0 in y 12.240 * [backup-simplify]: Simplify 0 into 0 12.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.241 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 12.241 * [taylor]: Taking taylor expansion of 0 in z 12.241 * [backup-simplify]: Simplify 0 into 0 12.241 * [backup-simplify]: Simplify 0 into 0 12.242 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.242 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (* 0 z))) into 0 12.242 * [taylor]: Taking taylor expansion of 0 in z 12.242 * [backup-simplify]: Simplify 0 into 0 12.242 * [backup-simplify]: Simplify 0 into 0 12.242 * [backup-simplify]: Simplify 0 into 0 12.242 * [backup-simplify]: Simplify 0 into 0 12.243 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 1) (* 0 0))) into 0 12.243 * [backup-simplify]: Simplify 0 into 0 12.243 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.243 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.243 * [backup-simplify]: Simplify (- 0) into 0 12.244 * [backup-simplify]: Simplify (+ 0 0) into 0 12.244 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 (- (/ z y)))))) into 0 12.244 * [taylor]: Taking taylor expansion of 0 in y 12.244 * [backup-simplify]: Simplify 0 into 0 12.244 * [taylor]: Taking taylor expansion of 0 in z 12.244 * [backup-simplify]: Simplify 0 into 0 12.244 * [backup-simplify]: Simplify 0 into 0 12.245 * [backup-simplify]: Simplify (+ (* (- 4.0) (* z (* (/ 1 y) 1))) (* 4.0 (* 1 (* (/ 1 y) x)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) 12.245 * [backup-simplify]: Simplify (* 4.0 (- (/ (/ 1 x) (/ 1 y)) (/ (/ 1 z) (/ 1 y)))) into (* 4.0 (- (/ y x) (/ y z))) 12.245 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0 12.245 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z 12.245 * [taylor]: Taking taylor expansion of 4.0 in z 12.245 * [backup-simplify]: Simplify 4.0 into 4.0 12.245 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z 12.245 * [taylor]: Taking taylor expansion of (/ y x) in z 12.245 * [taylor]: Taking taylor expansion of y in z 12.245 * [backup-simplify]: Simplify y into y 12.245 * [taylor]: Taking taylor expansion of x in z 12.245 * [backup-simplify]: Simplify x into x 12.245 * [backup-simplify]: Simplify (/ y x) into (/ y x) 12.245 * [taylor]: Taking taylor expansion of (/ y z) in z 12.245 * [taylor]: Taking taylor expansion of y in z 12.245 * [backup-simplify]: Simplify y into y 12.245 * [taylor]: Taking taylor expansion of z in z 12.245 * [backup-simplify]: Simplify 0 into 0 12.245 * [backup-simplify]: Simplify 1 into 1 12.245 * [backup-simplify]: Simplify (/ y 1) into y 12.245 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y 12.245 * [taylor]: Taking taylor expansion of 4.0 in y 12.245 * [backup-simplify]: Simplify 4.0 into 4.0 12.245 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y 12.245 * [taylor]: Taking taylor expansion of (/ y x) in y 12.245 * [taylor]: Taking taylor expansion of y in y 12.245 * [backup-simplify]: Simplify 0 into 0 12.245 * [backup-simplify]: Simplify 1 into 1 12.245 * [taylor]: Taking taylor expansion of x in y 12.245 * [backup-simplify]: Simplify x into x 12.246 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.246 * [taylor]: Taking taylor expansion of (/ y z) in y 12.246 * [taylor]: Taking taylor expansion of y in y 12.246 * [backup-simplify]: Simplify 0 into 0 12.246 * [backup-simplify]: Simplify 1 into 1 12.246 * [taylor]: Taking taylor expansion of z in y 12.246 * [backup-simplify]: Simplify z into z 12.246 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.246 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x 12.246 * [taylor]: Taking taylor expansion of 4.0 in x 12.246 * [backup-simplify]: Simplify 4.0 into 4.0 12.246 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 12.246 * [taylor]: Taking taylor expansion of (/ y x) in x 12.246 * [taylor]: Taking taylor expansion of y in x 12.246 * [backup-simplify]: Simplify y into y 12.246 * [taylor]: Taking taylor expansion of x in x 12.246 * [backup-simplify]: Simplify 0 into 0 12.246 * [backup-simplify]: Simplify 1 into 1 12.246 * [backup-simplify]: Simplify (/ y 1) into y 12.246 * [taylor]: Taking taylor expansion of (/ y z) in x 12.246 * [taylor]: Taking taylor expansion of y in x 12.246 * [backup-simplify]: Simplify y into y 12.246 * [taylor]: Taking taylor expansion of z in x 12.246 * [backup-simplify]: Simplify z into z 12.246 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.246 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x 12.246 * [taylor]: Taking taylor expansion of 4.0 in x 12.246 * [backup-simplify]: Simplify 4.0 into 4.0 12.246 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 12.246 * [taylor]: Taking taylor expansion of (/ y x) in x 12.246 * [taylor]: Taking taylor expansion of y in x 12.246 * [backup-simplify]: Simplify y into y 12.246 * [taylor]: Taking taylor expansion of x in x 12.246 * [backup-simplify]: Simplify 0 into 0 12.246 * [backup-simplify]: Simplify 1 into 1 12.246 * [backup-simplify]: Simplify (/ y 1) into y 12.246 * [taylor]: Taking taylor expansion of (/ y z) in x 12.246 * [taylor]: Taking taylor expansion of y in x 12.246 * [backup-simplify]: Simplify y into y 12.246 * [taylor]: Taking taylor expansion of z in x 12.246 * [backup-simplify]: Simplify z into z 12.246 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.246 * [backup-simplify]: Simplify (+ y 0) into y 12.246 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 12.246 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 12.246 * [taylor]: Taking taylor expansion of 4.0 in y 12.246 * [backup-simplify]: Simplify 4.0 into 4.0 12.246 * [taylor]: Taking taylor expansion of y in y 12.246 * [backup-simplify]: Simplify 0 into 0 12.246 * [backup-simplify]: Simplify 1 into 1 12.247 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 12.247 * [taylor]: Taking taylor expansion of 4.0 in z 12.247 * [backup-simplify]: Simplify 4.0 into 4.0 12.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 12.248 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 12.248 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z)) 12.248 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z))) 12.248 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y 12.248 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 12.248 * [taylor]: Taking taylor expansion of 4.0 in y 12.248 * [backup-simplify]: Simplify 4.0 into 4.0 12.248 * [taylor]: Taking taylor expansion of (/ y z) in y 12.248 * [taylor]: Taking taylor expansion of y in y 12.248 * [backup-simplify]: Simplify 0 into 0 12.248 * [backup-simplify]: Simplify 1 into 1 12.248 * [taylor]: Taking taylor expansion of z in y 12.248 * [backup-simplify]: Simplify z into z 12.248 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.248 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z) 12.248 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z))) 12.249 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z 12.249 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z 12.249 * [taylor]: Taking taylor expansion of 4.0 in z 12.249 * [backup-simplify]: Simplify 4.0 into 4.0 12.249 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.249 * [taylor]: Taking taylor expansion of z in z 12.249 * [backup-simplify]: Simplify 0 into 0 12.249 * [backup-simplify]: Simplify 1 into 1 12.249 * [backup-simplify]: Simplify (/ 1 1) into 1 12.249 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 12.249 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 12.250 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 12.250 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 12.250 * [taylor]: Taking taylor expansion of 0 in z 12.250 * [backup-simplify]: Simplify 0 into 0 12.250 * [backup-simplify]: Simplify 4.0 into 4.0 12.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.252 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 12.252 * [backup-simplify]: Simplify (- 0) into 0 12.253 * [backup-simplify]: Simplify (+ 0 0) into 0 12.253 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0 12.254 * [taylor]: Taking taylor expansion of 0 in y 12.254 * [backup-simplify]: Simplify 0 into 0 12.254 * [taylor]: Taking taylor expansion of 0 in z 12.254 * [backup-simplify]: Simplify 0 into 0 12.254 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.254 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0 12.255 * [backup-simplify]: Simplify (- 0) into 0 12.255 * [taylor]: Taking taylor expansion of 0 in z 12.255 * [backup-simplify]: Simplify 0 into 0 12.256 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.256 * [taylor]: Taking taylor expansion of 0 in z 12.256 * [backup-simplify]: Simplify 0 into 0 12.257 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.258 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 12.258 * [backup-simplify]: Simplify (- 0) into 0 12.258 * [backup-simplify]: Simplify 0 into 0 12.258 * [backup-simplify]: Simplify 0 into 0 12.258 * [backup-simplify]: Simplify 0 into 0 12.265 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.265 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.266 * [backup-simplify]: Simplify (- 0) into 0 12.266 * [backup-simplify]: Simplify (+ 0 0) into 0 12.267 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0 12.267 * [taylor]: Taking taylor expansion of 0 in y 12.267 * [backup-simplify]: Simplify 0 into 0 12.267 * [taylor]: Taking taylor expansion of 0 in z 12.267 * [backup-simplify]: Simplify 0 into 0 12.267 * [taylor]: Taking taylor expansion of 0 in z 12.267 * [backup-simplify]: Simplify 0 into 0 12.268 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.268 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 12.269 * [backup-simplify]: Simplify (- 0) into 0 12.269 * [taylor]: Taking taylor expansion of 0 in z 12.269 * [backup-simplify]: Simplify 0 into 0 12.270 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.270 * [taylor]: Taking taylor expansion of 0 in z 12.270 * [backup-simplify]: Simplify 0 into 0 12.270 * [backup-simplify]: Simplify 0 into 0 12.270 * [backup-simplify]: Simplify 0 into 0 12.270 * [backup-simplify]: Simplify 0 into 0 12.271 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))) (* (- 4.0) (* (/ 1 (/ 1 z)) (* (/ 1 y) 1)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) 12.271 * [backup-simplify]: Simplify (* 4.0 (- (/ (/ 1 (- x)) (/ 1 (- y))) (/ (/ 1 (- z)) (/ 1 (- y))))) into (* 4.0 (- (/ y x) (/ y z))) 12.271 * [approximate]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in (x y z) around 0 12.271 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in z 12.271 * [taylor]: Taking taylor expansion of 4.0 in z 12.271 * [backup-simplify]: Simplify 4.0 into 4.0 12.271 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in z 12.271 * [taylor]: Taking taylor expansion of (/ y x) in z 12.271 * [taylor]: Taking taylor expansion of y in z 12.271 * [backup-simplify]: Simplify y into y 12.271 * [taylor]: Taking taylor expansion of x in z 12.271 * [backup-simplify]: Simplify x into x 12.271 * [backup-simplify]: Simplify (/ y x) into (/ y x) 12.271 * [taylor]: Taking taylor expansion of (/ y z) in z 12.271 * [taylor]: Taking taylor expansion of y in z 12.271 * [backup-simplify]: Simplify y into y 12.271 * [taylor]: Taking taylor expansion of z in z 12.271 * [backup-simplify]: Simplify 0 into 0 12.271 * [backup-simplify]: Simplify 1 into 1 12.271 * [backup-simplify]: Simplify (/ y 1) into y 12.271 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in y 12.271 * [taylor]: Taking taylor expansion of 4.0 in y 12.271 * [backup-simplify]: Simplify 4.0 into 4.0 12.271 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in y 12.271 * [taylor]: Taking taylor expansion of (/ y x) in y 12.271 * [taylor]: Taking taylor expansion of y in y 12.271 * [backup-simplify]: Simplify 0 into 0 12.272 * [backup-simplify]: Simplify 1 into 1 12.272 * [taylor]: Taking taylor expansion of x in y 12.272 * [backup-simplify]: Simplify x into x 12.272 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.272 * [taylor]: Taking taylor expansion of (/ y z) in y 12.272 * [taylor]: Taking taylor expansion of y in y 12.272 * [backup-simplify]: Simplify 0 into 0 12.272 * [backup-simplify]: Simplify 1 into 1 12.272 * [taylor]: Taking taylor expansion of z in y 12.272 * [backup-simplify]: Simplify z into z 12.272 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.272 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x 12.272 * [taylor]: Taking taylor expansion of 4.0 in x 12.272 * [backup-simplify]: Simplify 4.0 into 4.0 12.272 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 12.272 * [taylor]: Taking taylor expansion of (/ y x) in x 12.272 * [taylor]: Taking taylor expansion of y in x 12.272 * [backup-simplify]: Simplify y into y 12.272 * [taylor]: Taking taylor expansion of x in x 12.272 * [backup-simplify]: Simplify 0 into 0 12.272 * [backup-simplify]: Simplify 1 into 1 12.272 * [backup-simplify]: Simplify (/ y 1) into y 12.272 * [taylor]: Taking taylor expansion of (/ y z) in x 12.272 * [taylor]: Taking taylor expansion of y in x 12.272 * [backup-simplify]: Simplify y into y 12.272 * [taylor]: Taking taylor expansion of z in x 12.272 * [backup-simplify]: Simplify z into z 12.272 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.272 * [taylor]: Taking taylor expansion of (* 4.0 (- (/ y x) (/ y z))) in x 12.272 * [taylor]: Taking taylor expansion of 4.0 in x 12.272 * [backup-simplify]: Simplify 4.0 into 4.0 12.272 * [taylor]: Taking taylor expansion of (- (/ y x) (/ y z)) in x 12.272 * [taylor]: Taking taylor expansion of (/ y x) in x 12.272 * [taylor]: Taking taylor expansion of y in x 12.272 * [backup-simplify]: Simplify y into y 12.272 * [taylor]: Taking taylor expansion of x in x 12.272 * [backup-simplify]: Simplify 0 into 0 12.272 * [backup-simplify]: Simplify 1 into 1 12.272 * [backup-simplify]: Simplify (/ y 1) into y 12.272 * [taylor]: Taking taylor expansion of (/ y z) in x 12.272 * [taylor]: Taking taylor expansion of y in x 12.272 * [backup-simplify]: Simplify y into y 12.272 * [taylor]: Taking taylor expansion of z in x 12.272 * [backup-simplify]: Simplify z into z 12.272 * [backup-simplify]: Simplify (/ y z) into (/ y z) 12.272 * [backup-simplify]: Simplify (+ y 0) into y 12.272 * [backup-simplify]: Simplify (* 4.0 y) into (* 4.0 y) 12.272 * [taylor]: Taking taylor expansion of (* 4.0 y) in y 12.272 * [taylor]: Taking taylor expansion of 4.0 in y 12.272 * [backup-simplify]: Simplify 4.0 into 4.0 12.272 * [taylor]: Taking taylor expansion of y in y 12.273 * [backup-simplify]: Simplify 0 into 0 12.273 * [backup-simplify]: Simplify 1 into 1 12.273 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 12.273 * [taylor]: Taking taylor expansion of 4.0 in z 12.273 * [backup-simplify]: Simplify 4.0 into 4.0 12.274 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0 12.274 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z)) 12.274 * [backup-simplify]: Simplify (+ 0 (- (/ y z))) into (- (/ y z)) 12.274 * [backup-simplify]: Simplify (+ (* 4.0 (- (/ y z))) (* 0 y)) into (- (* 4.0 (/ y z))) 12.274 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ y z))) in y 12.274 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 12.274 * [taylor]: Taking taylor expansion of 4.0 in y 12.274 * [backup-simplify]: Simplify 4.0 into 4.0 12.274 * [taylor]: Taking taylor expansion of (/ y z) in y 12.274 * [taylor]: Taking taylor expansion of y in y 12.274 * [backup-simplify]: Simplify 0 into 0 12.274 * [backup-simplify]: Simplify 1 into 1 12.274 * [taylor]: Taking taylor expansion of z in y 12.274 * [backup-simplify]: Simplify z into z 12.274 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 12.274 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z) 12.275 * [backup-simplify]: Simplify (- (/ 4.0 z)) into (- (* 4.0 (/ 1 z))) 12.275 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z 12.275 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z 12.275 * [taylor]: Taking taylor expansion of 4.0 in z 12.275 * [backup-simplify]: Simplify 4.0 into 4.0 12.275 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.275 * [taylor]: Taking taylor expansion of z in z 12.275 * [backup-simplify]: Simplify 0 into 0 12.275 * [backup-simplify]: Simplify 1 into 1 12.275 * [backup-simplify]: Simplify (/ 1 1) into 1 12.275 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 12.275 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 12.276 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 12.276 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 1) (* 0 0))) into 0 12.276 * [taylor]: Taking taylor expansion of 0 in z 12.276 * [backup-simplify]: Simplify 0 into 0 12.276 * [backup-simplify]: Simplify 4.0 into 4.0 12.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.277 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 12.277 * [backup-simplify]: Simplify (- 0) into 0 12.278 * [backup-simplify]: Simplify (+ 0 0) into 0 12.278 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (/ y z))) (* 0 y))) into 0 12.278 * [taylor]: Taking taylor expansion of 0 in y 12.278 * [backup-simplify]: Simplify 0 into 0 12.278 * [taylor]: Taking taylor expansion of 0 in z 12.278 * [backup-simplify]: Simplify 0 into 0 12.278 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 12.279 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ 1 z))) into 0 12.279 * [backup-simplify]: Simplify (- 0) into 0 12.279 * [taylor]: Taking taylor expansion of 0 in z 12.279 * [backup-simplify]: Simplify 0 into 0 12.279 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.279 * [taylor]: Taking taylor expansion of 0 in z 12.280 * [backup-simplify]: Simplify 0 into 0 12.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.280 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0 12.281 * [backup-simplify]: Simplify (- 0) into 0 12.281 * [backup-simplify]: Simplify 0 into 0 12.281 * [backup-simplify]: Simplify 0 into 0 12.281 * [backup-simplify]: Simplify 0 into 0 12.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.282 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.282 * [backup-simplify]: Simplify (- 0) into 0 12.282 * [backup-simplify]: Simplify (+ 0 0) into 0 12.283 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (/ y z))) (* 0 y)))) into 0 12.283 * [taylor]: Taking taylor expansion of 0 in y 12.283 * [backup-simplify]: Simplify 0 into 0 12.283 * [taylor]: Taking taylor expansion of 0 in z 12.283 * [backup-simplify]: Simplify 0 into 0 12.283 * [taylor]: Taking taylor expansion of 0 in z 12.283 * [backup-simplify]: Simplify 0 into 0 12.283 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 12.284 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 12.284 * [backup-simplify]: Simplify (- 0) into 0 12.284 * [taylor]: Taking taylor expansion of 0 in z 12.284 * [backup-simplify]: Simplify 0 into 0 12.285 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.285 * [taylor]: Taking taylor expansion of 0 in z 12.285 * [backup-simplify]: Simplify 0 into 0 12.285 * [backup-simplify]: Simplify 0 into 0 12.285 * [backup-simplify]: Simplify 0 into 0 12.285 * [backup-simplify]: Simplify 0 into 0 12.285 * [backup-simplify]: Simplify (+ (* 4.0 (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))) (* (- 4.0) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) 1)))) into (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) 12.285 * * * [progress]: simplifying candidates 12.286 * [simplify]: Simplifying: (/ (exp (/ x y)) (exp (/ z y))) (log (- (/ x y) (/ z y))) (exp (- (/ x y) (/ z y))) (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y)))) (cbrt (- (/ x y) (/ z y))) (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y))) (sqrt (- (/ x y) (/ z y))) (sqrt (- (/ x y) (/ z y))) (- x z) (- (* x y) (* y z)) (* y y) (- (pow (/ x y) 3) (pow (/ z y) 3)) (+ (* (/ x y) (/ x y)) (+ (* (/ z y) (/ z y)) (* (/ x y) (/ z y)))) (- (/ z y)) (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y))) (+ (/ x y) (/ z y)) (+ (sqrt (/ x y)) (sqrt (/ z y))) (- (sqrt (/ x y)) (sqrt (/ z y))) (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y))) (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y))) (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y))) (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y))) (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))) (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))) (- (/ x (cbrt y)) (/ z (cbrt y))) (- (/ x (sqrt y)) (/ z (sqrt y))) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- x z) (- (/ z y)) (* 4.0 (- (/ x y) (/ z y))) (+ (log 4.0) (log (- (/ x y) (/ z y)))) (log (* 4.0 (- (/ x y) (/ z y)))) (exp (* 4.0 (- (/ x y) (/ z y)))) (* (* (* 4.0 4.0) 4.0) (* (* (- (/ x y) (/ z y)) (- (/ x y) (/ z y))) (- (/ x y) (/ z y)))) (* (cbrt (* 4.0 (- (/ x y) (/ z y)))) (cbrt (* 4.0 (- (/ x y) (/ z y))))) (cbrt (* 4.0 (- (/ x y) (/ z y)))) (* (* (* 4.0 (- (/ x y) (/ z y))) (* 4.0 (- (/ x y) (/ z y)))) (* 4.0 (- (/ x y) (/ z y)))) (sqrt (* 4.0 (- (/ x y) (/ z y)))) (sqrt (* 4.0 (- (/ x y) (/ z y)))) (* (sqrt 4.0) (sqrt (- (/ x y) (/ z y)))) (* (sqrt 4.0) (sqrt (- (/ x y) (/ z y)))) (* 4.0 (/ x y)) (* 4.0 (- (/ z y))) (* 4.0 (/ x y)) (* 4.0 (- (/ z y))) (* (/ x y) 4.0) (* (- (/ z y)) 4.0) (* (/ x y) 4.0) (* (- (/ z y)) 4.0) (* 4.0 (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))) (* 4.0 (sqrt (- (/ x y) (/ z y)))) (* 4.0 1) (* 4.0 (+ (sqrt (/ x y)) (sqrt (/ z y)))) (* 4.0 (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))) (* 4.0 (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))) (* 4.0 (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))) (* 4.0 (/ 1 (* (cbrt y) (cbrt y)))) (* 4.0 (/ 1 (sqrt y))) (* 4.0 (/ 1 1)) (* 4.0 1) (* 4.0 (/ 1 y)) (* (cbrt 4.0) (- (/ x y) (/ z y))) (* (sqrt 4.0) (- (/ x y) (/ z y))) (* 4.0 (- (/ x y) (/ z y))) (* 4.0 (- x z)) (* 4.0 (- (* x y) (* y z))) (* 4.0 (- (pow (/ x y) 3) (pow (/ z y) 3))) (* 4.0 (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y)))) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) (- (* 4.0 (/ x y)) (* 4.0 (/ z y))) 12.288 * * [simplify]: Extracting # 0 : cost 0 12.288 * * [simplify]: Extracting # 1 : cost 0 12.288 * * [simplify]: Extracting # 2 : cost 0 12.288 * * [simplify]: Extracting # 3 : cost 0 12.288 * * [simplify]: Extracting # 4 : cost 0 12.288 * * [simplify]: Extracting # 5 : cost 0 12.289 * * [simplify]: iteration 0 : 101 enodes (cost 731 ) 12.331 * * [simplify]: Extracting # 0 : cost 0 12.332 * * [simplify]: Extracting # 1 : cost 0 12.332 * * [simplify]: Extracting # 2 : cost 0 12.333 * * [simplify]: Extracting # 3 : cost 0 12.333 * * [simplify]: Extracting # 4 : cost 0 12.334 * * [simplify]: iteration 1 : 235 enodes (cost 705 ) 12.400 * * [simplify]: Extracting # 0 : cost 0 12.401 * * [simplify]: Extracting # 1 : cost 0 12.403 * * [simplify]: Extracting # 2 : cost 0 12.404 * * [simplify]: Extracting # 3 : cost 0 12.405 * * [simplify]: Extracting # 4 : cost 0 12.406 * * [simplify]: Extracting # 5 : cost 0 12.408 * * [simplify]: iteration 2 : 536 enodes (cost 651 ) 12.759 * * [simplify]: Extracting # 0 : cost 0 12.764 * * [simplify]: Extracting # 1 : cost 0 12.767 * * [simplify]: Extracting # 2 : cost 0 12.768 * * [simplify]: Extracting # 3 : cost 0 12.770 * * [simplify]: Extracting # 4 : cost 0 12.772 * * [simplify]: iteration 3 : 1602 enodes (cost 651 ) 14.593 * * [simplify]: Extracting # 0 : cost 0 14.600 * * [simplify]: Extracting # 1 : cost 0 14.604 * * [simplify]: Extracting # 2 : cost 0 14.609 * * [simplify]: Extracting # 3 : cost 0 14.613 * * [simplify]: Extracting # 4 : cost 0 14.617 * * [simplify]: iteration done: 5000 enodes (cost 617 ) 14.617 * [simplify]: Simplified to: (exp (- (/ x y) (/ z y))) (log (- (/ x y) (/ z y))) (exp (- (/ x y) (/ z y))) (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y)))) (cbrt (- (/ x y) (/ z y))) (pow (- (/ x y) (/ z y)) 3) (sqrt (- (/ x y) (/ z y))) (sqrt (- (/ x y) (/ z y))) (- x z) (* y (- x z)) (* y y) (- (pow (/ x y) 3) (pow (/ z y) 3)) (+ (/ (* z z) (* y y)) (* (/ (/ x y) y) (+ x z))) (- (/ z y)) (- (* (/ x y) (/ x y)) (* (/ z y) (/ z y))) (+ (/ x y) (/ z y)) (+ (sqrt (/ x y)) (sqrt (/ z y))) (- (sqrt (/ x y)) (sqrt (/ z y))) (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y))) (- (sqrt (/ x y)) (/ (sqrt z) (sqrt y))) (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y))) (- (/ (sqrt x) (sqrt y)) (sqrt (/ z y))) (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))) (- (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y))) (- (/ x (cbrt y)) (/ z (cbrt y))) (- (/ x (sqrt y)) (/ z (sqrt y))) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- x z) (- (/ z y)) (* (/ 4.0 y) (- x z)) (log (* (/ 4.0 y) (- x z))) (log (* (/ 4.0 y) (- x z))) (exp (* (/ 4.0 y) (- x z))) (pow (* (/ 4.0 y) (- x z)) 3) (* (cbrt (* (/ 4.0 y) (- x z))) (cbrt (* (/ 4.0 y) (- x z)))) (cbrt (* (/ 4.0 y) (- x z))) (pow (* (/ 4.0 y) (- x z)) 3) (sqrt (* (/ 4.0 y) (- x z))) (sqrt (* (/ 4.0 y) (- x z))) (* (sqrt 4.0) (sqrt (- (/ x y) (/ z y)))) (* (sqrt 4.0) (sqrt (- (/ x y) (/ z y)))) (* 4.0 (/ x y)) (* (- (/ z y)) 4.0) (* 4.0 (/ x y)) (* (- (/ z y)) 4.0) (* 4.0 (/ x y)) (* (- (/ z y)) 4.0) (* 4.0 (/ x y)) (* (- (/ z y)) 4.0) (* 4.0 (* (cbrt (- (/ x y) (/ z y))) (cbrt (- (/ x y) (/ z y))))) (* 4.0 (sqrt (- (/ x y) (/ z y)))) 4.0 (* 4.0 (+ (sqrt (/ x y)) (sqrt (/ z y)))) (* 4.0 (+ (sqrt (/ x y)) (/ (sqrt z) (sqrt y)))) (* 4.0 (+ (/ (sqrt x) (sqrt y)) (sqrt (/ z y)))) (* 4.0 (+ (/ (sqrt x) (sqrt y)) (/ (sqrt z) (sqrt y)))) (/ 4.0 (* (cbrt y) (cbrt y))) (/ 4.0 (sqrt y)) 4.0 4.0 (/ 4.0 y) (* (cbrt 4.0) (- (/ x y) (/ z y))) (* (sqrt 4.0) (- (/ x y) (/ z y))) (* (/ 4.0 y) (- x z)) (* 4.0 (- x z)) (* 4.0 (* y (- x z))) (* 4.0 (- (pow (/ x y) 3) (pow (/ z y) 3))) (* (+ (/ x y) (/ z y)) (* (/ 4.0 y) (- x z))) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (- (/ x y) (/ z y)) (* (/ 4.0 y) (- x z)) (* (/ 4.0 y) (- x z)) (* (/ 4.0 y) (- x z)) 14.618 * * * [progress]: adding candidates to table 14.819 * [progress]: [Phase 3 of 3] Extracting. 14.822 * [simplify]: Simplifying: (+ (* 4.0 (- (/ x y) (/ z y))) 2.0) 14.823 * * [simplify]: Extracting # 0 : cost 0 14.823 * * [simplify]: Extracting # 1 : cost 0 14.823 * * [simplify]: Extracting # 2 : cost 0 14.823 * * [simplify]: Extracting # 3 : cost 0 14.823 * * [simplify]: Extracting # 4 : cost 0 14.823 * * [simplify]: Extracting # 5 : cost 0 14.823 * * [simplify]: Extracting # 6 : cost 0 14.823 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 14.824 * * [simplify]: Extracting # 0 : cost 0 14.824 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 14.824 * * [simplify]: Extracting # 0 : cost 0 14.824 * * [simplify]: iteration done: 12 enodes (cost 11 ) 14.825 * [simplify]: Simplified to: (+ (* 4.0 (- (/ x y) (/ z y))) 2.0) 16.077 * [regime-testing]: Baseline error score: 0.008873269149081126 16.079 * [regime-testing]: Oracle error score: 0.008873269149081126 16.080 * [regime-testing]: End program error score: 0.008873269149081126