2.930 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.023 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying using # : (+ (* x y) (* (- 1.0 x) z)) 0.027 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.028 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.030 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 0.032 * * [simplify]: iteration 3 : 30 enodes (cost 9 ) 0.035 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 0.040 * * [simplify]: iteration 5 : 46 enodes (cost 9 ) 0.046 * * [simplify]: iteration 6 : 57 enodes (cost 9 ) 0.053 * * [simplify]: iteration 7 : 78 enodes (cost 9 ) 0.067 * * [simplify]: iteration 8 : 115 enodes (cost 9 ) 0.085 * * [simplify]: iteration 9 : 171 enodes (cost 9 ) 0.109 * * [simplify]: iteration 10 : 237 enodes (cost 9 ) 0.141 * * [simplify]: iteration 11 : 298 enodes (cost 9 ) 0.179 * * [simplify]: iteration 12 : 375 enodes (cost 9 ) 0.228 * * [simplify]: iteration 13 : 451 enodes (cost 9 ) 0.280 * * [simplify]: iteration 14 : 509 enodes (cost 9 ) 0.340 * * [simplify]: iteration 15 : 567 enodes (cost 9 ) 0.404 * * [simplify]: iteration 16 : 625 enodes (cost 9 ) 0.474 * * [simplify]: iteration 17 : 682 enodes (cost 9 ) 0.548 * * [simplify]: iteration 18 : 739 enodes (cost 9 ) 0.628 * * [simplify]: iteration 19 : 796 enodes (cost 9 ) 0.712 * * [simplify]: iteration 20 : 854 enodes (cost 9 ) 0.801 * * [simplify]: iteration 21 : 912 enodes (cost 9 ) 0.896 * * [simplify]: iteration 22 : 970 enodes (cost 9 ) 0.996 * * [simplify]: iteration 23 : 1028 enodes (cost 9 ) 1.104 * * [simplify]: iteration 24 : 1086 enodes (cost 9 ) 1.219 * * [simplify]: iteration 25 : 1143 enodes (cost 9 ) 1.338 * * [simplify]: iteration 26 : 1201 enodes (cost 9 ) 1.466 * * [simplify]: iteration 27 : 1259 enodes (cost 9 ) 1.595 * * [simplify]: iteration 28 : 1317 enodes (cost 9 ) 1.733 * * [simplify]: iteration 29 : 1374 enodes (cost 9 ) 1.879 * * [simplify]: iteration 30 : 1432 enodes (cost 9 ) 2.032 * * [simplify]: iteration 31 : 1489 enodes (cost 9 ) 2.187 * * [simplify]: iteration 32 : 1547 enodes (cost 9 ) 2.355 * * [simplify]: iteration 33 : 1605 enodes (cost 9 ) 2.524 * * [simplify]: iteration 34 : 1663 enodes (cost 9 ) 2.703 * * [simplify]: iteration 35 : 1720 enodes (cost 9 ) 2.885 * * [simplify]: iteration 36 : 1777 enodes (cost 9 ) 3.078 * * [simplify]: iteration 37 : 1835 enodes (cost 9 ) 3.278 * * [simplify]: iteration 38 : 1893 enodes (cost 9 ) 3.486 * * [simplify]: iteration 39 : 1951 enodes (cost 9 ) 3.699 * * [simplify]: iteration 40 : 2009 enodes (cost 9 ) 4.132 * * [simplify]: iteration 41 : 2067 enodes (cost 9 ) 4.363 * * [simplify]: iteration 42 : 2124 enodes (cost 9 ) 4.601 * * [simplify]: iteration 43 : 2182 enodes (cost 9 ) 4.843 * * [simplify]: iteration 44 : 2240 enodes (cost 9 ) 5.095 * * [simplify]: iteration 45 : 2298 enodes (cost 9 ) 5.352 * * [simplify]: iteration 46 : 2356 enodes (cost 9 ) 5.626 * * [simplify]: iteration 47 : 2414 enodes (cost 9 ) 5.901 * * [simplify]: iteration 48 : 2471 enodes (cost 9 ) 6.187 * * [simplify]: iteration 49 : 2529 enodes (cost 9 ) 6.482 * * [simplify]: iteration 50 : 2587 enodes (cost 9 ) 6.783 * * [simplify]: iteration 51 : 2645 enodes (cost 9 ) 7.098 * * [simplify]: iteration 52 : 2702 enodes (cost 9 ) 7.419 * * [simplify]: iteration 53 : 2760 enodes (cost 9 ) 7.754 * * [simplify]: iteration 54 : 2817 enodes (cost 9 ) 8.091 * * [simplify]: iteration 55 : 2874 enodes (cost 9 ) 8.436 * * [simplify]: iteration 56 : 2932 enodes (cost 9 ) 8.792 * * [simplify]: iteration 57 : 2989 enodes (cost 9 ) 9.154 * * [simplify]: iteration 58 : 3047 enodes (cost 9 ) 9.535 * * [simplify]: iteration 59 : 3105 enodes (cost 9 ) 9.914 * * [simplify]: iteration 60 : 3163 enodes (cost 9 ) 10.313 * * [simplify]: iteration 61 : 3220 enodes (cost 9 ) 10.713 * * [simplify]: iteration 62 : 3277 enodes (cost 9 ) 11.120 * * [simplify]: iteration 63 : 3335 enodes (cost 9 ) 11.547 * * [simplify]: iteration 64 : 3392 enodes (cost 9 ) 11.994 * * [simplify]: iteration 65 : 3450 enodes (cost 9 ) 12.452 * * [simplify]: iteration 66 : 3508 enodes (cost 9 ) 12.913 * * [simplify]: iteration 67 : 3565 enodes (cost 9 ) 13.374 * * [simplify]: iteration 68 : 3623 enodes (cost 9 ) 13.856 * * [simplify]: iteration 69 : 3681 enodes (cost 9 ) 14.354 * * [simplify]: iteration 70 : 3738 enodes (cost 9 ) 14.851 * * [simplify]: iteration 71 : 3795 enodes (cost 9 ) 15.360 * * [simplify]: iteration 72 : 3853 enodes (cost 9 ) 15.888 * * [simplify]: iteration 73 : 3910 enodes (cost 9 ) 16.421 * * [simplify]: iteration 74 : 3967 enodes (cost 9 ) 16.970 * * [simplify]: iteration 75 : 4024 enodes (cost 9 ) 17.536 * * [simplify]: iteration 76 : 4081 enodes (cost 9 ) 18.114 * * [simplify]: iteration 77 : 4138 enodes (cost 9 ) 18.720 * * [simplify]: iteration 78 : 4196 enodes (cost 9 ) 19.583 * * [simplify]: iteration 79 : 4254 enodes (cost 9 ) 20.194 * * [simplify]: iteration 80 : 4312 enodes (cost 9 ) 20.834 * * [simplify]: iteration 81 : 4370 enodes (cost 9 ) 21.465 * * [simplify]: iteration 82 : 4428 enodes (cost 9 ) 22.125 * * [simplify]: iteration 83 : 4485 enodes (cost 9 ) 22.788 * * [simplify]: iteration 84 : 4543 enodes (cost 9 ) 23.466 * * [simplify]: iteration 85 : 4601 enodes (cost 9 ) 24.147 * * [simplify]: iteration 86 : 4658 enodes (cost 9 ) 24.869 * * [simplify]: iteration 87 : 4715 enodes (cost 9 ) 25.622 * * [simplify]: iteration 88 : 4772 enodes (cost 9 ) 26.350 * * [simplify]: iteration 89 : 4829 enodes (cost 9 ) 27.093 * * [simplify]: iteration 90 : 4886 enodes (cost 9 ) 28.139 * * [simplify]: iteration 91 : 4943 enodes (cost 9 ) 28.970 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 28.970 * [simplify]: Simplified to: (+ (* x y) (* (- 1.0 x) z)) 28.970 * * [progress]: iteration 1 / 4 28.970 * * * [progress]: picking best candidate 28.973 * * * * [pick]: Picked # 28.973 * * * [progress]: localizing error 28.980 * * * [progress]: generating rewritten candidates 28.980 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 28.984 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 28.992 * * * [progress]: generating series expansions 28.992 * * * * [progress]: [ 1 / 2 ] generating series at (2) 28.992 * [approximate]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in (x y z) around 0 28.992 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in z 28.992 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in z 28.992 * [taylor]: Taking taylor expansion of (* x y) in z 28.992 * [taylor]: Taking taylor expansion of x in z 28.992 * [taylor]: Taking taylor expansion of y in z 28.992 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 28.992 * [taylor]: Taking taylor expansion of 1.0 in z 28.992 * [taylor]: Taking taylor expansion of z in z 28.992 * [taylor]: Taking taylor expansion of (* x z) in z 28.992 * [taylor]: Taking taylor expansion of x in z 28.992 * [taylor]: Taking taylor expansion of z in z 28.992 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in y 28.992 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in y 28.992 * [taylor]: Taking taylor expansion of (* x y) in y 28.992 * [taylor]: Taking taylor expansion of x in y 28.992 * [taylor]: Taking taylor expansion of y in y 28.992 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 28.992 * [taylor]: Taking taylor expansion of 1.0 in y 28.992 * [taylor]: Taking taylor expansion of z in y 28.992 * [taylor]: Taking taylor expansion of (* x z) in y 28.992 * [taylor]: Taking taylor expansion of x in y 28.992 * [taylor]: Taking taylor expansion of z in y 28.992 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in x 28.992 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in x 28.992 * [taylor]: Taking taylor expansion of (* x y) in x 28.992 * [taylor]: Taking taylor expansion of x in x 28.992 * [taylor]: Taking taylor expansion of y in x 28.993 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 28.993 * [taylor]: Taking taylor expansion of 1.0 in x 28.993 * [taylor]: Taking taylor expansion of z in x 28.993 * [taylor]: Taking taylor expansion of (* x z) in x 28.993 * [taylor]: Taking taylor expansion of x in x 28.993 * [taylor]: Taking taylor expansion of z in x 28.993 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in x 28.993 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in x 28.993 * [taylor]: Taking taylor expansion of (* x y) in x 28.993 * [taylor]: Taking taylor expansion of x in x 28.993 * [taylor]: Taking taylor expansion of y in x 28.993 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 28.993 * [taylor]: Taking taylor expansion of 1.0 in x 28.993 * [taylor]: Taking taylor expansion of z in x 28.993 * [taylor]: Taking taylor expansion of (* x z) in x 28.993 * [taylor]: Taking taylor expansion of x in x 28.993 * [taylor]: Taking taylor expansion of z in x 28.993 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 28.993 * [taylor]: Taking taylor expansion of 1.0 in y 28.993 * [taylor]: Taking taylor expansion of z in y 28.993 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 28.993 * [taylor]: Taking taylor expansion of 1.0 in z 28.993 * [taylor]: Taking taylor expansion of z in z 28.993 * [taylor]: Taking taylor expansion of (- y z) in y 28.993 * [taylor]: Taking taylor expansion of y in y 28.993 * [taylor]: Taking taylor expansion of z in y 28.993 * [taylor]: Taking taylor expansion of (neg z) in z 28.993 * [taylor]: Taking taylor expansion of z in z 28.993 * [taylor]: Taking taylor expansion of 0 in z 28.994 * [taylor]: Taking taylor expansion of 0 in y 28.994 * [taylor]: Taking taylor expansion of 0 in z 28.994 * [taylor]: Taking taylor expansion of 1 in z 28.994 * [taylor]: Taking taylor expansion of 0 in z 28.994 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in (x y z) around 0 28.994 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in z 28.994 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in z 28.994 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 28.994 * [taylor]: Taking taylor expansion of 1.0 in z 28.994 * [taylor]: Taking taylor expansion of (/ 1 z) in z 28.994 * [taylor]: Taking taylor expansion of z in z 28.994 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 28.994 * [taylor]: Taking taylor expansion of (* x y) in z 28.994 * [taylor]: Taking taylor expansion of x in z 28.994 * [taylor]: Taking taylor expansion of y in z 28.994 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 28.994 * [taylor]: Taking taylor expansion of (* x z) in z 28.995 * [taylor]: Taking taylor expansion of x in z 28.995 * [taylor]: Taking taylor expansion of z in z 28.995 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in y 28.995 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in y 28.995 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 28.995 * [taylor]: Taking taylor expansion of 1.0 in y 28.995 * [taylor]: Taking taylor expansion of (/ 1 z) in y 28.995 * [taylor]: Taking taylor expansion of z in y 28.995 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 28.995 * [taylor]: Taking taylor expansion of (* x y) in y 28.995 * [taylor]: Taking taylor expansion of x in y 28.995 * [taylor]: Taking taylor expansion of y in y 28.995 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 28.995 * [taylor]: Taking taylor expansion of (* x z) in y 28.995 * [taylor]: Taking taylor expansion of x in y 28.995 * [taylor]: Taking taylor expansion of z in y 28.995 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in x 28.995 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 28.995 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 28.995 * [taylor]: Taking taylor expansion of 1.0 in x 28.995 * [taylor]: Taking taylor expansion of (/ 1 z) in x 28.995 * [taylor]: Taking taylor expansion of z in x 28.995 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 28.995 * [taylor]: Taking taylor expansion of (* x y) in x 28.995 * [taylor]: Taking taylor expansion of x in x 28.995 * [taylor]: Taking taylor expansion of y in x 28.995 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 28.995 * [taylor]: Taking taylor expansion of (* x z) in x 28.995 * [taylor]: Taking taylor expansion of x in x 28.995 * [taylor]: Taking taylor expansion of z in x 28.995 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in x 28.995 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 28.995 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 28.995 * [taylor]: Taking taylor expansion of 1.0 in x 28.995 * [taylor]: Taking taylor expansion of (/ 1 z) in x 28.995 * [taylor]: Taking taylor expansion of z in x 28.995 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 28.996 * [taylor]: Taking taylor expansion of (* x y) in x 28.996 * [taylor]: Taking taylor expansion of x in x 28.996 * [taylor]: Taking taylor expansion of y in x 28.996 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 28.996 * [taylor]: Taking taylor expansion of (* x z) in x 28.996 * [taylor]: Taking taylor expansion of x in x 28.996 * [taylor]: Taking taylor expansion of z in x 28.996 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 28.996 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.996 * [taylor]: Taking taylor expansion of y in y 28.996 * [taylor]: Taking taylor expansion of (/ 1 z) in y 28.996 * [taylor]: Taking taylor expansion of z in y 28.996 * [taylor]: Taking taylor expansion of 1 in z 28.996 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 28.996 * [taylor]: Taking taylor expansion of 1.0 in y 28.996 * [taylor]: Taking taylor expansion of (/ 1 z) in y 28.996 * [taylor]: Taking taylor expansion of z in y 28.996 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 28.996 * [taylor]: Taking taylor expansion of (/ 1 z) in z 28.997 * [taylor]: Taking taylor expansion of z in z 28.997 * [taylor]: Taking taylor expansion of 0 in y 28.997 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z 28.997 * [taylor]: Taking taylor expansion of 1.0 in z 28.997 * [taylor]: Taking taylor expansion of z in z 28.997 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in (x y z) around 0 28.997 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z 28.997 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 28.997 * [taylor]: Taking taylor expansion of (* x y) in z 28.997 * [taylor]: Taking taylor expansion of x in z 28.998 * [taylor]: Taking taylor expansion of y in z 28.998 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z 28.998 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 28.998 * [taylor]: Taking taylor expansion of (* x z) in z 28.998 * [taylor]: Taking taylor expansion of x in z 28.998 * [taylor]: Taking taylor expansion of z in z 28.998 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 28.998 * [taylor]: Taking taylor expansion of 1.0 in z 28.998 * [taylor]: Taking taylor expansion of (/ 1 z) in z 28.998 * [taylor]: Taking taylor expansion of z in z 28.998 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in y 28.998 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 28.998 * [taylor]: Taking taylor expansion of (* x y) in y 28.998 * [taylor]: Taking taylor expansion of x in y 28.998 * [taylor]: Taking taylor expansion of y in y 28.998 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in y 28.998 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 28.998 * [taylor]: Taking taylor expansion of (* x z) in y 28.998 * [taylor]: Taking taylor expansion of x in y 28.998 * [taylor]: Taking taylor expansion of z in y 28.998 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 28.998 * [taylor]: Taking taylor expansion of 1.0 in y 28.998 * [taylor]: Taking taylor expansion of (/ 1 z) in y 28.998 * [taylor]: Taking taylor expansion of z in y 28.998 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 28.998 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 28.998 * [taylor]: Taking taylor expansion of (* x y) in x 28.998 * [taylor]: Taking taylor expansion of x in x 28.998 * [taylor]: Taking taylor expansion of y in x 28.998 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 28.998 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 28.998 * [taylor]: Taking taylor expansion of (* x z) in x 28.998 * [taylor]: Taking taylor expansion of x in x 28.998 * [taylor]: Taking taylor expansion of z in x 28.998 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 28.999 * [taylor]: Taking taylor expansion of 1.0 in x 28.999 * [taylor]: Taking taylor expansion of (/ 1 z) in x 28.999 * [taylor]: Taking taylor expansion of z in x 28.999 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 28.999 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 28.999 * [taylor]: Taking taylor expansion of (* x y) in x 28.999 * [taylor]: Taking taylor expansion of x in x 28.999 * [taylor]: Taking taylor expansion of y in x 28.999 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 28.999 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 28.999 * [taylor]: Taking taylor expansion of (* x z) in x 28.999 * [taylor]: Taking taylor expansion of x in x 28.999 * [taylor]: Taking taylor expansion of z in x 28.999 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 28.999 * [taylor]: Taking taylor expansion of 1.0 in x 28.999 * [taylor]: Taking taylor expansion of (/ 1 z) in x 28.999 * [taylor]: Taking taylor expansion of z in x 28.999 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 28.999 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.999 * [taylor]: Taking taylor expansion of y in y 28.999 * [taylor]: Taking taylor expansion of (/ 1 z) in y 28.999 * [taylor]: Taking taylor expansion of z in y 28.999 * [taylor]: Taking taylor expansion of 1 in z 29.000 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in y 29.000 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 29.000 * [taylor]: Taking taylor expansion of 1.0 in y 29.000 * [taylor]: Taking taylor expansion of (/ 1 z) in y 29.000 * [taylor]: Taking taylor expansion of z in y 29.000 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 29.000 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.000 * [taylor]: Taking taylor expansion of z in z 29.000 * [taylor]: Taking taylor expansion of 0 in y 29.000 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 29.000 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 29.000 * [taylor]: Taking taylor expansion of 1.0 in z 29.000 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.000 * [taylor]: Taking taylor expansion of z in z 29.001 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 29.001 * [approximate]: Taking taylor expansion of (* (- 1.0 x) z) in (x z) around 0 29.001 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in z 29.001 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 29.001 * [taylor]: Taking taylor expansion of 1.0 in z 29.001 * [taylor]: Taking taylor expansion of x in z 29.001 * [taylor]: Taking taylor expansion of z in z 29.001 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in x 29.001 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 29.001 * [taylor]: Taking taylor expansion of 1.0 in x 29.001 * [taylor]: Taking taylor expansion of x in x 29.001 * [taylor]: Taking taylor expansion of z in x 29.001 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in x 29.001 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 29.001 * [taylor]: Taking taylor expansion of 1.0 in x 29.001 * [taylor]: Taking taylor expansion of x in x 29.001 * [taylor]: Taking taylor expansion of z in x 29.001 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 29.001 * [taylor]: Taking taylor expansion of 1.0 in z 29.001 * [taylor]: Taking taylor expansion of z in z 29.001 * [taylor]: Taking taylor expansion of (neg z) in z 29.001 * [taylor]: Taking taylor expansion of z in z 29.001 * [taylor]: Taking taylor expansion of 0 in z 29.001 * [taylor]: Taking taylor expansion of 0 in z 29.002 * [taylor]: Taking taylor expansion of 0 in z 29.002 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in (x z) around 0 29.002 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z 29.002 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 29.002 * [taylor]: Taking taylor expansion of 1.0 in z 29.002 * [taylor]: Taking taylor expansion of (/ 1 x) in z 29.002 * [taylor]: Taking taylor expansion of x in z 29.002 * [taylor]: Taking taylor expansion of z in z 29.002 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x 29.002 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 29.002 * [taylor]: Taking taylor expansion of 1.0 in x 29.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 29.002 * [taylor]: Taking taylor expansion of x in x 29.002 * [taylor]: Taking taylor expansion of z in x 29.002 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x 29.002 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 29.002 * [taylor]: Taking taylor expansion of 1.0 in x 29.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 29.002 * [taylor]: Taking taylor expansion of x in x 29.002 * [taylor]: Taking taylor expansion of z in x 29.002 * [taylor]: Taking taylor expansion of (/ -1 z) in z 29.002 * [taylor]: Taking taylor expansion of -1 in z 29.002 * [taylor]: Taking taylor expansion of z in z 29.003 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 29.003 * [taylor]: Taking taylor expansion of 1.0 in z 29.003 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.003 * [taylor]: Taking taylor expansion of z in z 29.003 * [taylor]: Taking taylor expansion of 0 in z 29.003 * [taylor]: Taking taylor expansion of 0 in z 29.004 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in (x z) around 0 29.004 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z 29.004 * [taylor]: Taking taylor expansion of -1 in z 29.004 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z 29.004 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 29.004 * [taylor]: Taking taylor expansion of (/ 1 x) in z 29.004 * [taylor]: Taking taylor expansion of x in z 29.004 * [taylor]: Taking taylor expansion of 1.0 in z 29.004 * [taylor]: Taking taylor expansion of z in z 29.004 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x 29.004 * [taylor]: Taking taylor expansion of -1 in x 29.004 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x 29.004 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 29.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x 29.004 * [taylor]: Taking taylor expansion of x in x 29.004 * [taylor]: Taking taylor expansion of 1.0 in x 29.004 * [taylor]: Taking taylor expansion of z in x 29.004 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x 29.004 * [taylor]: Taking taylor expansion of -1 in x 29.004 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x 29.004 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 29.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x 29.004 * [taylor]: Taking taylor expansion of x in x 29.004 * [taylor]: Taking taylor expansion of 1.0 in x 29.004 * [taylor]: Taking taylor expansion of z in x 29.004 * [taylor]: Taking taylor expansion of (/ -1 z) in z 29.004 * [taylor]: Taking taylor expansion of -1 in z 29.004 * [taylor]: Taking taylor expansion of z in z 29.005 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 29.005 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 29.005 * [taylor]: Taking taylor expansion of 1.0 in z 29.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.005 * [taylor]: Taking taylor expansion of z in z 29.005 * [taylor]: Taking taylor expansion of 0 in z 29.005 * [taylor]: Taking taylor expansion of 0 in z 29.006 * * * [progress]: simplifying candidates 29.006 * [simplify]: Simplifying using # : (* (exp (* x y)) (exp (* (- 1.0 x) z))) (log (+ (* x y) (* (- 1.0 x) z))) (exp (+ (* x y) (* (- 1.0 x) z))) (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))) (cbrt (+ (* x y) (* (- 1.0 x) z))) (* (* (+ (* x y) (* (- 1.0 x) z)) (+ (* x y) (* (- 1.0 x) z))) (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) (+ (pow (* x y) 3) (pow (* (- 1.0 x) z) 3)) (+ (* (* x y) (* x y)) (- (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (* x y) (* (- 1.0 x) z)))) (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)) (* (- 1.0 x) z) (+ (log (- 1.0 x)) (log z)) (log (* (- 1.0 x) z)) (exp (* (- 1.0 x) z)) (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* z z) z)) (* (cbrt (* (- 1.0 x) z)) (cbrt (* (- 1.0 x) z))) (cbrt (* (- 1.0 x) z)) (* (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (- 1.0 x) (* (cbrt z) (cbrt z))) (* (- 1.0 x) (sqrt z)) (* (- 1.0 x) 1) (* (cbrt (- 1.0 x)) z) (* (sqrt (- 1.0 x)) z) (* (- 1.0 x) z) (* (- (sqrt 1.0) (sqrt x)) z) (* (- 1.0 x) z) (* (- (pow 1.0 3) (pow x 3)) z) (* (- (* 1.0 1.0) (* x x)) z) (- (+ (* 1.0 z) (* x y)) (* x z)) (- (+ (* x y) (* 1.0 z)) (* x z)) (- (+ (* x y) (* 1.0 z)) (* x z)) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) 29.008 * * [simplify]: iteration 0 : 73 enodes (cost 405 ) 29.018 * * [simplify]: iteration 1 : 196 enodes (cost 384 ) 29.061 * * [simplify]: iteration 2 : 718 enodes (cost 346 ) 29.259 * * [simplify]: iteration 3 : 2976 enodes (cost 345 ) 29.928 * * [simplify]: iteration done : 5000 enodes (cost 345 ) 29.929 * [simplify]: Simplified to: (exp (+ (* x y) (* (- 1.0 x) z))) (log (+ (* x y) (* (- 1.0 x) z))) (exp (+ (* x y) (* (- 1.0 x) z))) (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))) (cbrt (+ (* x y) (* (- 1.0 x) z))) (pow (+ (* x y) (* (- 1.0 x) z)) 3) (sqrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) (+ (pow (* x y) 3) (pow (* (- 1.0 x) z) 3)) (+ (* (* x y) (* x y)) (* (* (- 1.0 x) z) (- (* (- 1.0 x) z) (* x y)))) (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)) (* (- 1.0 x) z) (log (* (- 1.0 x) z)) (log (* (- 1.0 x) z)) (exp (* (- 1.0 x) z)) (pow (* (- 1.0 x) z) 3) (* (cbrt (* (- 1.0 x) z)) (cbrt (* (- 1.0 x) z))) (cbrt (* (- 1.0 x) z)) (pow (* (- 1.0 x) z) 3) (sqrt (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (- 1.0 x) (* (cbrt z) (cbrt z))) (* (- 1.0 x) (sqrt z)) (- 1.0 x) (* (cbrt (- 1.0 x)) z) (* (sqrt (- 1.0 x)) z) (* (- 1.0 x) z) (* (- (sqrt 1.0) (sqrt x)) z) (* (- 1.0 x) z) (* (- (pow 1.0 3) (pow x 3)) z) (* (- (* 1.0 1.0) (* x x)) z) (+ (* (- y z) x) (* 1.0 z)) (+ (* (- y z) x) (* 1.0 z)) (+ (* (- y z) x) (* 1.0 z)) (* (- 1.0 x) z) (* (- 1.0 x) z) (* (- 1.0 x) z) 29.929 * * * [progress]: adding candidates to table 29.972 * * [progress]: iteration 2 / 4 29.972 * * * [progress]: picking best candidate 29.978 * * * * [pick]: Picked # 29.978 * * * [progress]: localizing error 29.984 * * * [progress]: generating rewritten candidates 29.984 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 29.995 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 30.003 * * * [progress]: generating series expansions 30.003 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 30.003 * [approximate]: Taking taylor expansion of (* x (- y z)) in (y z x) around 0 30.003 * [taylor]: Taking taylor expansion of (* x (- y z)) in x 30.003 * [taylor]: Taking taylor expansion of x in x 30.003 * [taylor]: Taking taylor expansion of (- y z) in x 30.003 * [taylor]: Taking taylor expansion of y in x 30.003 * [taylor]: Taking taylor expansion of z in x 30.003 * [taylor]: Taking taylor expansion of (* x (- y z)) in z 30.003 * [taylor]: Taking taylor expansion of x in z 30.003 * [taylor]: Taking taylor expansion of (- y z) in z 30.003 * [taylor]: Taking taylor expansion of y in z 30.003 * [taylor]: Taking taylor expansion of z in z 30.003 * [taylor]: Taking taylor expansion of (* x (- y z)) in y 30.003 * [taylor]: Taking taylor expansion of x in y 30.003 * [taylor]: Taking taylor expansion of (- y z) in y 30.003 * [taylor]: Taking taylor expansion of y in y 30.003 * [taylor]: Taking taylor expansion of z in y 30.003 * [taylor]: Taking taylor expansion of (* x (- y z)) in y 30.003 * [taylor]: Taking taylor expansion of x in y 30.003 * [taylor]: Taking taylor expansion of (- y z) in y 30.003 * [taylor]: Taking taylor expansion of y in y 30.003 * [taylor]: Taking taylor expansion of z in y 30.004 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in z 30.004 * [taylor]: Taking taylor expansion of -1 in z 30.004 * [taylor]: Taking taylor expansion of (* x z) in z 30.004 * [taylor]: Taking taylor expansion of x in z 30.004 * [taylor]: Taking taylor expansion of z in z 30.004 * [taylor]: Taking taylor expansion of 0 in x 30.004 * [taylor]: Taking taylor expansion of x in z 30.004 * [taylor]: Taking taylor expansion of x in x 30.004 * [taylor]: Taking taylor expansion of (neg x) in x 30.004 * [taylor]: Taking taylor expansion of x in x 30.004 * [taylor]: Taking taylor expansion of 0 in z 30.004 * [taylor]: Taking taylor expansion of 0 in x 30.004 * [taylor]: Taking taylor expansion of 0 in x 30.004 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in (y z x) around 0 30.004 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x 30.004 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 30.004 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.004 * [taylor]: Taking taylor expansion of y in x 30.004 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.004 * [taylor]: Taking taylor expansion of z in x 30.004 * [taylor]: Taking taylor expansion of x in x 30.005 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z 30.005 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 30.005 * [taylor]: Taking taylor expansion of (/ 1 y) in z 30.005 * [taylor]: Taking taylor expansion of y in z 30.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.005 * [taylor]: Taking taylor expansion of z in z 30.005 * [taylor]: Taking taylor expansion of x in z 30.005 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 30.005 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 30.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.005 * [taylor]: Taking taylor expansion of y in y 30.005 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.005 * [taylor]: Taking taylor expansion of z in y 30.005 * [taylor]: Taking taylor expansion of x in y 30.005 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 30.005 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 30.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.005 * [taylor]: Taking taylor expansion of y in y 30.005 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.005 * [taylor]: Taking taylor expansion of z in y 30.005 * [taylor]: Taking taylor expansion of x in y 30.005 * [taylor]: Taking taylor expansion of (/ 1 x) in z 30.005 * [taylor]: Taking taylor expansion of x in z 30.005 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in z 30.005 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.005 * [taylor]: Taking taylor expansion of (* x z) in z 30.005 * [taylor]: Taking taylor expansion of x in z 30.005 * [taylor]: Taking taylor expansion of z in z 30.006 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 30.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.006 * [taylor]: Taking taylor expansion of x in x 30.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.006 * [taylor]: Taking taylor expansion of x in x 30.006 * [taylor]: Taking taylor expansion of 0 in z 30.006 * [taylor]: Taking taylor expansion of 0 in x 30.006 * [taylor]: Taking taylor expansion of 0 in x 30.006 * [taylor]: Taking taylor expansion of 0 in z 30.007 * [taylor]: Taking taylor expansion of 0 in x 30.007 * [taylor]: Taking taylor expansion of 0 in x 30.007 * [taylor]: Taking taylor expansion of 0 in x 30.007 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in (y z x) around 0 30.007 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in x 30.007 * [taylor]: Taking taylor expansion of -1 in x 30.007 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x 30.007 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 30.007 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.007 * [taylor]: Taking taylor expansion of z in x 30.007 * [taylor]: Taking taylor expansion of (/ 1 y) in x 30.007 * [taylor]: Taking taylor expansion of y in x 30.007 * [taylor]: Taking taylor expansion of x in x 30.008 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in z 30.008 * [taylor]: Taking taylor expansion of -1 in z 30.008 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z 30.008 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 30.008 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.008 * [taylor]: Taking taylor expansion of z in z 30.008 * [taylor]: Taking taylor expansion of (/ 1 y) in z 30.008 * [taylor]: Taking taylor expansion of y in z 30.008 * [taylor]: Taking taylor expansion of x in z 30.008 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in y 30.008 * [taylor]: Taking taylor expansion of -1 in y 30.008 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 30.008 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 30.008 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.008 * [taylor]: Taking taylor expansion of z in y 30.008 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.008 * [taylor]: Taking taylor expansion of y in y 30.008 * [taylor]: Taking taylor expansion of x in y 30.008 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in y 30.008 * [taylor]: Taking taylor expansion of -1 in y 30.008 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 30.008 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 30.008 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.008 * [taylor]: Taking taylor expansion of z in y 30.008 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.008 * [taylor]: Taking taylor expansion of y in y 30.008 * [taylor]: Taking taylor expansion of x in y 30.008 * [taylor]: Taking taylor expansion of (/ 1 x) in z 30.008 * [taylor]: Taking taylor expansion of x in z 30.009 * [taylor]: Taking taylor expansion of (neg (/ 1 (* x z))) in z 30.009 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.009 * [taylor]: Taking taylor expansion of (* x z) in z 30.009 * [taylor]: Taking taylor expansion of x in z 30.009 * [taylor]: Taking taylor expansion of z in z 30.009 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 30.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.009 * [taylor]: Taking taylor expansion of x in x 30.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.009 * [taylor]: Taking taylor expansion of x in x 30.009 * [taylor]: Taking taylor expansion of 0 in z 30.009 * [taylor]: Taking taylor expansion of 0 in x 30.010 * [taylor]: Taking taylor expansion of 0 in x 30.010 * [taylor]: Taking taylor expansion of 0 in z 30.010 * [taylor]: Taking taylor expansion of 0 in x 30.010 * [taylor]: Taking taylor expansion of 0 in x 30.010 * [taylor]: Taking taylor expansion of 0 in x 30.011 * * * * [progress]: [ 2 / 2 ] generating series at (2) 30.011 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in (y z x) around 0 30.011 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in x 30.011 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in x 30.011 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 30.011 * [taylor]: Taking taylor expansion of 1.0 in x 30.011 * [taylor]: Taking taylor expansion of z in x 30.011 * [taylor]: Taking taylor expansion of (* x y) in x 30.011 * [taylor]: Taking taylor expansion of x in x 30.011 * [taylor]: Taking taylor expansion of y in x 30.011 * [taylor]: Taking taylor expansion of (* x z) in x 30.011 * [taylor]: Taking taylor expansion of x in x 30.011 * [taylor]: Taking taylor expansion of z in x 30.011 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in z 30.011 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in z 30.011 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 30.011 * [taylor]: Taking taylor expansion of 1.0 in z 30.011 * [taylor]: Taking taylor expansion of z in z 30.011 * [taylor]: Taking taylor expansion of (* x y) in z 30.011 * [taylor]: Taking taylor expansion of x in z 30.011 * [taylor]: Taking taylor expansion of y in z 30.011 * [taylor]: Taking taylor expansion of (* x z) in z 30.011 * [taylor]: Taking taylor expansion of x in z 30.011 * [taylor]: Taking taylor expansion of z in z 30.011 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in y 30.011 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in y 30.011 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 30.011 * [taylor]: Taking taylor expansion of 1.0 in y 30.011 * [taylor]: Taking taylor expansion of z in y 30.011 * [taylor]: Taking taylor expansion of (* x y) in y 30.011 * [taylor]: Taking taylor expansion of x in y 30.011 * [taylor]: Taking taylor expansion of y in y 30.011 * [taylor]: Taking taylor expansion of (* x z) in y 30.011 * [taylor]: Taking taylor expansion of x in y 30.011 * [taylor]: Taking taylor expansion of z in y 30.011 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 z) (* x y)) (* x z)) in y 30.011 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* x y)) in y 30.011 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 30.011 * [taylor]: Taking taylor expansion of 1.0 in y 30.011 * [taylor]: Taking taylor expansion of z in y 30.011 * [taylor]: Taking taylor expansion of (* x y) in y 30.012 * [taylor]: Taking taylor expansion of x in y 30.012 * [taylor]: Taking taylor expansion of y in y 30.012 * [taylor]: Taking taylor expansion of (* x z) in y 30.012 * [taylor]: Taking taylor expansion of x in y 30.012 * [taylor]: Taking taylor expansion of z in y 30.012 * [taylor]: Taking taylor expansion of (- (* 1.0 z) (* x z)) in z 30.012 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 30.012 * [taylor]: Taking taylor expansion of 1.0 in z 30.012 * [taylor]: Taking taylor expansion of z in z 30.012 * [taylor]: Taking taylor expansion of (* x z) in z 30.012 * [taylor]: Taking taylor expansion of x in z 30.012 * [taylor]: Taking taylor expansion of z in z 30.012 * [taylor]: Taking taylor expansion of 0 in x 30.012 * [taylor]: Taking taylor expansion of x in z 30.012 * [taylor]: Taking taylor expansion of x in x 30.012 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 30.012 * [taylor]: Taking taylor expansion of 1.0 in x 30.012 * [taylor]: Taking taylor expansion of x in x 30.012 * [taylor]: Taking taylor expansion of 0 in z 30.012 * [taylor]: Taking taylor expansion of 0 in x 30.013 * [taylor]: Taking taylor expansion of 0 in x 30.013 * [taylor]: Taking taylor expansion of 0 in x 30.013 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in (y z x) around 0 30.013 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in x 30.013 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 30.013 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 30.013 * [taylor]: Taking taylor expansion of 1.0 in x 30.013 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.013 * [taylor]: Taking taylor expansion of z in x 30.013 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.013 * [taylor]: Taking taylor expansion of (* x y) in x 30.013 * [taylor]: Taking taylor expansion of x in x 30.013 * [taylor]: Taking taylor expansion of y in x 30.013 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.013 * [taylor]: Taking taylor expansion of (* x z) in x 30.013 * [taylor]: Taking taylor expansion of x in x 30.013 * [taylor]: Taking taylor expansion of z in x 30.013 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in z 30.013 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in z 30.014 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 30.014 * [taylor]: Taking taylor expansion of 1.0 in z 30.014 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.014 * [taylor]: Taking taylor expansion of z in z 30.014 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 30.014 * [taylor]: Taking taylor expansion of (* x y) in z 30.014 * [taylor]: Taking taylor expansion of x in z 30.014 * [taylor]: Taking taylor expansion of y in z 30.014 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.014 * [taylor]: Taking taylor expansion of (* x z) in z 30.014 * [taylor]: Taking taylor expansion of x in z 30.014 * [taylor]: Taking taylor expansion of z in z 30.014 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in y 30.014 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in y 30.014 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.014 * [taylor]: Taking taylor expansion of 1.0 in y 30.014 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.014 * [taylor]: Taking taylor expansion of z in y 30.014 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.014 * [taylor]: Taking taylor expansion of (* x y) in y 30.014 * [taylor]: Taking taylor expansion of x in y 30.014 * [taylor]: Taking taylor expansion of y in y 30.014 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.014 * [taylor]: Taking taylor expansion of (* x z) in y 30.014 * [taylor]: Taking taylor expansion of x in y 30.014 * [taylor]: Taking taylor expansion of z in y 30.014 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in y 30.014 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in y 30.014 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.014 * [taylor]: Taking taylor expansion of 1.0 in y 30.014 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.014 * [taylor]: Taking taylor expansion of z in y 30.014 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.014 * [taylor]: Taking taylor expansion of (* x y) in y 30.014 * [taylor]: Taking taylor expansion of x in y 30.014 * [taylor]: Taking taylor expansion of y in y 30.015 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.015 * [taylor]: Taking taylor expansion of (* x z) in y 30.015 * [taylor]: Taking taylor expansion of x in y 30.015 * [taylor]: Taking taylor expansion of z in y 30.015 * [taylor]: Taking taylor expansion of (/ 1 x) in z 30.015 * [taylor]: Taking taylor expansion of x in z 30.015 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 z)) (/ 1 (* x z))) in z 30.015 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 30.015 * [taylor]: Taking taylor expansion of 1.0 in z 30.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.015 * [taylor]: Taking taylor expansion of z in z 30.015 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.015 * [taylor]: Taking taylor expansion of (* x z) in z 30.015 * [taylor]: Taking taylor expansion of x in z 30.015 * [taylor]: Taking taylor expansion of z in z 30.015 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 30.015 * [taylor]: Taking taylor expansion of 1.0 in x 30.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.015 * [taylor]: Taking taylor expansion of x in x 30.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.016 * [taylor]: Taking taylor expansion of x in x 30.016 * [taylor]: Taking taylor expansion of 0 in z 30.016 * [taylor]: Taking taylor expansion of 0 in x 30.016 * [taylor]: Taking taylor expansion of 0 in x 30.017 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in (y z x) around 0 30.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 30.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.017 * [taylor]: Taking taylor expansion of (* x y) in x 30.017 * [taylor]: Taking taylor expansion of x in x 30.017 * [taylor]: Taking taylor expansion of y in x 30.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 30.017 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.017 * [taylor]: Taking taylor expansion of (* x z) in x 30.017 * [taylor]: Taking taylor expansion of x in x 30.017 * [taylor]: Taking taylor expansion of z in x 30.017 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 30.017 * [taylor]: Taking taylor expansion of 1.0 in x 30.017 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.017 * [taylor]: Taking taylor expansion of z in x 30.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z 30.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 30.017 * [taylor]: Taking taylor expansion of (* x y) in z 30.017 * [taylor]: Taking taylor expansion of x in z 30.017 * [taylor]: Taking taylor expansion of y in z 30.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z 30.017 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.017 * [taylor]: Taking taylor expansion of (* x z) in z 30.017 * [taylor]: Taking taylor expansion of x in z 30.017 * [taylor]: Taking taylor expansion of z in z 30.017 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 30.017 * [taylor]: Taking taylor expansion of 1.0 in z 30.017 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.017 * [taylor]: Taking taylor expansion of z in z 30.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in y 30.018 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.018 * [taylor]: Taking taylor expansion of (* x y) in y 30.018 * [taylor]: Taking taylor expansion of x in y 30.018 * [taylor]: Taking taylor expansion of y in y 30.018 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in y 30.018 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.018 * [taylor]: Taking taylor expansion of (* x z) in y 30.018 * [taylor]: Taking taylor expansion of x in y 30.018 * [taylor]: Taking taylor expansion of z in y 30.018 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.018 * [taylor]: Taking taylor expansion of 1.0 in y 30.018 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.018 * [taylor]: Taking taylor expansion of z in y 30.018 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in y 30.018 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.018 * [taylor]: Taking taylor expansion of (* x y) in y 30.018 * [taylor]: Taking taylor expansion of x in y 30.018 * [taylor]: Taking taylor expansion of y in y 30.018 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in y 30.018 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.018 * [taylor]: Taking taylor expansion of (* x z) in y 30.018 * [taylor]: Taking taylor expansion of x in y 30.018 * [taylor]: Taking taylor expansion of z in y 30.018 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.018 * [taylor]: Taking taylor expansion of 1.0 in y 30.018 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.018 * [taylor]: Taking taylor expansion of z in y 30.018 * [taylor]: Taking taylor expansion of (/ 1 x) in z 30.018 * [taylor]: Taking taylor expansion of x in z 30.019 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z 30.019 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z 30.019 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.019 * [taylor]: Taking taylor expansion of (* x z) in z 30.019 * [taylor]: Taking taylor expansion of x in z 30.019 * [taylor]: Taking taylor expansion of z in z 30.019 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 30.019 * [taylor]: Taking taylor expansion of 1.0 in z 30.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.019 * [taylor]: Taking taylor expansion of z in z 30.019 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 x) 1.0)) in x 30.019 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 30.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.019 * [taylor]: Taking taylor expansion of x in x 30.019 * [taylor]: Taking taylor expansion of 1.0 in x 30.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 30.019 * [taylor]: Taking taylor expansion of x in x 30.020 * [taylor]: Taking taylor expansion of 0 in z 30.020 * [taylor]: Taking taylor expansion of 0 in x 30.020 * [taylor]: Taking taylor expansion of 0 in x 30.020 * * * [progress]: simplifying candidates 30.021 * [simplify]: Simplifying using # : (* (- y z) x) (+ (log (- y z)) (log x)) (log (* (- y z) x)) (exp (* (- y z) x)) (* (* (* (- y z) (- y z)) (- y z)) (* (* x x) x)) (* (cbrt (* (- y z) x)) (cbrt (* (- y z) x))) (cbrt (* (- y z) x)) (* (* (* (- y z) x) (* (- y z) x)) (* (- y z) x)) (sqrt (* (- y z) x)) (sqrt (* (- y z) x)) (* (sqrt (- y z)) (sqrt x)) (* (sqrt (- y z)) (sqrt x)) (* (- y z) (* (cbrt x) (cbrt x))) (* (- y z) (sqrt x)) (* (- y z) 1) (* (cbrt (- y z)) x) (* (sqrt (- y z)) x) (* (- y z) x) (* (- (sqrt y) (sqrt z)) x) (* (- y z) x) (* (- (pow y 3) (pow z 3)) x) (* (- (* y y) (* z z)) x) (* (exp (* (- y z) x)) (exp (* 1.0 z))) (log (+ (* (- y z) x) (* 1.0 z))) (exp (+ (* (- y z) x) (* 1.0 z))) (* (cbrt (+ (* (- y z) x) (* 1.0 z))) (cbrt (+ (* (- y z) x) (* 1.0 z)))) (cbrt (+ (* (- y z) x) (* 1.0 z))) (* (* (+ (* (- y z) x) (* 1.0 z)) (+ (* (- y z) x) (* 1.0 z))) (+ (* (- y z) x) (* 1.0 z))) (sqrt (+ (* (- y z) x) (* 1.0 z))) (sqrt (+ (* (- y z) x) (* 1.0 z))) (+ (pow (* (- y z) x) 3) (pow (* 1.0 z) 3)) (+ (* (* (- y z) x) (* (- y z) x)) (- (* (* 1.0 z) (* 1.0 z)) (* (* (- y z) x) (* 1.0 z)))) (- (* (* (- y z) x) (* (- y z) x)) (* (* 1.0 z) (* 1.0 z))) (- (* (- y z) x) (* 1.0 z)) 0 (- (* x y) (* x z)) (- (* x y) (* x z)) (- (+ (* 1.0 z) (* x y)) (* x z)) (- (+ (* x y) (* 1.0 z)) (* x z)) (- (+ (* x y) (* 1.0 z)) (* x z)) 30.023 * * [simplify]: iteration 0 : 74 enodes (cost 399 ) 30.034 * * [simplify]: iteration 1 : 197 enodes (cost 382 ) 30.075 * * [simplify]: iteration 2 : 699 enodes (cost 344 ) 30.261 * * [simplify]: iteration 3 : 2788 enodes (cost 341 ) 30.892 * * [simplify]: iteration done : 5000 enodes (cost 341 ) 30.892 * [simplify]: Simplified to: (* (- y z) x) (log (* (- y z) x)) (log (* (- y z) x)) (exp (* (- y z) x)) (pow (* (- y z) x) 3) (* (cbrt (* (- y z) x)) (cbrt (* (- y z) x))) (cbrt (* (- y z) x)) (pow (* (- y z) x) 3) (sqrt (* (- y z) x)) (sqrt (* (- y z) x)) (* (sqrt (- y z)) (sqrt x)) (* (sqrt (- y z)) (sqrt x)) (* (- y z) (* (cbrt x) (cbrt x))) (* (- y z) (sqrt x)) (- y z) (* (cbrt (- y z)) x) (* (sqrt (- y z)) x) (* (- y z) x) (* (- (sqrt y) (sqrt z)) x) (* (- y z) x) (* (- (pow y 3) (pow z 3)) x) (* (- (* y y) (* z z)) x) (exp (+ (* (- y z) x) (* 1.0 z))) (log (+ (* (- y z) x) (* 1.0 z))) (exp (+ (* (- y z) x) (* 1.0 z))) (* (cbrt (+ (* (- y z) x) (* 1.0 z))) (cbrt (+ (* (- y z) x) (* 1.0 z)))) (cbrt (+ (* (- y z) x) (* 1.0 z))) (pow (+ (* 1.0 z) (* (- y z) x)) 3) (sqrt (+ (* (- y z) x) (* 1.0 z))) (sqrt (+ (* (- y z) x) (* 1.0 z))) (+ (pow (* (- y z) x) 3) (pow (* 1.0 z) 3)) (- (* (* 1.0 z) (* 1.0 z)) (* (* (- y z) x) (- (* 1.0 z) (* (- y z) x)))) (- (* (* (- y z) x) (* (- y z) x)) (* (* 1.0 z) (* 1.0 z))) (- (* (- y z) x) (* 1.0 z)) 0 (* (- y z) x) (* (- y z) x) (+ (* 1.0 z) (* (- y z) x)) (+ (* 1.0 z) (* (- y z) x)) (+ (* 1.0 z) (* (- y z) x)) 30.892 * * * [progress]: adding candidates to table 30.934 * * [progress]: iteration 3 / 4 30.934 * * * [progress]: picking best candidate 30.938 * * * * [pick]: Picked # 30.938 * * * [progress]: localizing error 30.948 * * * [progress]: generating rewritten candidates 30.948 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 30.953 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 30.957 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 30.962 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 30.971 * * * [progress]: generating series expansions 30.971 * * * * [progress]: [ 1 / 4 ] generating series at (2) 30.971 * [approximate]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in (x y z) around 0 30.971 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in z 30.971 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in z 30.971 * [taylor]: Taking taylor expansion of (* x y) in z 30.971 * [taylor]: Taking taylor expansion of x in z 30.971 * [taylor]: Taking taylor expansion of y in z 30.971 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 30.971 * [taylor]: Taking taylor expansion of 1.0 in z 30.971 * [taylor]: Taking taylor expansion of z in z 30.971 * [taylor]: Taking taylor expansion of (* x z) in z 30.971 * [taylor]: Taking taylor expansion of x in z 30.971 * [taylor]: Taking taylor expansion of z in z 30.971 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in y 30.971 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in y 30.971 * [taylor]: Taking taylor expansion of (* x y) in y 30.971 * [taylor]: Taking taylor expansion of x in y 30.971 * [taylor]: Taking taylor expansion of y in y 30.971 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 30.971 * [taylor]: Taking taylor expansion of 1.0 in y 30.972 * [taylor]: Taking taylor expansion of z in y 30.972 * [taylor]: Taking taylor expansion of (* x z) in y 30.972 * [taylor]: Taking taylor expansion of x in y 30.972 * [taylor]: Taking taylor expansion of z in y 30.972 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in x 30.972 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in x 30.972 * [taylor]: Taking taylor expansion of (* x y) in x 30.972 * [taylor]: Taking taylor expansion of x in x 30.972 * [taylor]: Taking taylor expansion of y in x 30.972 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 30.972 * [taylor]: Taking taylor expansion of 1.0 in x 30.972 * [taylor]: Taking taylor expansion of z in x 30.972 * [taylor]: Taking taylor expansion of (* x z) in x 30.972 * [taylor]: Taking taylor expansion of x in x 30.972 * [taylor]: Taking taylor expansion of z in x 30.972 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in x 30.972 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in x 30.972 * [taylor]: Taking taylor expansion of (* x y) in x 30.972 * [taylor]: Taking taylor expansion of x in x 30.972 * [taylor]: Taking taylor expansion of y in x 30.972 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 30.972 * [taylor]: Taking taylor expansion of 1.0 in x 30.972 * [taylor]: Taking taylor expansion of z in x 30.972 * [taylor]: Taking taylor expansion of (* x z) in x 30.972 * [taylor]: Taking taylor expansion of x in x 30.972 * [taylor]: Taking taylor expansion of z in x 30.972 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 30.972 * [taylor]: Taking taylor expansion of 1.0 in y 30.972 * [taylor]: Taking taylor expansion of z in y 30.972 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 30.972 * [taylor]: Taking taylor expansion of 1.0 in z 30.972 * [taylor]: Taking taylor expansion of z in z 30.972 * [taylor]: Taking taylor expansion of (- y z) in y 30.972 * [taylor]: Taking taylor expansion of y in y 30.972 * [taylor]: Taking taylor expansion of z in y 30.972 * [taylor]: Taking taylor expansion of (neg z) in z 30.972 * [taylor]: Taking taylor expansion of z in z 30.973 * [taylor]: Taking taylor expansion of 0 in z 30.973 * [taylor]: Taking taylor expansion of 0 in y 30.973 * [taylor]: Taking taylor expansion of 0 in z 30.973 * [taylor]: Taking taylor expansion of 1 in z 30.973 * [taylor]: Taking taylor expansion of 0 in z 30.973 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in (x y z) around 0 30.973 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in z 30.973 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in z 30.974 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 30.974 * [taylor]: Taking taylor expansion of 1.0 in z 30.974 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.974 * [taylor]: Taking taylor expansion of z in z 30.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 30.974 * [taylor]: Taking taylor expansion of (* x y) in z 30.974 * [taylor]: Taking taylor expansion of x in z 30.974 * [taylor]: Taking taylor expansion of y in z 30.974 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.974 * [taylor]: Taking taylor expansion of (* x z) in z 30.974 * [taylor]: Taking taylor expansion of x in z 30.974 * [taylor]: Taking taylor expansion of z in z 30.974 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in y 30.974 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in y 30.974 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.974 * [taylor]: Taking taylor expansion of 1.0 in y 30.974 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.974 * [taylor]: Taking taylor expansion of z in y 30.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.974 * [taylor]: Taking taylor expansion of (* x y) in y 30.974 * [taylor]: Taking taylor expansion of x in y 30.974 * [taylor]: Taking taylor expansion of y in y 30.974 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.974 * [taylor]: Taking taylor expansion of (* x z) in y 30.974 * [taylor]: Taking taylor expansion of x in y 30.974 * [taylor]: Taking taylor expansion of z in y 30.974 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in x 30.974 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 30.974 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 30.974 * [taylor]: Taking taylor expansion of 1.0 in x 30.974 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.974 * [taylor]: Taking taylor expansion of z in x 30.974 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.974 * [taylor]: Taking taylor expansion of (* x y) in x 30.974 * [taylor]: Taking taylor expansion of x in x 30.974 * [taylor]: Taking taylor expansion of y in x 30.974 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.974 * [taylor]: Taking taylor expansion of (* x z) in x 30.974 * [taylor]: Taking taylor expansion of x in x 30.975 * [taylor]: Taking taylor expansion of z in x 30.975 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in x 30.975 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 30.975 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 30.975 * [taylor]: Taking taylor expansion of 1.0 in x 30.975 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.975 * [taylor]: Taking taylor expansion of z in x 30.975 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.975 * [taylor]: Taking taylor expansion of (* x y) in x 30.975 * [taylor]: Taking taylor expansion of x in x 30.975 * [taylor]: Taking taylor expansion of y in x 30.975 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.975 * [taylor]: Taking taylor expansion of (* x z) in x 30.975 * [taylor]: Taking taylor expansion of x in x 30.975 * [taylor]: Taking taylor expansion of z in x 30.975 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 30.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.975 * [taylor]: Taking taylor expansion of y in y 30.975 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.975 * [taylor]: Taking taylor expansion of z in y 30.975 * [taylor]: Taking taylor expansion of 1 in z 30.975 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.976 * [taylor]: Taking taylor expansion of 1.0 in y 30.976 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.976 * [taylor]: Taking taylor expansion of z in y 30.976 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 30.976 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.976 * [taylor]: Taking taylor expansion of z in z 30.976 * [taylor]: Taking taylor expansion of 0 in y 30.976 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z 30.976 * [taylor]: Taking taylor expansion of 1.0 in z 30.976 * [taylor]: Taking taylor expansion of z in z 30.977 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in (x y z) around 0 30.977 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z 30.977 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 30.977 * [taylor]: Taking taylor expansion of (* x y) in z 30.977 * [taylor]: Taking taylor expansion of x in z 30.977 * [taylor]: Taking taylor expansion of y in z 30.977 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z 30.977 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.977 * [taylor]: Taking taylor expansion of (* x z) in z 30.977 * [taylor]: Taking taylor expansion of x in z 30.977 * [taylor]: Taking taylor expansion of z in z 30.977 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 30.977 * [taylor]: Taking taylor expansion of 1.0 in z 30.977 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.977 * [taylor]: Taking taylor expansion of z in z 30.977 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in y 30.977 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.977 * [taylor]: Taking taylor expansion of (* x y) in y 30.977 * [taylor]: Taking taylor expansion of x in y 30.977 * [taylor]: Taking taylor expansion of y in y 30.977 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in y 30.977 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.977 * [taylor]: Taking taylor expansion of (* x z) in y 30.977 * [taylor]: Taking taylor expansion of x in y 30.977 * [taylor]: Taking taylor expansion of z in y 30.977 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.977 * [taylor]: Taking taylor expansion of 1.0 in y 30.977 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.977 * [taylor]: Taking taylor expansion of z in y 30.977 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 30.977 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.977 * [taylor]: Taking taylor expansion of (* x y) in x 30.977 * [taylor]: Taking taylor expansion of x in x 30.977 * [taylor]: Taking taylor expansion of y in x 30.978 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 30.978 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.978 * [taylor]: Taking taylor expansion of (* x z) in x 30.978 * [taylor]: Taking taylor expansion of x in x 30.978 * [taylor]: Taking taylor expansion of z in x 30.978 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 30.978 * [taylor]: Taking taylor expansion of 1.0 in x 30.978 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.978 * [taylor]: Taking taylor expansion of z in x 30.978 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 30.978 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.978 * [taylor]: Taking taylor expansion of (* x y) in x 30.978 * [taylor]: Taking taylor expansion of x in x 30.978 * [taylor]: Taking taylor expansion of y in x 30.978 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 30.978 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.978 * [taylor]: Taking taylor expansion of (* x z) in x 30.978 * [taylor]: Taking taylor expansion of x in x 30.978 * [taylor]: Taking taylor expansion of z in x 30.978 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 30.978 * [taylor]: Taking taylor expansion of 1.0 in x 30.978 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.978 * [taylor]: Taking taylor expansion of z in x 30.978 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 30.978 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.978 * [taylor]: Taking taylor expansion of y in y 30.978 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.978 * [taylor]: Taking taylor expansion of z in y 30.978 * [taylor]: Taking taylor expansion of 1 in z 30.979 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in y 30.979 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.979 * [taylor]: Taking taylor expansion of 1.0 in y 30.979 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.979 * [taylor]: Taking taylor expansion of z in y 30.979 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 30.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.979 * [taylor]: Taking taylor expansion of z in z 30.979 * [taylor]: Taking taylor expansion of 0 in y 30.979 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 30.979 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 30.979 * [taylor]: Taking taylor expansion of 1.0 in z 30.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.979 * [taylor]: Taking taylor expansion of z in z 30.980 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 30.980 * [approximate]: Taking taylor expansion of (pow (- (+ (* x y) (* 1.0 z)) (* x z)) 3) in (x y z) around 0 30.980 * [taylor]: Taking taylor expansion of (pow (- (+ (* x y) (* 1.0 z)) (* x z)) 3) in z 30.980 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in z 30.980 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in z 30.980 * [taylor]: Taking taylor expansion of (* x y) in z 30.980 * [taylor]: Taking taylor expansion of x in z 30.980 * [taylor]: Taking taylor expansion of y in z 30.980 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 30.980 * [taylor]: Taking taylor expansion of 1.0 in z 30.980 * [taylor]: Taking taylor expansion of z in z 30.980 * [taylor]: Taking taylor expansion of (* x z) in z 30.980 * [taylor]: Taking taylor expansion of x in z 30.980 * [taylor]: Taking taylor expansion of z in z 30.980 * [taylor]: Taking taylor expansion of (pow (- (+ (* x y) (* 1.0 z)) (* x z)) 3) in y 30.980 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in y 30.980 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in y 30.980 * [taylor]: Taking taylor expansion of (* x y) in y 30.980 * [taylor]: Taking taylor expansion of x in y 30.980 * [taylor]: Taking taylor expansion of y in y 30.980 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 30.980 * [taylor]: Taking taylor expansion of 1.0 in y 30.980 * [taylor]: Taking taylor expansion of z in y 30.980 * [taylor]: Taking taylor expansion of (* x z) in y 30.980 * [taylor]: Taking taylor expansion of x in y 30.981 * [taylor]: Taking taylor expansion of z in y 30.981 * [taylor]: Taking taylor expansion of (pow (- (+ (* x y) (* 1.0 z)) (* x z)) 3) in x 30.981 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in x 30.981 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in x 30.981 * [taylor]: Taking taylor expansion of (* x y) in x 30.981 * [taylor]: Taking taylor expansion of x in x 30.981 * [taylor]: Taking taylor expansion of y in x 30.981 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 30.981 * [taylor]: Taking taylor expansion of 1.0 in x 30.981 * [taylor]: Taking taylor expansion of z in x 30.981 * [taylor]: Taking taylor expansion of (* x z) in x 30.981 * [taylor]: Taking taylor expansion of x in x 30.981 * [taylor]: Taking taylor expansion of z in x 30.981 * [taylor]: Taking taylor expansion of (pow (- (+ (* x y) (* 1.0 z)) (* x z)) 3) in x 30.981 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in x 30.981 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in x 30.981 * [taylor]: Taking taylor expansion of (* x y) in x 30.981 * [taylor]: Taking taylor expansion of x in x 30.981 * [taylor]: Taking taylor expansion of y in x 30.981 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 30.981 * [taylor]: Taking taylor expansion of 1.0 in x 30.981 * [taylor]: Taking taylor expansion of z in x 30.981 * [taylor]: Taking taylor expansion of (* x z) in x 30.981 * [taylor]: Taking taylor expansion of x in x 30.981 * [taylor]: Taking taylor expansion of z in x 30.981 * [taylor]: Taking taylor expansion of (* 1.0 (pow z 3)) in y 30.981 * [taylor]: Taking taylor expansion of 1.0 in y 30.981 * [taylor]: Taking taylor expansion of (pow z 3) in y 30.981 * [taylor]: Taking taylor expansion of z in y 30.982 * [taylor]: Taking taylor expansion of (* 1.0 (pow z 3)) in z 30.982 * [taylor]: Taking taylor expansion of 1.0 in z 30.982 * [taylor]: Taking taylor expansion of (pow z 3) in z 30.982 * [taylor]: Taking taylor expansion of z in z 30.982 * [taylor]: Taking taylor expansion of (- (* 3.0 (* (pow z 2) y)) (* 3.0 (pow z 3))) in y 30.982 * [taylor]: Taking taylor expansion of (* 3.0 (* (pow z 2) y)) in y 30.982 * [taylor]: Taking taylor expansion of 3.0 in y 30.982 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 30.982 * [taylor]: Taking taylor expansion of (pow z 2) in y 30.982 * [taylor]: Taking taylor expansion of z in y 30.982 * [taylor]: Taking taylor expansion of y in y 30.982 * [taylor]: Taking taylor expansion of (* 3.0 (pow z 3)) in y 30.982 * [taylor]: Taking taylor expansion of 3.0 in y 30.982 * [taylor]: Taking taylor expansion of (pow z 3) in y 30.982 * [taylor]: Taking taylor expansion of z in y 30.983 * [taylor]: Taking taylor expansion of (neg (* 3.0 (pow z 3))) in z 30.983 * [taylor]: Taking taylor expansion of (* 3.0 (pow z 3)) in z 30.983 * [taylor]: Taking taylor expansion of 3.0 in z 30.983 * [taylor]: Taking taylor expansion of (pow z 3) in z 30.983 * [taylor]: Taking taylor expansion of z in z 30.983 * [taylor]: Taking taylor expansion of 0 in z 30.984 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow z 3)) (* 3.0 (* z (pow y 2)))) (* 6.0 (* (pow z 2) y))) in y 30.984 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow z 3)) (* 3.0 (* z (pow y 2)))) in y 30.984 * [taylor]: Taking taylor expansion of (* 3.0 (pow z 3)) in y 30.984 * [taylor]: Taking taylor expansion of 3.0 in y 30.984 * [taylor]: Taking taylor expansion of (pow z 3) in y 30.984 * [taylor]: Taking taylor expansion of z in y 30.984 * [taylor]: Taking taylor expansion of (* 3.0 (* z (pow y 2))) in y 30.984 * [taylor]: Taking taylor expansion of 3.0 in y 30.984 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 30.984 * [taylor]: Taking taylor expansion of z in y 30.984 * [taylor]: Taking taylor expansion of (pow y 2) in y 30.984 * [taylor]: Taking taylor expansion of y in y 30.984 * [taylor]: Taking taylor expansion of (* 6.0 (* (pow z 2) y)) in y 30.984 * [taylor]: Taking taylor expansion of 6.0 in y 30.984 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 30.984 * [taylor]: Taking taylor expansion of (pow z 2) in y 30.984 * [taylor]: Taking taylor expansion of z in y 30.984 * [taylor]: Taking taylor expansion of y in y 30.984 * [taylor]: Taking taylor expansion of (* 3.0 (pow z 3)) in z 30.984 * [taylor]: Taking taylor expansion of 3.0 in z 30.984 * [taylor]: Taking taylor expansion of (pow z 3) in z 30.984 * [taylor]: Taking taylor expansion of z in z 30.985 * [taylor]: Taking taylor expansion of (* 3.0 (pow z 2)) in z 30.985 * [taylor]: Taking taylor expansion of 3.0 in z 30.985 * [taylor]: Taking taylor expansion of (pow z 2) in z 30.985 * [taylor]: Taking taylor expansion of z in z 30.985 * [taylor]: Taking taylor expansion of 0 in z 30.986 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* (pow z 2) y)) (pow y 3)) (+ (pow z 3) (* 3 (* z (pow y 2))))) in y 30.986 * [taylor]: Taking taylor expansion of (+ (* 3 (* (pow z 2) y)) (pow y 3)) in y 30.986 * [taylor]: Taking taylor expansion of (* 3 (* (pow z 2) y)) in y 30.986 * [taylor]: Taking taylor expansion of 3 in y 30.986 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 30.986 * [taylor]: Taking taylor expansion of (pow z 2) in y 30.986 * [taylor]: Taking taylor expansion of z in y 30.986 * [taylor]: Taking taylor expansion of y in y 30.986 * [taylor]: Taking taylor expansion of (pow y 3) in y 30.986 * [taylor]: Taking taylor expansion of y in y 30.986 * [taylor]: Taking taylor expansion of (+ (pow z 3) (* 3 (* z (pow y 2)))) in y 30.986 * [taylor]: Taking taylor expansion of (pow z 3) in y 30.986 * [taylor]: Taking taylor expansion of z in y 30.986 * [taylor]: Taking taylor expansion of (* 3 (* z (pow y 2))) in y 30.986 * [taylor]: Taking taylor expansion of 3 in y 30.986 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 30.986 * [taylor]: Taking taylor expansion of z in y 30.986 * [taylor]: Taking taylor expansion of (pow y 2) in y 30.986 * [taylor]: Taking taylor expansion of y in y 30.987 * [taylor]: Taking taylor expansion of (neg (pow z 3)) in z 30.987 * [taylor]: Taking taylor expansion of (pow z 3) in z 30.987 * [taylor]: Taking taylor expansion of z in z 30.987 * [taylor]: Taking taylor expansion of (neg (* 6.0 (pow z 2))) in z 30.987 * [taylor]: Taking taylor expansion of (* 6.0 (pow z 2)) in z 30.987 * [taylor]: Taking taylor expansion of 6.0 in z 30.987 * [taylor]: Taking taylor expansion of (pow z 2) in z 30.987 * [taylor]: Taking taylor expansion of z in z 30.988 * [taylor]: Taking taylor expansion of 0 in z 30.988 * [taylor]: Taking taylor expansion of 0 in z 30.988 * [approximate]: Taking taylor expansion of (pow (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) 3) in (x y z) around 0 30.988 * [taylor]: Taking taylor expansion of (pow (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) 3) in z 30.988 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in z 30.988 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in z 30.988 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 30.988 * [taylor]: Taking taylor expansion of 1.0 in z 30.988 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.988 * [taylor]: Taking taylor expansion of z in z 30.988 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 30.988 * [taylor]: Taking taylor expansion of (* x y) in z 30.988 * [taylor]: Taking taylor expansion of x in z 30.988 * [taylor]: Taking taylor expansion of y in z 30.988 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.988 * [taylor]: Taking taylor expansion of (* x z) in z 30.988 * [taylor]: Taking taylor expansion of x in z 30.988 * [taylor]: Taking taylor expansion of z in z 30.989 * [taylor]: Taking taylor expansion of (pow (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) 3) in y 30.989 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in y 30.989 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in y 30.989 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.989 * [taylor]: Taking taylor expansion of 1.0 in y 30.989 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.989 * [taylor]: Taking taylor expansion of z in y 30.989 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.989 * [taylor]: Taking taylor expansion of (* x y) in y 30.989 * [taylor]: Taking taylor expansion of x in y 30.989 * [taylor]: Taking taylor expansion of y in y 30.989 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.989 * [taylor]: Taking taylor expansion of (* x z) in y 30.989 * [taylor]: Taking taylor expansion of x in y 30.989 * [taylor]: Taking taylor expansion of z in y 30.989 * [taylor]: Taking taylor expansion of (pow (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) 3) in x 30.989 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in x 30.989 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 30.989 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 30.989 * [taylor]: Taking taylor expansion of 1.0 in x 30.989 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.989 * [taylor]: Taking taylor expansion of z in x 30.989 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.989 * [taylor]: Taking taylor expansion of (* x y) in x 30.989 * [taylor]: Taking taylor expansion of x in x 30.989 * [taylor]: Taking taylor expansion of y in x 30.989 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.989 * [taylor]: Taking taylor expansion of (* x z) in x 30.989 * [taylor]: Taking taylor expansion of x in x 30.989 * [taylor]: Taking taylor expansion of z in x 30.990 * [taylor]: Taking taylor expansion of (pow (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) 3) in x 30.990 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in x 30.990 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 30.990 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 30.990 * [taylor]: Taking taylor expansion of 1.0 in x 30.990 * [taylor]: Taking taylor expansion of (/ 1 z) in x 30.990 * [taylor]: Taking taylor expansion of z in x 30.990 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.990 * [taylor]: Taking taylor expansion of (* x y) in x 30.990 * [taylor]: Taking taylor expansion of x in x 30.990 * [taylor]: Taking taylor expansion of y in x 30.990 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.990 * [taylor]: Taking taylor expansion of (* x z) in x 30.990 * [taylor]: Taking taylor expansion of x in x 30.990 * [taylor]: Taking taylor expansion of z in x 30.990 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 3) in y 30.990 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 30.990 * [taylor]: Taking taylor expansion of (/ 1 y) in y 30.990 * [taylor]: Taking taylor expansion of y in y 30.990 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.990 * [taylor]: Taking taylor expansion of z in y 30.990 * [taylor]: Taking taylor expansion of 1 in z 30.991 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (/ 1 (pow z 3))) (* 3.0 (/ 1 (* z (pow y 2))))) (* 6.0 (/ 1 (* (pow z 2) y)))) in y 30.991 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow z 3))) (* 3.0 (/ 1 (* z (pow y 2))))) in y 30.992 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow z 3))) in y 30.992 * [taylor]: Taking taylor expansion of 3.0 in y 30.992 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 30.992 * [taylor]: Taking taylor expansion of (pow z 3) in y 30.992 * [taylor]: Taking taylor expansion of z in y 30.992 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* z (pow y 2)))) in y 30.992 * [taylor]: Taking taylor expansion of 3.0 in y 30.992 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in y 30.992 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 30.992 * [taylor]: Taking taylor expansion of z in y 30.992 * [taylor]: Taking taylor expansion of (pow y 2) in y 30.992 * [taylor]: Taking taylor expansion of y in y 30.992 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* (pow z 2) y))) in y 30.992 * [taylor]: Taking taylor expansion of 6.0 in y 30.992 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 30.992 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 30.992 * [taylor]: Taking taylor expansion of (pow z 2) in y 30.992 * [taylor]: Taking taylor expansion of z in y 30.992 * [taylor]: Taking taylor expansion of y in y 30.992 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 z))) in z 30.992 * [taylor]: Taking taylor expansion of (* 3 (/ 1 z)) in z 30.993 * [taylor]: Taking taylor expansion of 3 in z 30.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.993 * [taylor]: Taking taylor expansion of z in z 30.994 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* (pow z 2) y))) (* 3.0 (/ 1 (pow z 3)))) in y 30.994 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* (pow z 2) y))) in y 30.994 * [taylor]: Taking taylor expansion of 3.0 in y 30.994 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 30.994 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 30.994 * [taylor]: Taking taylor expansion of (pow z 2) in y 30.994 * [taylor]: Taking taylor expansion of z in y 30.994 * [taylor]: Taking taylor expansion of y in y 30.994 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow z 3))) in y 30.994 * [taylor]: Taking taylor expansion of 3.0 in y 30.994 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 30.994 * [taylor]: Taking taylor expansion of (pow z 3) in y 30.994 * [taylor]: Taking taylor expansion of z in y 30.994 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 z)) in z 30.994 * [taylor]: Taking taylor expansion of 3.0 in z 30.994 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.994 * [taylor]: Taking taylor expansion of z in z 30.995 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 30.995 * [taylor]: Taking taylor expansion of 3 in z 30.995 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 30.995 * [taylor]: Taking taylor expansion of (pow z 2) in z 30.995 * [taylor]: Taking taylor expansion of z in z 30.996 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow z 3))) in y 30.996 * [taylor]: Taking taylor expansion of 1.0 in y 30.996 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 30.996 * [taylor]: Taking taylor expansion of (pow z 3) in y 30.996 * [taylor]: Taking taylor expansion of z in y 30.997 * [taylor]: Taking taylor expansion of (neg (* 6.0 (/ 1 (pow z 2)))) in z 30.997 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow z 2))) in z 30.997 * [taylor]: Taking taylor expansion of 6.0 in z 30.997 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 30.997 * [taylor]: Taking taylor expansion of (pow z 2) in z 30.997 * [taylor]: Taking taylor expansion of z in z 30.997 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 3))) in z 30.997 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 30.997 * [taylor]: Taking taylor expansion of (pow z 3) in z 30.997 * [taylor]: Taking taylor expansion of z in z 30.998 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) 3) in (x y z) around 0 30.998 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) 3) in z 30.998 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z 30.998 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 30.998 * [taylor]: Taking taylor expansion of (* x y) in z 30.998 * [taylor]: Taking taylor expansion of x in z 30.998 * [taylor]: Taking taylor expansion of y in z 30.998 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z 30.998 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 30.998 * [taylor]: Taking taylor expansion of (* x z) in z 30.998 * [taylor]: Taking taylor expansion of x in z 30.998 * [taylor]: Taking taylor expansion of z in z 30.999 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 30.999 * [taylor]: Taking taylor expansion of 1.0 in z 30.999 * [taylor]: Taking taylor expansion of (/ 1 z) in z 30.999 * [taylor]: Taking taylor expansion of z in z 30.999 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) 3) in y 30.999 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in y 30.999 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 30.999 * [taylor]: Taking taylor expansion of (* x y) in y 30.999 * [taylor]: Taking taylor expansion of x in y 30.999 * [taylor]: Taking taylor expansion of y in y 30.999 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in y 30.999 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 30.999 * [taylor]: Taking taylor expansion of (* x z) in y 30.999 * [taylor]: Taking taylor expansion of x in y 30.999 * [taylor]: Taking taylor expansion of z in y 30.999 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 30.999 * [taylor]: Taking taylor expansion of 1.0 in y 30.999 * [taylor]: Taking taylor expansion of (/ 1 z) in y 30.999 * [taylor]: Taking taylor expansion of z in y 30.999 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) 3) in x 30.999 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 30.999 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 30.999 * [taylor]: Taking taylor expansion of (* x y) in x 30.999 * [taylor]: Taking taylor expansion of x in x 30.999 * [taylor]: Taking taylor expansion of y in x 30.999 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 30.999 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 30.999 * [taylor]: Taking taylor expansion of (* x z) in x 30.999 * [taylor]: Taking taylor expansion of x in x 30.999 * [taylor]: Taking taylor expansion of z in x 31.000 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 31.000 * [taylor]: Taking taylor expansion of 1.0 in x 31.000 * [taylor]: Taking taylor expansion of (/ 1 z) in x 31.000 * [taylor]: Taking taylor expansion of z in x 31.000 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) 3) in x 31.000 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 31.000 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 31.000 * [taylor]: Taking taylor expansion of (* x y) in x 31.000 * [taylor]: Taking taylor expansion of x in x 31.000 * [taylor]: Taking taylor expansion of y in x 31.000 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 31.000 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 31.000 * [taylor]: Taking taylor expansion of (* x z) in x 31.000 * [taylor]: Taking taylor expansion of x in x 31.000 * [taylor]: Taking taylor expansion of z in x 31.000 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 31.000 * [taylor]: Taking taylor expansion of 1.0 in x 31.000 * [taylor]: Taking taylor expansion of (/ 1 z) in x 31.000 * [taylor]: Taking taylor expansion of z in x 31.000 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 3) in y 31.000 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 31.000 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.000 * [taylor]: Taking taylor expansion of y in y 31.001 * [taylor]: Taking taylor expansion of (/ 1 z) in y 31.001 * [taylor]: Taking taylor expansion of z in y 31.001 * [taylor]: Taking taylor expansion of 1 in z 31.002 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* (pow z 2) y))) (+ (* 3.0 (/ 1 (pow z 3))) (* 3.0 (/ 1 (* z (pow y 2)))))) in y 31.002 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* (pow z 2) y))) in y 31.002 * [taylor]: Taking taylor expansion of 6.0 in y 31.002 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 31.002 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 31.002 * [taylor]: Taking taylor expansion of (pow z 2) in y 31.002 * [taylor]: Taking taylor expansion of z in y 31.002 * [taylor]: Taking taylor expansion of y in y 31.002 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow z 3))) (* 3.0 (/ 1 (* z (pow y 2))))) in y 31.002 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow z 3))) in y 31.002 * [taylor]: Taking taylor expansion of 3.0 in y 31.002 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 31.002 * [taylor]: Taking taylor expansion of (pow z 3) in y 31.002 * [taylor]: Taking taylor expansion of z in y 31.002 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* z (pow y 2)))) in y 31.002 * [taylor]: Taking taylor expansion of 3.0 in y 31.002 * [taylor]: Taking taylor expansion of (/ 1 (* z (pow y 2))) in y 31.002 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 31.002 * [taylor]: Taking taylor expansion of z in y 31.002 * [taylor]: Taking taylor expansion of (pow y 2) in y 31.002 * [taylor]: Taking taylor expansion of y in y 31.003 * [taylor]: Taking taylor expansion of (neg (* 3 (/ 1 z))) in z 31.003 * [taylor]: Taking taylor expansion of (* 3 (/ 1 z)) in z 31.003 * [taylor]: Taking taylor expansion of 3 in z 31.003 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.003 * [taylor]: Taking taylor expansion of z in z 31.004 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (* (pow z 2) y))) (* 3.0 (/ 1 (pow z 3)))) in y 31.004 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (* (pow z 2) y))) in y 31.004 * [taylor]: Taking taylor expansion of 3.0 in y 31.004 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) y)) in y 31.004 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 31.004 * [taylor]: Taking taylor expansion of (pow z 2) in y 31.004 * [taylor]: Taking taylor expansion of z in y 31.004 * [taylor]: Taking taylor expansion of y in y 31.004 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow z 3))) in y 31.004 * [taylor]: Taking taylor expansion of 3.0 in y 31.004 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 31.004 * [taylor]: Taking taylor expansion of (pow z 3) in y 31.004 * [taylor]: Taking taylor expansion of z in y 31.005 * [taylor]: Taking taylor expansion of (neg (* 3.0 (/ 1 z))) in z 31.005 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 z)) in z 31.005 * [taylor]: Taking taylor expansion of 3.0 in z 31.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.005 * [taylor]: Taking taylor expansion of z in z 31.005 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow z 2))) in z 31.005 * [taylor]: Taking taylor expansion of 3 in z 31.005 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 31.005 * [taylor]: Taking taylor expansion of (pow z 2) in z 31.005 * [taylor]: Taking taylor expansion of z in z 31.006 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 (pow z 3)))) in y 31.006 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow z 3))) in y 31.006 * [taylor]: Taking taylor expansion of 1.0 in y 31.006 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in y 31.006 * [taylor]: Taking taylor expansion of (pow z 3) in y 31.006 * [taylor]: Taking taylor expansion of z in y 31.007 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow z 2))) in z 31.007 * [taylor]: Taking taylor expansion of 6.0 in z 31.007 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 31.007 * [taylor]: Taking taylor expansion of (pow z 2) in z 31.007 * [taylor]: Taking taylor expansion of z in z 31.007 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 3))) in z 31.007 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 31.007 * [taylor]: Taking taylor expansion of (pow z 3) in z 31.007 * [taylor]: Taking taylor expansion of z in z 31.008 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 31.008 * [approximate]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in (x y z) around 0 31.008 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in z 31.008 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in z 31.008 * [taylor]: Taking taylor expansion of (* x y) in z 31.008 * [taylor]: Taking taylor expansion of x in z 31.008 * [taylor]: Taking taylor expansion of y in z 31.008 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 31.008 * [taylor]: Taking taylor expansion of 1.0 in z 31.008 * [taylor]: Taking taylor expansion of z in z 31.008 * [taylor]: Taking taylor expansion of (* x z) in z 31.008 * [taylor]: Taking taylor expansion of x in z 31.008 * [taylor]: Taking taylor expansion of z in z 31.008 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in y 31.008 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in y 31.008 * [taylor]: Taking taylor expansion of (* x y) in y 31.008 * [taylor]: Taking taylor expansion of x in y 31.008 * [taylor]: Taking taylor expansion of y in y 31.008 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 31.008 * [taylor]: Taking taylor expansion of 1.0 in y 31.008 * [taylor]: Taking taylor expansion of z in y 31.011 * [taylor]: Taking taylor expansion of (* x z) in y 31.011 * [taylor]: Taking taylor expansion of x in y 31.011 * [taylor]: Taking taylor expansion of z in y 31.011 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in x 31.011 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in x 31.011 * [taylor]: Taking taylor expansion of (* x y) in x 31.011 * [taylor]: Taking taylor expansion of x in x 31.011 * [taylor]: Taking taylor expansion of y in x 31.011 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 31.011 * [taylor]: Taking taylor expansion of 1.0 in x 31.011 * [taylor]: Taking taylor expansion of z in x 31.011 * [taylor]: Taking taylor expansion of (* x z) in x 31.011 * [taylor]: Taking taylor expansion of x in x 31.011 * [taylor]: Taking taylor expansion of z in x 31.011 * [taylor]: Taking taylor expansion of (- (+ (* x y) (* 1.0 z)) (* x z)) in x 31.011 * [taylor]: Taking taylor expansion of (+ (* x y) (* 1.0 z)) in x 31.011 * [taylor]: Taking taylor expansion of (* x y) in x 31.011 * [taylor]: Taking taylor expansion of x in x 31.011 * [taylor]: Taking taylor expansion of y in x 31.011 * [taylor]: Taking taylor expansion of (* 1.0 z) in x 31.011 * [taylor]: Taking taylor expansion of 1.0 in x 31.011 * [taylor]: Taking taylor expansion of z in x 31.012 * [taylor]: Taking taylor expansion of (* x z) in x 31.012 * [taylor]: Taking taylor expansion of x in x 31.012 * [taylor]: Taking taylor expansion of z in x 31.012 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 31.012 * [taylor]: Taking taylor expansion of 1.0 in y 31.012 * [taylor]: Taking taylor expansion of z in y 31.012 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 31.012 * [taylor]: Taking taylor expansion of 1.0 in z 31.012 * [taylor]: Taking taylor expansion of z in z 31.012 * [taylor]: Taking taylor expansion of (- y z) in y 31.012 * [taylor]: Taking taylor expansion of y in y 31.012 * [taylor]: Taking taylor expansion of z in y 31.012 * [taylor]: Taking taylor expansion of (neg z) in z 31.012 * [taylor]: Taking taylor expansion of z in z 31.012 * [taylor]: Taking taylor expansion of 0 in z 31.012 * [taylor]: Taking taylor expansion of 0 in y 31.012 * [taylor]: Taking taylor expansion of 0 in z 31.012 * [taylor]: Taking taylor expansion of 1 in z 31.012 * [taylor]: Taking taylor expansion of 0 in z 31.013 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in (x y z) around 0 31.013 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in z 31.013 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in z 31.013 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 31.013 * [taylor]: Taking taylor expansion of 1.0 in z 31.013 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.013 * [taylor]: Taking taylor expansion of z in z 31.013 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 31.013 * [taylor]: Taking taylor expansion of (* x y) in z 31.013 * [taylor]: Taking taylor expansion of x in z 31.013 * [taylor]: Taking taylor expansion of y in z 31.013 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 31.013 * [taylor]: Taking taylor expansion of (* x z) in z 31.013 * [taylor]: Taking taylor expansion of x in z 31.013 * [taylor]: Taking taylor expansion of z in z 31.013 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in y 31.013 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in y 31.013 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 31.013 * [taylor]: Taking taylor expansion of 1.0 in y 31.013 * [taylor]: Taking taylor expansion of (/ 1 z) in y 31.013 * [taylor]: Taking taylor expansion of z in y 31.013 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 31.013 * [taylor]: Taking taylor expansion of (* x y) in y 31.013 * [taylor]: Taking taylor expansion of x in y 31.013 * [taylor]: Taking taylor expansion of y in y 31.013 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 31.013 * [taylor]: Taking taylor expansion of (* x z) in y 31.013 * [taylor]: Taking taylor expansion of x in y 31.013 * [taylor]: Taking taylor expansion of z in y 31.014 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in x 31.014 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 31.014 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 31.014 * [taylor]: Taking taylor expansion of 1.0 in x 31.014 * [taylor]: Taking taylor expansion of (/ 1 z) in x 31.014 * [taylor]: Taking taylor expansion of z in x 31.014 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 31.014 * [taylor]: Taking taylor expansion of (* x y) in x 31.014 * [taylor]: Taking taylor expansion of x in x 31.014 * [taylor]: Taking taylor expansion of y in x 31.014 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 31.014 * [taylor]: Taking taylor expansion of (* x z) in x 31.014 * [taylor]: Taking taylor expansion of x in x 31.014 * [taylor]: Taking taylor expansion of z in x 31.014 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) (/ 1 (* x z))) in x 31.014 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (/ 1 (* x y))) in x 31.014 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 31.014 * [taylor]: Taking taylor expansion of 1.0 in x 31.014 * [taylor]: Taking taylor expansion of (/ 1 z) in x 31.014 * [taylor]: Taking taylor expansion of z in x 31.014 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 31.014 * [taylor]: Taking taylor expansion of (* x y) in x 31.014 * [taylor]: Taking taylor expansion of x in x 31.014 * [taylor]: Taking taylor expansion of y in x 31.014 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 31.014 * [taylor]: Taking taylor expansion of (* x z) in x 31.014 * [taylor]: Taking taylor expansion of x in x 31.014 * [taylor]: Taking taylor expansion of z in x 31.014 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 31.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.014 * [taylor]: Taking taylor expansion of y in y 31.015 * [taylor]: Taking taylor expansion of (/ 1 z) in y 31.015 * [taylor]: Taking taylor expansion of z in y 31.015 * [taylor]: Taking taylor expansion of 1 in z 31.015 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 31.015 * [taylor]: Taking taylor expansion of 1.0 in y 31.015 * [taylor]: Taking taylor expansion of (/ 1 z) in y 31.015 * [taylor]: Taking taylor expansion of z in y 31.015 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 31.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.015 * [taylor]: Taking taylor expansion of z in z 31.015 * [taylor]: Taking taylor expansion of 0 in y 31.015 * [taylor]: Taking taylor expansion of (/ 1.0 z) in z 31.015 * [taylor]: Taking taylor expansion of 1.0 in z 31.016 * [taylor]: Taking taylor expansion of z in z 31.016 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in (x y z) around 0 31.016 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in z 31.016 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 31.016 * [taylor]: Taking taylor expansion of (* x y) in z 31.016 * [taylor]: Taking taylor expansion of x in z 31.016 * [taylor]: Taking taylor expansion of y in z 31.016 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in z 31.016 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 31.016 * [taylor]: Taking taylor expansion of (* x z) in z 31.016 * [taylor]: Taking taylor expansion of x in z 31.016 * [taylor]: Taking taylor expansion of z in z 31.016 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 31.016 * [taylor]: Taking taylor expansion of 1.0 in z 31.016 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.016 * [taylor]: Taking taylor expansion of z in z 31.016 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in y 31.016 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 31.016 * [taylor]: Taking taylor expansion of (* x y) in y 31.016 * [taylor]: Taking taylor expansion of x in y 31.016 * [taylor]: Taking taylor expansion of y in y 31.016 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in y 31.017 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 31.017 * [taylor]: Taking taylor expansion of (* x z) in y 31.017 * [taylor]: Taking taylor expansion of x in y 31.017 * [taylor]: Taking taylor expansion of z in y 31.017 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 31.017 * [taylor]: Taking taylor expansion of 1.0 in y 31.017 * [taylor]: Taking taylor expansion of (/ 1 z) in y 31.017 * [taylor]: Taking taylor expansion of z in y 31.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 31.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 31.017 * [taylor]: Taking taylor expansion of (* x y) in x 31.017 * [taylor]: Taking taylor expansion of x in x 31.017 * [taylor]: Taking taylor expansion of y in x 31.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 31.017 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 31.017 * [taylor]: Taking taylor expansion of (* x z) in x 31.017 * [taylor]: Taking taylor expansion of x in x 31.017 * [taylor]: Taking taylor expansion of z in x 31.017 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 31.017 * [taylor]: Taking taylor expansion of 1.0 in x 31.017 * [taylor]: Taking taylor expansion of (/ 1 z) in x 31.017 * [taylor]: Taking taylor expansion of z in x 31.017 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (+ (/ 1 (* x z)) (* 1.0 (/ 1 z)))) in x 31.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 31.017 * [taylor]: Taking taylor expansion of (* x y) in x 31.017 * [taylor]: Taking taylor expansion of x in x 31.017 * [taylor]: Taking taylor expansion of y in x 31.017 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (* 1.0 (/ 1 z))) in x 31.017 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 31.017 * [taylor]: Taking taylor expansion of (* x z) in x 31.017 * [taylor]: Taking taylor expansion of x in x 31.017 * [taylor]: Taking taylor expansion of z in x 31.017 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in x 31.017 * [taylor]: Taking taylor expansion of 1.0 in x 31.017 * [taylor]: Taking taylor expansion of (/ 1 z) in x 31.017 * [taylor]: Taking taylor expansion of z in x 31.018 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 31.018 * [taylor]: Taking taylor expansion of (/ 1 y) in y 31.018 * [taylor]: Taking taylor expansion of y in y 31.018 * [taylor]: Taking taylor expansion of (/ 1 z) in y 31.018 * [taylor]: Taking taylor expansion of z in y 31.018 * [taylor]: Taking taylor expansion of 1 in z 31.018 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in y 31.018 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 31.018 * [taylor]: Taking taylor expansion of 1.0 in y 31.018 * [taylor]: Taking taylor expansion of (/ 1 z) in y 31.018 * [taylor]: Taking taylor expansion of z in y 31.018 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 31.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.018 * [taylor]: Taking taylor expansion of z in z 31.019 * [taylor]: Taking taylor expansion of 0 in y 31.019 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 31.019 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 31.019 * [taylor]: Taking taylor expansion of 1.0 in z 31.019 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.019 * [taylor]: Taking taylor expansion of z in z 31.019 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 31.019 * [approximate]: Taking taylor expansion of (* (- 1.0 x) z) in (x z) around 0 31.019 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in z 31.019 * [taylor]: Taking taylor expansion of (- 1.0 x) in z 31.019 * [taylor]: Taking taylor expansion of 1.0 in z 31.019 * [taylor]: Taking taylor expansion of x in z 31.019 * [taylor]: Taking taylor expansion of z in z 31.019 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in x 31.019 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 31.019 * [taylor]: Taking taylor expansion of 1.0 in x 31.019 * [taylor]: Taking taylor expansion of x in x 31.019 * [taylor]: Taking taylor expansion of z in x 31.019 * [taylor]: Taking taylor expansion of (* (- 1.0 x) z) in x 31.019 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 31.020 * [taylor]: Taking taylor expansion of 1.0 in x 31.020 * [taylor]: Taking taylor expansion of x in x 31.020 * [taylor]: Taking taylor expansion of z in x 31.020 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 31.020 * [taylor]: Taking taylor expansion of 1.0 in z 31.020 * [taylor]: Taking taylor expansion of z in z 31.020 * [taylor]: Taking taylor expansion of (neg z) in z 31.020 * [taylor]: Taking taylor expansion of z in z 31.020 * [taylor]: Taking taylor expansion of 0 in z 31.020 * [taylor]: Taking taylor expansion of 0 in z 31.020 * [taylor]: Taking taylor expansion of 0 in z 31.020 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in (x z) around 0 31.020 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in z 31.020 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in z 31.020 * [taylor]: Taking taylor expansion of 1.0 in z 31.020 * [taylor]: Taking taylor expansion of (/ 1 x) in z 31.021 * [taylor]: Taking taylor expansion of x in z 31.021 * [taylor]: Taking taylor expansion of z in z 31.021 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x 31.021 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 31.021 * [taylor]: Taking taylor expansion of 1.0 in x 31.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.021 * [taylor]: Taking taylor expansion of x in x 31.021 * [taylor]: Taking taylor expansion of z in x 31.021 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) z) in x 31.021 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 31.021 * [taylor]: Taking taylor expansion of 1.0 in x 31.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.021 * [taylor]: Taking taylor expansion of x in x 31.021 * [taylor]: Taking taylor expansion of z in x 31.021 * [taylor]: Taking taylor expansion of (/ -1 z) in z 31.021 * [taylor]: Taking taylor expansion of -1 in z 31.021 * [taylor]: Taking taylor expansion of z in z 31.021 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 31.021 * [taylor]: Taking taylor expansion of 1.0 in z 31.021 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.021 * [taylor]: Taking taylor expansion of z in z 31.022 * [taylor]: Taking taylor expansion of 0 in z 31.022 * [taylor]: Taking taylor expansion of 0 in z 31.022 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in (x z) around 0 31.022 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in z 31.022 * [taylor]: Taking taylor expansion of -1 in z 31.022 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in z 31.022 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in z 31.022 * [taylor]: Taking taylor expansion of (/ 1 x) in z 31.022 * [taylor]: Taking taylor expansion of x in z 31.022 * [taylor]: Taking taylor expansion of 1.0 in z 31.022 * [taylor]: Taking taylor expansion of z in z 31.022 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x 31.022 * [taylor]: Taking taylor expansion of -1 in x 31.023 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x 31.023 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 31.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.023 * [taylor]: Taking taylor expansion of x in x 31.023 * [taylor]: Taking taylor expansion of 1.0 in x 31.023 * [taylor]: Taking taylor expansion of z in x 31.023 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 x) 1.0) z)) in x 31.023 * [taylor]: Taking taylor expansion of -1 in x 31.023 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) z) in x 31.023 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 31.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 31.023 * [taylor]: Taking taylor expansion of x in x 31.023 * [taylor]: Taking taylor expansion of 1.0 in x 31.023 * [taylor]: Taking taylor expansion of z in x 31.023 * [taylor]: Taking taylor expansion of (/ -1 z) in z 31.023 * [taylor]: Taking taylor expansion of -1 in z 31.023 * [taylor]: Taking taylor expansion of z in z 31.023 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 31.023 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 31.023 * [taylor]: Taking taylor expansion of 1.0 in z 31.023 * [taylor]: Taking taylor expansion of (/ 1 z) in z 31.023 * [taylor]: Taking taylor expansion of z in z 31.024 * [taylor]: Taking taylor expansion of 0 in z 31.024 * [taylor]: Taking taylor expansion of 0 in z 31.025 * * * [progress]: simplifying candidates 31.026 * [simplify]: Simplifying using # : (log (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (exp (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (cbrt (pow (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))) 3)) (cbrt (pow (cbrt (+ (* x y) (* (- 1.0 x) z))) 3)) (cbrt (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3)) (cbrt (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (cbrt (* (+ (* x y) (* (- 1.0 x) z)) (+ (* x y) (* (- 1.0 x) z)))) (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (* (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)))) (cbrt (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (cbrt (pow (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))) 3)) (cbrt (pow (cbrt (+ (* x y) (* (- 1.0 x) z))) 3)) (cbrt (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3)) (cbrt (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (* (+ (* x y) (* (- 1.0 x) z)) (+ (* x y) (* (- 1.0 x) z)))) (cbrt (sqrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (cbrt (sqrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (cbrt 1) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) (/ 3 2))) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) (/ 3 2))) (cbrt (pow (+ (pow (* x y) 3) (pow (* (- 1.0 x) z) 3)) 3)) (cbrt (pow (+ (* (* x y) (* x y)) (- (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (* x y) (* (- 1.0 x) z)))) 3)) (cbrt (pow (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) 3)) (cbrt (pow (- (* x y) (* (- 1.0 x) z)) 3)) (* (cbrt (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (cbrt (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)))) (cbrt (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (* (* (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (sqrt (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (sqrt (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (* (log (+ (* x y) (* (- 1.0 x) z))) 3) (* (log (+ (* x y) (* (- 1.0 x) z))) 3) (* 1 3) (pow (+ (* x y) (* (- 1.0 x) z)) (* (cbrt 3) (cbrt 3))) (pow (+ (* x y) (* (- 1.0 x) z)) (sqrt 3)) (pow (+ (* x y) (* (- 1.0 x) z)) 1) (pow (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))) 3) (pow (cbrt (+ (* x y) (* (- 1.0 x) z))) 3) (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3) (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3) (pow 1 3) (pow (+ (* x y) (* (- 1.0 x) z)) 3) (* (+ (* x y) (* (- 1.0 x) z)) (+ (* x y) (* (- 1.0 x) z))) (log (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (exp (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (* (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (* (* (pow (+ (* x y) (* (- 1.0 x) z)) 3) (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (pow (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))) 3) (pow (cbrt (+ (* x y) (* (- 1.0 x) z))) 3) (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3) (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3) (pow 1 3) (pow (+ (* x y) (* (- 1.0 x) z)) 3) (pow (+ (pow (* x y) 3) (pow (* (- 1.0 x) z) 3)) 3) (pow (+ (* (* x y) (* x y)) (- (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (* x y) (* (- 1.0 x) z)))) 3) (pow (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) 3) (pow (- (* x y) (* (- 1.0 x) z)) 3) (* (+ (* x y) (* (- 1.0 x) z)) (+ (* x y) (* (- 1.0 x) z))) (sqrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (sqrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (pow (+ (* x y) (* (- 1.0 x) z)) (/ 3 2)) (pow (+ (* x y) (* (- 1.0 x) z)) (/ 3 2)) (* (exp (* x y)) (exp (* (- 1.0 x) z))) (log (+ (* x y) (* (- 1.0 x) z))) (exp (+ (* x y) (* (- 1.0 x) z))) (* (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (+ (* x y) (* (- 1.0 x) z)))) (cbrt (+ (* x y) (* (- 1.0 x) z))) (* (* (+ (* x y) (* (- 1.0 x) z)) (+ (* x y) (* (- 1.0 x) z))) (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) (+ (pow (* x y) 3) (pow (* (- 1.0 x) z) 3)) (+ (* (* x y) (* x y)) (- (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (* x y) (* (- 1.0 x) z)))) (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)) (* (- 1.0 x) z) (+ (log (- 1.0 x)) (log z)) (log (* (- 1.0 x) z)) (exp (* (- 1.0 x) z)) (* (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)) (* (* z z) z)) (* (cbrt (* (- 1.0 x) z)) (cbrt (* (- 1.0 x) z))) (cbrt (* (- 1.0 x) z)) (* (* (* (- 1.0 x) z) (* (- 1.0 x) z)) (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (- 1.0 x) (* (cbrt z) (cbrt z))) (* (- 1.0 x) (sqrt z)) (* (- 1.0 x) 1) (* (cbrt (- 1.0 x)) z) (* (sqrt (- 1.0 x)) z) (* (- 1.0 x) z) (* (- (sqrt 1.0) (sqrt x)) z) (* (- 1.0 x) z) (* (- (pow 1.0 3) (pow x 3)) z) (* (- (* 1.0 1.0) (* x x)) z) (- (+ (* 1.0 z) (* x y)) (* x z)) (- (+ (* x y) (* 1.0 z)) (* x z)) (- (+ (* x y) (* 1.0 z)) (* x z)) 0 (- (* 3 (* (pow x 3) (* (pow z 2) y))) (+ (* 3 (* (pow x 3) (* z (pow y 2)))) (* (pow x 3) (pow z 3)))) (- (* 3 (* (pow x 3) (* (pow z 2) y))) (+ (* 3 (* (pow x 3) (* z (pow y 2)))) (* (pow x 3) (pow z 3)))) (- (+ (* 1.0 z) (* x y)) (* x z)) (- (+ (* x y) (* 1.0 z)) (* x z)) (- (+ (* x y) (* 1.0 z)) (* x z)) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) (- (* 1.0 z) (* x z)) 31.030 * * [simplify]: iteration 0 : 132 enodes (cost 1511 ) 31.050 * * [simplify]: iteration 1 : 348 enodes (cost 1336 ) 31.127 * * [simplify]: iteration 2 : 1385 enodes (cost 1163 ) 31.467 * * [simplify]: iteration done : 5000 enodes (cost 1151 ) 31.468 * [simplify]: Simplified to: (log (+ (* x y) (* (- 1.0 x) z))) (exp (+ (* x y) (* (- 1.0 x) z))) (cbrt (pow (+ (* (- 1.0 x) z) (* x y)) 2)) (cbrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) 1 (+ (* (- 1.0 x) z) (* x y)) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 2)) (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 2)) (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (pow (+ (* (- 1.0 x) z) (* x y)) 2)) (cbrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) 1 (+ (* (- 1.0 x) z) (* x y)) (cbrt (+ (* x y) (* (- 1.0 x) z))) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 2)) (cbrt (sqrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) (cbrt (sqrt (pow (+ (* x y) (* (- 1.0 x) z)) 3))) 1 (+ (* (- 1.0 x) z) (* x y)) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3/2)) (cbrt (pow (+ (* x y) (* (- 1.0 x) z)) 3/2)) (+ (pow (* (- 1.0 x) z) 3) (pow (* x y) 3)) (+ (* (* (- 1.0 x) z) (- (* (- 1.0 x) z) (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)) (cbrt (pow (+ (* (- 1.0 x) z) (* x y)) 2)) (cbrt (+ (* x y) (* (- 1.0 x) z))) (pow (+ (* (- 1.0 x) z) (* x y)) 3) (sqrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) (* (log (+ (* x y) (* (- 1.0 x) z))) 3) (* (log (+ (* x y) (* (- 1.0 x) z))) 3) 3 (pow (+ (* x y) (* (- 1.0 x) z)) (* (cbrt 3) (cbrt 3))) (pow (+ (* x y) (* (- 1.0 x) z)) (sqrt 3)) (+ (* (- 1.0 x) z) (* x y)) (pow (+ (* (- 1.0 x) z) (* x y)) 2) (+ (* (- 1.0 x) z) (* x y)) (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3) (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3) 1 (pow (+ (* (- 1.0 x) z) (* x y)) 3) (pow (+ (* (- 1.0 x) z) (* x y)) 2) (* (log (+ (* x y) (* (- 1.0 x) z))) 3) (exp (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (pow (+ (* (- 1.0 x) z) (* x y)) 2) (+ (* (- 1.0 x) z) (* x y)) (pow (pow (+ (* x y) (* (- 1.0 x) z)) 3) 3) (pow (+ (* (- 1.0 x) z) (* x y)) 2) (+ (* (- 1.0 x) z) (* x y)) (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3) (pow (sqrt (+ (* x y) (* (- 1.0 x) z))) 3) 1 (pow (+ (* (- 1.0 x) z) (* x y)) 3) (pow (+ (pow (* x y) 3) (pow (* (- 1.0 x) z) 3)) 3) (pow (+ (* (* (- 1.0 x) z) (- (* (- 1.0 x) z) (* x y))) (* (* x y) (* x y))) 3) (pow (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) 3) (pow (- (* x y) (* (- 1.0 x) z)) 3) (pow (+ (* (- 1.0 x) z) (* x y)) 2) (sqrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (sqrt (pow (+ (* x y) (* (- 1.0 x) z)) 3)) (pow (+ (* x y) (* (- 1.0 x) z)) 3/2) (pow (+ (* x y) (* (- 1.0 x) z)) 3/2) (exp (+ (* x y) (* (- 1.0 x) z))) (log (+ (* x y) (* (- 1.0 x) z))) (exp (+ (* x y) (* (- 1.0 x) z))) (cbrt (pow (+ (* (- 1.0 x) z) (* x y)) 2)) (cbrt (+ (* x y) (* (- 1.0 x) z))) (pow (+ (* (- 1.0 x) z) (* x y)) 3) (sqrt (+ (* x y) (* (- 1.0 x) z))) (sqrt (+ (* x y) (* (- 1.0 x) z))) (+ (pow (* (- 1.0 x) z) 3) (pow (* x y) 3)) (+ (* (* (- 1.0 x) z) (- (* (- 1.0 x) z) (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* (* (- 1.0 x) z) (* (- 1.0 x) z))) (- (* x y) (* (- 1.0 x) z)) (* (- 1.0 x) z) (log (* (- 1.0 x) z)) (log (* (- 1.0 x) z)) (exp (* (- 1.0 x) z)) (pow (* (- 1.0 x) z) 3) (* (cbrt (* (- 1.0 x) z)) (cbrt (* (- 1.0 x) z))) (cbrt (* (- 1.0 x) z)) (pow (* (- 1.0 x) z) 3) (sqrt (* (- 1.0 x) z)) (sqrt (* (- 1.0 x) z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (sqrt (- 1.0 x)) (sqrt z)) (* (- 1.0 x) (* (cbrt z) (cbrt z))) (* (- 1.0 x) (sqrt z)) (- 1.0 x) (* (cbrt (- 1.0 x)) z) (* (sqrt (- 1.0 x)) z) (* (- 1.0 x) z) (* (- (sqrt 1.0) (sqrt x)) z) (* (- 1.0 x) z) (* (- (pow 1.0 3) (pow x 3)) z) (* (- (* 1.0 1.0) (* x x)) z) (+ (* (- 1.0 x) z) (* x y)) (+ (* (- 1.0 x) z) (* x y)) (+ (* (- 1.0 x) z) (* x y)) 0 (- (* (* 3 (pow x 3)) (- (* (pow z 2) y) (* z (pow y 2)))) (* (pow x 3) (pow z 3))) (- (* (* 3 (pow x 3)) (- (* (pow z 2) y) (* z (pow y 2)))) (* (pow x 3) (pow z 3))) (+ (* (- 1.0 x) z) (* x y)) (+ (* (- 1.0 x) z) (* x y)) (+ (* (- 1.0 x) z) (* x y)) (* (- 1.0 x) z) (* (- 1.0 x) z) (* (- 1.0 x) z) 31.468 * * * [progress]: adding candidates to table 31.586 * [progress]: [Phase 3 of 3] Extracting. 31.586 * * [regime]: Finding splitpoints for: (# # #) 31.587 * * * [regime-changes]: Trying 4 branch expressions: ((+ (* x y) (* (- 1.0 x) z)) z y x) 31.587 * * * * [regimes]: Trying to branch on (+ (* x y) (* (- 1.0 x) z)) from (# # #) 31.635 * * * * [regimes]: Trying to branch on z from (# # #) 31.678 * * * * [regimes]: Trying to branch on y from (# # #) 31.722 * * * * [regimes]: Trying to branch on x from (# # #) 31.765 * * * [regime]: Found split indices: #