55.405 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.119 * * * [progress]: [2/2] Setting up program. 1.124 * [progress]: [Phase 2 of 3] Improving. 1.124 * [simplify]: Simplifying using # : (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) 1.303 * * [simplify]: iteration 0 : 4910 enodes (cost 13 ) 1.303 * * [simplify]: iteration 1 : 4910 enodes (cost 13 ) 1.304 * [simplify]: Simplified to: (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) 1.309 * * [progress]: iteration 1 / 4 1.309 * * * [progress]: picking best candidate 1.317 * * * * [pick]: Picked # 1.317 * * * [progress]: localizing error 1.332 * * * [progress]: generating rewritten candidates 1.332 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1.338 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.342 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 1.347 * * * [progress]: generating series expansions 1.347 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1.348 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in (x y z t a) around 0 1.348 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in a 1.348 * [taylor]: Taking taylor expansion of 0.5 in a 1.348 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in a 1.348 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in a 1.348 * [taylor]: Taking taylor expansion of (* x y) in a 1.348 * [taylor]: Taking taylor expansion of x in a 1.348 * [taylor]: Taking taylor expansion of y in a 1.348 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in a 1.348 * [taylor]: Taking taylor expansion of 9.0 in a 1.348 * [taylor]: Taking taylor expansion of (* t z) in a 1.348 * [taylor]: Taking taylor expansion of t in a 1.348 * [taylor]: Taking taylor expansion of z in a 1.348 * [taylor]: Taking taylor expansion of a in a 1.348 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in t 1.348 * [taylor]: Taking taylor expansion of 0.5 in t 1.348 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in t 1.348 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t 1.348 * [taylor]: Taking taylor expansion of (* x y) in t 1.348 * [taylor]: Taking taylor expansion of x in t 1.348 * [taylor]: Taking taylor expansion of y in t 1.348 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t 1.348 * [taylor]: Taking taylor expansion of 9.0 in t 1.348 * [taylor]: Taking taylor expansion of (* t z) in t 1.348 * [taylor]: Taking taylor expansion of t in t 1.348 * [taylor]: Taking taylor expansion of z in t 1.348 * [taylor]: Taking taylor expansion of a in t 1.348 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in z 1.348 * [taylor]: Taking taylor expansion of 0.5 in z 1.348 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in z 1.348 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z 1.348 * [taylor]: Taking taylor expansion of (* x y) in z 1.348 * [taylor]: Taking taylor expansion of x in z 1.349 * [taylor]: Taking taylor expansion of y in z 1.349 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.349 * [taylor]: Taking taylor expansion of 9.0 in z 1.349 * [taylor]: Taking taylor expansion of (* t z) in z 1.349 * [taylor]: Taking taylor expansion of t in z 1.349 * [taylor]: Taking taylor expansion of z in z 1.349 * [taylor]: Taking taylor expansion of a in z 1.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in y 1.349 * [taylor]: Taking taylor expansion of 0.5 in y 1.349 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in y 1.349 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y 1.349 * [taylor]: Taking taylor expansion of (* x y) in y 1.349 * [taylor]: Taking taylor expansion of x in y 1.349 * [taylor]: Taking taylor expansion of y in y 1.349 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y 1.349 * [taylor]: Taking taylor expansion of 9.0 in y 1.349 * [taylor]: Taking taylor expansion of (* t z) in y 1.349 * [taylor]: Taking taylor expansion of t in y 1.349 * [taylor]: Taking taylor expansion of z in y 1.349 * [taylor]: Taking taylor expansion of a in y 1.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x 1.349 * [taylor]: Taking taylor expansion of 0.5 in x 1.349 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x 1.349 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x 1.349 * [taylor]: Taking taylor expansion of (* x y) in x 1.349 * [taylor]: Taking taylor expansion of x in x 1.349 * [taylor]: Taking taylor expansion of y in x 1.349 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x 1.349 * [taylor]: Taking taylor expansion of 9.0 in x 1.349 * [taylor]: Taking taylor expansion of (* t z) in x 1.349 * [taylor]: Taking taylor expansion of t in x 1.349 * [taylor]: Taking taylor expansion of z in x 1.349 * [taylor]: Taking taylor expansion of a in x 1.349 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (* x y) (* 9.0 (* t z))) a)) in x 1.349 * [taylor]: Taking taylor expansion of 0.5 in x 1.349 * [taylor]: Taking taylor expansion of (/ (- (* x y) (* 9.0 (* t z))) a) in x 1.350 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x 1.350 * [taylor]: Taking taylor expansion of (* x y) in x 1.350 * [taylor]: Taking taylor expansion of x in x 1.350 * [taylor]: Taking taylor expansion of y in x 1.350 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x 1.350 * [taylor]: Taking taylor expansion of 9.0 in x 1.350 * [taylor]: Taking taylor expansion of (* t z) in x 1.350 * [taylor]: Taking taylor expansion of t in x 1.350 * [taylor]: Taking taylor expansion of z in x 1.350 * [taylor]: Taking taylor expansion of a in x 1.350 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in y 1.350 * [taylor]: Taking taylor expansion of -4.5 in y 1.350 * [taylor]: Taking taylor expansion of (/ (* t z) a) in y 1.350 * [taylor]: Taking taylor expansion of (* t z) in y 1.350 * [taylor]: Taking taylor expansion of t in y 1.350 * [taylor]: Taking taylor expansion of z in y 1.350 * [taylor]: Taking taylor expansion of a in y 1.350 * [taylor]: Taking taylor expansion of (* -4.5 (/ (* t z) a)) in z 1.350 * [taylor]: Taking taylor expansion of -4.5 in z 1.350 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z 1.350 * [taylor]: Taking taylor expansion of (* t z) in z 1.350 * [taylor]: Taking taylor expansion of t in z 1.350 * [taylor]: Taking taylor expansion of z in z 1.350 * [taylor]: Taking taylor expansion of a in z 1.351 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y 1.351 * [taylor]: Taking taylor expansion of 0.5 in y 1.351 * [taylor]: Taking taylor expansion of (/ y a) in y 1.351 * [taylor]: Taking taylor expansion of y in y 1.351 * [taylor]: Taking taylor expansion of a in y 1.351 * [taylor]: Taking taylor expansion of 0 in z 1.351 * [taylor]: Taking taylor expansion of 0 in t 1.351 * [taylor]: Taking taylor expansion of 0 in a 1.351 * [taylor]: Taking taylor expansion of (* -4.5 (/ t a)) in t 1.351 * [taylor]: Taking taylor expansion of -4.5 in t 1.351 * [taylor]: Taking taylor expansion of (/ t a) in t 1.351 * [taylor]: Taking taylor expansion of t in t 1.351 * [taylor]: Taking taylor expansion of a in t 1.351 * [taylor]: Taking taylor expansion of 0 in y 1.351 * [taylor]: Taking taylor expansion of 0 in z 1.351 * [taylor]: Taking taylor expansion of 0 in t 1.351 * [taylor]: Taking taylor expansion of 0 in a 1.351 * [taylor]: Taking taylor expansion of (/ 0.5 a) in z 1.351 * [taylor]: Taking taylor expansion of 0.5 in z 1.351 * [taylor]: Taking taylor expansion of a in z 1.351 * [taylor]: Taking taylor expansion of (/ 0.5 a) in t 1.351 * [taylor]: Taking taylor expansion of 0.5 in t 1.351 * [taylor]: Taking taylor expansion of a in t 1.352 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a 1.352 * [taylor]: Taking taylor expansion of 0.5 in a 1.352 * [taylor]: Taking taylor expansion of a in a 1.352 * [taylor]: Taking taylor expansion of 0 in z 1.352 * [taylor]: Taking taylor expansion of 0 in t 1.352 * [taylor]: Taking taylor expansion of 0 in a 1.352 * [taylor]: Taking taylor expansion of 0 in t 1.352 * [taylor]: Taking taylor expansion of 0 in a 1.352 * [taylor]: Taking taylor expansion of 0 in t 1.352 * [taylor]: Taking taylor expansion of 0 in a 1.352 * [taylor]: Taking taylor expansion of 0 in a 1.352 * [taylor]: Taking taylor expansion of (/ -4.5 a) in a 1.352 * [taylor]: Taking taylor expansion of -4.5 in a 1.352 * [taylor]: Taking taylor expansion of a in a 1.353 * [taylor]: Taking taylor expansion of 0 in y 1.353 * [taylor]: Taking taylor expansion of 0 in z 1.353 * [taylor]: Taking taylor expansion of 0 in t 1.353 * [taylor]: Taking taylor expansion of 0 in a 1.353 * [taylor]: Taking taylor expansion of 0 in z 1.353 * [taylor]: Taking taylor expansion of 0 in t 1.353 * [taylor]: Taking taylor expansion of 0 in a 1.353 * [taylor]: Taking taylor expansion of 0 in z 1.353 * [taylor]: Taking taylor expansion of 0 in t 1.353 * [taylor]: Taking taylor expansion of 0 in a 1.353 * [taylor]: Taking taylor expansion of 0 in z 1.353 * [taylor]: Taking taylor expansion of 0 in t 1.353 * [taylor]: Taking taylor expansion of 0 in a 1.353 * [taylor]: Taking taylor expansion of 0 in t 1.353 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in t 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in t 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in t 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in t 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.354 * [taylor]: Taking taylor expansion of 0 in a 1.355 * [approximate]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0 1.355 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a 1.355 * [taylor]: Taking taylor expansion of 0.5 in a 1.355 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a 1.355 * [taylor]: Taking taylor expansion of a in a 1.355 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a 1.355 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.355 * [taylor]: Taking taylor expansion of (* x y) in a 1.355 * [taylor]: Taking taylor expansion of x in a 1.355 * [taylor]: Taking taylor expansion of y in a 1.355 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a 1.355 * [taylor]: Taking taylor expansion of 9.0 in a 1.355 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.355 * [taylor]: Taking taylor expansion of (* t z) in a 1.355 * [taylor]: Taking taylor expansion of t in a 1.355 * [taylor]: Taking taylor expansion of z in a 1.355 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t 1.355 * [taylor]: Taking taylor expansion of 0.5 in t 1.355 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t 1.355 * [taylor]: Taking taylor expansion of a in t 1.355 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t 1.355 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.355 * [taylor]: Taking taylor expansion of (* x y) in t 1.355 * [taylor]: Taking taylor expansion of x in t 1.355 * [taylor]: Taking taylor expansion of y in t 1.355 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t 1.355 * [taylor]: Taking taylor expansion of 9.0 in t 1.355 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.355 * [taylor]: Taking taylor expansion of (* t z) in t 1.355 * [taylor]: Taking taylor expansion of t in t 1.355 * [taylor]: Taking taylor expansion of z in t 1.355 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z 1.355 * [taylor]: Taking taylor expansion of 0.5 in z 1.355 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z 1.355 * [taylor]: Taking taylor expansion of a in z 1.355 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z 1.355 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.355 * [taylor]: Taking taylor expansion of (* x y) in z 1.355 * [taylor]: Taking taylor expansion of x in z 1.355 * [taylor]: Taking taylor expansion of y in z 1.355 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.356 * [taylor]: Taking taylor expansion of 9.0 in z 1.356 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.356 * [taylor]: Taking taylor expansion of (* t z) in z 1.356 * [taylor]: Taking taylor expansion of t in z 1.356 * [taylor]: Taking taylor expansion of z in z 1.356 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y 1.356 * [taylor]: Taking taylor expansion of 0.5 in y 1.356 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y 1.356 * [taylor]: Taking taylor expansion of a in y 1.356 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y 1.356 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.356 * [taylor]: Taking taylor expansion of (* x y) in y 1.356 * [taylor]: Taking taylor expansion of x in y 1.356 * [taylor]: Taking taylor expansion of y in y 1.356 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y 1.356 * [taylor]: Taking taylor expansion of 9.0 in y 1.356 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.356 * [taylor]: Taking taylor expansion of (* t z) in y 1.356 * [taylor]: Taking taylor expansion of t in y 1.356 * [taylor]: Taking taylor expansion of z in y 1.356 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x 1.356 * [taylor]: Taking taylor expansion of 0.5 in x 1.356 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x 1.356 * [taylor]: Taking taylor expansion of a in x 1.356 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x 1.356 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.356 * [taylor]: Taking taylor expansion of (* x y) in x 1.356 * [taylor]: Taking taylor expansion of x in x 1.356 * [taylor]: Taking taylor expansion of y in x 1.356 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x 1.356 * [taylor]: Taking taylor expansion of 9.0 in x 1.356 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.356 * [taylor]: Taking taylor expansion of (* t z) in x 1.356 * [taylor]: Taking taylor expansion of t in x 1.356 * [taylor]: Taking taylor expansion of z in x 1.356 * [taylor]: Taking taylor expansion of (* 0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x 1.356 * [taylor]: Taking taylor expansion of 0.5 in x 1.356 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x 1.356 * [taylor]: Taking taylor expansion of a in x 1.356 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x 1.356 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.356 * [taylor]: Taking taylor expansion of (* x y) in x 1.356 * [taylor]: Taking taylor expansion of x in x 1.356 * [taylor]: Taking taylor expansion of y in x 1.356 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x 1.356 * [taylor]: Taking taylor expansion of 9.0 in x 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.357 * [taylor]: Taking taylor expansion of (* t z) in x 1.357 * [taylor]: Taking taylor expansion of t in x 1.357 * [taylor]: Taking taylor expansion of z in x 1.357 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y 1.357 * [taylor]: Taking taylor expansion of 0.5 in y 1.357 * [taylor]: Taking taylor expansion of (/ a y) in y 1.357 * [taylor]: Taking taylor expansion of a in y 1.357 * [taylor]: Taking taylor expansion of y in y 1.357 * [taylor]: Taking taylor expansion of (* 0.5 a) in z 1.357 * [taylor]: Taking taylor expansion of 0.5 in z 1.357 * [taylor]: Taking taylor expansion of a in z 1.357 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in y 1.357 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y 1.357 * [taylor]: Taking taylor expansion of 4.5 in y 1.357 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y 1.357 * [taylor]: Taking taylor expansion of a in y 1.357 * [taylor]: Taking taylor expansion of (* z t) in y 1.357 * [taylor]: Taking taylor expansion of z in y 1.357 * [taylor]: Taking taylor expansion of t in y 1.357 * [taylor]: Taking taylor expansion of 0 in z 1.358 * [taylor]: Taking taylor expansion of (* 0.5 a) in t 1.358 * [taylor]: Taking taylor expansion of 0.5 in t 1.358 * [taylor]: Taking taylor expansion of a in t 1.358 * [taylor]: Taking taylor expansion of 0 in y 1.358 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a (* z t)))) in z 1.358 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z 1.358 * [taylor]: Taking taylor expansion of 4.5 in z 1.358 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.358 * [taylor]: Taking taylor expansion of a in z 1.358 * [taylor]: Taking taylor expansion of (* z t) in z 1.358 * [taylor]: Taking taylor expansion of z in z 1.358 * [taylor]: Taking taylor expansion of t in z 1.358 * [taylor]: Taking taylor expansion of (neg (* 4.5 (/ a t))) in t 1.358 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t 1.358 * [taylor]: Taking taylor expansion of 4.5 in t 1.358 * [taylor]: Taking taylor expansion of (/ a t) in t 1.358 * [taylor]: Taking taylor expansion of a in t 1.358 * [taylor]: Taking taylor expansion of t in t 1.358 * [taylor]: Taking taylor expansion of (neg (* 4.5 a)) in a 1.359 * [taylor]: Taking taylor expansion of (* 4.5 a) in a 1.359 * [taylor]: Taking taylor expansion of 4.5 in a 1.359 * [taylor]: Taking taylor expansion of a in a 1.359 * [taylor]: Taking taylor expansion of 0 in z 1.359 * [taylor]: Taking taylor expansion of 0 in t 1.359 * [taylor]: Taking taylor expansion of 0 in t 1.359 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 1.359 * [taylor]: Taking taylor expansion of 0.5 in a 1.359 * [taylor]: Taking taylor expansion of a in a 1.359 * [taylor]: Taking taylor expansion of 0 in y 1.359 * [taylor]: Taking taylor expansion of 0 in z 1.360 * [taylor]: Taking taylor expansion of 0 in z 1.360 * [taylor]: Taking taylor expansion of 0 in z 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in a 1.360 * [taylor]: Taking taylor expansion of 0 in a 1.360 * [taylor]: Taking taylor expansion of 0 in a 1.360 * [taylor]: Taking taylor expansion of 0 in a 1.360 * [approximate]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in (x y z t a) around 0 1.360 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in a 1.360 * [taylor]: Taking taylor expansion of -0.5 in a 1.360 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in a 1.361 * [taylor]: Taking taylor expansion of a in a 1.361 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in a 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.361 * [taylor]: Taking taylor expansion of (* x y) in a 1.361 * [taylor]: Taking taylor expansion of x in a 1.361 * [taylor]: Taking taylor expansion of y in a 1.361 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in a 1.361 * [taylor]: Taking taylor expansion of 9.0 in a 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.361 * [taylor]: Taking taylor expansion of (* t z) in a 1.361 * [taylor]: Taking taylor expansion of t in a 1.361 * [taylor]: Taking taylor expansion of z in a 1.361 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in t 1.361 * [taylor]: Taking taylor expansion of -0.5 in t 1.361 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in t 1.361 * [taylor]: Taking taylor expansion of a in t 1.361 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.361 * [taylor]: Taking taylor expansion of (* x y) in t 1.361 * [taylor]: Taking taylor expansion of x in t 1.361 * [taylor]: Taking taylor expansion of y in t 1.361 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t 1.361 * [taylor]: Taking taylor expansion of 9.0 in t 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.361 * [taylor]: Taking taylor expansion of (* t z) in t 1.361 * [taylor]: Taking taylor expansion of t in t 1.361 * [taylor]: Taking taylor expansion of z in t 1.361 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in z 1.361 * [taylor]: Taking taylor expansion of -0.5 in z 1.361 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in z 1.361 * [taylor]: Taking taylor expansion of a in z 1.361 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.361 * [taylor]: Taking taylor expansion of (* x y) in z 1.361 * [taylor]: Taking taylor expansion of x in z 1.361 * [taylor]: Taking taylor expansion of y in z 1.361 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.361 * [taylor]: Taking taylor expansion of 9.0 in z 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.361 * [taylor]: Taking taylor expansion of (* t z) in z 1.361 * [taylor]: Taking taylor expansion of t in z 1.361 * [taylor]: Taking taylor expansion of z in z 1.361 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in y 1.361 * [taylor]: Taking taylor expansion of -0.5 in y 1.361 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in y 1.361 * [taylor]: Taking taylor expansion of a in y 1.361 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.362 * [taylor]: Taking taylor expansion of (* x y) in y 1.362 * [taylor]: Taking taylor expansion of x in y 1.362 * [taylor]: Taking taylor expansion of y in y 1.362 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y 1.362 * [taylor]: Taking taylor expansion of 9.0 in y 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.362 * [taylor]: Taking taylor expansion of (* t z) in y 1.362 * [taylor]: Taking taylor expansion of t in y 1.362 * [taylor]: Taking taylor expansion of z in y 1.362 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x 1.362 * [taylor]: Taking taylor expansion of -0.5 in x 1.362 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x 1.362 * [taylor]: Taking taylor expansion of a in x 1.362 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.362 * [taylor]: Taking taylor expansion of (* x y) in x 1.362 * [taylor]: Taking taylor expansion of x in x 1.362 * [taylor]: Taking taylor expansion of y in x 1.362 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x 1.362 * [taylor]: Taking taylor expansion of 9.0 in x 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.362 * [taylor]: Taking taylor expansion of (* t z) in x 1.362 * [taylor]: Taking taylor expansion of t in x 1.362 * [taylor]: Taking taylor expansion of z in x 1.362 * [taylor]: Taking taylor expansion of (* -0.5 (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))))) in x 1.362 * [taylor]: Taking taylor expansion of -0.5 in x 1.362 * [taylor]: Taking taylor expansion of (* a (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z))))) in x 1.362 * [taylor]: Taking taylor expansion of a in x 1.362 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.362 * [taylor]: Taking taylor expansion of (* x y) in x 1.362 * [taylor]: Taking taylor expansion of x in x 1.362 * [taylor]: Taking taylor expansion of y in x 1.362 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x 1.362 * [taylor]: Taking taylor expansion of 9.0 in x 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.362 * [taylor]: Taking taylor expansion of (* t z) in x 1.362 * [taylor]: Taking taylor expansion of t in x 1.362 * [taylor]: Taking taylor expansion of z in x 1.363 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y 1.363 * [taylor]: Taking taylor expansion of -0.5 in y 1.363 * [taylor]: Taking taylor expansion of (/ a y) in y 1.363 * [taylor]: Taking taylor expansion of a in y 1.363 * [taylor]: Taking taylor expansion of y in y 1.363 * [taylor]: Taking taylor expansion of (* -0.5 a) in z 1.363 * [taylor]: Taking taylor expansion of -0.5 in z 1.363 * [taylor]: Taking taylor expansion of a in z 1.363 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in y 1.363 * [taylor]: Taking taylor expansion of 4.5 in y 1.363 * [taylor]: Taking taylor expansion of (/ a (* z t)) in y 1.363 * [taylor]: Taking taylor expansion of a in y 1.363 * [taylor]: Taking taylor expansion of (* z t) in y 1.363 * [taylor]: Taking taylor expansion of z in y 1.363 * [taylor]: Taking taylor expansion of t in y 1.363 * [taylor]: Taking taylor expansion of 0 in z 1.363 * [taylor]: Taking taylor expansion of (* -0.5 a) in t 1.363 * [taylor]: Taking taylor expansion of -0.5 in t 1.363 * [taylor]: Taking taylor expansion of a in t 1.364 * [taylor]: Taking taylor expansion of 0 in y 1.364 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z 1.364 * [taylor]: Taking taylor expansion of 4.5 in z 1.364 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.364 * [taylor]: Taking taylor expansion of a in z 1.364 * [taylor]: Taking taylor expansion of (* z t) in z 1.364 * [taylor]: Taking taylor expansion of z in z 1.364 * [taylor]: Taking taylor expansion of t in z 1.364 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t 1.364 * [taylor]: Taking taylor expansion of 4.5 in t 1.364 * [taylor]: Taking taylor expansion of (/ a t) in t 1.364 * [taylor]: Taking taylor expansion of a in t 1.364 * [taylor]: Taking taylor expansion of t in t 1.364 * [taylor]: Taking taylor expansion of (* 4.5 a) in a 1.364 * [taylor]: Taking taylor expansion of 4.5 in a 1.364 * [taylor]: Taking taylor expansion of a in a 1.364 * [taylor]: Taking taylor expansion of 0 in z 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.364 * [taylor]: Taking taylor expansion of (* -0.5 a) in a 1.364 * [taylor]: Taking taylor expansion of -0.5 in a 1.364 * [taylor]: Taking taylor expansion of a in a 1.365 * [taylor]: Taking taylor expansion of 0 in y 1.365 * [taylor]: Taking taylor expansion of 0 in z 1.365 * [taylor]: Taking taylor expansion of 0 in z 1.365 * [taylor]: Taking taylor expansion of 0 in z 1.365 * [taylor]: Taking taylor expansion of 0 in t 1.365 * [taylor]: Taking taylor expansion of 0 in t 1.366 * [taylor]: Taking taylor expansion of 0 in t 1.366 * [taylor]: Taking taylor expansion of 0 in t 1.366 * [taylor]: Taking taylor expansion of 0 in a 1.366 * [taylor]: Taking taylor expansion of 0 in a 1.366 * [taylor]: Taking taylor expansion of 0 in a 1.366 * [taylor]: Taking taylor expansion of 0 in a 1.366 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.366 * [approximate]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in (x y z t) around 0 1.366 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in t 1.366 * [taylor]: Taking taylor expansion of (* x y) in t 1.366 * [taylor]: Taking taylor expansion of x in t 1.366 * [taylor]: Taking taylor expansion of y in t 1.366 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t 1.366 * [taylor]: Taking taylor expansion of 9.0 in t 1.366 * [taylor]: Taking taylor expansion of (* t z) in t 1.366 * [taylor]: Taking taylor expansion of t in t 1.366 * [taylor]: Taking taylor expansion of z in t 1.366 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in z 1.366 * [taylor]: Taking taylor expansion of (* x y) in z 1.366 * [taylor]: Taking taylor expansion of x in z 1.366 * [taylor]: Taking taylor expansion of y in z 1.366 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.366 * [taylor]: Taking taylor expansion of 9.0 in z 1.366 * [taylor]: Taking taylor expansion of (* t z) in z 1.366 * [taylor]: Taking taylor expansion of t in z 1.366 * [taylor]: Taking taylor expansion of z in z 1.366 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in y 1.366 * [taylor]: Taking taylor expansion of (* x y) in y 1.366 * [taylor]: Taking taylor expansion of x in y 1.366 * [taylor]: Taking taylor expansion of y in y 1.366 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y 1.366 * [taylor]: Taking taylor expansion of 9.0 in y 1.366 * [taylor]: Taking taylor expansion of (* t z) in y 1.366 * [taylor]: Taking taylor expansion of t in y 1.366 * [taylor]: Taking taylor expansion of z in y 1.366 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x 1.366 * [taylor]: Taking taylor expansion of (* x y) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of y in x 1.366 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x 1.367 * [taylor]: Taking taylor expansion of 9.0 in x 1.367 * [taylor]: Taking taylor expansion of (* t z) in x 1.367 * [taylor]: Taking taylor expansion of t in x 1.367 * [taylor]: Taking taylor expansion of z in x 1.367 * [taylor]: Taking taylor expansion of (- (* x y) (* 9.0 (* t z))) in x 1.367 * [taylor]: Taking taylor expansion of (* x y) in x 1.367 * [taylor]: Taking taylor expansion of x in x 1.367 * [taylor]: Taking taylor expansion of y in x 1.367 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in x 1.367 * [taylor]: Taking taylor expansion of 9.0 in x 1.367 * [taylor]: Taking taylor expansion of (* t z) in x 1.367 * [taylor]: Taking taylor expansion of t in x 1.367 * [taylor]: Taking taylor expansion of z in x 1.367 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in y 1.367 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in y 1.367 * [taylor]: Taking taylor expansion of 9.0 in y 1.367 * [taylor]: Taking taylor expansion of (* t z) in y 1.367 * [taylor]: Taking taylor expansion of t in y 1.367 * [taylor]: Taking taylor expansion of z in y 1.367 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z 1.367 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.367 * [taylor]: Taking taylor expansion of 9.0 in z 1.367 * [taylor]: Taking taylor expansion of (* t z) in z 1.367 * [taylor]: Taking taylor expansion of t in z 1.367 * [taylor]: Taking taylor expansion of z in z 1.367 * [taylor]: Taking taylor expansion of 0 in t 1.367 * [taylor]: Taking taylor expansion of y in y 1.367 * [taylor]: Taking taylor expansion of 0 in z 1.367 * [taylor]: Taking taylor expansion of 0 in t 1.367 * [taylor]: Taking taylor expansion of 0 in z 1.367 * [taylor]: Taking taylor expansion of 0 in t 1.368 * [taylor]: Taking taylor expansion of (neg (* 9.0 t)) in t 1.368 * [taylor]: Taking taylor expansion of (* 9.0 t) in t 1.368 * [taylor]: Taking taylor expansion of 9.0 in t 1.368 * [taylor]: Taking taylor expansion of t in t 1.368 * [taylor]: Taking taylor expansion of 0 in y 1.368 * [taylor]: Taking taylor expansion of 0 in z 1.368 * [taylor]: Taking taylor expansion of 0 in t 1.368 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0 1.368 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t 1.368 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.368 * [taylor]: Taking taylor expansion of (* x y) in t 1.368 * [taylor]: Taking taylor expansion of x in t 1.368 * [taylor]: Taking taylor expansion of y in t 1.368 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t 1.368 * [taylor]: Taking taylor expansion of 9.0 in t 1.368 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.368 * [taylor]: Taking taylor expansion of (* t z) in t 1.368 * [taylor]: Taking taylor expansion of t in t 1.368 * [taylor]: Taking taylor expansion of z in t 1.368 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z 1.368 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.368 * [taylor]: Taking taylor expansion of (* x y) in z 1.368 * [taylor]: Taking taylor expansion of x in z 1.368 * [taylor]: Taking taylor expansion of y in z 1.368 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.368 * [taylor]: Taking taylor expansion of 9.0 in z 1.368 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.368 * [taylor]: Taking taylor expansion of (* t z) in z 1.368 * [taylor]: Taking taylor expansion of t in z 1.368 * [taylor]: Taking taylor expansion of z in z 1.368 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.369 * [taylor]: Taking taylor expansion of (* x y) in y 1.369 * [taylor]: Taking taylor expansion of x in y 1.369 * [taylor]: Taking taylor expansion of y in y 1.369 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y 1.369 * [taylor]: Taking taylor expansion of 9.0 in y 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.369 * [taylor]: Taking taylor expansion of (* t z) in y 1.369 * [taylor]: Taking taylor expansion of t in y 1.369 * [taylor]: Taking taylor expansion of z in y 1.369 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.369 * [taylor]: Taking taylor expansion of (* x y) in x 1.369 * [taylor]: Taking taylor expansion of x in x 1.369 * [taylor]: Taking taylor expansion of y in x 1.369 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x 1.369 * [taylor]: Taking taylor expansion of 9.0 in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.369 * [taylor]: Taking taylor expansion of (* t z) in x 1.369 * [taylor]: Taking taylor expansion of t in x 1.369 * [taylor]: Taking taylor expansion of z in x 1.369 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.369 * [taylor]: Taking taylor expansion of (* x y) in x 1.369 * [taylor]: Taking taylor expansion of x in x 1.369 * [taylor]: Taking taylor expansion of y in x 1.369 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x 1.369 * [taylor]: Taking taylor expansion of 9.0 in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.369 * [taylor]: Taking taylor expansion of (* t z) in x 1.369 * [taylor]: Taking taylor expansion of t in x 1.369 * [taylor]: Taking taylor expansion of z in x 1.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.369 * [taylor]: Taking taylor expansion of y in y 1.369 * [taylor]: Taking taylor expansion of 1 in z 1.370 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in y 1.370 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y 1.370 * [taylor]: Taking taylor expansion of 9.0 in y 1.370 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.370 * [taylor]: Taking taylor expansion of (* t z) in y 1.370 * [taylor]: Taking taylor expansion of t in y 1.370 * [taylor]: Taking taylor expansion of z in y 1.370 * [taylor]: Taking taylor expansion of 0 in z 1.370 * [taylor]: Taking taylor expansion of 1 in t 1.370 * [taylor]: Taking taylor expansion of 0 in y 1.370 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z 1.370 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.370 * [taylor]: Taking taylor expansion of 9.0 in z 1.370 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.370 * [taylor]: Taking taylor expansion of (* t z) in z 1.370 * [taylor]: Taking taylor expansion of t in z 1.370 * [taylor]: Taking taylor expansion of z in z 1.370 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t 1.370 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t 1.370 * [taylor]: Taking taylor expansion of 9.0 in t 1.370 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.370 * [taylor]: Taking taylor expansion of t in t 1.370 * [taylor]: Taking taylor expansion of 0 in z 1.371 * [taylor]: Taking taylor expansion of 0 in t 1.371 * [taylor]: Taking taylor expansion of 0 in t 1.371 * [taylor]: Taking taylor expansion of 0 in y 1.371 * [taylor]: Taking taylor expansion of 0 in z 1.371 * [taylor]: Taking taylor expansion of 0 in z 1.371 * [taylor]: Taking taylor expansion of 0 in z 1.371 * [taylor]: Taking taylor expansion of 0 in t 1.371 * [taylor]: Taking taylor expansion of 0 in t 1.371 * [taylor]: Taking taylor expansion of 0 in t 1.371 * [taylor]: Taking taylor expansion of 0 in t 1.372 * [taylor]: Taking taylor expansion of 0 in y 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of 0 in t 1.372 * [taylor]: Taking taylor expansion of 0 in t 1.372 * [taylor]: Taking taylor expansion of 0 in t 1.372 * [taylor]: Taking taylor expansion of 0 in t 1.372 * [taylor]: Taking taylor expansion of 0 in t 1.372 * [taylor]: Taking taylor expansion of 0 in t 1.372 * [taylor]: Taking taylor expansion of 0 in t 1.373 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in (x y z t) around 0 1.373 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in t 1.373 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.373 * [taylor]: Taking taylor expansion of (* x y) in t 1.373 * [taylor]: Taking taylor expansion of x in t 1.373 * [taylor]: Taking taylor expansion of y in t 1.373 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in t 1.373 * [taylor]: Taking taylor expansion of 9.0 in t 1.373 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.373 * [taylor]: Taking taylor expansion of (* t z) in t 1.373 * [taylor]: Taking taylor expansion of t in t 1.373 * [taylor]: Taking taylor expansion of z in t 1.373 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in z 1.373 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.373 * [taylor]: Taking taylor expansion of (* x y) in z 1.373 * [taylor]: Taking taylor expansion of x in z 1.373 * [taylor]: Taking taylor expansion of y in z 1.373 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.373 * [taylor]: Taking taylor expansion of 9.0 in z 1.373 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.373 * [taylor]: Taking taylor expansion of (* t z) in z 1.373 * [taylor]: Taking taylor expansion of t in z 1.373 * [taylor]: Taking taylor expansion of z in z 1.373 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in y 1.373 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.373 * [taylor]: Taking taylor expansion of (* x y) in y 1.373 * [taylor]: Taking taylor expansion of x in y 1.373 * [taylor]: Taking taylor expansion of y in y 1.374 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y 1.374 * [taylor]: Taking taylor expansion of 9.0 in y 1.374 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.374 * [taylor]: Taking taylor expansion of (* t z) in y 1.374 * [taylor]: Taking taylor expansion of t in y 1.374 * [taylor]: Taking taylor expansion of z in y 1.374 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x 1.374 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.374 * [taylor]: Taking taylor expansion of (* x y) in x 1.374 * [taylor]: Taking taylor expansion of x in x 1.374 * [taylor]: Taking taylor expansion of y in x 1.374 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x 1.374 * [taylor]: Taking taylor expansion of 9.0 in x 1.374 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.374 * [taylor]: Taking taylor expansion of (* t z) in x 1.374 * [taylor]: Taking taylor expansion of t in x 1.374 * [taylor]: Taking taylor expansion of z in x 1.374 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (* 9.0 (/ 1 (* t z)))) in x 1.374 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.374 * [taylor]: Taking taylor expansion of (* x y) in x 1.374 * [taylor]: Taking taylor expansion of x in x 1.374 * [taylor]: Taking taylor expansion of y in x 1.374 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in x 1.374 * [taylor]: Taking taylor expansion of 9.0 in x 1.374 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.374 * [taylor]: Taking taylor expansion of (* t z) in x 1.374 * [taylor]: Taking taylor expansion of t in x 1.374 * [taylor]: Taking taylor expansion of z in x 1.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.374 * [taylor]: Taking taylor expansion of y in y 1.374 * [taylor]: Taking taylor expansion of 1 in z 1.374 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in y 1.375 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in y 1.375 * [taylor]: Taking taylor expansion of 9.0 in y 1.375 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.375 * [taylor]: Taking taylor expansion of (* t z) in y 1.375 * [taylor]: Taking taylor expansion of t in y 1.375 * [taylor]: Taking taylor expansion of z in y 1.375 * [taylor]: Taking taylor expansion of 0 in z 1.375 * [taylor]: Taking taylor expansion of 1 in t 1.375 * [taylor]: Taking taylor expansion of 0 in y 1.375 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z 1.375 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.375 * [taylor]: Taking taylor expansion of 9.0 in z 1.375 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.375 * [taylor]: Taking taylor expansion of (* t z) in z 1.375 * [taylor]: Taking taylor expansion of t in z 1.375 * [taylor]: Taking taylor expansion of z in z 1.375 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t 1.375 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t 1.375 * [taylor]: Taking taylor expansion of 9.0 in t 1.375 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.375 * [taylor]: Taking taylor expansion of t in t 1.375 * [taylor]: Taking taylor expansion of 0 in z 1.375 * [taylor]: Taking taylor expansion of 0 in t 1.375 * [taylor]: Taking taylor expansion of 0 in t 1.376 * [taylor]: Taking taylor expansion of 0 in y 1.376 * [taylor]: Taking taylor expansion of 0 in z 1.376 * [taylor]: Taking taylor expansion of 0 in z 1.376 * [taylor]: Taking taylor expansion of 0 in z 1.376 * [taylor]: Taking taylor expansion of 0 in t 1.376 * [taylor]: Taking taylor expansion of 0 in t 1.376 * [taylor]: Taking taylor expansion of 0 in t 1.376 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in y 1.377 * [taylor]: Taking taylor expansion of 0 in z 1.377 * [taylor]: Taking taylor expansion of 0 in z 1.377 * [taylor]: Taking taylor expansion of 0 in z 1.377 * [taylor]: Taking taylor expansion of 0 in z 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in t 1.378 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 1.378 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0 1.378 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t 1.378 * [taylor]: Taking taylor expansion of 9.0 in t 1.378 * [taylor]: Taking taylor expansion of (* t z) in t 1.378 * [taylor]: Taking taylor expansion of t in t 1.378 * [taylor]: Taking taylor expansion of z in t 1.378 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.378 * [taylor]: Taking taylor expansion of 9.0 in z 1.378 * [taylor]: Taking taylor expansion of (* t z) in z 1.378 * [taylor]: Taking taylor expansion of t in z 1.378 * [taylor]: Taking taylor expansion of z in z 1.378 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.378 * [taylor]: Taking taylor expansion of 9.0 in z 1.378 * [taylor]: Taking taylor expansion of (* t z) in z 1.378 * [taylor]: Taking taylor expansion of t in z 1.378 * [taylor]: Taking taylor expansion of z in z 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of (* 9.0 t) in t 1.378 * [taylor]: Taking taylor expansion of 9.0 in t 1.378 * [taylor]: Taking taylor expansion of t in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.379 * [taylor]: Taking taylor expansion of 0 in t 1.379 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0 1.379 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t 1.379 * [taylor]: Taking taylor expansion of 9.0 in t 1.379 * [taylor]: Taking taylor expansion of (* t z) in t 1.379 * [taylor]: Taking taylor expansion of t in t 1.379 * [taylor]: Taking taylor expansion of z in t 1.379 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 1.379 * [taylor]: Taking taylor expansion of 9.0 in z 1.379 * [taylor]: Taking taylor expansion of (* t z) in z 1.379 * [taylor]: Taking taylor expansion of t in z 1.379 * [taylor]: Taking taylor expansion of z in z 1.379 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 1.379 * [taylor]: Taking taylor expansion of 9.0 in z 1.379 * [taylor]: Taking taylor expansion of (* t z) in z 1.379 * [taylor]: Taking taylor expansion of t in z 1.379 * [taylor]: Taking taylor expansion of z in z 1.379 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 1.379 * [taylor]: Taking taylor expansion of 9.0 in t 1.379 * [taylor]: Taking taylor expansion of t in t 1.379 * [taylor]: Taking taylor expansion of 0 in t 1.379 * [taylor]: Taking taylor expansion of 0 in t 1.380 * [taylor]: Taking taylor expansion of 0 in t 1.380 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0 1.380 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t 1.380 * [taylor]: Taking taylor expansion of 9.0 in t 1.380 * [taylor]: Taking taylor expansion of (* t z) in t 1.380 * [taylor]: Taking taylor expansion of t in t 1.380 * [taylor]: Taking taylor expansion of z in t 1.380 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 1.380 * [taylor]: Taking taylor expansion of 9.0 in z 1.380 * [taylor]: Taking taylor expansion of (* t z) in z 1.380 * [taylor]: Taking taylor expansion of t in z 1.380 * [taylor]: Taking taylor expansion of z in z 1.380 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 1.380 * [taylor]: Taking taylor expansion of 9.0 in z 1.380 * [taylor]: Taking taylor expansion of (* t z) in z 1.380 * [taylor]: Taking taylor expansion of t in z 1.380 * [taylor]: Taking taylor expansion of z in z 1.380 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 1.380 * [taylor]: Taking taylor expansion of 9.0 in t 1.380 * [taylor]: Taking taylor expansion of t in t 1.380 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * * * [progress]: simplifying candidates 1.382 * [simplify]: Simplifying using # : (- (log (- (* x y) (* (* z 9.0) t))) (+ (log a) (log 2.0))) (- (log (- (* x y) (* (* z 9.0) t))) (log (* a 2.0))) (log (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (exp (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (/ (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (* (* (* a a) a) (* (* 2.0 2.0) 2.0))) (/ (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (* (* (* a 2.0) (* a 2.0)) (* a 2.0))) (* (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)))) (cbrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (* (* (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (sqrt (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))) (neg (- (* x y) (* (* z 9.0) t))) (neg (* a 2.0)) (/ (* x y) (* a 2.0)) (/ (* (* z 9.0) t) (* a 2.0)) (/ (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) a) (/ (cbrt (- (* x y) (* (* z 9.0) t))) 2.0) (/ (sqrt (- (* x y) (* (* z 9.0) t))) a) (/ (sqrt (- (* x y) (* (* z 9.0) t))) 2.0) (/ 1 a) (/ (- (* x y) (* (* z 9.0) t)) 2.0) (/ 1 (* a 2.0)) (/ (* a 2.0) (- (* x y) (* (* z 9.0) t))) (/ (- (* x y) (* (* z 9.0) t)) a) (/ (* a 2.0) (cbrt (- (* x y) (* (* z 9.0) t)))) (/ (* a 2.0) (sqrt (- (* x y) (* (* z 9.0) t)))) (/ (* a 2.0) (- (* x y) (* (* z 9.0) t))) (* (* a 2.0) (+ (* (* x y) (* x y)) (+ (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* x y) (* (* z 9.0) t))))) (* (* a 2.0) (+ (* x y) (* (* z 9.0) t))) (/ (exp (* x y)) (exp (* (* z 9.0) t))) (log (- (* x y) (* (* z 9.0) t))) (exp (- (* x y) (* (* z 9.0) t))) (* (cbrt (- (* x y) (* (* z 9.0) t))) (cbrt (- (* x y) (* (* z 9.0) t)))) (cbrt (- (* x y) (* (* z 9.0) t))) (* (* (- (* x y) (* (* z 9.0) t)) (- (* x y) (* (* z 9.0) t))) (- (* x y) (* (* z 9.0) t))) (sqrt (- (* x y) (* (* z 9.0) t))) (sqrt (- (* x y) (* (* z 9.0) t))) (- (pow (* x y) 3) (pow (* (* z 9.0) t) 3)) (+ (* (* x y) (* x y)) (+ (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* x y) (* (* z 9.0) t)))) (neg (* (* z 9.0) t)) (- (* (* x y) (* x y)) (* (* (* z 9.0) t) (* (* z 9.0) t))) (+ (* x y) (* (* z 9.0) t)) (* (* z 9.0) t) (* (* z 9.0) t) (+ (+ (log z) (log 9.0)) (log t)) (+ (log (* z 9.0)) (log t)) (log (* (* z 9.0) t)) (exp (* (* z 9.0) t)) (* (* (* (* z z) z) (* (* 9.0 9.0) 9.0)) (* (* t t) t)) (* (* (* (* z 9.0) (* z 9.0)) (* z 9.0)) (* (* t t) t)) (* (cbrt (* (* z 9.0) t)) (cbrt (* (* z 9.0) t))) (cbrt (* (* z 9.0) t)) (* (* (* (* z 9.0) t) (* (* z 9.0) t)) (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)) (sqrt (* (* z 9.0) t)) (* (* z 9.0) (* (cbrt t) (cbrt t))) (* (* z 9.0) (sqrt t)) (* (* z 9.0) 1) (* 9.0 t) (- (* 0.5 (/ (* x y) a)) (* 4.5 (/ (* t z) a))) 0 0 0 (- (* x y) (* 9.0 (* t z))) (- (* x y) (* 9.0 (* t z))) (* 9.0 (* t z)) (* 9.0 (* t z)) (* 9.0 (* t z)) 1.415 * * [simplify]: iteration 0 : 5341 enodes (cost 704 ) 1.417 * [simplify]: Simplified to: (log (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (log (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (log (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (exp (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (pow (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) 3) (pow (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) 3) (* (cbrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (cbrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)))) (cbrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (pow (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0)) 3) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (sqrt (/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))) (- (* z (* 9.0 t)) (* x y)) (* a (neg 2.0)) (* x (/ y (* a 2.0))) (* z (/ (* 9.0 t) (* a 2.0))) (* (cbrt (- (* x y) (* z (* 9.0 t)))) (/ (cbrt (- (* x y) (* z (* 9.0 t)))) a)) (/ (cbrt (- (* x y) (* z (* 9.0 t)))) 2.0) (/ (sqrt (- (* x y) (* z (* 9.0 t)))) a) (/ (sqrt (- (* x y) (* z (* 9.0 t)))) 2.0) (/ 1 a) (/ (- (* x y) (* z (* 9.0 t))) 2.0) (/ 1 (* a 2.0)) (* a (/ 2.0 (- (* x y) (* z (* 9.0 t))))) (/ (- (* x y) (* z (* 9.0 t))) a) (* a (/ 2.0 (cbrt (- (* x y) (* z (* 9.0 t)))))) (* a (/ 2.0 (sqrt (- (* x y) (* z (* 9.0 t)))))) (* a (/ 2.0 (- (* x y) (* z (* 9.0 t))))) (* a (* 2.0 (+ (* x (* y (* x y))) (* z (* (* 9.0 t) (+ (* x y) (* z (* 9.0 t)))))))) (* a (* 2.0 (+ (* x y) (* z (* 9.0 t))))) (exp (- (* x y) (* z (* 9.0 t)))) (log (- (* x y) (* z (* 9.0 t)))) (exp (- (* x y) (* z (* 9.0 t)))) (* (cbrt (- (* x y) (* z (* 9.0 t)))) (cbrt (- (* x y) (* z (* 9.0 t))))) (cbrt (- (* x y) (* z (* 9.0 t)))) (pow (- (* x y) (* z (* 9.0 t))) 3) (sqrt (- (* x y) (* z (* 9.0 t)))) (sqrt (- (* x y) (* z (* 9.0 t)))) (- (pow (* x y) 3) (pow (* z (* 9.0 t)) 3)) (+ (* x (* y (* x y))) (* z (* (* 9.0 t) (+ (* x y) (* z (* 9.0 t)))))) (* z (* 9.0 (neg t))) (- (* x (* y (* x y))) (* z (* 9.0 (* t (* z (* 9.0 t)))))) (+ (* x y) (* z (* 9.0 t))) (* z (* 9.0 t)) (* z (* 9.0 t)) (log (* z (* 9.0 t))) (log (* z (* 9.0 t))) (log (* z (* 9.0 t))) (pow (pow (exp z) 9.0) t) (pow (* z (* 9.0 t)) 3) (pow (* z (* 9.0 t)) 3) (* (cbrt (* z (* 9.0 t))) (cbrt (* z (* 9.0 t)))) (cbrt (* z (* 9.0 t))) (pow (* z (* 9.0 t)) 3) (sqrt (* z (* 9.0 t))) (sqrt (* z (* 9.0 t))) (* z (* 9.0 (* (cbrt t) (cbrt t)))) (* z (* 9.0 (sqrt t))) (* z 9.0) (* 9.0 t) (- (* 0.5 (* x (/ y a))) (* 4.5 (* z (/ t a)))) 0 0 0 (- (* x y) (* z (* 9.0 t))) (- (* x y) (* z (* 9.0 t))) (* z (* 9.0 t)) (* z (* 9.0 t)) (* z (* 9.0 t)) 1.418 * * * [progress]: adding candidates to table 1.503 * * [progress]: iteration 2 / 4 1.503 * * * [progress]: picking best candidate 1.539 * * * * [pick]: Picked # 1.539 * * * [progress]: localizing error 1.552 * * * [progress]: generating rewritten candidates 1.552 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.558 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.565 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.571 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.580 * * * [progress]: generating series expansions 1.580 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.580 * [approximate]: Taking taylor expansion of (/ (* x y) a) in (x y a) around 0 1.580 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a 1.580 * [taylor]: Taking taylor expansion of (* x y) in a 1.580 * [taylor]: Taking taylor expansion of x in a 1.580 * [taylor]: Taking taylor expansion of y in a 1.580 * [taylor]: Taking taylor expansion of a in a 1.580 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y 1.581 * [taylor]: Taking taylor expansion of (* x y) in y 1.581 * [taylor]: Taking taylor expansion of x in y 1.581 * [taylor]: Taking taylor expansion of y in y 1.581 * [taylor]: Taking taylor expansion of a in y 1.581 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x 1.581 * [taylor]: Taking taylor expansion of (* x y) in x 1.581 * [taylor]: Taking taylor expansion of x in x 1.581 * [taylor]: Taking taylor expansion of y in x 1.581 * [taylor]: Taking taylor expansion of a in x 1.581 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x 1.581 * [taylor]: Taking taylor expansion of (* x y) in x 1.581 * [taylor]: Taking taylor expansion of x in x 1.581 * [taylor]: Taking taylor expansion of y in x 1.581 * [taylor]: Taking taylor expansion of a in x 1.581 * [taylor]: Taking taylor expansion of (/ y a) in y 1.581 * [taylor]: Taking taylor expansion of y in y 1.581 * [taylor]: Taking taylor expansion of a in y 1.581 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.581 * [taylor]: Taking taylor expansion of a in a 1.581 * [taylor]: Taking taylor expansion of 0 in y 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.581 * [taylor]: Taking taylor expansion of 0 in y 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.582 * [taylor]: Taking taylor expansion of 0 in a 1.582 * [taylor]: Taking taylor expansion of 0 in y 1.582 * [taylor]: Taking taylor expansion of 0 in a 1.582 * [taylor]: Taking taylor expansion of 0 in a 1.582 * [taylor]: Taking taylor expansion of 0 in a 1.582 * [taylor]: Taking taylor expansion of 0 in a 1.582 * [approximate]: Taking taylor expansion of (/ a (* x y)) in (x y a) around 0 1.582 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a 1.582 * [taylor]: Taking taylor expansion of a in a 1.582 * [taylor]: Taking taylor expansion of (* x y) in a 1.582 * [taylor]: Taking taylor expansion of x in a 1.582 * [taylor]: Taking taylor expansion of y in a 1.582 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y 1.582 * [taylor]: Taking taylor expansion of a in y 1.582 * [taylor]: Taking taylor expansion of (* x y) in y 1.582 * [taylor]: Taking taylor expansion of x in y 1.582 * [taylor]: Taking taylor expansion of y in y 1.582 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.582 * [taylor]: Taking taylor expansion of a in x 1.582 * [taylor]: Taking taylor expansion of (* x y) in x 1.582 * [taylor]: Taking taylor expansion of x in x 1.582 * [taylor]: Taking taylor expansion of y in x 1.582 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.582 * [taylor]: Taking taylor expansion of a in x 1.583 * [taylor]: Taking taylor expansion of (* x y) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.583 * [taylor]: Taking taylor expansion of y in x 1.583 * [taylor]: Taking taylor expansion of (/ a y) in y 1.583 * [taylor]: Taking taylor expansion of a in y 1.583 * [taylor]: Taking taylor expansion of y in y 1.583 * [taylor]: Taking taylor expansion of a in a 1.583 * [taylor]: Taking taylor expansion of 0 in y 1.583 * [taylor]: Taking taylor expansion of 0 in a 1.583 * [taylor]: Taking taylor expansion of 0 in y 1.583 * [taylor]: Taking taylor expansion of 0 in a 1.583 * [taylor]: Taking taylor expansion of 0 in a 1.583 * [approximate]: Taking taylor expansion of (* -1 (/ a (* x y))) in (x y a) around 0 1.583 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in a 1.583 * [taylor]: Taking taylor expansion of -1 in a 1.583 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a 1.583 * [taylor]: Taking taylor expansion of a in a 1.583 * [taylor]: Taking taylor expansion of (* x y) in a 1.583 * [taylor]: Taking taylor expansion of x in a 1.583 * [taylor]: Taking taylor expansion of y in a 1.584 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y 1.584 * [taylor]: Taking taylor expansion of -1 in y 1.584 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y 1.584 * [taylor]: Taking taylor expansion of a in y 1.584 * [taylor]: Taking taylor expansion of (* x y) in y 1.584 * [taylor]: Taking taylor expansion of x in y 1.584 * [taylor]: Taking taylor expansion of y in y 1.584 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x 1.584 * [taylor]: Taking taylor expansion of -1 in x 1.584 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.584 * [taylor]: Taking taylor expansion of a in x 1.584 * [taylor]: Taking taylor expansion of (* x y) in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.584 * [taylor]: Taking taylor expansion of y in x 1.584 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x 1.584 * [taylor]: Taking taylor expansion of -1 in x 1.584 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.584 * [taylor]: Taking taylor expansion of a in x 1.584 * [taylor]: Taking taylor expansion of (* x y) in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.584 * [taylor]: Taking taylor expansion of y in x 1.584 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y 1.584 * [taylor]: Taking taylor expansion of -1 in y 1.584 * [taylor]: Taking taylor expansion of (/ a y) in y 1.584 * [taylor]: Taking taylor expansion of a in y 1.584 * [taylor]: Taking taylor expansion of y in y 1.584 * [taylor]: Taking taylor expansion of (* -1 a) in a 1.584 * [taylor]: Taking taylor expansion of -1 in a 1.584 * [taylor]: Taking taylor expansion of a in a 1.584 * [taylor]: Taking taylor expansion of 0 in y 1.584 * [taylor]: Taking taylor expansion of 0 in a 1.585 * [taylor]: Taking taylor expansion of 0 in y 1.585 * [taylor]: Taking taylor expansion of 0 in a 1.585 * [taylor]: Taking taylor expansion of 0 in a 1.585 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.585 * [approximate]: Taking taylor expansion of (/ (* t z) a) in (z t a) around 0 1.585 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a 1.585 * [taylor]: Taking taylor expansion of (* t z) in a 1.585 * [taylor]: Taking taylor expansion of t in a 1.585 * [taylor]: Taking taylor expansion of z in a 1.585 * [taylor]: Taking taylor expansion of a in a 1.585 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t 1.585 * [taylor]: Taking taylor expansion of (* t z) in t 1.585 * [taylor]: Taking taylor expansion of t in t 1.585 * [taylor]: Taking taylor expansion of z in t 1.585 * [taylor]: Taking taylor expansion of a in t 1.585 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z 1.585 * [taylor]: Taking taylor expansion of (* t z) in z 1.585 * [taylor]: Taking taylor expansion of t in z 1.585 * [taylor]: Taking taylor expansion of z in z 1.585 * [taylor]: Taking taylor expansion of a in z 1.585 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z 1.585 * [taylor]: Taking taylor expansion of (* t z) in z 1.585 * [taylor]: Taking taylor expansion of t in z 1.585 * [taylor]: Taking taylor expansion of z in z 1.586 * [taylor]: Taking taylor expansion of a in z 1.586 * [taylor]: Taking taylor expansion of (/ t a) in t 1.586 * [taylor]: Taking taylor expansion of t in t 1.586 * [taylor]: Taking taylor expansion of a in t 1.586 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.586 * [taylor]: Taking taylor expansion of a in a 1.586 * [taylor]: Taking taylor expansion of 0 in t 1.586 * [taylor]: Taking taylor expansion of 0 in a 1.586 * [taylor]: Taking taylor expansion of 0 in a 1.586 * [taylor]: Taking taylor expansion of 0 in t 1.586 * [taylor]: Taking taylor expansion of 0 in a 1.586 * [taylor]: Taking taylor expansion of 0 in a 1.586 * [taylor]: Taking taylor expansion of 0 in a 1.586 * [taylor]: Taking taylor expansion of 0 in t 1.586 * [taylor]: Taking taylor expansion of 0 in a 1.586 * [taylor]: Taking taylor expansion of 0 in a 1.586 * [taylor]: Taking taylor expansion of 0 in a 1.587 * [taylor]: Taking taylor expansion of 0 in a 1.587 * [approximate]: Taking taylor expansion of (/ a (* z t)) in (z t a) around 0 1.587 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a 1.587 * [taylor]: Taking taylor expansion of a in a 1.587 * [taylor]: Taking taylor expansion of (* z t) in a 1.587 * [taylor]: Taking taylor expansion of z in a 1.587 * [taylor]: Taking taylor expansion of t in a 1.587 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t 1.587 * [taylor]: Taking taylor expansion of a in t 1.587 * [taylor]: Taking taylor expansion of (* z t) in t 1.587 * [taylor]: Taking taylor expansion of z in t 1.587 * [taylor]: Taking taylor expansion of t in t 1.587 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.587 * [taylor]: Taking taylor expansion of a in z 1.587 * [taylor]: Taking taylor expansion of (* z t) in z 1.587 * [taylor]: Taking taylor expansion of z in z 1.587 * [taylor]: Taking taylor expansion of t in z 1.587 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.587 * [taylor]: Taking taylor expansion of a in z 1.587 * [taylor]: Taking taylor expansion of (* z t) in z 1.587 * [taylor]: Taking taylor expansion of z in z 1.587 * [taylor]: Taking taylor expansion of t in z 1.587 * [taylor]: Taking taylor expansion of (/ a t) in t 1.587 * [taylor]: Taking taylor expansion of a in t 1.587 * [taylor]: Taking taylor expansion of t in t 1.587 * [taylor]: Taking taylor expansion of a in a 1.587 * [taylor]: Taking taylor expansion of 0 in t 1.588 * [taylor]: Taking taylor expansion of 0 in a 1.588 * [taylor]: Taking taylor expansion of 0 in t 1.588 * [taylor]: Taking taylor expansion of 0 in a 1.588 * [taylor]: Taking taylor expansion of 0 in a 1.588 * [approximate]: Taking taylor expansion of (* -1 (/ a (* z t))) in (z t a) around 0 1.588 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in a 1.588 * [taylor]: Taking taylor expansion of -1 in a 1.588 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a 1.588 * [taylor]: Taking taylor expansion of a in a 1.588 * [taylor]: Taking taylor expansion of (* z t) in a 1.588 * [taylor]: Taking taylor expansion of z in a 1.588 * [taylor]: Taking taylor expansion of t in a 1.588 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in t 1.588 * [taylor]: Taking taylor expansion of -1 in t 1.588 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t 1.588 * [taylor]: Taking taylor expansion of a in t 1.588 * [taylor]: Taking taylor expansion of (* z t) in t 1.588 * [taylor]: Taking taylor expansion of z in t 1.588 * [taylor]: Taking taylor expansion of t in t 1.588 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in z 1.588 * [taylor]: Taking taylor expansion of -1 in z 1.588 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.588 * [taylor]: Taking taylor expansion of a in z 1.588 * [taylor]: Taking taylor expansion of (* z t) in z 1.588 * [taylor]: Taking taylor expansion of z in z 1.588 * [taylor]: Taking taylor expansion of t in z 1.588 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in z 1.589 * [taylor]: Taking taylor expansion of -1 in z 1.589 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.589 * [taylor]: Taking taylor expansion of a in z 1.589 * [taylor]: Taking taylor expansion of (* z t) in z 1.589 * [taylor]: Taking taylor expansion of z in z 1.589 * [taylor]: Taking taylor expansion of t in z 1.589 * [taylor]: Taking taylor expansion of (* -1 (/ a t)) in t 1.589 * [taylor]: Taking taylor expansion of -1 in t 1.589 * [taylor]: Taking taylor expansion of (/ a t) in t 1.589 * [taylor]: Taking taylor expansion of a in t 1.589 * [taylor]: Taking taylor expansion of t in t 1.589 * [taylor]: Taking taylor expansion of (* -1 a) in a 1.589 * [taylor]: Taking taylor expansion of -1 in a 1.589 * [taylor]: Taking taylor expansion of a in a 1.589 * [taylor]: Taking taylor expansion of 0 in t 1.589 * [taylor]: Taking taylor expansion of 0 in a 1.589 * [taylor]: Taking taylor expansion of 0 in t 1.589 * [taylor]: Taking taylor expansion of 0 in a 1.589 * [taylor]: Taking taylor expansion of 0 in a 1.590 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.590 * [approximate]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in (z t a) around 0 1.590 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in a 1.590 * [taylor]: Taking taylor expansion of 4.5 in a 1.590 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a 1.590 * [taylor]: Taking taylor expansion of (* t z) in a 1.590 * [taylor]: Taking taylor expansion of t in a 1.590 * [taylor]: Taking taylor expansion of z in a 1.590 * [taylor]: Taking taylor expansion of a in a 1.590 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in t 1.590 * [taylor]: Taking taylor expansion of 4.5 in t 1.590 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t 1.590 * [taylor]: Taking taylor expansion of (* t z) in t 1.590 * [taylor]: Taking taylor expansion of t in t 1.590 * [taylor]: Taking taylor expansion of z in t 1.590 * [taylor]: Taking taylor expansion of a in t 1.590 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z 1.590 * [taylor]: Taking taylor expansion of 4.5 in z 1.590 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z 1.590 * [taylor]: Taking taylor expansion of (* t z) in z 1.590 * [taylor]: Taking taylor expansion of t in z 1.590 * [taylor]: Taking taylor expansion of z in z 1.590 * [taylor]: Taking taylor expansion of a in z 1.590 * [taylor]: Taking taylor expansion of (* 4.5 (/ (* t z) a)) in z 1.590 * [taylor]: Taking taylor expansion of 4.5 in z 1.590 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z 1.590 * [taylor]: Taking taylor expansion of (* t z) in z 1.590 * [taylor]: Taking taylor expansion of t in z 1.590 * [taylor]: Taking taylor expansion of z in z 1.590 * [taylor]: Taking taylor expansion of a in z 1.590 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t 1.590 * [taylor]: Taking taylor expansion of 4.5 in t 1.590 * [taylor]: Taking taylor expansion of (/ t a) in t 1.590 * [taylor]: Taking taylor expansion of t in t 1.590 * [taylor]: Taking taylor expansion of a in t 1.591 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a 1.591 * [taylor]: Taking taylor expansion of 4.5 in a 1.591 * [taylor]: Taking taylor expansion of a in a 1.591 * [taylor]: Taking taylor expansion of 0 in t 1.591 * [taylor]: Taking taylor expansion of 0 in a 1.591 * [taylor]: Taking taylor expansion of 0 in a 1.591 * [taylor]: Taking taylor expansion of 0 in t 1.591 * [taylor]: Taking taylor expansion of 0 in a 1.591 * [taylor]: Taking taylor expansion of 0 in a 1.591 * [taylor]: Taking taylor expansion of 0 in a 1.592 * [taylor]: Taking taylor expansion of 0 in t 1.592 * [taylor]: Taking taylor expansion of 0 in a 1.592 * [taylor]: Taking taylor expansion of 0 in a 1.592 * [taylor]: Taking taylor expansion of 0 in a 1.592 * [taylor]: Taking taylor expansion of 0 in a 1.592 * [approximate]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in (z t a) around 0 1.592 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in a 1.592 * [taylor]: Taking taylor expansion of 4.5 in a 1.592 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a 1.592 * [taylor]: Taking taylor expansion of a in a 1.592 * [taylor]: Taking taylor expansion of (* z t) in a 1.592 * [taylor]: Taking taylor expansion of z in a 1.592 * [taylor]: Taking taylor expansion of t in a 1.592 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in t 1.592 * [taylor]: Taking taylor expansion of 4.5 in t 1.592 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t 1.592 * [taylor]: Taking taylor expansion of a in t 1.592 * [taylor]: Taking taylor expansion of (* z t) in t 1.592 * [taylor]: Taking taylor expansion of z in t 1.592 * [taylor]: Taking taylor expansion of t in t 1.592 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z 1.592 * [taylor]: Taking taylor expansion of 4.5 in z 1.592 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.592 * [taylor]: Taking taylor expansion of a in z 1.592 * [taylor]: Taking taylor expansion of (* z t) in z 1.592 * [taylor]: Taking taylor expansion of z in z 1.592 * [taylor]: Taking taylor expansion of t in z 1.592 * [taylor]: Taking taylor expansion of (* 4.5 (/ a (* z t))) in z 1.592 * [taylor]: Taking taylor expansion of 4.5 in z 1.592 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.592 * [taylor]: Taking taylor expansion of a in z 1.592 * [taylor]: Taking taylor expansion of (* z t) in z 1.592 * [taylor]: Taking taylor expansion of z in z 1.592 * [taylor]: Taking taylor expansion of t in z 1.593 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t 1.593 * [taylor]: Taking taylor expansion of 4.5 in t 1.593 * [taylor]: Taking taylor expansion of (/ a t) in t 1.593 * [taylor]: Taking taylor expansion of a in t 1.593 * [taylor]: Taking taylor expansion of t in t 1.593 * [taylor]: Taking taylor expansion of (* 4.5 a) in a 1.593 * [taylor]: Taking taylor expansion of 4.5 in a 1.593 * [taylor]: Taking taylor expansion of a in a 1.593 * [taylor]: Taking taylor expansion of 0 in t 1.593 * [taylor]: Taking taylor expansion of 0 in a 1.593 * [taylor]: Taking taylor expansion of 0 in t 1.593 * [taylor]: Taking taylor expansion of 0 in a 1.593 * [taylor]: Taking taylor expansion of 0 in a 1.594 * [approximate]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in (z t a) around 0 1.594 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in a 1.594 * [taylor]: Taking taylor expansion of -4.5 in a 1.594 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a 1.594 * [taylor]: Taking taylor expansion of a in a 1.594 * [taylor]: Taking taylor expansion of (* z t) in a 1.594 * [taylor]: Taking taylor expansion of z in a 1.594 * [taylor]: Taking taylor expansion of t in a 1.594 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in t 1.594 * [taylor]: Taking taylor expansion of -4.5 in t 1.594 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t 1.594 * [taylor]: Taking taylor expansion of a in t 1.594 * [taylor]: Taking taylor expansion of (* z t) in t 1.594 * [taylor]: Taking taylor expansion of z in t 1.594 * [taylor]: Taking taylor expansion of t in t 1.594 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z 1.594 * [taylor]: Taking taylor expansion of -4.5 in z 1.594 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.594 * [taylor]: Taking taylor expansion of a in z 1.594 * [taylor]: Taking taylor expansion of (* z t) in z 1.594 * [taylor]: Taking taylor expansion of z in z 1.594 * [taylor]: Taking taylor expansion of t in z 1.594 * [taylor]: Taking taylor expansion of (* -4.5 (/ a (* z t))) in z 1.594 * [taylor]: Taking taylor expansion of -4.5 in z 1.594 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 1.594 * [taylor]: Taking taylor expansion of a in z 1.594 * [taylor]: Taking taylor expansion of (* z t) in z 1.594 * [taylor]: Taking taylor expansion of z in z 1.594 * [taylor]: Taking taylor expansion of t in z 1.594 * [taylor]: Taking taylor expansion of (* -4.5 (/ a t)) in t 1.594 * [taylor]: Taking taylor expansion of -4.5 in t 1.594 * [taylor]: Taking taylor expansion of (/ a t) in t 1.594 * [taylor]: Taking taylor expansion of a in t 1.594 * [taylor]: Taking taylor expansion of t in t 1.594 * [taylor]: Taking taylor expansion of (* -4.5 a) in a 1.594 * [taylor]: Taking taylor expansion of -4.5 in a 1.594 * [taylor]: Taking taylor expansion of a in a 1.595 * [taylor]: Taking taylor expansion of 0 in t 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.595 * [taylor]: Taking taylor expansion of 0 in t 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.595 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.595 * [approximate]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in (x y a) around 0 1.595 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in a 1.595 * [taylor]: Taking taylor expansion of 0.5 in a 1.595 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a 1.595 * [taylor]: Taking taylor expansion of (* x y) in a 1.595 * [taylor]: Taking taylor expansion of x in a 1.595 * [taylor]: Taking taylor expansion of y in a 1.595 * [taylor]: Taking taylor expansion of a in a 1.595 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in y 1.596 * [taylor]: Taking taylor expansion of 0.5 in y 1.596 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y 1.596 * [taylor]: Taking taylor expansion of (* x y) in y 1.596 * [taylor]: Taking taylor expansion of x in y 1.596 * [taylor]: Taking taylor expansion of y in y 1.596 * [taylor]: Taking taylor expansion of a in y 1.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x 1.596 * [taylor]: Taking taylor expansion of 0.5 in x 1.596 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x 1.596 * [taylor]: Taking taylor expansion of (* x y) in x 1.596 * [taylor]: Taking taylor expansion of x in x 1.596 * [taylor]: Taking taylor expansion of y in x 1.596 * [taylor]: Taking taylor expansion of a in x 1.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ (* x y) a)) in x 1.596 * [taylor]: Taking taylor expansion of 0.5 in x 1.596 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x 1.596 * [taylor]: Taking taylor expansion of (* x y) in x 1.596 * [taylor]: Taking taylor expansion of x in x 1.596 * [taylor]: Taking taylor expansion of y in x 1.596 * [taylor]: Taking taylor expansion of a in x 1.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ y a)) in y 1.596 * [taylor]: Taking taylor expansion of 0.5 in y 1.596 * [taylor]: Taking taylor expansion of (/ y a) in y 1.596 * [taylor]: Taking taylor expansion of y in y 1.596 * [taylor]: Taking taylor expansion of a in y 1.596 * [taylor]: Taking taylor expansion of (/ 0.5 a) in a 1.596 * [taylor]: Taking taylor expansion of 0.5 in a 1.596 * [taylor]: Taking taylor expansion of a in a 1.596 * [taylor]: Taking taylor expansion of 0 in y 1.596 * [taylor]: Taking taylor expansion of 0 in a 1.596 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [taylor]: Taking taylor expansion of 0 in y 1.597 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [taylor]: Taking taylor expansion of 0 in y 1.597 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [approximate]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in (x y a) around 0 1.598 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in a 1.598 * [taylor]: Taking taylor expansion of 0.5 in a 1.598 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a 1.598 * [taylor]: Taking taylor expansion of a in a 1.598 * [taylor]: Taking taylor expansion of (* x y) in a 1.598 * [taylor]: Taking taylor expansion of x in a 1.598 * [taylor]: Taking taylor expansion of y in a 1.598 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in y 1.598 * [taylor]: Taking taylor expansion of 0.5 in y 1.598 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y 1.598 * [taylor]: Taking taylor expansion of a in y 1.598 * [taylor]: Taking taylor expansion of (* x y) in y 1.598 * [taylor]: Taking taylor expansion of x in y 1.598 * [taylor]: Taking taylor expansion of y in y 1.598 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x 1.598 * [taylor]: Taking taylor expansion of 0.5 in x 1.598 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.598 * [taylor]: Taking taylor expansion of a in x 1.598 * [taylor]: Taking taylor expansion of (* x y) in x 1.598 * [taylor]: Taking taylor expansion of x in x 1.598 * [taylor]: Taking taylor expansion of y in x 1.598 * [taylor]: Taking taylor expansion of (* 0.5 (/ a (* x y))) in x 1.598 * [taylor]: Taking taylor expansion of 0.5 in x 1.598 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.598 * [taylor]: Taking taylor expansion of a in x 1.598 * [taylor]: Taking taylor expansion of (* x y) in x 1.598 * [taylor]: Taking taylor expansion of x in x 1.598 * [taylor]: Taking taylor expansion of y in x 1.598 * [taylor]: Taking taylor expansion of (* 0.5 (/ a y)) in y 1.598 * [taylor]: Taking taylor expansion of 0.5 in y 1.598 * [taylor]: Taking taylor expansion of (/ a y) in y 1.598 * [taylor]: Taking taylor expansion of a in y 1.598 * [taylor]: Taking taylor expansion of y in y 1.598 * [taylor]: Taking taylor expansion of (* 0.5 a) in a 1.598 * [taylor]: Taking taylor expansion of 0.5 in a 1.598 * [taylor]: Taking taylor expansion of a in a 1.599 * [taylor]: Taking taylor expansion of 0 in y 1.599 * [taylor]: Taking taylor expansion of 0 in a 1.599 * [taylor]: Taking taylor expansion of 0 in y 1.599 * [taylor]: Taking taylor expansion of 0 in a 1.599 * [taylor]: Taking taylor expansion of 0 in a 1.599 * [approximate]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in (x y a) around 0 1.599 * [taylor]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in a 1.599 * [taylor]: Taking taylor expansion of -0.5 in a 1.599 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a 1.599 * [taylor]: Taking taylor expansion of a in a 1.599 * [taylor]: Taking taylor expansion of (* x y) in a 1.599 * [taylor]: Taking taylor expansion of x in a 1.599 * [taylor]: Taking taylor expansion of y in a 1.599 * [taylor]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in y 1.599 * [taylor]: Taking taylor expansion of -0.5 in y 1.599 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y 1.599 * [taylor]: Taking taylor expansion of a in y 1.599 * [taylor]: Taking taylor expansion of (* x y) in y 1.599 * [taylor]: Taking taylor expansion of x in y 1.599 * [taylor]: Taking taylor expansion of y in y 1.600 * [taylor]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in x 1.600 * [taylor]: Taking taylor expansion of -0.5 in x 1.600 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.600 * [taylor]: Taking taylor expansion of a in x 1.600 * [taylor]: Taking taylor expansion of (* x y) in x 1.600 * [taylor]: Taking taylor expansion of x in x 1.600 * [taylor]: Taking taylor expansion of y in x 1.600 * [taylor]: Taking taylor expansion of (* -0.5 (/ a (* x y))) in x 1.600 * [taylor]: Taking taylor expansion of -0.5 in x 1.600 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.600 * [taylor]: Taking taylor expansion of a in x 1.600 * [taylor]: Taking taylor expansion of (* x y) in x 1.600 * [taylor]: Taking taylor expansion of x in x 1.600 * [taylor]: Taking taylor expansion of y in x 1.600 * [taylor]: Taking taylor expansion of (* -0.5 (/ a y)) in y 1.600 * [taylor]: Taking taylor expansion of -0.5 in y 1.600 * [taylor]: Taking taylor expansion of (/ a y) in y 1.600 * [taylor]: Taking taylor expansion of a in y 1.600 * [taylor]: Taking taylor expansion of y in y 1.600 * [taylor]: Taking taylor expansion of (* -0.5 a) in a 1.600 * [taylor]: Taking taylor expansion of -0.5 in a 1.600 * [taylor]: Taking taylor expansion of a in a 1.600 * [taylor]: Taking taylor expansion of 0 in y 1.600 * [taylor]: Taking taylor expansion of 0 in a 1.601 * [taylor]: Taking taylor expansion of 0 in y 1.601 * [taylor]: Taking taylor expansion of 0 in a 1.601 * [taylor]: Taking taylor expansion of 0 in a 1.601 * * * [progress]: simplifying candidates 1.602 * [simplify]: Simplifying using # : (* x (/ y a)) (+ (log x) (- (log y) (log a))) (+ (log x) (log (/ y a))) (log (* x (/ y a))) (exp (* x (/ y a))) (* (* (* x x) x) (/ (* (* y y) y) (* (* a a) a))) (* (* (* x x) x) (* (* (/ y a) (/ y a)) (/ y a))) (* (cbrt (* x (/ y a))) (cbrt (* x (/ y a)))) (cbrt (* x (/ y a))) (* (* (* x (/ y a)) (* x (/ y a))) (* x (/ y a))) (sqrt (* x (/ y a))) (sqrt (* x (/ y a))) (* (sqrt x) (sqrt (/ y a))) (* (sqrt x) (sqrt (/ y a))) (* (sqrt x) (/ (sqrt y) (sqrt a))) (* (sqrt x) (/ (sqrt y) (sqrt a))) (* x (* (cbrt (/ y a)) (cbrt (/ y a)))) (* x (sqrt (/ y a))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a)))) (* x (/ (* (cbrt y) (cbrt y)) (sqrt a))) (* x (/ (* (cbrt y) (cbrt y)) 1)) (* x (/ (sqrt y) (* (cbrt a) (cbrt a)))) (* x (/ (sqrt y) (sqrt a))) (* x (/ (sqrt y) 1)) (* x (/ 1 (* (cbrt a) (cbrt a)))) (* x (/ 1 (sqrt a))) (* x (/ 1 1)) (* x 1) (* x y) (* (cbrt x) (/ y a)) (* (sqrt x) (/ y a)) (* x (/ y a)) (* x y) (* z (/ t a)) (+ (log z) (- (log t) (log a))) (+ (log z) (log (/ t a))) (log (* z (/ t a))) (exp (* z (/ t a))) (* (* (* z z) z) (/ (* (* t t) t) (* (* a a) a))) (* (* (* z z) z) (* (* (/ t a) (/ t a)) (/ t a))) (* (cbrt (* z (/ t a))) (cbrt (* z (/ t a)))) (cbrt (* z (/ t a))) (* (* (* z (/ t a)) (* z (/ t a))) (* z (/ t a))) (sqrt (* z (/ t a))) (sqrt (* z (/ t a))) (* (sqrt z) (sqrt (/ t a))) (* (sqrt z) (sqrt (/ t a))) (* (sqrt z) (/ (sqrt t) (sqrt a))) (* (sqrt z) (/ (sqrt t) (sqrt a))) (* z (* (cbrt (/ t a)) (cbrt (/ t a)))) (* z (sqrt (/ t a))) (* z (/ (* (cbrt t) (cbrt t)) (* (cbrt a) (cbrt a)))) (* z (/ (* (cbrt t) (cbrt t)) (sqrt a))) (* z (/ (* (cbrt t) (cbrt t)) 1)) (* z (/ (sqrt t) (* (cbrt a) (cbrt a)))) (* z (/ (sqrt t) (sqrt a))) (* z (/ (sqrt t) 1)) (* z (/ 1 (* (cbrt a) (cbrt a)))) (* z (/ 1 (sqrt a))) (* z (/ 1 1)) (* z 1) (* z t) (* (cbrt z) (/ t a)) (* (sqrt z) (/ t a)) (* z (/ t a)) (* z t) (* 4.5 (* z (/ t a))) (* 4.5 (* z (/ t a))) (+ (log 4.5) (+ (log z) (- (log t) (log a)))) (+ (log 4.5) (+ (log z) (log (/ t a)))) (+ (log 4.5) (log (* z (/ t a)))) (log (* 4.5 (* z (/ t a)))) (exp (* 4.5 (* z (/ t a)))) (* (* (* 4.5 4.5) 4.5) (* (* (* z z) z) (/ (* (* t t) t) (* (* a a) a)))) (* (* (* 4.5 4.5) 4.5) (* (* (* z z) z) (* (* (/ t a) (/ t a)) (/ t a)))) (* (* (* 4.5 4.5) 4.5) (* (* (* z (/ t a)) (* z (/ t a))) (* z (/ t a)))) (* (cbrt (* 4.5 (* z (/ t a)))) (cbrt (* 4.5 (* z (/ t a))))) (cbrt (* 4.5 (* z (/ t a)))) (* (* (* 4.5 (* z (/ t a))) (* 4.5 (* z (/ t a)))) (* 4.5 (* z (/ t a)))) (sqrt (* 4.5 (* z (/ t a)))) (sqrt (* 4.5 (* z (/ t a)))) (* 4.5 z) (* (cbrt 4.5) (* z (/ t a))) (* (sqrt 4.5) (* z (/ t a))) (* 4.5 (* z (/ t a))) (* 4.5 (* z t)) (* 0.5 (* x (/ y a))) (* 0.5 (* x (/ y a))) (+ (log 0.5) (+ (log x) (- (log y) (log a)))) (+ (log 0.5) (+ (log x) (log (/ y a)))) (+ (log 0.5) (log (* x (/ y a)))) (log (* 0.5 (* x (/ y a)))) (exp (* 0.5 (* x (/ y a)))) (* (* (* 0.5 0.5) 0.5) (* (* (* x x) x) (/ (* (* y y) y) (* (* a a) a)))) (* (* (* 0.5 0.5) 0.5) (* (* (* x x) x) (* (* (/ y a) (/ y a)) (/ y a)))) (* (* (* 0.5 0.5) 0.5) (* (* (* x (/ y a)) (* x (/ y a))) (* x (/ y a)))) (* (cbrt (* 0.5 (* x (/ y a)))) (cbrt (* 0.5 (* x (/ y a))))) (cbrt (* 0.5 (* x (/ y a)))) (* (* (* 0.5 (* x (/ y a))) (* 0.5 (* x (/ y a)))) (* 0.5 (* x (/ y a)))) (sqrt (* 0.5 (* x (/ y a)))) (sqrt (* 0.5 (* x (/ y a)))) (* 0.5 x) (* (cbrt 0.5) (* x (/ y a))) (* (sqrt 0.5) (* x (/ y a))) (* 0.5 (* x (/ y a))) (* 0.5 (* x y)) (/ (* x y) a) (/ (* x y) a) (/ (* x y) a) (/ (* t z) a) (/ (* t z) a) (/ (* t z) a) (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a)) (* 0.5 (/ (* x y) a)) (* 0.5 (/ (* x y) a)) (* 0.5 (/ (* x y) a)) 1.645 * * [simplify]: iteration 0 : 5050 enodes (cost 826 ) 1.649 * [simplify]: Simplified to: (* x (/ y a)) (log (* x (/ y a))) (log (* x (/ y a))) (log (* x (/ y a))) (pow (exp x) (/ y a)) (pow (* x (/ y a)) 3) (pow (* x (/ y a)) 3) (* (cbrt (* x (/ y a))) (cbrt (* x (/ y a)))) (cbrt (* x (/ y a))) (pow (* x (/ y a)) 3) (sqrt (* x (/ y a))) (sqrt (* x (/ y a))) (* (sqrt x) (sqrt (/ y a))) (* (sqrt x) (sqrt (/ y a))) (* (sqrt x) (/ (sqrt y) (sqrt a))) (* (sqrt x) (/ (sqrt y) (sqrt a))) (* x (* (cbrt (/ y a)) (cbrt (/ y a)))) (* x (sqrt (/ y a))) (* x (* (cbrt y) (/ (cbrt y) (* (cbrt a) (cbrt a))))) (* x (* (cbrt y) (/ (cbrt y) (sqrt a)))) (* x (* (cbrt y) (cbrt y))) (* x (/ (sqrt y) (* (cbrt a) (cbrt a)))) (* x (/ (sqrt y) (sqrt a))) (* x (sqrt y)) (/ x (* (cbrt a) (cbrt a))) (/ x (sqrt a)) x x (* x y) (* (/ y a) (cbrt x)) (* (/ y a) (sqrt x)) (* x (/ y a)) (* x y) (* z (/ t a)) (log (* z (/ t a))) (log (* z (/ t a))) (log (* z (/ t a))) (pow (exp z) (/ t a)) (pow (* z (/ t a)) 3) (pow (* z (/ t a)) 3) (* (cbrt (* z (/ t a))) (cbrt (* z (/ t a)))) (cbrt (* z (/ t a))) (pow (* z (/ t a)) 3) (sqrt (* z (/ t a))) (sqrt (* z (/ t a))) (* (sqrt z) (sqrt (/ t a))) (* (sqrt z) (sqrt (/ t a))) (* (sqrt z) (/ (sqrt t) (sqrt a))) (* (sqrt z) (/ (sqrt t) (sqrt a))) (* z (* (cbrt (/ t a)) (cbrt (/ t a)))) (* z (sqrt (/ t a))) (* z (* (cbrt t) (/ (cbrt t) (* (cbrt a) (cbrt a))))) (* z (* (cbrt t) (/ (cbrt t) (sqrt a)))) (* z (* (cbrt t) (cbrt t))) (* z (/ (sqrt t) (* (cbrt a) (cbrt a)))) (* z (/ (sqrt t) (sqrt a))) (* z (sqrt t)) (/ z (* (cbrt a) (cbrt a))) (/ z (sqrt a)) z z (* z t) (* (/ t a) (cbrt z)) (* (/ t a) (sqrt z)) (* z (/ t a)) (* z t) (* z (* 4.5 (/ t a))) (* z (* 4.5 (/ t a))) (log (* z (* 4.5 (/ t a)))) (log (* z (* 4.5 (/ t a)))) (log (* z (* 4.5 (/ t a)))) (log (* z (* 4.5 (/ t a)))) (pow (pow (exp z) (/ t a)) 4.5) (pow (* z (* 4.5 (/ t a))) 3) (pow (* z (* 4.5 (/ t a))) 3) (pow (* z (* 4.5 (/ t a))) 3) (* (cbrt (* z (* 4.5 (/ t a)))) (cbrt (* z (* 4.5 (/ t a))))) (cbrt (* z (* 4.5 (/ t a)))) (pow (* z (* 4.5 (/ t a))) 3) (sqrt (* z (* 4.5 (/ t a)))) (sqrt (* z (* 4.5 (/ t a)))) (* z 4.5) (* z (* (/ t a) (cbrt 4.5))) (* z (* (/ t a) (sqrt 4.5))) (* z (* 4.5 (/ t a))) (* z (* 4.5 t)) (* x (* 0.5 (/ y a))) (* x (* 0.5 (/ y a))) (log (* x (* 0.5 (/ y a)))) (log (* x (* 0.5 (/ y a)))) (log (* x (* 0.5 (/ y a)))) (log (* x (* 0.5 (/ y a)))) (pow (pow (exp x) (/ y a)) 0.5) (pow (* x (* 0.5 (/ y a))) 3) (pow (* x (* 0.5 (/ y a))) 3) (pow (* x (* 0.5 (/ y a))) 3) (* (cbrt (* x (* 0.5 (/ y a)))) (cbrt (* x (* 0.5 (/ y a))))) (cbrt (* x (* 0.5 (/ y a)))) (pow (* x (* 0.5 (/ y a))) 3) (sqrt (* x (* 0.5 (/ y a)))) (sqrt (* x (* 0.5 (/ y a)))) (* x 0.5) (* x (* (/ y a) (cbrt 0.5))) (* x (* (/ y a) (sqrt 0.5))) (* x (* 0.5 (/ y a))) (* x (* 0.5 y)) (* x (/ y a)) (* x (/ y a)) (* x (/ y a)) (* z (/ t a)) (* z (/ t a)) (* z (/ t a)) (* z (* 4.5 (/ t a))) (* z (* 4.5 (/ t a))) (* z (* 4.5 (/ t a))) (* x (* 0.5 (/ y a))) (* x (* 0.5 (/ y a))) (* x (* 0.5 (/ y a))) 1.649 * * * [progress]: adding candidates to table 1.781 * * [progress]: iteration 3 / 4 1.781 * * * [progress]: picking best candidate 1.832 * * * * [pick]: Picked # 1.832 * * * [progress]: localizing error 1.848 * * * [progress]: generating rewritten candidates 1.848 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.854 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.861 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 1.868 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.885 * * * [progress]: generating series expansions 1.885 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.886 * [approximate]: Taking taylor expansion of (/ (* x y) a) in (x y a) around 0 1.886 * [taylor]: Taking taylor expansion of (/ (* x y) a) in a 1.886 * [taylor]: Taking taylor expansion of (* x y) in a 1.886 * [taylor]: Taking taylor expansion of x in a 1.886 * [taylor]: Taking taylor expansion of y in a 1.886 * [taylor]: Taking taylor expansion of a in a 1.886 * [taylor]: Taking taylor expansion of (/ (* x y) a) in y 1.886 * [taylor]: Taking taylor expansion of (* x y) in y 1.886 * [taylor]: Taking taylor expansion of x in y 1.886 * [taylor]: Taking taylor expansion of y in y 1.886 * [taylor]: Taking taylor expansion of a in y 1.886 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x 1.886 * [taylor]: Taking taylor expansion of (* x y) in x 1.886 * [taylor]: Taking taylor expansion of x in x 1.886 * [taylor]: Taking taylor expansion of y in x 1.886 * [taylor]: Taking taylor expansion of a in x 1.886 * [taylor]: Taking taylor expansion of (/ (* x y) a) in x 1.886 * [taylor]: Taking taylor expansion of (* x y) in x 1.886 * [taylor]: Taking taylor expansion of x in x 1.886 * [taylor]: Taking taylor expansion of y in x 1.886 * [taylor]: Taking taylor expansion of a in x 1.886 * [taylor]: Taking taylor expansion of (/ y a) in y 1.886 * [taylor]: Taking taylor expansion of y in y 1.886 * [taylor]: Taking taylor expansion of a in y 1.886 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.886 * [taylor]: Taking taylor expansion of a in a 1.886 * [taylor]: Taking taylor expansion of 0 in y 1.886 * [taylor]: Taking taylor expansion of 0 in a 1.887 * [taylor]: Taking taylor expansion of 0 in a 1.887 * [taylor]: Taking taylor expansion of 0 in y 1.887 * [taylor]: Taking taylor expansion of 0 in a 1.887 * [taylor]: Taking taylor expansion of 0 in a 1.887 * [taylor]: Taking taylor expansion of 0 in a 1.887 * [taylor]: Taking taylor expansion of 0 in y 1.887 * [taylor]: Taking taylor expansion of 0 in a 1.887 * [taylor]: Taking taylor expansion of 0 in a 1.887 * [taylor]: Taking taylor expansion of 0 in a 1.887 * [taylor]: Taking taylor expansion of 0 in a 1.887 * [approximate]: Taking taylor expansion of (/ a (* x y)) in (x y a) around 0 1.887 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a 1.887 * [taylor]: Taking taylor expansion of a in a 1.887 * [taylor]: Taking taylor expansion of (* x y) in a 1.887 * [taylor]: Taking taylor expansion of x in a 1.887 * [taylor]: Taking taylor expansion of y in a 1.888 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y 1.888 * [taylor]: Taking taylor expansion of a in y 1.888 * [taylor]: Taking taylor expansion of (* x y) in y 1.888 * [taylor]: Taking taylor expansion of x in y 1.888 * [taylor]: Taking taylor expansion of y in y 1.888 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.888 * [taylor]: Taking taylor expansion of a in x 1.888 * [taylor]: Taking taylor expansion of (* x y) in x 1.888 * [taylor]: Taking taylor expansion of x in x 1.888 * [taylor]: Taking taylor expansion of y in x 1.888 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.888 * [taylor]: Taking taylor expansion of a in x 1.888 * [taylor]: Taking taylor expansion of (* x y) in x 1.888 * [taylor]: Taking taylor expansion of x in x 1.888 * [taylor]: Taking taylor expansion of y in x 1.888 * [taylor]: Taking taylor expansion of (/ a y) in y 1.888 * [taylor]: Taking taylor expansion of a in y 1.888 * [taylor]: Taking taylor expansion of y in y 1.888 * [taylor]: Taking taylor expansion of a in a 1.888 * [taylor]: Taking taylor expansion of 0 in y 1.888 * [taylor]: Taking taylor expansion of 0 in a 1.888 * [taylor]: Taking taylor expansion of 0 in y 1.888 * [taylor]: Taking taylor expansion of 0 in a 1.888 * [taylor]: Taking taylor expansion of 0 in a 1.889 * [approximate]: Taking taylor expansion of (* -1 (/ a (* x y))) in (x y a) around 0 1.889 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in a 1.889 * [taylor]: Taking taylor expansion of -1 in a 1.889 * [taylor]: Taking taylor expansion of (/ a (* x y)) in a 1.889 * [taylor]: Taking taylor expansion of a in a 1.889 * [taylor]: Taking taylor expansion of (* x y) in a 1.889 * [taylor]: Taking taylor expansion of x in a 1.889 * [taylor]: Taking taylor expansion of y in a 1.889 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in y 1.889 * [taylor]: Taking taylor expansion of -1 in y 1.889 * [taylor]: Taking taylor expansion of (/ a (* x y)) in y 1.889 * [taylor]: Taking taylor expansion of a in y 1.889 * [taylor]: Taking taylor expansion of (* x y) in y 1.889 * [taylor]: Taking taylor expansion of x in y 1.889 * [taylor]: Taking taylor expansion of y in y 1.889 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x 1.889 * [taylor]: Taking taylor expansion of -1 in x 1.889 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.889 * [taylor]: Taking taylor expansion of a in x 1.889 * [taylor]: Taking taylor expansion of (* x y) in x 1.889 * [taylor]: Taking taylor expansion of x in x 1.889 * [taylor]: Taking taylor expansion of y in x 1.889 * [taylor]: Taking taylor expansion of (* -1 (/ a (* x y))) in x 1.889 * [taylor]: Taking taylor expansion of -1 in x 1.889 * [taylor]: Taking taylor expansion of (/ a (* x y)) in x 1.889 * [taylor]: Taking taylor expansion of a in x 1.889 * [taylor]: Taking taylor expansion of (* x y) in x 1.889 * [taylor]: Taking taylor expansion of x in x 1.889 * [taylor]: Taking taylor expansion of y in x 1.889 * [taylor]: Taking taylor expansion of (* -1 (/ a y)) in y 1.889 * [taylor]: Taking taylor expansion of -1 in y 1.889 * [taylor]: Taking taylor expansion of (/ a y) in y 1.889 * [taylor]: Taking taylor expansion of a in y 1.889 * [taylor]: Taking taylor expansion of y in y 1.889 * [taylor]: Taking taylor expansion of (* -1 a) in a 1.889 * [taylor]: Taking taylor expansion of -1 in a 1.889 * [taylor]: Taking taylor expansion of a in a 1.890 * [taylor]: Taking taylor expansion of 0 in y 1.890 * [taylor]: Taking taylor expansion of 0 in a 1.890 * [taylor]: Taking taylor expansion of 0 in y 1.890 * [taylor]: Taking taylor expansion of 0 in a 1.890 * [taylor]: Taking taylor expansion of 0 in a 1.890 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.890 * [approximate]: Taking taylor expansion of (/ (* t (* (cbrt 4.5) z)) a) in (z t a) around 0 1.890 * [taylor]: Taking taylor expansion of (/ (* t (* (cbrt 4.5) z)) a) in a 1.890 * [taylor]: Taking taylor expansion of (* t (* (cbrt 4.5) z)) in a 1.890 * [taylor]: Taking taylor expansion of t in a 1.890 * [taylor]: Taking taylor expansion of (* (cbrt 4.5) z) in a 1.890 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.890 * [taylor]: Taking taylor expansion of 4.5 in a 1.891 * [taylor]: Taking taylor expansion of z in a 1.891 * [taylor]: Taking taylor expansion of a in a 1.891 * [taylor]: Taking taylor expansion of (/ (* t (* (cbrt 4.5) z)) a) in t 1.891 * [taylor]: Taking taylor expansion of (* t (* (cbrt 4.5) z)) in t 1.891 * [taylor]: Taking taylor expansion of t in t 1.891 * [taylor]: Taking taylor expansion of (* (cbrt 4.5) z) in t 1.891 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.891 * [taylor]: Taking taylor expansion of 4.5 in t 1.891 * [taylor]: Taking taylor expansion of z in t 1.891 * [taylor]: Taking taylor expansion of a in t 1.891 * [taylor]: Taking taylor expansion of (/ (* t (* (cbrt 4.5) z)) a) in z 1.891 * [taylor]: Taking taylor expansion of (* t (* (cbrt 4.5) z)) in z 1.891 * [taylor]: Taking taylor expansion of t in z 1.891 * [taylor]: Taking taylor expansion of (* (cbrt 4.5) z) in z 1.891 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.891 * [taylor]: Taking taylor expansion of 4.5 in z 1.891 * [taylor]: Taking taylor expansion of z in z 1.891 * [taylor]: Taking taylor expansion of a in z 1.891 * [taylor]: Taking taylor expansion of (/ (* t (* (cbrt 4.5) z)) a) in z 1.891 * [taylor]: Taking taylor expansion of (* t (* (cbrt 4.5) z)) in z 1.891 * [taylor]: Taking taylor expansion of t in z 1.891 * [taylor]: Taking taylor expansion of (* (cbrt 4.5) z) in z 1.891 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.891 * [taylor]: Taking taylor expansion of 4.5 in z 1.891 * [taylor]: Taking taylor expansion of z in z 1.892 * [taylor]: Taking taylor expansion of a in z 1.892 * [taylor]: Taking taylor expansion of (/ (* t (cbrt 4.5)) a) in t 1.892 * [taylor]: Taking taylor expansion of (* t (cbrt 4.5)) in t 1.892 * [taylor]: Taking taylor expansion of t in t 1.892 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.892 * [taylor]: Taking taylor expansion of 4.5 in t 1.892 * [taylor]: Taking taylor expansion of a in t 1.892 * [taylor]: Taking taylor expansion of (/ (cbrt 4.5) a) in a 1.892 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.892 * [taylor]: Taking taylor expansion of 4.5 in a 1.892 * [taylor]: Taking taylor expansion of a in a 1.892 * [taylor]: Taking taylor expansion of 0 in t 1.892 * [taylor]: Taking taylor expansion of 0 in a 1.892 * [taylor]: Taking taylor expansion of 0 in a 1.893 * [taylor]: Taking taylor expansion of 0 in t 1.893 * [taylor]: Taking taylor expansion of 0 in a 1.893 * [taylor]: Taking taylor expansion of 0 in a 1.893 * [taylor]: Taking taylor expansion of 0 in a 1.893 * [taylor]: Taking taylor expansion of 0 in t 1.893 * [taylor]: Taking taylor expansion of 0 in a 1.894 * [taylor]: Taking taylor expansion of 0 in a 1.894 * [taylor]: Taking taylor expansion of 0 in a 1.894 * [taylor]: Taking taylor expansion of 0 in a 1.894 * [approximate]: Taking taylor expansion of (/ (* a (cbrt 4.5)) (* z t)) in (z t a) around 0 1.894 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) (* z t)) in a 1.894 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in a 1.894 * [taylor]: Taking taylor expansion of a in a 1.894 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.894 * [taylor]: Taking taylor expansion of 4.5 in a 1.894 * [taylor]: Taking taylor expansion of (* z t) in a 1.894 * [taylor]: Taking taylor expansion of z in a 1.894 * [taylor]: Taking taylor expansion of t in a 1.894 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) (* z t)) in t 1.894 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in t 1.894 * [taylor]: Taking taylor expansion of a in t 1.894 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.894 * [taylor]: Taking taylor expansion of 4.5 in t 1.894 * [taylor]: Taking taylor expansion of (* z t) in t 1.894 * [taylor]: Taking taylor expansion of z in t 1.894 * [taylor]: Taking taylor expansion of t in t 1.895 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) (* z t)) in z 1.895 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in z 1.895 * [taylor]: Taking taylor expansion of a in z 1.895 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.895 * [taylor]: Taking taylor expansion of 4.5 in z 1.895 * [taylor]: Taking taylor expansion of (* z t) in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.895 * [taylor]: Taking taylor expansion of t in z 1.895 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) (* z t)) in z 1.895 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in z 1.895 * [taylor]: Taking taylor expansion of a in z 1.895 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.895 * [taylor]: Taking taylor expansion of 4.5 in z 1.895 * [taylor]: Taking taylor expansion of (* z t) in z 1.895 * [taylor]: Taking taylor expansion of z in z 1.895 * [taylor]: Taking taylor expansion of t in z 1.895 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in t 1.895 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in t 1.895 * [taylor]: Taking taylor expansion of a in t 1.895 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.895 * [taylor]: Taking taylor expansion of 4.5 in t 1.895 * [taylor]: Taking taylor expansion of t in t 1.895 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in a 1.895 * [taylor]: Taking taylor expansion of a in a 1.895 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.895 * [taylor]: Taking taylor expansion of 4.5 in a 1.896 * [taylor]: Taking taylor expansion of 0 in t 1.896 * [taylor]: Taking taylor expansion of 0 in a 1.896 * [taylor]: Taking taylor expansion of 0 in t 1.896 * [taylor]: Taking taylor expansion of 0 in a 1.896 * [taylor]: Taking taylor expansion of 0 in a 1.897 * [approximate]: Taking taylor expansion of (* -1 (/ (* a (cbrt 4.5)) (* z t))) in (z t a) around 0 1.897 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (cbrt 4.5)) (* z t))) in a 1.897 * [taylor]: Taking taylor expansion of -1 in a 1.897 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) (* z t)) in a 1.897 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in a 1.897 * [taylor]: Taking taylor expansion of a in a 1.897 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.897 * [taylor]: Taking taylor expansion of 4.5 in a 1.897 * [taylor]: Taking taylor expansion of (* z t) in a 1.897 * [taylor]: Taking taylor expansion of z in a 1.897 * [taylor]: Taking taylor expansion of t in a 1.897 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (cbrt 4.5)) (* z t))) in t 1.897 * [taylor]: Taking taylor expansion of -1 in t 1.897 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) (* z t)) in t 1.897 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in t 1.897 * [taylor]: Taking taylor expansion of a in t 1.897 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.897 * [taylor]: Taking taylor expansion of 4.5 in t 1.897 * [taylor]: Taking taylor expansion of (* z t) in t 1.897 * [taylor]: Taking taylor expansion of z in t 1.897 * [taylor]: Taking taylor expansion of t in t 1.897 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (cbrt 4.5)) (* z t))) in z 1.897 * [taylor]: Taking taylor expansion of -1 in z 1.897 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) (* z t)) in z 1.897 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in z 1.897 * [taylor]: Taking taylor expansion of a in z 1.897 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.897 * [taylor]: Taking taylor expansion of 4.5 in z 1.897 * [taylor]: Taking taylor expansion of (* z t) in z 1.897 * [taylor]: Taking taylor expansion of z in z 1.897 * [taylor]: Taking taylor expansion of t in z 1.898 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (cbrt 4.5)) (* z t))) in z 1.898 * [taylor]: Taking taylor expansion of -1 in z 1.898 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) (* z t)) in z 1.898 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in z 1.898 * [taylor]: Taking taylor expansion of a in z 1.898 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.898 * [taylor]: Taking taylor expansion of 4.5 in z 1.898 * [taylor]: Taking taylor expansion of (* z t) in z 1.898 * [taylor]: Taking taylor expansion of z in z 1.898 * [taylor]: Taking taylor expansion of t in z 1.898 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (cbrt 4.5)) t)) in t 1.898 * [taylor]: Taking taylor expansion of -1 in t 1.898 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in t 1.898 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in t 1.898 * [taylor]: Taking taylor expansion of a in t 1.898 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.898 * [taylor]: Taking taylor expansion of 4.5 in t 1.898 * [taylor]: Taking taylor expansion of t in t 1.898 * [taylor]: Taking taylor expansion of (* -1 (* a (cbrt 4.5))) in a 1.898 * [taylor]: Taking taylor expansion of -1 in a 1.898 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in a 1.898 * [taylor]: Taking taylor expansion of a in a 1.898 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.898 * [taylor]: Taking taylor expansion of 4.5 in a 1.899 * [taylor]: Taking taylor expansion of 0 in t 1.899 * [taylor]: Taking taylor expansion of 0 in a 1.899 * [taylor]: Taking taylor expansion of 0 in t 1.899 * [taylor]: Taking taylor expansion of 0 in a 1.900 * [taylor]: Taking taylor expansion of 0 in a 1.900 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 1.900 * [approximate]: Taking taylor expansion of (/ (* t (cbrt 4.5)) a) in (t a) around 0 1.900 * [taylor]: Taking taylor expansion of (/ (* t (cbrt 4.5)) a) in a 1.900 * [taylor]: Taking taylor expansion of (* t (cbrt 4.5)) in a 1.900 * [taylor]: Taking taylor expansion of t in a 1.900 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.900 * [taylor]: Taking taylor expansion of 4.5 in a 1.900 * [taylor]: Taking taylor expansion of a in a 1.900 * [taylor]: Taking taylor expansion of (/ (* t (cbrt 4.5)) a) in t 1.900 * [taylor]: Taking taylor expansion of (* t (cbrt 4.5)) in t 1.900 * [taylor]: Taking taylor expansion of t in t 1.900 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.900 * [taylor]: Taking taylor expansion of 4.5 in t 1.900 * [taylor]: Taking taylor expansion of a in t 1.900 * [taylor]: Taking taylor expansion of (/ (* t (cbrt 4.5)) a) in t 1.900 * [taylor]: Taking taylor expansion of (* t (cbrt 4.5)) in t 1.900 * [taylor]: Taking taylor expansion of t in t 1.900 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.900 * [taylor]: Taking taylor expansion of 4.5 in t 1.900 * [taylor]: Taking taylor expansion of a in t 1.901 * [taylor]: Taking taylor expansion of (/ (cbrt 4.5) a) in a 1.901 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.901 * [taylor]: Taking taylor expansion of 4.5 in a 1.901 * [taylor]: Taking taylor expansion of a in a 1.901 * [taylor]: Taking taylor expansion of 0 in a 1.901 * [taylor]: Taking taylor expansion of 0 in a 1.902 * [taylor]: Taking taylor expansion of 0 in a 1.902 * [approximate]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in (t a) around 0 1.902 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in a 1.902 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in a 1.902 * [taylor]: Taking taylor expansion of a in a 1.902 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.902 * [taylor]: Taking taylor expansion of 4.5 in a 1.902 * [taylor]: Taking taylor expansion of t in a 1.902 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in t 1.902 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in t 1.902 * [taylor]: Taking taylor expansion of a in t 1.902 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.902 * [taylor]: Taking taylor expansion of 4.5 in t 1.902 * [taylor]: Taking taylor expansion of t in t 1.902 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in t 1.902 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in t 1.902 * [taylor]: Taking taylor expansion of a in t 1.902 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.902 * [taylor]: Taking taylor expansion of 4.5 in t 1.902 * [taylor]: Taking taylor expansion of t in t 1.902 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in a 1.902 * [taylor]: Taking taylor expansion of a in a 1.902 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.902 * [taylor]: Taking taylor expansion of 4.5 in a 1.903 * [taylor]: Taking taylor expansion of 0 in a 1.903 * [taylor]: Taking taylor expansion of 0 in a 1.903 * [taylor]: Taking taylor expansion of 0 in a 1.903 * [approximate]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in (t a) around 0 1.903 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in a 1.904 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in a 1.904 * [taylor]: Taking taylor expansion of a in a 1.904 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.904 * [taylor]: Taking taylor expansion of 4.5 in a 1.904 * [taylor]: Taking taylor expansion of t in a 1.904 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in t 1.904 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in t 1.904 * [taylor]: Taking taylor expansion of a in t 1.904 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.904 * [taylor]: Taking taylor expansion of 4.5 in t 1.904 * [taylor]: Taking taylor expansion of t in t 1.904 * [taylor]: Taking taylor expansion of (/ (* a (cbrt 4.5)) t) in t 1.904 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in t 1.904 * [taylor]: Taking taylor expansion of a in t 1.904 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.904 * [taylor]: Taking taylor expansion of 4.5 in t 1.904 * [taylor]: Taking taylor expansion of t in t 1.904 * [taylor]: Taking taylor expansion of (* a (cbrt 4.5)) in a 1.904 * [taylor]: Taking taylor expansion of a in a 1.904 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.904 * [taylor]: Taking taylor expansion of 4.5 in a 1.904 * [taylor]: Taking taylor expansion of 0 in a 1.905 * [taylor]: Taking taylor expansion of 0 in a 1.905 * [taylor]: Taking taylor expansion of 0 in a 1.905 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.905 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) (* z t)) a) in (z t a) around 0 1.905 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) (* z t)) a) in a 1.905 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) (* z t)) in a 1.905 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in a 1.905 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.905 * [taylor]: Taking taylor expansion of 4.5 in a 1.905 * [taylor]: Taking taylor expansion of (* z t) in a 1.905 * [taylor]: Taking taylor expansion of z in a 1.905 * [taylor]: Taking taylor expansion of t in a 1.905 * [taylor]: Taking taylor expansion of a in a 1.906 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) (* z t)) a) in t 1.906 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) (* z t)) in t 1.906 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in t 1.906 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.906 * [taylor]: Taking taylor expansion of 4.5 in t 1.906 * [taylor]: Taking taylor expansion of (* z t) in t 1.906 * [taylor]: Taking taylor expansion of z in t 1.906 * [taylor]: Taking taylor expansion of t in t 1.906 * [taylor]: Taking taylor expansion of a in t 1.907 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) (* z t)) a) in z 1.907 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) (* z t)) in z 1.907 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in z 1.907 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.907 * [taylor]: Taking taylor expansion of 4.5 in z 1.907 * [taylor]: Taking taylor expansion of (* z t) in z 1.907 * [taylor]: Taking taylor expansion of z in z 1.907 * [taylor]: Taking taylor expansion of t in z 1.907 * [taylor]: Taking taylor expansion of a in z 1.907 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) (* z t)) a) in z 1.907 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) (* z t)) in z 1.907 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in z 1.907 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.907 * [taylor]: Taking taylor expansion of 4.5 in z 1.907 * [taylor]: Taking taylor expansion of (* z t) in z 1.907 * [taylor]: Taking taylor expansion of z in z 1.907 * [taylor]: Taking taylor expansion of t in z 1.907 * [taylor]: Taking taylor expansion of a in z 1.908 * [taylor]: Taking taylor expansion of (* 4.5 (/ t a)) in t 1.908 * [taylor]: Taking taylor expansion of 4.5 in t 1.908 * [taylor]: Taking taylor expansion of (/ t a) in t 1.908 * [taylor]: Taking taylor expansion of t in t 1.908 * [taylor]: Taking taylor expansion of a in t 1.908 * [taylor]: Taking taylor expansion of (/ 4.5 a) in a 1.908 * [taylor]: Taking taylor expansion of 4.5 in a 1.908 * [taylor]: Taking taylor expansion of a in a 1.909 * [taylor]: Taking taylor expansion of 0 in t 1.909 * [taylor]: Taking taylor expansion of 0 in a 1.909 * [taylor]: Taking taylor expansion of 0 in a 1.909 * [taylor]: Taking taylor expansion of 0 in t 1.909 * [taylor]: Taking taylor expansion of 0 in a 1.909 * [taylor]: Taking taylor expansion of 0 in a 1.909 * [taylor]: Taking taylor expansion of 0 in a 1.910 * [taylor]: Taking taylor expansion of 0 in t 1.910 * [taylor]: Taking taylor expansion of 0 in a 1.910 * [taylor]: Taking taylor expansion of 0 in a 1.910 * [taylor]: Taking taylor expansion of 0 in a 1.910 * [taylor]: Taking taylor expansion of 0 in a 1.910 * [approximate]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) a) (* t z)) in (z t a) around 0 1.910 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) a) (* t z)) in a 1.911 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) a) in a 1.911 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in a 1.911 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.911 * [taylor]: Taking taylor expansion of 4.5 in a 1.911 * [taylor]: Taking taylor expansion of a in a 1.911 * [taylor]: Taking taylor expansion of (* t z) in a 1.911 * [taylor]: Taking taylor expansion of t in a 1.911 * [taylor]: Taking taylor expansion of z in a 1.911 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) a) (* t z)) in t 1.911 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) a) in t 1.911 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in t 1.911 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.911 * [taylor]: Taking taylor expansion of 4.5 in t 1.911 * [taylor]: Taking taylor expansion of a in t 1.911 * [taylor]: Taking taylor expansion of (* t z) in t 1.911 * [taylor]: Taking taylor expansion of t in t 1.911 * [taylor]: Taking taylor expansion of z in t 1.912 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) a) (* t z)) in z 1.912 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) a) in z 1.912 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in z 1.912 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.912 * [taylor]: Taking taylor expansion of 4.5 in z 1.912 * [taylor]: Taking taylor expansion of a in z 1.912 * [taylor]: Taking taylor expansion of (* t z) in z 1.912 * [taylor]: Taking taylor expansion of t in z 1.912 * [taylor]: Taking taylor expansion of z in z 1.912 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) a) (* t z)) in z 1.912 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) a) in z 1.912 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in z 1.912 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.912 * [taylor]: Taking taylor expansion of 4.5 in z 1.912 * [taylor]: Taking taylor expansion of a in z 1.912 * [taylor]: Taking taylor expansion of (* t z) in z 1.912 * [taylor]: Taking taylor expansion of t in z 1.912 * [taylor]: Taking taylor expansion of z in z 1.912 * [taylor]: Taking taylor expansion of (* 4.5 (/ a t)) in t 1.912 * [taylor]: Taking taylor expansion of 4.5 in t 1.912 * [taylor]: Taking taylor expansion of (/ a t) in t 1.912 * [taylor]: Taking taylor expansion of a in t 1.913 * [taylor]: Taking taylor expansion of t in t 1.913 * [taylor]: Taking taylor expansion of (* 4.5 a) in a 1.913 * [taylor]: Taking taylor expansion of 4.5 in a 1.913 * [taylor]: Taking taylor expansion of a in a 1.913 * [taylor]: Taking taylor expansion of 0 in t 1.913 * [taylor]: Taking taylor expansion of 0 in a 1.914 * [taylor]: Taking taylor expansion of 0 in t 1.914 * [taylor]: Taking taylor expansion of 0 in a 1.914 * [taylor]: Taking taylor expansion of 0 in a 1.914 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt 4.5) 3) a) (* t z))) in (z t a) around 0 1.914 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt 4.5) 3) a) (* t z))) in a 1.914 * [taylor]: Taking taylor expansion of -1 in a 1.914 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) a) (* t z)) in a 1.914 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) a) in a 1.914 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in a 1.914 * [taylor]: Taking taylor expansion of (cbrt 4.5) in a 1.914 * [taylor]: Taking taylor expansion of 4.5 in a 1.914 * [taylor]: Taking taylor expansion of a in a 1.914 * [taylor]: Taking taylor expansion of (* t z) in a 1.914 * [taylor]: Taking taylor expansion of t in a 1.914 * [taylor]: Taking taylor expansion of z in a 1.915 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt 4.5) 3) a) (* t z))) in t 1.915 * [taylor]: Taking taylor expansion of -1 in t 1.915 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) a) (* t z)) in t 1.915 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) a) in t 1.915 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in t 1.915 * [taylor]: Taking taylor expansion of (cbrt 4.5) in t 1.915 * [taylor]: Taking taylor expansion of 4.5 in t 1.915 * [taylor]: Taking taylor expansion of a in t 1.915 * [taylor]: Taking taylor expansion of (* t z) in t 1.915 * [taylor]: Taking taylor expansion of t in t 1.915 * [taylor]: Taking taylor expansion of z in t 1.915 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt 4.5) 3) a) (* t z))) in z 1.915 * [taylor]: Taking taylor expansion of -1 in z 1.915 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) a) (* t z)) in z 1.915 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) a) in z 1.915 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in z 1.915 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.915 * [taylor]: Taking taylor expansion of 4.5 in z 1.915 * [taylor]: Taking taylor expansion of a in z 1.915 * [taylor]: Taking taylor expansion of (* t z) in z 1.915 * [taylor]: Taking taylor expansion of t in z 1.915 * [taylor]: Taking taylor expansion of z in z 1.916 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt 4.5) 3) a) (* t z))) in z 1.916 * [taylor]: Taking taylor expansion of -1 in z 1.916 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt 4.5) 3) a) (* t z)) in z 1.916 * [taylor]: Taking taylor expansion of (* (pow (cbrt 4.5) 3) a) in z 1.916 * [taylor]: Taking taylor expansion of (pow (cbrt 4.5) 3) in z 1.916 * [taylor]: Taking taylor expansion of (cbrt 4.5) in z 1.916 * [taylor]: Taking taylor expansion of 4.5 in z 1.916 * [taylor]: Taking taylor expansion of a in z 1.916 * [taylor]: Taking taylor expansion of (* t z) in z 1.916 * [taylor]: Taking taylor expansion of t in z 1.916 * [taylor]: Taking taylor expansion of z in z 1.916 * [taylor]: Taking taylor expansion of (* -4.5 (/ a t)) in t 1.916 * [taylor]: Taking taylor expansion of -4.5 in t 1.916 * [taylor]: Taking taylor expansion of (/ a t) in t 1.916 * [taylor]: Taking taylor expansion of a in t 1.916 * [taylor]: Taking taylor expansion of t in t 1.916 * [taylor]: Taking taylor expansion of (* -4.5 a) in a 1.916 * [taylor]: Taking taylor expansion of -4.5 in a 1.916 * [taylor]: Taking taylor expansion of a in a 1.917 * [taylor]: Taking taylor expansion of 0 in t 1.917 * [taylor]: Taking taylor expansion of 0 in a 1.917 * [taylor]: Taking taylor expansion of 0 in t 1.917 * [taylor]: Taking taylor expansion of 0 in a 1.918 * [taylor]: Taking taylor expansion of 0 in a 1.918 * * * [progress]: simplifying candidates 1.919 * [simplify]: Simplifying using # : (* x (/ y a)) (+ (log x) (- (log y) (log a))) (+ (log x) (log (/ y a))) (log (* x (/ y a))) (exp (* x (/ y a))) (* (* (* x x) x) (/ (* (* y y) y) (* (* a a) a))) (* (* (* x x) x) (* (* (/ y a) (/ y a)) (/ y a))) (* (cbrt (* x (/ y a))) (cbrt (* x (/ y a)))) (cbrt (* x (/ y a))) (* (* (* x (/ y a)) (* x (/ y a))) (* x (/ y a))) (sqrt (* x (/ y a))) (sqrt (* x (/ y a))) (* (sqrt x) (sqrt (/ y a))) (* (sqrt x) (sqrt (/ y a))) (* (sqrt x) (/ (sqrt y) (sqrt a))) (* (sqrt x) (/ (sqrt y) (sqrt a))) (* x (* (cbrt (/ y a)) (cbrt (/ y a)))) (* x (sqrt (/ y a))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt a) (cbrt a)))) (* x (/ (* (cbrt y) (cbrt y)) (sqrt a))) (* x (/ (* (cbrt y) (cbrt y)) 1)) (* x (/ (sqrt y) (* (cbrt a) (cbrt a)))) (* x (/ (sqrt y) (sqrt a))) (* x (/ (sqrt y) 1)) (* x (/ 1 (* (cbrt a) (cbrt a)))) (* x (/ 1 (sqrt a))) (* x (/ 1 1)) (* x 1) (* x y) (* (cbrt x) (/ y a)) (* (sqrt x) (/ y a)) (* x (/ y a)) (* x y) (* z (* (/ t a) (cbrt 4.5))) (* z (* (/ t a) (cbrt 4.5))) (+ (log z) (+ (- (log t) (log a)) (log (cbrt 4.5)))) (+ (log z) (+ (log (/ t a)) (log (cbrt 4.5)))) (+ (log z) (log (* (/ t a) (cbrt 4.5)))) (log (* z (* (/ t a) (cbrt 4.5)))) (exp (* z (* (/ t a) (cbrt 4.5)))) (* (* (* z z) z) (* (/ (* (* t t) t) (* (* a a) a)) 4.5)) (* (* (* z z) z) (* (* (* (/ t a) (/ t a)) (/ t a)) 4.5)) (* (* (* z z) z) (* (* (* (/ t a) (cbrt 4.5)) (* (/ t a) (cbrt 4.5))) (* (/ t a) (cbrt 4.5)))) (* (cbrt (* z (* (/ t a) (cbrt 4.5)))) (cbrt (* z (* (/ t a) (cbrt 4.5))))) (cbrt (* z (* (/ t a) (cbrt 4.5)))) (* (* (* z (* (/ t a) (cbrt 4.5))) (* z (* (/ t a) (cbrt 4.5)))) (* z (* (/ t a) (cbrt 4.5)))) (sqrt (* z (* (/ t a) (cbrt 4.5)))) (sqrt (* z (* (/ t a) (cbrt 4.5)))) (* z (/ t a)) (* (cbrt z) (* (/ t a) (cbrt 4.5))) (* (sqrt z) (* (/ t a) (cbrt 4.5))) (* z (* (/ t a) (cbrt 4.5))) (* z (* t (cbrt 4.5))) (* (/ t a) (cbrt 4.5)) (+ (- (log t) (log a)) (log (cbrt 4.5))) (+ (log (/ t a)) (log (cbrt 4.5))) (log (* (/ t a) (cbrt 4.5))) (exp (* (/ t a) (cbrt 4.5))) (* (/ (* (* t t) t) (* (* a a) a)) 4.5) (* (* (* (/ t a) (/ t a)) (/ t a)) 4.5) (* (cbrt (* (/ t a) (cbrt 4.5))) (cbrt (* (/ t a) (cbrt 4.5)))) (cbrt (* (/ t a) (cbrt 4.5))) (* (* (* (/ t a) (cbrt 4.5)) (* (/ t a) (cbrt 4.5))) (* (/ t a) (cbrt 4.5))) (sqrt (* (/ t a) (cbrt 4.5))) (sqrt (* (/ t a) (cbrt 4.5))) (* (sqrt (/ t a)) (cbrt (sqrt 4.5))) (* (sqrt (/ t a)) (cbrt (sqrt 4.5))) (* (sqrt (/ t a)) (sqrt (cbrt 4.5))) (* (sqrt (/ t a)) (sqrt (cbrt 4.5))) (* (/ (sqrt t) (sqrt a)) (cbrt (sqrt 4.5))) (* (/ (sqrt t) (sqrt a)) (cbrt (sqrt 4.5))) (* (/ (sqrt t) (sqrt a)) (sqrt (cbrt 4.5))) (* (/ (sqrt t) (sqrt a)) (sqrt (cbrt 4.5))) (* (/ t a) (cbrt (* (cbrt 4.5) (cbrt 4.5)))) (* (/ t a) (cbrt (sqrt 4.5))) (* (/ t a) (cbrt 1)) (* (/ t a) (* (cbrt (cbrt 4.5)) (cbrt (cbrt 4.5)))) (* (/ t a) (sqrt (cbrt 4.5))) (* (/ t a) 1) (* (cbrt (/ t a)) (cbrt 4.5)) (* (sqrt (/ t a)) (cbrt 4.5)) (* (/ (cbrt t) (cbrt a)) (cbrt 4.5)) (* (/ (cbrt t) (sqrt a)) (cbrt 4.5)) (* (/ (cbrt t) a) (cbrt 4.5)) (* (/ (sqrt t) (cbrt a)) (cbrt 4.5)) (* (/ (sqrt t) (sqrt a)) (cbrt 4.5)) (* (/ (sqrt t) a) (cbrt 4.5)) (* (/ t (cbrt a)) (cbrt 4.5)) (* (/ t (sqrt a)) (cbrt 4.5)) (* (/ t a) (cbrt 4.5)) (* (/ t a) (cbrt 4.5)) (* (/ 1 a) (cbrt 4.5)) (* t (cbrt 4.5)) (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5)))) (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5)))) (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5)))) (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5)))) (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5)))) (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5)))) (+ (+ (log (cbrt 4.5)) (log (cbrt 4.5))) (+ (log z) (+ (- (log t) (log a)) (log (cbrt 4.5))))) (+ (+ (log (cbrt 4.5)) (log (cbrt 4.5))) (+ (log z) (+ (log (/ t a)) (log (cbrt 4.5))))) (+ (+ (log (cbrt 4.5)) (log (cbrt 4.5))) (+ (log z) (log (* (/ t a) (cbrt 4.5))))) (+ (+ (log (cbrt 4.5)) (log (cbrt 4.5))) (log (* z (* (/ t a) (cbrt 4.5))))) (+ (log (* (cbrt 4.5) (cbrt 4.5))) (+ (log z) (+ (- (log t) (log a)) (log (cbrt 4.5))))) (+ (log (* (cbrt 4.5) (cbrt 4.5))) (+ (log z) (+ (log (/ t a)) (log (cbrt 4.5))))) (+ (log (* (cbrt 4.5) (cbrt 4.5))) (+ (log z) (log (* (/ t a) (cbrt 4.5))))) (+ (log (* (cbrt 4.5) (cbrt 4.5))) (log (* z (* (/ t a) (cbrt 4.5))))) (log (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5))))) (exp (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5))))) (* (* 4.5 4.5) (* (* (* z z) z) (* (/ (* (* t t) t) (* (* a a) a)) 4.5))) (* (* 4.5 4.5) (* (* (* z z) z) (* (* (* (/ t a) (/ t a)) (/ t a)) 4.5))) (* (* 4.5 4.5) (* (* (* z z) z) (* (* (* (/ t a) (cbrt 4.5)) (* (/ t a) (cbrt 4.5))) (* (/ t a) (cbrt 4.5))))) (* (* 4.5 4.5) (* (* (* z (* (/ t a) (cbrt 4.5))) (* z (* (/ t a) (cbrt 4.5)))) (* z (* (/ t a) (cbrt 4.5))))) (* (* (* (* (cbrt 4.5) (cbrt 4.5)) (* (cbrt 4.5) (cbrt 4.5))) (* (cbrt 4.5) (cbrt 4.5))) (* (* (* z z) z) (* (/ (* (* t t) t) (* (* a a) a)) 4.5))) (* (* (* (* (cbrt 4.5) (cbrt 4.5)) (* (cbrt 4.5) (cbrt 4.5))) (* (cbrt 4.5) (cbrt 4.5))) (* (* (* z z) z) (* (* (* (/ t a) (/ t a)) (/ t a)) 4.5))) (* (* (* (* (cbrt 4.5) (cbrt 4.5)) (* (cbrt 4.5) (cbrt 4.5))) (* (cbrt 4.5) (cbrt 4.5))) (* (* (* z z) z) (* (* (* (/ t a) (cbrt 4.5)) (* (/ t a) (cbrt 4.5))) (* (/ t a) (cbrt 4.5))))) (* (* (* (* (cbrt 4.5) (cbrt 4.5)) (* (cbrt 4.5) (cbrt 4.5))) (* (cbrt 4.5) (cbrt 4.5))) (* (* (* z (* (/ t a) (cbrt 4.5))) (* z (* (/ t a) (cbrt 4.5)))) (* z (* (/ t a) (cbrt 4.5))))) (* (cbrt (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5))))) (cbrt (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5)))))) (cbrt (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5))))) (* (* (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5)))) (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5))))) (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5))))) (sqrt (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5))))) (sqrt (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* (/ t a) (cbrt 4.5))))) (* (* (cbrt 4.5) (cbrt 4.5)) z) (* (cbrt 4.5) (* z (* (/ t a) (cbrt 4.5)))) (* (* (cbrt 4.5) (cbrt 4.5)) (* z (* t (cbrt 4.5)))) (/ (* x y) a) (/ (* x y) a) (/ (* x y) a) (/ (* (cbrt 4.5) (* z t)) a) (/ (* (cbrt 4.5) (* z t)) a) (/ (* (cbrt 4.5) (* z t)) a) (/ (* (cbrt 4.5) t) a) (/ (* (cbrt 4.5) t) a) (/ (* (cbrt 4.5) t) a) (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a)) (* 4.5 (/ (* t z) a)) 1.979 * * [simplify]: iteration 0 : 4962 enodes (cost 1034 ) 1.980 * * [simplify]: iteration 1 : 4962 enodes (cost 1034 ) 1.984 * [simplify]: Simplified to: (* x (/ y a)) (log (* x (/ y a))) (log (* x (/ y a))) (log (* x (/ y a))) (pow (exp x) (/ y a)) (pow (* x (/ y a)) 3) (pow (* x (/ y a)) 3) (* (cbrt (* x (/ y a))) (cbrt (* x (/ y a)))) (cbrt (* x (/ y a))) (pow (* x (/ y a)) 3) (sqrt (* x (/ y a))) (sqrt (* x (/ y a))) (* (sqrt x) (sqrt (/ y a))) (* (sqrt x) (sqrt (/ y a))) (* (sqrt x) (/ (sqrt y) (sqrt a))) (* (sqrt x) (/ (sqrt y) (sqrt a))) (* x (* (cbrt (/ y a)) (cbrt (/ y a)))) (* x (sqrt (/ y a))) (* x (* (cbrt y) (/ (cbrt y) (* (cbrt a) (cbrt a))))) (* x (* (cbrt y) (/ (cbrt y) (sqrt a)))) (* x (* (cbrt y) (cbrt y))) (* x (/ (sqrt y) (* (cbrt a) (cbrt a)))) (* x (/ (sqrt y) (sqrt a))) (* x (sqrt y)) (/ x (* (cbrt a) (cbrt a))) (/ x (sqrt a)) x x (* x y) (* (/ y a) (cbrt x)) (* (/ y a) (sqrt x)) (* x (/ y a)) (* x y) (* z (* t (/ (cbrt 4.5) a))) (* z (* t (/ (cbrt 4.5) a))) (log (* z (* t (/ (cbrt 4.5) a)))) (log (* z (* t (/ (cbrt 4.5) a)))) (log (* z (* t (/ (cbrt 4.5) a)))) (log (* z (* t (/ (cbrt 4.5) a)))) (pow (pow (exp (/ t a)) (cbrt 4.5)) z) (* 4.5 (pow (* z (/ t a)) 3)) (* 4.5 (pow (* z (/ t a)) 3)) (* 4.5 (pow (* z (/ t a)) 3)) (* (cbrt (* z (* t (/ (cbrt 4.5) a)))) (cbrt (* z (* t (/ (cbrt 4.5) a))))) (cbrt (* z (* t (/ (cbrt 4.5) a)))) (* 4.5 (pow (* z (/ t a)) 3)) (sqrt (* z (* t (/ (cbrt 4.5) a)))) (sqrt (* z (* t (/ (cbrt 4.5) a)))) (* z (/ t a)) (* (/ t a) (* (cbrt 4.5) (cbrt z))) (* (/ t a) (* (cbrt 4.5) (sqrt z))) (* z (* t (/ (cbrt 4.5) a))) (* z (* t (cbrt 4.5))) (* t (/ (cbrt 4.5) a)) (log (* t (/ (cbrt 4.5) a))) (log (* t (/ (cbrt 4.5) a))) (log (* t (/ (cbrt 4.5) a))) (pow (exp (/ t a)) (cbrt 4.5)) (* 4.5 (pow (/ t a) 3)) (* 4.5 (pow (/ t a) 3)) (* (cbrt (* t (/ (cbrt 4.5) a))) (cbrt (* t (/ (cbrt 4.5) a)))) (cbrt (* t (/ (cbrt 4.5) a))) (* 4.5 (pow (/ t a) 3)) (sqrt (* t (/ (cbrt 4.5) a))) (sqrt (* t (/ (cbrt 4.5) a))) (* (sqrt (/ t a)) (cbrt (sqrt 4.5))) (* (sqrt (/ t a)) (cbrt (sqrt 4.5))) (* (sqrt (/ t a)) (sqrt (cbrt 4.5))) (* (sqrt (/ t a)) (sqrt (cbrt 4.5))) (* (cbrt (sqrt 4.5)) (/ (sqrt t) (sqrt a))) (* (cbrt (sqrt 4.5)) (/ (sqrt t) (sqrt a))) (* (sqrt (cbrt 4.5)) (/ (sqrt t) (sqrt a))) (* (sqrt (cbrt 4.5)) (/ (sqrt t) (sqrt a))) (* t (/ (cbrt (pow (cbrt 4.5) 2)) a)) (* t (/ (cbrt (sqrt 4.5)) a)) (* t (/ (cbrt 1) a)) (* t (/ (* (cbrt (cbrt 4.5)) (cbrt (cbrt 4.5))) a)) (* t (/ (sqrt (cbrt 4.5)) a)) (/ t a) (* (cbrt 4.5) (cbrt (/ t a))) (* (cbrt 4.5) (sqrt (/ t a))) (* (cbrt 4.5) (/ (cbrt t) (cbrt a))) (* (cbrt 4.5) (/ (cbrt t) (sqrt a))) (* (cbrt 4.5) (/ (cbrt t) a)) (* (cbrt 4.5) (/ (sqrt t) (cbrt a))) (* (cbrt 4.5) (/ (sqrt t) (sqrt a))) (* (cbrt 4.5) (/ (sqrt t) a)) (* t (/ (cbrt 4.5) (cbrt a))) (* t (/ (cbrt 4.5) (sqrt a))) (* t (/ (cbrt 4.5) a)) (* t (/ (cbrt 4.5) a)) (/ (cbrt 4.5) a) (* t (cbrt 4.5)) (* z (* (/ t a) 4.5)) (* z (* (/ t a) 4.5)) (* z (* (/ t a) 4.5)) (* z (* (/ t a) 4.5)) (* z (* (/ t a) 4.5)) (* z (* (/ t a) 4.5)) (log (* z (* (/ t a) 4.5))) (log (* z (* (/ t a) 4.5))) (log (* z (* (/ t a) 4.5))) (log (* z (* (/ t a) 4.5))) (log (* z (* (/ t a) 4.5))) (log (* z (* (/ t a) 4.5))) (log (* z (* (/ t a) 4.5))) (log (* z (* (/ t a) 4.5))) (log (* z (* (/ t a) 4.5))) (pow (exp z) (* (/ t a) 4.5)) (pow (* z (* (/ t a) 4.5)) 3) (pow (* z (* (/ t a) 4.5)) 3) (pow (* z (* (/ t a) 4.5)) 3) (pow (* z (* (/ t a) 4.5)) 3) (pow (* z (* (/ t a) 4.5)) 3) (pow (* z (* (/ t a) 4.5)) 3) (pow (* z (* (/ t a) 4.5)) 3) (pow (* z (* (/ t a) 4.5)) 3) (* (cbrt (* z (* (/ t a) 4.5))) (cbrt (* z (* (/ t a) 4.5)))) (cbrt (* z (* (/ t a) 4.5))) (pow (* z (* (/ t a) 4.5)) 3) (sqrt (* z (* (/ t a) 4.5))) (sqrt (* z (* (/ t a) 4.5))) (* z (pow (cbrt 4.5) 2)) (* z (* (pow (cbrt 4.5) 2) (/ t a))) (* 4.5 (* z t)) (* x (/ y a)) (* x (/ y a)) (* x (/ y a)) (* z (* t (/ (cbrt 4.5) a))) (* z (* t (/ (cbrt 4.5) a))) (* z (* t (/ (cbrt 4.5) a))) (* t (/ (cbrt 4.5) a)) (* t (/ (cbrt 4.5) a)) (* t (/ (cbrt 4.5) a)) (* z (* (/ t a) 4.5)) (* z (* (/ t a) 4.5)) (* z (* (/ t a) 4.5)) 1.985 * * * [progress]: adding candidates to table 2.181 * * [progress]: iteration 4 / 4 2.181 * * * [progress]: picking best candidate 2.227 * * * * [pick]: Picked # 2.227 * * * [progress]: localizing error 2.240 * * * [progress]: generating rewritten candidates 2.240 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 2.247 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 2.253 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 2.261 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.275 * * * [progress]: generating series expansions 2.275 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.275 * [approximate]: Taking taylor expansion of (/ (* x (* y (sqrt 0.5))) a) in (x y a) around 0 2.275 * [taylor]: Taking taylor expansion of (/ (* x (* y (sqrt 0.5))) a) in a 2.275 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 0.5))) in a 2.275 * [taylor]: Taking taylor expansion of x in a 2.275 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in a 2.275 * [taylor]: Taking taylor expansion of y in a 2.275 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.275 * [taylor]: Taking taylor expansion of 0.5 in a 2.276 * [taylor]: Taking taylor expansion of a in a 2.276 * [taylor]: Taking taylor expansion of (/ (* x (* y (sqrt 0.5))) a) in y 2.276 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 0.5))) in y 2.276 * [taylor]: Taking taylor expansion of x in y 2.276 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 2.276 * [taylor]: Taking taylor expansion of y in y 2.276 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.276 * [taylor]: Taking taylor expansion of 0.5 in y 2.276 * [taylor]: Taking taylor expansion of a in y 2.276 * [taylor]: Taking taylor expansion of (/ (* x (* y (sqrt 0.5))) a) in x 2.276 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 0.5))) in x 2.276 * [taylor]: Taking taylor expansion of x in x 2.276 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 2.276 * [taylor]: Taking taylor expansion of y in x 2.276 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.276 * [taylor]: Taking taylor expansion of 0.5 in x 2.276 * [taylor]: Taking taylor expansion of a in x 2.276 * [taylor]: Taking taylor expansion of (/ (* x (* y (sqrt 0.5))) a) in x 2.276 * [taylor]: Taking taylor expansion of (* x (* y (sqrt 0.5))) in x 2.276 * [taylor]: Taking taylor expansion of x in x 2.276 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in x 2.276 * [taylor]: Taking taylor expansion of y in x 2.276 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.276 * [taylor]: Taking taylor expansion of 0.5 in x 2.276 * [taylor]: Taking taylor expansion of a in x 2.277 * [taylor]: Taking taylor expansion of (/ (* y (sqrt 0.5)) a) in y 2.277 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 2.277 * [taylor]: Taking taylor expansion of y in y 2.277 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.277 * [taylor]: Taking taylor expansion of 0.5 in y 2.277 * [taylor]: Taking taylor expansion of a in y 2.277 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 2.277 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.277 * [taylor]: Taking taylor expansion of 0.5 in a 2.277 * [taylor]: Taking taylor expansion of a in a 2.277 * [taylor]: Taking taylor expansion of 0 in y 2.277 * [taylor]: Taking taylor expansion of 0 in a 2.277 * [taylor]: Taking taylor expansion of 0 in a 2.278 * [taylor]: Taking taylor expansion of 0 in y 2.278 * [taylor]: Taking taylor expansion of 0 in a 2.278 * [taylor]: Taking taylor expansion of 0 in a 2.278 * [taylor]: Taking taylor expansion of 0 in a 2.278 * [taylor]: Taking taylor expansion of 0 in y 2.278 * [taylor]: Taking taylor expansion of 0 in a 2.278 * [taylor]: Taking taylor expansion of 0 in a 2.278 * [taylor]: Taking taylor expansion of 0 in a 2.279 * [taylor]: Taking taylor expansion of 0 in a 2.279 * [approximate]: Taking taylor expansion of (/ (* a (sqrt 0.5)) (* x y)) in (x y a) around 0 2.279 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) (* x y)) in a 2.279 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 2.279 * [taylor]: Taking taylor expansion of a in a 2.279 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.279 * [taylor]: Taking taylor expansion of 0.5 in a 2.279 * [taylor]: Taking taylor expansion of (* x y) in a 2.279 * [taylor]: Taking taylor expansion of x in a 2.279 * [taylor]: Taking taylor expansion of y in a 2.279 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) (* x y)) in y 2.279 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in y 2.279 * [taylor]: Taking taylor expansion of a in y 2.279 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.279 * [taylor]: Taking taylor expansion of 0.5 in y 2.279 * [taylor]: Taking taylor expansion of (* x y) in y 2.279 * [taylor]: Taking taylor expansion of x in y 2.279 * [taylor]: Taking taylor expansion of y in y 2.279 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) (* x y)) in x 2.279 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in x 2.279 * [taylor]: Taking taylor expansion of a in x 2.279 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.279 * [taylor]: Taking taylor expansion of 0.5 in x 2.280 * [taylor]: Taking taylor expansion of (* x y) in x 2.280 * [taylor]: Taking taylor expansion of x in x 2.280 * [taylor]: Taking taylor expansion of y in x 2.280 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) (* x y)) in x 2.280 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in x 2.280 * [taylor]: Taking taylor expansion of a in x 2.280 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.280 * [taylor]: Taking taylor expansion of 0.5 in x 2.280 * [taylor]: Taking taylor expansion of (* x y) in x 2.280 * [taylor]: Taking taylor expansion of x in x 2.280 * [taylor]: Taking taylor expansion of y in x 2.280 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in y 2.280 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in y 2.280 * [taylor]: Taking taylor expansion of a in y 2.280 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.280 * [taylor]: Taking taylor expansion of 0.5 in y 2.280 * [taylor]: Taking taylor expansion of y in y 2.280 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 2.280 * [taylor]: Taking taylor expansion of a in a 2.280 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.280 * [taylor]: Taking taylor expansion of 0.5 in a 2.281 * [taylor]: Taking taylor expansion of 0 in y 2.281 * [taylor]: Taking taylor expansion of 0 in a 2.281 * [taylor]: Taking taylor expansion of 0 in y 2.281 * [taylor]: Taking taylor expansion of 0 in a 2.281 * [taylor]: Taking taylor expansion of 0 in a 2.282 * [approximate]: Taking taylor expansion of (* -1 (/ (* a (sqrt 0.5)) (* x y))) in (x y a) around 0 2.282 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (sqrt 0.5)) (* x y))) in a 2.282 * [taylor]: Taking taylor expansion of -1 in a 2.282 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) (* x y)) in a 2.282 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 2.282 * [taylor]: Taking taylor expansion of a in a 2.282 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.282 * [taylor]: Taking taylor expansion of 0.5 in a 2.282 * [taylor]: Taking taylor expansion of (* x y) in a 2.282 * [taylor]: Taking taylor expansion of x in a 2.282 * [taylor]: Taking taylor expansion of y in a 2.282 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (sqrt 0.5)) (* x y))) in y 2.282 * [taylor]: Taking taylor expansion of -1 in y 2.282 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) (* x y)) in y 2.282 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in y 2.282 * [taylor]: Taking taylor expansion of a in y 2.282 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.282 * [taylor]: Taking taylor expansion of 0.5 in y 2.282 * [taylor]: Taking taylor expansion of (* x y) in y 2.282 * [taylor]: Taking taylor expansion of x in y 2.282 * [taylor]: Taking taylor expansion of y in y 2.282 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (sqrt 0.5)) (* x y))) in x 2.282 * [taylor]: Taking taylor expansion of -1 in x 2.282 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) (* x y)) in x 2.282 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in x 2.282 * [taylor]: Taking taylor expansion of a in x 2.282 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.282 * [taylor]: Taking taylor expansion of 0.5 in x 2.282 * [taylor]: Taking taylor expansion of (* x y) in x 2.282 * [taylor]: Taking taylor expansion of x in x 2.282 * [taylor]: Taking taylor expansion of y in x 2.282 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (sqrt 0.5)) (* x y))) in x 2.283 * [taylor]: Taking taylor expansion of -1 in x 2.283 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) (* x y)) in x 2.283 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in x 2.283 * [taylor]: Taking taylor expansion of a in x 2.283 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.283 * [taylor]: Taking taylor expansion of 0.5 in x 2.283 * [taylor]: Taking taylor expansion of (* x y) in x 2.283 * [taylor]: Taking taylor expansion of x in x 2.283 * [taylor]: Taking taylor expansion of y in x 2.283 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (sqrt 0.5)) y)) in y 2.283 * [taylor]: Taking taylor expansion of -1 in y 2.283 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in y 2.283 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in y 2.283 * [taylor]: Taking taylor expansion of a in y 2.283 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.283 * [taylor]: Taking taylor expansion of 0.5 in y 2.283 * [taylor]: Taking taylor expansion of y in y 2.283 * [taylor]: Taking taylor expansion of (* -1 (* a (sqrt 0.5))) in a 2.283 * [taylor]: Taking taylor expansion of -1 in a 2.283 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 2.283 * [taylor]: Taking taylor expansion of a in a 2.283 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.283 * [taylor]: Taking taylor expansion of 0.5 in a 2.283 * [taylor]: Taking taylor expansion of 0 in y 2.284 * [taylor]: Taking taylor expansion of 0 in a 2.284 * [taylor]: Taking taylor expansion of 0 in y 2.284 * [taylor]: Taking taylor expansion of 0 in a 2.284 * [taylor]: Taking taylor expansion of 0 in a 2.285 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 2.285 * [approximate]: Taking taylor expansion of (/ (* t z) a) in (z t a) around 0 2.285 * [taylor]: Taking taylor expansion of (/ (* t z) a) in a 2.285 * [taylor]: Taking taylor expansion of (* t z) in a 2.285 * [taylor]: Taking taylor expansion of t in a 2.285 * [taylor]: Taking taylor expansion of z in a 2.285 * [taylor]: Taking taylor expansion of a in a 2.285 * [taylor]: Taking taylor expansion of (/ (* t z) a) in t 2.285 * [taylor]: Taking taylor expansion of (* t z) in t 2.285 * [taylor]: Taking taylor expansion of t in t 2.285 * [taylor]: Taking taylor expansion of z in t 2.285 * [taylor]: Taking taylor expansion of a in t 2.285 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z 2.285 * [taylor]: Taking taylor expansion of (* t z) in z 2.285 * [taylor]: Taking taylor expansion of t in z 2.285 * [taylor]: Taking taylor expansion of z in z 2.285 * [taylor]: Taking taylor expansion of a in z 2.285 * [taylor]: Taking taylor expansion of (/ (* t z) a) in z 2.285 * [taylor]: Taking taylor expansion of (* t z) in z 2.285 * [taylor]: Taking taylor expansion of t in z 2.285 * [taylor]: Taking taylor expansion of z in z 2.285 * [taylor]: Taking taylor expansion of a in z 2.285 * [taylor]: Taking taylor expansion of (/ t a) in t 2.285 * [taylor]: Taking taylor expansion of t in t 2.285 * [taylor]: Taking taylor expansion of a in t 2.285 * [taylor]: Taking taylor expansion of (/ 1 a) in a 2.285 * [taylor]: Taking taylor expansion of a in a 2.285 * [taylor]: Taking taylor expansion of 0 in t 2.285 * [taylor]: Taking taylor expansion of 0 in a 2.286 * [taylor]: Taking taylor expansion of 0 in a 2.286 * [taylor]: Taking taylor expansion of 0 in t 2.286 * [taylor]: Taking taylor expansion of 0 in a 2.286 * [taylor]: Taking taylor expansion of 0 in a 2.286 * [taylor]: Taking taylor expansion of 0 in a 2.286 * [taylor]: Taking taylor expansion of 0 in t 2.286 * [taylor]: Taking taylor expansion of 0 in a 2.286 * [taylor]: Taking taylor expansion of 0 in a 2.286 * [taylor]: Taking taylor expansion of 0 in a 2.286 * [taylor]: Taking taylor expansion of 0 in a 2.286 * [approximate]: Taking taylor expansion of (/ a (* z t)) in (z t a) around 0 2.286 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a 2.286 * [taylor]: Taking taylor expansion of a in a 2.286 * [taylor]: Taking taylor expansion of (* z t) in a 2.286 * [taylor]: Taking taylor expansion of z in a 2.286 * [taylor]: Taking taylor expansion of t in a 2.287 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t 2.287 * [taylor]: Taking taylor expansion of a in t 2.287 * [taylor]: Taking taylor expansion of (* z t) in t 2.287 * [taylor]: Taking taylor expansion of z in t 2.287 * [taylor]: Taking taylor expansion of t in t 2.287 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 2.287 * [taylor]: Taking taylor expansion of a in z 2.287 * [taylor]: Taking taylor expansion of (* z t) in z 2.287 * [taylor]: Taking taylor expansion of z in z 2.287 * [taylor]: Taking taylor expansion of t in z 2.287 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 2.287 * [taylor]: Taking taylor expansion of a in z 2.287 * [taylor]: Taking taylor expansion of (* z t) in z 2.287 * [taylor]: Taking taylor expansion of z in z 2.287 * [taylor]: Taking taylor expansion of t in z 2.287 * [taylor]: Taking taylor expansion of (/ a t) in t 2.287 * [taylor]: Taking taylor expansion of a in t 2.287 * [taylor]: Taking taylor expansion of t in t 2.287 * [taylor]: Taking taylor expansion of a in a 2.287 * [taylor]: Taking taylor expansion of 0 in t 2.287 * [taylor]: Taking taylor expansion of 0 in a 2.287 * [taylor]: Taking taylor expansion of 0 in t 2.287 * [taylor]: Taking taylor expansion of 0 in a 2.287 * [taylor]: Taking taylor expansion of 0 in a 2.288 * [approximate]: Taking taylor expansion of (* -1 (/ a (* z t))) in (z t a) around 0 2.288 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in a 2.288 * [taylor]: Taking taylor expansion of -1 in a 2.288 * [taylor]: Taking taylor expansion of (/ a (* z t)) in a 2.288 * [taylor]: Taking taylor expansion of a in a 2.288 * [taylor]: Taking taylor expansion of (* z t) in a 2.288 * [taylor]: Taking taylor expansion of z in a 2.288 * [taylor]: Taking taylor expansion of t in a 2.288 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in t 2.288 * [taylor]: Taking taylor expansion of -1 in t 2.288 * [taylor]: Taking taylor expansion of (/ a (* z t)) in t 2.288 * [taylor]: Taking taylor expansion of a in t 2.288 * [taylor]: Taking taylor expansion of (* z t) in t 2.288 * [taylor]: Taking taylor expansion of z in t 2.288 * [taylor]: Taking taylor expansion of t in t 2.288 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in z 2.288 * [taylor]: Taking taylor expansion of -1 in z 2.288 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 2.288 * [taylor]: Taking taylor expansion of a in z 2.288 * [taylor]: Taking taylor expansion of (* z t) in z 2.288 * [taylor]: Taking taylor expansion of z in z 2.288 * [taylor]: Taking taylor expansion of t in z 2.288 * [taylor]: Taking taylor expansion of (* -1 (/ a (* z t))) in z 2.288 * [taylor]: Taking taylor expansion of -1 in z 2.288 * [taylor]: Taking taylor expansion of (/ a (* z t)) in z 2.288 * [taylor]: Taking taylor expansion of a in z 2.288 * [taylor]: Taking taylor expansion of (* z t) in z 2.288 * [taylor]: Taking taylor expansion of z in z 2.288 * [taylor]: Taking taylor expansion of t in z 2.288 * [taylor]: Taking taylor expansion of (* -1 (/ a t)) in t 2.288 * [taylor]: Taking taylor expansion of -1 in t 2.288 * [taylor]: Taking taylor expansion of (/ a t) in t 2.288 * [taylor]: Taking taylor expansion of a in t 2.288 * [taylor]: Taking taylor expansion of t in t 2.288 * [taylor]: Taking taylor expansion of (* -1 a) in a 2.288 * [taylor]: Taking taylor expansion of -1 in a 2.288 * [taylor]: Taking taylor expansion of a in a 2.289 * [taylor]: Taking taylor expansion of 0 in t 2.289 * [taylor]: Taking taylor expansion of 0 in a 2.289 * [taylor]: Taking taylor expansion of 0 in t 2.289 * [taylor]: Taking taylor expansion of 0 in a 2.289 * [taylor]: Taking taylor expansion of 0 in a 2.289 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 2.289 * [approximate]: Taking taylor expansion of (/ (* y (sqrt 0.5)) a) in (y a) around 0 2.289 * [taylor]: Taking taylor expansion of (/ (* y (sqrt 0.5)) a) in a 2.289 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in a 2.289 * [taylor]: Taking taylor expansion of y in a 2.289 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.289 * [taylor]: Taking taylor expansion of 0.5 in a 2.289 * [taylor]: Taking taylor expansion of a in a 2.290 * [taylor]: Taking taylor expansion of (/ (* y (sqrt 0.5)) a) in y 2.290 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 2.290 * [taylor]: Taking taylor expansion of y in y 2.290 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.290 * [taylor]: Taking taylor expansion of 0.5 in y 2.290 * [taylor]: Taking taylor expansion of a in y 2.290 * [taylor]: Taking taylor expansion of (/ (* y (sqrt 0.5)) a) in y 2.290 * [taylor]: Taking taylor expansion of (* y (sqrt 0.5)) in y 2.290 * [taylor]: Taking taylor expansion of y in y 2.290 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.290 * [taylor]: Taking taylor expansion of 0.5 in y 2.290 * [taylor]: Taking taylor expansion of a in y 2.290 * [taylor]: Taking taylor expansion of (/ (sqrt 0.5) a) in a 2.290 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.290 * [taylor]: Taking taylor expansion of 0.5 in a 2.290 * [taylor]: Taking taylor expansion of a in a 2.290 * [taylor]: Taking taylor expansion of 0 in a 2.291 * [taylor]: Taking taylor expansion of 0 in a 2.291 * [taylor]: Taking taylor expansion of 0 in a 2.291 * [approximate]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in (y a) around 0 2.291 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in a 2.291 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 2.291 * [taylor]: Taking taylor expansion of a in a 2.291 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.291 * [taylor]: Taking taylor expansion of 0.5 in a 2.291 * [taylor]: Taking taylor expansion of y in a 2.291 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in y 2.291 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in y 2.292 * [taylor]: Taking taylor expansion of a in y 2.292 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.292 * [taylor]: Taking taylor expansion of 0.5 in y 2.292 * [taylor]: Taking taylor expansion of y in y 2.292 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in y 2.292 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in y 2.292 * [taylor]: Taking taylor expansion of a in y 2.292 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.292 * [taylor]: Taking taylor expansion of 0.5 in y 2.292 * [taylor]: Taking taylor expansion of y in y 2.292 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 2.292 * [taylor]: Taking taylor expansion of a in a 2.292 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.292 * [taylor]: Taking taylor expansion of 0.5 in a 2.292 * [taylor]: Taking taylor expansion of 0 in a 2.292 * [taylor]: Taking taylor expansion of 0 in a 2.293 * [taylor]: Taking taylor expansion of 0 in a 2.293 * [approximate]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in (y a) around 0 2.293 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in a 2.293 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 2.293 * [taylor]: Taking taylor expansion of a in a 2.293 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.293 * [taylor]: Taking taylor expansion of 0.5 in a 2.293 * [taylor]: Taking taylor expansion of y in a 2.293 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in y 2.293 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in y 2.293 * [taylor]: Taking taylor expansion of a in y 2.293 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.293 * [taylor]: Taking taylor expansion of 0.5 in y 2.293 * [taylor]: Taking taylor expansion of y in y 2.293 * [taylor]: Taking taylor expansion of (/ (* a (sqrt 0.5)) y) in y 2.293 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in y 2.293 * [taylor]: Taking taylor expansion of a in y 2.293 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.293 * [taylor]: Taking taylor expansion of 0.5 in y 2.293 * [taylor]: Taking taylor expansion of y in y 2.293 * [taylor]: Taking taylor expansion of (* a (sqrt 0.5)) in a 2.293 * [taylor]: Taking taylor expansion of a in a 2.293 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.294 * [taylor]: Taking taylor expansion of 0.5 in a 2.294 * [taylor]: Taking taylor expansion of 0 in a 2.294 * [taylor]: Taking taylor expansion of 0 in a 2.294 * [taylor]: Taking taylor expansion of 0 in a 2.294 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.295 * [approximate]: Taking taylor expansion of (/ (* x (* y (pow (sqrt 0.5) 2))) a) in (x y a) around 0 2.295 * [taylor]: Taking taylor expansion of (/ (* x (* y (pow (sqrt 0.5) 2))) a) in a 2.295 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 0.5) 2))) in a 2.295 * [taylor]: Taking taylor expansion of x in a 2.295 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 0.5) 2)) in a 2.295 * [taylor]: Taking taylor expansion of y in a 2.295 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in a 2.295 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.295 * [taylor]: Taking taylor expansion of 0.5 in a 2.295 * [taylor]: Taking taylor expansion of a in a 2.295 * [taylor]: Taking taylor expansion of (/ (* x (* y (pow (sqrt 0.5) 2))) a) in y 2.295 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 0.5) 2))) in y 2.295 * [taylor]: Taking taylor expansion of x in y 2.295 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 0.5) 2)) in y 2.295 * [taylor]: Taking taylor expansion of y in y 2.295 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 2.295 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.295 * [taylor]: Taking taylor expansion of 0.5 in y 2.295 * [taylor]: Taking taylor expansion of a in y 2.295 * [taylor]: Taking taylor expansion of (/ (* x (* y (pow (sqrt 0.5) 2))) a) in x 2.296 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 0.5) 2))) in x 2.296 * [taylor]: Taking taylor expansion of x in x 2.296 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 0.5) 2)) in x 2.296 * [taylor]: Taking taylor expansion of y in x 2.296 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x 2.296 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.296 * [taylor]: Taking taylor expansion of 0.5 in x 2.296 * [taylor]: Taking taylor expansion of a in x 2.298 * [taylor]: Taking taylor expansion of (/ (* x (* y (pow (sqrt 0.5) 2))) a) in x 2.298 * [taylor]: Taking taylor expansion of (* x (* y (pow (sqrt 0.5) 2))) in x 2.298 * [taylor]: Taking taylor expansion of x in x 2.298 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 0.5) 2)) in x 2.298 * [taylor]: Taking taylor expansion of y in x 2.298 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x 2.299 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.299 * [taylor]: Taking taylor expansion of 0.5 in x 2.299 * [taylor]: Taking taylor expansion of a in x 2.299 * [taylor]: Taking taylor expansion of (/ (* y (pow (sqrt 0.5) 2)) a) in y 2.299 * [taylor]: Taking taylor expansion of (* y (pow (sqrt 0.5) 2)) in y 2.299 * [taylor]: Taking taylor expansion of y in y 2.299 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 2.299 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.299 * [taylor]: Taking taylor expansion of 0.5 in y 2.299 * [taylor]: Taking taylor expansion of a in y 2.299 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.5) 2) a) in a 2.299 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in a 2.299 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.300 * [taylor]: Taking taylor expansion of 0.5 in a 2.300 * [taylor]: Taking taylor expansion of a in a 2.300 * [taylor]: Taking taylor expansion of 0 in y 2.300 * [taylor]: Taking taylor expansion of 0 in a 2.300 * [taylor]: Taking taylor expansion of 0 in a 2.301 * [taylor]: Taking taylor expansion of 0 in y 2.301 * [taylor]: Taking taylor expansion of 0 in a 2.301 * [taylor]: Taking taylor expansion of 0 in a 2.301 * [taylor]: Taking taylor expansion of 0 in a 2.302 * [taylor]: Taking taylor expansion of 0 in y 2.302 * [taylor]: Taking taylor expansion of 0 in a 2.302 * [taylor]: Taking taylor expansion of 0 in a 2.302 * [taylor]: Taking taylor expansion of 0 in a 2.302 * [taylor]: Taking taylor expansion of 0 in a 2.303 * [approximate]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) (* x y)) in (x y a) around 0 2.303 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) (* x y)) in a 2.303 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in a 2.303 * [taylor]: Taking taylor expansion of a in a 2.303 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in a 2.303 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.303 * [taylor]: Taking taylor expansion of 0.5 in a 2.303 * [taylor]: Taking taylor expansion of (* x y) in a 2.303 * [taylor]: Taking taylor expansion of x in a 2.303 * [taylor]: Taking taylor expansion of y in a 2.303 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) (* x y)) in y 2.303 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in y 2.303 * [taylor]: Taking taylor expansion of a in y 2.303 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 2.303 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.303 * [taylor]: Taking taylor expansion of 0.5 in y 2.303 * [taylor]: Taking taylor expansion of (* x y) in y 2.303 * [taylor]: Taking taylor expansion of x in y 2.303 * [taylor]: Taking taylor expansion of y in y 2.304 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) (* x y)) in x 2.304 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in x 2.304 * [taylor]: Taking taylor expansion of a in x 2.304 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x 2.304 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.304 * [taylor]: Taking taylor expansion of 0.5 in x 2.304 * [taylor]: Taking taylor expansion of (* x y) in x 2.304 * [taylor]: Taking taylor expansion of x in x 2.304 * [taylor]: Taking taylor expansion of y in x 2.304 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) (* x y)) in x 2.304 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in x 2.304 * [taylor]: Taking taylor expansion of a in x 2.304 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x 2.304 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.304 * [taylor]: Taking taylor expansion of 0.5 in x 2.304 * [taylor]: Taking taylor expansion of (* x y) in x 2.304 * [taylor]: Taking taylor expansion of x in x 2.304 * [taylor]: Taking taylor expansion of y in x 2.304 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) y) in y 2.304 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in y 2.304 * [taylor]: Taking taylor expansion of a in y 2.304 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 2.304 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.304 * [taylor]: Taking taylor expansion of 0.5 in y 2.304 * [taylor]: Taking taylor expansion of y in y 2.305 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in a 2.305 * [taylor]: Taking taylor expansion of a in a 2.305 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in a 2.305 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.305 * [taylor]: Taking taylor expansion of 0.5 in a 2.305 * [taylor]: Taking taylor expansion of 0 in y 2.305 * [taylor]: Taking taylor expansion of 0 in a 2.306 * [taylor]: Taking taylor expansion of 0 in y 2.306 * [taylor]: Taking taylor expansion of 0 in a 2.306 * [taylor]: Taking taylor expansion of 0 in a 2.307 * [approximate]: Taking taylor expansion of (* -1 (/ (* a (pow (sqrt 0.5) 2)) (* x y))) in (x y a) around 0 2.307 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (pow (sqrt 0.5) 2)) (* x y))) in a 2.307 * [taylor]: Taking taylor expansion of -1 in a 2.307 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) (* x y)) in a 2.307 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in a 2.307 * [taylor]: Taking taylor expansion of a in a 2.307 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in a 2.307 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.307 * [taylor]: Taking taylor expansion of 0.5 in a 2.307 * [taylor]: Taking taylor expansion of (* x y) in a 2.307 * [taylor]: Taking taylor expansion of x in a 2.307 * [taylor]: Taking taylor expansion of y in a 2.307 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (pow (sqrt 0.5) 2)) (* x y))) in y 2.307 * [taylor]: Taking taylor expansion of -1 in y 2.307 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) (* x y)) in y 2.307 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in y 2.307 * [taylor]: Taking taylor expansion of a in y 2.307 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 2.307 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.307 * [taylor]: Taking taylor expansion of 0.5 in y 2.308 * [taylor]: Taking taylor expansion of (* x y) in y 2.308 * [taylor]: Taking taylor expansion of x in y 2.308 * [taylor]: Taking taylor expansion of y in y 2.308 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (pow (sqrt 0.5) 2)) (* x y))) in x 2.308 * [taylor]: Taking taylor expansion of -1 in x 2.308 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) (* x y)) in x 2.308 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in x 2.308 * [taylor]: Taking taylor expansion of a in x 2.308 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x 2.308 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.308 * [taylor]: Taking taylor expansion of 0.5 in x 2.308 * [taylor]: Taking taylor expansion of (* x y) in x 2.308 * [taylor]: Taking taylor expansion of x in x 2.308 * [taylor]: Taking taylor expansion of y in x 2.308 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (pow (sqrt 0.5) 2)) (* x y))) in x 2.308 * [taylor]: Taking taylor expansion of -1 in x 2.308 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) (* x y)) in x 2.308 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in x 2.308 * [taylor]: Taking taylor expansion of a in x 2.308 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in x 2.308 * [taylor]: Taking taylor expansion of (sqrt 0.5) in x 2.308 * [taylor]: Taking taylor expansion of 0.5 in x 2.308 * [taylor]: Taking taylor expansion of (* x y) in x 2.308 * [taylor]: Taking taylor expansion of x in x 2.308 * [taylor]: Taking taylor expansion of y in x 2.309 * [taylor]: Taking taylor expansion of (* -1 (/ (* a (pow (sqrt 0.5) 2)) y)) in y 2.309 * [taylor]: Taking taylor expansion of -1 in y 2.309 * [taylor]: Taking taylor expansion of (/ (* a (pow (sqrt 0.5) 2)) y) in y 2.309 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in y 2.309 * [taylor]: Taking taylor expansion of a in y 2.309 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in y 2.309 * [taylor]: Taking taylor expansion of (sqrt 0.5) in y 2.309 * [taylor]: Taking taylor expansion of 0.5 in y 2.309 * [taylor]: Taking taylor expansion of y in y 2.309 * [taylor]: Taking taylor expansion of (* -1 (* a (pow (sqrt 0.5) 2))) in a 2.309 * [taylor]: Taking taylor expansion of -1 in a 2.309 * [taylor]: Taking taylor expansion of (* a (pow (sqrt 0.5) 2)) in a 2.309 * [taylor]: Taking taylor expansion of a in a 2.309 * [taylor]: Taking taylor expansion of (pow (sqrt 0.5) 2) in a 2.309 * [taylor]: Taking taylor expansion of (sqrt 0.5) in a 2.309 * [taylor]: Taking taylor expansion of 0.5 in a 2.310 * [taylor]: Taking taylor expansion of 0 in y 2.310 * [taylor]: Taking taylor expansion of 0 in a 2.311 * [taylor]: Taking taylor expansion of 0 in y 2.311 * [taylor]: Taking taylor expansion of 0 in a 2.311 * [taylor]: Taking taylor expansion of 0 in a 2.312 * * * [progress]: simplifying candidates 2.313 * [simplify]: Simplifying using # : (* x (* (/ y a) (sqrt 0.5))) (* x (* (/ y a) (sqrt 0.5))) (+ (log x) (+ (- (log y) (log a)) (log (sqrt 0.5)))) (+ (log x) (+ (log (/ y a)) (log (sqrt 0.5)))) (+ (log x) (log (* (/ y a) (sqrt 0.5)))) (log (* x (* (/ y a) (sqrt 0.5)))) (exp (* x (* (/ y a) (sqrt 0.5)))) (* (* (* x x) x) (* (/ (* (* y y) y) (* (* a a) a)) (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)))) (* (* (* x x) x) (* (* (* (/ y a) (/ y a)) (/ y a)) (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)))) (* (* (* x x) x) (* (* (* (/ y a) (sqrt 0.5)) (* (/ y a) (sqrt 0.5))) (* (/ y a) (sqrt 0.5)))) (* (cbrt (* x (* (/ y a) (sqrt 0.5)))) (cbrt (* x (* (/ y a) (sqrt 0.5))))) (cbrt (* x (* (/ y a) (sqrt 0.5)))) (* (* (* x (* (/ y a) (sqrt 0.5))) (* x (* (/ y a) (sqrt 0.5)))) (* x (* (/ y a) (sqrt 0.5)))) (sqrt (* x (* (/ y a) (sqrt 0.5)))) (sqrt (* x (* (/ y a) (sqrt 0.5)))) (* x (/ y a)) (* (cbrt x) (* (/ y a) (sqrt 0.5))) (* (sqrt x) (* (/ y a) (sqrt 0.5))) (* x (* (/ y a) (sqrt 0.5))) (* x (* y (sqrt 0.5))) (* z (/ t a)) (+ (log z) (- (log t) (log a))) (+ (log z) (log (/ t a))) (log (* z (/ t a))) (exp (* z (/ t a))) (* (* (* z z) z) (/ (* (* t t) t) (* (* a a) a))) (* (* (* z z) z) (* (* (/ t a) (/ t a)) (/ t a))) (* (cbrt (* z (/ t a))) (cbrt (* z (/ t a)))) (cbrt (* z (/ t a))) (* (* (* z (/ t a)) (* z (/ t a))) (* z (/ t a))) (sqrt (* z (/ t a))) (sqrt (* z (/ t a))) (* (sqrt z) (sqrt (/ t a))) (* (sqrt z) (sqrt (/ t a))) (* (sqrt z) (/ (sqrt t) (sqrt a))) (* (sqrt z) (/ (sqrt t) (sqrt a))) (* z (* (cbrt (/ t a)) (cbrt (/ t a)))) (* z (sqrt (/ t a))) (* z (/ (* (cbrt t) (cbrt t)) (* (cbrt a) (cbrt a)))) (* z (/ (* (cbrt t) (cbrt t)) (sqrt a))) (* z (/ (* (cbrt t) (cbrt t)) 1)) (* z (/ (sqrt t) (* (cbrt a) (cbrt a)))) (* z (/ (sqrt t) (sqrt a))) (* z (/ (sqrt t) 1)) (* z (/ 1 (* (cbrt a) (cbrt a)))) (* z (/ 1 (sqrt a))) (* z (/ 1 1)) (* z 1) (* z t) (* (cbrt z) (/ t a)) (* (sqrt z) (/ t a)) (* z (/ t a)) (* z t) (* (/ y a) (sqrt 0.5)) (+ (- (log y) (log a)) (log (sqrt 0.5))) (+ (log (/ y a)) (log (sqrt 0.5))) (log (* (/ y a) (sqrt 0.5))) (exp (* (/ y a) (sqrt 0.5))) (* (/ (* (* y y) y) (* (* a a) a)) (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5))) (* (* (* (/ y a) (/ y a)) (/ y a)) (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5))) (* (cbrt (* (/ y a) (sqrt 0.5))) (cbrt (* (/ y a) (sqrt 0.5)))) (cbrt (* (/ y a) (sqrt 0.5))) (* (* (* (/ y a) (sqrt 0.5)) (* (/ y a) (sqrt 0.5))) (* (/ y a) (sqrt 0.5))) (sqrt (* (/ y a) (sqrt 0.5))) (sqrt (* (/ y a) (sqrt 0.5))) (* (sqrt (/ y a)) (sqrt (sqrt 0.5))) (* (sqrt (/ y a)) (sqrt (sqrt 0.5))) (* (sqrt (/ y a)) (sqrt (sqrt 0.5))) (* (sqrt (/ y a)) (sqrt (sqrt 0.5))) (* (/ (sqrt y) (sqrt a)) (sqrt (sqrt 0.5))) (* (/ (sqrt y) (sqrt a)) (sqrt (sqrt 0.5))) (* (/ (sqrt y) (sqrt a)) (sqrt (sqrt 0.5))) (* (/ (sqrt y) (sqrt a)) (sqrt (sqrt 0.5))) (* (/ y a) (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5)))) (* (/ y a) (sqrt (* (cbrt 0.5) (cbrt 0.5)))) (* (/ y a) (sqrt (sqrt 0.5))) (* (/ y a) (sqrt 1)) (* (/ y a) (sqrt (sqrt 0.5))) (* (/ y a) 1) (* (cbrt (/ y a)) (sqrt 0.5)) (* (sqrt (/ y a)) (sqrt 0.5)) (* (/ (cbrt y) (cbrt a)) (sqrt 0.5)) (* (/ (cbrt y) (sqrt a)) (sqrt 0.5)) (* (/ (cbrt y) a) (sqrt 0.5)) (* (/ (sqrt y) (cbrt a)) (sqrt 0.5)) (* (/ (sqrt y) (sqrt a)) (sqrt 0.5)) (* (/ (sqrt y) a) (sqrt 0.5)) (* (/ y (cbrt a)) (sqrt 0.5)) (* (/ y (sqrt a)) (sqrt 0.5)) (* (/ y a) (sqrt 0.5)) (* (/ y a) (sqrt 0.5)) (* (/ 1 a) (sqrt 0.5)) (* y (sqrt 0.5)) (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5)))) (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5)))) (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5)))) (+ (log (sqrt 0.5)) (+ (log x) (+ (- (log y) (log a)) (log (sqrt 0.5))))) (+ (log (sqrt 0.5)) (+ (log x) (+ (log (/ y a)) (log (sqrt 0.5))))) (+ (log (sqrt 0.5)) (+ (log x) (log (* (/ y a) (sqrt 0.5))))) (+ (log (sqrt 0.5)) (log (* x (* (/ y a) (sqrt 0.5))))) (log (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5))))) (exp (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5))))) (* (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* (* x x) x) (* (/ (* (* y y) y) (* (* a a) a)) (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5))))) (* (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* (* x x) x) (* (* (* (/ y a) (/ y a)) (/ y a)) (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5))))) (* (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* (* x x) x) (* (* (* (/ y a) (sqrt 0.5)) (* (/ y a) (sqrt 0.5))) (* (/ y a) (sqrt 0.5))))) (* (* (* (sqrt 0.5) (sqrt 0.5)) (sqrt 0.5)) (* (* (* x (* (/ y a) (sqrt 0.5))) (* x (* (/ y a) (sqrt 0.5)))) (* x (* (/ y a) (sqrt 0.5))))) (* (cbrt (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5))))) (cbrt (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5)))))) (cbrt (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5))))) (* (* (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5)))) (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5))))) (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5))))) (sqrt (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5))))) (sqrt (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5))))) (* (sqrt 0.5) x) (* (cbrt (sqrt 0.5)) (* x (* (/ y a) (sqrt 0.5)))) (* (sqrt (cbrt 0.5)) (* x (* (/ y a) (sqrt 0.5)))) (* (sqrt (sqrt 0.5)) (* x (* (/ y a) (sqrt 0.5)))) (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5)))) (* (sqrt (sqrt 0.5)) (* x (* (/ y a) (sqrt 0.5)))) (* (sqrt 0.5) (* x (* (/ y a) (sqrt 0.5)))) (* (sqrt 0.5) (* x (* y (sqrt 0.5)))) (/ (* x (* y (sqrt 0.5))) a) (/ (* x (* y (sqrt 0.5))) a) (/ (* x (* y (sqrt 0.5))) a) (/ (* t z) a) (/ (* t z) a) (/ (* t z) a) (/ (* y (sqrt 0.5)) a) (/ (* y (sqrt 0.5)) a) (/ (* y (sqrt 0.5)) a) (/ (* x (* y (pow (sqrt 0.5) 2))) a) (/ (* x (* y (pow (sqrt 0.5) 2))) a) (/ (* x (* y (pow (sqrt 0.5) 2))) a) 2.359 * * [simplify]: iteration 0 : 5572 enodes (cost 993 ) 2.363 * [simplify]: Simplified to: (* x (* y (/ (sqrt 0.5) a))) (* x (* y (/ (sqrt 0.5) a))) (log (* x (* y (/ (sqrt 0.5) a)))) (log (* x (* y (/ (sqrt 0.5) a)))) (log (* x (* y (/ (sqrt 0.5) a)))) (log (* x (* y (/ (sqrt 0.5) a)))) (pow (pow (exp (/ y a)) (sqrt 0.5)) x) (pow (* x (* y (/ (sqrt 0.5) a))) 3) (pow (* x (* y (/ (sqrt 0.5) a))) 3) (pow (* x (* y (/ (sqrt 0.5) a))) 3) (* (cbrt (* x (* y (/ (sqrt 0.5) a)))) (cbrt (* x (* y (/ (sqrt 0.5) a))))) (cbrt (* x (* y (/ (sqrt 0.5) a)))) (pow (* x (* y (/ (sqrt 0.5) a))) 3) (sqrt (* x (* y (/ (sqrt 0.5) a)))) (sqrt (* x (* y (/ (sqrt 0.5) a)))) (* x (/ y a)) (* (/ y a) (* (sqrt 0.5) (cbrt x))) (* (/ y a) (* (sqrt 0.5) (sqrt x))) (* x (* y (/ (sqrt 0.5) a))) (* x (* y (sqrt 0.5))) (* z (/ t a)) (log (* z (/ t a))) (log (* z (/ t a))) (log (* z (/ t a))) (pow (exp z) (/ t a)) (pow (* z (/ t a)) 3) (pow (* z (/ t a)) 3) (* (cbrt (* z (/ t a))) (cbrt (* z (/ t a)))) (cbrt (* z (/ t a))) (pow (* z (/ t a)) 3) (sqrt (* z (/ t a))) (sqrt (* z (/ t a))) (* (sqrt z) (sqrt (/ t a))) (* (sqrt z) (sqrt (/ t a))) (* (sqrt z) (/ (sqrt t) (sqrt a))) (* (sqrt z) (/ (sqrt t) (sqrt a))) (* z (* (cbrt (/ t a)) (cbrt (/ t a)))) (* z (sqrt (/ t a))) (* z (* (cbrt t) (/ (cbrt t) (* (cbrt a) (cbrt a))))) (* z (* (cbrt t) (/ (cbrt t) (sqrt a)))) (* z (* (cbrt t) (cbrt t))) (* z (/ (sqrt t) (* (cbrt a) (cbrt a)))) (* z (/ (sqrt t) (sqrt a))) (* z (sqrt t)) (/ z (* (cbrt a) (cbrt a))) (/ z (sqrt a)) z z (* z t) (* (/ t a) (cbrt z)) (* (/ t a) (sqrt z)) (* z (/ t a)) (* z t) (* y (/ (sqrt 0.5) a)) (log (* y (/ (sqrt 0.5) a))) (log (* y (/ (sqrt 0.5) a))) (log (* y (/ (sqrt 0.5) a))) (pow (exp (/ y a)) (sqrt 0.5)) (pow (* y (/ (sqrt 0.5) a)) 3) (pow (* y (/ (sqrt 0.5) a)) 3) (* (cbrt (* y (/ (sqrt 0.5) a))) (cbrt (* y (/ (sqrt 0.5) a)))) (cbrt (* y (/ (sqrt 0.5) a))) (pow (* y (/ (sqrt 0.5) a)) 3) (sqrt (* y (/ (sqrt 0.5) a))) (sqrt (* y (/ (sqrt 0.5) a))) (* (sqrt (/ y a)) (sqrt (sqrt 0.5))) (* (sqrt (/ y a)) (sqrt (sqrt 0.5))) (* (sqrt (/ y a)) (sqrt (sqrt 0.5))) (* (sqrt (/ y a)) (sqrt (sqrt 0.5))) (* (sqrt (sqrt 0.5)) (/ (sqrt y) (sqrt a))) (* (sqrt (sqrt 0.5)) (/ (sqrt y) (sqrt a))) (* (sqrt (sqrt 0.5)) (/ (sqrt y) (sqrt a))) (* (sqrt (sqrt 0.5)) (/ (sqrt y) (sqrt a))) (* y (/ (* (cbrt (sqrt 0.5)) (cbrt (sqrt 0.5))) a)) (* y (/ (fabs (cbrt 0.5)) a)) (* y (/ (sqrt (sqrt 0.5)) a)) (/ y a) (* y (/ (sqrt (sqrt 0.5)) a)) (/ y a) (* (sqrt 0.5) (cbrt (/ y a))) (* (sqrt 0.5) (sqrt (/ y a))) (* (sqrt 0.5) (/ (cbrt y) (cbrt a))) (* (sqrt 0.5) (/ (cbrt y) (sqrt a))) (* (sqrt 0.5) (/ (cbrt y) a)) (* (sqrt 0.5) (/ (sqrt y) (cbrt a))) (* (sqrt 0.5) (/ (sqrt y) (sqrt a))) (* (sqrt 0.5) (/ (sqrt y) a)) (* y (/ (sqrt 0.5) (cbrt a))) (* y (/ (sqrt 0.5) (sqrt a))) (* y (/ (sqrt 0.5) a)) (* y (/ (sqrt 0.5) a)) (/ (sqrt 0.5) a) (* y (sqrt 0.5)) (* x (* 0.5 (/ y a))) (* x (* 0.5 (/ y a))) (* x (* 0.5 (/ y a))) (log (* x (* 0.5 (/ y a)))) (log (* x (* 0.5 (/ y a)))) (log (* x (* 0.5 (/ y a)))) (log (* x (* 0.5 (/ y a)))) (log (* x (* 0.5 (/ y a)))) (pow (exp x) (* 0.5 (/ y a))) (pow (* x (* 0.5 (/ y a))) 3) (pow (* x (* 0.5 (/ y a))) 3) (pow (* x (* 0.5 (/ y a))) 3) (pow (* x (* 0.5 (/ y a))) 3) (* (cbrt (* x (* 0.5 (/ y a)))) (cbrt (* x (* 0.5 (/ y a))))) (cbrt (* x (* 0.5 (/ y a)))) (pow (* x (* 0.5 (/ y a))) 3) (sqrt (* x (* 0.5 (/ y a)))) (sqrt (* x (* 0.5 (/ y a)))) (* x (sqrt 0.5)) (* x (* (* y (/ (sqrt 0.5) a)) (cbrt (sqrt 0.5)))) (* x (* (* y (/ (sqrt 0.5) a)) (sqrt (cbrt 0.5)))) (* (* x (/ y a)) (pow (sqrt 0.5) 3/2)) (* x (* 0.5 (/ y a))) (* (* x (/ y a)) (pow (sqrt 0.5) 3/2)) (* x (* 0.5 (/ y a))) (* x (* y 0.5)) (* x (* y (/ (sqrt 0.5) a))) (* x (* y (/ (sqrt 0.5) a))) (* x (* y (/ (sqrt 0.5) a))) (* z (/ t a)) (* z (/ t a)) (* z (/ t a)) (* y (/ (sqrt 0.5) a)) (* y (/ (sqrt 0.5) a)) (* y (/ (sqrt 0.5) a)) (* x (* 0.5 (/ y a))) (* x (* 0.5 (/ y a))) (* x (* 0.5 (/ y a))) 2.364 * * * [progress]: adding candidates to table 2.535 * [progress]: [Phase 3 of 3] Extracting. 2.535 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 2.538 * * * [regime-changes]: Trying 11 branch expressions: ((* a 2.0) (* z 9.0) (* (* z 9.0) t) (* x y) (- (* x y) (* (* z 9.0) t)) (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) a t z y x) 2.538 * * * * [regimes]: Trying to branch on (* a 2.0) from (# # # # # # # # # # #) 2.656 * * * * [regimes]: Trying to branch on (* a 2.0) from (# #) 2.721 * * * * [regimes]: Trying to branch on (* z 9.0) from (# # # # # # # # # # #) 2.844 * * * * [regimes]: Trying to branch on (* (* z 9.0) t) from (# # # # # # # # # # #) 2.972 * * * * [regimes]: Trying to branch on (* x y) from (# # # # # # # # # # #) 3.086 * * * * [regimes]: Trying to branch on (* x y) from (# # # # #) 3.157 * * * * [regimes]: Trying to branch on (- (* x y) (* (* z 9.0) t)) from (# # # # # # # # # # #) 3.286 * * * * [regimes]: Trying to branch on (/ (- (* x y) (* (* z 9.0) t)) (* a 2.0)) from (# # # # # # # # # # #) 3.415 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # #) 3.532 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # # #) 3.659 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 3.781 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 3.899 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 4.016 * * * [regime]: Found split indices: #