16.071 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.059 * * * [progress]: [2/2] Setting up program. 0.065 * [progress]: [Phase 2 of 3] Improving. 0.065 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.065 * [simplify]: Simplifying: (/ (* 4.0 (- (- x y) (* z 0.5))) z) 0.066 * * [simplify]: iteration 0: 10 enodes 0.067 * * [simplify]: iteration 1: 20 enodes 0.070 * * [simplify]: iteration 2: 47 enodes 0.077 * * [simplify]: iteration 3: 130 enodes 0.107 * * [simplify]: iteration 4: 335 enodes 0.286 * * [simplify]: iteration 5: 1198 enodes 0.739 * * [simplify]: iteration complete: 5000 enodes 0.739 * * [simplify]: Extracting #0: cost 1 inf + 0 0.740 * * [simplify]: Extracting #1: cost 195 inf + 0 0.743 * * [simplify]: Extracting #2: cost 937 inf + 170 0.756 * * [simplify]: Extracting #3: cost 1588 inf + 19669 0.810 * * [simplify]: Extracting #4: cost 459 inf + 128888 0.883 * * [simplify]: Extracting #5: cost 12 inf + 186967 0.955 * * [simplify]: Extracting #6: cost 0 inf + 188605 1.009 * [simplify]: Simplified to: (* (/ 4.0 z) (- (- x y) (* z 0.5))) 1.010 * * [progress]: iteration 1 / 4 1.010 * * * [progress]: picking best candidate 1.015 * * * * [pick]: Picked # 1.015 * * * [progress]: localizing error 1.042 * * * [progress]: generating rewritten candidates 1.042 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.084 * * * [progress]: generating series expansions 1.084 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.084 * [backup-simplify]: Simplify (/ (* 4.0 (- (- x y) (* z 0.5))) z) into (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) 1.084 * [approximate]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in (x y z) around 0 1.084 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in z 1.084 * [taylor]: Taking taylor expansion of 4.0 in z 1.084 * [backup-simplify]: Simplify 4.0 into 4.0 1.084 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in z 1.084 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in z 1.084 * [taylor]: Taking taylor expansion of x in z 1.084 * [backup-simplify]: Simplify x into x 1.084 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in z 1.084 * [taylor]: Taking taylor expansion of (* 0.5 z) in z 1.084 * [taylor]: Taking taylor expansion of 0.5 in z 1.084 * [backup-simplify]: Simplify 0.5 into 0.5 1.084 * [taylor]: Taking taylor expansion of z in z 1.084 * [backup-simplify]: Simplify 0 into 0 1.084 * [backup-simplify]: Simplify 1 into 1 1.084 * [taylor]: Taking taylor expansion of y in z 1.084 * [backup-simplify]: Simplify y into y 1.084 * [taylor]: Taking taylor expansion of z in z 1.084 * [backup-simplify]: Simplify 0 into 0 1.084 * [backup-simplify]: Simplify 1 into 1 1.085 * [backup-simplify]: Simplify (* 0.5 0) into 0 1.085 * [backup-simplify]: Simplify (+ 0 y) into y 1.085 * [backup-simplify]: Simplify (- y) into (- y) 1.085 * [backup-simplify]: Simplify (+ x (- y)) into (- x y) 1.085 * [backup-simplify]: Simplify (/ (- x y) 1) into (- x y) 1.085 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in y 1.085 * [taylor]: Taking taylor expansion of 4.0 in y 1.085 * [backup-simplify]: Simplify 4.0 into 4.0 1.085 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in y 1.085 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in y 1.085 * [taylor]: Taking taylor expansion of x in y 1.085 * [backup-simplify]: Simplify x into x 1.085 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y 1.085 * [taylor]: Taking taylor expansion of (* 0.5 z) in y 1.085 * [taylor]: Taking taylor expansion of 0.5 in y 1.085 * [backup-simplify]: Simplify 0.5 into 0.5 1.085 * [taylor]: Taking taylor expansion of z in y 1.085 * [backup-simplify]: Simplify z into z 1.085 * [taylor]: Taking taylor expansion of y in y 1.085 * [backup-simplify]: Simplify 0 into 0 1.085 * [backup-simplify]: Simplify 1 into 1 1.085 * [taylor]: Taking taylor expansion of z in y 1.085 * [backup-simplify]: Simplify z into z 1.085 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z) 1.085 * [backup-simplify]: Simplify (+ (* 0.5 z) 0) into (* 0.5 z) 1.085 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z)) 1.085 * [backup-simplify]: Simplify (+ x (- (* 0.5 z))) into (- x (* 0.5 z)) 1.085 * [backup-simplify]: Simplify (/ (- x (* 0.5 z)) z) into (/ (- x (* 0.5 z)) z) 1.085 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x 1.085 * [taylor]: Taking taylor expansion of 4.0 in x 1.085 * [backup-simplify]: Simplify 4.0 into 4.0 1.085 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x 1.085 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x 1.085 * [taylor]: Taking taylor expansion of x in x 1.085 * [backup-simplify]: Simplify 0 into 0 1.085 * [backup-simplify]: Simplify 1 into 1 1.085 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x 1.085 * [taylor]: Taking taylor expansion of (* 0.5 z) in x 1.085 * [taylor]: Taking taylor expansion of 0.5 in x 1.085 * [backup-simplify]: Simplify 0.5 into 0.5 1.085 * [taylor]: Taking taylor expansion of z in x 1.085 * [backup-simplify]: Simplify z into z 1.085 * [taylor]: Taking taylor expansion of y in x 1.085 * [backup-simplify]: Simplify y into y 1.085 * [taylor]: Taking taylor expansion of z in x 1.086 * [backup-simplify]: Simplify z into z 1.086 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z) 1.086 * [backup-simplify]: Simplify (+ (* 0.5 z) y) into (+ (* 0.5 z) y) 1.086 * [backup-simplify]: Simplify (- (+ (* 0.5 z) y)) into (- (+ (* 0.5 z) y)) 1.086 * [backup-simplify]: Simplify (+ 0 (- (+ (* 0.5 z) y))) into (- (+ (* 0.5 z) y)) 1.086 * [backup-simplify]: Simplify (/ (- (+ (* 0.5 z) y)) z) into (* -1 (/ (+ (* 0.5 z) y) z)) 1.086 * [taylor]: Taking taylor expansion of (* 4.0 (/ (- x (+ (* 0.5 z) y)) z)) in x 1.086 * [taylor]: Taking taylor expansion of 4.0 in x 1.086 * [backup-simplify]: Simplify 4.0 into 4.0 1.086 * [taylor]: Taking taylor expansion of (/ (- x (+ (* 0.5 z) y)) z) in x 1.086 * [taylor]: Taking taylor expansion of (- x (+ (* 0.5 z) y)) in x 1.086 * [taylor]: Taking taylor expansion of x in x 1.086 * [backup-simplify]: Simplify 0 into 0 1.086 * [backup-simplify]: Simplify 1 into 1 1.086 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in x 1.086 * [taylor]: Taking taylor expansion of (* 0.5 z) in x 1.086 * [taylor]: Taking taylor expansion of 0.5 in x 1.086 * [backup-simplify]: Simplify 0.5 into 0.5 1.086 * [taylor]: Taking taylor expansion of z in x 1.086 * [backup-simplify]: Simplify z into z 1.086 * [taylor]: Taking taylor expansion of y in x 1.086 * [backup-simplify]: Simplify y into y 1.086 * [taylor]: Taking taylor expansion of z in x 1.086 * [backup-simplify]: Simplify z into z 1.086 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z) 1.086 * [backup-simplify]: Simplify (+ (* 0.5 z) y) into (+ (* 0.5 z) y) 1.087 * [backup-simplify]: Simplify (- (+ (* 0.5 z) y)) into (- (+ (* 0.5 z) y)) 1.087 * [backup-simplify]: Simplify (+ 0 (- (+ (* 0.5 z) y))) into (- (+ (* 0.5 z) y)) 1.087 * [backup-simplify]: Simplify (/ (- (+ (* 0.5 z) y)) z) into (* -1 (/ (+ (* 0.5 z) y) z)) 1.087 * [backup-simplify]: Simplify (* 4.0 (* -1 (/ (+ (* 0.5 z) y) z))) into (* -4.0 (/ (+ (* 0.5 z) y) z)) 1.087 * [taylor]: Taking taylor expansion of (* -4.0 (/ (+ (* 0.5 z) y) z)) in y 1.087 * [taylor]: Taking taylor expansion of -4.0 in y 1.087 * [backup-simplify]: Simplify -4.0 into -4.0 1.087 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 z) y) z) in y 1.087 * [taylor]: Taking taylor expansion of (+ (* 0.5 z) y) in y 1.087 * [taylor]: Taking taylor expansion of (* 0.5 z) in y 1.087 * [taylor]: Taking taylor expansion of 0.5 in y 1.087 * [backup-simplify]: Simplify 0.5 into 0.5 1.087 * [taylor]: Taking taylor expansion of z in y 1.087 * [backup-simplify]: Simplify z into z 1.087 * [taylor]: Taking taylor expansion of y in y 1.087 * [backup-simplify]: Simplify 0 into 0 1.087 * [backup-simplify]: Simplify 1 into 1 1.087 * [taylor]: Taking taylor expansion of z in y 1.087 * [backup-simplify]: Simplify z into z 1.088 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z) 1.088 * [backup-simplify]: Simplify (+ (* 0.5 z) 0) into (* 0.5 z) 1.088 * [backup-simplify]: Simplify (/ (* 0.5 z) z) into 0.5 1.088 * [backup-simplify]: Simplify (* -4.0 0.5) into -2.0 1.088 * [taylor]: Taking taylor expansion of -2.0 in z 1.088 * [backup-simplify]: Simplify -2.0 into -2.0 1.089 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 z)) into 0 1.089 * [backup-simplify]: Simplify (+ 0 0) into 0 1.090 * [backup-simplify]: Simplify (- 0) into 0 1.090 * [backup-simplify]: Simplify (+ 1 0) into 1 1.090 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ (+ (* 0.5 z) y) z)) (/ 0 z)))) into (/ 1 z) 1.090 * [backup-simplify]: Simplify (+ (* 4.0 (/ 1 z)) (* 0 (* -1 (/ (+ (* 0.5 z) y) z)))) into (* 4.0 (/ 1 z)) 1.091 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in y 1.091 * [taylor]: Taking taylor expansion of 4.0 in y 1.091 * [backup-simplify]: Simplify 4.0 into 4.0 1.091 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.091 * [taylor]: Taking taylor expansion of z in y 1.091 * [backup-simplify]: Simplify z into z 1.091 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.091 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z) 1.091 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z 1.091 * [taylor]: Taking taylor expansion of 4.0 in z 1.091 * [backup-simplify]: Simplify 4.0 into 4.0 1.091 * [taylor]: Taking taylor expansion of z in z 1.091 * [backup-simplify]: Simplify 0 into 0 1.091 * [backup-simplify]: Simplify 1 into 1 1.091 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0 1.091 * [backup-simplify]: Simplify 4.0 into 4.0 1.092 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 z)) into 0 1.092 * [backup-simplify]: Simplify (+ 0 1) into 1 1.093 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* 0.5 (/ 0 z)))) into (/ 1 z) 1.093 * [backup-simplify]: Simplify (+ (* -4.0 (/ 1 z)) (* 0 0.5)) into (- (* 4.0 (/ 1 z))) 1.093 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z 1.093 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z 1.093 * [taylor]: Taking taylor expansion of 4.0 in z 1.093 * [backup-simplify]: Simplify 4.0 into 4.0 1.093 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.093 * [taylor]: Taking taylor expansion of z in z 1.093 * [backup-simplify]: Simplify 0 into 0 1.093 * [backup-simplify]: Simplify 1 into 1 1.094 * [backup-simplify]: Simplify (/ 1 1) into 1 1.094 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 1.095 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 1.095 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 1.095 * [backup-simplify]: Simplify -2.0 into -2.0 1.096 * [backup-simplify]: Simplify (+ -2.0 (+ (* (- 4.0) (* (/ 1 z) (* y 1))) (* 4.0 (* (/ 1 z) (* 1 x))))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) 1.096 * [backup-simplify]: Simplify (/ (* 4.0 (- (- (/ 1 x) (/ 1 y)) (* (/ 1 z) 0.5))) (/ 1 z)) into (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) 1.096 * [approximate]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in (x y z) around 0 1.096 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in z 1.096 * [taylor]: Taking taylor expansion of 4.0 in z 1.096 * [backup-simplify]: Simplify 4.0 into 4.0 1.096 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in z 1.096 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in z 1.096 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.096 * [taylor]: Taking taylor expansion of x in z 1.096 * [backup-simplify]: Simplify x into x 1.096 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.096 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z 1.096 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 1.096 * [taylor]: Taking taylor expansion of 0.5 in z 1.096 * [backup-simplify]: Simplify 0.5 into 0.5 1.096 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.097 * [taylor]: Taking taylor expansion of z in z 1.097 * [backup-simplify]: Simplify 0 into 0 1.097 * [backup-simplify]: Simplify 1 into 1 1.097 * [backup-simplify]: Simplify (/ 1 1) into 1 1.097 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.097 * [taylor]: Taking taylor expansion of y in z 1.097 * [backup-simplify]: Simplify y into y 1.097 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.097 * [taylor]: Taking taylor expansion of z in z 1.097 * [backup-simplify]: Simplify 0 into 0 1.097 * [backup-simplify]: Simplify 1 into 1 1.097 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in y 1.097 * [taylor]: Taking taylor expansion of 4.0 in y 1.097 * [backup-simplify]: Simplify 4.0 into 4.0 1.097 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in y 1.097 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in y 1.097 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.097 * [taylor]: Taking taylor expansion of x in y 1.097 * [backup-simplify]: Simplify x into x 1.097 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.097 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y 1.098 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y 1.098 * [taylor]: Taking taylor expansion of 0.5 in y 1.098 * [backup-simplify]: Simplify 0.5 into 0.5 1.098 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.098 * [taylor]: Taking taylor expansion of z in y 1.098 * [backup-simplify]: Simplify z into z 1.098 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.098 * [taylor]: Taking taylor expansion of y in y 1.098 * [backup-simplify]: Simplify 0 into 0 1.098 * [backup-simplify]: Simplify 1 into 1 1.098 * [backup-simplify]: Simplify (/ 1 1) into 1 1.098 * [taylor]: Taking taylor expansion of z in y 1.098 * [backup-simplify]: Simplify z into z 1.098 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x 1.098 * [taylor]: Taking taylor expansion of 4.0 in x 1.098 * [backup-simplify]: Simplify 4.0 into 4.0 1.098 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x 1.098 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x 1.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.098 * [taylor]: Taking taylor expansion of x in x 1.098 * [backup-simplify]: Simplify 0 into 0 1.098 * [backup-simplify]: Simplify 1 into 1 1.099 * [backup-simplify]: Simplify (/ 1 1) into 1 1.099 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x 1.099 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x 1.099 * [taylor]: Taking taylor expansion of 0.5 in x 1.099 * [backup-simplify]: Simplify 0.5 into 0.5 1.099 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.099 * [taylor]: Taking taylor expansion of z in x 1.099 * [backup-simplify]: Simplify z into z 1.099 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.099 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.099 * [taylor]: Taking taylor expansion of y in x 1.099 * [backup-simplify]: Simplify y into y 1.099 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.099 * [taylor]: Taking taylor expansion of z in x 1.099 * [backup-simplify]: Simplify z into z 1.099 * [taylor]: Taking taylor expansion of (* 4.0 (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) in x 1.099 * [taylor]: Taking taylor expansion of 4.0 in x 1.099 * [backup-simplify]: Simplify 4.0 into 4.0 1.099 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) z) in x 1.099 * [taylor]: Taking taylor expansion of (- (/ 1 x) (+ (* 0.5 (/ 1 z)) (/ 1 y))) in x 1.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.100 * [taylor]: Taking taylor expansion of x in x 1.100 * [backup-simplify]: Simplify 0 into 0 1.100 * [backup-simplify]: Simplify 1 into 1 1.100 * [backup-simplify]: Simplify (/ 1 1) into 1 1.100 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x 1.100 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x 1.100 * [taylor]: Taking taylor expansion of 0.5 in x 1.100 * [backup-simplify]: Simplify 0.5 into 0.5 1.100 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.100 * [taylor]: Taking taylor expansion of z in x 1.100 * [backup-simplify]: Simplify z into z 1.100 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.100 * [taylor]: Taking taylor expansion of y in x 1.100 * [backup-simplify]: Simplify y into y 1.100 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.100 * [taylor]: Taking taylor expansion of z in x 1.100 * [backup-simplify]: Simplify z into z 1.101 * [backup-simplify]: Simplify (+ 1 0) into 1 1.101 * [backup-simplify]: Simplify (* 1 z) into z 1.101 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 1.101 * [taylor]: Taking taylor expansion of (* 4.0 z) in y 1.101 * [taylor]: Taking taylor expansion of 4.0 in y 1.101 * [backup-simplify]: Simplify 4.0 into 4.0 1.101 * [taylor]: Taking taylor expansion of z in y 1.101 * [backup-simplify]: Simplify z into z 1.102 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.102 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z) 1.102 * [backup-simplify]: Simplify (+ (/ 0.5 z) (/ 1 y)) into (+ (/ 1 y) (* 0.5 (/ 1 z))) 1.102 * [backup-simplify]: Simplify (- (+ (/ 1 y) (* 0.5 (/ 1 z)))) into (- (+ (/ 1 y) (* 0.5 (/ 1 z)))) 1.103 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 y) (* 0.5 (/ 1 z))))) into (- (+ (* 0.5 (/ 1 z)) (/ 1 y))) 1.107 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y))) z)) into (- (+ (/ z y) 0.5)) 1.108 * [backup-simplify]: Simplify (+ (* 4.0 (- (+ (/ z y) 0.5))) (* 0 z)) into (- (+ (* 4.0 (/ z y)) 2.0)) 1.108 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y 1.108 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y 1.108 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 1.108 * [taylor]: Taking taylor expansion of 4.0 in y 1.108 * [backup-simplify]: Simplify 4.0 into 4.0 1.108 * [taylor]: Taking taylor expansion of (/ z y) in y 1.108 * [taylor]: Taking taylor expansion of z in y 1.108 * [backup-simplify]: Simplify z into z 1.108 * [taylor]: Taking taylor expansion of y in y 1.108 * [backup-simplify]: Simplify 0 into 0 1.108 * [backup-simplify]: Simplify 1 into 1 1.108 * [backup-simplify]: Simplify (/ z 1) into z 1.108 * [taylor]: Taking taylor expansion of 2.0 in y 1.108 * [backup-simplify]: Simplify 2.0 into 2.0 1.108 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 1.108 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z) 1.108 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z)) 1.108 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z 1.108 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 1.109 * [taylor]: Taking taylor expansion of 4.0 in z 1.109 * [backup-simplify]: Simplify 4.0 into 4.0 1.109 * [taylor]: Taking taylor expansion of z in z 1.109 * [backup-simplify]: Simplify 0 into 0 1.109 * [backup-simplify]: Simplify 1 into 1 1.109 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 1.109 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 1.109 * [taylor]: Taking taylor expansion of 4.0 in z 1.109 * [backup-simplify]: Simplify 4.0 into 4.0 1.109 * [taylor]: Taking taylor expansion of z in z 1.109 * [backup-simplify]: Simplify 0 into 0 1.109 * [backup-simplify]: Simplify 1 into 1 1.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.111 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 1.111 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0 1.111 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.112 * [backup-simplify]: Simplify (+ 0 0) into 0 1.112 * [backup-simplify]: Simplify (- 0) into 0 1.112 * [backup-simplify]: Simplify (+ 0 0) into 0 1.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y))) 0) (* 0 z))) into 0 1.114 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 (- (+ (/ z y) 0.5))) (* 0 z))) into 0 1.114 * [taylor]: Taking taylor expansion of 0 in y 1.114 * [backup-simplify]: Simplify 0 into 0 1.115 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 1.115 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 1.115 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 1.116 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 1.116 * [taylor]: Taking taylor expansion of (- 2.0) in z 1.116 * [taylor]: Taking taylor expansion of 2.0 in z 1.116 * [backup-simplify]: Simplify 2.0 into 2.0 1.116 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 1.116 * [taylor]: Taking taylor expansion of 0 in z 1.116 * [backup-simplify]: Simplify 0 into 0 1.117 * [backup-simplify]: Simplify (* 4.0 0) into 0 1.117 * [backup-simplify]: Simplify (- 0) into 0 1.117 * [backup-simplify]: Simplify 0 into 0 1.118 * [backup-simplify]: Simplify (* 4.0 0) into 0 1.118 * [backup-simplify]: Simplify 0 into 0 1.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.119 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.120 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 1.120 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.121 * [backup-simplify]: Simplify (+ 0 0) into 0 1.121 * [backup-simplify]: Simplify (- 0) into 0 1.122 * [backup-simplify]: Simplify (+ 0 0) into 0 1.123 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y))) 0) (+ (* 0 0) (* 0 z)))) into 0 1.123 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 (- (+ (/ z y) 0.5))) (* 0 z)))) into 0 1.124 * [taylor]: Taking taylor expansion of 0 in y 1.124 * [backup-simplify]: Simplify 0 into 0 1.124 * [taylor]: Taking taylor expansion of 0 in z 1.124 * [backup-simplify]: Simplify 0 into 0 1.125 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.126 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0 1.126 * [backup-simplify]: Simplify (+ 0 0) into 0 1.127 * [backup-simplify]: Simplify (- 0) into 0 1.127 * [taylor]: Taking taylor expansion of 0 in z 1.127 * [backup-simplify]: Simplify 0 into 0 1.128 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0 1.128 * [taylor]: Taking taylor expansion of 0 in z 1.128 * [backup-simplify]: Simplify 0 into 0 1.128 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 1.128 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 1.128 * [backup-simplify]: Simplify 0 into 0 1.130 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 1.130 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 1.131 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 1.132 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 1.132 * [backup-simplify]: Simplify 4.0 into 4.0 1.134 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* (- 4.0) (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) 1.134 * [backup-simplify]: Simplify (/ (* 4.0 (- (- (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- z)) 0.5))) (/ 1 (- z))) into (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) 1.134 * [approximate]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in (x y z) around 0 1.134 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in z 1.134 * [taylor]: Taking taylor expansion of -4.0 in z 1.134 * [backup-simplify]: Simplify -4.0 into -4.0 1.134 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z) in z 1.134 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in z 1.134 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in z 1.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z 1.134 * [taylor]: Taking taylor expansion of 0.5 in z 1.134 * [backup-simplify]: Simplify 0.5 into 0.5 1.134 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.134 * [taylor]: Taking taylor expansion of z in z 1.134 * [backup-simplify]: Simplify 0 into 0 1.134 * [backup-simplify]: Simplify 1 into 1 1.135 * [backup-simplify]: Simplify (/ 1 1) into 1 1.135 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.135 * [taylor]: Taking taylor expansion of y in z 1.135 * [backup-simplify]: Simplify y into y 1.135 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.135 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.135 * [taylor]: Taking taylor expansion of x in z 1.135 * [backup-simplify]: Simplify x into x 1.135 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.135 * [taylor]: Taking taylor expansion of z in z 1.135 * [backup-simplify]: Simplify 0 into 0 1.135 * [backup-simplify]: Simplify 1 into 1 1.135 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in y 1.135 * [taylor]: Taking taylor expansion of -4.0 in y 1.135 * [backup-simplify]: Simplify -4.0 into -4.0 1.135 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z) in y 1.135 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in y 1.135 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in y 1.135 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in y 1.135 * [taylor]: Taking taylor expansion of 0.5 in y 1.135 * [backup-simplify]: Simplify 0.5 into 0.5 1.135 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.135 * [taylor]: Taking taylor expansion of z in y 1.136 * [backup-simplify]: Simplify z into z 1.136 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.136 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.136 * [taylor]: Taking taylor expansion of y in y 1.136 * [backup-simplify]: Simplify 0 into 0 1.136 * [backup-simplify]: Simplify 1 into 1 1.136 * [backup-simplify]: Simplify (/ 1 1) into 1 1.136 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.136 * [taylor]: Taking taylor expansion of x in y 1.136 * [backup-simplify]: Simplify x into x 1.136 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.136 * [taylor]: Taking taylor expansion of z in y 1.136 * [backup-simplify]: Simplify z into z 1.136 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in x 1.136 * [taylor]: Taking taylor expansion of -4.0 in x 1.136 * [backup-simplify]: Simplify -4.0 into -4.0 1.136 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z) in x 1.136 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 1.136 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x 1.136 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x 1.136 * [taylor]: Taking taylor expansion of 0.5 in x 1.137 * [backup-simplify]: Simplify 0.5 into 0.5 1.137 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.137 * [taylor]: Taking taylor expansion of z in x 1.137 * [backup-simplify]: Simplify z into z 1.137 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.137 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.137 * [taylor]: Taking taylor expansion of y in x 1.137 * [backup-simplify]: Simplify y into y 1.137 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.137 * [taylor]: Taking taylor expansion of x in x 1.137 * [backup-simplify]: Simplify 0 into 0 1.137 * [backup-simplify]: Simplify 1 into 1 1.137 * [backup-simplify]: Simplify (/ 1 1) into 1 1.137 * [taylor]: Taking taylor expansion of z in x 1.137 * [backup-simplify]: Simplify z into z 1.137 * [taylor]: Taking taylor expansion of (* -4.0 (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z)) in x 1.137 * [taylor]: Taking taylor expansion of -4.0 in x 1.137 * [backup-simplify]: Simplify -4.0 into -4.0 1.137 * [taylor]: Taking taylor expansion of (* (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) z) in x 1.137 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ 1 z)) (/ 1 y)) (/ 1 x)) in x 1.137 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 z)) (/ 1 y)) in x 1.138 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in x 1.138 * [taylor]: Taking taylor expansion of 0.5 in x 1.138 * [backup-simplify]: Simplify 0.5 into 0.5 1.138 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.138 * [taylor]: Taking taylor expansion of z in x 1.138 * [backup-simplify]: Simplify z into z 1.138 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.138 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.138 * [taylor]: Taking taylor expansion of y in x 1.138 * [backup-simplify]: Simplify y into y 1.138 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.138 * [taylor]: Taking taylor expansion of x in x 1.138 * [backup-simplify]: Simplify 0 into 0 1.138 * [backup-simplify]: Simplify 1 into 1 1.138 * [backup-simplify]: Simplify (/ 1 1) into 1 1.138 * [taylor]: Taking taylor expansion of z in x 1.138 * [backup-simplify]: Simplify z into z 1.139 * [backup-simplify]: Simplify (- 1) into -1 1.139 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.139 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1.139 * [backup-simplify]: Simplify (* -4.0 (* -1 z)) into (* 4.0 z) 1.139 * [taylor]: Taking taylor expansion of (* 4.0 z) in y 1.139 * [taylor]: Taking taylor expansion of 4.0 in y 1.139 * [backup-simplify]: Simplify 4.0 into 4.0 1.140 * [taylor]: Taking taylor expansion of z in y 1.140 * [backup-simplify]: Simplify z into z 1.140 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z) 1.140 * [backup-simplify]: Simplify (+ (/ 0.5 z) (/ 1 y)) into (+ (/ 1 y) (* 0.5 (/ 1 z))) 1.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.141 * [backup-simplify]: Simplify (- 0) into 0 1.141 * [backup-simplify]: Simplify (+ (+ (/ 1 y) (* 0.5 (/ 1 z))) 0) into (+ (/ 1 y) (* 0.5 (/ 1 z))) 1.142 * [backup-simplify]: Simplify (+ (* -1 0) (* (+ (/ 1 y) (* 0.5 (/ 1 z))) z)) into (+ (/ z y) 0.5) 1.142 * [backup-simplify]: Simplify (+ (* -4.0 (+ (/ z y) 0.5)) (* 0 (* -1 z))) into (- (+ (* 4.0 (/ z y)) 2.0)) 1.142 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y 1.142 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y 1.142 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 1.142 * [taylor]: Taking taylor expansion of 4.0 in y 1.142 * [backup-simplify]: Simplify 4.0 into 4.0 1.142 * [taylor]: Taking taylor expansion of (/ z y) in y 1.142 * [taylor]: Taking taylor expansion of z in y 1.142 * [backup-simplify]: Simplify z into z 1.142 * [taylor]: Taking taylor expansion of y in y 1.142 * [backup-simplify]: Simplify 0 into 0 1.142 * [backup-simplify]: Simplify 1 into 1 1.142 * [backup-simplify]: Simplify (/ z 1) into z 1.142 * [taylor]: Taking taylor expansion of 2.0 in y 1.142 * [backup-simplify]: Simplify 2.0 into 2.0 1.142 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 1.143 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z) 1.143 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z)) 1.143 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z 1.143 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 1.143 * [taylor]: Taking taylor expansion of 4.0 in z 1.143 * [backup-simplify]: Simplify 4.0 into 4.0 1.143 * [taylor]: Taking taylor expansion of z in z 1.143 * [backup-simplify]: Simplify 0 into 0 1.143 * [backup-simplify]: Simplify 1 into 1 1.143 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 1.143 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 1.143 * [taylor]: Taking taylor expansion of 4.0 in z 1.143 * [backup-simplify]: Simplify 4.0 into 4.0 1.143 * [taylor]: Taking taylor expansion of z in z 1.143 * [backup-simplify]: Simplify 0 into 0 1.143 * [backup-simplify]: Simplify 1 into 1 1.143 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 1.144 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 z))) into 0 1.144 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.144 * [backup-simplify]: Simplify (+ 0 0) into 0 1.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.145 * [backup-simplify]: Simplify (- 0) into 0 1.146 * [backup-simplify]: Simplify (+ 0 0) into 0 1.146 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (+ (/ 1 y) (* 0.5 (/ 1 z))) 0) (* 0 z))) into 0 1.147 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 (+ (/ z y) 0.5)) (* 0 (* -1 z)))) into 0 1.147 * [taylor]: Taking taylor expansion of 0 in y 1.147 * [backup-simplify]: Simplify 0 into 0 1.147 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 1.147 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 1.148 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 1.148 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 1.148 * [taylor]: Taking taylor expansion of (- 2.0) in z 1.148 * [taylor]: Taking taylor expansion of 2.0 in z 1.148 * [backup-simplify]: Simplify 2.0 into 2.0 1.148 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 1.148 * [taylor]: Taking taylor expansion of 0 in z 1.148 * [backup-simplify]: Simplify 0 into 0 1.149 * [backup-simplify]: Simplify (* 4.0 0) into 0 1.149 * [backup-simplify]: Simplify (- 0) into 0 1.149 * [backup-simplify]: Simplify 0 into 0 1.149 * [backup-simplify]: Simplify (* 4.0 0) into 0 1.149 * [backup-simplify]: Simplify 0 into 0 1.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.150 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 1.150 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 1.150 * [backup-simplify]: Simplify (+ 0 0) into 0 1.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.151 * [backup-simplify]: Simplify (- 0) into 0 1.151 * [backup-simplify]: Simplify (+ 0 0) into 0 1.152 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (+ (/ 1 y) (* 0.5 (/ 1 z))) 0) (+ (* 0 0) (* 0 z)))) into 0 1.153 * [backup-simplify]: Simplify (+ (* -4.0 0) (+ (* 0 0) (+ (* 0 (+ (/ z y) 0.5)) (* 0 (* -1 z))))) into 0 1.153 * [taylor]: Taking taylor expansion of 0 in y 1.153 * [backup-simplify]: Simplify 0 into 0 1.153 * [taylor]: Taking taylor expansion of 0 in z 1.153 * [backup-simplify]: Simplify 0 into 0 1.153 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.154 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0 1.154 * [backup-simplify]: Simplify (+ 0 0) into 0 1.154 * [backup-simplify]: Simplify (- 0) into 0 1.155 * [taylor]: Taking taylor expansion of 0 in z 1.155 * [backup-simplify]: Simplify 0 into 0 1.155 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0 1.155 * [taylor]: Taking taylor expansion of 0 in z 1.155 * [backup-simplify]: Simplify 0 into 0 1.155 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 1.156 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 1.156 * [backup-simplify]: Simplify 0 into 0 1.156 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 1.157 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 1.157 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 1.158 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 1.158 * [backup-simplify]: Simplify 4.0 into 4.0 1.159 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* (- 4.0) (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) 1.159 * * * [progress]: simplifying candidates 1.159 * * * * [progress]: [ 1 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 2 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 3 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 4 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 5 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 6 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 7 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 8 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 9 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 10 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 11 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 12 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 13 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 14 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 15 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 16 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 17 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 18 / 27 ] simplifiying candidate # 1.159 * * * * [progress]: [ 19 / 27 ] simplifiying candidate # 1.160 * * * * [progress]: [ 20 / 27 ] simplifiying candidate # 1.160 * * * * [progress]: [ 21 / 27 ] simplifiying candidate # 1.160 * * * * [progress]: [ 22 / 27 ] simplifiying candidate # 1.160 * * * * [progress]: [ 23 / 27 ] simplifiying candidate # 1.160 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #real (real->posit16 (/ (* 4.0 (- (- x y) (* z 0.5))) z))))> 1.160 * * * * [progress]: [ 25 / 27 ] simplifiying candidate # 1.160 * * * * [progress]: [ 26 / 27 ] simplifiying candidate # 1.160 * * * * [progress]: [ 27 / 27 ] simplifiying candidate # 1.160 * [simplify]: Simplifying: (- (+ (log 4.0) (log (- (- x y) (* z 0.5)))) (log z)) (- (log (* 4.0 (- (- x y) (* z 0.5)))) (log z)) (log (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (exp (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (/ (* (* (* 4.0 4.0) 4.0) (* (* (- (- x y) (* z 0.5)) (- (- x y) (* z 0.5))) (- (- x y) (* z 0.5)))) (* (* z z) z)) (/ (* (* (* 4.0 (- (- x y) (* z 0.5))) (* 4.0 (- (- x y) (* z 0.5)))) (* 4.0 (- (- x y) (* z 0.5)))) (* (* z z) z)) (* (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z))) (cbrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (* (* (/ (* 4.0 (- (- x y) (* z 0.5))) z) (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (sqrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (sqrt (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (- (* 4.0 (- (- x y) (* z 0.5)))) (- z) (/ 4.0 (* (cbrt z) (cbrt z))) (/ (- (- x y) (* z 0.5)) (cbrt z)) (/ 4.0 (sqrt z)) (/ (- (- x y) (* z 0.5)) (sqrt z)) (/ 4.0 1) (/ (- (- x y) (* z 0.5)) z) (/ 1 z) (/ z (* 4.0 (- (- x y) (* z 0.5)))) (/ (* 4.0 (- (- x y) (* z 0.5))) (* (cbrt z) (cbrt z))) (/ (* 4.0 (- (- x y) (* z 0.5))) (sqrt z)) (/ (* 4.0 (- (- x y) (* z 0.5))) 1) (/ z (- (- x y) (* z 0.5))) (* z (+ (* (- x y) (- x y)) (+ (* (* z 0.5) (* z 0.5)) (* (- x y) (* z 0.5))))) (* z (+ (- x y) (* z 0.5))) (real->posit16 (/ (* 4.0 (- (- x y) (* z 0.5))) z)) (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) 1.161 * * [simplify]: iteration 0: 69 enodes 1.174 * * [simplify]: iteration 1: 195 enodes 1.255 * * [simplify]: iteration 2: 895 enodes 1.696 * * [simplify]: iteration complete: 5000 enodes 1.697 * * [simplify]: Extracting #0: cost 24 inf + 0 1.698 * * [simplify]: Extracting #1: cost 656 inf + 1 1.702 * * [simplify]: Extracting #2: cost 1734 inf + 988 1.711 * * [simplify]: Extracting #3: cost 2137 inf + 14531 1.764 * * [simplify]: Extracting #4: cost 1132 inf + 205521 1.850 * * [simplify]: Extracting #5: cost 140 inf + 457692 1.982 * * [simplify]: Extracting #6: cost 0 inf + 494520 2.157 * * [simplify]: Extracting #7: cost 0 inf + 494320 2.335 * [simplify]: Simplified to: (log (/ (- (- x y) (* z 0.5)) (/ z 4.0))) (log (/ (- (- x y) (* z 0.5)) (/ z 4.0))) (log (/ (- (- x y) (* z 0.5)) (/ z 4.0))) (exp (/ (- (- x y) (* z 0.5)) (/ z 4.0))) (* (/ (- (- x y) (* z 0.5)) (/ z 4.0)) (* (/ (- (- x y) (* z 0.5)) (/ z 4.0)) (/ (- (- x y) (* z 0.5)) (/ z 4.0)))) (* (/ (- (- x y) (* z 0.5)) (/ z 4.0)) (* (/ (- (- x y) (* z 0.5)) (/ z 4.0)) (/ (- (- x y) (* z 0.5)) (/ z 4.0)))) (* (cbrt (/ (- (- x y) (* z 0.5)) (/ z 4.0))) (cbrt (/ (- (- x y) (* z 0.5)) (/ z 4.0)))) (cbrt (/ (- (- x y) (* z 0.5)) (/ z 4.0))) (* (/ (- (- x y) (* z 0.5)) (/ z 4.0)) (* (/ (- (- x y) (* z 0.5)) (/ z 4.0)) (/ (- (- x y) (* z 0.5)) (/ z 4.0)))) (sqrt (/ (- (- x y) (* z 0.5)) (/ z 4.0))) (sqrt (/ (- (- x y) (* z 0.5)) (/ z 4.0))) (* (- (- x y) (* z 0.5)) (- 4.0)) (- z) (/ (/ 4.0 (cbrt z)) (cbrt z)) (/ (- (- x y) (* z 0.5)) (cbrt z)) (/ 4.0 (sqrt z)) (/ (- (- x y) (* z 0.5)) (sqrt z)) 4.0 (/ (- (- x y) (* z 0.5)) z) (/ 1 z) (/ (/ z 4.0) (- (- x y) (* z 0.5))) (* (/ 4.0 (cbrt z)) (/ (- (- x y) (* z 0.5)) (cbrt z))) (/ (- (- x y) (* z 0.5)) (/ (sqrt z) 4.0)) (* (- (- x y) (* z 0.5)) 4.0) (/ z (- (- x y) (* z 0.5))) (* (+ (* (* z 0.5) (- x y)) (+ (* (- x y) (- x y)) (* (* z 0.5) (* z 0.5)))) z) (* (- (+ (* z 0.5) x) y) z) (real->posit16 (/ (- (- x y) (* z 0.5)) (/ z 4.0))) (- (* 4.0 (/ (- x y) z)) 2.0) (- (* 4.0 (/ (- x y) z)) 2.0) (- (* 4.0 (/ (- x y) z)) 2.0) 2.338 * * * [progress]: adding candidates to table 2.462 * * [progress]: iteration 2 / 4 2.462 * * * [progress]: picking best candidate 2.464 * * * * [pick]: Picked # 2.464 * * * [progress]: localizing error 2.476 * * * [progress]: generating rewritten candidates 2.476 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 2) 2.501 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.515 * * * [progress]: generating series expansions 2.515 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 2) 2.516 * [backup-simplify]: Simplify (/ (- x y) z) into (/ (- x y) z) 2.516 * [approximate]: Taking taylor expansion of (/ (- x y) z) in (x y z) around 0 2.516 * [taylor]: Taking taylor expansion of (/ (- x y) z) in z 2.516 * [taylor]: Taking taylor expansion of (- x y) in z 2.516 * [taylor]: Taking taylor expansion of x in z 2.516 * [backup-simplify]: Simplify x into x 2.516 * [taylor]: Taking taylor expansion of y in z 2.516 * [backup-simplify]: Simplify y into y 2.516 * [taylor]: Taking taylor expansion of z in z 2.516 * [backup-simplify]: Simplify 0 into 0 2.516 * [backup-simplify]: Simplify 1 into 1 2.516 * [backup-simplify]: Simplify (- y) into (- y) 2.516 * [backup-simplify]: Simplify (+ x (- y)) into (- x y) 2.516 * [backup-simplify]: Simplify (/ (- x y) 1) into (- x y) 2.516 * [taylor]: Taking taylor expansion of (/ (- x y) z) in y 2.516 * [taylor]: Taking taylor expansion of (- x y) in y 2.516 * [taylor]: Taking taylor expansion of x in y 2.516 * [backup-simplify]: Simplify x into x 2.516 * [taylor]: Taking taylor expansion of y in y 2.516 * [backup-simplify]: Simplify 0 into 0 2.516 * [backup-simplify]: Simplify 1 into 1 2.516 * [taylor]: Taking taylor expansion of z in y 2.516 * [backup-simplify]: Simplify z into z 2.516 * [backup-simplify]: Simplify (- 0) into 0 2.516 * [backup-simplify]: Simplify (+ x 0) into x 2.516 * [backup-simplify]: Simplify (/ x z) into (/ x z) 2.517 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x 2.517 * [taylor]: Taking taylor expansion of (- x y) in x 2.517 * [taylor]: Taking taylor expansion of x in x 2.517 * [backup-simplify]: Simplify 0 into 0 2.517 * [backup-simplify]: Simplify 1 into 1 2.517 * [taylor]: Taking taylor expansion of y in x 2.517 * [backup-simplify]: Simplify y into y 2.517 * [taylor]: Taking taylor expansion of z in x 2.517 * [backup-simplify]: Simplify z into z 2.517 * [backup-simplify]: Simplify (- y) into (- y) 2.517 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 2.517 * [backup-simplify]: Simplify (/ (- y) z) into (* -1 (/ y z)) 2.517 * [taylor]: Taking taylor expansion of (/ (- x y) z) in x 2.517 * [taylor]: Taking taylor expansion of (- x y) in x 2.517 * [taylor]: Taking taylor expansion of x in x 2.517 * [backup-simplify]: Simplify 0 into 0 2.517 * [backup-simplify]: Simplify 1 into 1 2.517 * [taylor]: Taking taylor expansion of y in x 2.517 * [backup-simplify]: Simplify y into y 2.517 * [taylor]: Taking taylor expansion of z in x 2.517 * [backup-simplify]: Simplify z into z 2.517 * [backup-simplify]: Simplify (- y) into (- y) 2.517 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 2.517 * [backup-simplify]: Simplify (/ (- y) z) into (* -1 (/ y z)) 2.517 * [taylor]: Taking taylor expansion of (* -1 (/ y z)) in y 2.517 * [taylor]: Taking taylor expansion of -1 in y 2.517 * [backup-simplify]: Simplify -1 into -1 2.517 * [taylor]: Taking taylor expansion of (/ y z) in y 2.517 * [taylor]: Taking taylor expansion of y in y 2.517 * [backup-simplify]: Simplify 0 into 0 2.517 * [backup-simplify]: Simplify 1 into 1 2.517 * [taylor]: Taking taylor expansion of z in y 2.517 * [backup-simplify]: Simplify z into z 2.517 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.517 * [backup-simplify]: Simplify (- 0) into 0 2.518 * [backup-simplify]: Simplify (+ 1 0) into 1 2.518 * [backup-simplify]: Simplify (- (/ 1 z) (+ (* (* -1 (/ y z)) (/ 0 z)))) into (/ 1 z) 2.518 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.518 * [taylor]: Taking taylor expansion of z in y 2.518 * [backup-simplify]: Simplify z into z 2.518 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.518 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.518 * [taylor]: Taking taylor expansion of z in z 2.518 * [backup-simplify]: Simplify 0 into 0 2.518 * [backup-simplify]: Simplify 1 into 1 2.518 * [backup-simplify]: Simplify (/ 1 1) into 1 2.518 * [backup-simplify]: Simplify 1 into 1 2.518 * [backup-simplify]: Simplify (* -1 (/ 1 z)) into (/ -1 z) 2.518 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.518 * [taylor]: Taking taylor expansion of -1 in z 2.518 * [backup-simplify]: Simplify -1 into -1 2.518 * [taylor]: Taking taylor expansion of z in z 2.518 * [backup-simplify]: Simplify 0 into 0 2.518 * [backup-simplify]: Simplify 1 into 1 2.519 * [backup-simplify]: Simplify (/ -1 1) into -1 2.519 * [backup-simplify]: Simplify -1 into -1 2.519 * [backup-simplify]: Simplify (- 0) into 0 2.519 * [backup-simplify]: Simplify (+ 0 0) into 0 2.519 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ y z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)))) into 0 2.519 * [taylor]: Taking taylor expansion of 0 in y 2.519 * [backup-simplify]: Simplify 0 into 0 2.519 * [taylor]: Taking taylor expansion of 0 in z 2.519 * [backup-simplify]: Simplify 0 into 0 2.519 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 2.519 * [taylor]: Taking taylor expansion of 0 in z 2.519 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 2.520 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 z))) into 0 2.520 * [taylor]: Taking taylor expansion of 0 in z 2.520 * [backup-simplify]: Simplify 0 into 0 2.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.520 * [backup-simplify]: Simplify 0 into 0 2.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.521 * [backup-simplify]: Simplify 0 into 0 2.521 * [backup-simplify]: Simplify (- 0) into 0 2.521 * [backup-simplify]: Simplify (+ 0 0) into 0 2.522 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (* -1 (/ y z)) (/ 0 z)) (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.522 * [taylor]: Taking taylor expansion of 0 in y 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [taylor]: Taking taylor expansion of 0 in z 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [taylor]: Taking taylor expansion of 0 in z 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.522 * [taylor]: Taking taylor expansion of 0 in z 2.522 * [backup-simplify]: Simplify 0 into 0 2.522 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 2.522 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 z)))) into 0 2.523 * [taylor]: Taking taylor expansion of 0 in z 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.523 * [backup-simplify]: Simplify 0 into 0 2.523 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 z) (* y 1))) (* 1 (* (/ 1 z) (* 1 x)))) into (- (/ x z) (/ y z)) 2.523 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (/ 1 z)) into (* z (- (/ 1 x) (/ 1 y))) 2.523 * [approximate]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in (x y z) around 0 2.523 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in z 2.523 * [taylor]: Taking taylor expansion of z in z 2.523 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 1 into 1 2.524 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 2.524 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.524 * [taylor]: Taking taylor expansion of x in z 2.524 * [backup-simplify]: Simplify x into x 2.524 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.524 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.524 * [taylor]: Taking taylor expansion of y in z 2.524 * [backup-simplify]: Simplify y into y 2.524 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.524 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in y 2.524 * [taylor]: Taking taylor expansion of z in y 2.524 * [backup-simplify]: Simplify z into z 2.524 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 2.524 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.524 * [taylor]: Taking taylor expansion of x in y 2.524 * [backup-simplify]: Simplify x into x 2.524 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.524 * [taylor]: Taking taylor expansion of y in y 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 1 into 1 2.524 * [backup-simplify]: Simplify (/ 1 1) into 1 2.524 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x 2.524 * [taylor]: Taking taylor expansion of z in x 2.524 * [backup-simplify]: Simplify z into z 2.524 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 2.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.524 * [taylor]: Taking taylor expansion of x in x 2.524 * [backup-simplify]: Simplify 0 into 0 2.524 * [backup-simplify]: Simplify 1 into 1 2.524 * [backup-simplify]: Simplify (/ 1 1) into 1 2.524 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.524 * [taylor]: Taking taylor expansion of y in x 2.525 * [backup-simplify]: Simplify y into y 2.525 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.525 * [taylor]: Taking taylor expansion of (* z (- (/ 1 x) (/ 1 y))) in x 2.525 * [taylor]: Taking taylor expansion of z in x 2.525 * [backup-simplify]: Simplify z into z 2.525 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 2.525 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.525 * [taylor]: Taking taylor expansion of x in x 2.525 * [backup-simplify]: Simplify 0 into 0 2.525 * [backup-simplify]: Simplify 1 into 1 2.525 * [backup-simplify]: Simplify (/ 1 1) into 1 2.525 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.525 * [taylor]: Taking taylor expansion of y in x 2.525 * [backup-simplify]: Simplify y into y 2.525 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.525 * [backup-simplify]: Simplify (+ 1 0) into 1 2.525 * [backup-simplify]: Simplify (* z 1) into z 2.525 * [taylor]: Taking taylor expansion of z in y 2.525 * [backup-simplify]: Simplify z into z 2.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.526 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 2.526 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 2.526 * [backup-simplify]: Simplify (+ (* z (- (/ 1 y))) (* 0 1)) into (- (/ z y)) 2.526 * [taylor]: Taking taylor expansion of (- (/ z y)) in y 2.526 * [taylor]: Taking taylor expansion of (/ z y) in y 2.526 * [taylor]: Taking taylor expansion of z in y 2.526 * [backup-simplify]: Simplify z into z 2.526 * [taylor]: Taking taylor expansion of y in y 2.526 * [backup-simplify]: Simplify 0 into 0 2.526 * [backup-simplify]: Simplify 1 into 1 2.526 * [backup-simplify]: Simplify (/ z 1) into z 2.527 * [backup-simplify]: Simplify (- z) into (- z) 2.527 * [taylor]: Taking taylor expansion of (- z) in z 2.527 * [taylor]: Taking taylor expansion of z in z 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 1 into 1 2.527 * [backup-simplify]: Simplify (- 0) into 0 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [taylor]: Taking taylor expansion of z in z 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify 1 into 1 2.527 * [backup-simplify]: Simplify 0 into 0 2.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.528 * [backup-simplify]: Simplify (- 0) into 0 2.528 * [backup-simplify]: Simplify (+ 0 0) into 0 2.528 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 2.528 * [taylor]: Taking taylor expansion of 0 in y 2.528 * [backup-simplify]: Simplify 0 into 0 2.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.529 * [backup-simplify]: Simplify (- 0) into 0 2.529 * [taylor]: Taking taylor expansion of 0 in z 2.529 * [backup-simplify]: Simplify 0 into 0 2.529 * [backup-simplify]: Simplify 0 into 0 2.529 * [taylor]: Taking taylor expansion of 0 in z 2.529 * [backup-simplify]: Simplify 0 into 0 2.529 * [backup-simplify]: Simplify 0 into 0 2.530 * [backup-simplify]: Simplify (- 1) into -1 2.530 * [backup-simplify]: Simplify -1 into -1 2.530 * [backup-simplify]: Simplify 1 into 1 2.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.531 * [backup-simplify]: Simplify (- 0) into 0 2.531 * [backup-simplify]: Simplify (+ 0 0) into 0 2.532 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 2.532 * [taylor]: Taking taylor expansion of 0 in y 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [taylor]: Taking taylor expansion of 0 in z 2.532 * [backup-simplify]: Simplify 0 into 0 2.532 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.533 * [backup-simplify]: Simplify (- 0) into 0 2.533 * [taylor]: Taking taylor expansion of 0 in z 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [taylor]: Taking taylor expansion of 0 in z 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify (- 0) into 0 2.533 * [backup-simplify]: Simplify 0 into 0 2.533 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (* -1 (* (/ 1 z) (* (/ 1 (/ 1 y)) 1)))) into (- (/ x z) (/ y z)) 2.534 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) into (* -1 (* (- (/ 1 y) (/ 1 x)) z)) 2.534 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in (x y z) around 0 2.534 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in z 2.534 * [taylor]: Taking taylor expansion of -1 in z 2.534 * [backup-simplify]: Simplify -1 into -1 2.534 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in z 2.534 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 2.534 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.534 * [taylor]: Taking taylor expansion of y in z 2.534 * [backup-simplify]: Simplify y into y 2.534 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.534 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.534 * [taylor]: Taking taylor expansion of x in z 2.534 * [backup-simplify]: Simplify x into x 2.534 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.534 * [taylor]: Taking taylor expansion of z in z 2.534 * [backup-simplify]: Simplify 0 into 0 2.534 * [backup-simplify]: Simplify 1 into 1 2.534 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in y 2.534 * [taylor]: Taking taylor expansion of -1 in y 2.534 * [backup-simplify]: Simplify -1 into -1 2.534 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in y 2.534 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 2.534 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.534 * [taylor]: Taking taylor expansion of y in y 2.534 * [backup-simplify]: Simplify 0 into 0 2.534 * [backup-simplify]: Simplify 1 into 1 2.534 * [backup-simplify]: Simplify (/ 1 1) into 1 2.534 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.534 * [taylor]: Taking taylor expansion of x in y 2.534 * [backup-simplify]: Simplify x into x 2.534 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.534 * [taylor]: Taking taylor expansion of z in y 2.534 * [backup-simplify]: Simplify z into z 2.534 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x 2.534 * [taylor]: Taking taylor expansion of -1 in x 2.534 * [backup-simplify]: Simplify -1 into -1 2.534 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 2.534 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 2.534 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.534 * [taylor]: Taking taylor expansion of y in x 2.534 * [backup-simplify]: Simplify y into y 2.535 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.535 * [taylor]: Taking taylor expansion of x in x 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 1 into 1 2.535 * [backup-simplify]: Simplify (/ 1 1) into 1 2.535 * [taylor]: Taking taylor expansion of z in x 2.535 * [backup-simplify]: Simplify z into z 2.535 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) z)) in x 2.535 * [taylor]: Taking taylor expansion of -1 in x 2.535 * [backup-simplify]: Simplify -1 into -1 2.535 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) z) in x 2.535 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 2.535 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.535 * [taylor]: Taking taylor expansion of y in x 2.535 * [backup-simplify]: Simplify y into y 2.535 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.535 * [taylor]: Taking taylor expansion of x in x 2.535 * [backup-simplify]: Simplify 0 into 0 2.535 * [backup-simplify]: Simplify 1 into 1 2.535 * [backup-simplify]: Simplify (/ 1 1) into 1 2.535 * [taylor]: Taking taylor expansion of z in x 2.535 * [backup-simplify]: Simplify z into z 2.536 * [backup-simplify]: Simplify (- 1) into -1 2.536 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.536 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 2.536 * [backup-simplify]: Simplify (* -1 (* -1 z)) into z 2.536 * [taylor]: Taking taylor expansion of z in y 2.536 * [backup-simplify]: Simplify z into z 2.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.537 * [backup-simplify]: Simplify (- 0) into 0 2.537 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 2.537 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) z)) into (/ z y) 2.537 * [backup-simplify]: Simplify (+ (* -1 (/ z y)) (* 0 (* -1 z))) into (- (/ z y)) 2.537 * [taylor]: Taking taylor expansion of (- (/ z y)) in y 2.537 * [taylor]: Taking taylor expansion of (/ z y) in y 2.537 * [taylor]: Taking taylor expansion of z in y 2.537 * [backup-simplify]: Simplify z into z 2.537 * [taylor]: Taking taylor expansion of y in y 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [backup-simplify]: Simplify 1 into 1 2.537 * [backup-simplify]: Simplify (/ z 1) into z 2.537 * [backup-simplify]: Simplify (- z) into (- z) 2.537 * [taylor]: Taking taylor expansion of (- z) in z 2.537 * [taylor]: Taking taylor expansion of z in z 2.537 * [backup-simplify]: Simplify 0 into 0 2.537 * [backup-simplify]: Simplify 1 into 1 2.538 * [backup-simplify]: Simplify (- 0) into 0 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [taylor]: Taking taylor expansion of z in z 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify 1 into 1 2.538 * [backup-simplify]: Simplify 0 into 0 2.538 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.539 * [backup-simplify]: Simplify (- 0) into 0 2.540 * [backup-simplify]: Simplify (+ 0 0) into 0 2.540 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 z))) into 0 2.541 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ z y)) (* 0 (* -1 z)))) into 0 2.541 * [taylor]: Taking taylor expansion of 0 in y 2.541 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.542 * [backup-simplify]: Simplify (- 0) into 0 2.542 * [taylor]: Taking taylor expansion of 0 in z 2.542 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify 0 into 0 2.542 * [taylor]: Taking taylor expansion of 0 in z 2.542 * [backup-simplify]: Simplify 0 into 0 2.542 * [backup-simplify]: Simplify 0 into 0 2.543 * [backup-simplify]: Simplify (- 1) into -1 2.543 * [backup-simplify]: Simplify -1 into -1 2.543 * [backup-simplify]: Simplify 1 into 1 2.543 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.544 * [backup-simplify]: Simplify (- 0) into 0 2.545 * [backup-simplify]: Simplify (+ 0 0) into 0 2.546 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 z)))) into 0 2.547 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ z y)) (* 0 (* -1 z))))) into 0 2.547 * [taylor]: Taking taylor expansion of 0 in y 2.547 * [backup-simplify]: Simplify 0 into 0 2.547 * [taylor]: Taking taylor expansion of 0 in z 2.547 * [backup-simplify]: Simplify 0 into 0 2.547 * [backup-simplify]: Simplify 0 into 0 2.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.549 * [backup-simplify]: Simplify (- 0) into 0 2.549 * [taylor]: Taking taylor expansion of 0 in z 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [taylor]: Taking taylor expansion of 0 in z 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify 0 into 0 2.549 * [backup-simplify]: Simplify 0 into 0 2.550 * [backup-simplify]: Simplify (- 0) into 0 2.550 * [backup-simplify]: Simplify 0 into 0 2.550 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1)))) into (- (/ x z) (/ y z)) 2.550 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.550 * [backup-simplify]: Simplify (- (* 4.0 (/ (- x y) z)) 2.0) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) 2.550 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) in (x y z) around 0 2.550 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) in z 2.550 * [taylor]: Taking taylor expansion of (* 4.0 (/ x z)) in z 2.550 * [taylor]: Taking taylor expansion of 4.0 in z 2.550 * [backup-simplify]: Simplify 4.0 into 4.0 2.550 * [taylor]: Taking taylor expansion of (/ x z) in z 2.550 * [taylor]: Taking taylor expansion of x in z 2.551 * [backup-simplify]: Simplify x into x 2.551 * [taylor]: Taking taylor expansion of z in z 2.551 * [backup-simplify]: Simplify 0 into 0 2.551 * [backup-simplify]: Simplify 1 into 1 2.551 * [backup-simplify]: Simplify (/ x 1) into x 2.551 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y z)) 2.0) in z 2.551 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in z 2.551 * [taylor]: Taking taylor expansion of 4.0 in z 2.551 * [backup-simplify]: Simplify 4.0 into 4.0 2.551 * [taylor]: Taking taylor expansion of (/ y z) in z 2.551 * [taylor]: Taking taylor expansion of y in z 2.551 * [backup-simplify]: Simplify y into y 2.551 * [taylor]: Taking taylor expansion of z in z 2.551 * [backup-simplify]: Simplify 0 into 0 2.551 * [backup-simplify]: Simplify 1 into 1 2.551 * [backup-simplify]: Simplify (/ y 1) into y 2.551 * [taylor]: Taking taylor expansion of 2.0 in z 2.551 * [backup-simplify]: Simplify 2.0 into 2.0 2.551 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) in y 2.551 * [taylor]: Taking taylor expansion of (* 4.0 (/ x z)) in y 2.551 * [taylor]: Taking taylor expansion of 4.0 in y 2.551 * [backup-simplify]: Simplify 4.0 into 4.0 2.551 * [taylor]: Taking taylor expansion of (/ x z) in y 2.551 * [taylor]: Taking taylor expansion of x in y 2.551 * [backup-simplify]: Simplify x into x 2.551 * [taylor]: Taking taylor expansion of z in y 2.551 * [backup-simplify]: Simplify z into z 2.551 * [backup-simplify]: Simplify (/ x z) into (/ x z) 2.551 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y z)) 2.0) in y 2.551 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 2.551 * [taylor]: Taking taylor expansion of 4.0 in y 2.551 * [backup-simplify]: Simplify 4.0 into 4.0 2.551 * [taylor]: Taking taylor expansion of (/ y z) in y 2.552 * [taylor]: Taking taylor expansion of y in y 2.552 * [backup-simplify]: Simplify 0 into 0 2.552 * [backup-simplify]: Simplify 1 into 1 2.552 * [taylor]: Taking taylor expansion of z in y 2.552 * [backup-simplify]: Simplify z into z 2.552 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.552 * [taylor]: Taking taylor expansion of 2.0 in y 2.552 * [backup-simplify]: Simplify 2.0 into 2.0 2.552 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) in x 2.552 * [taylor]: Taking taylor expansion of (* 4.0 (/ x z)) in x 2.552 * [taylor]: Taking taylor expansion of 4.0 in x 2.552 * [backup-simplify]: Simplify 4.0 into 4.0 2.552 * [taylor]: Taking taylor expansion of (/ x z) in x 2.552 * [taylor]: Taking taylor expansion of x in x 2.552 * [backup-simplify]: Simplify 0 into 0 2.552 * [backup-simplify]: Simplify 1 into 1 2.552 * [taylor]: Taking taylor expansion of z in x 2.552 * [backup-simplify]: Simplify z into z 2.552 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.552 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y z)) 2.0) in x 2.552 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 2.552 * [taylor]: Taking taylor expansion of 4.0 in x 2.552 * [backup-simplify]: Simplify 4.0 into 4.0 2.552 * [taylor]: Taking taylor expansion of (/ y z) in x 2.552 * [taylor]: Taking taylor expansion of y in x 2.552 * [backup-simplify]: Simplify y into y 2.552 * [taylor]: Taking taylor expansion of z in x 2.552 * [backup-simplify]: Simplify z into z 2.552 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.552 * [taylor]: Taking taylor expansion of 2.0 in x 2.552 * [backup-simplify]: Simplify 2.0 into 2.0 2.553 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) in x 2.553 * [taylor]: Taking taylor expansion of (* 4.0 (/ x z)) in x 2.553 * [taylor]: Taking taylor expansion of 4.0 in x 2.553 * [backup-simplify]: Simplify 4.0 into 4.0 2.553 * [taylor]: Taking taylor expansion of (/ x z) in x 2.553 * [taylor]: Taking taylor expansion of x in x 2.553 * [backup-simplify]: Simplify 0 into 0 2.553 * [backup-simplify]: Simplify 1 into 1 2.553 * [taylor]: Taking taylor expansion of z in x 2.553 * [backup-simplify]: Simplify z into z 2.553 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.553 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y z)) 2.0) in x 2.553 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in x 2.553 * [taylor]: Taking taylor expansion of 4.0 in x 2.553 * [backup-simplify]: Simplify 4.0 into 4.0 2.553 * [taylor]: Taking taylor expansion of (/ y z) in x 2.553 * [taylor]: Taking taylor expansion of y in x 2.553 * [backup-simplify]: Simplify y into y 2.553 * [taylor]: Taking taylor expansion of z in x 2.553 * [backup-simplify]: Simplify z into z 2.553 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.553 * [taylor]: Taking taylor expansion of 2.0 in x 2.553 * [backup-simplify]: Simplify 2.0 into 2.0 2.553 * [backup-simplify]: Simplify (* 4.0 (/ y z)) into (* 4.0 (/ y z)) 2.554 * [backup-simplify]: Simplify (+ (* 4.0 (/ y z)) 2.0) into (+ (* 4.0 (/ y z)) 2.0) 2.554 * [backup-simplify]: Simplify (- (+ (* 4.0 (/ y z)) 2.0)) into (- (+ (* 4.0 (/ y z)) 2.0)) 2.554 * [backup-simplify]: Simplify (+ 0 (- (+ (* 4.0 (/ y z)) 2.0))) into (- (+ (* 4.0 (/ y z)) 2.0)) 2.554 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ y z)) 2.0)) in y 2.554 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ y z)) 2.0) in y 2.554 * [taylor]: Taking taylor expansion of (* 4.0 (/ y z)) in y 2.554 * [taylor]: Taking taylor expansion of 4.0 in y 2.554 * [backup-simplify]: Simplify 4.0 into 4.0 2.554 * [taylor]: Taking taylor expansion of (/ y z) in y 2.554 * [taylor]: Taking taylor expansion of y in y 2.554 * [backup-simplify]: Simplify 0 into 0 2.554 * [backup-simplify]: Simplify 1 into 1 2.554 * [taylor]: Taking taylor expansion of z in y 2.554 * [backup-simplify]: Simplify z into z 2.554 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.554 * [taylor]: Taking taylor expansion of 2.0 in y 2.554 * [backup-simplify]: Simplify 2.0 into 2.0 2.555 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.555 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.555 * [taylor]: Taking taylor expansion of (- 2.0) in z 2.556 * [taylor]: Taking taylor expansion of 2.0 in z 2.556 * [backup-simplify]: Simplify 2.0 into 2.0 2.556 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z) 2.556 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0 2.556 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ y z))) into 0 2.557 * [backup-simplify]: Simplify (+ 0 0) into 0 2.557 * [backup-simplify]: Simplify (- 0) into 0 2.557 * [backup-simplify]: Simplify (+ (/ 4.0 z) 0) into (* 4.0 (/ 1 z)) 2.557 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in y 2.557 * [taylor]: Taking taylor expansion of 4.0 in y 2.557 * [backup-simplify]: Simplify 4.0 into 4.0 2.557 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.557 * [taylor]: Taking taylor expansion of z in y 2.557 * [backup-simplify]: Simplify z into z 2.557 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.558 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z) 2.558 * [taylor]: Taking taylor expansion of (/ 4.0 z) in z 2.558 * [taylor]: Taking taylor expansion of 4.0 in z 2.558 * [backup-simplify]: Simplify 4.0 into 4.0 2.558 * [taylor]: Taking taylor expansion of z in z 2.558 * [backup-simplify]: Simplify 0 into 0 2.558 * [backup-simplify]: Simplify 1 into 1 2.558 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0 2.558 * [backup-simplify]: Simplify 4.0 into 4.0 2.558 * [backup-simplify]: Simplify (* 4.0 (/ 1 z)) into (/ 4.0 z) 2.559 * [backup-simplify]: Simplify (+ (/ 4.0 z) 0) into (* 4.0 (/ 1 z)) 2.559 * [backup-simplify]: Simplify (- (* 4.0 (/ 1 z))) into (- (* 4.0 (/ 1 z))) 2.559 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 z))) in z 2.559 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 z)) in z 2.559 * [taylor]: Taking taylor expansion of 4.0 in z 2.559 * [backup-simplify]: Simplify 4.0 into 4.0 2.559 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.559 * [taylor]: Taking taylor expansion of z in z 2.559 * [backup-simplify]: Simplify 0 into 0 2.559 * [backup-simplify]: Simplify 1 into 1 2.559 * [backup-simplify]: Simplify (/ 1 1) into 1 2.560 * [backup-simplify]: Simplify (* 4.0 1) into 4.0 2.560 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.561 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.561 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.561 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.563 * [backup-simplify]: Simplify (+ (- 2.0) (+ (* (- 4.0) (* (/ 1 z) (* y 1))) (* 4.0 (* (/ 1 z) (* 1 x))))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) 2.563 * [backup-simplify]: Simplify (- (* 4.0 (/ (- (/ 1 x) (/ 1 y)) (/ 1 z))) 2.0) into (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) 2.563 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in (x y z) around 0 2.563 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in z 2.563 * [taylor]: Taking taylor expansion of (* 4.0 (/ z x)) in z 2.563 * [taylor]: Taking taylor expansion of 4.0 in z 2.563 * [backup-simplify]: Simplify 4.0 into 4.0 2.563 * [taylor]: Taking taylor expansion of (/ z x) in z 2.563 * [taylor]: Taking taylor expansion of z in z 2.563 * [backup-simplify]: Simplify 0 into 0 2.563 * [backup-simplify]: Simplify 1 into 1 2.563 * [taylor]: Taking taylor expansion of x in z 2.563 * [backup-simplify]: Simplify x into x 2.563 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.563 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in z 2.563 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 2.563 * [taylor]: Taking taylor expansion of 4.0 in z 2.563 * [backup-simplify]: Simplify 4.0 into 4.0 2.563 * [taylor]: Taking taylor expansion of (/ z y) in z 2.563 * [taylor]: Taking taylor expansion of z in z 2.563 * [backup-simplify]: Simplify 0 into 0 2.563 * [backup-simplify]: Simplify 1 into 1 2.563 * [taylor]: Taking taylor expansion of y in z 2.563 * [backup-simplify]: Simplify y into y 2.564 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.564 * [taylor]: Taking taylor expansion of 2.0 in z 2.564 * [backup-simplify]: Simplify 2.0 into 2.0 2.564 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in y 2.564 * [taylor]: Taking taylor expansion of (* 4.0 (/ z x)) in y 2.564 * [taylor]: Taking taylor expansion of 4.0 in y 2.564 * [backup-simplify]: Simplify 4.0 into 4.0 2.564 * [taylor]: Taking taylor expansion of (/ z x) in y 2.564 * [taylor]: Taking taylor expansion of z in y 2.564 * [backup-simplify]: Simplify z into z 2.564 * [taylor]: Taking taylor expansion of x in y 2.564 * [backup-simplify]: Simplify x into x 2.564 * [backup-simplify]: Simplify (/ z x) into (/ z x) 2.564 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y 2.564 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 2.564 * [taylor]: Taking taylor expansion of 4.0 in y 2.564 * [backup-simplify]: Simplify 4.0 into 4.0 2.564 * [taylor]: Taking taylor expansion of (/ z y) in y 2.564 * [taylor]: Taking taylor expansion of z in y 2.564 * [backup-simplify]: Simplify z into z 2.564 * [taylor]: Taking taylor expansion of y in y 2.564 * [backup-simplify]: Simplify 0 into 0 2.564 * [backup-simplify]: Simplify 1 into 1 2.564 * [backup-simplify]: Simplify (/ z 1) into z 2.564 * [taylor]: Taking taylor expansion of 2.0 in y 2.564 * [backup-simplify]: Simplify 2.0 into 2.0 2.564 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in x 2.564 * [taylor]: Taking taylor expansion of (* 4.0 (/ z x)) in x 2.564 * [taylor]: Taking taylor expansion of 4.0 in x 2.564 * [backup-simplify]: Simplify 4.0 into 4.0 2.564 * [taylor]: Taking taylor expansion of (/ z x) in x 2.564 * [taylor]: Taking taylor expansion of z in x 2.564 * [backup-simplify]: Simplify z into z 2.564 * [taylor]: Taking taylor expansion of x in x 2.565 * [backup-simplify]: Simplify 0 into 0 2.565 * [backup-simplify]: Simplify 1 into 1 2.565 * [backup-simplify]: Simplify (/ z 1) into z 2.565 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in x 2.565 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 2.565 * [taylor]: Taking taylor expansion of 4.0 in x 2.565 * [backup-simplify]: Simplify 4.0 into 4.0 2.565 * [taylor]: Taking taylor expansion of (/ z y) in x 2.565 * [taylor]: Taking taylor expansion of z in x 2.565 * [backup-simplify]: Simplify z into z 2.565 * [taylor]: Taking taylor expansion of y in x 2.565 * [backup-simplify]: Simplify y into y 2.565 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.565 * [taylor]: Taking taylor expansion of 2.0 in x 2.565 * [backup-simplify]: Simplify 2.0 into 2.0 2.565 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in x 2.565 * [taylor]: Taking taylor expansion of (* 4.0 (/ z x)) in x 2.565 * [taylor]: Taking taylor expansion of 4.0 in x 2.565 * [backup-simplify]: Simplify 4.0 into 4.0 2.565 * [taylor]: Taking taylor expansion of (/ z x) in x 2.565 * [taylor]: Taking taylor expansion of z in x 2.565 * [backup-simplify]: Simplify z into z 2.565 * [taylor]: Taking taylor expansion of x in x 2.565 * [backup-simplify]: Simplify 0 into 0 2.565 * [backup-simplify]: Simplify 1 into 1 2.565 * [backup-simplify]: Simplify (/ z 1) into z 2.565 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in x 2.565 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 2.565 * [taylor]: Taking taylor expansion of 4.0 in x 2.565 * [backup-simplify]: Simplify 4.0 into 4.0 2.565 * [taylor]: Taking taylor expansion of (/ z y) in x 2.565 * [taylor]: Taking taylor expansion of z in x 2.565 * [backup-simplify]: Simplify z into z 2.565 * [taylor]: Taking taylor expansion of y in x 2.565 * [backup-simplify]: Simplify y into y 2.566 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.566 * [taylor]: Taking taylor expansion of 2.0 in x 2.566 * [backup-simplify]: Simplify 2.0 into 2.0 2.566 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 2.566 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z) 2.566 * [taylor]: Taking taylor expansion of (* 4.0 z) in y 2.566 * [taylor]: Taking taylor expansion of 4.0 in y 2.566 * [backup-simplify]: Simplify 4.0 into 4.0 2.566 * [taylor]: Taking taylor expansion of z in y 2.566 * [backup-simplify]: Simplify z into z 2.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.567 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 2.568 * [backup-simplify]: Simplify (* 4.0 (/ z y)) into (* 4.0 (/ z y)) 2.568 * [backup-simplify]: Simplify (+ (* 4.0 (/ z y)) 2.0) into (+ (* 4.0 (/ z y)) 2.0) 2.568 * [backup-simplify]: Simplify (- (+ (* 4.0 (/ z y)) 2.0)) into (- (+ (* 4.0 (/ z y)) 2.0)) 2.568 * [backup-simplify]: Simplify (+ 0 (- (+ (* 4.0 (/ z y)) 2.0))) into (- (+ (* 4.0 (/ z y)) 2.0)) 2.568 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y 2.568 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y 2.568 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 2.568 * [taylor]: Taking taylor expansion of 4.0 in y 2.568 * [backup-simplify]: Simplify 4.0 into 4.0 2.568 * [taylor]: Taking taylor expansion of (/ z y) in y 2.568 * [taylor]: Taking taylor expansion of z in y 2.568 * [backup-simplify]: Simplify z into z 2.568 * [taylor]: Taking taylor expansion of y in y 2.568 * [backup-simplify]: Simplify 0 into 0 2.568 * [backup-simplify]: Simplify 1 into 1 2.568 * [backup-simplify]: Simplify (/ z 1) into z 2.568 * [taylor]: Taking taylor expansion of 2.0 in y 2.568 * [backup-simplify]: Simplify 2.0 into 2.0 2.569 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 2.569 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z) 2.569 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z)) 2.569 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z 2.569 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 2.569 * [taylor]: Taking taylor expansion of 4.0 in z 2.569 * [backup-simplify]: Simplify 4.0 into 4.0 2.569 * [taylor]: Taking taylor expansion of z in z 2.569 * [backup-simplify]: Simplify 0 into 0 2.569 * [backup-simplify]: Simplify 1 into 1 2.569 * [backup-simplify]: Simplify (* 4.0 0) into 0 2.570 * [backup-simplify]: Simplify (- 0) into 0 2.570 * [backup-simplify]: Simplify 0 into 0 2.570 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 2.570 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 2.570 * [taylor]: Taking taylor expansion of 4.0 in z 2.570 * [backup-simplify]: Simplify 4.0 into 4.0 2.570 * [taylor]: Taking taylor expansion of z in z 2.570 * [backup-simplify]: Simplify 0 into 0 2.570 * [backup-simplify]: Simplify 1 into 1 2.571 * [backup-simplify]: Simplify (* 4.0 0) into 0 2.571 * [backup-simplify]: Simplify 0 into 0 2.572 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.573 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0 2.573 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 2.574 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ z y))) into 0 2.574 * [backup-simplify]: Simplify (+ 0 0) into 0 2.574 * [backup-simplify]: Simplify (- 0) into 0 2.575 * [backup-simplify]: Simplify (+ 0 0) into 0 2.575 * [taylor]: Taking taylor expansion of 0 in y 2.575 * [backup-simplify]: Simplify 0 into 0 2.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.576 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 2.577 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.577 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.577 * [taylor]: Taking taylor expansion of (- 2.0) in z 2.577 * [taylor]: Taking taylor expansion of 2.0 in z 2.577 * [backup-simplify]: Simplify 2.0 into 2.0 2.578 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.578 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.579 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 2.579 * [taylor]: Taking taylor expansion of 0 in z 2.579 * [backup-simplify]: Simplify 0 into 0 2.579 * [backup-simplify]: Simplify 0 into 0 2.580 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 2.581 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.581 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.583 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 2.583 * [backup-simplify]: Simplify 4.0 into 4.0 2.584 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 z) (* 1 (/ 1 (/ 1 x))))) (+ (* (- 4.0) (* (/ 1 z) (* (/ 1 (/ 1 y)) 1))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) 2.584 * [backup-simplify]: Simplify (- (* 4.0 (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z)))) 2.0) into (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) 2.584 * [approximate]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in (x y z) around 0 2.584 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in z 2.584 * [taylor]: Taking taylor expansion of (* 4.0 (/ z x)) in z 2.584 * [taylor]: Taking taylor expansion of 4.0 in z 2.584 * [backup-simplify]: Simplify 4.0 into 4.0 2.584 * [taylor]: Taking taylor expansion of (/ z x) in z 2.584 * [taylor]: Taking taylor expansion of z in z 2.584 * [backup-simplify]: Simplify 0 into 0 2.585 * [backup-simplify]: Simplify 1 into 1 2.585 * [taylor]: Taking taylor expansion of x in z 2.585 * [backup-simplify]: Simplify x into x 2.585 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.585 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in z 2.585 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in z 2.585 * [taylor]: Taking taylor expansion of 4.0 in z 2.585 * [backup-simplify]: Simplify 4.0 into 4.0 2.585 * [taylor]: Taking taylor expansion of (/ z y) in z 2.585 * [taylor]: Taking taylor expansion of z in z 2.585 * [backup-simplify]: Simplify 0 into 0 2.585 * [backup-simplify]: Simplify 1 into 1 2.585 * [taylor]: Taking taylor expansion of y in z 2.585 * [backup-simplify]: Simplify y into y 2.585 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.585 * [taylor]: Taking taylor expansion of 2.0 in z 2.585 * [backup-simplify]: Simplify 2.0 into 2.0 2.585 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in y 2.585 * [taylor]: Taking taylor expansion of (* 4.0 (/ z x)) in y 2.585 * [taylor]: Taking taylor expansion of 4.0 in y 2.585 * [backup-simplify]: Simplify 4.0 into 4.0 2.585 * [taylor]: Taking taylor expansion of (/ z x) in y 2.585 * [taylor]: Taking taylor expansion of z in y 2.585 * [backup-simplify]: Simplify z into z 2.585 * [taylor]: Taking taylor expansion of x in y 2.585 * [backup-simplify]: Simplify x into x 2.585 * [backup-simplify]: Simplify (/ z x) into (/ z x) 2.585 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y 2.585 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 2.585 * [taylor]: Taking taylor expansion of 4.0 in y 2.585 * [backup-simplify]: Simplify 4.0 into 4.0 2.586 * [taylor]: Taking taylor expansion of (/ z y) in y 2.586 * [taylor]: Taking taylor expansion of z in y 2.586 * [backup-simplify]: Simplify z into z 2.586 * [taylor]: Taking taylor expansion of y in y 2.586 * [backup-simplify]: Simplify 0 into 0 2.586 * [backup-simplify]: Simplify 1 into 1 2.586 * [backup-simplify]: Simplify (/ z 1) into z 2.586 * [taylor]: Taking taylor expansion of 2.0 in y 2.586 * [backup-simplify]: Simplify 2.0 into 2.0 2.586 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in x 2.586 * [taylor]: Taking taylor expansion of (* 4.0 (/ z x)) in x 2.586 * [taylor]: Taking taylor expansion of 4.0 in x 2.586 * [backup-simplify]: Simplify 4.0 into 4.0 2.586 * [taylor]: Taking taylor expansion of (/ z x) in x 2.586 * [taylor]: Taking taylor expansion of z in x 2.586 * [backup-simplify]: Simplify z into z 2.586 * [taylor]: Taking taylor expansion of x in x 2.586 * [backup-simplify]: Simplify 0 into 0 2.586 * [backup-simplify]: Simplify 1 into 1 2.586 * [backup-simplify]: Simplify (/ z 1) into z 2.586 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in x 2.586 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 2.586 * [taylor]: Taking taylor expansion of 4.0 in x 2.586 * [backup-simplify]: Simplify 4.0 into 4.0 2.586 * [taylor]: Taking taylor expansion of (/ z y) in x 2.586 * [taylor]: Taking taylor expansion of z in x 2.586 * [backup-simplify]: Simplify z into z 2.586 * [taylor]: Taking taylor expansion of y in x 2.586 * [backup-simplify]: Simplify y into y 2.586 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.586 * [taylor]: Taking taylor expansion of 2.0 in x 2.587 * [backup-simplify]: Simplify 2.0 into 2.0 2.587 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ z x)) (+ (* 4.0 (/ z y)) 2.0)) in x 2.587 * [taylor]: Taking taylor expansion of (* 4.0 (/ z x)) in x 2.587 * [taylor]: Taking taylor expansion of 4.0 in x 2.587 * [backup-simplify]: Simplify 4.0 into 4.0 2.587 * [taylor]: Taking taylor expansion of (/ z x) in x 2.587 * [taylor]: Taking taylor expansion of z in x 2.587 * [backup-simplify]: Simplify z into z 2.587 * [taylor]: Taking taylor expansion of x in x 2.587 * [backup-simplify]: Simplify 0 into 0 2.587 * [backup-simplify]: Simplify 1 into 1 2.587 * [backup-simplify]: Simplify (/ z 1) into z 2.587 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in x 2.587 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in x 2.587 * [taylor]: Taking taylor expansion of 4.0 in x 2.587 * [backup-simplify]: Simplify 4.0 into 4.0 2.587 * [taylor]: Taking taylor expansion of (/ z y) in x 2.587 * [taylor]: Taking taylor expansion of z in x 2.587 * [backup-simplify]: Simplify z into z 2.587 * [taylor]: Taking taylor expansion of y in x 2.587 * [backup-simplify]: Simplify y into y 2.587 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.587 * [taylor]: Taking taylor expansion of 2.0 in x 2.587 * [backup-simplify]: Simplify 2.0 into 2.0 2.587 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 2.587 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z) 2.588 * [taylor]: Taking taylor expansion of (* 4.0 z) in y 2.588 * [taylor]: Taking taylor expansion of 4.0 in y 2.588 * [backup-simplify]: Simplify 4.0 into 4.0 2.588 * [taylor]: Taking taylor expansion of z in y 2.588 * [backup-simplify]: Simplify z into z 2.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.589 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 2.589 * [backup-simplify]: Simplify (* 4.0 (/ z y)) into (* 4.0 (/ z y)) 2.589 * [backup-simplify]: Simplify (+ (* 4.0 (/ z y)) 2.0) into (+ (* 4.0 (/ z y)) 2.0) 2.590 * [backup-simplify]: Simplify (- (+ (* 4.0 (/ z y)) 2.0)) into (- (+ (* 4.0 (/ z y)) 2.0)) 2.590 * [backup-simplify]: Simplify (+ 0 (- (+ (* 4.0 (/ z y)) 2.0))) into (- (+ (* 4.0 (/ z y)) 2.0)) 2.590 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ z y)) 2.0)) in y 2.590 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ z y)) 2.0) in y 2.590 * [taylor]: Taking taylor expansion of (* 4.0 (/ z y)) in y 2.590 * [taylor]: Taking taylor expansion of 4.0 in y 2.590 * [backup-simplify]: Simplify 4.0 into 4.0 2.590 * [taylor]: Taking taylor expansion of (/ z y) in y 2.590 * [taylor]: Taking taylor expansion of z in y 2.590 * [backup-simplify]: Simplify z into z 2.590 * [taylor]: Taking taylor expansion of y in y 2.590 * [backup-simplify]: Simplify 0 into 0 2.590 * [backup-simplify]: Simplify 1 into 1 2.590 * [backup-simplify]: Simplify (/ z 1) into z 2.590 * [taylor]: Taking taylor expansion of 2.0 in y 2.590 * [backup-simplify]: Simplify 2.0 into 2.0 2.590 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 2.591 * [backup-simplify]: Simplify (+ (* 4.0 z) 0) into (* 4.0 z) 2.591 * [backup-simplify]: Simplify (- (* 4.0 z)) into (- (* 4.0 z)) 2.591 * [taylor]: Taking taylor expansion of (- (* 4.0 z)) in z 2.591 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 2.591 * [taylor]: Taking taylor expansion of 4.0 in z 2.591 * [backup-simplify]: Simplify 4.0 into 4.0 2.591 * [taylor]: Taking taylor expansion of z in z 2.591 * [backup-simplify]: Simplify 0 into 0 2.591 * [backup-simplify]: Simplify 1 into 1 2.591 * [backup-simplify]: Simplify (* 4.0 0) into 0 2.592 * [backup-simplify]: Simplify (- 0) into 0 2.592 * [backup-simplify]: Simplify 0 into 0 2.592 * [backup-simplify]: Simplify (* 4.0 z) into (* 4.0 z) 2.592 * [taylor]: Taking taylor expansion of (* 4.0 z) in z 2.592 * [taylor]: Taking taylor expansion of 4.0 in z 2.592 * [backup-simplify]: Simplify 4.0 into 4.0 2.592 * [taylor]: Taking taylor expansion of z in z 2.592 * [backup-simplify]: Simplify 0 into 0 2.592 * [backup-simplify]: Simplify 1 into 1 2.592 * [backup-simplify]: Simplify (* 4.0 0) into 0 2.592 * [backup-simplify]: Simplify 0 into 0 2.594 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.595 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 z))) into 0 2.595 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0 2.596 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 (/ z y))) into 0 2.596 * [backup-simplify]: Simplify (+ 0 0) into 0 2.596 * [backup-simplify]: Simplify (- 0) into 0 2.597 * [backup-simplify]: Simplify (+ 0 0) into 0 2.597 * [taylor]: Taking taylor expansion of 0 in y 2.597 * [backup-simplify]: Simplify 0 into 0 2.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 2.598 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 2.599 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0 2.599 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.599 * [taylor]: Taking taylor expansion of (- 2.0) in z 2.599 * [taylor]: Taking taylor expansion of 2.0 in z 2.599 * [backup-simplify]: Simplify 2.0 into 2.0 2.600 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.600 * [backup-simplify]: Simplify (- 2.0) into (- 2.0) 2.601 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 z)) into 0 2.601 * [taylor]: Taking taylor expansion of 0 in z 2.601 * [backup-simplify]: Simplify 0 into 0 2.601 * [backup-simplify]: Simplify 0 into 0 2.602 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 2.603 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.603 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 2.604 * [backup-simplify]: Simplify (+ (* 4.0 1) (* 0 0)) into 4.0 2.605 * [backup-simplify]: Simplify 4.0 into 4.0 2.606 * [backup-simplify]: Simplify (+ (* 4.0 (* (/ 1 (- z)) (* 1 (/ 1 (/ 1 (- x)))))) (+ (* (- 4.0) (* (/ 1 (- z)) (* (/ 1 (/ 1 (- y))) 1))) (- 2.0))) into (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) 2.606 * * * [progress]: simplifying candidates 2.606 * * * * [progress]: [ 1 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 2 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 3 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 4 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 5 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 6 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 7 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 8 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 9 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 10 / 58 ] simplifiying candidate # 2.606 * * * * [progress]: [ 11 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 12 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 13 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 14 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 15 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 16 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 17 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 18 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 19 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 20 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 21 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 22 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 23 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 24 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 25 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 26 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 27 / 58 ] simplifiying candidate # 2.607 * * * * [progress]: [ 28 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 29 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 30 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 31 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 32 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 33 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 34 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 35 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 36 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 37 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 38 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 39 / 58 ] simplifiying candidate #real (real->posit16 (/ (- x y) z)))) 2.0))> 2.608 * * * * [progress]: [ 40 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 41 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 42 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 43 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 44 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 45 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 46 / 58 ] simplifiying candidate # 2.608 * * * * [progress]: [ 47 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 48 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 49 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 50 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 51 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 52 / 58 ] simplifiying candidate #real (real->posit16 (- (* 4.0 (/ (- x y) z)) 2.0))))> 2.609 * * * * [progress]: [ 53 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 54 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 55 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 56 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 57 / 58 ] simplifiying candidate # 2.609 * * * * [progress]: [ 58 / 58 ] simplifiying candidate # 2.610 * [simplify]: Simplifying: (- (log (- x y)) (log z)) (log (/ (- x y) z)) (exp (/ (- x y) z)) (/ (* (* (- x y) (- x y)) (- x y)) (* (* z z) z)) (* (cbrt (/ (- x y) z)) (cbrt (/ (- x y) z))) (cbrt (/ (- x y) z)) (* (* (/ (- x y) z) (/ (- x y) z)) (/ (- x y) z)) (sqrt (/ (- x y) z)) (sqrt (/ (- x y) z)) (- (- x y)) (- z) (/ x z) (/ y z) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt z) (cbrt z))) (/ (cbrt (- x y)) (cbrt z)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt z)) (/ (cbrt (- x y)) (sqrt z)) (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) (/ (cbrt (- x y)) z) (/ (sqrt (- x y)) (* (cbrt z) (cbrt z))) (/ (sqrt (- x y)) (cbrt z)) (/ (sqrt (- x y)) (sqrt z)) (/ (sqrt (- x y)) (sqrt z)) (/ (sqrt (- x y)) 1) (/ (sqrt (- x y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) (/ 1 1) (/ (- x y) z) (/ (+ (sqrt x) (sqrt y)) (* (cbrt z) (cbrt z))) (/ (- (sqrt x) (sqrt y)) (cbrt z)) (/ (+ (sqrt x) (sqrt y)) (sqrt z)) (/ (- (sqrt x) (sqrt y)) (sqrt z)) (/ (+ (sqrt x) (sqrt y)) 1) (/ (- (sqrt x) (sqrt y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) (/ 1 1) (/ (- x y) z) (/ 1 z) (/ z (- x y)) (/ (- x y) (* (cbrt z) (cbrt z))) (/ (- x y) (sqrt z)) (/ (- x y) 1) (/ z (cbrt (- x y))) (/ z (sqrt (- x y))) (/ z (- x y)) (/ z (- (sqrt x) (sqrt y))) (/ z (- x y)) (* z (+ (* x x) (+ (* y y) (* x y)))) (* z (+ x y)) (real->posit16 (/ (- x y) z)) (/ (exp (* 4.0 (/ (- x y) z))) (exp 2.0)) (log (- (* 4.0 (/ (- x y) z)) 2.0)) (exp (- (* 4.0 (/ (- x y) z)) 2.0)) (* (cbrt (- (* 4.0 (/ (- x y) z)) 2.0)) (cbrt (- (* 4.0 (/ (- x y) z)) 2.0))) (cbrt (- (* 4.0 (/ (- x y) z)) 2.0)) (* (* (- (* 4.0 (/ (- x y) z)) 2.0) (- (* 4.0 (/ (- x y) z)) 2.0)) (- (* 4.0 (/ (- x y) z)) 2.0)) (sqrt (- (* 4.0 (/ (- x y) z)) 2.0)) (sqrt (- (* 4.0 (/ (- x y) z)) 2.0)) (- (pow (* 4.0 (/ (- x y) z)) 3) (pow 2.0 3)) (+ (* (* 4.0 (/ (- x y) z)) (* 4.0 (/ (- x y) z))) (+ (* 2.0 2.0) (* (* 4.0 (/ (- x y) z)) 2.0))) (- 2.0) (- (* (* 4.0 (/ (- x y) z)) (* 4.0 (/ (- x y) z))) (* 2.0 2.0)) (+ (* 4.0 (/ (- x y) z)) 2.0) (- 2.0) (real->posit16 (- (* 4.0 (/ (- x y) z)) 2.0)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- (/ x z) (/ y z)) (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) (- (* 4.0 (/ x z)) (+ (* 4.0 (/ y z)) 2.0)) 2.612 * * [simplify]: iteration 0: 105 enodes 2.631 * * [simplify]: iteration 1: 245 enodes 2.709 * * [simplify]: iteration 2: 801 enodes 3.114 * * [simplify]: iteration complete: 5000 enodes 3.114 * * [simplify]: Extracting #0: cost 56 inf + 0 3.115 * * [simplify]: Extracting #1: cost 513 inf + 1 3.122 * * [simplify]: Extracting #2: cost 1511 inf + 3072 3.148 * * [simplify]: Extracting #3: cost 1277 inf + 90140 3.213 * * [simplify]: Extracting #4: cost 211 inf + 273771 3.292 * * [simplify]: Extracting #5: cost 13 inf + 320278 3.383 * * [simplify]: Extracting #6: cost 0 inf + 323723 3.476 * [simplify]: Simplified to: (log (/ (- x y) z)) (log (/ (- x y) z)) (exp (/ (- x y) z)) (* (* (/ (- x y) z) (/ (- x y) z)) (/ (- x y) z)) (* (cbrt (/ (- x y) z)) (cbrt (/ (- x y) z))) (cbrt (/ (- x y) z)) (* (* (/ (- x y) z) (/ (- x y) z)) (/ (- x y) z)) (sqrt (/ (- x y) z)) (sqrt (/ (- x y) z)) (- (- x y)) (- z) (/ x z) (/ y z) (* (/ (cbrt (- x y)) (cbrt z)) (/ (cbrt (- x y)) (cbrt z))) (/ (cbrt (- x y)) (cbrt z)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt z)) (/ (cbrt (- x y)) (sqrt z)) (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) z) (/ (sqrt (- x y)) (* (cbrt z) (cbrt z))) (/ (sqrt (- x y)) (cbrt z)) (/ (sqrt (- x y)) (sqrt z)) (/ (sqrt (- x y)) (sqrt z)) (sqrt (- x y)) (/ (sqrt (- x y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) 1 (/ (- x y) z) (/ (+ (sqrt x) (sqrt y)) (* (cbrt z) (cbrt z))) (/ (- (sqrt x) (sqrt y)) (cbrt z)) (/ (+ (sqrt x) (sqrt y)) (sqrt z)) (/ (- (sqrt x) (sqrt y)) (sqrt z)) (+ (sqrt x) (sqrt y)) (/ (- (sqrt x) (sqrt y)) z) (/ 1 (* (cbrt z) (cbrt z))) (/ (- x y) (cbrt z)) (/ 1 (sqrt z)) (/ (- x y) (sqrt z)) 1 (/ (- x y) z) (/ 1 z) (/ z (- x y)) (/ (- x y) (* (cbrt z) (cbrt z))) (/ (- x y) (sqrt z)) (- x y) (/ z (cbrt (- x y))) (/ z (sqrt (- x y))) (/ z (- x y)) (/ z (- (sqrt x) (sqrt y))) (/ z (- x y)) (* z (+ (* (+ y x) y) (* x x))) (* z (+ x y)) (real->posit16 (/ (- x y) z)) (exp (- (/ 4.0 (/ z (- x y))) 2.0)) (log (- (/ 4.0 (/ z (- x y))) 2.0)) (exp (- (/ 4.0 (/ z (- x y))) 2.0)) (* (cbrt (- (/ 4.0 (/ z (- x y))) 2.0)) (cbrt (- (/ 4.0 (/ z (- x y))) 2.0))) (cbrt (- (/ 4.0 (/ z (- x y))) 2.0)) (* (- (/ 4.0 (/ z (- x y))) 2.0) (* (- (/ 4.0 (/ z (- x y))) 2.0) (- (/ 4.0 (/ z (- x y))) 2.0))) (sqrt (- (/ 4.0 (/ z (- x y))) 2.0)) (sqrt (- (/ 4.0 (/ z (- x y))) 2.0)) (- (* (/ 4.0 (/ z (- x y))) (* (/ 4.0 (/ z (- x y))) (/ 4.0 (/ z (- x y))))) (* 2.0 (* 2.0 2.0))) (+ (* (+ 2.0 (/ 4.0 (/ z (- x y)))) 2.0) (* (/ 4.0 (/ z (- x y))) (/ 4.0 (/ z (- x y))))) (- 2.0) (* (+ 2.0 (/ 4.0 (/ z (- x y)))) (- (/ 4.0 (/ z (- x y))) 2.0)) (+ 2.0 (/ 4.0 (/ z (- x y)))) (- 2.0) (real->posit16 (- (/ 4.0 (/ z (- x y))) 2.0)) (/ (- x y) z) (/ (- x y) z) (/ (- x y) z) (- (/ 4.0 (/ z (- x y))) 2.0) (- (/ 4.0 (/ z (- x y))) 2.0) (- (/ 4.0 (/ z (- x y))) 2.0) 3.482 * * * [progress]: adding candidates to table 3.715 * [progress]: [Phase 3 of 3] Extracting. 3.715 * * [regime]: Finding splitpoints for: (# #) 3.715 * * * [regime-changes]: Trying 5 branch expressions: ((- x y) (/ (* 4.0 (- (- x y) (* z 0.5))) z) z y x) 3.715 * * * * [regimes]: Trying to branch on (- x y) from (# #) 3.759 * * * * [regimes]: Trying to branch on (/ (* 4.0 (- (- x y) (* z 0.5))) z) from (# #) 3.788 * * * * [regimes]: Trying to branch on z from (# #) 3.812 * * * * [regimes]: Trying to branch on y from (# #) 3.836 * * * * [regimes]: Trying to branch on x from (# #) 3.861 * * * [regime]: Found split indices: #