0.856 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.660 * * * [progress]: [2/2] Setting up program. 0.664 * [progress]: [Phase 2 of 3] Improving. 0.670 * [simplify]: Simplifying using # : (* (+ x y) z) 1.013 * * [simplify]: iteration 0 : 7 enodes (cost 2 ) 1.014 * * [simplify]: iteration 1 : 15 enodes (cost 2 ) 1.015 * * [simplify]: iteration 2 : 15 enodes (cost 2 ) 1.015 * [simplify]: Simplified to: (* (+ x y) z) 1.017 * * [progress]: iteration 1 / 4 1.017 * * * [progress]: picking best candidate 1.020 * * * * [pick]: Picked # 1.020 * * * [progress]: localizing error 1.026 * * * [progress]: generating rewritten candidates 1.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.047 * * * [progress]: generating series expansions 1.047 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.051 * [approximate]: Taking taylor expansion of (* z (+ x y)) in (x y z) around 0 1.052 * [taylor]: Taking taylor expansion of (* z (+ x y)) in z 1.052 * [taylor]: Taking taylor expansion of z in z 1.052 * [taylor]: Taking taylor expansion of (+ x y) in z 1.052 * [taylor]: Taking taylor expansion of x in z 1.052 * [taylor]: Taking taylor expansion of y in z 1.053 * [taylor]: Taking taylor expansion of (* z (+ x y)) in y 1.053 * [taylor]: Taking taylor expansion of z in y 1.053 * [taylor]: Taking taylor expansion of (+ x y) in y 1.053 * [taylor]: Taking taylor expansion of x in y 1.053 * [taylor]: Taking taylor expansion of y in y 1.053 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.053 * [taylor]: Taking taylor expansion of z in x 1.053 * [taylor]: Taking taylor expansion of (+ x y) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of y in x 1.053 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.053 * [taylor]: Taking taylor expansion of z in x 1.053 * [taylor]: Taking taylor expansion of (+ x y) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of y in x 1.054 * [taylor]: Taking taylor expansion of (* z y) in y 1.054 * [taylor]: Taking taylor expansion of z in y 1.054 * [taylor]: Taking taylor expansion of y in y 1.054 * [taylor]: Taking taylor expansion of 0 in z 1.054 * [taylor]: Taking taylor expansion of z in y 1.054 * [taylor]: Taking taylor expansion of z in z 1.054 * [taylor]: Taking taylor expansion of z in z 1.054 * [taylor]: Taking taylor expansion of 0 in y 1.054 * [taylor]: Taking taylor expansion of 0 in z 1.054 * [taylor]: Taking taylor expansion of 0 in z 1.054 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 1.054 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.054 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.054 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.054 * [taylor]: Taking taylor expansion of y in z 1.055 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.055 * [taylor]: Taking taylor expansion of x in z 1.055 * [taylor]: Taking taylor expansion of z in z 1.055 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.055 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.055 * [taylor]: Taking taylor expansion of y in y 1.055 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.055 * [taylor]: Taking taylor expansion of x in y 1.055 * [taylor]: Taking taylor expansion of z in y 1.055 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.055 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.055 * [taylor]: Taking taylor expansion of y in x 1.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.055 * [taylor]: Taking taylor expansion of x in x 1.055 * [taylor]: Taking taylor expansion of z in x 1.055 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.055 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.055 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.055 * [taylor]: Taking taylor expansion of y in x 1.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.055 * [taylor]: Taking taylor expansion of x in x 1.055 * [taylor]: Taking taylor expansion of z in x 1.056 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.056 * [taylor]: Taking taylor expansion of z in y 1.056 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.056 * [taylor]: Taking taylor expansion of (* z y) in y 1.056 * [taylor]: Taking taylor expansion of z in y 1.056 * [taylor]: Taking taylor expansion of y in y 1.056 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.056 * [taylor]: Taking taylor expansion of z in z 1.056 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.056 * [taylor]: Taking taylor expansion of z in z 1.057 * [taylor]: Taking taylor expansion of 0 in y 1.057 * [taylor]: Taking taylor expansion of 0 in z 1.057 * [taylor]: Taking taylor expansion of 0 in z 1.057 * [taylor]: Taking taylor expansion of 0 in y 1.057 * [taylor]: Taking taylor expansion of 0 in z 1.057 * [taylor]: Taking taylor expansion of 0 in z 1.058 * [taylor]: Taking taylor expansion of 0 in z 1.058 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 1.058 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.058 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.058 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.058 * [taylor]: Taking taylor expansion of y in z 1.058 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.058 * [taylor]: Taking taylor expansion of x in z 1.058 * [taylor]: Taking taylor expansion of z in z 1.059 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.059 * [taylor]: Taking taylor expansion of y in y 1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.059 * [taylor]: Taking taylor expansion of x in y 1.059 * [taylor]: Taking taylor expansion of z in y 1.059 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.059 * [taylor]: Taking taylor expansion of y in x 1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.059 * [taylor]: Taking taylor expansion of x in x 1.059 * [taylor]: Taking taylor expansion of z in x 1.059 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.059 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.059 * [taylor]: Taking taylor expansion of y in x 1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.059 * [taylor]: Taking taylor expansion of x in x 1.059 * [taylor]: Taking taylor expansion of z in x 1.059 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.059 * [taylor]: Taking taylor expansion of z in y 1.059 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.059 * [taylor]: Taking taylor expansion of (* z y) in y 1.059 * [taylor]: Taking taylor expansion of z in y 1.059 * [taylor]: Taking taylor expansion of y in y 1.059 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.059 * [taylor]: Taking taylor expansion of z in z 1.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.060 * [taylor]: Taking taylor expansion of z in z 1.060 * [taylor]: Taking taylor expansion of 0 in y 1.060 * [taylor]: Taking taylor expansion of 0 in z 1.060 * [taylor]: Taking taylor expansion of 0 in z 1.060 * [taylor]: Taking taylor expansion of 0 in y 1.060 * [taylor]: Taking taylor expansion of 0 in z 1.060 * [taylor]: Taking taylor expansion of 0 in z 1.060 * [taylor]: Taking taylor expansion of 0 in z 1.061 * * * [progress]: simplifying candidates 1.061 * [simplify]: Simplifying using # : (* (+ x y) z) (+ (log (+ x y)) (log z)) (log (* (+ x y) z)) (exp (* (+ x y) z)) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* z z) z)) (* (cbrt (* (+ x y) z)) (cbrt (* (+ x y) z))) (cbrt (* (+ x y) z)) (* (* (* (+ x y) z) (* (+ x y) z)) (* (+ x y) z)) (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)) (* (sqrt (+ x y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (* (cbrt z) (cbrt z))) (* (+ x y) (sqrt z)) (* (+ x y) 1) (* (cbrt (+ x y)) z) (* (sqrt (+ x y)) z) (* (+ x y) z) (* (+ x y) z) (* (+ (pow x 3) (pow y 3)) z) (* (- (* x x) (* y y)) z) 0 (+ (* x z) (* z y)) (+ (* x z) (* z y)) 1.064 * * [simplify]: iteration 0 : 106 enodes (cost 84 ) 1.066 * * [simplify]: iteration 1 : 411 enodes (cost 72 ) 1.075 * * [simplify]: iteration 2 : 1811 enodes (cost 72 ) 1.098 * * [simplify]: iteration 3 : 5003 enodes (cost 72 ) 1.099 * [simplify]: Simplified to: (* (+ x y) z) (log (* (+ x y) z)) (log (* (+ x y) z)) (exp (* (+ x y) z)) (pow (* (+ x y) z) 3) (* (cbrt (* (+ x y) z)) (cbrt (* (+ x y) z))) (cbrt (* (+ x y) z)) (pow (* (+ x y) z) 3) (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)) (* (sqrt (+ x y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (* (cbrt z) (cbrt z))) (* (+ x y) (sqrt z)) (+ x y) (* (cbrt (+ x y)) z) (* (sqrt (+ x y)) z) (* (+ x y) z) (* (+ x y) z) (* (+ (pow x 3) (pow y 3)) z) (* (- (* x x) (* y y)) z) 0 (* (+ x y) z) (* (+ x y) z) 1.099 * * * [progress]: adding candidates to table 1.121 * * [progress]: iteration 2 / 4 1.121 * * * [progress]: picking best candidate 1.124 * * * * [pick]: Picked # 1.124 * * * [progress]: localizing error 1.130 * * * [progress]: generating rewritten candidates 1.130 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.134 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.139 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.151 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 1.165 * * * [progress]: generating series expansions 1.165 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.166 * [approximate]: Taking taylor expansion of (sqrt (* z (+ x y))) in (x y z) around 0 1.166 * [taylor]: Taking taylor expansion of (sqrt (* z (+ x y))) in z 1.166 * [taylor]: Taking taylor expansion of (* z (+ x y)) in z 1.166 * [taylor]: Taking taylor expansion of z in z 1.166 * [taylor]: Taking taylor expansion of (+ x y) in z 1.166 * [taylor]: Taking taylor expansion of x in z 1.166 * [taylor]: Taking taylor expansion of y in z 1.166 * [taylor]: Taking taylor expansion of (sqrt (* z (+ x y))) in y 1.166 * [taylor]: Taking taylor expansion of (* z (+ x y)) in y 1.166 * [taylor]: Taking taylor expansion of z in y 1.166 * [taylor]: Taking taylor expansion of (+ x y) in y 1.166 * [taylor]: Taking taylor expansion of x in y 1.166 * [taylor]: Taking taylor expansion of y in y 1.166 * [taylor]: Taking taylor expansion of (sqrt (* z (+ x y))) in x 1.166 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.166 * [taylor]: Taking taylor expansion of z in x 1.166 * [taylor]: Taking taylor expansion of (+ x y) in x 1.166 * [taylor]: Taking taylor expansion of x in x 1.166 * [taylor]: Taking taylor expansion of y in x 1.166 * [taylor]: Taking taylor expansion of (sqrt (* z (+ x y))) in x 1.166 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.167 * [taylor]: Taking taylor expansion of z in x 1.167 * [taylor]: Taking taylor expansion of (+ x y) in x 1.167 * [taylor]: Taking taylor expansion of x in x 1.167 * [taylor]: Taking taylor expansion of y in x 1.167 * [taylor]: Taking taylor expansion of (sqrt (* z y)) in y 1.167 * [taylor]: Taking taylor expansion of (* z y) in y 1.167 * [taylor]: Taking taylor expansion of z in y 1.167 * [taylor]: Taking taylor expansion of y in y 1.167 * [taylor]: Taking taylor expansion of 0 in z 1.167 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ z y))) in y 1.167 * [taylor]: Taking taylor expansion of 1/2 in y 1.167 * [taylor]: Taking taylor expansion of (sqrt (/ z y)) in y 1.167 * [taylor]: Taking taylor expansion of (/ z y) in y 1.167 * [taylor]: Taking taylor expansion of z in y 1.167 * [taylor]: Taking taylor expansion of y in y 1.167 * [taylor]: Taking taylor expansion of (* 1/2 (* NAN z)) in z 1.167 * [taylor]: Taking taylor expansion of 1/2 in z 1.167 * [taylor]: Taking taylor expansion of (* NAN z) in z 1.167 * [taylor]: Taking taylor expansion of NAN in z 1.167 * [taylor]: Taking taylor expansion of z in z 1.167 * [taylor]: Taking taylor expansion of (* NAN z) in z 1.167 * [taylor]: Taking taylor expansion of NAN in z 1.167 * [taylor]: Taking taylor expansion of z in z 1.168 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ z (pow y 3)))) in y 1.168 * [taylor]: Taking taylor expansion of -1/8 in y 1.168 * [taylor]: Taking taylor expansion of (sqrt (/ z (pow y 3))) in y 1.168 * [taylor]: Taking taylor expansion of (/ z (pow y 3)) in y 1.168 * [taylor]: Taking taylor expansion of z in y 1.168 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.168 * [taylor]: Taking taylor expansion of y in y 1.169 * [taylor]: Taking taylor expansion of (neg (* 1/8 (* (pow NAN 3) (pow z 2)))) in z 1.169 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow NAN 3) (pow z 2))) in z 1.169 * [taylor]: Taking taylor expansion of 1/8 in z 1.169 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow z 2)) in z 1.169 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.169 * [taylor]: Taking taylor expansion of NAN in z 1.169 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.169 * [taylor]: Taking taylor expansion of z in z 1.170 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 3) (pow z 2))) in z 1.170 * [taylor]: Taking taylor expansion of 1/2 in z 1.170 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow z 2)) in z 1.170 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.170 * [taylor]: Taking taylor expansion of NAN in z 1.170 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.170 * [taylor]: Taking taylor expansion of z in z 1.170 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 2) (pow z 2))) in z 1.170 * [taylor]: Taking taylor expansion of NAN in z 1.170 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow z 2)) in z 1.170 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 1.170 * [taylor]: Taking taylor expansion of NAN in z 1.170 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.170 * [taylor]: Taking taylor expansion of z in z 1.171 * [taylor]: Taking taylor expansion of (* 1/16 (sqrt (/ z (pow y 5)))) in y 1.171 * [taylor]: Taking taylor expansion of 1/16 in y 1.171 * [taylor]: Taking taylor expansion of (sqrt (/ z (pow y 5))) in y 1.171 * [taylor]: Taking taylor expansion of (/ z (pow y 5)) in y 1.171 * [taylor]: Taking taylor expansion of z in y 1.171 * [taylor]: Taking taylor expansion of (pow y 5) in y 1.171 * [taylor]: Taking taylor expansion of y in y 1.172 * [taylor]: Taking taylor expansion of (* 1/16 (* (pow NAN 5) (pow z 3))) in z 1.172 * [taylor]: Taking taylor expansion of 1/16 in z 1.172 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow z 3)) in z 1.172 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 1.172 * [taylor]: Taking taylor expansion of NAN in z 1.172 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.172 * [taylor]: Taking taylor expansion of z in z 1.172 * [taylor]: Taking taylor expansion of (neg (* 1/8 (* (pow NAN 5) (pow z 3)))) in z 1.172 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow NAN 5) (pow z 3))) in z 1.172 * [taylor]: Taking taylor expansion of 1/8 in z 1.172 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow z 3)) in z 1.172 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 1.172 * [taylor]: Taking taylor expansion of NAN in z 1.172 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.172 * [taylor]: Taking taylor expansion of z in z 1.173 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 5) (pow z 3))) in z 1.173 * [taylor]: Taking taylor expansion of 1/2 in z 1.173 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow z 3)) in z 1.173 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 1.173 * [taylor]: Taking taylor expansion of NAN in z 1.173 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.173 * [taylor]: Taking taylor expansion of z in z 1.173 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 4) (pow z 3))) in z 1.173 * [taylor]: Taking taylor expansion of NAN in z 1.173 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow z 3)) in z 1.173 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 1.174 * [taylor]: Taking taylor expansion of NAN in z 1.174 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.174 * [taylor]: Taking taylor expansion of z in z 1.174 * [taylor]: Taking taylor expansion of (* -5/128 (sqrt (/ z (pow y 7)))) in y 1.174 * [taylor]: Taking taylor expansion of -5/128 in y 1.174 * [taylor]: Taking taylor expansion of (sqrt (/ z (pow y 7))) in y 1.174 * [taylor]: Taking taylor expansion of (/ z (pow y 7)) in y 1.174 * [taylor]: Taking taylor expansion of z in y 1.174 * [taylor]: Taking taylor expansion of (pow y 7) in y 1.174 * [taylor]: Taking taylor expansion of y in y 1.176 * [taylor]: Taking taylor expansion of (neg (* 5/128 (* (pow NAN 7) (pow z 4)))) in z 1.176 * [taylor]: Taking taylor expansion of (* 5/128 (* (pow NAN 7) (pow z 4))) in z 1.176 * [taylor]: Taking taylor expansion of 5/128 in z 1.176 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow z 4)) in z 1.176 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 1.176 * [taylor]: Taking taylor expansion of NAN in z 1.176 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.176 * [taylor]: Taking taylor expansion of z in z 1.177 * [taylor]: Taking taylor expansion of (* 1/16 (* (pow NAN 7) (pow z 4))) in z 1.177 * [taylor]: Taking taylor expansion of 1/16 in z 1.177 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow z 4)) in z 1.177 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 1.177 * [taylor]: Taking taylor expansion of NAN in z 1.177 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.177 * [taylor]: Taking taylor expansion of z in z 1.178 * [taylor]: Taking taylor expansion of (neg (* 1/8 (* (pow NAN 7) (pow z 4)))) in z 1.178 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow NAN 7) (pow z 4))) in z 1.178 * [taylor]: Taking taylor expansion of 1/8 in z 1.178 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow z 4)) in z 1.178 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 1.178 * [taylor]: Taking taylor expansion of NAN in z 1.178 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.178 * [taylor]: Taking taylor expansion of z in z 1.179 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 7) (pow z 4))) in z 1.179 * [taylor]: Taking taylor expansion of 1/2 in z 1.179 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow z 4)) in z 1.179 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 1.179 * [taylor]: Taking taylor expansion of NAN in z 1.180 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.180 * [taylor]: Taking taylor expansion of z in z 1.180 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 6) (pow z 4))) in z 1.180 * [taylor]: Taking taylor expansion of NAN in z 1.180 * [taylor]: Taking taylor expansion of (* (pow NAN 6) (pow z 4)) in z 1.180 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 1.180 * [taylor]: Taking taylor expansion of NAN in z 1.180 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.180 * [taylor]: Taking taylor expansion of z in z 1.181 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in (x y z) around 0 1.181 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in z 1.181 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.181 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.181 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.181 * [taylor]: Taking taylor expansion of y in z 1.181 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.181 * [taylor]: Taking taylor expansion of x in z 1.182 * [taylor]: Taking taylor expansion of z in z 1.182 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in y 1.182 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.182 * [taylor]: Taking taylor expansion of y in y 1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.182 * [taylor]: Taking taylor expansion of x in y 1.182 * [taylor]: Taking taylor expansion of z in y 1.182 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in x 1.182 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.182 * [taylor]: Taking taylor expansion of y in x 1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.182 * [taylor]: Taking taylor expansion of x in x 1.182 * [taylor]: Taking taylor expansion of z in x 1.182 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in x 1.182 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.182 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.182 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.182 * [taylor]: Taking taylor expansion of y in x 1.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.182 * [taylor]: Taking taylor expansion of x in x 1.182 * [taylor]: Taking taylor expansion of z in x 1.182 * [taylor]: Taking taylor expansion of 0 in y 1.182 * [taylor]: Taking taylor expansion of (/ NAN z) in y 1.182 * [taylor]: Taking taylor expansion of NAN in y 1.182 * [taylor]: Taking taylor expansion of z in y 1.183 * [taylor]: Taking taylor expansion of 0 in z 1.183 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 (* z y)) (/ (pow NAN 2) (pow z 2)))) in y 1.183 * [taylor]: Taking taylor expansion of NAN in y 1.183 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ (pow NAN 2) (pow z 2))) in y 1.183 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.183 * [taylor]: Taking taylor expansion of (* z y) in y 1.183 * [taylor]: Taking taylor expansion of z in y 1.183 * [taylor]: Taking taylor expansion of y in y 1.183 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow z 2)) in y 1.183 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 1.183 * [taylor]: Taking taylor expansion of NAN in y 1.183 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.183 * [taylor]: Taking taylor expansion of z in y 1.183 * [taylor]: Taking taylor expansion of (/ NAN z) in z 1.183 * [taylor]: Taking taylor expansion of NAN in z 1.183 * [taylor]: Taking taylor expansion of z in z 1.183 * [taylor]: Taking taylor expansion of (/ NAN z) in z 1.183 * [taylor]: Taking taylor expansion of NAN in z 1.183 * [taylor]: Taking taylor expansion of z in z 1.183 * [taylor]: Taking taylor expansion of 0 in z 1.184 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (/ (pow NAN 4) (pow z 3))) (* 2 (/ (pow NAN 2) (* (pow z 2) y))))) in y 1.184 * [taylor]: Taking taylor expansion of NAN in y 1.184 * [taylor]: Taking taylor expansion of (- (* 2 (/ (pow NAN 4) (pow z 3))) (* 2 (/ (pow NAN 2) (* (pow z 2) y)))) in y 1.184 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow z 3))) in y 1.184 * [taylor]: Taking taylor expansion of 2 in y 1.184 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow z 3)) in y 1.184 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 1.184 * [taylor]: Taking taylor expansion of NAN in y 1.184 * [taylor]: Taking taylor expansion of (pow z 3) in y 1.184 * [taylor]: Taking taylor expansion of z in y 1.184 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* (pow z 2) y))) in y 1.184 * [taylor]: Taking taylor expansion of 2 in y 1.184 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow z 2) y)) in y 1.184 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 1.185 * [taylor]: Taking taylor expansion of NAN in y 1.185 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.185 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.185 * [taylor]: Taking taylor expansion of z in y 1.185 * [taylor]: Taking taylor expansion of y in y 1.185 * [taylor]: Taking taylor expansion of (* -2 (/ (pow NAN 3) (pow z 2))) in z 1.185 * [taylor]: Taking taylor expansion of -2 in z 1.185 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow z 2)) in z 1.185 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.186 * [taylor]: Taking taylor expansion of NAN in z 1.186 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.186 * [taylor]: Taking taylor expansion of z in z 1.186 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 3) (pow z 2))) in z 1.186 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow z 2)) in z 1.186 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.186 * [taylor]: Taking taylor expansion of NAN in z 1.186 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.187 * [taylor]: Taking taylor expansion of z in z 1.187 * [taylor]: Taking taylor expansion of 0 in z 1.187 * [taylor]: Taking taylor expansion of 0 in z 1.187 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in (x y z) around 0 1.187 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in z 1.187 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.187 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.187 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.187 * [taylor]: Taking taylor expansion of y in z 1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.187 * [taylor]: Taking taylor expansion of x in z 1.187 * [taylor]: Taking taylor expansion of z in z 1.188 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in y 1.188 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.188 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.188 * [taylor]: Taking taylor expansion of y in y 1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.188 * [taylor]: Taking taylor expansion of x in y 1.188 * [taylor]: Taking taylor expansion of z in y 1.188 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in x 1.188 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.188 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.188 * [taylor]: Taking taylor expansion of y in x 1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.188 * [taylor]: Taking taylor expansion of x in x 1.188 * [taylor]: Taking taylor expansion of z in x 1.188 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in x 1.188 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.188 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.188 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.188 * [taylor]: Taking taylor expansion of y in x 1.188 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.188 * [taylor]: Taking taylor expansion of x in x 1.188 * [taylor]: Taking taylor expansion of z in x 1.188 * [taylor]: Taking taylor expansion of 0 in y 1.188 * [taylor]: Taking taylor expansion of (/ NAN z) in y 1.188 * [taylor]: Taking taylor expansion of NAN in y 1.188 * [taylor]: Taking taylor expansion of z in y 1.189 * [taylor]: Taking taylor expansion of 0 in z 1.189 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 (* z y)) (/ (pow NAN 2) (pow z 2)))) in y 1.189 * [taylor]: Taking taylor expansion of NAN in y 1.189 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ (pow NAN 2) (pow z 2))) in y 1.189 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.189 * [taylor]: Taking taylor expansion of (* z y) in y 1.189 * [taylor]: Taking taylor expansion of z in y 1.189 * [taylor]: Taking taylor expansion of y in y 1.189 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow z 2)) in y 1.189 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 1.189 * [taylor]: Taking taylor expansion of NAN in y 1.189 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.189 * [taylor]: Taking taylor expansion of z in y 1.189 * [taylor]: Taking taylor expansion of (/ NAN z) in z 1.189 * [taylor]: Taking taylor expansion of NAN in z 1.189 * [taylor]: Taking taylor expansion of z in z 1.189 * [taylor]: Taking taylor expansion of (/ NAN z) in z 1.189 * [taylor]: Taking taylor expansion of NAN in z 1.189 * [taylor]: Taking taylor expansion of z in z 1.189 * [taylor]: Taking taylor expansion of 0 in z 1.190 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (/ (pow NAN 4) (pow z 3))) (* 2 (/ (pow NAN 2) (* (pow z 2) y))))) in y 1.190 * [taylor]: Taking taylor expansion of NAN in y 1.190 * [taylor]: Taking taylor expansion of (- (* 2 (/ (pow NAN 4) (pow z 3))) (* 2 (/ (pow NAN 2) (* (pow z 2) y)))) in y 1.190 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow z 3))) in y 1.190 * [taylor]: Taking taylor expansion of 2 in y 1.190 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow z 3)) in y 1.190 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 1.190 * [taylor]: Taking taylor expansion of NAN in y 1.190 * [taylor]: Taking taylor expansion of (pow z 3) in y 1.190 * [taylor]: Taking taylor expansion of z in y 1.190 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* (pow z 2) y))) in y 1.190 * [taylor]: Taking taylor expansion of 2 in y 1.190 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow z 2) y)) in y 1.190 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 1.190 * [taylor]: Taking taylor expansion of NAN in y 1.190 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.191 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.191 * [taylor]: Taking taylor expansion of z in y 1.191 * [taylor]: Taking taylor expansion of y in y 1.191 * [taylor]: Taking taylor expansion of (* -2 (/ (pow NAN 3) (pow z 2))) in z 1.191 * [taylor]: Taking taylor expansion of -2 in z 1.191 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow z 2)) in z 1.191 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.191 * [taylor]: Taking taylor expansion of NAN in z 1.191 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.191 * [taylor]: Taking taylor expansion of z in z 1.192 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 3) (pow z 2))) in z 1.192 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow z 2)) in z 1.192 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.192 * [taylor]: Taking taylor expansion of NAN in z 1.192 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.192 * [taylor]: Taking taylor expansion of z in z 1.193 * [taylor]: Taking taylor expansion of 0 in z 1.193 * [taylor]: Taking taylor expansion of 0 in z 1.193 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.193 * [approximate]: Taking taylor expansion of (sqrt (* z (+ x y))) in (x y z) around 0 1.193 * [taylor]: Taking taylor expansion of (sqrt (* z (+ x y))) in z 1.193 * [taylor]: Taking taylor expansion of (* z (+ x y)) in z 1.193 * [taylor]: Taking taylor expansion of z in z 1.193 * [taylor]: Taking taylor expansion of (+ x y) in z 1.193 * [taylor]: Taking taylor expansion of x in z 1.193 * [taylor]: Taking taylor expansion of y in z 1.193 * [taylor]: Taking taylor expansion of (sqrt (* z (+ x y))) in y 1.193 * [taylor]: Taking taylor expansion of (* z (+ x y)) in y 1.193 * [taylor]: Taking taylor expansion of z in y 1.193 * [taylor]: Taking taylor expansion of (+ x y) in y 1.193 * [taylor]: Taking taylor expansion of x in y 1.194 * [taylor]: Taking taylor expansion of y in y 1.194 * [taylor]: Taking taylor expansion of (sqrt (* z (+ x y))) in x 1.194 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.194 * [taylor]: Taking taylor expansion of z in x 1.194 * [taylor]: Taking taylor expansion of (+ x y) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.194 * [taylor]: Taking taylor expansion of y in x 1.194 * [taylor]: Taking taylor expansion of (sqrt (* z (+ x y))) in x 1.194 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.194 * [taylor]: Taking taylor expansion of z in x 1.194 * [taylor]: Taking taylor expansion of (+ x y) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.194 * [taylor]: Taking taylor expansion of y in x 1.194 * [taylor]: Taking taylor expansion of (sqrt (* z y)) in y 1.194 * [taylor]: Taking taylor expansion of (* z y) in y 1.194 * [taylor]: Taking taylor expansion of z in y 1.194 * [taylor]: Taking taylor expansion of y in y 1.194 * [taylor]: Taking taylor expansion of 0 in z 1.194 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ z y))) in y 1.194 * [taylor]: Taking taylor expansion of 1/2 in y 1.194 * [taylor]: Taking taylor expansion of (sqrt (/ z y)) in y 1.194 * [taylor]: Taking taylor expansion of (/ z y) in y 1.194 * [taylor]: Taking taylor expansion of z in y 1.194 * [taylor]: Taking taylor expansion of y in y 1.194 * [taylor]: Taking taylor expansion of (* 1/2 (* NAN z)) in z 1.194 * [taylor]: Taking taylor expansion of 1/2 in z 1.194 * [taylor]: Taking taylor expansion of (* NAN z) in z 1.195 * [taylor]: Taking taylor expansion of NAN in z 1.195 * [taylor]: Taking taylor expansion of z in z 1.195 * [taylor]: Taking taylor expansion of (* NAN z) in z 1.195 * [taylor]: Taking taylor expansion of NAN in z 1.195 * [taylor]: Taking taylor expansion of z in z 1.195 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ z (pow y 3)))) in y 1.195 * [taylor]: Taking taylor expansion of -1/8 in y 1.195 * [taylor]: Taking taylor expansion of (sqrt (/ z (pow y 3))) in y 1.195 * [taylor]: Taking taylor expansion of (/ z (pow y 3)) in y 1.195 * [taylor]: Taking taylor expansion of z in y 1.195 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.195 * [taylor]: Taking taylor expansion of y in y 1.195 * [taylor]: Taking taylor expansion of (neg (* 1/8 (* (pow NAN 3) (pow z 2)))) in z 1.195 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow NAN 3) (pow z 2))) in z 1.195 * [taylor]: Taking taylor expansion of 1/8 in z 1.195 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow z 2)) in z 1.195 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.196 * [taylor]: Taking taylor expansion of NAN in z 1.196 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.196 * [taylor]: Taking taylor expansion of z in z 1.196 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 3) (pow z 2))) in z 1.196 * [taylor]: Taking taylor expansion of 1/2 in z 1.196 * [taylor]: Taking taylor expansion of (* (pow NAN 3) (pow z 2)) in z 1.196 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.196 * [taylor]: Taking taylor expansion of NAN in z 1.196 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.196 * [taylor]: Taking taylor expansion of z in z 1.196 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 2) (pow z 2))) in z 1.196 * [taylor]: Taking taylor expansion of NAN in z 1.196 * [taylor]: Taking taylor expansion of (* (pow NAN 2) (pow z 2)) in z 1.196 * [taylor]: Taking taylor expansion of (pow NAN 2) in z 1.196 * [taylor]: Taking taylor expansion of NAN in z 1.196 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.196 * [taylor]: Taking taylor expansion of z in z 1.197 * [taylor]: Taking taylor expansion of (* 1/16 (sqrt (/ z (pow y 5)))) in y 1.197 * [taylor]: Taking taylor expansion of 1/16 in y 1.197 * [taylor]: Taking taylor expansion of (sqrt (/ z (pow y 5))) in y 1.197 * [taylor]: Taking taylor expansion of (/ z (pow y 5)) in y 1.197 * [taylor]: Taking taylor expansion of z in y 1.197 * [taylor]: Taking taylor expansion of (pow y 5) in y 1.197 * [taylor]: Taking taylor expansion of y in y 1.198 * [taylor]: Taking taylor expansion of (* 1/16 (* (pow NAN 5) (pow z 3))) in z 1.198 * [taylor]: Taking taylor expansion of 1/16 in z 1.198 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow z 3)) in z 1.198 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 1.198 * [taylor]: Taking taylor expansion of NAN in z 1.198 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.198 * [taylor]: Taking taylor expansion of z in z 1.198 * [taylor]: Taking taylor expansion of (neg (* 1/8 (* (pow NAN 5) (pow z 3)))) in z 1.198 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow NAN 5) (pow z 3))) in z 1.199 * [taylor]: Taking taylor expansion of 1/8 in z 1.199 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow z 3)) in z 1.199 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 1.199 * [taylor]: Taking taylor expansion of NAN in z 1.199 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.199 * [taylor]: Taking taylor expansion of z in z 1.199 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 5) (pow z 3))) in z 1.199 * [taylor]: Taking taylor expansion of 1/2 in z 1.199 * [taylor]: Taking taylor expansion of (* (pow NAN 5) (pow z 3)) in z 1.199 * [taylor]: Taking taylor expansion of (pow NAN 5) in z 1.199 * [taylor]: Taking taylor expansion of NAN in z 1.199 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.199 * [taylor]: Taking taylor expansion of z in z 1.200 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 4) (pow z 3))) in z 1.200 * [taylor]: Taking taylor expansion of NAN in z 1.200 * [taylor]: Taking taylor expansion of (* (pow NAN 4) (pow z 3)) in z 1.200 * [taylor]: Taking taylor expansion of (pow NAN 4) in z 1.200 * [taylor]: Taking taylor expansion of NAN in z 1.200 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.200 * [taylor]: Taking taylor expansion of z in z 1.200 * [taylor]: Taking taylor expansion of (* -5/128 (sqrt (/ z (pow y 7)))) in y 1.200 * [taylor]: Taking taylor expansion of -5/128 in y 1.200 * [taylor]: Taking taylor expansion of (sqrt (/ z (pow y 7))) in y 1.200 * [taylor]: Taking taylor expansion of (/ z (pow y 7)) in y 1.200 * [taylor]: Taking taylor expansion of z in y 1.200 * [taylor]: Taking taylor expansion of (pow y 7) in y 1.200 * [taylor]: Taking taylor expansion of y in y 1.202 * [taylor]: Taking taylor expansion of (neg (* 5/128 (* (pow NAN 7) (pow z 4)))) in z 1.202 * [taylor]: Taking taylor expansion of (* 5/128 (* (pow NAN 7) (pow z 4))) in z 1.202 * [taylor]: Taking taylor expansion of 5/128 in z 1.202 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow z 4)) in z 1.202 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 1.202 * [taylor]: Taking taylor expansion of NAN in z 1.202 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.202 * [taylor]: Taking taylor expansion of z in z 1.203 * [taylor]: Taking taylor expansion of (* 1/16 (* (pow NAN 7) (pow z 4))) in z 1.203 * [taylor]: Taking taylor expansion of 1/16 in z 1.203 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow z 4)) in z 1.203 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 1.203 * [taylor]: Taking taylor expansion of NAN in z 1.203 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.203 * [taylor]: Taking taylor expansion of z in z 1.204 * [taylor]: Taking taylor expansion of (neg (* 1/8 (* (pow NAN 7) (pow z 4)))) in z 1.204 * [taylor]: Taking taylor expansion of (* 1/8 (* (pow NAN 7) (pow z 4))) in z 1.204 * [taylor]: Taking taylor expansion of 1/8 in z 1.204 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow z 4)) in z 1.204 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 1.204 * [taylor]: Taking taylor expansion of NAN in z 1.204 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.204 * [taylor]: Taking taylor expansion of z in z 1.205 * [taylor]: Taking taylor expansion of (* 1/2 (* (pow NAN 7) (pow z 4))) in z 1.205 * [taylor]: Taking taylor expansion of 1/2 in z 1.205 * [taylor]: Taking taylor expansion of (* (pow NAN 7) (pow z 4)) in z 1.205 * [taylor]: Taking taylor expansion of (pow NAN 7) in z 1.205 * [taylor]: Taking taylor expansion of NAN in z 1.205 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.205 * [taylor]: Taking taylor expansion of z in z 1.206 * [taylor]: Taking taylor expansion of (* NAN (* (pow NAN 6) (pow z 4))) in z 1.206 * [taylor]: Taking taylor expansion of NAN in z 1.206 * [taylor]: Taking taylor expansion of (* (pow NAN 6) (pow z 4)) in z 1.206 * [taylor]: Taking taylor expansion of (pow NAN 6) in z 1.206 * [taylor]: Taking taylor expansion of NAN in z 1.206 * [taylor]: Taking taylor expansion of (pow z 4) in z 1.206 * [taylor]: Taking taylor expansion of z in z 1.207 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in (x y z) around 0 1.207 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in z 1.207 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.207 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.207 * [taylor]: Taking taylor expansion of y in z 1.207 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.207 * [taylor]: Taking taylor expansion of x in z 1.207 * [taylor]: Taking taylor expansion of z in z 1.207 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in y 1.207 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.207 * [taylor]: Taking taylor expansion of y in y 1.207 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.207 * [taylor]: Taking taylor expansion of x in y 1.207 * [taylor]: Taking taylor expansion of z in y 1.207 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in x 1.207 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.207 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.207 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.207 * [taylor]: Taking taylor expansion of y in x 1.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.207 * [taylor]: Taking taylor expansion of x in x 1.208 * [taylor]: Taking taylor expansion of z in x 1.208 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in x 1.208 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.208 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.208 * [taylor]: Taking taylor expansion of y in x 1.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.208 * [taylor]: Taking taylor expansion of x in x 1.208 * [taylor]: Taking taylor expansion of z in x 1.208 * [taylor]: Taking taylor expansion of 0 in y 1.208 * [taylor]: Taking taylor expansion of (/ NAN z) in y 1.208 * [taylor]: Taking taylor expansion of NAN in y 1.208 * [taylor]: Taking taylor expansion of z in y 1.208 * [taylor]: Taking taylor expansion of 0 in z 1.208 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 (* z y)) (/ (pow NAN 2) (pow z 2)))) in y 1.208 * [taylor]: Taking taylor expansion of NAN in y 1.208 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ (pow NAN 2) (pow z 2))) in y 1.208 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.208 * [taylor]: Taking taylor expansion of (* z y) in y 1.208 * [taylor]: Taking taylor expansion of z in y 1.208 * [taylor]: Taking taylor expansion of y in y 1.208 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow z 2)) in y 1.208 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 1.208 * [taylor]: Taking taylor expansion of NAN in y 1.208 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.208 * [taylor]: Taking taylor expansion of z in y 1.209 * [taylor]: Taking taylor expansion of (/ NAN z) in z 1.209 * [taylor]: Taking taylor expansion of NAN in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.209 * [taylor]: Taking taylor expansion of (/ NAN z) in z 1.209 * [taylor]: Taking taylor expansion of NAN in z 1.209 * [taylor]: Taking taylor expansion of z in z 1.209 * [taylor]: Taking taylor expansion of 0 in z 1.209 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (/ (pow NAN 4) (pow z 3))) (* 2 (/ (pow NAN 2) (* (pow z 2) y))))) in y 1.209 * [taylor]: Taking taylor expansion of NAN in y 1.209 * [taylor]: Taking taylor expansion of (- (* 2 (/ (pow NAN 4) (pow z 3))) (* 2 (/ (pow NAN 2) (* (pow z 2) y)))) in y 1.210 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow z 3))) in y 1.210 * [taylor]: Taking taylor expansion of 2 in y 1.210 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow z 3)) in y 1.210 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 1.210 * [taylor]: Taking taylor expansion of NAN in y 1.210 * [taylor]: Taking taylor expansion of (pow z 3) in y 1.210 * [taylor]: Taking taylor expansion of z in y 1.210 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* (pow z 2) y))) in y 1.210 * [taylor]: Taking taylor expansion of 2 in y 1.210 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow z 2) y)) in y 1.210 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 1.210 * [taylor]: Taking taylor expansion of NAN in y 1.210 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.210 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.210 * [taylor]: Taking taylor expansion of z in y 1.210 * [taylor]: Taking taylor expansion of y in y 1.211 * [taylor]: Taking taylor expansion of (* -2 (/ (pow NAN 3) (pow z 2))) in z 1.211 * [taylor]: Taking taylor expansion of -2 in z 1.211 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow z 2)) in z 1.211 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.211 * [taylor]: Taking taylor expansion of NAN in z 1.211 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.211 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 3) (pow z 2))) in z 1.212 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow z 2)) in z 1.212 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.212 * [taylor]: Taking taylor expansion of NAN in z 1.212 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.212 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of 0 in z 1.212 * [taylor]: Taking taylor expansion of 0 in z 1.213 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in (x y z) around 0 1.213 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in z 1.213 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.213 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.213 * [taylor]: Taking taylor expansion of y in z 1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.213 * [taylor]: Taking taylor expansion of x in z 1.213 * [taylor]: Taking taylor expansion of z in z 1.213 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in y 1.213 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.213 * [taylor]: Taking taylor expansion of y in y 1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.213 * [taylor]: Taking taylor expansion of x in y 1.213 * [taylor]: Taking taylor expansion of z in y 1.213 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in x 1.213 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.213 * [taylor]: Taking taylor expansion of y in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of z in x 1.214 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 y) (/ 1 x)) z)) in x 1.214 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.214 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.214 * [taylor]: Taking taylor expansion of y in x 1.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.214 * [taylor]: Taking taylor expansion of x in x 1.214 * [taylor]: Taking taylor expansion of z in x 1.214 * [taylor]: Taking taylor expansion of 0 in y 1.214 * [taylor]: Taking taylor expansion of (/ NAN z) in y 1.214 * [taylor]: Taking taylor expansion of NAN in y 1.214 * [taylor]: Taking taylor expansion of z in y 1.214 * [taylor]: Taking taylor expansion of 0 in z 1.214 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 (* z y)) (/ (pow NAN 2) (pow z 2)))) in y 1.214 * [taylor]: Taking taylor expansion of NAN in y 1.214 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ (pow NAN 2) (pow z 2))) in y 1.214 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.214 * [taylor]: Taking taylor expansion of (* z y) in y 1.214 * [taylor]: Taking taylor expansion of z in y 1.214 * [taylor]: Taking taylor expansion of y in y 1.214 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow z 2)) in y 1.214 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 1.214 * [taylor]: Taking taylor expansion of NAN in y 1.214 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.214 * [taylor]: Taking taylor expansion of z in y 1.215 * [taylor]: Taking taylor expansion of (/ NAN z) in z 1.215 * [taylor]: Taking taylor expansion of NAN in z 1.215 * [taylor]: Taking taylor expansion of z in z 1.215 * [taylor]: Taking taylor expansion of (/ NAN z) in z 1.215 * [taylor]: Taking taylor expansion of NAN in z 1.215 * [taylor]: Taking taylor expansion of z in z 1.215 * [taylor]: Taking taylor expansion of 0 in z 1.215 * [taylor]: Taking taylor expansion of (* NAN (- (* 2 (/ (pow NAN 4) (pow z 3))) (* 2 (/ (pow NAN 2) (* (pow z 2) y))))) in y 1.215 * [taylor]: Taking taylor expansion of NAN in y 1.215 * [taylor]: Taking taylor expansion of (- (* 2 (/ (pow NAN 4) (pow z 3))) (* 2 (/ (pow NAN 2) (* (pow z 2) y)))) in y 1.215 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow z 3))) in y 1.215 * [taylor]: Taking taylor expansion of 2 in y 1.215 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow z 3)) in y 1.215 * [taylor]: Taking taylor expansion of (pow NAN 4) in y 1.215 * [taylor]: Taking taylor expansion of NAN in y 1.215 * [taylor]: Taking taylor expansion of (pow z 3) in y 1.216 * [taylor]: Taking taylor expansion of z in y 1.216 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* (pow z 2) y))) in y 1.216 * [taylor]: Taking taylor expansion of 2 in y 1.216 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* (pow z 2) y)) in y 1.216 * [taylor]: Taking taylor expansion of (pow NAN 2) in y 1.216 * [taylor]: Taking taylor expansion of NAN in y 1.216 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.216 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.216 * [taylor]: Taking taylor expansion of z in y 1.216 * [taylor]: Taking taylor expansion of y in y 1.217 * [taylor]: Taking taylor expansion of (* -2 (/ (pow NAN 3) (pow z 2))) in z 1.217 * [taylor]: Taking taylor expansion of -2 in z 1.217 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow z 2)) in z 1.217 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.217 * [taylor]: Taking taylor expansion of NAN in z 1.217 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.217 * [taylor]: Taking taylor expansion of z in z 1.218 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 3) (pow z 2))) in z 1.218 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow z 2)) in z 1.218 * [taylor]: Taking taylor expansion of (pow NAN 3) in z 1.218 * [taylor]: Taking taylor expansion of NAN in z 1.218 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.218 * [taylor]: Taking taylor expansion of z in z 1.218 * [taylor]: Taking taylor expansion of 0 in z 1.218 * [taylor]: Taking taylor expansion of 0 in z 1.218 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.219 * [approximate]: Taking taylor expansion of (* z (+ x y)) in (x y z) around 0 1.219 * [taylor]: Taking taylor expansion of (* z (+ x y)) in z 1.219 * [taylor]: Taking taylor expansion of z in z 1.219 * [taylor]: Taking taylor expansion of (+ x y) in z 1.219 * [taylor]: Taking taylor expansion of x in z 1.219 * [taylor]: Taking taylor expansion of y in z 1.219 * [taylor]: Taking taylor expansion of (* z (+ x y)) in y 1.219 * [taylor]: Taking taylor expansion of z in y 1.219 * [taylor]: Taking taylor expansion of (+ x y) in y 1.219 * [taylor]: Taking taylor expansion of x in y 1.219 * [taylor]: Taking taylor expansion of y in y 1.219 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.219 * [taylor]: Taking taylor expansion of z in x 1.219 * [taylor]: Taking taylor expansion of (+ x y) in x 1.219 * [taylor]: Taking taylor expansion of x in x 1.219 * [taylor]: Taking taylor expansion of y in x 1.219 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.219 * [taylor]: Taking taylor expansion of z in x 1.219 * [taylor]: Taking taylor expansion of (+ x y) in x 1.219 * [taylor]: Taking taylor expansion of x in x 1.219 * [taylor]: Taking taylor expansion of y in x 1.219 * [taylor]: Taking taylor expansion of (* z y) in y 1.219 * [taylor]: Taking taylor expansion of z in y 1.219 * [taylor]: Taking taylor expansion of y in y 1.219 * [taylor]: Taking taylor expansion of 0 in z 1.219 * [taylor]: Taking taylor expansion of z in y 1.219 * [taylor]: Taking taylor expansion of z in z 1.219 * [taylor]: Taking taylor expansion of z in z 1.219 * [taylor]: Taking taylor expansion of 0 in y 1.219 * [taylor]: Taking taylor expansion of 0 in z 1.219 * [taylor]: Taking taylor expansion of 0 in z 1.220 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 1.220 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.220 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.220 * [taylor]: Taking taylor expansion of y in z 1.220 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.220 * [taylor]: Taking taylor expansion of x in z 1.220 * [taylor]: Taking taylor expansion of z in z 1.220 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.220 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.220 * [taylor]: Taking taylor expansion of y in y 1.220 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.220 * [taylor]: Taking taylor expansion of x in y 1.220 * [taylor]: Taking taylor expansion of z in y 1.220 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.220 * [taylor]: Taking taylor expansion of y in x 1.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.220 * [taylor]: Taking taylor expansion of x in x 1.220 * [taylor]: Taking taylor expansion of z in x 1.220 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.220 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.220 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.220 * [taylor]: Taking taylor expansion of y in x 1.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.220 * [taylor]: Taking taylor expansion of x in x 1.220 * [taylor]: Taking taylor expansion of z in x 1.220 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.220 * [taylor]: Taking taylor expansion of z in y 1.221 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.221 * [taylor]: Taking taylor expansion of (* z y) in y 1.221 * [taylor]: Taking taylor expansion of z in y 1.221 * [taylor]: Taking taylor expansion of y in y 1.221 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.221 * [taylor]: Taking taylor expansion of z in z 1.221 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.221 * [taylor]: Taking taylor expansion of z in z 1.221 * [taylor]: Taking taylor expansion of 0 in y 1.221 * [taylor]: Taking taylor expansion of 0 in z 1.221 * [taylor]: Taking taylor expansion of 0 in z 1.221 * [taylor]: Taking taylor expansion of 0 in y 1.221 * [taylor]: Taking taylor expansion of 0 in z 1.222 * [taylor]: Taking taylor expansion of 0 in z 1.222 * [taylor]: Taking taylor expansion of 0 in z 1.222 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 1.222 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.222 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.222 * [taylor]: Taking taylor expansion of y in z 1.222 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.222 * [taylor]: Taking taylor expansion of x in z 1.222 * [taylor]: Taking taylor expansion of z in z 1.222 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.222 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.222 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.222 * [taylor]: Taking taylor expansion of y in y 1.222 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.222 * [taylor]: Taking taylor expansion of x in y 1.223 * [taylor]: Taking taylor expansion of z in y 1.223 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.223 * [taylor]: Taking taylor expansion of y in x 1.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.223 * [taylor]: Taking taylor expansion of x in x 1.223 * [taylor]: Taking taylor expansion of z in x 1.223 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.223 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.223 * [taylor]: Taking taylor expansion of y in x 1.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.223 * [taylor]: Taking taylor expansion of x in x 1.223 * [taylor]: Taking taylor expansion of z in x 1.223 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.223 * [taylor]: Taking taylor expansion of z in y 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.223 * [taylor]: Taking taylor expansion of (* z y) in y 1.223 * [taylor]: Taking taylor expansion of z in y 1.223 * [taylor]: Taking taylor expansion of y in y 1.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.223 * [taylor]: Taking taylor expansion of z in z 1.223 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.223 * [taylor]: Taking taylor expansion of z in z 1.224 * [taylor]: Taking taylor expansion of 0 in y 1.224 * [taylor]: Taking taylor expansion of 0 in z 1.224 * [taylor]: Taking taylor expansion of 0 in z 1.224 * [taylor]: Taking taylor expansion of 0 in y 1.224 * [taylor]: Taking taylor expansion of 0 in z 1.224 * [taylor]: Taking taylor expansion of 0 in z 1.224 * [taylor]: Taking taylor expansion of 0 in z 1.224 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 1.225 * [approximate]: Taking taylor expansion of (* z (+ x y)) in (x y z) around 0 1.225 * [taylor]: Taking taylor expansion of (* z (+ x y)) in z 1.225 * [taylor]: Taking taylor expansion of z in z 1.225 * [taylor]: Taking taylor expansion of (+ x y) in z 1.225 * [taylor]: Taking taylor expansion of x in z 1.225 * [taylor]: Taking taylor expansion of y in z 1.225 * [taylor]: Taking taylor expansion of (* z (+ x y)) in y 1.225 * [taylor]: Taking taylor expansion of z in y 1.225 * [taylor]: Taking taylor expansion of (+ x y) in y 1.225 * [taylor]: Taking taylor expansion of x in y 1.225 * [taylor]: Taking taylor expansion of y in y 1.225 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.225 * [taylor]: Taking taylor expansion of z in x 1.225 * [taylor]: Taking taylor expansion of (+ x y) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of y in x 1.225 * [taylor]: Taking taylor expansion of (* z (+ x y)) in x 1.225 * [taylor]: Taking taylor expansion of z in x 1.225 * [taylor]: Taking taylor expansion of (+ x y) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of y in x 1.225 * [taylor]: Taking taylor expansion of (* z y) in y 1.225 * [taylor]: Taking taylor expansion of z in y 1.225 * [taylor]: Taking taylor expansion of y in y 1.225 * [taylor]: Taking taylor expansion of 0 in z 1.225 * [taylor]: Taking taylor expansion of z in y 1.225 * [taylor]: Taking taylor expansion of z in z 1.225 * [taylor]: Taking taylor expansion of z in z 1.225 * [taylor]: Taking taylor expansion of 0 in y 1.225 * [taylor]: Taking taylor expansion of 0 in z 1.225 * [taylor]: Taking taylor expansion of 0 in z 1.225 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 1.225 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.225 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.226 * [taylor]: Taking taylor expansion of y in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.226 * [taylor]: Taking taylor expansion of x in z 1.226 * [taylor]: Taking taylor expansion of z in z 1.226 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.226 * [taylor]: Taking taylor expansion of y in y 1.226 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.226 * [taylor]: Taking taylor expansion of x in y 1.226 * [taylor]: Taking taylor expansion of z in y 1.226 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.226 * [taylor]: Taking taylor expansion of y in x 1.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.226 * [taylor]: Taking taylor expansion of x in x 1.226 * [taylor]: Taking taylor expansion of z in x 1.226 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.226 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.226 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.226 * [taylor]: Taking taylor expansion of y in x 1.226 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.226 * [taylor]: Taking taylor expansion of x in x 1.226 * [taylor]: Taking taylor expansion of z in x 1.226 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.226 * [taylor]: Taking taylor expansion of z in y 1.226 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.226 * [taylor]: Taking taylor expansion of (* z y) in y 1.226 * [taylor]: Taking taylor expansion of z in y 1.226 * [taylor]: Taking taylor expansion of y in y 1.227 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.227 * [taylor]: Taking taylor expansion of z in z 1.227 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.227 * [taylor]: Taking taylor expansion of z in z 1.227 * [taylor]: Taking taylor expansion of 0 in y 1.227 * [taylor]: Taking taylor expansion of 0 in z 1.227 * [taylor]: Taking taylor expansion of 0 in z 1.227 * [taylor]: Taking taylor expansion of 0 in y 1.227 * [taylor]: Taking taylor expansion of 0 in z 1.227 * [taylor]: Taking taylor expansion of 0 in z 1.228 * [taylor]: Taking taylor expansion of 0 in z 1.228 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in (x y z) around 0 1.228 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in z 1.228 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 1.228 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.228 * [taylor]: Taking taylor expansion of y in z 1.228 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.228 * [taylor]: Taking taylor expansion of x in z 1.228 * [taylor]: Taking taylor expansion of z in z 1.228 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in y 1.228 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.228 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.228 * [taylor]: Taking taylor expansion of y in y 1.228 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.228 * [taylor]: Taking taylor expansion of x in y 1.228 * [taylor]: Taking taylor expansion of z in y 1.228 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.228 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.228 * [taylor]: Taking taylor expansion of y in x 1.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.228 * [taylor]: Taking taylor expansion of x in x 1.229 * [taylor]: Taking taylor expansion of z in x 1.229 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (/ 1 x)) z) in x 1.229 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.229 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.229 * [taylor]: Taking taylor expansion of y in x 1.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.229 * [taylor]: Taking taylor expansion of x in x 1.229 * [taylor]: Taking taylor expansion of z in x 1.229 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.229 * [taylor]: Taking taylor expansion of z in y 1.229 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.229 * [taylor]: Taking taylor expansion of (* z y) in y 1.229 * [taylor]: Taking taylor expansion of z in y 1.229 * [taylor]: Taking taylor expansion of y in y 1.229 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.229 * [taylor]: Taking taylor expansion of z in z 1.229 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.229 * [taylor]: Taking taylor expansion of z in z 1.229 * [taylor]: Taking taylor expansion of 0 in y 1.230 * [taylor]: Taking taylor expansion of 0 in z 1.230 * [taylor]: Taking taylor expansion of 0 in z 1.230 * [taylor]: Taking taylor expansion of 0 in y 1.230 * [taylor]: Taking taylor expansion of 0 in z 1.230 * [taylor]: Taking taylor expansion of 0 in z 1.230 * [taylor]: Taking taylor expansion of 0 in z 1.230 * * * [progress]: simplifying candidates 1.232 * [simplify]: Simplifying using # : (log (sqrt (* (+ x y) z))) (exp (sqrt (* (+ x y) z))) (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z)))) (cbrt (sqrt (* (+ x y) z))) (* (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z))) (sqrt (* (+ x y) z))) (sqrt (+ x y)) (sqrt z) (sqrt (* (+ (pow x 3) (pow y 3)) z)) (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (* (- (* x x) (* y y)) z)) (sqrt (- x y)) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (+ x y) z))) (sqrt (sqrt (* (+ x y) z))) (log (sqrt (* (+ x y) z))) (exp (sqrt (* (+ x y) z))) (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z)))) (cbrt (sqrt (* (+ x y) z))) (* (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z))) (sqrt (* (+ x y) z))) (sqrt (+ x y)) (sqrt z) (sqrt (* (+ (pow x 3) (pow y 3)) z)) (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (* (- (* x x) (* y y)) z)) (sqrt (- x y)) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (+ x y) z))) (sqrt (sqrt (* (+ x y) z))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (* (* (+ x y) z) (* (+ x y) z)) (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z))) (* (* (+ x y) z) (* (+ x y) z)) (* (* (+ x y) z) (* (+ x y) z)) (* (* (+ x y) z) (* (+ x y) z)) (* (* (+ x y) z) (* (+ x y) z)) (+ 1 1) (+ (log (sqrt (* (+ x y) z))) (log (sqrt (* (+ x y) z)))) (log (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))) (exp (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))) (* (* (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z))) (sqrt (* (+ x y) z))) (* (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z))) (sqrt (* (+ x y) z)))) (* (cbrt (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))) (cbrt (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z))))) (cbrt (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))) (* (* (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z))) (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))) (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))) (* (* (+ x y) z) (* (+ x y) z)) (sqrt (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))) (sqrt (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)))) (* (sqrt (* (+ (pow x 3) (pow y 3)) z)) (sqrt (* (+ (pow x 3) (pow y 3)) z))) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (+ (* x x) (- (* y y) (* x y))))) (* (sqrt (* (+ (pow x 3) (pow y 3)) z)) (sqrt (* (- (* x x) (* y y)) z))) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- x y))) (* (sqrt (* (- (* x x) (* y y)) z)) (sqrt (* (+ (pow x 3) (pow y 3)) z))) (* (sqrt (- x y)) (sqrt (+ (* x x) (- (* y y) (* x y))))) (* (sqrt (* (- (* x x) (* y y)) z)) (sqrt (* (- (* x x) (* y y)) z))) (* (sqrt (- x y)) (sqrt (- x y))) (* (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z)))) (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z))))) (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z)))) (* (sqrt (+ x y)) (sqrt (+ x y))) (* (sqrt z) (sqrt z)) (* (sqrt (sqrt (* (+ x y) z))) (sqrt (sqrt (* (+ x y) z)))) (* (sqrt (sqrt (* (+ x y) z))) (sqrt (sqrt (* (+ x y) z)))) (* 1 1) (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z))) (* (sqrt (sqrt (* (+ x y) z))) (sqrt (sqrt (* (+ x y) z)))) (* (sqrt (sqrt (* (+ x y) z))) (sqrt (sqrt (* (+ x y) z)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* (sqrt (* (+ x y) z)) (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z))))) (* (sqrt (* (+ x y) z)) (sqrt (+ x y))) (* (sqrt (* (+ x y) z)) (sqrt (sqrt (* (+ x y) z)))) (* (sqrt (* (+ x y) z)) 1) (* (cbrt (sqrt (* (+ x y) z))) (sqrt (* (+ x y) z))) (* (sqrt z) (sqrt (* (+ x y) z))) (* (sqrt (sqrt (* (+ x y) z))) (sqrt (* (+ x y) z))) (* (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z))) (* (sqrt (* (+ x y) z)) (sqrt (* (+ (pow x 3) (pow y 3)) z))) (* (sqrt (* (+ x y) z)) (sqrt (* (- (* x x) (* y y)) z))) (* (sqrt (* (+ (pow x 3) (pow y 3)) z)) (sqrt (* (+ x y) z))) (* (sqrt (* (- (* x x) (* y y)) z)) (sqrt (* (+ x y) z))) (* (+ x y) z) (+ (log (+ x y)) (log z)) (log (* (+ x y) z)) (exp (* (+ x y) z)) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* z z) z)) (* (cbrt (* (+ x y) z)) (cbrt (* (+ x y) z))) (cbrt (* (+ x y) z)) (* (* (* (+ x y) z) (* (+ x y) z)) (* (+ x y) z)) (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)) (* (sqrt (+ x y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (* (cbrt z) (cbrt z))) (* (+ x y) (sqrt z)) (* (+ x y) 1) (* (cbrt (+ x y)) z) (* (sqrt (+ x y)) z) (* (+ x y) z) (* (+ x y) z) (* (+ (pow x 3) (pow y 3)) z) (* (- (* x x) (* y y)) z) (- (+ (* NAN (* z y)) (* 1/2 (* x (* NAN z)))) (* 1/8 (* (pow x 2) (* (pow NAN 3) (pow z 2))))) (+ (/ (* NAN (* z y)) x) (* NAN z)) (neg (+ (/ (* NAN (* z y)) x) (* NAN z))) (- (+ (* NAN (* z y)) (* 1/2 (* x (* NAN z)))) (* 1/8 (* (pow x 2) (* (pow NAN 3) (pow z 2))))) (+ (/ (* NAN (* z y)) x) (* NAN z)) (neg (+ (/ (* NAN (* z y)) x) (* NAN z))) 0 (+ (* x z) (* z y)) (+ (* x z) (* z y)) 0 (+ (* x z) (* z y)) (+ (* x z) (* z y)) 1.237 * * [simplify]: iteration 0 : 257 enodes (cost 520 ) 1.243 * * [simplify]: iteration 1 : 1211 enodes (cost 465 ) 1.274 * * [simplify]: iteration 2 : 5002 enodes (cost 451 ) 1.278 * [simplify]: Simplified to: (log (sqrt (* (+ x y) z))) (exp (sqrt (* (+ x y) z))) (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z)))) (cbrt (sqrt (* (+ x y) z))) (pow (sqrt (* (+ x y) z)) 3) (sqrt (+ x y)) (sqrt z) (sqrt (* (+ (pow x 3) (pow y 3)) z)) (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (* (- (* x x) (* y y)) z)) (sqrt (- x y)) 1/2 1/2 (sqrt (sqrt (* (+ x y) z))) (sqrt (sqrt (* (+ x y) z))) (log (sqrt (* (+ x y) z))) (exp (sqrt (* (+ x y) z))) (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z)))) (cbrt (sqrt (* (+ x y) z))) (pow (sqrt (* (+ x y) z)) 3) (sqrt (+ x y)) (sqrt z) (sqrt (* (+ (pow x 3) (pow y 3)) z)) (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (* (- (* x x) (* y y)) z)) (sqrt (- x y)) 1/2 1/2 (sqrt (sqrt (* (+ x y) z))) (sqrt (sqrt (* (+ x y) z))) 1 1 1 2 1 1 1 1 1 1 (pow (sqrt (* (+ x y) z)) 4) (* (+ x y) z) (pow (sqrt (* (+ x y) z)) 4) (pow (sqrt (* (+ x y) z)) 4) (pow (sqrt (* (+ x y) z)) 4) (pow (sqrt (* (+ x y) z)) 4) 2 (log (* (+ x y) z)) (log (* (+ x y) z)) (exp (* (+ x y) z)) (pow (* (+ x y) z) 3) (* (cbrt (* (+ x y) z)) (cbrt (* (+ x y) z))) (cbrt (* (+ x y) z)) (pow (* (+ x y) z) 3) (pow (sqrt (* (+ x y) z)) 4) (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)) (* (+ (pow x 3) (pow y 3)) z) (+ (* y (- y x)) (pow x 2)) (* (sqrt (* (+ (pow x 3) (pow y 3)) z)) (sqrt (* (- (* x x) (* y y)) z))) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- x y))) (* (sqrt (* (+ (pow x 3) (pow y 3)) z)) (sqrt (* (- (* x x) (* y y)) z))) (* (sqrt (+ (* x x) (- (* y y) (* x y)))) (sqrt (- x y))) (* (- (* x x) (* y y)) z) (- x y) (pow (cbrt (sqrt (* (+ x y) z))) 4) (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z)))) (+ x y) z (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)) 1 (* (+ x y) z) (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)) 1 2 1 1 1 1 (* (sqrt (* (+ x y) z)) (* (cbrt (sqrt (* (+ x y) z))) (cbrt (sqrt (* (+ x y) z))))) (* (sqrt (* (+ x y) z)) (sqrt (+ x y))) (pow (sqrt (sqrt (* (+ x y) z))) 3) (sqrt (* (+ x y) z)) (pow (cbrt (sqrt (* (+ x y) z))) 4) (* (sqrt z) (sqrt (* (+ x y) z))) (pow (sqrt (sqrt (* (+ x y) z))) 3) (* (+ x y) z) (* (sqrt (* (+ x y) z)) (sqrt (* (+ (pow x 3) (pow y 3)) z))) (* (sqrt (* (+ x y) z)) (sqrt (* (- (* x x) (* y y)) z))) (* (sqrt (* (+ x y) z)) (sqrt (* (+ (pow x 3) (pow y 3)) z))) (* (sqrt (* (+ x y) z)) (sqrt (* (- (* x x) (* y y)) z))) (* (+ x y) z) (log (* (+ x y) z)) (log (* (+ x y) z)) (exp (* (+ x y) z)) (pow (* (+ x y) z) 3) (* (cbrt (* (+ x y) z)) (cbrt (* (+ x y) z))) (cbrt (* (+ x y) z)) (pow (* (+ x y) z) 3) (sqrt (* (+ x y) z)) (sqrt (* (+ x y) z)) (* (sqrt (+ x y)) (sqrt z)) (* (sqrt (+ x y)) (sqrt z)) (* (+ x y) (* (cbrt z) (cbrt z))) (* (+ x y) (sqrt z)) (+ x y) (* (cbrt (+ x y)) z) (* (sqrt (+ x y)) z) (* (+ x y) z) (* (+ x y) z) (* (+ (pow x 3) (pow y 3)) z) (* (- (* x x) (* y y)) z) (- (+ (* NAN (* z y)) (* 1/2 (* x (* NAN z)))) (* 1/8 (* (pow x 2) (* (pow NAN 3) (pow z 2))))) (+ (/ (* NAN (* z y)) x) (* NAN z)) (neg (+ (/ (* NAN (* z y)) x) (* NAN z))) (- (+ (* NAN (* z y)) (* 1/2 (* x (* NAN z)))) (* 1/8 (* (pow x 2) (* (pow NAN 3) (pow z 2))))) (+ (/ (* NAN (* z y)) x) (* NAN z)) (neg (+ (/ (* NAN (* z y)) x) (* NAN z))) 0 (* (+ x y) z) (* (+ x y) z) 0 (* (+ x y) z) (* (+ x y) z) 1.278 * * * [progress]: adding candidates to table 1.361 * [progress]: [Phase 3 of 3] Extracting. 1.361 * * [regime]: Finding splitpoints for: (# #) 1.362 * * * [regime-changes]: Trying 5 branch expressions: ((+ x y) (* (+ x y) z) z y x) 1.362 * * * * [regimes]: Trying to branch on (+ x y) from (# #) 1.403 * * * * [regimes]: Trying to branch on (* (+ x y) z) from (# #) 1.444 * * * * [regimes]: Trying to branch on z from (# #) 1.484 * * * * [regimes]: Trying to branch on y from (# #) 1.523 * * * * [regimes]: Trying to branch on x from (# #) 1.564 * * * [regime]: Found split indices: #