13.361 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying using # : (+ (* (- 1.0 x) y) (* x z)) 0.028 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.029 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.030 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 0.033 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 0.036 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 0.041 * * [simplify]: iteration 5 : 46 enodes (cost 9 ) 0.051 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 0.059 * * [simplify]: iteration 7 : 78 enodes (cost 9 ) 0.069 * * [simplify]: iteration 8 : 115 enodes (cost 9 ) 0.088 * * [simplify]: iteration 9 : 171 enodes (cost 9 ) 0.114 * * [simplify]: iteration 10 : 237 enodes (cost 9 ) 0.144 * * [simplify]: iteration 11 : 298 enodes (cost 9 ) 0.183 * * [simplify]: iteration 12 : 375 enodes (cost 9 ) 0.235 * * [simplify]: iteration 13 : 444 enodes (cost 9 ) 0.289 * * [simplify]: iteration 14 : 502 enodes (cost 9 ) 0.347 * * [simplify]: iteration 15 : 559 enodes (cost 9 ) 0.413 * * [simplify]: iteration 16 : 617 enodes (cost 9 ) 0.481 * * [simplify]: iteration 17 : 674 enodes (cost 9 ) 0.554 * * [simplify]: iteration 18 : 732 enodes (cost 9 ) 0.635 * * [simplify]: iteration 19 : 789 enodes (cost 9 ) 0.719 * * [simplify]: iteration 20 : 847 enodes (cost 9 ) 0.810 * * [simplify]: iteration 21 : 904 enodes (cost 9 ) 0.909 * * [simplify]: iteration 22 : 962 enodes (cost 9 ) 1.014 * * [simplify]: iteration 23 : 1020 enodes (cost 9 ) 1.124 * * [simplify]: iteration 24 : 1078 enodes (cost 9 ) 1.237 * * [simplify]: iteration 25 : 1136 enodes (cost 9 ) 1.356 * * [simplify]: iteration 26 : 1194 enodes (cost 9 ) 1.482 * * [simplify]: iteration 27 : 1251 enodes (cost 9 ) 1.617 * * [simplify]: iteration 28 : 1309 enodes (cost 9 ) 1.754 * * [simplify]: iteration 29 : 1367 enodes (cost 9 ) 1.899 * * [simplify]: iteration 30 : 1425 enodes (cost 9 ) 2.050 * * [simplify]: iteration 31 : 1483 enodes (cost 9 ) 2.212 * * [simplify]: iteration 32 : 1540 enodes (cost 9 ) 2.376 * * [simplify]: iteration 33 : 1597 enodes (cost 9 ) 2.548 * * [simplify]: iteration 34 : 1655 enodes (cost 9 ) 2.727 * * [simplify]: iteration 35 : 1713 enodes (cost 9 ) 2.918 * * [simplify]: iteration 36 : 1771 enodes (cost 9 ) 3.116 * * [simplify]: iteration 37 : 1829 enodes (cost 9 ) 3.317 * * [simplify]: iteration 38 : 1886 enodes (cost 9 ) 3.525 * * [simplify]: iteration 39 : 1944 enodes (cost 9 ) 3.740 * * [simplify]: iteration 40 : 2001 enodes (cost 9 ) 3.969 * * [simplify]: iteration 41 : 2058 enodes (cost 9 ) 4.196 * * [simplify]: iteration 42 : 2116 enodes (cost 9 ) 4.438 * * [simplify]: iteration 43 : 2174 enodes (cost 9 ) 4.690 * * [simplify]: iteration 44 : 2231 enodes (cost 9 ) 4.948 * * [simplify]: iteration 45 : 2289 enodes (cost 9 ) 5.210 * * [simplify]: iteration 46 : 2347 enodes (cost 9 ) 5.489 * * [simplify]: iteration 47 : 2404 enodes (cost 9 ) 5.768 * * [simplify]: iteration 48 : 2462 enodes (cost 9 ) 6.065 * * [simplify]: iteration 49 : 2520 enodes (cost 9 ) 6.370 * * [simplify]: iteration 50 : 2577 enodes (cost 9 ) 6.685 * * [simplify]: iteration 51 : 2634 enodes (cost 9 ) 7.008 * * [simplify]: iteration 52 : 2692 enodes (cost 9 ) 7.330 * * [simplify]: iteration 53 : 2749 enodes (cost 9 ) 7.666 * * [simplify]: iteration 54 : 2807 enodes (cost 9 ) 8.020 * * [simplify]: iteration 55 : 2864 enodes (cost 9 ) 8.380 * * [simplify]: iteration 56 : 2921 enodes (cost 9 ) 8.743 * * [simplify]: iteration 57 : 2978 enodes (cost 9 ) 9.121 * * [simplify]: iteration 58 : 3035 enodes (cost 9 ) 9.744 * * [simplify]: iteration 59 : 3093 enodes (cost 9 ) 10.132 * * [simplify]: iteration 60 : 3150 enodes (cost 9 ) 10.527 * * [simplify]: iteration 61 : 3208 enodes (cost 9 ) 10.935 * * [simplify]: iteration 62 : 3266 enodes (cost 9 ) 11.360 * * [simplify]: iteration 63 : 3323 enodes (cost 9 ) 11.795 * * [simplify]: iteration 64 : 3380 enodes (cost 9 ) 12.252 * * [simplify]: iteration 65 : 3438 enodes (cost 9 ) 12.712 * * [simplify]: iteration 66 : 3495 enodes (cost 9 ) 13.172 * * [simplify]: iteration 67 : 3552 enodes (cost 9 ) 13.641 * * [simplify]: iteration 68 : 3610 enodes (cost 9 ) 14.137 * * [simplify]: iteration 69 : 3668 enodes (cost 9 ) 14.656 * * [simplify]: iteration 70 : 3725 enodes (cost 9 ) 15.187 * * [simplify]: iteration 71 : 3783 enodes (cost 9 ) 15.720 * * [simplify]: iteration 72 : 3840 enodes (cost 9 ) 16.276 * * [simplify]: iteration 73 : 3897 enodes (cost 9 ) 16.816 * * [simplify]: iteration 74 : 3955 enodes (cost 9 ) 17.382 * * [simplify]: iteration 75 : 4012 enodes (cost 9 ) 17.962 * * [simplify]: iteration 76 : 4069 enodes (cost 9 ) 18.545 * * [simplify]: iteration 77 : 4127 enodes (cost 9 ) 19.156 * * [simplify]: iteration 78 : 4184 enodes (cost 9 ) 19.794 * * [simplify]: iteration 79 : 4241 enodes (cost 9 ) 20.436 * * [simplify]: iteration 80 : 4299 enodes (cost 9 ) 21.078 * * [simplify]: iteration 81 : 4357 enodes (cost 9 ) 21.991 * * [simplify]: iteration 82 : 4415 enodes (cost 9 ) 22.651 * * [simplify]: iteration 83 : 4473 enodes (cost 9 ) 23.326 * * [simplify]: iteration 84 : 4530 enodes (cost 9 ) 24.036 * * [simplify]: iteration 85 : 4587 enodes (cost 9 ) 24.724 * * [simplify]: iteration 86 : 4644 enodes (cost 9 ) 25.481 * * [simplify]: iteration 87 : 4701 enodes (cost 9 ) 26.192 * * [simplify]: iteration 88 : 4758 enodes (cost 9 ) 26.941 * * [simplify]: iteration 89 : 4815 enodes (cost 9 ) 27.704 * * [simplify]: iteration 90 : 4873 enodes (cost 9 ) 28.505 * * [simplify]: iteration 91 : 4931 enodes (cost 9 ) 29.312 * * [simplify]: iteration 92 : 4988 enodes (cost 9 ) 30.057 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 30.057 * [simplify]: Simplified to: (+ (* (- 1.0 x) y) (* x z)) 30.057 * * [progress]: iteration 1 / 4 30.057 * * * [progress]: picking best candidate 30.060 * * * * [pick]: Picked # 30.060 * * * [progress]: localizing error 30.066 * * * [progress]: generating rewritten candidates 30.066 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 30.073 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 30.080 * * * [progress]: generating series expansions 30.080 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 30.080 * [approximate]: Taking taylor expansion of (* (- 1.0 x) y) in (x y) around 0 30.080 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in y 30.080 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 30.080 * [taylor]: Taking taylor expansion of 1.0 in y 30.080 * [taylor]: Taking taylor expansion of x in y 30.080 * [taylor]: Taking taylor expansion of y in y 30.080 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in x 30.080 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 30.080 * [taylor]: Taking taylor expansion of 1.0 in x 30.080 * [taylor]: Taking taylor expansion of x in x 30.080 * [taylor]: Taking taylor expansion of y in x 30.081 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in x 30.081 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 30.081 * [taylor]: Taking taylor expansion of 1.0 in x 30.081 * [taylor]: Taking taylor expansion of x in x 30.081 * [taylor]: Taking taylor expansion of y in x 30.081 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 30.081 * [taylor]: Taking taylor expansion of 1.0 in y 30.081 * [taylor]: Taking taylor expansion of y in y 30.081 * [taylor]: Taking taylor expansion of (neg y) in y 30.081 * [taylor]: Taking taylor expansion of y in y 30.081 * [taylor]: Taking taylor expansion of 0 in y 30.081 * [taylor]: Taking taylor expansion of 0 in y 30.081 * [taylor]: Taking taylor expansion of 0 in y 30.082 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in (x y) around 0 30.082 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 30.082 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 30.082 * [taylor]: Taking taylor expansion of 1.0 in y 30.082 * [taylor]: Taking taylor expansion of (/ 1 x) in y 30.082 * [taylor]: Taking taylor expansion of x in y 30.082 * [taylor]: Taking taylor expansion of y in y 30.082 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 30.082 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 30.082 * [taylor]: Taking taylor expansion of 1.0 in x 30.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.082 * [taylor]: Taking taylor expansion of x in x 30.082 * [taylor]: Taking taylor expansion of y in x 30.082 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 30.082 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 30.082 * [taylor]: Taking taylor expansion of 1.0 in x 30.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.082 * [taylor]: Taking taylor expansion of x in x 30.082 * [taylor]: Taking taylor expansion of y in x 30.082 * [taylor]: Taking taylor expansion of (/ -1 y) in y 30.082 * [taylor]: Taking taylor expansion of -1 in y 30.082 * [taylor]: Taking taylor expansion of y in y 30.082 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 30.082 * [taylor]: Taking taylor expansion of 1.0 in y 30.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.082 * [taylor]: Taking taylor expansion of y in y 30.083 * [taylor]: Taking taylor expansion of 0 in y 30.083 * [taylor]: Taking taylor expansion of 0 in y 30.083 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in (x y) around 0 30.083 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in y 30.083 * [taylor]: Taking taylor expansion of -1 in y 30.083 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 30.083 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 30.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y 30.083 * [taylor]: Taking taylor expansion of x in y 30.083 * [taylor]: Taking taylor expansion of 1.0 in y 30.083 * [taylor]: Taking taylor expansion of y in y 30.084 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in x 30.084 * [taylor]: Taking taylor expansion of -1 in x 30.084 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 30.084 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 30.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.084 * [taylor]: Taking taylor expansion of x in x 30.084 * [taylor]: Taking taylor expansion of 1.0 in x 30.084 * [taylor]: Taking taylor expansion of y in x 30.084 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in x 30.084 * [taylor]: Taking taylor expansion of -1 in x 30.084 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 30.084 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 30.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.084 * [taylor]: Taking taylor expansion of x in x 30.084 * [taylor]: Taking taylor expansion of 1.0 in x 30.084 * [taylor]: Taking taylor expansion of y in x 30.084 * [taylor]: Taking taylor expansion of (/ -1 y) in y 30.084 * [taylor]: Taking taylor expansion of -1 in y 30.084 * [taylor]: Taking taylor expansion of y in y 30.084 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 30.084 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 30.084 * [taylor]: Taking taylor expansion of 1.0 in y 30.084 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.084 * [taylor]: Taking taylor expansion of y in y 30.085 * [taylor]: Taking taylor expansion of 0 in y 30.085 * [taylor]: Taking taylor expansion of 0 in y 30.085 * * * * [progress]: [ 2 / 2 ] generating series at (2) 30.085 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in (x y z) around 0 30.086 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in z 30.086 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in z 30.086 * [taylor]: Taking taylor expansion of (* x z) in z 30.086 * [taylor]: Taking taylor expansion of x in z 30.086 * [taylor]: Taking taylor expansion of z in z 30.086 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 30.086 * [taylor]: Taking taylor expansion of 1.0 in z 30.086 * [taylor]: Taking taylor expansion of y in z 30.086 * [taylor]: Taking taylor expansion of (* x y) in z 30.086 * [taylor]: Taking taylor expansion of x in z 30.086 * [taylor]: Taking taylor expansion of y in z 30.086 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in y 30.086 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in y 30.086 * [taylor]: Taking taylor expansion of (* x z) in y 30.086 * [taylor]: Taking taylor expansion of x in y 30.086 * [taylor]: Taking taylor expansion of z in y 30.086 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 30.086 * [taylor]: Taking taylor expansion of 1.0 in y 30.086 * [taylor]: Taking taylor expansion of y in y 30.086 * [taylor]: Taking taylor expansion of (* x y) in y 30.086 * [taylor]: Taking taylor expansion of x in y 30.086 * [taylor]: Taking taylor expansion of y in y 30.086 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 30.086 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 30.086 * [taylor]: Taking taylor expansion of (* x z) in x 30.086 * [taylor]: Taking taylor expansion of x in x 30.086 * [taylor]: Taking taylor expansion of z in x 30.086 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 30.086 * [taylor]: Taking taylor expansion of 1.0 in x 30.086 * [taylor]: Taking taylor expansion of y in x 30.086 * [taylor]: Taking taylor expansion of (* x y) in x 30.086 * [taylor]: Taking taylor expansion of x in x 30.086 * [taylor]: Taking taylor expansion of y in x 30.086 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 30.086 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 30.086 * [taylor]: Taking taylor expansion of (* x z) in x 30.086 * [taylor]: Taking taylor expansion of x in x 30.086 * [taylor]: Taking taylor expansion of z in x 30.086 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 30.086 * [taylor]: Taking taylor expansion of 1.0 in x 30.086 * [taylor]: Taking taylor expansion of y in x 30.086 * [taylor]: Taking taylor expansion of (* x y) in x 30.086 * [taylor]: Taking taylor expansion of x in x 30.086 * [taylor]: Taking taylor expansion of y in x 30.086 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 30.086 * [taylor]: Taking taylor expansion of 1.0 in y 30.086 * [taylor]: Taking taylor expansion of y in y 30.086 * [taylor]: Taking taylor expansion of 0 in z 30.087 * [taylor]: Taking taylor expansion of (- z y) in y 30.087 * [taylor]: Taking taylor expansion of z in y 30.087 * [taylor]: Taking taylor expansion of y in y 30.087 * [taylor]: Taking taylor expansion of z in z 30.087 * [taylor]: Taking taylor expansion of 1.0 in z 30.087 * [taylor]: Taking taylor expansion of 0 in y 30.087 * [taylor]: Taking taylor expansion of 0 in z 30.087 * [taylor]: Taking taylor expansion of (neg 1) in z 30.087 * [taylor]: Taking taylor expansion of 1 in z 30.087 * [taylor]: Taking taylor expansion of 0 in z 30.087 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in (x y z) around 0 30.087 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in z 30.087 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in z 30.087 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.087 * [taylor]: Taking taylor expansion of (* x z) in z 30.088 * [taylor]: Taking taylor expansion of x in z 30.088 * [taylor]: Taking taylor expansion of z in z 30.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 30.088 * [taylor]: Taking taylor expansion of 1.0 in z 30.088 * [taylor]: Taking taylor expansion of (/ 1 y) in z 30.088 * [taylor]: Taking taylor expansion of y in z 30.088 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 30.088 * [taylor]: Taking taylor expansion of (* x y) in z 30.088 * [taylor]: Taking taylor expansion of x in z 30.088 * [taylor]: Taking taylor expansion of y in z 30.088 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in y 30.088 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in y 30.088 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.088 * [taylor]: Taking taylor expansion of (* x z) in y 30.088 * [taylor]: Taking taylor expansion of x in y 30.088 * [taylor]: Taking taylor expansion of z in y 30.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 30.088 * [taylor]: Taking taylor expansion of 1.0 in y 30.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.088 * [taylor]: Taking taylor expansion of y in y 30.088 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.088 * [taylor]: Taking taylor expansion of (* x y) in y 30.088 * [taylor]: Taking taylor expansion of x in y 30.088 * [taylor]: Taking taylor expansion of y in y 30.088 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 30.088 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 30.088 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.088 * [taylor]: Taking taylor expansion of (* x z) in x 30.088 * [taylor]: Taking taylor expansion of x in x 30.088 * [taylor]: Taking taylor expansion of z in x 30.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 30.088 * [taylor]: Taking taylor expansion of 1.0 in x 30.088 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.088 * [taylor]: Taking taylor expansion of y in x 30.088 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.088 * [taylor]: Taking taylor expansion of (* x y) in x 30.089 * [taylor]: Taking taylor expansion of x in x 30.089 * [taylor]: Taking taylor expansion of y in x 30.089 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 30.089 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 30.089 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.089 * [taylor]: Taking taylor expansion of (* x z) in x 30.089 * [taylor]: Taking taylor expansion of x in x 30.089 * [taylor]: Taking taylor expansion of z in x 30.089 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 30.089 * [taylor]: Taking taylor expansion of 1.0 in x 30.089 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.089 * [taylor]: Taking taylor expansion of y in x 30.089 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.089 * [taylor]: Taking taylor expansion of (* x y) in x 30.089 * [taylor]: Taking taylor expansion of x in x 30.089 * [taylor]: Taking taylor expansion of y in x 30.089 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 30.089 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.089 * [taylor]: Taking taylor expansion of z in y 30.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.089 * [taylor]: Taking taylor expansion of y in y 30.089 * [taylor]: Taking taylor expansion of (neg 1) in z 30.089 * [taylor]: Taking taylor expansion of 1 in z 30.090 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 30.090 * [taylor]: Taking taylor expansion of 1.0 in y 30.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.090 * [taylor]: Taking taylor expansion of y in y 30.090 * [taylor]: Taking taylor expansion of 1.0 in z 30.090 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.090 * [taylor]: Taking taylor expansion of z in z 30.090 * [taylor]: Taking taylor expansion of 0 in y 30.090 * [taylor]: Taking taylor expansion of 0 in z 30.090 * [taylor]: Taking taylor expansion of 0 in z 30.091 * [approximate]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in (x y z) around 0 30.091 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in z 30.091 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.091 * [taylor]: Taking taylor expansion of (* x z) in z 30.091 * [taylor]: Taking taylor expansion of x in z 30.091 * [taylor]: Taking taylor expansion of z in z 30.091 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in z 30.091 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 30.091 * [taylor]: Taking taylor expansion of 1.0 in z 30.091 * [taylor]: Taking taylor expansion of (/ 1 y) in z 30.091 * [taylor]: Taking taylor expansion of y in z 30.091 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 30.091 * [taylor]: Taking taylor expansion of (* x y) in z 30.091 * [taylor]: Taking taylor expansion of x in z 30.091 * [taylor]: Taking taylor expansion of y in z 30.091 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in y 30.091 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.091 * [taylor]: Taking taylor expansion of (* x z) in y 30.091 * [taylor]: Taking taylor expansion of x in y 30.091 * [taylor]: Taking taylor expansion of z in y 30.091 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in y 30.091 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 30.091 * [taylor]: Taking taylor expansion of 1.0 in y 30.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.092 * [taylor]: Taking taylor expansion of y in y 30.092 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.092 * [taylor]: Taking taylor expansion of (* x y) in y 30.092 * [taylor]: Taking taylor expansion of x in y 30.092 * [taylor]: Taking taylor expansion of y in y 30.092 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 30.092 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.092 * [taylor]: Taking taylor expansion of (* x z) in x 30.092 * [taylor]: Taking taylor expansion of x in x 30.092 * [taylor]: Taking taylor expansion of z in x 30.092 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 30.092 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 30.092 * [taylor]: Taking taylor expansion of 1.0 in x 30.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.092 * [taylor]: Taking taylor expansion of y in x 30.092 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.092 * [taylor]: Taking taylor expansion of (* x y) in x 30.092 * [taylor]: Taking taylor expansion of x in x 30.092 * [taylor]: Taking taylor expansion of y in x 30.092 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 30.092 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.092 * [taylor]: Taking taylor expansion of (* x z) in x 30.092 * [taylor]: Taking taylor expansion of x in x 30.092 * [taylor]: Taking taylor expansion of z in x 30.092 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 30.092 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 30.092 * [taylor]: Taking taylor expansion of 1.0 in x 30.092 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.092 * [taylor]: Taking taylor expansion of y in x 30.092 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.092 * [taylor]: Taking taylor expansion of (* x y) in x 30.092 * [taylor]: Taking taylor expansion of x in x 30.092 * [taylor]: Taking taylor expansion of y in x 30.093 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 30.093 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.093 * [taylor]: Taking taylor expansion of z in y 30.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.093 * [taylor]: Taking taylor expansion of y in y 30.093 * [taylor]: Taking taylor expansion of (neg 1) in z 30.093 * [taylor]: Taking taylor expansion of 1 in z 30.093 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 30.093 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 30.093 * [taylor]: Taking taylor expansion of 1.0 in y 30.093 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.093 * [taylor]: Taking taylor expansion of y in y 30.093 * [taylor]: Taking taylor expansion of (neg 1.0) in z 30.093 * [taylor]: Taking taylor expansion of 1.0 in z 30.093 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.093 * [taylor]: Taking taylor expansion of z in z 30.094 * [taylor]: Taking taylor expansion of 0 in y 30.094 * [taylor]: Taking taylor expansion of 0 in z 30.094 * [taylor]: Taking taylor expansion of 0 in z 30.094 * * * [progress]: simplifying candidates 30.095 * [simplify]: Simplifying using # : (* (- 1.0 x) y) (+ (log (- 1.0 x)) (log y)) (log (* (- 1.0 x) y)) (exp (* (- 1.0 x) y)) (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (cbrt (* (- 1.0 x) y)) (cbrt (* (- 1.0 x) y))) (cbrt (* (- 1.0 x) y)) (* (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (- 1.0 x) y)) (sqrt (* (- 1.0 x) y)) (sqrt (* (- 1.0 x) y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (- 1.0 x) (* (cbrt y) (cbrt y))) (* (- 1.0 x) (sqrt y)) (* (- 1.0 x) 1) (* (cbrt (- 1.0 x)) y) (* (sqrt (- 1.0 x)) y) (* (- 1.0 x) y) (* (- (sqrt 1.0) (sqrt x)) y) (* (- 1.0 x) y) (* (- (pow 1.0 3) (pow x 3)) y) (* (- (* 1.0 1.0) (* x x)) y) (* (exp (* (- 1.0 x) y)) (exp (* x z))) (log (+ (* (- 1.0 x) y) (* x z))) (exp (+ (* (- 1.0 x) y) (* x z))) (* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z)))) (cbrt (+ (* (- 1.0 x) y) (* x z))) (* (* (+ (* (- 1.0 x) y) (* x z)) (+ (* (- 1.0 x) y) (* x z))) (+ (* (- 1.0 x) y) (* x z))) (sqrt (+ (* (- 1.0 x) y) (* x z))) (sqrt (+ (* (- 1.0 x) y) (* x z))) (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (+ (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (* x z)))) (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))) (- (* (- 1.0 x) y) (* x z)) (- (* 1.0 y) (* x y)) (- (* 1.0 y) (* x y)) (- (* 1.0 y) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) 30.097 * * [simplify]: iteration 0 : 71 enodes (cost 405 ) 30.112 * * [simplify]: iteration 1 : 194 enodes (cost 386 ) 30.149 * * [simplify]: iteration 2 : 694 enodes (cost 348 ) 30.330 * * [simplify]: iteration 3 : 2758 enodes (cost 345 ) 30.946 * * [simplify]: iteration done : 5000 enodes (cost 345 ) 30.946 * [simplify]: Simplified to: (* (- 1.0 x) y) (log (* (- 1.0 x) y)) (log (* (- 1.0 x) y)) (exp (* (- 1.0 x) y)) (pow (* (- 1.0 x) y) 3) (* (cbrt (* (- 1.0 x) y)) (cbrt (* (- 1.0 x) y))) (cbrt (* (- 1.0 x) y)) (pow (* (- 1.0 x) y) 3) (sqrt (* (- 1.0 x) y)) (sqrt (* (- 1.0 x) y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (- 1.0 x) (* (cbrt y) (cbrt y))) (* (- 1.0 x) (sqrt y)) (- 1.0 x) (* (cbrt (- 1.0 x)) y) (* (sqrt (- 1.0 x)) y) (* (- 1.0 x) y) (* (- (sqrt 1.0) (sqrt x)) y) (* (- 1.0 x) y) (* (- (pow 1.0 3) (pow x 3)) y) (* (- (* 1.0 1.0) (* x x)) y) (exp (+ (* (- 1.0 x) y) (* x z))) (log (+ (* (- 1.0 x) y) (* x z))) (exp (+ (* (- 1.0 x) y) (* x z))) (* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z)))) (cbrt (+ (* (- 1.0 x) y) (* x z))) (pow (+ (* x z) (* (- 1.0 x) y)) 3) (sqrt (+ (* (- 1.0 x) y) (* x z))) (sqrt (+ (* (- 1.0 x) y) (* x z))) (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (+ (* (* x z) (* x z)) (* (* (- 1.0 x) y) (- (* (- 1.0 x) y) (* x z)))) (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))) (- (* (- 1.0 x) y) (* x z)) (* (- 1.0 x) y) (* (- 1.0 x) y) (* (- 1.0 x) y) (+ (* (- 1.0 x) y) (* x z)) (+ (* (- 1.0 x) y) (* x z)) (+ (* (- 1.0 x) y) (* x z)) 30.946 * * * [progress]: adding candidates to table 30.986 * * [progress]: iteration 2 / 4 30.986 * * * [progress]: picking best candidate 30.993 * * * * [pick]: Picked # 30.993 * * * [progress]: localizing error 31.004 * * * [progress]: generating rewritten candidates 31.004 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 31.018 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 31.025 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 31.038 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 31.045 * * * [progress]: generating series expansions 31.045 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 31.045 * [approximate]: Taking taylor expansion of (* (- 1.0 x) y) in (x y) around 0 31.045 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in y 31.045 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 31.045 * [taylor]: Taking taylor expansion of 1.0 in y 31.045 * [taylor]: Taking taylor expansion of x in y 31.045 * [taylor]: Taking taylor expansion of y in y 31.045 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in x 31.045 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 31.045 * [taylor]: Taking taylor expansion of 1.0 in x 31.045 * [taylor]: Taking taylor expansion of x in x 31.045 * [taylor]: Taking taylor expansion of y in x 31.045 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in x 31.045 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 31.045 * [taylor]: Taking taylor expansion of 1.0 in x 31.045 * [taylor]: Taking taylor expansion of x in x 31.045 * [taylor]: Taking taylor expansion of y in x 31.045 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 31.045 * [taylor]: Taking taylor expansion of 1.0 in y 31.045 * [taylor]: Taking taylor expansion of y in y 31.046 * [taylor]: Taking taylor expansion of (neg y) in y 31.046 * [taylor]: Taking taylor expansion of y in y 31.046 * [taylor]: Taking taylor expansion of 0 in y 31.046 * [taylor]: Taking taylor expansion of 0 in y 31.046 * [taylor]: Taking taylor expansion of 0 in y 31.046 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in (x y) around 0 31.046 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 31.046 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 31.046 * [taylor]: Taking taylor expansion of 1.0 in y 31.046 * [taylor]: Taking taylor expansion of (/ 1 x) in y 31.046 * [taylor]: Taking taylor expansion of x in y 31.046 * [taylor]: Taking taylor expansion of y in y 31.047 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 31.047 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 31.047 * [taylor]: Taking taylor expansion of 1.0 in x 31.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.047 * [taylor]: Taking taylor expansion of x in x 31.047 * [taylor]: Taking taylor expansion of y in x 31.047 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 31.047 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 31.047 * [taylor]: Taking taylor expansion of 1.0 in x 31.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.047 * [taylor]: Taking taylor expansion of x in x 31.047 * [taylor]: Taking taylor expansion of y in x 31.047 * [taylor]: Taking taylor expansion of (/ -1 y) in y 31.047 * [taylor]: Taking taylor expansion of -1 in y 31.047 * [taylor]: Taking taylor expansion of y in y 31.047 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 31.047 * [taylor]: Taking taylor expansion of 1.0 in y 31.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.047 * [taylor]: Taking taylor expansion of y in y 31.047 * [taylor]: Taking taylor expansion of 0 in y 31.048 * [taylor]: Taking taylor expansion of 0 in y 31.048 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in (x y) around 0 31.048 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in y 31.048 * [taylor]: Taking taylor expansion of -1 in y 31.048 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 31.048 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 31.048 * [taylor]: Taking taylor expansion of (/ 1 x) in y 31.048 * [taylor]: Taking taylor expansion of x in y 31.048 * [taylor]: Taking taylor expansion of 1.0 in y 31.048 * [taylor]: Taking taylor expansion of y in y 31.048 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in x 31.048 * [taylor]: Taking taylor expansion of -1 in x 31.048 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 31.048 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 31.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.049 * [taylor]: Taking taylor expansion of x in x 31.049 * [taylor]: Taking taylor expansion of 1.0 in x 31.049 * [taylor]: Taking taylor expansion of y in x 31.049 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in x 31.049 * [taylor]: Taking taylor expansion of -1 in x 31.049 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 31.049 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 31.049 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.049 * [taylor]: Taking taylor expansion of x in x 31.049 * [taylor]: Taking taylor expansion of 1.0 in x 31.049 * [taylor]: Taking taylor expansion of y in x 31.049 * [taylor]: Taking taylor expansion of (/ -1 y) in y 31.049 * [taylor]: Taking taylor expansion of -1 in y 31.049 * [taylor]: Taking taylor expansion of y in y 31.049 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 31.049 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 31.049 * [taylor]: Taking taylor expansion of 1.0 in y 31.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.049 * [taylor]: Taking taylor expansion of y in y 31.049 * [taylor]: Taking taylor expansion of 0 in y 31.050 * [taylor]: Taking taylor expansion of 0 in y 31.050 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 31.050 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 x)) y) in (x y) around 0 31.050 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 x)) y) in y 31.050 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 x)) in y 31.050 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 31.050 * [taylor]: Taking taylor expansion of 1.0 in y 31.050 * [taylor]: Taking taylor expansion of x in y 31.050 * [taylor]: Taking taylor expansion of y in y 31.051 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 x)) y) in x 31.051 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 x)) in x 31.051 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 31.051 * [taylor]: Taking taylor expansion of 1.0 in x 31.051 * [taylor]: Taking taylor expansion of x in x 31.051 * [taylor]: Taking taylor expansion of y in x 31.051 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 x)) y) in x 31.051 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 x)) in x 31.051 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 31.051 * [taylor]: Taking taylor expansion of 1.0 in x 31.051 * [taylor]: Taking taylor expansion of x in x 31.051 * [taylor]: Taking taylor expansion of y in x 31.051 * [taylor]: Taking taylor expansion of (* y (sqrt 1.0)) in y 31.051 * [taylor]: Taking taylor expansion of y in y 31.051 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 31.051 * [taylor]: Taking taylor expansion of 1.0 in y 31.051 * [taylor]: Taking taylor expansion of (neg (* 1/2 (/ y (sqrt 1.0)))) in y 31.051 * [taylor]: Taking taylor expansion of (* 1/2 (/ y (sqrt 1.0))) in y 31.051 * [taylor]: Taking taylor expansion of 1/2 in y 31.051 * [taylor]: Taking taylor expansion of (/ y (sqrt 1.0)) in y 31.051 * [taylor]: Taking taylor expansion of y in y 31.051 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 31.051 * [taylor]: Taking taylor expansion of 1.0 in y 31.052 * [taylor]: Taking taylor expansion of (neg (* 1/8 (/ y (pow (sqrt 1.0) 3)))) in y 31.052 * [taylor]: Taking taylor expansion of (* 1/8 (/ y (pow (sqrt 1.0) 3))) in y 31.052 * [taylor]: Taking taylor expansion of 1/8 in y 31.052 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 1.0) 3)) in y 31.052 * [taylor]: Taking taylor expansion of y in y 31.052 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in y 31.052 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 31.052 * [taylor]: Taking taylor expansion of 1.0 in y 31.053 * [taylor]: Taking taylor expansion of (neg (* 1/16 (/ y (pow (sqrt 1.0) 5)))) in y 31.053 * [taylor]: Taking taylor expansion of (* 1/16 (/ y (pow (sqrt 1.0) 5))) in y 31.053 * [taylor]: Taking taylor expansion of 1/16 in y 31.053 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 1.0) 5)) in y 31.053 * [taylor]: Taking taylor expansion of y in y 31.053 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 5) in y 31.053 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 31.053 * [taylor]: Taking taylor expansion of 1.0 in y 31.054 * [approximate]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in (x y) around 0 31.054 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in y 31.054 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in y 31.054 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 31.054 * [taylor]: Taking taylor expansion of 1.0 in y 31.054 * [taylor]: Taking taylor expansion of (/ 1 x) in y 31.054 * [taylor]: Taking taylor expansion of x in y 31.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.054 * [taylor]: Taking taylor expansion of y in y 31.054 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in x 31.054 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 31.054 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 31.054 * [taylor]: Taking taylor expansion of 1.0 in x 31.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.054 * [taylor]: Taking taylor expansion of x in x 31.054 * [taylor]: Taking taylor expansion of (/ 1 y) in x 31.054 * [taylor]: Taking taylor expansion of y in x 31.054 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in x 31.054 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 31.054 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 31.055 * [taylor]: Taking taylor expansion of 1.0 in x 31.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.055 * [taylor]: Taking taylor expansion of x in x 31.055 * [taylor]: Taking taylor expansion of (/ 1 y) in x 31.055 * [taylor]: Taking taylor expansion of y in x 31.055 * [taylor]: Taking taylor expansion of 0 in y 31.055 * [taylor]: Taking taylor expansion of (/ NAN y) in y 31.055 * [taylor]: Taking taylor expansion of NAN in y 31.055 * [taylor]: Taking taylor expansion of y in y 31.055 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ NAN y)) (/ (pow NAN 3) y)) in y 31.055 * [taylor]: Taking taylor expansion of (* 1.0 (/ NAN y)) in y 31.055 * [taylor]: Taking taylor expansion of 1.0 in y 31.055 * [taylor]: Taking taylor expansion of (/ NAN y) in y 31.055 * [taylor]: Taking taylor expansion of NAN in y 31.055 * [taylor]: Taking taylor expansion of y in y 31.055 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 31.055 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 31.055 * [taylor]: Taking taylor expansion of NAN in y 31.056 * [taylor]: Taking taylor expansion of y in y 31.057 * [taylor]: Taking taylor expansion of (- (* 2 (/ (pow NAN 5) y)) (* 2.0 (/ (pow NAN 3) y))) in y 31.057 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 5) y)) in y 31.057 * [taylor]: Taking taylor expansion of 2 in y 31.057 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) y) in y 31.057 * [taylor]: Taking taylor expansion of (pow NAN 5) in y 31.057 * [taylor]: Taking taylor expansion of NAN in y 31.057 * [taylor]: Taking taylor expansion of y in y 31.057 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow NAN 3) y)) in y 31.057 * [taylor]: Taking taylor expansion of 2.0 in y 31.057 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 31.057 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 31.057 * [taylor]: Taking taylor expansion of NAN in y 31.057 * [taylor]: Taking taylor expansion of y in y 31.058 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (+ (/ 1 x) 1.0)))) in (x y) around 0 31.058 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (+ (/ 1 x) 1.0)))) in y 31.058 * [taylor]: Taking taylor expansion of -1 in y 31.058 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ (/ 1 x) 1.0))) in y 31.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.058 * [taylor]: Taking taylor expansion of y in y 31.058 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in y 31.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 31.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y 31.058 * [taylor]: Taking taylor expansion of x in y 31.058 * [taylor]: Taking taylor expansion of 1.0 in y 31.059 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (+ (/ 1 x) 1.0)))) in x 31.059 * [taylor]: Taking taylor expansion of -1 in x 31.059 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ (/ 1 x) 1.0))) in x 31.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 31.059 * [taylor]: Taking taylor expansion of y in x 31.059 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 31.059 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 31.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.059 * [taylor]: Taking taylor expansion of x in x 31.059 * [taylor]: Taking taylor expansion of 1.0 in x 31.059 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (+ (/ 1 x) 1.0)))) in x 31.059 * [taylor]: Taking taylor expansion of -1 in x 31.059 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (+ (/ 1 x) 1.0))) in x 31.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 31.059 * [taylor]: Taking taylor expansion of y in x 31.059 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 31.059 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 31.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.059 * [taylor]: Taking taylor expansion of x in x 31.059 * [taylor]: Taking taylor expansion of 1.0 in x 31.059 * [taylor]: Taking taylor expansion of 0 in y 31.059 * [taylor]: Taking taylor expansion of (neg (/ NAN y)) in y 31.059 * [taylor]: Taking taylor expansion of (/ NAN y) in y 31.059 * [taylor]: Taking taylor expansion of NAN in y 31.059 * [taylor]: Taking taylor expansion of y in y 31.060 * [taylor]: Taking taylor expansion of (- (/ (pow NAN 3) y) (* 1.0 (/ NAN y))) in y 31.060 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 31.060 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 31.060 * [taylor]: Taking taylor expansion of NAN in y 31.060 * [taylor]: Taking taylor expansion of y in y 31.060 * [taylor]: Taking taylor expansion of (* 1.0 (/ NAN y)) in y 31.060 * [taylor]: Taking taylor expansion of 1.0 in y 31.060 * [taylor]: Taking taylor expansion of (/ NAN y) in y 31.060 * [taylor]: Taking taylor expansion of NAN in y 31.060 * [taylor]: Taking taylor expansion of y in y 31.062 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ (pow NAN 3) y)) (* 2 (/ (pow NAN 5) y))) in y 31.062 * [taylor]: Taking taylor expansion of (* 2.0 (/ (pow NAN 3) y)) in y 31.062 * [taylor]: Taking taylor expansion of 2.0 in y 31.062 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 31.062 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 31.062 * [taylor]: Taking taylor expansion of NAN in y 31.062 * [taylor]: Taking taylor expansion of y in y 31.062 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 5) y)) in y 31.062 * [taylor]: Taking taylor expansion of 2 in y 31.062 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) y) in y 31.062 * [taylor]: Taking taylor expansion of (pow NAN 5) in y 31.062 * [taylor]: Taking taylor expansion of NAN in y 31.062 * [taylor]: Taking taylor expansion of y in y 31.063 * * * * [progress]: [ 3 / 4 ] generating series at (2) 31.063 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in (x y z) around 0 31.063 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in z 31.064 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in z 31.064 * [taylor]: Taking taylor expansion of (* x z) in z 31.064 * [taylor]: Taking taylor expansion of x in z 31.064 * [taylor]: Taking taylor expansion of z in z 31.064 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 31.064 * [taylor]: Taking taylor expansion of 1.0 in z 31.064 * [taylor]: Taking taylor expansion of y in z 31.064 * [taylor]: Taking taylor expansion of (* x y) in z 31.064 * [taylor]: Taking taylor expansion of x in z 31.064 * [taylor]: Taking taylor expansion of y in z 31.064 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in y 31.064 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in y 31.064 * [taylor]: Taking taylor expansion of (* x z) in y 31.064 * [taylor]: Taking taylor expansion of x in y 31.064 * [taylor]: Taking taylor expansion of z in y 31.064 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 31.064 * [taylor]: Taking taylor expansion of 1.0 in y 31.064 * [taylor]: Taking taylor expansion of y in y 31.064 * [taylor]: Taking taylor expansion of (* x y) in y 31.064 * [taylor]: Taking taylor expansion of x in y 31.064 * [taylor]: Taking taylor expansion of y in y 31.064 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 31.064 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 31.064 * [taylor]: Taking taylor expansion of (* x z) in x 31.064 * [taylor]: Taking taylor expansion of x in x 31.064 * [taylor]: Taking taylor expansion of z in x 31.064 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 31.064 * [taylor]: Taking taylor expansion of 1.0 in x 31.064 * [taylor]: Taking taylor expansion of y in x 31.064 * [taylor]: Taking taylor expansion of (* x y) in x 31.064 * [taylor]: Taking taylor expansion of x in x 31.064 * [taylor]: Taking taylor expansion of y in x 31.064 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 31.064 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 31.064 * [taylor]: Taking taylor expansion of (* x z) in x 31.064 * [taylor]: Taking taylor expansion of x in x 31.064 * [taylor]: Taking taylor expansion of z in x 31.064 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 31.064 * [taylor]: Taking taylor expansion of 1.0 in x 31.064 * [taylor]: Taking taylor expansion of y in x 31.064 * [taylor]: Taking taylor expansion of (* x y) in x 31.064 * [taylor]: Taking taylor expansion of x in x 31.064 * [taylor]: Taking taylor expansion of y in x 31.065 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 31.065 * [taylor]: Taking taylor expansion of 1.0 in y 31.065 * [taylor]: Taking taylor expansion of y in y 31.065 * [taylor]: Taking taylor expansion of 0 in z 31.065 * [taylor]: Taking taylor expansion of (- z y) in y 31.065 * [taylor]: Taking taylor expansion of z in y 31.065 * [taylor]: Taking taylor expansion of y in y 31.065 * [taylor]: Taking taylor expansion of z in z 31.065 * [taylor]: Taking taylor expansion of 1.0 in z 31.065 * [taylor]: Taking taylor expansion of 0 in y 31.065 * [taylor]: Taking taylor expansion of 0 in z 31.065 * [taylor]: Taking taylor expansion of (neg 1) in z 31.065 * [taylor]: Taking taylor expansion of 1 in z 31.065 * [taylor]: Taking taylor expansion of 0 in z 31.066 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in (x y z) around 0 31.066 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in z 31.066 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in z 31.066 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 31.066 * [taylor]: Taking taylor expansion of (* x z) in z 31.066 * [taylor]: Taking taylor expansion of x in z 31.066 * [taylor]: Taking taylor expansion of z in z 31.066 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 31.066 * [taylor]: Taking taylor expansion of 1.0 in z 31.066 * [taylor]: Taking taylor expansion of (/ 1 y) in z 31.066 * [taylor]: Taking taylor expansion of y in z 31.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 31.066 * [taylor]: Taking taylor expansion of (* x y) in z 31.066 * [taylor]: Taking taylor expansion of x in z 31.066 * [taylor]: Taking taylor expansion of y in z 31.066 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in y 31.066 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in y 31.066 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 31.066 * [taylor]: Taking taylor expansion of (* x z) in y 31.066 * [taylor]: Taking taylor expansion of x in y 31.066 * [taylor]: Taking taylor expansion of z in y 31.066 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 31.066 * [taylor]: Taking taylor expansion of 1.0 in y 31.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.066 * [taylor]: Taking taylor expansion of y in y 31.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 31.066 * [taylor]: Taking taylor expansion of (* x y) in y 31.066 * [taylor]: Taking taylor expansion of x in y 31.066 * [taylor]: Taking taylor expansion of y in y 31.066 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 31.066 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 31.066 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 31.066 * [taylor]: Taking taylor expansion of (* x z) in x 31.067 * [taylor]: Taking taylor expansion of x in x 31.067 * [taylor]: Taking taylor expansion of z in x 31.067 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 31.067 * [taylor]: Taking taylor expansion of 1.0 in x 31.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x 31.067 * [taylor]: Taking taylor expansion of y in x 31.067 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 31.067 * [taylor]: Taking taylor expansion of (* x y) in x 31.067 * [taylor]: Taking taylor expansion of x in x 31.067 * [taylor]: Taking taylor expansion of y in x 31.067 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 31.067 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 31.067 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 31.067 * [taylor]: Taking taylor expansion of (* x z) in x 31.067 * [taylor]: Taking taylor expansion of x in x 31.067 * [taylor]: Taking taylor expansion of z in x 31.067 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 31.067 * [taylor]: Taking taylor expansion of 1.0 in x 31.067 * [taylor]: Taking taylor expansion of (/ 1 y) in x 31.067 * [taylor]: Taking taylor expansion of y in x 31.067 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 31.067 * [taylor]: Taking taylor expansion of (* x y) in x 31.067 * [taylor]: Taking taylor expansion of x in x 31.067 * [taylor]: Taking taylor expansion of y in x 31.067 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 31.067 * [taylor]: Taking taylor expansion of (/ 1 z) in y 31.067 * [taylor]: Taking taylor expansion of z in y 31.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.067 * [taylor]: Taking taylor expansion of y in y 31.067 * [taylor]: Taking taylor expansion of (neg 1) in z 31.067 * [taylor]: Taking taylor expansion of 1 in z 31.068 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 31.068 * [taylor]: Taking taylor expansion of 1.0 in y 31.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.068 * [taylor]: Taking taylor expansion of y in y 31.068 * [taylor]: Taking taylor expansion of 1.0 in z 31.068 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.068 * [taylor]: Taking taylor expansion of z in z 31.068 * [taylor]: Taking taylor expansion of 0 in y 31.068 * [taylor]: Taking taylor expansion of 0 in z 31.069 * [taylor]: Taking taylor expansion of 0 in z 31.069 * [approximate]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in (x y z) around 0 31.069 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in z 31.069 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 31.069 * [taylor]: Taking taylor expansion of (* x z) in z 31.069 * [taylor]: Taking taylor expansion of x in z 31.069 * [taylor]: Taking taylor expansion of z in z 31.069 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in z 31.069 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 31.069 * [taylor]: Taking taylor expansion of 1.0 in z 31.069 * [taylor]: Taking taylor expansion of (/ 1 y) in z 31.069 * [taylor]: Taking taylor expansion of y in z 31.069 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 31.069 * [taylor]: Taking taylor expansion of (* x y) in z 31.069 * [taylor]: Taking taylor expansion of x in z 31.069 * [taylor]: Taking taylor expansion of y in z 31.069 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in y 31.069 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 31.069 * [taylor]: Taking taylor expansion of (* x z) in y 31.069 * [taylor]: Taking taylor expansion of x in y 31.070 * [taylor]: Taking taylor expansion of z in y 31.070 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in y 31.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 31.070 * [taylor]: Taking taylor expansion of 1.0 in y 31.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.070 * [taylor]: Taking taylor expansion of y in y 31.070 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 31.070 * [taylor]: Taking taylor expansion of (* x y) in y 31.070 * [taylor]: Taking taylor expansion of x in y 31.070 * [taylor]: Taking taylor expansion of y in y 31.070 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 31.070 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 31.070 * [taylor]: Taking taylor expansion of (* x z) in x 31.070 * [taylor]: Taking taylor expansion of x in x 31.070 * [taylor]: Taking taylor expansion of z in x 31.070 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 31.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 31.070 * [taylor]: Taking taylor expansion of 1.0 in x 31.070 * [taylor]: Taking taylor expansion of (/ 1 y) in x 31.070 * [taylor]: Taking taylor expansion of y in x 31.070 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 31.070 * [taylor]: Taking taylor expansion of (* x y) in x 31.070 * [taylor]: Taking taylor expansion of x in x 31.070 * [taylor]: Taking taylor expansion of y in x 31.070 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 31.070 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 31.070 * [taylor]: Taking taylor expansion of (* x z) in x 31.070 * [taylor]: Taking taylor expansion of x in x 31.070 * [taylor]: Taking taylor expansion of z in x 31.070 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 31.070 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 31.070 * [taylor]: Taking taylor expansion of 1.0 in x 31.070 * [taylor]: Taking taylor expansion of (/ 1 y) in x 31.070 * [taylor]: Taking taylor expansion of y in x 31.070 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 31.070 * [taylor]: Taking taylor expansion of (* x y) in x 31.070 * [taylor]: Taking taylor expansion of x in x 31.070 * [taylor]: Taking taylor expansion of y in x 31.071 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 31.071 * [taylor]: Taking taylor expansion of (/ 1 z) in y 31.071 * [taylor]: Taking taylor expansion of z in y 31.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.071 * [taylor]: Taking taylor expansion of y in y 31.071 * [taylor]: Taking taylor expansion of (neg 1) in z 31.071 * [taylor]: Taking taylor expansion of 1 in z 31.071 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 31.071 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 31.071 * [taylor]: Taking taylor expansion of 1.0 in y 31.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.071 * [taylor]: Taking taylor expansion of y in y 31.071 * [taylor]: Taking taylor expansion of (neg 1.0) in z 31.071 * [taylor]: Taking taylor expansion of 1.0 in z 31.071 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.071 * [taylor]: Taking taylor expansion of z in z 31.072 * [taylor]: Taking taylor expansion of 0 in y 31.072 * [taylor]: Taking taylor expansion of 0 in z 31.072 * [taylor]: Taking taylor expansion of 0 in z 31.072 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 31.072 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 x)) in (x) around 0 31.072 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 x)) in x 31.072 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 31.072 * [taylor]: Taking taylor expansion of 1.0 in x 31.073 * [taylor]: Taking taylor expansion of x in x 31.073 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 x)) in x 31.073 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 31.073 * [taylor]: Taking taylor expansion of 1.0 in x 31.073 * [taylor]: Taking taylor expansion of x in x 31.073 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in (x) around 0 31.073 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 31.073 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 31.073 * [taylor]: Taking taylor expansion of 1.0 in x 31.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.073 * [taylor]: Taking taylor expansion of x in x 31.074 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 31.074 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 31.074 * [taylor]: Taking taylor expansion of 1.0 in x 31.074 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.074 * [taylor]: Taking taylor expansion of x in x 31.075 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in (x) around 0 31.075 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 31.075 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 31.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.075 * [taylor]: Taking taylor expansion of x in x 31.075 * [taylor]: Taking taylor expansion of 1.0 in x 31.075 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 31.075 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 31.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.075 * [taylor]: Taking taylor expansion of x in x 31.075 * [taylor]: Taking taylor expansion of 1.0 in x 31.076 * * * [progress]: simplifying candidates 31.078 * [simplify]: Simplifying using # : (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (+ (log (sqrt (- 1.0 x))) (+ (log (sqrt (- 1.0 x))) (log y))) (+ (log (sqrt (- 1.0 x))) (log (* (sqrt (- 1.0 x)) y))) (log (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (exp (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (* (* (* (sqrt (- 1.0 x)) (sqrt (- 1.0 x))) (sqrt (- 1.0 x))) (* (* (* (sqrt (- 1.0 x)) (sqrt (- 1.0 x))) (sqrt (- 1.0 x))) (* (* y y) y))) (* (* (* (sqrt (- 1.0 x)) (sqrt (- 1.0 x))) (sqrt (- 1.0 x))) (* (* (* (sqrt (- 1.0 x)) y) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) y))) (* (cbrt (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (cbrt (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)))) (cbrt (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (* (* (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (sqrt (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (sqrt (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (* (sqrt (- (pow 1.0 3) (pow x 3))) (* (sqrt (- (pow 1.0 3) (pow x 3))) y)) (* (sqrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (sqrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (* (sqrt (- (pow 1.0 3) (pow x 3))) (* (sqrt (- (* 1.0 1.0) (* x x))) y)) (* (sqrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (sqrt (+ 1.0 x))) (* (sqrt (- (* 1.0 1.0) (* x x))) (* (sqrt (- (pow 1.0 3) (pow x 3))) y)) (* (sqrt (+ 1.0 x)) (sqrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x))))) (* (sqrt (- (* 1.0 1.0) (* x x))) (* (sqrt (- (* 1.0 1.0) (* x x))) y)) (* (sqrt (+ 1.0 x)) (sqrt (+ 1.0 x))) (* (sqrt (- 1.0 x)) (sqrt (- 1.0 x))) (* (cbrt (sqrt (- 1.0 x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (cbrt (- 1.0 x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (sqrt (- 1.0 x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- (sqrt 1.0) (sqrt x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* (sqrt (sqrt (- 1.0 x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) (* (sqrt (- (pow 1.0 3) (pow x 3))) y)) (* (sqrt (- 1.0 x)) (* (sqrt (- (* 1.0 1.0) (* x x))) y)) (* (sqrt (- (pow 1.0 3) (pow x 3))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- (* 1.0 1.0) (* x x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) y) (+ (log (sqrt (- 1.0 x))) (log y)) (log (* (sqrt (- 1.0 x)) y)) (exp (* (sqrt (- 1.0 x)) y)) (* (* (* (sqrt (- 1.0 x)) (sqrt (- 1.0 x))) (sqrt (- 1.0 x))) (* (* y y) y)) (* (cbrt (* (sqrt (- 1.0 x)) y)) (cbrt (* (sqrt (- 1.0 x)) y))) (cbrt (* (sqrt (- 1.0 x)) y)) (* (* (* (sqrt (- 1.0 x)) y) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) y)) (sqrt (* (sqrt (- 1.0 x)) y)) (sqrt (* (sqrt (- 1.0 x)) y)) (* (sqrt (sqrt (- 1.0 x))) (sqrt y)) (* (sqrt (sqrt (- 1.0 x))) (sqrt y)) (* (sqrt (sqrt (- 1.0 x))) (sqrt y)) (* (sqrt (sqrt (- 1.0 x))) (sqrt y)) (* (sqrt (- 1.0 x)) (* (cbrt y) (cbrt y))) (* (sqrt (- 1.0 x)) (sqrt y)) (* (sqrt (- 1.0 x)) 1) (* (cbrt (sqrt (- 1.0 x))) y) (* (sqrt (cbrt (- 1.0 x))) y) (* (sqrt (sqrt (- 1.0 x))) y) (* (sqrt (- 1.0 x)) y) (* (sqrt (- (sqrt 1.0) (sqrt x))) y) (* (sqrt (- 1.0 x)) y) (* (sqrt (sqrt (- 1.0 x))) y) (* (sqrt (- 1.0 x)) y) (* (sqrt (- (pow 1.0 3) (pow x 3))) y) (* (sqrt (- (* 1.0 1.0) (* x x))) y) (* (exp (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (exp (* x z))) (log (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))) (exp (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))) (* (cbrt (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))) (cbrt (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z)))) (cbrt (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))) (* (* (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z)) (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))) (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))) (sqrt (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))) (sqrt (+ (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z))) (+ (pow (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) 3) (pow (* x z) 3)) (+ (* (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (- (* (* x z) (* x z)) (* (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z)))) (- (* (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y))) (* (* x z) (* x z))) (- (* (sqrt (- 1.0 x)) (* (sqrt (- 1.0 x)) y)) (* x z)) (log (sqrt (- 1.0 x))) (exp (sqrt (- 1.0 x))) (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x)))) (cbrt (sqrt (- 1.0 x))) (* (* (sqrt (- 1.0 x)) (sqrt (- 1.0 x))) (sqrt (- 1.0 x))) (sqrt (* (cbrt (- 1.0 x)) (cbrt (- 1.0 x)))) (sqrt (cbrt (- 1.0 x))) (sqrt (sqrt (- 1.0 x))) (sqrt (sqrt (- 1.0 x))) (sqrt 1) (sqrt (- 1.0 x)) (sqrt (+ (sqrt 1.0) (sqrt x))) (sqrt (- (sqrt 1.0) (sqrt x))) (sqrt 1) (sqrt (- 1.0 x)) (sqrt (- (pow 1.0 3) (pow x 3))) (sqrt (+ (* 1.0 1.0) (+ (* x x) (* 1.0 x)))) (sqrt (- (* 1.0 1.0) (* x x))) (sqrt (+ 1.0 x)) (/ 1 2) (sqrt (sqrt (- 1.0 x))) (sqrt (sqrt (- 1.0 x))) (- (* 1.0 y) (* x y)) (- (* 1.0 y) (* x y)) (- (* 1.0 y) (* x y)) (- (* y (sqrt 1.0)) (+ (* 1/2 (/ (* x y) (sqrt 1.0))) (* 1/8 (/ (* (pow x 2) y) (pow (sqrt 1.0) 3))))) (- (+ (* 1.0 (/ (* NAN y) x)) (+ (* NAN y) (* 2 (/ (* (pow NAN 5) y) (pow x 2))))) (+ (/ (* (pow NAN 3) y) x) (* 2.0 (/ (* (pow NAN 3) y) (pow x 2))))) (- (+ (* 2 (/ (* (pow NAN 5) y) (pow x 2))) (+ (* NAN y) (/ (* (pow NAN 3) y) x))) (+ (* 1.0 (/ (* NAN y) x)) (* 2.0 (/ (* (pow NAN 3) y) (pow x 2))))) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 1/2 (/ x (sqrt 1.0))))) (- (+ (* 2 (/ (pow NAN 5) (pow x 2))) (+ NAN (* 1.0 (/ NAN x)))) (+ (* 2.0 (/ (pow NAN 3) (pow x 2))) (/ (pow NAN 3) x))) (- (+ (/ (pow NAN 3) x) (+ (* 2 (/ (pow NAN 5) (pow x 2))) NAN)) (+ (* 2.0 (/ (pow NAN 3) (pow x 2))) (* 1.0 (/ NAN x)))) 31.083 * * [simplify]: iteration 0 : 177 enodes (cost 1454 ) 31.112 * * [simplify]: iteration 1 : 476 enodes (cost 1142 ) 31.203 * * [simplify]: iteration 2 : 1590 enodes (cost 1054 ) 31.872 * * [simplify]: iteration done : 5001 enodes (cost 1028 ) 31.872 * [simplify]: Simplified to: (* y (- 1.0 x)) (* y (- 1.0 x)) (log (* y (- 1.0 x))) (log (* y (- 1.0 x))) (log (* y (- 1.0 x))) (exp (* (- 1.0 x) y)) (pow (* y (- 1.0 x)) 3) (pow (* y (- 1.0 x)) 3) (* (cbrt (* (- 1.0 x) y)) (cbrt (* (- 1.0 x) y))) (cbrt (* (- 1.0 x) y)) (pow (* y (- 1.0 x)) 3) (sqrt (* (- 1.0 x) y)) (sqrt (* (- 1.0 x) y)) (* (- (pow 1.0 3) (pow x 3)) y) (+ (* x (+ 1.0 x)) (* 1.0 1.0)) (* (sqrt (- (pow 1.0 3) (pow x 3))) (* (sqrt (- (* 1.0 1.0) (* x x))) y)) (* (sqrt (+ 1.0 x)) (sqrt (+ (* x (+ 1.0 x)) (* 1.0 1.0)))) (* (sqrt (- (pow 1.0 3) (pow x 3))) (* (sqrt (- (* 1.0 1.0) (* x x))) y)) (* (sqrt (+ 1.0 x)) (sqrt (+ (* x (+ 1.0 x)) (* 1.0 1.0)))) (* (- (* 1.0 1.0) (* x x)) y) (+ 1.0 x) (- 1.0 x) (* (cbrt (sqrt (- 1.0 x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (cbrt (- 1.0 x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (sqrt (- 1.0 x))) (* (sqrt (- 1.0 x)) y)) (* y (- 1.0 x)) (* (sqrt (- (sqrt 1.0) (sqrt x))) (* (sqrt (- 1.0 x)) y)) (* y (- 1.0 x)) (* (sqrt (sqrt (- 1.0 x))) (* (sqrt (- 1.0 x)) y)) (* y (- 1.0 x)) (* (sqrt (- (pow 1.0 3) (pow x 3))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- (* 1.0 1.0) (* x x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- (pow 1.0 3) (pow x 3))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- (* 1.0 1.0) (* x x))) (* (sqrt (- 1.0 x)) y)) (* (sqrt (- 1.0 x)) y) (log (* (sqrt (- 1.0 x)) y)) (log (* (sqrt (- 1.0 x)) y)) (exp (* (sqrt (- 1.0 x)) y)) (pow (* (sqrt (- 1.0 x)) y) 3) (* (cbrt (* (sqrt (- 1.0 x)) y)) (cbrt (* (sqrt (- 1.0 x)) y))) (cbrt (* (sqrt (- 1.0 x)) y)) (pow (* (sqrt (- 1.0 x)) y) 3) (sqrt (* (sqrt (- 1.0 x)) y)) (sqrt (* (sqrt (- 1.0 x)) y)) (* (sqrt (sqrt (- 1.0 x))) (sqrt y)) (* (sqrt (sqrt (- 1.0 x))) (sqrt y)) (* (sqrt (sqrt (- 1.0 x))) (sqrt y)) (* (sqrt (sqrt (- 1.0 x))) (sqrt y)) (* (sqrt (- 1.0 x)) (* (cbrt y) (cbrt y))) (* (sqrt (- 1.0 x)) (sqrt y)) (sqrt (- 1.0 x)) (* (cbrt (sqrt (- 1.0 x))) y) (* (sqrt (cbrt (- 1.0 x))) y) (* (sqrt (sqrt (- 1.0 x))) y) (* (sqrt (- 1.0 x)) y) (* (sqrt (- (sqrt 1.0) (sqrt x))) y) (* (sqrt (- 1.0 x)) y) (* (sqrt (sqrt (- 1.0 x))) y) (* (sqrt (- 1.0 x)) y) (* (sqrt (- (pow 1.0 3) (pow x 3))) y) (* (sqrt (- (* 1.0 1.0) (* x x))) y) (exp (+ (* (- 1.0 x) y) (* x z))) (log (+ (* (- 1.0 x) y) (* x z))) (exp (+ (* (- 1.0 x) y) (* x z))) (* (cbrt (+ (* (- 1.0 x) y) (* x z))) (cbrt (+ (* (- 1.0 x) y) (* x z)))) (cbrt (+ (* (- 1.0 x) y) (* x z))) (pow (+ (* (- 1.0 x) y) (* x z)) 3) (sqrt (+ (* (- 1.0 x) y) (* x z))) (sqrt (+ (* (- 1.0 x) y) (* x z))) (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (+ (* (* x z) (* x z)) (* (* y (- 1.0 x)) (- (* (- 1.0 x) y) (* x z)))) (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* x z))) (- (* (- 1.0 x) y) (* x z)) (log (sqrt (- 1.0 x))) (exp (sqrt (- 1.0 x))) (* (cbrt (sqrt (- 1.0 x))) (cbrt (sqrt (- 1.0 x)))) (cbrt (sqrt (- 1.0 x))) (pow (sqrt (- 1.0 x)) 3) (fabs (cbrt (- 1.0 x))) (sqrt (cbrt (- 1.0 x))) (sqrt (sqrt (- 1.0 x))) (sqrt (sqrt (- 1.0 x))) 1 (sqrt (- 1.0 x)) (sqrt (+ (sqrt 1.0) (sqrt x))) (sqrt (- (sqrt 1.0) (sqrt x))) 1 (sqrt (- 1.0 x)) (sqrt (- (pow 1.0 3) (pow x 3))) (sqrt (+ (* x (+ 1.0 x)) (* 1.0 1.0))) (sqrt (- (* 1.0 1.0) (* x x))) (sqrt (+ 1.0 x)) 1/2 (sqrt (sqrt (- 1.0 x))) (sqrt (sqrt (- 1.0 x))) (* y (- 1.0 x)) (* y (- 1.0 x)) (* y (- 1.0 x)) (- (* y (sqrt 1.0)) (+ (* 1/2 (/ (* x y) (sqrt 1.0))) (* 1/8 (/ (* (pow x 2) y) (pow (sqrt 1.0) 3))))) (- (+ (* 1.0 (/ (* NAN y) x)) (+ (* NAN y) (* 2 (/ (* (pow NAN 5) y) (pow x 2))))) (* (+ (/ 2.0 x) 1) (/ (* (pow NAN 3) y) x))) (+ (- (* y (+ NAN (/ (pow NAN 3) x))) (+ (* 1.0 (/ (* NAN y) x)) (* 2.0 (/ (* (pow NAN 3) y) (pow x 2))))) (* 2 (/ (* (pow NAN 5) y) (pow x 2)))) (+ (* (- 1.0 x) y) (* x z)) (+ (* (- 1.0 x) y) (* x z)) (+ (* (- 1.0 x) y) (* x z)) (- (sqrt 1.0) (+ (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 1/2 (/ x (sqrt 1.0))))) (+ (* 1.0 (/ NAN x)) (- (+ (* 2 (/ (pow NAN 5) (pow x 2))) NAN) (* (+ (/ 2.0 x) 1) (/ (pow NAN 3) x)))) (- (+ (/ (pow NAN 3) x) (+ (* 2 (/ (pow NAN 5) (pow x 2))) NAN)) (+ (* 2.0 (/ (pow NAN 3) (pow x 2))) (* 1.0 (/ NAN x)))) 31.873 * * * [progress]: adding candidates to table 32.017 * * [progress]: iteration 3 / 4 32.017 * * * [progress]: picking best candidate 32.020 * * * * [pick]: Picked # 32.020 * * * [progress]: localizing error 32.030 * * * [progress]: generating rewritten candidates 32.030 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 32.035 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 32.039 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 32.046 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 32.053 * * * [progress]: generating series expansions 32.053 * * * * [progress]: [ 1 / 4 ] generating series at (2) 32.053 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in (x z y) around 0 32.053 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in y 32.053 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in y 32.053 * [taylor]: Taking taylor expansion of (* x z) in y 32.053 * [taylor]: Taking taylor expansion of x in y 32.053 * [taylor]: Taking taylor expansion of z in y 32.053 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 32.053 * [taylor]: Taking taylor expansion of 1.0 in y 32.054 * [taylor]: Taking taylor expansion of y in y 32.054 * [taylor]: Taking taylor expansion of (* x y) in y 32.054 * [taylor]: Taking taylor expansion of x in y 32.054 * [taylor]: Taking taylor expansion of y in y 32.054 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in z 32.054 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in z 32.054 * [taylor]: Taking taylor expansion of (* x z) in z 32.054 * [taylor]: Taking taylor expansion of x in z 32.054 * [taylor]: Taking taylor expansion of z in z 32.054 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 32.054 * [taylor]: Taking taylor expansion of 1.0 in z 32.054 * [taylor]: Taking taylor expansion of y in z 32.054 * [taylor]: Taking taylor expansion of (* x y) in z 32.054 * [taylor]: Taking taylor expansion of x in z 32.054 * [taylor]: Taking taylor expansion of y in z 32.054 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 32.054 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 32.054 * [taylor]: Taking taylor expansion of (* x z) in x 32.054 * [taylor]: Taking taylor expansion of x in x 32.054 * [taylor]: Taking taylor expansion of z in x 32.054 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 32.054 * [taylor]: Taking taylor expansion of 1.0 in x 32.054 * [taylor]: Taking taylor expansion of y in x 32.054 * [taylor]: Taking taylor expansion of (* x y) in x 32.054 * [taylor]: Taking taylor expansion of x in x 32.054 * [taylor]: Taking taylor expansion of y in x 32.054 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 32.054 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 32.054 * [taylor]: Taking taylor expansion of (* x z) in x 32.054 * [taylor]: Taking taylor expansion of x in x 32.054 * [taylor]: Taking taylor expansion of z in x 32.054 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 32.054 * [taylor]: Taking taylor expansion of 1.0 in x 32.054 * [taylor]: Taking taylor expansion of y in x 32.054 * [taylor]: Taking taylor expansion of (* x y) in x 32.054 * [taylor]: Taking taylor expansion of x in x 32.054 * [taylor]: Taking taylor expansion of y in x 32.054 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 32.054 * [taylor]: Taking taylor expansion of 1.0 in z 32.054 * [taylor]: Taking taylor expansion of y in z 32.054 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 32.054 * [taylor]: Taking taylor expansion of 1.0 in y 32.054 * [taylor]: Taking taylor expansion of y in y 32.055 * [taylor]: Taking taylor expansion of (- z y) in z 32.055 * [taylor]: Taking taylor expansion of z in z 32.055 * [taylor]: Taking taylor expansion of y in z 32.055 * [taylor]: Taking taylor expansion of (neg y) in y 32.055 * [taylor]: Taking taylor expansion of y in y 32.055 * [taylor]: Taking taylor expansion of 0 in y 32.055 * [taylor]: Taking taylor expansion of 0 in z 32.055 * [taylor]: Taking taylor expansion of 0 in y 32.055 * [taylor]: Taking taylor expansion of 1 in y 32.055 * [taylor]: Taking taylor expansion of 0 in y 32.055 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in (x z y) around 0 32.055 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in y 32.055 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in y 32.056 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 32.056 * [taylor]: Taking taylor expansion of (* x z) in y 32.056 * [taylor]: Taking taylor expansion of x in y 32.056 * [taylor]: Taking taylor expansion of z in y 32.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.056 * [taylor]: Taking taylor expansion of 1.0 in y 32.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.056 * [taylor]: Taking taylor expansion of y in y 32.056 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 32.056 * [taylor]: Taking taylor expansion of (* x y) in y 32.056 * [taylor]: Taking taylor expansion of x in y 32.056 * [taylor]: Taking taylor expansion of y in y 32.056 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in z 32.056 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in z 32.056 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 32.056 * [taylor]: Taking taylor expansion of (* x z) in z 32.056 * [taylor]: Taking taylor expansion of x in z 32.056 * [taylor]: Taking taylor expansion of z in z 32.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.056 * [taylor]: Taking taylor expansion of 1.0 in z 32.056 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.056 * [taylor]: Taking taylor expansion of y in z 32.056 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 32.056 * [taylor]: Taking taylor expansion of (* x y) in z 32.056 * [taylor]: Taking taylor expansion of x in z 32.056 * [taylor]: Taking taylor expansion of y in z 32.056 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 32.056 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 32.056 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.056 * [taylor]: Taking taylor expansion of (* x z) in x 32.056 * [taylor]: Taking taylor expansion of x in x 32.056 * [taylor]: Taking taylor expansion of z in x 32.056 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.056 * [taylor]: Taking taylor expansion of 1.0 in x 32.056 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.056 * [taylor]: Taking taylor expansion of y in x 32.056 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.056 * [taylor]: Taking taylor expansion of (* x y) in x 32.057 * [taylor]: Taking taylor expansion of x in x 32.057 * [taylor]: Taking taylor expansion of y in x 32.057 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 32.057 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 32.057 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.057 * [taylor]: Taking taylor expansion of (* x z) in x 32.057 * [taylor]: Taking taylor expansion of x in x 32.057 * [taylor]: Taking taylor expansion of z in x 32.057 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.057 * [taylor]: Taking taylor expansion of 1.0 in x 32.057 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.057 * [taylor]: Taking taylor expansion of y in x 32.057 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.057 * [taylor]: Taking taylor expansion of (* x y) in x 32.057 * [taylor]: Taking taylor expansion of x in x 32.057 * [taylor]: Taking taylor expansion of y in x 32.057 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 32.057 * [taylor]: Taking taylor expansion of (/ 1 z) in z 32.057 * [taylor]: Taking taylor expansion of z in z 32.057 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.057 * [taylor]: Taking taylor expansion of y in z 32.057 * [taylor]: Taking taylor expansion of 1 in y 32.058 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.058 * [taylor]: Taking taylor expansion of 1.0 in z 32.058 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.058 * [taylor]: Taking taylor expansion of y in z 32.058 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 32.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.058 * [taylor]: Taking taylor expansion of y in y 32.058 * [taylor]: Taking taylor expansion of 0 in z 32.058 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 32.058 * [taylor]: Taking taylor expansion of 1.0 in y 32.058 * [taylor]: Taking taylor expansion of y in y 32.059 * [approximate]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in (x z y) around 0 32.059 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in y 32.059 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 32.059 * [taylor]: Taking taylor expansion of (* x z) in y 32.059 * [taylor]: Taking taylor expansion of x in y 32.059 * [taylor]: Taking taylor expansion of z in y 32.059 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in y 32.059 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.059 * [taylor]: Taking taylor expansion of 1.0 in y 32.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.059 * [taylor]: Taking taylor expansion of y in y 32.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 32.059 * [taylor]: Taking taylor expansion of (* x y) in y 32.059 * [taylor]: Taking taylor expansion of x in y 32.059 * [taylor]: Taking taylor expansion of y in y 32.059 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in z 32.059 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 32.059 * [taylor]: Taking taylor expansion of (* x z) in z 32.059 * [taylor]: Taking taylor expansion of x in z 32.059 * [taylor]: Taking taylor expansion of z in z 32.059 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in z 32.059 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.059 * [taylor]: Taking taylor expansion of 1.0 in z 32.059 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.059 * [taylor]: Taking taylor expansion of y in z 32.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 32.059 * [taylor]: Taking taylor expansion of (* x y) in z 32.059 * [taylor]: Taking taylor expansion of x in z 32.059 * [taylor]: Taking taylor expansion of y in z 32.059 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 32.059 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.059 * [taylor]: Taking taylor expansion of (* x z) in x 32.060 * [taylor]: Taking taylor expansion of x in x 32.060 * [taylor]: Taking taylor expansion of z in x 32.060 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 32.060 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.060 * [taylor]: Taking taylor expansion of 1.0 in x 32.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.060 * [taylor]: Taking taylor expansion of y in x 32.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.060 * [taylor]: Taking taylor expansion of (* x y) in x 32.060 * [taylor]: Taking taylor expansion of x in x 32.060 * [taylor]: Taking taylor expansion of y in x 32.060 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 32.060 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.060 * [taylor]: Taking taylor expansion of (* x z) in x 32.060 * [taylor]: Taking taylor expansion of x in x 32.060 * [taylor]: Taking taylor expansion of z in x 32.060 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 32.060 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.060 * [taylor]: Taking taylor expansion of 1.0 in x 32.060 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.060 * [taylor]: Taking taylor expansion of y in x 32.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.060 * [taylor]: Taking taylor expansion of (* x y) in x 32.060 * [taylor]: Taking taylor expansion of x in x 32.060 * [taylor]: Taking taylor expansion of y in x 32.060 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 32.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 32.060 * [taylor]: Taking taylor expansion of z in z 32.060 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.060 * [taylor]: Taking taylor expansion of y in z 32.060 * [taylor]: Taking taylor expansion of 1 in y 32.061 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in z 32.061 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.061 * [taylor]: Taking taylor expansion of 1.0 in z 32.061 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.061 * [taylor]: Taking taylor expansion of y in z 32.061 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 32.061 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.061 * [taylor]: Taking taylor expansion of y in y 32.061 * [taylor]: Taking taylor expansion of 0 in z 32.061 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 32.062 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.062 * [taylor]: Taking taylor expansion of 1.0 in y 32.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.062 * [taylor]: Taking taylor expansion of y in y 32.062 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 32.062 * [approximate]: Taking taylor expansion of (pow (- (+ (* x z) (* 1.0 y)) (* x y)) 3) in (x z y) around 0 32.062 * [taylor]: Taking taylor expansion of (pow (- (+ (* x z) (* 1.0 y)) (* x y)) 3) in y 32.062 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in y 32.062 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in y 32.062 * [taylor]: Taking taylor expansion of (* x z) in y 32.062 * [taylor]: Taking taylor expansion of x in y 32.062 * [taylor]: Taking taylor expansion of z in y 32.062 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 32.062 * [taylor]: Taking taylor expansion of 1.0 in y 32.062 * [taylor]: Taking taylor expansion of y in y 32.062 * [taylor]: Taking taylor expansion of (* x y) in y 32.062 * [taylor]: Taking taylor expansion of x in y 32.062 * [taylor]: Taking taylor expansion of y in y 32.062 * [taylor]: Taking taylor expansion of (pow (- (+ (* x z) (* 1.0 y)) (* x y)) 3) in z 32.062 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in z 32.062 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in z 32.062 * [taylor]: Taking taylor expansion of (* x z) in z 32.062 * [taylor]: Taking taylor expansion of x in z 32.062 * [taylor]: Taking taylor expansion of z in z 32.063 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 32.063 * [taylor]: Taking taylor expansion of 1.0 in z 32.063 * [taylor]: Taking taylor expansion of y in z 32.063 * [taylor]: Taking taylor expansion of (* x y) in z 32.063 * [taylor]: Taking taylor expansion of x in z 32.063 * [taylor]: Taking taylor expansion of y in z 32.063 * [taylor]: Taking taylor expansion of (pow (- (+ (* x z) (* 1.0 y)) (* x y)) 3) in x 32.063 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 32.063 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 32.063 * [taylor]: Taking taylor expansion of (* x z) in x 32.063 * [taylor]: Taking taylor expansion of x in x 32.063 * [taylor]: Taking taylor expansion of z in x 32.063 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 32.063 * [taylor]: Taking taylor expansion of 1.0 in x 32.063 * [taylor]: Taking taylor expansion of y in x 32.063 * [taylor]: Taking taylor expansion of (* x y) in x 32.063 * [taylor]: Taking taylor expansion of x in x 32.063 * [taylor]: Taking taylor expansion of y in x 32.063 * [taylor]: Taking taylor expansion of (pow (- (+ (* x z) (* 1.0 y)) (* x y)) 3) in x 32.063 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 32.063 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 32.063 * [taylor]: Taking taylor expansion of (* x z) in x 32.063 * [taylor]: Taking taylor expansion of x in x 32.063 * [taylor]: Taking taylor expansion of z in x 32.063 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 32.063 * [taylor]: Taking taylor expansion of 1.0 in x 32.063 * [taylor]: Taking taylor expansion of y in x 32.063 * [taylor]: Taking taylor expansion of (* x y) in x 32.063 * [taylor]: Taking taylor expansion of x in x 32.063 * [taylor]: Taking taylor expansion of y in x 32.064 * [taylor]: Taking taylor expansion of (* 1.0 (pow y 3)) in z 32.064 * [taylor]: Taking taylor expansion of 1.0 in z 32.064 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.064 * [taylor]: Taking taylor expansion of y in z 32.064 * [taylor]: Taking taylor expansion of (* 1.0 (pow y 3)) in y 32.064 * [taylor]: Taking taylor expansion of 1.0 in y 32.064 * [taylor]: Taking taylor expansion of (pow y 3) in y 32.064 * [taylor]: Taking taylor expansion of y in y 32.064 * [taylor]: Taking taylor expansion of (- (* 3.0 (* z (pow y 2))) (* 3.0 (pow y 3))) in z 32.064 * [taylor]: Taking taylor expansion of (* 3.0 (* z (pow y 2))) in z 32.064 * [taylor]: Taking taylor expansion of 3.0 in z 32.064 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 32.064 * [taylor]: Taking taylor expansion of z in z 32.064 * [taylor]: Taking taylor expansion of (pow y 2) in z 32.064 * [taylor]: Taking taylor expansion of y in z 32.064 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 3)) in z 32.064 * [taylor]: Taking taylor expansion of 3.0 in z 32.064 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.064 * [taylor]: Taking taylor expansion of y in z 32.065 * [taylor]: Taking taylor expansion of (neg (* 3.0 (pow y 3))) in y 32.065 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 3)) in y 32.065 * [taylor]: Taking taylor expansion of 3.0 in y 32.065 * [taylor]: Taking taylor expansion of (pow y 3) in y 32.065 * [taylor]: Taking taylor expansion of y in y 32.065 * [taylor]: Taking taylor expansion of 0 in y 32.066 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (* (pow z 2) y)) (* 3.0 (pow y 3))) (* 6.0 (* z (pow y 2)))) in z 32.066 * [taylor]: Taking taylor expansion of (+ (* 3.0 (* (pow z 2) y)) (* 3.0 (pow y 3))) in z 32.066 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow z 2) y)) in z 32.066 * [taylor]: Taking taylor expansion of 3.0 in z 32.066 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 32.066 * [taylor]: Taking taylor expansion of (pow z 2) in z 32.066 * [taylor]: Taking taylor expansion of z in z 32.066 * [taylor]: Taking taylor expansion of y in z 32.066 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 3)) in z 32.066 * [taylor]: Taking taylor expansion of 3.0 in z 32.066 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.066 * [taylor]: Taking taylor expansion of y in z 32.066 * [taylor]: Taking taylor expansion of (* 6.0 (* z (pow y 2))) in z 32.066 * [taylor]: Taking taylor expansion of 6.0 in z 32.066 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 32.066 * [taylor]: Taking taylor expansion of z in z 32.066 * [taylor]: Taking taylor expansion of (pow y 2) in z 32.066 * [taylor]: Taking taylor expansion of y in z 32.067 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 3)) in y 32.067 * [taylor]: Taking taylor expansion of 3.0 in y 32.067 * [taylor]: Taking taylor expansion of (pow y 3) in y 32.067 * [taylor]: Taking taylor expansion of y in y 32.067 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 2)) in y 32.067 * [taylor]: Taking taylor expansion of 3.0 in y 32.067 * [taylor]: Taking taylor expansion of (pow y 2) in y 32.067 * [taylor]: Taking taylor expansion of y in y 32.067 * [taylor]: Taking taylor expansion of 0 in y 32.068 * [taylor]: Taking taylor expansion of (- (+ (pow z 3) (* 3 (* z (pow y 2)))) (+ (* 3 (* (pow z 2) y)) (pow y 3))) in z 32.068 * [taylor]: Taking taylor expansion of (+ (pow z 3) (* 3 (* z (pow y 2)))) in z 32.068 * [taylor]: Taking taylor expansion of (pow z 3) in z 32.068 * [taylor]: Taking taylor expansion of z in z 32.068 * [taylor]: Taking taylor expansion of (* 3 (* z (pow y 2))) in z 32.068 * [taylor]: Taking taylor expansion of 3 in z 32.068 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 32.068 * [taylor]: Taking taylor expansion of z in z 32.068 * [taylor]: Taking taylor expansion of (pow y 2) in z 32.068 * [taylor]: Taking taylor expansion of y in z 32.068 * [taylor]: Taking taylor expansion of (+ (* 3 (* (pow z 2) y)) (pow y 3)) in z 32.068 * [taylor]: Taking taylor expansion of (* 3 (* (pow z 2) y)) in z 32.068 * [taylor]: Taking taylor expansion of 3 in z 32.068 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 32.068 * [taylor]: Taking taylor expansion of (pow z 2) in z 32.069 * [taylor]: Taking taylor expansion of z in z 32.069 * [taylor]: Taking taylor expansion of y in z 32.069 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.069 * [taylor]: Taking taylor expansion of y in z 32.069 * [taylor]: Taking taylor expansion of (neg (pow y 3)) in y 32.069 * [taylor]: Taking taylor expansion of (pow y 3) in y 32.069 * [taylor]: Taking taylor expansion of y in y 32.069 * [taylor]: Taking taylor expansion of (neg (* 6.0 (pow y 2))) in y 32.069 * [taylor]: Taking taylor expansion of (* 6.0 (pow y 2)) in y 32.069 * [taylor]: Taking taylor expansion of 6.0 in y 32.070 * [taylor]: Taking taylor expansion of (pow y 2) in y 32.070 * [taylor]: Taking taylor expansion of y in y 32.070 * [taylor]: Taking taylor expansion of 0 in y 32.070 * [taylor]: Taking taylor expansion of 0 in y 32.070 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) 3) in (x z y) around 0 32.070 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) 3) in y 32.070 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in y 32.070 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in y 32.070 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 32.071 * [taylor]: Taking taylor expansion of (* x z) in y 32.071 * [taylor]: Taking taylor expansion of x in y 32.071 * [taylor]: Taking taylor expansion of z in y 32.071 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.071 * [taylor]: Taking taylor expansion of 1.0 in y 32.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.071 * [taylor]: Taking taylor expansion of y in y 32.071 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 32.071 * [taylor]: Taking taylor expansion of (* x y) in y 32.071 * [taylor]: Taking taylor expansion of x in y 32.071 * [taylor]: Taking taylor expansion of y in y 32.071 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) 3) in z 32.071 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in z 32.071 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in z 32.071 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 32.071 * [taylor]: Taking taylor expansion of (* x z) in z 32.071 * [taylor]: Taking taylor expansion of x in z 32.071 * [taylor]: Taking taylor expansion of z in z 32.071 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.071 * [taylor]: Taking taylor expansion of 1.0 in z 32.071 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.071 * [taylor]: Taking taylor expansion of y in z 32.071 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 32.071 * [taylor]: Taking taylor expansion of (* x y) in z 32.071 * [taylor]: Taking taylor expansion of x in z 32.071 * [taylor]: Taking taylor expansion of y in z 32.071 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) 3) in x 32.071 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 32.071 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 32.071 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.071 * [taylor]: Taking taylor expansion of (* x z) in x 32.071 * [taylor]: Taking taylor expansion of x in x 32.071 * [taylor]: Taking taylor expansion of z in x 32.072 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.072 * [taylor]: Taking taylor expansion of 1.0 in x 32.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.072 * [taylor]: Taking taylor expansion of y in x 32.072 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.072 * [taylor]: Taking taylor expansion of (* x y) in x 32.072 * [taylor]: Taking taylor expansion of x in x 32.072 * [taylor]: Taking taylor expansion of y in x 32.072 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) 3) in x 32.072 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 32.072 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 32.072 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.072 * [taylor]: Taking taylor expansion of (* x z) in x 32.072 * [taylor]: Taking taylor expansion of x in x 32.072 * [taylor]: Taking taylor expansion of z in x 32.072 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.072 * [taylor]: Taking taylor expansion of 1.0 in x 32.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.072 * [taylor]: Taking taylor expansion of y in x 32.072 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.072 * [taylor]: Taking taylor expansion of (* x y) in x 32.072 * [taylor]: Taking taylor expansion of x in x 32.072 * [taylor]: Taking taylor expansion of y in x 32.073 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 y)) 3) in z 32.073 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 32.073 * [taylor]: Taking taylor expansion of (/ 1 z) in z 32.073 * [taylor]: Taking taylor expansion of z in z 32.073 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.073 * [taylor]: Taking taylor expansion of y in z 32.073 * [taylor]: Taking taylor expansion of 1 in y 32.074 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (* (pow z 2) y))) (* 3.0 (/ 1 (pow y 3)))) (* 6.0 (/ 1 (* z (pow y 2))))) in z 32.074 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (* (pow z 2) y))) (* 3.0 (/ 1 (pow y 3)))) in z 32.074 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* (pow z 2) y))) in z 32.074 * [taylor]: Taking taylor expansion of 3.0 in z 32.074 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 32.074 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 32.074 * [taylor]: Taking taylor expansion of (pow z 2) in z 32.074 * [taylor]: Taking taylor expansion of z in z 32.074 * [taylor]: Taking taylor expansion of y in z 32.074 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow y 3))) in z 32.074 * [taylor]: Taking taylor expansion of 3.0 in z 32.074 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 32.074 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.074 * [taylor]: Taking taylor expansion of y in z 32.074 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z (pow y 2)))) in z 32.074 * [taylor]: Taking taylor expansion of 6.0 in z 32.074 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in z 32.074 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 32.074 * [taylor]: Taking taylor expansion of z in z 32.074 * [taylor]: Taking taylor expansion of (pow y 2) in z 32.074 * [taylor]: Taking taylor expansion of y in z 32.075 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 y))) in y 32.075 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 32.075 * [taylor]: Taking taylor expansion of 3 in y 32.075 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.075 * [taylor]: Taking taylor expansion of y in y 32.076 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* z (pow y 2)))) (* 3.0 (/ 1 (pow y 3)))) in z 32.076 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* z (pow y 2)))) in z 32.076 * [taylor]: Taking taylor expansion of 3.0 in z 32.076 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in z 32.076 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 32.076 * [taylor]: Taking taylor expansion of z in z 32.076 * [taylor]: Taking taylor expansion of (pow y 2) in z 32.076 * [taylor]: Taking taylor expansion of y in z 32.076 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow y 3))) in z 32.076 * [taylor]: Taking taylor expansion of 3.0 in z 32.076 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 32.076 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.076 * [taylor]: Taking taylor expansion of y in z 32.077 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 32.077 * [taylor]: Taking taylor expansion of 3.0 in y 32.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.077 * [taylor]: Taking taylor expansion of y in y 32.077 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 32.077 * [taylor]: Taking taylor expansion of 3 in y 32.077 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 32.077 * [taylor]: Taking taylor expansion of (pow y 2) in y 32.077 * [taylor]: Taking taylor expansion of y in y 32.078 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow y 3))) in z 32.078 * [taylor]: Taking taylor expansion of 1.0 in z 32.078 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 32.078 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.078 * [taylor]: Taking taylor expansion of y in z 32.079 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (pow y 2)))) in y 32.079 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow y 2))) in y 32.079 * [taylor]: Taking taylor expansion of 6.0 in y 32.079 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 32.079 * [taylor]: Taking taylor expansion of (pow y 2) in y 32.079 * [taylor]: Taking taylor expansion of y in y 32.079 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 3))) in y 32.079 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 32.079 * [taylor]: Taking taylor expansion of (pow y 3) in y 32.079 * [taylor]: Taking taylor expansion of y in y 32.080 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) 3) in (x z y) around 0 32.080 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) 3) in y 32.080 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in y 32.080 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 32.080 * [taylor]: Taking taylor expansion of (* x z) in y 32.080 * [taylor]: Taking taylor expansion of x in y 32.080 * [taylor]: Taking taylor expansion of z in y 32.080 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in y 32.081 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.081 * [taylor]: Taking taylor expansion of 1.0 in y 32.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.081 * [taylor]: Taking taylor expansion of y in y 32.081 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 32.081 * [taylor]: Taking taylor expansion of (* x y) in y 32.081 * [taylor]: Taking taylor expansion of x in y 32.081 * [taylor]: Taking taylor expansion of y in y 32.081 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) 3) in z 32.081 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in z 32.081 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 32.081 * [taylor]: Taking taylor expansion of (* x z) in z 32.081 * [taylor]: Taking taylor expansion of x in z 32.081 * [taylor]: Taking taylor expansion of z in z 32.081 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in z 32.081 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.081 * [taylor]: Taking taylor expansion of 1.0 in z 32.081 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.081 * [taylor]: Taking taylor expansion of y in z 32.081 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 32.081 * [taylor]: Taking taylor expansion of (* x y) in z 32.081 * [taylor]: Taking taylor expansion of x in z 32.081 * [taylor]: Taking taylor expansion of y in z 32.081 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) 3) in x 32.081 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 32.081 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.081 * [taylor]: Taking taylor expansion of (* x z) in x 32.081 * [taylor]: Taking taylor expansion of x in x 32.081 * [taylor]: Taking taylor expansion of z in x 32.081 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 32.081 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.081 * [taylor]: Taking taylor expansion of 1.0 in x 32.081 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.082 * [taylor]: Taking taylor expansion of y in x 32.082 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.082 * [taylor]: Taking taylor expansion of (* x y) in x 32.082 * [taylor]: Taking taylor expansion of x in x 32.082 * [taylor]: Taking taylor expansion of y in x 32.082 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) 3) in x 32.082 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 32.082 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.082 * [taylor]: Taking taylor expansion of (* x z) in x 32.082 * [taylor]: Taking taylor expansion of x in x 32.082 * [taylor]: Taking taylor expansion of z in x 32.082 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 32.082 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.082 * [taylor]: Taking taylor expansion of 1.0 in x 32.082 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.082 * [taylor]: Taking taylor expansion of y in x 32.082 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.082 * [taylor]: Taking taylor expansion of (* x y) in x 32.082 * [taylor]: Taking taylor expansion of x in x 32.082 * [taylor]: Taking taylor expansion of y in x 32.083 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 y)) 3) in z 32.083 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 32.083 * [taylor]: Taking taylor expansion of (/ 1 z) in z 32.083 * [taylor]: Taking taylor expansion of z in z 32.083 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.083 * [taylor]: Taking taylor expansion of y in z 32.083 * [taylor]: Taking taylor expansion of 1 in y 32.084 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z (pow y 2)))) (+ (* 3.0 (/ 1 (* (pow z 2) y))) (* 3.0 (/ 1 (pow y 3))))) in z 32.084 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z (pow y 2)))) in z 32.084 * [taylor]: Taking taylor expansion of 6.0 in z 32.084 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in z 32.084 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 32.084 * [taylor]: Taking taylor expansion of z in z 32.084 * [taylor]: Taking taylor expansion of (pow y 2) in z 32.084 * [taylor]: Taking taylor expansion of y in z 32.084 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (* (pow z 2) y))) (* 3.0 (/ 1 (pow y 3)))) in z 32.084 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* (pow z 2) y))) in z 32.084 * [taylor]: Taking taylor expansion of 3.0 in z 32.084 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in z 32.084 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in z 32.084 * [taylor]: Taking taylor expansion of (pow z 2) in z 32.084 * [taylor]: Taking taylor expansion of z in z 32.084 * [taylor]: Taking taylor expansion of y in z 32.084 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow y 3))) in z 32.084 * [taylor]: Taking taylor expansion of 3.0 in z 32.084 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 32.084 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.084 * [taylor]: Taking taylor expansion of y in z 32.085 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 y))) in y 32.085 * [taylor]: Taking taylor expansion of (* 3 (/ 1 y)) in y 32.085 * [taylor]: Taking taylor expansion of 3 in y 32.085 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.085 * [taylor]: Taking taylor expansion of y in y 32.086 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* z (pow y 2)))) (* 3.0 (/ 1 (pow y 3)))) in z 32.086 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* z (pow y 2)))) in z 32.086 * [taylor]: Taking taylor expansion of 3.0 in z 32.086 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in z 32.086 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in z 32.086 * [taylor]: Taking taylor expansion of z in z 32.086 * [taylor]: Taking taylor expansion of (pow y 2) in z 32.086 * [taylor]: Taking taylor expansion of y in z 32.086 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow y 3))) in z 32.086 * [taylor]: Taking taylor expansion of 3.0 in z 32.086 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 32.086 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.086 * [taylor]: Taking taylor expansion of y in z 32.087 * [taylor]: Taking taylor expansion of (neg (* 3.0 (/ 1 y))) in y 32.087 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 y)) in y 32.087 * [taylor]: Taking taylor expansion of 3.0 in y 32.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.087 * [taylor]: Taking taylor expansion of y in y 32.087 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 2))) in y 32.087 * [taylor]: Taking taylor expansion of 3 in y 32.087 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 32.087 * [taylor]: Taking taylor expansion of (pow y 2) in y 32.087 * [taylor]: Taking taylor expansion of y in y 32.088 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (pow y 3)))) in z 32.088 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow y 3))) in z 32.088 * [taylor]: Taking taylor expansion of 1.0 in z 32.088 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in z 32.088 * [taylor]: Taking taylor expansion of (pow y 3) in z 32.088 * [taylor]: Taking taylor expansion of y in z 32.089 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow y 2))) in y 32.089 * [taylor]: Taking taylor expansion of 6.0 in y 32.089 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 32.089 * [taylor]: Taking taylor expansion of (pow y 2) in y 32.089 * [taylor]: Taking taylor expansion of y in y 32.089 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow y 3))) in y 32.089 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 32.089 * [taylor]: Taking taylor expansion of (pow y 3) in y 32.089 * [taylor]: Taking taylor expansion of y in y 32.090 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 32.090 * [approximate]: Taking taylor expansion of (* (- 1.0 x) y) in (x y) around 0 32.090 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in y 32.090 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 32.090 * [taylor]: Taking taylor expansion of 1.0 in y 32.090 * [taylor]: Taking taylor expansion of x in y 32.090 * [taylor]: Taking taylor expansion of y in y 32.090 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in x 32.090 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 32.090 * [taylor]: Taking taylor expansion of 1.0 in x 32.090 * [taylor]: Taking taylor expansion of x in x 32.090 * [taylor]: Taking taylor expansion of y in x 32.090 * [taylor]: Taking taylor expansion of (* (- 1.0 x) y) in x 32.090 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 32.090 * [taylor]: Taking taylor expansion of 1.0 in x 32.090 * [taylor]: Taking taylor expansion of x in x 32.090 * [taylor]: Taking taylor expansion of y in x 32.091 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 32.091 * [taylor]: Taking taylor expansion of 1.0 in y 32.091 * [taylor]: Taking taylor expansion of y in y 32.091 * [taylor]: Taking taylor expansion of (neg y) in y 32.091 * [taylor]: Taking taylor expansion of y in y 32.091 * [taylor]: Taking taylor expansion of 0 in y 32.091 * [taylor]: Taking taylor expansion of 0 in y 32.091 * [taylor]: Taking taylor expansion of 0 in y 32.091 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in (x y) around 0 32.091 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 32.091 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 32.091 * [taylor]: Taking taylor expansion of 1.0 in y 32.091 * [taylor]: Taking taylor expansion of (/ 1 x) in y 32.091 * [taylor]: Taking taylor expansion of x in y 32.091 * [taylor]: Taking taylor expansion of y in y 32.092 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 32.092 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 32.092 * [taylor]: Taking taylor expansion of 1.0 in x 32.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.092 * [taylor]: Taking taylor expansion of x in x 32.092 * [taylor]: Taking taylor expansion of y in x 32.092 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 32.092 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 32.092 * [taylor]: Taking taylor expansion of 1.0 in x 32.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.092 * [taylor]: Taking taylor expansion of x in x 32.092 * [taylor]: Taking taylor expansion of y in x 32.092 * [taylor]: Taking taylor expansion of (/ -1 y) in y 32.092 * [taylor]: Taking taylor expansion of -1 in y 32.092 * [taylor]: Taking taylor expansion of y in y 32.092 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.092 * [taylor]: Taking taylor expansion of 1.0 in y 32.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.092 * [taylor]: Taking taylor expansion of y in y 32.092 * [taylor]: Taking taylor expansion of 0 in y 32.093 * [taylor]: Taking taylor expansion of 0 in y 32.093 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in (x y) around 0 32.093 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in y 32.093 * [taylor]: Taking taylor expansion of -1 in y 32.093 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 32.093 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 32.093 * [taylor]: Taking taylor expansion of (/ 1 x) in y 32.093 * [taylor]: Taking taylor expansion of x in y 32.093 * [taylor]: Taking taylor expansion of 1.0 in y 32.093 * [taylor]: Taking taylor expansion of y in y 32.093 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in x 32.093 * [taylor]: Taking taylor expansion of -1 in x 32.093 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 32.093 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 32.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.094 * [taylor]: Taking taylor expansion of x in x 32.094 * [taylor]: Taking taylor expansion of 1.0 in x 32.094 * [taylor]: Taking taylor expansion of y in x 32.094 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) y)) in x 32.094 * [taylor]: Taking taylor expansion of -1 in x 32.094 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 32.094 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 32.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 32.094 * [taylor]: Taking taylor expansion of x in x 32.094 * [taylor]: Taking taylor expansion of 1.0 in x 32.094 * [taylor]: Taking taylor expansion of y in x 32.094 * [taylor]: Taking taylor expansion of (/ -1 y) in y 32.094 * [taylor]: Taking taylor expansion of -1 in y 32.094 * [taylor]: Taking taylor expansion of y in y 32.094 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 32.094 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.094 * [taylor]: Taking taylor expansion of 1.0 in y 32.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.094 * [taylor]: Taking taylor expansion of y in y 32.094 * [taylor]: Taking taylor expansion of 0 in y 32.095 * [taylor]: Taking taylor expansion of 0 in y 32.095 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 32.095 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in (x z y) around 0 32.095 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in y 32.095 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in y 32.095 * [taylor]: Taking taylor expansion of (* x z) in y 32.095 * [taylor]: Taking taylor expansion of x in y 32.095 * [taylor]: Taking taylor expansion of z in y 32.095 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 32.095 * [taylor]: Taking taylor expansion of 1.0 in y 32.095 * [taylor]: Taking taylor expansion of y in y 32.096 * [taylor]: Taking taylor expansion of (* x y) in y 32.096 * [taylor]: Taking taylor expansion of x in y 32.096 * [taylor]: Taking taylor expansion of y in y 32.096 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in z 32.096 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in z 32.096 * [taylor]: Taking taylor expansion of (* x z) in z 32.096 * [taylor]: Taking taylor expansion of x in z 32.096 * [taylor]: Taking taylor expansion of z in z 32.096 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 32.096 * [taylor]: Taking taylor expansion of 1.0 in z 32.096 * [taylor]: Taking taylor expansion of y in z 32.096 * [taylor]: Taking taylor expansion of (* x y) in z 32.096 * [taylor]: Taking taylor expansion of x in z 32.096 * [taylor]: Taking taylor expansion of y in z 32.096 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 32.096 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 32.096 * [taylor]: Taking taylor expansion of (* x z) in x 32.096 * [taylor]: Taking taylor expansion of x in x 32.096 * [taylor]: Taking taylor expansion of z in x 32.096 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 32.096 * [taylor]: Taking taylor expansion of 1.0 in x 32.096 * [taylor]: Taking taylor expansion of y in x 32.096 * [taylor]: Taking taylor expansion of (* x y) in x 32.096 * [taylor]: Taking taylor expansion of x in x 32.096 * [taylor]: Taking taylor expansion of y in x 32.096 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* 1.0 y)) (* x y)) in x 32.096 * [taylor]: Taking taylor expansion of (+ (* x z) (* 1.0 y)) in x 32.096 * [taylor]: Taking taylor expansion of (* x z) in x 32.096 * [taylor]: Taking taylor expansion of x in x 32.096 * [taylor]: Taking taylor expansion of z in x 32.096 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 32.096 * [taylor]: Taking taylor expansion of 1.0 in x 32.096 * [taylor]: Taking taylor expansion of y in x 32.096 * [taylor]: Taking taylor expansion of (* x y) in x 32.096 * [taylor]: Taking taylor expansion of x in x 32.096 * [taylor]: Taking taylor expansion of y in x 32.096 * [taylor]: Taking taylor expansion of (* 1.0 y) in z 32.096 * [taylor]: Taking taylor expansion of 1.0 in z 32.096 * [taylor]: Taking taylor expansion of y in z 32.096 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 32.096 * [taylor]: Taking taylor expansion of 1.0 in y 32.096 * [taylor]: Taking taylor expansion of y in y 32.097 * [taylor]: Taking taylor expansion of (- z y) in z 32.097 * [taylor]: Taking taylor expansion of z in z 32.097 * [taylor]: Taking taylor expansion of y in z 32.097 * [taylor]: Taking taylor expansion of (neg y) in y 32.097 * [taylor]: Taking taylor expansion of y in y 32.097 * [taylor]: Taking taylor expansion of 0 in y 32.097 * [taylor]: Taking taylor expansion of 0 in z 32.097 * [taylor]: Taking taylor expansion of 0 in y 32.097 * [taylor]: Taking taylor expansion of 1 in y 32.097 * [taylor]: Taking taylor expansion of 0 in y 32.097 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in (x z y) around 0 32.098 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in y 32.098 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in y 32.098 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 32.098 * [taylor]: Taking taylor expansion of (* x z) in y 32.098 * [taylor]: Taking taylor expansion of x in y 32.098 * [taylor]: Taking taylor expansion of z in y 32.098 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.098 * [taylor]: Taking taylor expansion of 1.0 in y 32.098 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.098 * [taylor]: Taking taylor expansion of y in y 32.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 32.098 * [taylor]: Taking taylor expansion of (* x y) in y 32.098 * [taylor]: Taking taylor expansion of x in y 32.098 * [taylor]: Taking taylor expansion of y in y 32.098 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in z 32.098 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in z 32.098 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 32.098 * [taylor]: Taking taylor expansion of (* x z) in z 32.098 * [taylor]: Taking taylor expansion of x in z 32.098 * [taylor]: Taking taylor expansion of z in z 32.098 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.098 * [taylor]: Taking taylor expansion of 1.0 in z 32.098 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.098 * [taylor]: Taking taylor expansion of y in z 32.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 32.098 * [taylor]: Taking taylor expansion of (* x y) in z 32.098 * [taylor]: Taking taylor expansion of x in z 32.098 * [taylor]: Taking taylor expansion of y in z 32.098 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 32.098 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 32.098 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.098 * [taylor]: Taking taylor expansion of (* x z) in x 32.098 * [taylor]: Taking taylor expansion of x in x 32.098 * [taylor]: Taking taylor expansion of z in x 32.099 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.099 * [taylor]: Taking taylor expansion of 1.0 in x 32.099 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.099 * [taylor]: Taking taylor expansion of y in x 32.099 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.099 * [taylor]: Taking taylor expansion of (* x y) in x 32.099 * [taylor]: Taking taylor expansion of x in x 32.099 * [taylor]: Taking taylor expansion of y in x 32.099 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) (/ 1 (* x y))) in x 32.099 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 y))) in x 32.099 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.099 * [taylor]: Taking taylor expansion of (* x z) in x 32.099 * [taylor]: Taking taylor expansion of x in x 32.099 * [taylor]: Taking taylor expansion of z in x 32.099 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.099 * [taylor]: Taking taylor expansion of 1.0 in x 32.099 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.099 * [taylor]: Taking taylor expansion of y in x 32.099 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.099 * [taylor]: Taking taylor expansion of (* x y) in x 32.099 * [taylor]: Taking taylor expansion of x in x 32.099 * [taylor]: Taking taylor expansion of y in x 32.099 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 32.100 * [taylor]: Taking taylor expansion of (/ 1 z) in z 32.100 * [taylor]: Taking taylor expansion of z in z 32.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.100 * [taylor]: Taking taylor expansion of y in z 32.100 * [taylor]: Taking taylor expansion of 1 in y 32.100 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.100 * [taylor]: Taking taylor expansion of 1.0 in z 32.100 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.100 * [taylor]: Taking taylor expansion of y in z 32.100 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 32.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.100 * [taylor]: Taking taylor expansion of y in y 32.101 * [taylor]: Taking taylor expansion of 0 in z 32.101 * [taylor]: Taking taylor expansion of (/ 1.0 y) in y 32.101 * [taylor]: Taking taylor expansion of 1.0 in y 32.101 * [taylor]: Taking taylor expansion of y in y 32.101 * [approximate]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in (x z y) around 0 32.101 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in y 32.101 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 32.101 * [taylor]: Taking taylor expansion of (* x z) in y 32.101 * [taylor]: Taking taylor expansion of x in y 32.101 * [taylor]: Taking taylor expansion of z in y 32.101 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in y 32.101 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.101 * [taylor]: Taking taylor expansion of 1.0 in y 32.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.101 * [taylor]: Taking taylor expansion of y in y 32.101 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 32.101 * [taylor]: Taking taylor expansion of (* x y) in y 32.101 * [taylor]: Taking taylor expansion of x in y 32.101 * [taylor]: Taking taylor expansion of y in y 32.102 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in z 32.102 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 32.102 * [taylor]: Taking taylor expansion of (* x z) in z 32.102 * [taylor]: Taking taylor expansion of x in z 32.102 * [taylor]: Taking taylor expansion of z in z 32.102 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in z 32.102 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.102 * [taylor]: Taking taylor expansion of 1.0 in z 32.102 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.102 * [taylor]: Taking taylor expansion of y in z 32.102 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 32.102 * [taylor]: Taking taylor expansion of (* x y) in z 32.102 * [taylor]: Taking taylor expansion of x in z 32.102 * [taylor]: Taking taylor expansion of y in z 32.102 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 32.102 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.102 * [taylor]: Taking taylor expansion of (* x z) in x 32.102 * [taylor]: Taking taylor expansion of x in x 32.102 * [taylor]: Taking taylor expansion of z in x 32.102 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 32.102 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.102 * [taylor]: Taking taylor expansion of 1.0 in x 32.102 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.102 * [taylor]: Taking taylor expansion of y in x 32.102 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.102 * [taylor]: Taking taylor expansion of (* x y) in x 32.102 * [taylor]: Taking taylor expansion of x in x 32.102 * [taylor]: Taking taylor expansion of y in x 32.102 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (+ (* 1.0 (/ 1 y)) (/ 1 (* x y)))) in x 32.103 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 32.103 * [taylor]: Taking taylor expansion of (* x z) in x 32.103 * [taylor]: Taking taylor expansion of x in x 32.103 * [taylor]: Taking taylor expansion of z in x 32.103 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 y)) (/ 1 (* x y))) in x 32.103 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 32.103 * [taylor]: Taking taylor expansion of 1.0 in x 32.103 * [taylor]: Taking taylor expansion of (/ 1 y) in x 32.103 * [taylor]: Taking taylor expansion of y in x 32.103 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 32.103 * [taylor]: Taking taylor expansion of (* x y) in x 32.103 * [taylor]: Taking taylor expansion of x in x 32.103 * [taylor]: Taking taylor expansion of y in x 32.103 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 32.103 * [taylor]: Taking taylor expansion of (/ 1 z) in z 32.103 * [taylor]: Taking taylor expansion of z in z 32.103 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.103 * [taylor]: Taking taylor expansion of y in z 32.103 * [taylor]: Taking taylor expansion of 1 in y 32.103 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in z 32.103 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in z 32.103 * [taylor]: Taking taylor expansion of 1.0 in z 32.103 * [taylor]: Taking taylor expansion of (/ 1 y) in z 32.104 * [taylor]: Taking taylor expansion of y in z 32.104 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 32.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.104 * [taylor]: Taking taylor expansion of y in y 32.104 * [taylor]: Taking taylor expansion of 0 in z 32.104 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 32.104 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 32.104 * [taylor]: Taking taylor expansion of 1.0 in y 32.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 32.104 * [taylor]: Taking taylor expansion of y in y 32.105 * * * [progress]: simplifying candidates 32.106 * [simplify]: Simplifying using # : (log (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (exp (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (cbrt (pow (* (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (+ (* x z) (* (- 1.0 x) y)))) 3)) (cbrt (pow (cbrt (+ (* x z) (* (- 1.0 x) y))) 3)) (cbrt (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3)) (cbrt (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (cbrt (* (+ (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y)))) (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (* (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)))) (cbrt (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (cbrt (pow (* (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (+ (* x z) (* (- 1.0 x) y)))) 3)) (cbrt (pow (cbrt (+ (* x z) (* (- 1.0 x) y))) 3)) (cbrt (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3)) (cbrt (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (* (+ (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y)))) (cbrt (sqrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (cbrt (sqrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (cbrt 1) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) (/ 3 2))) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) (/ 3 2))) (cbrt (pow (+ (pow (* x z) 3) (pow (* (- 1.0 x) y) 3)) 3)) (cbrt (pow (+ (* (* x z) (* x z)) (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* (- 1.0 x) y)))) 3)) (cbrt (pow (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (* (- 1.0 x) y))) 3)) (cbrt (pow (- (* x z) (* (- 1.0 x) y)) 3)) (* (cbrt (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (cbrt (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)))) (cbrt (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (* (* (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (sqrt (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (sqrt (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (* (log (+ (* x z) (* (- 1.0 x) y))) 3) (* (log (+ (* x z) (* (- 1.0 x) y))) 3) (* 1 3) (pow (+ (* x z) (* (- 1.0 x) y)) (* (cbrt 3) (cbrt 3))) (pow (+ (* x z) (* (- 1.0 x) y)) (sqrt 3)) (pow (+ (* x z) (* (- 1.0 x) y)) 1) (pow (* (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (+ (* x z) (* (- 1.0 x) y)))) 3) (pow (cbrt (+ (* x z) (* (- 1.0 x) y))) 3) (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3) (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3) (pow 1 3) (pow (+ (* x z) (* (- 1.0 x) y)) 3) (* (+ (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y))) (log (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (exp (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (* (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (* (* (pow (+ (* x z) (* (- 1.0 x) y)) 3) (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (pow (* (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (+ (* x z) (* (- 1.0 x) y)))) 3) (pow (cbrt (+ (* x z) (* (- 1.0 x) y))) 3) (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3) (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3) (pow 1 3) (pow (+ (* x z) (* (- 1.0 x) y)) 3) (pow (+ (pow (* x z) 3) (pow (* (- 1.0 x) y) 3)) 3) (pow (+ (* (* x z) (* x z)) (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* (- 1.0 x) y)))) 3) (pow (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (* (- 1.0 x) y))) 3) (pow (- (* x z) (* (- 1.0 x) y)) 3) (* (+ (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y))) (sqrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (sqrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (pow (+ (* x z) (* (- 1.0 x) y)) (/ 3 2)) (pow (+ (* x z) (* (- 1.0 x) y)) (/ 3 2)) (* (- 1.0 x) y) (+ (log (- 1.0 x)) (log y)) (log (* (- 1.0 x) y)) (exp (* (- 1.0 x) y)) (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* y y) y)) (* (cbrt (* (- 1.0 x) y)) (cbrt (* (- 1.0 x) y))) (cbrt (* (- 1.0 x) y)) (* (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (- 1.0 x) y)) (sqrt (* (- 1.0 x) y)) (sqrt (* (- 1.0 x) y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (- 1.0 x) (* (cbrt y) (cbrt y))) (* (- 1.0 x) (sqrt y)) (* (- 1.0 x) 1) (* (cbrt (- 1.0 x)) y) (* (sqrt (- 1.0 x)) y) (* (- 1.0 x) y) (* (- (sqrt 1.0) (sqrt x)) y) (* (- 1.0 x) y) (* (- (pow 1.0 3) (pow x 3)) y) (* (- (* 1.0 1.0) (* x x)) y) (* (exp (* x z)) (exp (* (- 1.0 x) y))) (log (+ (* x z) (* (- 1.0 x) y))) (exp (+ (* x z) (* (- 1.0 x) y))) (* (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (+ (* x z) (* (- 1.0 x) y)))) (cbrt (+ (* x z) (* (- 1.0 x) y))) (* (* (+ (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y))) (+ (* x z) (* (- 1.0 x) y))) (sqrt (+ (* x z) (* (- 1.0 x) y))) (sqrt (+ (* x z) (* (- 1.0 x) y))) (+ (pow (* x z) 3) (pow (* (- 1.0 x) y) 3)) (+ (* (* x z) (* x z)) (- (* (* (- 1.0 x) y) (* (- 1.0 x) y)) (* (* x z) (* (- 1.0 x) y)))) (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (* (- 1.0 x) y))) (- (* x z) (* (- 1.0 x) y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) 0 (- (* 3 (* (pow x 3) (* z (pow y 2)))) (+ (* (pow x 3) (pow y 3)) (* 3 (* (pow x 3) (* (pow z 2) y))))) (- (* 3 (* (pow x 3) (* z (pow y 2)))) (+ (* (pow x 3) (pow y 3)) (* 3 (* (pow x 3) (* (pow z 2) y))))) (- (* 1.0 y) (* x y)) (- (* 1.0 y) (* x y)) (- (* 1.0 y) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) (- (+ (* x z) (* 1.0 y)) (* x y)) 32.114 * * [simplify]: iteration 0 : 130 enodes (cost 1511 ) 32.132 * * [simplify]: iteration 1 : 345 enodes (cost 1336 ) 32.204 * * [simplify]: iteration 2 : 1373 enodes (cost 1175 ) 32.548 * * [simplify]: iteration done : 5001 enodes (cost 1163 ) 32.548 * [simplify]: Simplified to: (log (+ (* x z) (* (- 1.0 x) y))) (exp (+ (* x z) (* (- 1.0 x) y))) (cbrt (pow (+ (* (- 1.0 x) y) (* x z)) 2)) (cbrt (+ (* x z) (* (- 1.0 x) y))) (sqrt (+ (* x z) (* (- 1.0 x) y))) (sqrt (+ (* x z) (* (- 1.0 x) y))) 1 (+ (* x z) (* (- 1.0 x) y)) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 2)) (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 2)) (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (pow (+ (* (- 1.0 x) y) (* x z)) 2)) (cbrt (+ (* x z) (* (- 1.0 x) y))) (sqrt (+ (* x z) (* (- 1.0 x) y))) (sqrt (+ (* x z) (* (- 1.0 x) y))) 1 (+ (* x z) (* (- 1.0 x) y)) (cbrt (+ (* x z) (* (- 1.0 x) y))) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 2)) (cbrt (sqrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) (cbrt (sqrt (pow (+ (* x z) (* (- 1.0 x) y)) 3))) 1 (+ (* x z) (* (- 1.0 x) y)) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3/2)) (cbrt (pow (+ (* x z) (* (- 1.0 x) y)) 3/2)) (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (+ (* (* (- 1.0 x) y) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z))) (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (* (- 1.0 x) y))) (- (* x z) (* (- 1.0 x) y)) (cbrt (pow (+ (* (- 1.0 x) y) (* x z)) 2)) (cbrt (+ (* x z) (* (- 1.0 x) y))) (pow (+ (* (- 1.0 x) y) (* x z)) 3) (sqrt (+ (* x z) (* (- 1.0 x) y))) (sqrt (+ (* x z) (* (- 1.0 x) y))) (* (log (+ (* x z) (* (- 1.0 x) y))) 3) (* (log (+ (* x z) (* (- 1.0 x) y))) 3) 3 (pow (+ (* x z) (* (- 1.0 x) y)) (* (cbrt 3) (cbrt 3))) (pow (+ (* x z) (* (- 1.0 x) y)) (sqrt 3)) (+ (* x z) (* (- 1.0 x) y)) (pow (+ (* (- 1.0 x) y) (* x z)) 2) (+ (* x z) (* (- 1.0 x) y)) (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3) (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3) 1 (pow (+ (* (- 1.0 x) y) (* x z)) 3) (pow (+ (* (- 1.0 x) y) (* x z)) 2) (* (log (+ (* x z) (* (- 1.0 x) y))) 3) (exp (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (pow (+ (* (- 1.0 x) y) (* x z)) 2) (+ (* x z) (* (- 1.0 x) y)) (pow (pow (+ (* x z) (* (- 1.0 x) y)) 3) 3) (pow (+ (* (- 1.0 x) y) (* x z)) 2) (+ (* x z) (* (- 1.0 x) y)) (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3) (pow (sqrt (+ (* x z) (* (- 1.0 x) y))) 3) 1 (pow (+ (* (- 1.0 x) y) (* x z)) 3) (pow (+ (pow (* x z) 3) (pow (* (- 1.0 x) y) 3)) 3) (pow (+ (* (* (- 1.0 x) y) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z))) 3) (pow (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (* (- 1.0 x) y))) 3) (pow (- (* x z) (* (- 1.0 x) y)) 3) (pow (+ (* (- 1.0 x) y) (* x z)) 2) (sqrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (sqrt (pow (+ (* x z) (* (- 1.0 x) y)) 3)) (pow (+ (* x z) (* (- 1.0 x) y)) 3/2) (pow (+ (* x z) (* (- 1.0 x) y)) 3/2) (* (- 1.0 x) y) (log (* (- 1.0 x) y)) (log (* (- 1.0 x) y)) (exp (* (- 1.0 x) y)) (pow (* (- 1.0 x) y) 3) (* (cbrt (* (- 1.0 x) y)) (cbrt (* (- 1.0 x) y))) (cbrt (* (- 1.0 x) y)) (pow (* (- 1.0 x) y) 3) (sqrt (* (- 1.0 x) y)) (sqrt (* (- 1.0 x) y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (sqrt (- 1.0 x)) (sqrt y)) (* (- 1.0 x) (* (cbrt y) (cbrt y))) (* (- 1.0 x) (sqrt y)) (- 1.0 x) (* (cbrt (- 1.0 x)) y) (* (sqrt (- 1.0 x)) y) (* (- 1.0 x) y) (* (- (sqrt 1.0) (sqrt x)) y) (* (- 1.0 x) y) (* (- (pow 1.0 3) (pow x 3)) y) (* (- (* 1.0 1.0) (* x x)) y) (exp (+ (* x z) (* (- 1.0 x) y))) (log (+ (* x z) (* (- 1.0 x) y))) (exp (+ (* x z) (* (- 1.0 x) y))) (cbrt (pow (+ (* (- 1.0 x) y) (* x z)) 2)) (cbrt (+ (* x z) (* (- 1.0 x) y))) (pow (+ (* (- 1.0 x) y) (* x z)) 3) (sqrt (+ (* x z) (* (- 1.0 x) y))) (sqrt (+ (* x z) (* (- 1.0 x) y))) (+ (pow (* (- 1.0 x) y) 3) (pow (* x z) 3)) (+ (* (* (- 1.0 x) y) (- (* (- 1.0 x) y) (* x z))) (* (* x z) (* x z))) (- (* (* x z) (* x z)) (* (* (- 1.0 x) y) (* (- 1.0 x) y))) (- (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y)) 0 (- (* 3 (* (pow x 3) (* z (pow y 2)))) (+ (* (pow x 3) (pow y 3)) (* 3 (* (pow x 3) (* (pow z 2) y))))) (- (* 3 (* (pow x 3) (* z (pow y 2)))) (+ (* (pow x 3) (pow y 3)) (* 3 (* (pow x 3) (* (pow z 2) y))))) (* (- 1.0 x) y) (* (- 1.0 x) y) (* (- 1.0 x) y) (+ (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y)) (+ (* x z) (* (- 1.0 x) y)) 32.549 * * * [progress]: adding candidates to table 32.666 * [progress]: [Phase 3 of 3] Extracting. 32.666 * * [regime]: Finding splitpoints for: (# # #) 32.667 * * * [regime-changes]: Trying 4 branch expressions: ((+ (* (- 1.0 x) y) (* x z)) z y x) 32.667 * * * * [regimes]: Trying to branch on (+ (* (- 1.0 x) y) (* x z)) from (# # #) 32.714 * * * * [regimes]: Trying to branch on z from (# # #) 32.756 * * * * [regimes]: Trying to branch on y from (# # #) 32.800 * * * * [regimes]: Trying to branch on x from (# # #) 32.845 * * * [regime]: Found split indices: #