0.237 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0)) 0.029 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 0.031 * * [simplify]: iteration 1 : 30 enodes (cost 15 ) 0.036 * * [simplify]: iteration 2 : 80 enodes (cost 13 ) 0.048 * * [simplify]: iteration 3 : 213 enodes (cost 13 ) 0.090 * * [simplify]: iteration 4 : 465 enodes (cost 13 ) 0.191 * * [simplify]: iteration 5 : 691 enodes (cost 13 ) 0.360 * * [simplify]: iteration 6 : 709 enodes (cost 13 ) 0.535 * * [simplify]: iteration done : 709 enodes (cost 13 ) 0.535 * [simplify]: Simplified to: (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)) 0.538 * * [progress]: iteration 1 / 4 0.538 * * * [progress]: picking best candidate 0.540 * * * * [pick]: Picked # 0.540 * * * [progress]: localizing error 0.548 * * * [progress]: generating rewritten candidates 0.549 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 0.572 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 0.575 * * * [progress]: generating series expansions 0.575 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 0.576 * [approximate]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in (y z t x) around 0 0.576 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in x 0.576 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in x 0.576 * [taylor]: Taking taylor expansion of t in x 0.576 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in x 0.576 * [taylor]: Taking taylor expansion of (* 2 z) in x 0.576 * [taylor]: Taking taylor expansion of 2 in x 0.576 * [taylor]: Taking taylor expansion of z in x 0.576 * [taylor]: Taking taylor expansion of (* 2 y) in x 0.576 * [taylor]: Taking taylor expansion of 2 in x 0.576 * [taylor]: Taking taylor expansion of y in x 0.576 * [taylor]: Taking taylor expansion of x in x 0.576 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in t 0.576 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in t 0.576 * [taylor]: Taking taylor expansion of t in t 0.576 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in t 0.576 * [taylor]: Taking taylor expansion of (* 2 z) in t 0.576 * [taylor]: Taking taylor expansion of 2 in t 0.576 * [taylor]: Taking taylor expansion of z in t 0.576 * [taylor]: Taking taylor expansion of (* 2 y) in t 0.576 * [taylor]: Taking taylor expansion of 2 in t 0.576 * [taylor]: Taking taylor expansion of y in t 0.576 * [taylor]: Taking taylor expansion of x in t 0.576 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in z 0.576 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in z 0.576 * [taylor]: Taking taylor expansion of t in z 0.576 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in z 0.576 * [taylor]: Taking taylor expansion of (* 2 z) in z 0.576 * [taylor]: Taking taylor expansion of 2 in z 0.576 * [taylor]: Taking taylor expansion of z in z 0.576 * [taylor]: Taking taylor expansion of (* 2 y) in z 0.576 * [taylor]: Taking taylor expansion of 2 in z 0.576 * [taylor]: Taking taylor expansion of y in z 0.576 * [taylor]: Taking taylor expansion of x in z 0.576 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in y 0.576 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in y 0.576 * [taylor]: Taking taylor expansion of t in y 0.576 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in y 0.576 * [taylor]: Taking taylor expansion of (* 2 z) in y 0.576 * [taylor]: Taking taylor expansion of 2 in y 0.576 * [taylor]: Taking taylor expansion of z in y 0.576 * [taylor]: Taking taylor expansion of (* 2 y) in y 0.576 * [taylor]: Taking taylor expansion of 2 in y 0.576 * [taylor]: Taking taylor expansion of y in y 0.576 * [taylor]: Taking taylor expansion of x in y 0.576 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in y 0.576 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in y 0.576 * [taylor]: Taking taylor expansion of t in y 0.576 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in y 0.576 * [taylor]: Taking taylor expansion of (* 2 z) in y 0.576 * [taylor]: Taking taylor expansion of 2 in y 0.576 * [taylor]: Taking taylor expansion of z in y 0.576 * [taylor]: Taking taylor expansion of (* 2 y) in y 0.576 * [taylor]: Taking taylor expansion of 2 in y 0.576 * [taylor]: Taking taylor expansion of y in y 0.576 * [taylor]: Taking taylor expansion of x in y 0.577 * [taylor]: Taking taylor expansion of (* x (+ t (* 2 z))) in z 0.577 * [taylor]: Taking taylor expansion of x in z 0.577 * [taylor]: Taking taylor expansion of (+ t (* 2 z)) in z 0.577 * [taylor]: Taking taylor expansion of t in z 0.577 * [taylor]: Taking taylor expansion of (* 2 z) in z 0.577 * [taylor]: Taking taylor expansion of 2 in z 0.577 * [taylor]: Taking taylor expansion of z in z 0.578 * [taylor]: Taking taylor expansion of (* t x) in t 0.578 * [taylor]: Taking taylor expansion of t in t 0.578 * [taylor]: Taking taylor expansion of x in t 0.578 * [taylor]: Taking taylor expansion of 0 in x 0.579 * [taylor]: Taking taylor expansion of (* 2 x) in z 0.579 * [taylor]: Taking taylor expansion of 2 in z 0.579 * [taylor]: Taking taylor expansion of x in z 0.579 * [taylor]: Taking taylor expansion of (* 2 x) in t 0.579 * [taylor]: Taking taylor expansion of 2 in t 0.579 * [taylor]: Taking taylor expansion of x in t 0.579 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.579 * [taylor]: Taking taylor expansion of 2 in x 0.579 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (* 2 x) in t 0.580 * [taylor]: Taking taylor expansion of 2 in t 0.580 * [taylor]: Taking taylor expansion of x in t 0.581 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.581 * [taylor]: Taking taylor expansion of 2 in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.583 * [taylor]: Taking taylor expansion of 0 in z 0.583 * [taylor]: Taking taylor expansion of 0 in t 0.583 * [taylor]: Taking taylor expansion of 0 in x 0.583 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in (y z t x) around 0 0.583 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in x 0.583 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in x 0.583 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 0.583 * [taylor]: Taking taylor expansion of 2 in x 0.583 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.583 * [taylor]: Taking taylor expansion of y in x 0.583 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in x 0.583 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in x 0.584 * [taylor]: Taking taylor expansion of 2 in x 0.584 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.584 * [taylor]: Taking taylor expansion of z in x 0.584 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.584 * [taylor]: Taking taylor expansion of t in x 0.584 * [taylor]: Taking taylor expansion of x in x 0.584 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in t 0.584 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in t 0.584 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in t 0.584 * [taylor]: Taking taylor expansion of 2 in t 0.584 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.584 * [taylor]: Taking taylor expansion of y in t 0.584 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in t 0.584 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in t 0.584 * [taylor]: Taking taylor expansion of 2 in t 0.584 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.584 * [taylor]: Taking taylor expansion of z in t 0.584 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.584 * [taylor]: Taking taylor expansion of t in t 0.584 * [taylor]: Taking taylor expansion of x in t 0.585 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in z 0.585 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in z 0.585 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 0.585 * [taylor]: Taking taylor expansion of 2 in z 0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.585 * [taylor]: Taking taylor expansion of y in z 0.585 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in z 0.585 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in z 0.585 * [taylor]: Taking taylor expansion of 2 in z 0.585 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.585 * [taylor]: Taking taylor expansion of z in z 0.586 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.586 * [taylor]: Taking taylor expansion of t in z 0.586 * [taylor]: Taking taylor expansion of x in z 0.587 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in y 0.587 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in y 0.587 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.587 * [taylor]: Taking taylor expansion of 2 in y 0.587 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.587 * [taylor]: Taking taylor expansion of y in y 0.587 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in y 0.587 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y 0.587 * [taylor]: Taking taylor expansion of 2 in y 0.587 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.587 * [taylor]: Taking taylor expansion of z in y 0.587 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.587 * [taylor]: Taking taylor expansion of t in y 0.587 * [taylor]: Taking taylor expansion of x in y 0.588 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in y 0.588 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in y 0.588 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.588 * [taylor]: Taking taylor expansion of 2 in y 0.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.588 * [taylor]: Taking taylor expansion of y in y 0.588 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in y 0.588 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y 0.588 * [taylor]: Taking taylor expansion of 2 in y 0.588 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.588 * [taylor]: Taking taylor expansion of z in y 0.588 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.588 * [taylor]: Taking taylor expansion of t in y 0.588 * [taylor]: Taking taylor expansion of x in y 0.589 * [taylor]: Taking taylor expansion of (/ 2 x) in z 0.589 * [taylor]: Taking taylor expansion of 2 in z 0.589 * [taylor]: Taking taylor expansion of x in z 0.590 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) in z 0.590 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z 0.590 * [taylor]: Taking taylor expansion of (* t x) in z 0.590 * [taylor]: Taking taylor expansion of t in z 0.590 * [taylor]: Taking taylor expansion of x in z 0.590 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z 0.590 * [taylor]: Taking taylor expansion of 2 in z 0.590 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.590 * [taylor]: Taking taylor expansion of (* x z) in z 0.590 * [taylor]: Taking taylor expansion of x in z 0.590 * [taylor]: Taking taylor expansion of z in z 0.591 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t 0.591 * [taylor]: Taking taylor expansion of 2 in t 0.591 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.591 * [taylor]: Taking taylor expansion of x in t 0.591 * [taylor]: Taking taylor expansion of (/ 2 x) in t 0.591 * [taylor]: Taking taylor expansion of 2 in t 0.591 * [taylor]: Taking taylor expansion of x in t 0.593 * [taylor]: Taking taylor expansion of 0 in z 0.594 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t 0.594 * [taylor]: Taking taylor expansion of (* t x) in t 0.594 * [taylor]: Taking taylor expansion of t in t 0.594 * [taylor]: Taking taylor expansion of x in t 0.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.594 * [taylor]: Taking taylor expansion of x in x 0.595 * [taylor]: Taking taylor expansion of 0 in t 0.595 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.595 * [taylor]: Taking taylor expansion of 2 in x 0.595 * [taylor]: Taking taylor expansion of x in x 0.595 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.595 * [taylor]: Taking taylor expansion of 2 in x 0.595 * [taylor]: Taking taylor expansion of x in x 0.596 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in (y z t x) around 0 0.596 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in x 0.596 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in x 0.596 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 0.596 * [taylor]: Taking taylor expansion of 2 in x 0.596 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.596 * [taylor]: Taking taylor expansion of y in x 0.596 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in x 0.596 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in x 0.596 * [taylor]: Taking taylor expansion of 2 in x 0.596 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.597 * [taylor]: Taking taylor expansion of z in x 0.597 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.597 * [taylor]: Taking taylor expansion of t in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in t 0.597 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in t 0.597 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in t 0.597 * [taylor]: Taking taylor expansion of 2 in t 0.597 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.597 * [taylor]: Taking taylor expansion of y in t 0.597 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in t 0.597 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in t 0.597 * [taylor]: Taking taylor expansion of 2 in t 0.597 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.597 * [taylor]: Taking taylor expansion of z in t 0.597 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.597 * [taylor]: Taking taylor expansion of t in t 0.597 * [taylor]: Taking taylor expansion of x in t 0.601 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in z 0.601 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in z 0.601 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 0.601 * [taylor]: Taking taylor expansion of 2 in z 0.601 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.601 * [taylor]: Taking taylor expansion of y in z 0.601 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in z 0.601 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in z 0.601 * [taylor]: Taking taylor expansion of 2 in z 0.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.601 * [taylor]: Taking taylor expansion of z in z 0.602 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.602 * [taylor]: Taking taylor expansion of t in z 0.602 * [taylor]: Taking taylor expansion of x in z 0.603 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in y 0.603 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in y 0.603 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.603 * [taylor]: Taking taylor expansion of 2 in y 0.603 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.603 * [taylor]: Taking taylor expansion of y in y 0.603 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in y 0.603 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y 0.603 * [taylor]: Taking taylor expansion of 2 in y 0.603 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.603 * [taylor]: Taking taylor expansion of z in y 0.603 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.603 * [taylor]: Taking taylor expansion of t in y 0.603 * [taylor]: Taking taylor expansion of x in y 0.604 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in y 0.604 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in y 0.604 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.604 * [taylor]: Taking taylor expansion of 2 in y 0.604 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.604 * [taylor]: Taking taylor expansion of y in y 0.604 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in y 0.604 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y 0.604 * [taylor]: Taking taylor expansion of 2 in y 0.604 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.604 * [taylor]: Taking taylor expansion of z in y 0.604 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.604 * [taylor]: Taking taylor expansion of t in y 0.604 * [taylor]: Taking taylor expansion of x in y 0.605 * [taylor]: Taking taylor expansion of (/ 2 x) in z 0.605 * [taylor]: Taking taylor expansion of 2 in z 0.605 * [taylor]: Taking taylor expansion of x in z 0.606 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) in z 0.606 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z 0.606 * [taylor]: Taking taylor expansion of (* t x) in z 0.606 * [taylor]: Taking taylor expansion of t in z 0.606 * [taylor]: Taking taylor expansion of x in z 0.606 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z 0.607 * [taylor]: Taking taylor expansion of 2 in z 0.607 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.607 * [taylor]: Taking taylor expansion of (* x z) in z 0.607 * [taylor]: Taking taylor expansion of x in z 0.607 * [taylor]: Taking taylor expansion of z in z 0.607 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t 0.607 * [taylor]: Taking taylor expansion of 2 in t 0.607 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.607 * [taylor]: Taking taylor expansion of x in t 0.607 * [taylor]: Taking taylor expansion of (/ 2 x) in t 0.607 * [taylor]: Taking taylor expansion of 2 in t 0.607 * [taylor]: Taking taylor expansion of x in t 0.609 * [taylor]: Taking taylor expansion of 0 in z 0.610 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t 0.610 * [taylor]: Taking taylor expansion of (* t x) in t 0.610 * [taylor]: Taking taylor expansion of t in t 0.610 * [taylor]: Taking taylor expansion of x in t 0.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.610 * [taylor]: Taking taylor expansion of x in x 0.611 * [taylor]: Taking taylor expansion of 0 in t 0.611 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.611 * [taylor]: Taking taylor expansion of 2 in x 0.611 * [taylor]: Taking taylor expansion of x in x 0.611 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.611 * [taylor]: Taking taylor expansion of 2 in x 0.611 * [taylor]: Taking taylor expansion of x in x 0.612 * * * * [progress]: [ 2 / 2 ] generating series at (2) 0.612 * [approximate]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in (y z t x) around 0 0.612 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in x 0.613 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in x 0.613 * [taylor]: Taking taylor expansion of 2 in x 0.613 * [taylor]: Taking taylor expansion of (* x z) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of z in x 0.613 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in x 0.613 * [taylor]: Taking taylor expansion of (* 5.0 y) in x 0.613 * [taylor]: Taking taylor expansion of 5.0 in x 0.613 * [taylor]: Taking taylor expansion of y in x 0.613 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in x 0.613 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 0.613 * [taylor]: Taking taylor expansion of 2 in x 0.613 * [taylor]: Taking taylor expansion of (* x y) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of y in x 0.613 * [taylor]: Taking taylor expansion of (* t x) in x 0.613 * [taylor]: Taking taylor expansion of t in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.613 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in t 0.613 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in t 0.613 * [taylor]: Taking taylor expansion of 2 in t 0.613 * [taylor]: Taking taylor expansion of (* x z) in t 0.613 * [taylor]: Taking taylor expansion of x in t 0.613 * [taylor]: Taking taylor expansion of z in t 0.613 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in t 0.613 * [taylor]: Taking taylor expansion of (* 5.0 y) in t 0.613 * [taylor]: Taking taylor expansion of 5.0 in t 0.613 * [taylor]: Taking taylor expansion of y in t 0.613 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in t 0.613 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in t 0.613 * [taylor]: Taking taylor expansion of 2 in t 0.613 * [taylor]: Taking taylor expansion of (* x y) in t 0.613 * [taylor]: Taking taylor expansion of x in t 0.613 * [taylor]: Taking taylor expansion of y in t 0.613 * [taylor]: Taking taylor expansion of (* t x) in t 0.613 * [taylor]: Taking taylor expansion of t in t 0.613 * [taylor]: Taking taylor expansion of x in t 0.613 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in z 0.613 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in z 0.613 * [taylor]: Taking taylor expansion of 2 in z 0.613 * [taylor]: Taking taylor expansion of (* x z) in z 0.613 * [taylor]: Taking taylor expansion of x in z 0.613 * [taylor]: Taking taylor expansion of z in z 0.613 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in z 0.613 * [taylor]: Taking taylor expansion of (* 5.0 y) in z 0.613 * [taylor]: Taking taylor expansion of 5.0 in z 0.613 * [taylor]: Taking taylor expansion of y in z 0.613 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in z 0.613 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in z 0.613 * [taylor]: Taking taylor expansion of 2 in z 0.613 * [taylor]: Taking taylor expansion of (* x y) in z 0.613 * [taylor]: Taking taylor expansion of x in z 0.613 * [taylor]: Taking taylor expansion of y in z 0.613 * [taylor]: Taking taylor expansion of (* t x) in z 0.613 * [taylor]: Taking taylor expansion of t in z 0.613 * [taylor]: Taking taylor expansion of x in z 0.613 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in y 0.613 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in y 0.613 * [taylor]: Taking taylor expansion of 2 in y 0.613 * [taylor]: Taking taylor expansion of (* x z) in y 0.613 * [taylor]: Taking taylor expansion of x in y 0.613 * [taylor]: Taking taylor expansion of z in y 0.614 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in y 0.614 * [taylor]: Taking taylor expansion of (* 5.0 y) in y 0.614 * [taylor]: Taking taylor expansion of 5.0 in y 0.614 * [taylor]: Taking taylor expansion of y in y 0.614 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in y 0.614 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 0.614 * [taylor]: Taking taylor expansion of 2 in y 0.614 * [taylor]: Taking taylor expansion of (* x y) in y 0.614 * [taylor]: Taking taylor expansion of x in y 0.614 * [taylor]: Taking taylor expansion of y in y 0.614 * [taylor]: Taking taylor expansion of (* t x) in y 0.614 * [taylor]: Taking taylor expansion of t in y 0.614 * [taylor]: Taking taylor expansion of x in y 0.614 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in y 0.614 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in y 0.614 * [taylor]: Taking taylor expansion of 2 in y 0.614 * [taylor]: Taking taylor expansion of (* x z) in y 0.614 * [taylor]: Taking taylor expansion of x in y 0.614 * [taylor]: Taking taylor expansion of z in y 0.614 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in y 0.614 * [taylor]: Taking taylor expansion of (* 5.0 y) in y 0.614 * [taylor]: Taking taylor expansion of 5.0 in y 0.614 * [taylor]: Taking taylor expansion of y in y 0.614 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in y 0.614 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 0.614 * [taylor]: Taking taylor expansion of 2 in y 0.614 * [taylor]: Taking taylor expansion of (* x y) in y 0.614 * [taylor]: Taking taylor expansion of x in y 0.614 * [taylor]: Taking taylor expansion of y in y 0.614 * [taylor]: Taking taylor expansion of (* t x) in y 0.614 * [taylor]: Taking taylor expansion of t in y 0.614 * [taylor]: Taking taylor expansion of x in y 0.615 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (* t x)) in z 0.615 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in z 0.615 * [taylor]: Taking taylor expansion of 2 in z 0.615 * [taylor]: Taking taylor expansion of (* x z) in z 0.615 * [taylor]: Taking taylor expansion of x in z 0.615 * [taylor]: Taking taylor expansion of z in z 0.615 * [taylor]: Taking taylor expansion of (* t x) in z 0.615 * [taylor]: Taking taylor expansion of t in z 0.615 * [taylor]: Taking taylor expansion of x in z 0.615 * [taylor]: Taking taylor expansion of (* t x) in t 0.615 * [taylor]: Taking taylor expansion of t in t 0.615 * [taylor]: Taking taylor expansion of x in t 0.615 * [taylor]: Taking taylor expansion of 0 in x 0.617 * [taylor]: Taking taylor expansion of (+ (* 2 x) 5.0) in z 0.617 * [taylor]: Taking taylor expansion of (* 2 x) in z 0.617 * [taylor]: Taking taylor expansion of 2 in z 0.617 * [taylor]: Taking taylor expansion of x in z 0.618 * [taylor]: Taking taylor expansion of 5.0 in z 0.618 * [taylor]: Taking taylor expansion of (+ (* 2 x) 5.0) in t 0.618 * [taylor]: Taking taylor expansion of (* 2 x) in t 0.618 * [taylor]: Taking taylor expansion of 2 in t 0.618 * [taylor]: Taking taylor expansion of x in t 0.618 * [taylor]: Taking taylor expansion of 5.0 in t 0.618 * [taylor]: Taking taylor expansion of (+ (* 2 x) 5.0) in x 0.618 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.618 * [taylor]: Taking taylor expansion of 2 in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.618 * [taylor]: Taking taylor expansion of 5.0 in x 0.619 * [taylor]: Taking taylor expansion of (* 2 x) in t 0.619 * [taylor]: Taking taylor expansion of 2 in t 0.619 * [taylor]: Taking taylor expansion of x in t 0.619 * [taylor]: Taking taylor expansion of (* 2 x) in x 0.619 * [taylor]: Taking taylor expansion of 2 in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.620 * [taylor]: Taking taylor expansion of x in x 0.623 * [taylor]: Taking taylor expansion of 0 in z 0.623 * [taylor]: Taking taylor expansion of 0 in t 0.623 * [taylor]: Taking taylor expansion of 0 in x 0.624 * [taylor]: Taking taylor expansion of 0 in t 0.624 * [taylor]: Taking taylor expansion of 0 in x 0.625 * [taylor]: Taking taylor expansion of 0 in t 0.625 * [taylor]: Taking taylor expansion of 0 in x 0.625 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in (y z t x) around 0 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x 0.625 * [taylor]: Taking taylor expansion of (* t x) in x 0.626 * [taylor]: Taking taylor expansion of t in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in x 0.626 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in x 0.626 * [taylor]: Taking taylor expansion of 2 in x 0.626 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.626 * [taylor]: Taking taylor expansion of (* x z) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of z in x 0.626 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in x 0.626 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in x 0.626 * [taylor]: Taking taylor expansion of 5.0 in x 0.626 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.626 * [taylor]: Taking taylor expansion of y in x 0.626 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 0.626 * [taylor]: Taking taylor expansion of 2 in x 0.626 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.626 * [taylor]: Taking taylor expansion of (* x y) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.627 * [taylor]: Taking taylor expansion of y in x 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in t 0.627 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t 0.627 * [taylor]: Taking taylor expansion of (* t x) in t 0.627 * [taylor]: Taking taylor expansion of t in t 0.627 * [taylor]: Taking taylor expansion of x in t 0.627 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in t 0.627 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in t 0.627 * [taylor]: Taking taylor expansion of 2 in t 0.627 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 0.627 * [taylor]: Taking taylor expansion of (* x z) in t 0.627 * [taylor]: Taking taylor expansion of x in t 0.627 * [taylor]: Taking taylor expansion of z in t 0.627 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in t 0.627 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in t 0.627 * [taylor]: Taking taylor expansion of 5.0 in t 0.627 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.627 * [taylor]: Taking taylor expansion of y in t 0.627 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in t 0.628 * [taylor]: Taking taylor expansion of 2 in t 0.628 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 0.628 * [taylor]: Taking taylor expansion of (* x y) in t 0.628 * [taylor]: Taking taylor expansion of x in t 0.628 * [taylor]: Taking taylor expansion of y in t 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in z 0.628 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z 0.628 * [taylor]: Taking taylor expansion of (* t x) in z 0.628 * [taylor]: Taking taylor expansion of t in z 0.628 * [taylor]: Taking taylor expansion of x in z 0.628 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in z 0.628 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z 0.628 * [taylor]: Taking taylor expansion of 2 in z 0.628 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.628 * [taylor]: Taking taylor expansion of (* x z) in z 0.628 * [taylor]: Taking taylor expansion of x in z 0.628 * [taylor]: Taking taylor expansion of z in z 0.628 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in z 0.628 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in z 0.628 * [taylor]: Taking taylor expansion of 5.0 in z 0.628 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.628 * [taylor]: Taking taylor expansion of y in z 0.628 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z 0.628 * [taylor]: Taking taylor expansion of 2 in z 0.628 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.628 * [taylor]: Taking taylor expansion of (* x y) in z 0.628 * [taylor]: Taking taylor expansion of x in z 0.628 * [taylor]: Taking taylor expansion of y in z 0.628 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in y 0.628 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in y 0.628 * [taylor]: Taking taylor expansion of (* t x) in y 0.628 * [taylor]: Taking taylor expansion of t in y 0.628 * [taylor]: Taking taylor expansion of x in y 0.629 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in y 0.629 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in y 0.629 * [taylor]: Taking taylor expansion of 2 in y 0.629 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.629 * [taylor]: Taking taylor expansion of (* x z) in y 0.629 * [taylor]: Taking taylor expansion of x in y 0.629 * [taylor]: Taking taylor expansion of z in y 0.629 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in y 0.629 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in y 0.629 * [taylor]: Taking taylor expansion of 5.0 in y 0.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.629 * [taylor]: Taking taylor expansion of y in y 0.629 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 0.629 * [taylor]: Taking taylor expansion of 2 in y 0.629 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.629 * [taylor]: Taking taylor expansion of (* x y) in y 0.629 * [taylor]: Taking taylor expansion of x in y 0.629 * [taylor]: Taking taylor expansion of y in y 0.629 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in y 0.629 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in y 0.630 * [taylor]: Taking taylor expansion of (* t x) in y 0.630 * [taylor]: Taking taylor expansion of t in y 0.630 * [taylor]: Taking taylor expansion of x in y 0.630 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in y 0.630 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in y 0.630 * [taylor]: Taking taylor expansion of 2 in y 0.630 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.630 * [taylor]: Taking taylor expansion of (* x z) in y 0.630 * [taylor]: Taking taylor expansion of x in y 0.630 * [taylor]: Taking taylor expansion of z in y 0.630 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in y 0.630 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in y 0.630 * [taylor]: Taking taylor expansion of 5.0 in y 0.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.630 * [taylor]: Taking taylor expansion of y in y 0.630 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 0.630 * [taylor]: Taking taylor expansion of 2 in y 0.630 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.630 * [taylor]: Taking taylor expansion of (* x y) in y 0.630 * [taylor]: Taking taylor expansion of x in y 0.630 * [taylor]: Taking taylor expansion of y in y 0.631 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) 5.0) in z 0.631 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in z 0.631 * [taylor]: Taking taylor expansion of 2 in z 0.631 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.631 * [taylor]: Taking taylor expansion of x in z 0.631 * [taylor]: Taking taylor expansion of 5.0 in z 0.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) in z 0.633 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z 0.633 * [taylor]: Taking taylor expansion of (* t x) in z 0.633 * [taylor]: Taking taylor expansion of t in z 0.633 * [taylor]: Taking taylor expansion of x in z 0.633 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z 0.633 * [taylor]: Taking taylor expansion of 2 in z 0.633 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.633 * [taylor]: Taking taylor expansion of (* x z) in z 0.633 * [taylor]: Taking taylor expansion of x in z 0.633 * [taylor]: Taking taylor expansion of z in z 0.634 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t 0.634 * [taylor]: Taking taylor expansion of 2 in t 0.634 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.634 * [taylor]: Taking taylor expansion of x in t 0.634 * [taylor]: Taking taylor expansion of (+ 5.0 (* 2 (/ 1 x))) in t 0.634 * [taylor]: Taking taylor expansion of 5.0 in t 0.634 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t 0.634 * [taylor]: Taking taylor expansion of 2 in t 0.634 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.634 * [taylor]: Taking taylor expansion of x in t 0.638 * [taylor]: Taking taylor expansion of 0 in z 0.639 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t 0.639 * [taylor]: Taking taylor expansion of (* t x) in t 0.639 * [taylor]: Taking taylor expansion of t in t 0.639 * [taylor]: Taking taylor expansion of x in t 0.639 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.639 * [taylor]: Taking taylor expansion of x in x 0.640 * [taylor]: Taking taylor expansion of 0 in t 0.640 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.640 * [taylor]: Taking taylor expansion of 2 in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.640 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) 5.0) in x 0.640 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.640 * [taylor]: Taking taylor expansion of 2 in x 0.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.640 * [taylor]: Taking taylor expansion of x in x 0.641 * [taylor]: Taking taylor expansion of 5.0 in x 0.642 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in (y z t x) around 0 0.642 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in x 0.642 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in x 0.642 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x 0.642 * [taylor]: Taking taylor expansion of (* t x) in x 0.642 * [taylor]: Taking taylor expansion of t in x 0.642 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in x 0.643 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in x 0.643 * [taylor]: Taking taylor expansion of 2 in x 0.643 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 0.643 * [taylor]: Taking taylor expansion of (* x z) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of z in x 0.643 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 0.643 * [taylor]: Taking taylor expansion of 2 in x 0.643 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.643 * [taylor]: Taking taylor expansion of (* x y) in x 0.643 * [taylor]: Taking taylor expansion of x in x 0.643 * [taylor]: Taking taylor expansion of y in x 0.643 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in x 0.643 * [taylor]: Taking taylor expansion of 5.0 in x 0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.644 * [taylor]: Taking taylor expansion of y in x 0.644 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in t 0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in t 0.644 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t 0.644 * [taylor]: Taking taylor expansion of (* t x) in t 0.644 * [taylor]: Taking taylor expansion of t in t 0.644 * [taylor]: Taking taylor expansion of x in t 0.644 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in t 0.644 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in t 0.644 * [taylor]: Taking taylor expansion of 2 in t 0.644 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 0.644 * [taylor]: Taking taylor expansion of (* x z) in t 0.644 * [taylor]: Taking taylor expansion of x in t 0.644 * [taylor]: Taking taylor expansion of z in t 0.644 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in t 0.644 * [taylor]: Taking taylor expansion of 2 in t 0.644 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 0.644 * [taylor]: Taking taylor expansion of (* x y) in t 0.644 * [taylor]: Taking taylor expansion of x in t 0.644 * [taylor]: Taking taylor expansion of y in t 0.644 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in t 0.644 * [taylor]: Taking taylor expansion of 5.0 in t 0.644 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.644 * [taylor]: Taking taylor expansion of y in t 0.644 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in z 0.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in z 0.644 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z 0.644 * [taylor]: Taking taylor expansion of (* t x) in z 0.644 * [taylor]: Taking taylor expansion of t in z 0.644 * [taylor]: Taking taylor expansion of x in z 0.644 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in z 0.645 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z 0.645 * [taylor]: Taking taylor expansion of 2 in z 0.645 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.645 * [taylor]: Taking taylor expansion of (* x z) in z 0.645 * [taylor]: Taking taylor expansion of x in z 0.645 * [taylor]: Taking taylor expansion of z in z 0.645 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z 0.645 * [taylor]: Taking taylor expansion of 2 in z 0.645 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 0.645 * [taylor]: Taking taylor expansion of (* x y) in z 0.645 * [taylor]: Taking taylor expansion of x in z 0.645 * [taylor]: Taking taylor expansion of y in z 0.645 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in z 0.645 * [taylor]: Taking taylor expansion of 5.0 in z 0.645 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.645 * [taylor]: Taking taylor expansion of y in z 0.645 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in y 0.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in y 0.645 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in y 0.645 * [taylor]: Taking taylor expansion of (* t x) in y 0.645 * [taylor]: Taking taylor expansion of t in y 0.645 * [taylor]: Taking taylor expansion of x in y 0.645 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in y 0.645 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in y 0.645 * [taylor]: Taking taylor expansion of 2 in y 0.645 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.645 * [taylor]: Taking taylor expansion of (* x z) in y 0.645 * [taylor]: Taking taylor expansion of x in y 0.645 * [taylor]: Taking taylor expansion of z in y 0.645 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 0.645 * [taylor]: Taking taylor expansion of 2 in y 0.646 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.646 * [taylor]: Taking taylor expansion of (* x y) in y 0.646 * [taylor]: Taking taylor expansion of x in y 0.646 * [taylor]: Taking taylor expansion of y in y 0.646 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in y 0.646 * [taylor]: Taking taylor expansion of 5.0 in y 0.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.646 * [taylor]: Taking taylor expansion of y in y 0.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in y 0.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in y 0.646 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in y 0.646 * [taylor]: Taking taylor expansion of (* t x) in y 0.646 * [taylor]: Taking taylor expansion of t in y 0.646 * [taylor]: Taking taylor expansion of x in y 0.646 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in y 0.646 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in y 0.646 * [taylor]: Taking taylor expansion of 2 in y 0.646 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 0.646 * [taylor]: Taking taylor expansion of (* x z) in y 0.646 * [taylor]: Taking taylor expansion of x in y 0.646 * [taylor]: Taking taylor expansion of z in y 0.647 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 0.647 * [taylor]: Taking taylor expansion of 2 in y 0.647 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.647 * [taylor]: Taking taylor expansion of (* x y) in y 0.647 * [taylor]: Taking taylor expansion of x in y 0.647 * [taylor]: Taking taylor expansion of y in y 0.647 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in y 0.647 * [taylor]: Taking taylor expansion of 5.0 in y 0.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.647 * [taylor]: Taking taylor expansion of y in y 0.648 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) 5.0) in z 0.648 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in z 0.648 * [taylor]: Taking taylor expansion of 2 in z 0.648 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.648 * [taylor]: Taking taylor expansion of x in z 0.648 * [taylor]: Taking taylor expansion of 5.0 in z 0.650 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) in z 0.650 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z 0.650 * [taylor]: Taking taylor expansion of (* t x) in z 0.651 * [taylor]: Taking taylor expansion of t in z 0.651 * [taylor]: Taking taylor expansion of x in z 0.651 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z 0.651 * [taylor]: Taking taylor expansion of 2 in z 0.651 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 0.651 * [taylor]: Taking taylor expansion of (* x z) in z 0.651 * [taylor]: Taking taylor expansion of x in z 0.651 * [taylor]: Taking taylor expansion of z in z 0.651 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t 0.651 * [taylor]: Taking taylor expansion of 2 in t 0.651 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.651 * [taylor]: Taking taylor expansion of x in t 0.652 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) 5.0) in t 0.652 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t 0.652 * [taylor]: Taking taylor expansion of 2 in t 0.652 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.652 * [taylor]: Taking taylor expansion of x in t 0.652 * [taylor]: Taking taylor expansion of 5.0 in t 0.655 * [taylor]: Taking taylor expansion of 0 in z 0.656 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t 0.656 * [taylor]: Taking taylor expansion of (* t x) in t 0.656 * [taylor]: Taking taylor expansion of t in t 0.656 * [taylor]: Taking taylor expansion of x in t 0.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.657 * [taylor]: Taking taylor expansion of x in x 0.658 * [taylor]: Taking taylor expansion of 0 in t 0.658 * [taylor]: Taking taylor expansion of (/ 2 x) in x 0.658 * [taylor]: Taking taylor expansion of 2 in x 0.658 * [taylor]: Taking taylor expansion of x in x 0.659 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) 5.0) in x 0.659 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 0.659 * [taylor]: Taking taylor expansion of 2 in x 0.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.659 * [taylor]: Taking taylor expansion of 5.0 in x 0.660 * * * [progress]: simplifying candidates 0.661 * [simplify]: Simplifying using # : (* (+ (* 2 (+ y z)) t) x) (+ (log (+ (* 2 (+ y z)) t)) (log x)) (log (* (+ (* 2 (+ y z)) t) x)) (exp (* (+ (* 2 (+ y z)) t) x)) (* (* (* (+ (* 2 (+ y z)) t) (+ (* 2 (+ y z)) t)) (+ (* 2 (+ y z)) t)) (* (* x x) x)) (* (cbrt (* (+ (* 2 (+ y z)) t) x)) (cbrt (* (+ (* 2 (+ y z)) t) x))) (cbrt (* (+ (* 2 (+ y z)) t) x)) (* (* (* (+ (* 2 (+ y z)) t) x) (* (+ (* 2 (+ y z)) t) x)) (* (+ (* 2 (+ y z)) t) x)) (sqrt (* (+ (* 2 (+ y z)) t) x)) (sqrt (* (+ (* 2 (+ y z)) t) x)) (* (sqrt (+ (* 2 (+ y z)) t)) (sqrt x)) (* (sqrt (+ (* 2 (+ y z)) t)) (sqrt x)) (* (+ (* 2 (+ y z)) t) (* (cbrt x) (cbrt x))) (* (+ (* 2 (+ y z)) t) (sqrt x)) (* (+ (* 2 (+ y z)) t) 1) (* (cbrt (+ (* 2 (+ y z)) t)) x) (* (sqrt (+ (* 2 (+ y z)) t)) x) (* (+ (* 2 (+ y z)) t) x) (* (+ (pow (* 2 (+ y z)) 3) (pow t 3)) x) (* (- (* (* 2 (+ y z)) (* 2 (+ y z))) (* t t)) x) (* (exp (* y 5.0)) (exp (* (+ (* 2 (+ y z)) t) x))) (log (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (exp (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (* (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))) (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (* (* (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)) (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (sqrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (sqrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (+ (pow (* y 5.0) 3) (pow (* (+ (* 2 (+ y z)) t) x) 3)) (+ (* (* y 5.0) (* y 5.0)) (- (* (* (+ (* 2 (+ y z)) t) x) (* (+ (* 2 (+ y z)) t) x)) (* (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))) (- (* (* y 5.0) (* y 5.0)) (* (* (+ (* 2 (+ y z)) t) x) (* (+ (* 2 (+ y z)) t) x))) (- (* y 5.0) (* (+ (* 2 (+ y z)) t) x)) 0 (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x))) (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x))) (* 5.0 y) (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x))) (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x))) 0.663 * * [simplify]: iteration 0 : 75 enodes (cost 579 ) 0.677 * * [simplify]: iteration 1 : 227 enodes (cost 545 ) 0.728 * * [simplify]: iteration 2 : 820 enodes (cost 485 )