31.565 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.068 * * * [progress]: [2/2] Setting up program. 0.072 * [progress]: [Phase 2 of 3] Improving. 0.072 * [simplify]: Simplifying using # : (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) 0.073 * * [simplify]: iteration 0 : 23 enodes (cost 29 ) 0.076 * * [simplify]: iteration 1 : 43 enodes (cost 29 ) 0.082 * * [simplify]: iteration 2 : 96 enodes (cost 29 ) 0.098 * * [simplify]: iteration 3 : 248 enodes (cost 29 ) 0.166 * * [simplify]: iteration 4 : 625 enodes (cost 29 ) 0.511 * * [simplify]: iteration 5 : 1579 enodes (cost 29 ) 2.123 * * [simplify]: iteration 6 : 3731 enodes (cost 29 ) 3.492 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 3.492 * [simplify]: Simplified to: (+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* i a)))) (* j (- (* c t) (* i y)))) 3.493 * * [progress]: iteration 1 / 4 3.493 * * * [progress]: picking best candidate 3.496 * * * * [pick]: Picked # 3.496 * * * [progress]: localizing error 3.522 * * * [progress]: generating rewritten candidates 3.522 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.532 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 3.542 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 3.551 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 3.556 * * * [progress]: generating series expansions 3.556 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.556 * [approximate]: Taking taylor expansion of (* x (- (* z y) (* t a))) in (x y z t a) around 0 3.556 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a 3.557 * [taylor]: Taking taylor expansion of x in a 3.557 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a 3.557 * [taylor]: Taking taylor expansion of (* z y) in a 3.557 * [taylor]: Taking taylor expansion of z in a 3.557 * [taylor]: Taking taylor expansion of y in a 3.557 * [taylor]: Taking taylor expansion of (* t a) in a 3.557 * [taylor]: Taking taylor expansion of t in a 3.557 * [taylor]: Taking taylor expansion of a in a 3.557 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t 3.557 * [taylor]: Taking taylor expansion of x in t 3.557 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t 3.557 * [taylor]: Taking taylor expansion of (* z y) in t 3.557 * [taylor]: Taking taylor expansion of z in t 3.557 * [taylor]: Taking taylor expansion of y in t 3.557 * [taylor]: Taking taylor expansion of (* t a) in t 3.557 * [taylor]: Taking taylor expansion of t in t 3.557 * [taylor]: Taking taylor expansion of a in t 3.557 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z 3.557 * [taylor]: Taking taylor expansion of x in z 3.557 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z 3.557 * [taylor]: Taking taylor expansion of (* z y) in z 3.557 * [taylor]: Taking taylor expansion of z in z 3.557 * [taylor]: Taking taylor expansion of y in z 3.557 * [taylor]: Taking taylor expansion of (* t a) in z 3.557 * [taylor]: Taking taylor expansion of t in z 3.557 * [taylor]: Taking taylor expansion of a in z 3.557 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y 3.557 * [taylor]: Taking taylor expansion of x in y 3.557 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y 3.557 * [taylor]: Taking taylor expansion of (* z y) in y 3.557 * [taylor]: Taking taylor expansion of z in y 3.557 * [taylor]: Taking taylor expansion of y in y 3.557 * [taylor]: Taking taylor expansion of (* t a) in y 3.557 * [taylor]: Taking taylor expansion of t in y 3.557 * [taylor]: Taking taylor expansion of a in y 3.557 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x 3.557 * [taylor]: Taking taylor expansion of x in x 3.557 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x 3.557 * [taylor]: Taking taylor expansion of (* z y) in x 3.557 * [taylor]: Taking taylor expansion of z in x 3.557 * [taylor]: Taking taylor expansion of y in x 3.557 * [taylor]: Taking taylor expansion of (* t a) in x 3.557 * [taylor]: Taking taylor expansion of t in x 3.557 * [taylor]: Taking taylor expansion of a in x 3.557 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x 3.557 * [taylor]: Taking taylor expansion of x in x 3.557 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x 3.557 * [taylor]: Taking taylor expansion of (* z y) in x 3.557 * [taylor]: Taking taylor expansion of z in x 3.557 * [taylor]: Taking taylor expansion of y in x 3.557 * [taylor]: Taking taylor expansion of (* t a) in x 3.557 * [taylor]: Taking taylor expansion of t in x 3.557 * [taylor]: Taking taylor expansion of a in x 3.558 * [taylor]: Taking taylor expansion of 0 in y 3.558 * [taylor]: Taking taylor expansion of 0 in z 3.558 * [taylor]: Taking taylor expansion of 0 in t 3.558 * [taylor]: Taking taylor expansion of 0 in a 3.559 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y 3.559 * [taylor]: Taking taylor expansion of (* z y) in y 3.559 * [taylor]: Taking taylor expansion of z in y 3.559 * [taylor]: Taking taylor expansion of y in y 3.559 * [taylor]: Taking taylor expansion of (* t a) in y 3.559 * [taylor]: Taking taylor expansion of t in y 3.559 * [taylor]: Taking taylor expansion of a in y 3.559 * [taylor]: Taking taylor expansion of (- (* t a)) in z 3.559 * [taylor]: Taking taylor expansion of (* t a) in z 3.559 * [taylor]: Taking taylor expansion of t in z 3.559 * [taylor]: Taking taylor expansion of a in z 3.559 * [taylor]: Taking taylor expansion of (- (* t a)) in t 3.559 * [taylor]: Taking taylor expansion of (* t a) in t 3.559 * [taylor]: Taking taylor expansion of t in t 3.559 * [taylor]: Taking taylor expansion of a in t 3.560 * [taylor]: Taking taylor expansion of 0 in a 3.560 * [taylor]: Taking taylor expansion of 0 in z 3.560 * [taylor]: Taking taylor expansion of 0 in t 3.560 * [taylor]: Taking taylor expansion of 0 in a 3.560 * [taylor]: Taking taylor expansion of 0 in t 3.560 * [taylor]: Taking taylor expansion of 0 in a 3.560 * [taylor]: Taking taylor expansion of 0 in a 3.560 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0 3.560 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a 3.560 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a 3.560 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 3.560 * [taylor]: Taking taylor expansion of (* z y) in a 3.560 * [taylor]: Taking taylor expansion of z in a 3.560 * [taylor]: Taking taylor expansion of y in a 3.560 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 3.560 * [taylor]: Taking taylor expansion of (* t a) in a 3.560 * [taylor]: Taking taylor expansion of t in a 3.560 * [taylor]: Taking taylor expansion of a in a 3.561 * [taylor]: Taking taylor expansion of x in a 3.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t 3.561 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t 3.561 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 3.561 * [taylor]: Taking taylor expansion of (* z y) in t 3.561 * [taylor]: Taking taylor expansion of z in t 3.561 * [taylor]: Taking taylor expansion of y in t 3.561 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 3.561 * [taylor]: Taking taylor expansion of (* t a) in t 3.561 * [taylor]: Taking taylor expansion of t in t 3.561 * [taylor]: Taking taylor expansion of a in t 3.561 * [taylor]: Taking taylor expansion of x in t 3.561 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z 3.562 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z 3.562 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 3.562 * [taylor]: Taking taylor expansion of (* z y) in z 3.562 * [taylor]: Taking taylor expansion of z in z 3.562 * [taylor]: Taking taylor expansion of y in z 3.562 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 3.562 * [taylor]: Taking taylor expansion of (* t a) in z 3.562 * [taylor]: Taking taylor expansion of t in z 3.562 * [taylor]: Taking taylor expansion of a in z 3.562 * [taylor]: Taking taylor expansion of x in z 3.562 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y 3.562 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y 3.562 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.562 * [taylor]: Taking taylor expansion of (* z y) in y 3.562 * [taylor]: Taking taylor expansion of z in y 3.562 * [taylor]: Taking taylor expansion of y in y 3.563 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 3.563 * [taylor]: Taking taylor expansion of (* t a) in y 3.563 * [taylor]: Taking taylor expansion of t in y 3.563 * [taylor]: Taking taylor expansion of a in y 3.563 * [taylor]: Taking taylor expansion of x in y 3.563 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x 3.563 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x 3.563 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 3.563 * [taylor]: Taking taylor expansion of (* z y) in x 3.563 * [taylor]: Taking taylor expansion of z in x 3.563 * [taylor]: Taking taylor expansion of y in x 3.563 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 3.563 * [taylor]: Taking taylor expansion of (* t a) in x 3.563 * [taylor]: Taking taylor expansion of t in x 3.563 * [taylor]: Taking taylor expansion of a in x 3.563 * [taylor]: Taking taylor expansion of x in x 3.563 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x 3.563 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x 3.563 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 3.563 * [taylor]: Taking taylor expansion of (* z y) in x 3.563 * [taylor]: Taking taylor expansion of z in x 3.563 * [taylor]: Taking taylor expansion of y in x 3.563 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 3.563 * [taylor]: Taking taylor expansion of (* t a) in x 3.563 * [taylor]: Taking taylor expansion of t in x 3.563 * [taylor]: Taking taylor expansion of a in x 3.564 * [taylor]: Taking taylor expansion of x in x 3.564 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y 3.564 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.564 * [taylor]: Taking taylor expansion of (* z y) in y 3.564 * [taylor]: Taking taylor expansion of z in y 3.564 * [taylor]: Taking taylor expansion of y in y 3.564 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 3.564 * [taylor]: Taking taylor expansion of (* t a) in y 3.564 * [taylor]: Taking taylor expansion of t in y 3.564 * [taylor]: Taking taylor expansion of a in y 3.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.564 * [taylor]: Taking taylor expansion of z in z 3.565 * [taylor]: Taking taylor expansion of 1 in t 3.566 * [taylor]: Taking taylor expansion of 0 in y 3.567 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in z 3.567 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 3.567 * [taylor]: Taking taylor expansion of (* t a) in z 3.567 * [taylor]: Taking taylor expansion of t in z 3.567 * [taylor]: Taking taylor expansion of a in z 3.567 * [taylor]: Taking taylor expansion of 0 in t 3.568 * [taylor]: Taking taylor expansion of 1 in a 3.570 * [taylor]: Taking taylor expansion of 0 in y 3.570 * [taylor]: Taking taylor expansion of 0 in z 3.571 * [taylor]: Taking taylor expansion of 0 in z 3.571 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in t 3.571 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 3.571 * [taylor]: Taking taylor expansion of (* t a) in t 3.571 * [taylor]: Taking taylor expansion of t in t 3.571 * [taylor]: Taking taylor expansion of a in t 3.572 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 3.572 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.572 * [taylor]: Taking taylor expansion of a in a 3.573 * [taylor]: Taking taylor expansion of 0 in t 3.573 * [taylor]: Taking taylor expansion of 0 in a 3.573 * [taylor]: Taking taylor expansion of 0 in a 3.577 * [taylor]: Taking taylor expansion of 0 in y 3.577 * [taylor]: Taking taylor expansion of 0 in z 3.578 * [taylor]: Taking taylor expansion of 0 in z 3.580 * [taylor]: Taking taylor expansion of 0 in z 3.580 * [taylor]: Taking taylor expansion of 0 in t 3.580 * [taylor]: Taking taylor expansion of 0 in t 3.580 * [taylor]: Taking taylor expansion of 0 in t 3.581 * [taylor]: Taking taylor expansion of 0 in t 3.582 * [taylor]: Taking taylor expansion of 0 in a 3.582 * [taylor]: Taking taylor expansion of 0 in a 3.582 * [taylor]: Taking taylor expansion of 0 in a 3.582 * [taylor]: Taking taylor expansion of 0 in a 3.587 * [taylor]: Taking taylor expansion of 0 in y 3.587 * [taylor]: Taking taylor expansion of 0 in z 3.587 * [taylor]: Taking taylor expansion of 0 in z 3.587 * [taylor]: Taking taylor expansion of 0 in z 3.589 * [taylor]: Taking taylor expansion of 0 in z 3.589 * [taylor]: Taking taylor expansion of 0 in t 3.589 * [taylor]: Taking taylor expansion of 0 in t 3.589 * [taylor]: Taking taylor expansion of 0 in t 3.589 * [taylor]: Taking taylor expansion of 0 in t 3.589 * [taylor]: Taking taylor expansion of 0 in t 3.590 * [taylor]: Taking taylor expansion of 0 in t 3.591 * [taylor]: Taking taylor expansion of 0 in t 3.591 * [taylor]: Taking taylor expansion of 0 in a 3.591 * [taylor]: Taking taylor expansion of 0 in a 3.591 * [taylor]: Taking taylor expansion of 0 in a 3.591 * [taylor]: Taking taylor expansion of 0 in a 3.592 * [taylor]: Taking taylor expansion of 0 in a 3.592 * [taylor]: Taking taylor expansion of 0 in a 3.592 * [taylor]: Taking taylor expansion of 0 in a 3.592 * [taylor]: Taking taylor expansion of 0 in a 3.593 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0 3.593 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a 3.593 * [taylor]: Taking taylor expansion of -1 in a 3.593 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a 3.593 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a 3.593 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 3.593 * [taylor]: Taking taylor expansion of (* z y) in a 3.593 * [taylor]: Taking taylor expansion of z in a 3.593 * [taylor]: Taking taylor expansion of y in a 3.593 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 3.593 * [taylor]: Taking taylor expansion of (* t a) in a 3.593 * [taylor]: Taking taylor expansion of t in a 3.593 * [taylor]: Taking taylor expansion of a in a 3.594 * [taylor]: Taking taylor expansion of x in a 3.594 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t 3.594 * [taylor]: Taking taylor expansion of -1 in t 3.594 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t 3.594 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t 3.594 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 3.594 * [taylor]: Taking taylor expansion of (* z y) in t 3.594 * [taylor]: Taking taylor expansion of z in t 3.594 * [taylor]: Taking taylor expansion of y in t 3.594 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 3.594 * [taylor]: Taking taylor expansion of (* t a) in t 3.594 * [taylor]: Taking taylor expansion of t in t 3.594 * [taylor]: Taking taylor expansion of a in t 3.594 * [taylor]: Taking taylor expansion of x in t 3.594 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z 3.594 * [taylor]: Taking taylor expansion of -1 in z 3.594 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z 3.594 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z 3.594 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 3.594 * [taylor]: Taking taylor expansion of (* z y) in z 3.594 * [taylor]: Taking taylor expansion of z in z 3.595 * [taylor]: Taking taylor expansion of y in z 3.595 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 3.595 * [taylor]: Taking taylor expansion of (* t a) in z 3.595 * [taylor]: Taking taylor expansion of t in z 3.595 * [taylor]: Taking taylor expansion of a in z 3.595 * [taylor]: Taking taylor expansion of x in z 3.595 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y 3.595 * [taylor]: Taking taylor expansion of -1 in y 3.595 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y 3.595 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y 3.595 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.595 * [taylor]: Taking taylor expansion of (* z y) in y 3.595 * [taylor]: Taking taylor expansion of z in y 3.595 * [taylor]: Taking taylor expansion of y in y 3.596 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 3.596 * [taylor]: Taking taylor expansion of (* t a) in y 3.596 * [taylor]: Taking taylor expansion of t in y 3.596 * [taylor]: Taking taylor expansion of a in y 3.596 * [taylor]: Taking taylor expansion of x in y 3.596 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x 3.596 * [taylor]: Taking taylor expansion of -1 in x 3.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x 3.596 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x 3.596 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 3.596 * [taylor]: Taking taylor expansion of (* z y) in x 3.596 * [taylor]: Taking taylor expansion of z in x 3.596 * [taylor]: Taking taylor expansion of y in x 3.596 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 3.596 * [taylor]: Taking taylor expansion of (* t a) in x 3.596 * [taylor]: Taking taylor expansion of t in x 3.596 * [taylor]: Taking taylor expansion of a in x 3.596 * [taylor]: Taking taylor expansion of x in x 3.596 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x 3.596 * [taylor]: Taking taylor expansion of -1 in x 3.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x 3.596 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x 3.596 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 3.596 * [taylor]: Taking taylor expansion of (* z y) in x 3.596 * [taylor]: Taking taylor expansion of z in x 3.596 * [taylor]: Taking taylor expansion of y in x 3.596 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 3.596 * [taylor]: Taking taylor expansion of (* t a) in x 3.596 * [taylor]: Taking taylor expansion of t in x 3.596 * [taylor]: Taking taylor expansion of a in x 3.597 * [taylor]: Taking taylor expansion of x in x 3.597 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z y)) (/ 1 (* t a)))) in y 3.597 * [taylor]: Taking taylor expansion of -1 in y 3.597 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y 3.597 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.597 * [taylor]: Taking taylor expansion of (* z y) in y 3.597 * [taylor]: Taking taylor expansion of z in y 3.597 * [taylor]: Taking taylor expansion of y in y 3.597 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 3.597 * [taylor]: Taking taylor expansion of (* t a) in y 3.597 * [taylor]: Taking taylor expansion of t in y 3.598 * [taylor]: Taking taylor expansion of a in y 3.598 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.598 * [taylor]: Taking taylor expansion of -1 in z 3.598 * [taylor]: Taking taylor expansion of z in z 3.598 * [taylor]: Taking taylor expansion of -1 in t 3.600 * [taylor]: Taking taylor expansion of 0 in y 3.600 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 3.601 * [taylor]: Taking taylor expansion of (* t a) in z 3.601 * [taylor]: Taking taylor expansion of t in z 3.601 * [taylor]: Taking taylor expansion of a in z 3.601 * [taylor]: Taking taylor expansion of 0 in t 3.601 * [taylor]: Taking taylor expansion of -1 in a 3.604 * [taylor]: Taking taylor expansion of 0 in y 3.604 * [taylor]: Taking taylor expansion of 0 in z 3.606 * [taylor]: Taking taylor expansion of 0 in z 3.606 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 3.606 * [taylor]: Taking taylor expansion of (* t a) in t 3.606 * [taylor]: Taking taylor expansion of t in t 3.606 * [taylor]: Taking taylor expansion of a in t 3.606 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.606 * [taylor]: Taking taylor expansion of a in a 3.607 * [taylor]: Taking taylor expansion of 0 in t 3.607 * [taylor]: Taking taylor expansion of 0 in a 3.607 * [taylor]: Taking taylor expansion of 0 in a 3.615 * [taylor]: Taking taylor expansion of 0 in y 3.615 * [taylor]: Taking taylor expansion of 0 in z 3.615 * [taylor]: Taking taylor expansion of 0 in z 3.618 * [taylor]: Taking taylor expansion of 0 in z 3.618 * [taylor]: Taking taylor expansion of 0 in t 3.618 * [taylor]: Taking taylor expansion of 0 in t 3.618 * [taylor]: Taking taylor expansion of 0 in t 3.619 * [taylor]: Taking taylor expansion of 0 in t 3.619 * [taylor]: Taking taylor expansion of 0 in a 3.619 * [taylor]: Taking taylor expansion of 0 in a 3.619 * [taylor]: Taking taylor expansion of 0 in a 3.619 * [taylor]: Taking taylor expansion of 0 in a 3.625 * [taylor]: Taking taylor expansion of 0 in y 3.625 * [taylor]: Taking taylor expansion of 0 in z 3.625 * [taylor]: Taking taylor expansion of 0 in z 3.625 * [taylor]: Taking taylor expansion of 0 in z 3.629 * [taylor]: Taking taylor expansion of 0 in z 3.629 * [taylor]: Taking taylor expansion of 0 in t 3.629 * [taylor]: Taking taylor expansion of 0 in t 3.629 * [taylor]: Taking taylor expansion of 0 in t 3.629 * [taylor]: Taking taylor expansion of 0 in t 3.629 * [taylor]: Taking taylor expansion of 0 in t 3.629 * [taylor]: Taking taylor expansion of 0 in t 3.630 * [taylor]: Taking taylor expansion of 0 in t 3.630 * [taylor]: Taking taylor expansion of 0 in a 3.630 * [taylor]: Taking taylor expansion of 0 in a 3.630 * [taylor]: Taking taylor expansion of 0 in a 3.630 * [taylor]: Taking taylor expansion of 0 in a 3.631 * [taylor]: Taking taylor expansion of 0 in a 3.631 * [taylor]: Taking taylor expansion of 0 in a 3.631 * [taylor]: Taking taylor expansion of 0 in a 3.631 * [taylor]: Taking taylor expansion of 0 in a 3.632 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 3.632 * [approximate]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in (b c z i a) around 0 3.632 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in a 3.632 * [taylor]: Taking taylor expansion of (- (* z c) (* a i)) in a 3.632 * [taylor]: Taking taylor expansion of (* z c) in a 3.632 * [taylor]: Taking taylor expansion of z in a 3.632 * [taylor]: Taking taylor expansion of c in a 3.632 * [taylor]: Taking taylor expansion of (* a i) in a 3.632 * [taylor]: Taking taylor expansion of a in a 3.632 * [taylor]: Taking taylor expansion of i in a 3.632 * [taylor]: Taking taylor expansion of b in a 3.632 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in i 3.632 * [taylor]: Taking taylor expansion of (- (* z c) (* a i)) in i 3.632 * [taylor]: Taking taylor expansion of (* z c) in i 3.632 * [taylor]: Taking taylor expansion of z in i 3.632 * [taylor]: Taking taylor expansion of c in i 3.632 * [taylor]: Taking taylor expansion of (* a i) in i 3.632 * [taylor]: Taking taylor expansion of a in i 3.632 * [taylor]: Taking taylor expansion of i in i 3.632 * [taylor]: Taking taylor expansion of b in i 3.632 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in z 3.632 * [taylor]: Taking taylor expansion of (- (* z c) (* a i)) in z 3.632 * [taylor]: Taking taylor expansion of (* z c) in z 3.632 * [taylor]: Taking taylor expansion of z in z 3.632 * [taylor]: Taking taylor expansion of c in z 3.632 * [taylor]: Taking taylor expansion of (* a i) in z 3.632 * [taylor]: Taking taylor expansion of a in z 3.632 * [taylor]: Taking taylor expansion of i in z 3.632 * [taylor]: Taking taylor expansion of b in z 3.632 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in c 3.632 * [taylor]: Taking taylor expansion of (- (* z c) (* a i)) in c 3.633 * [taylor]: Taking taylor expansion of (* z c) in c 3.633 * [taylor]: Taking taylor expansion of z in c 3.633 * [taylor]: Taking taylor expansion of c in c 3.633 * [taylor]: Taking taylor expansion of (* a i) in c 3.633 * [taylor]: Taking taylor expansion of a in c 3.633 * [taylor]: Taking taylor expansion of i in c 3.633 * [taylor]: Taking taylor expansion of b in c 3.633 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in b 3.633 * [taylor]: Taking taylor expansion of (- (* z c) (* a i)) in b 3.633 * [taylor]: Taking taylor expansion of (* z c) in b 3.633 * [taylor]: Taking taylor expansion of z in b 3.633 * [taylor]: Taking taylor expansion of c in b 3.633 * [taylor]: Taking taylor expansion of (* a i) in b 3.633 * [taylor]: Taking taylor expansion of a in b 3.633 * [taylor]: Taking taylor expansion of i in b 3.633 * [taylor]: Taking taylor expansion of b in b 3.633 * [taylor]: Taking taylor expansion of (* (- (* z c) (* a i)) b) in b 3.633 * [taylor]: Taking taylor expansion of (- (* z c) (* a i)) in b 3.633 * [taylor]: Taking taylor expansion of (* z c) in b 3.633 * [taylor]: Taking taylor expansion of z in b 3.633 * [taylor]: Taking taylor expansion of c in b 3.633 * [taylor]: Taking taylor expansion of (* a i) in b 3.633 * [taylor]: Taking taylor expansion of a in b 3.633 * [taylor]: Taking taylor expansion of i in b 3.633 * [taylor]: Taking taylor expansion of b in b 3.633 * [taylor]: Taking taylor expansion of 0 in c 3.633 * [taylor]: Taking taylor expansion of 0 in z 3.633 * [taylor]: Taking taylor expansion of 0 in i 3.633 * [taylor]: Taking taylor expansion of 0 in a 3.634 * [taylor]: Taking taylor expansion of (- (* z c) (* a i)) in c 3.634 * [taylor]: Taking taylor expansion of (* z c) in c 3.634 * [taylor]: Taking taylor expansion of z in c 3.634 * [taylor]: Taking taylor expansion of c in c 3.634 * [taylor]: Taking taylor expansion of (* a i) in c 3.634 * [taylor]: Taking taylor expansion of a in c 3.634 * [taylor]: Taking taylor expansion of i in c 3.634 * [taylor]: Taking taylor expansion of (- (* a i)) in z 3.634 * [taylor]: Taking taylor expansion of (* a i) in z 3.635 * [taylor]: Taking taylor expansion of a in z 3.635 * [taylor]: Taking taylor expansion of i in z 3.635 * [taylor]: Taking taylor expansion of (- (* a i)) in i 3.635 * [taylor]: Taking taylor expansion of (* a i) in i 3.635 * [taylor]: Taking taylor expansion of a in i 3.635 * [taylor]: Taking taylor expansion of i in i 3.635 * [taylor]: Taking taylor expansion of 0 in a 3.635 * [taylor]: Taking taylor expansion of 0 in z 3.635 * [taylor]: Taking taylor expansion of 0 in i 3.635 * [taylor]: Taking taylor expansion of 0 in a 3.635 * [taylor]: Taking taylor expansion of 0 in i 3.635 * [taylor]: Taking taylor expansion of 0 in a 3.635 * [taylor]: Taking taylor expansion of 0 in a 3.635 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in (b c z i a) around 0 3.635 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a 3.635 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in a 3.635 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in a 3.635 * [taylor]: Taking taylor expansion of (* z c) in a 3.635 * [taylor]: Taking taylor expansion of z in a 3.636 * [taylor]: Taking taylor expansion of c in a 3.636 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in a 3.636 * [taylor]: Taking taylor expansion of (* a i) in a 3.636 * [taylor]: Taking taylor expansion of a in a 3.636 * [taylor]: Taking taylor expansion of i in a 3.636 * [taylor]: Taking taylor expansion of b in a 3.636 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i 3.636 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in i 3.636 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i 3.636 * [taylor]: Taking taylor expansion of (* z c) in i 3.636 * [taylor]: Taking taylor expansion of z in i 3.636 * [taylor]: Taking taylor expansion of c in i 3.636 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in i 3.636 * [taylor]: Taking taylor expansion of (* a i) in i 3.637 * [taylor]: Taking taylor expansion of a in i 3.637 * [taylor]: Taking taylor expansion of i in i 3.637 * [taylor]: Taking taylor expansion of b in i 3.637 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z 3.637 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in z 3.637 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z 3.637 * [taylor]: Taking taylor expansion of (* z c) in z 3.637 * [taylor]: Taking taylor expansion of z in z 3.637 * [taylor]: Taking taylor expansion of c in z 3.637 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in z 3.637 * [taylor]: Taking taylor expansion of (* a i) in z 3.637 * [taylor]: Taking taylor expansion of a in z 3.638 * [taylor]: Taking taylor expansion of i in z 3.638 * [taylor]: Taking taylor expansion of b in z 3.638 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in c 3.638 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in c 3.638 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c 3.638 * [taylor]: Taking taylor expansion of (* z c) in c 3.638 * [taylor]: Taking taylor expansion of z in c 3.638 * [taylor]: Taking taylor expansion of c in c 3.638 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in c 3.638 * [taylor]: Taking taylor expansion of (* a i) in c 3.638 * [taylor]: Taking taylor expansion of a in c 3.638 * [taylor]: Taking taylor expansion of i in c 3.638 * [taylor]: Taking taylor expansion of b in c 3.638 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in b 3.638 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in b 3.638 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b 3.638 * [taylor]: Taking taylor expansion of (* z c) in b 3.638 * [taylor]: Taking taylor expansion of z in b 3.638 * [taylor]: Taking taylor expansion of c in b 3.638 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in b 3.638 * [taylor]: Taking taylor expansion of (* a i) in b 3.638 * [taylor]: Taking taylor expansion of a in b 3.638 * [taylor]: Taking taylor expansion of i in b 3.639 * [taylor]: Taking taylor expansion of b in b 3.639 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in b 3.639 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in b 3.639 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b 3.639 * [taylor]: Taking taylor expansion of (* z c) in b 3.639 * [taylor]: Taking taylor expansion of z in b 3.639 * [taylor]: Taking taylor expansion of c in b 3.639 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in b 3.639 * [taylor]: Taking taylor expansion of (* a i) in b 3.639 * [taylor]: Taking taylor expansion of a in b 3.639 * [taylor]: Taking taylor expansion of i in b 3.639 * [taylor]: Taking taylor expansion of b in b 3.639 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in c 3.639 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c 3.639 * [taylor]: Taking taylor expansion of (* z c) in c 3.639 * [taylor]: Taking taylor expansion of z in c 3.639 * [taylor]: Taking taylor expansion of c in c 3.640 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in c 3.640 * [taylor]: Taking taylor expansion of (* a i) in c 3.640 * [taylor]: Taking taylor expansion of a in c 3.640 * [taylor]: Taking taylor expansion of i in c 3.640 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.640 * [taylor]: Taking taylor expansion of z in z 3.640 * [taylor]: Taking taylor expansion of 1 in i 3.642 * [taylor]: Taking taylor expansion of 0 in c 3.642 * [taylor]: Taking taylor expansion of (- (/ 1 (* a i))) in z 3.642 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in z 3.642 * [taylor]: Taking taylor expansion of (* a i) in z 3.642 * [taylor]: Taking taylor expansion of a in z 3.642 * [taylor]: Taking taylor expansion of i in z 3.643 * [taylor]: Taking taylor expansion of 0 in i 3.643 * [taylor]: Taking taylor expansion of 1 in a 3.645 * [taylor]: Taking taylor expansion of 0 in c 3.645 * [taylor]: Taking taylor expansion of 0 in z 3.647 * [taylor]: Taking taylor expansion of 0 in z 3.647 * [taylor]: Taking taylor expansion of (- (/ 1 (* a i))) in i 3.647 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in i 3.647 * [taylor]: Taking taylor expansion of (* a i) in i 3.647 * [taylor]: Taking taylor expansion of a in i 3.647 * [taylor]: Taking taylor expansion of i in i 3.647 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 3.647 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.647 * [taylor]: Taking taylor expansion of a in a 3.648 * [taylor]: Taking taylor expansion of 0 in i 3.648 * [taylor]: Taking taylor expansion of 0 in a 3.648 * [taylor]: Taking taylor expansion of 0 in a 3.652 * [taylor]: Taking taylor expansion of 0 in c 3.652 * [taylor]: Taking taylor expansion of 0 in z 3.652 * [taylor]: Taking taylor expansion of 0 in z 3.653 * [taylor]: Taking taylor expansion of 0 in z 3.653 * [taylor]: Taking taylor expansion of 0 in i 3.653 * [taylor]: Taking taylor expansion of 0 in i 3.654 * [taylor]: Taking taylor expansion of 0 in i 3.654 * [taylor]: Taking taylor expansion of 0 in i 3.655 * [taylor]: Taking taylor expansion of 0 in a 3.655 * [taylor]: Taking taylor expansion of 0 in a 3.655 * [taylor]: Taking taylor expansion of 0 in a 3.655 * [taylor]: Taking taylor expansion of 0 in a 3.660 * [taylor]: Taking taylor expansion of 0 in c 3.660 * [taylor]: Taking taylor expansion of 0 in z 3.660 * [taylor]: Taking taylor expansion of 0 in z 3.660 * [taylor]: Taking taylor expansion of 0 in z 3.662 * [taylor]: Taking taylor expansion of 0 in z 3.662 * [taylor]: Taking taylor expansion of 0 in i 3.662 * [taylor]: Taking taylor expansion of 0 in i 3.662 * [taylor]: Taking taylor expansion of 0 in i 3.662 * [taylor]: Taking taylor expansion of 0 in i 3.662 * [taylor]: Taking taylor expansion of 0 in i 3.663 * [taylor]: Taking taylor expansion of 0 in i 3.664 * [taylor]: Taking taylor expansion of 0 in i 3.664 * [taylor]: Taking taylor expansion of 0 in a 3.664 * [taylor]: Taking taylor expansion of 0 in a 3.664 * [taylor]: Taking taylor expansion of 0 in a 3.664 * [taylor]: Taking taylor expansion of 0 in a 3.665 * [taylor]: Taking taylor expansion of 0 in a 3.665 * [taylor]: Taking taylor expansion of 0 in a 3.665 * [taylor]: Taking taylor expansion of 0 in a 3.665 * [taylor]: Taking taylor expansion of 0 in a 3.665 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in (b c z i a) around 0 3.665 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in a 3.665 * [taylor]: Taking taylor expansion of -1 in a 3.666 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in a 3.666 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in a 3.666 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in a 3.666 * [taylor]: Taking taylor expansion of (* z c) in a 3.666 * [taylor]: Taking taylor expansion of z in a 3.666 * [taylor]: Taking taylor expansion of c in a 3.666 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in a 3.666 * [taylor]: Taking taylor expansion of (* a i) in a 3.666 * [taylor]: Taking taylor expansion of a in a 3.666 * [taylor]: Taking taylor expansion of i in a 3.666 * [taylor]: Taking taylor expansion of b in a 3.666 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in i 3.666 * [taylor]: Taking taylor expansion of -1 in i 3.666 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in i 3.666 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in i 3.666 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in i 3.666 * [taylor]: Taking taylor expansion of (* z c) in i 3.666 * [taylor]: Taking taylor expansion of z in i 3.666 * [taylor]: Taking taylor expansion of c in i 3.666 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in i 3.666 * [taylor]: Taking taylor expansion of (* a i) in i 3.666 * [taylor]: Taking taylor expansion of a in i 3.667 * [taylor]: Taking taylor expansion of i in i 3.667 * [taylor]: Taking taylor expansion of b in i 3.667 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in z 3.667 * [taylor]: Taking taylor expansion of -1 in z 3.667 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in z 3.667 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in z 3.667 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in z 3.667 * [taylor]: Taking taylor expansion of (* z c) in z 3.667 * [taylor]: Taking taylor expansion of z in z 3.667 * [taylor]: Taking taylor expansion of c in z 3.667 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in z 3.667 * [taylor]: Taking taylor expansion of (* a i) in z 3.668 * [taylor]: Taking taylor expansion of a in z 3.668 * [taylor]: Taking taylor expansion of i in z 3.668 * [taylor]: Taking taylor expansion of b in z 3.668 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in c 3.668 * [taylor]: Taking taylor expansion of -1 in c 3.668 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in c 3.668 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in c 3.668 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c 3.668 * [taylor]: Taking taylor expansion of (* z c) in c 3.668 * [taylor]: Taking taylor expansion of z in c 3.668 * [taylor]: Taking taylor expansion of c in c 3.668 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in c 3.668 * [taylor]: Taking taylor expansion of (* a i) in c 3.668 * [taylor]: Taking taylor expansion of a in c 3.668 * [taylor]: Taking taylor expansion of i in c 3.668 * [taylor]: Taking taylor expansion of b in c 3.668 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in b 3.668 * [taylor]: Taking taylor expansion of -1 in b 3.668 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in b 3.668 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in b 3.668 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b 3.668 * [taylor]: Taking taylor expansion of (* z c) in b 3.668 * [taylor]: Taking taylor expansion of z in b 3.668 * [taylor]: Taking taylor expansion of c in b 3.669 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in b 3.669 * [taylor]: Taking taylor expansion of (* a i) in b 3.669 * [taylor]: Taking taylor expansion of a in b 3.669 * [taylor]: Taking taylor expansion of i in b 3.669 * [taylor]: Taking taylor expansion of b in b 3.669 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b)) in b 3.669 * [taylor]: Taking taylor expansion of -1 in b 3.669 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z c)) (/ 1 (* a i))) b) in b 3.669 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in b 3.669 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in b 3.669 * [taylor]: Taking taylor expansion of (* z c) in b 3.669 * [taylor]: Taking taylor expansion of z in b 3.669 * [taylor]: Taking taylor expansion of c in b 3.669 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in b 3.669 * [taylor]: Taking taylor expansion of (* a i) in b 3.669 * [taylor]: Taking taylor expansion of a in b 3.669 * [taylor]: Taking taylor expansion of i in b 3.669 * [taylor]: Taking taylor expansion of b in b 3.670 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z c)) (/ 1 (* a i)))) in c 3.670 * [taylor]: Taking taylor expansion of -1 in c 3.670 * [taylor]: Taking taylor expansion of (- (/ 1 (* z c)) (/ 1 (* a i))) in c 3.670 * [taylor]: Taking taylor expansion of (/ 1 (* z c)) in c 3.670 * [taylor]: Taking taylor expansion of (* z c) in c 3.670 * [taylor]: Taking taylor expansion of z in c 3.670 * [taylor]: Taking taylor expansion of c in c 3.670 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in c 3.670 * [taylor]: Taking taylor expansion of (* a i) in c 3.670 * [taylor]: Taking taylor expansion of a in c 3.670 * [taylor]: Taking taylor expansion of i in c 3.670 * [taylor]: Taking taylor expansion of (/ -1 z) in z 3.670 * [taylor]: Taking taylor expansion of -1 in z 3.670 * [taylor]: Taking taylor expansion of z in z 3.671 * [taylor]: Taking taylor expansion of -1 in i 3.672 * [taylor]: Taking taylor expansion of 0 in c 3.673 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in z 3.673 * [taylor]: Taking taylor expansion of (* a i) in z 3.673 * [taylor]: Taking taylor expansion of a in z 3.673 * [taylor]: Taking taylor expansion of i in z 3.674 * [taylor]: Taking taylor expansion of 0 in i 3.674 * [taylor]: Taking taylor expansion of -1 in a 3.677 * [taylor]: Taking taylor expansion of 0 in c 3.677 * [taylor]: Taking taylor expansion of 0 in z 3.679 * [taylor]: Taking taylor expansion of 0 in z 3.679 * [taylor]: Taking taylor expansion of (/ 1 (* a i)) in i 3.679 * [taylor]: Taking taylor expansion of (* a i) in i 3.679 * [taylor]: Taking taylor expansion of a in i 3.679 * [taylor]: Taking taylor expansion of i in i 3.679 * [taylor]: Taking taylor expansion of (/ 1 a) in a 3.679 * [taylor]: Taking taylor expansion of a in a 3.680 * [taylor]: Taking taylor expansion of 0 in i 3.680 * [taylor]: Taking taylor expansion of 0 in a 3.680 * [taylor]: Taking taylor expansion of 0 in a 3.685 * [taylor]: Taking taylor expansion of 0 in c 3.685 * [taylor]: Taking taylor expansion of 0 in z 3.685 * [taylor]: Taking taylor expansion of 0 in z 3.687 * [taylor]: Taking taylor expansion of 0 in z 3.687 * [taylor]: Taking taylor expansion of 0 in i 3.687 * [taylor]: Taking taylor expansion of 0 in i 3.688 * [taylor]: Taking taylor expansion of 0 in i 3.688 * [taylor]: Taking taylor expansion of 0 in i 3.689 * [taylor]: Taking taylor expansion of 0 in a 3.689 * [taylor]: Taking taylor expansion of 0 in a 3.689 * [taylor]: Taking taylor expansion of 0 in a 3.689 * [taylor]: Taking taylor expansion of 0 in a 3.694 * [taylor]: Taking taylor expansion of 0 in c 3.695 * [taylor]: Taking taylor expansion of 0 in z 3.695 * [taylor]: Taking taylor expansion of 0 in z 3.695 * [taylor]: Taking taylor expansion of 0 in z 3.697 * [taylor]: Taking taylor expansion of 0 in z 3.698 * [taylor]: Taking taylor expansion of 0 in i 3.698 * [taylor]: Taking taylor expansion of 0 in i 3.698 * [taylor]: Taking taylor expansion of 0 in i 3.698 * [taylor]: Taking taylor expansion of 0 in i 3.698 * [taylor]: Taking taylor expansion of 0 in i 3.698 * [taylor]: Taking taylor expansion of 0 in i 3.699 * [taylor]: Taking taylor expansion of 0 in i 3.699 * [taylor]: Taking taylor expansion of 0 in a 3.699 * [taylor]: Taking taylor expansion of 0 in a 3.699 * [taylor]: Taking taylor expansion of 0 in a 3.699 * [taylor]: Taking taylor expansion of 0 in a 3.700 * [taylor]: Taking taylor expansion of 0 in a 3.700 * [taylor]: Taking taylor expansion of 0 in a 3.700 * [taylor]: Taking taylor expansion of 0 in a 3.700 * [taylor]: Taking taylor expansion of 0 in a 3.700 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 3.700 * [approximate]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in (j c t i y) around 0 3.700 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y 3.700 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in y 3.700 * [taylor]: Taking taylor expansion of (* t c) in y 3.700 * [taylor]: Taking taylor expansion of t in y 3.700 * [taylor]: Taking taylor expansion of c in y 3.700 * [taylor]: Taking taylor expansion of (* i y) in y 3.700 * [taylor]: Taking taylor expansion of i in y 3.700 * [taylor]: Taking taylor expansion of y in y 3.700 * [taylor]: Taking taylor expansion of j in y 3.700 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i 3.700 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in i 3.701 * [taylor]: Taking taylor expansion of (* t c) in i 3.701 * [taylor]: Taking taylor expansion of t in i 3.701 * [taylor]: Taking taylor expansion of c in i 3.701 * [taylor]: Taking taylor expansion of (* i y) in i 3.701 * [taylor]: Taking taylor expansion of i in i 3.701 * [taylor]: Taking taylor expansion of y in i 3.701 * [taylor]: Taking taylor expansion of j in i 3.701 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t 3.701 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in t 3.701 * [taylor]: Taking taylor expansion of (* t c) in t 3.701 * [taylor]: Taking taylor expansion of t in t 3.701 * [taylor]: Taking taylor expansion of c in t 3.701 * [taylor]: Taking taylor expansion of (* i y) in t 3.701 * [taylor]: Taking taylor expansion of i in t 3.701 * [taylor]: Taking taylor expansion of y in t 3.701 * [taylor]: Taking taylor expansion of j in t 3.701 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in c 3.701 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 3.701 * [taylor]: Taking taylor expansion of (* t c) in c 3.701 * [taylor]: Taking taylor expansion of t in c 3.701 * [taylor]: Taking taylor expansion of c in c 3.701 * [taylor]: Taking taylor expansion of (* i y) in c 3.701 * [taylor]: Taking taylor expansion of i in c 3.701 * [taylor]: Taking taylor expansion of y in c 3.701 * [taylor]: Taking taylor expansion of j in c 3.701 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in j 3.701 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in j 3.701 * [taylor]: Taking taylor expansion of (* t c) in j 3.701 * [taylor]: Taking taylor expansion of t in j 3.701 * [taylor]: Taking taylor expansion of c in j 3.701 * [taylor]: Taking taylor expansion of (* i y) in j 3.701 * [taylor]: Taking taylor expansion of i in j 3.701 * [taylor]: Taking taylor expansion of y in j 3.701 * [taylor]: Taking taylor expansion of j in j 3.701 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in j 3.701 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in j 3.701 * [taylor]: Taking taylor expansion of (* t c) in j 3.701 * [taylor]: Taking taylor expansion of t in j 3.701 * [taylor]: Taking taylor expansion of c in j 3.701 * [taylor]: Taking taylor expansion of (* i y) in j 3.701 * [taylor]: Taking taylor expansion of i in j 3.701 * [taylor]: Taking taylor expansion of y in j 3.701 * [taylor]: Taking taylor expansion of j in j 3.701 * [taylor]: Taking taylor expansion of 0 in c 3.701 * [taylor]: Taking taylor expansion of 0 in t 3.701 * [taylor]: Taking taylor expansion of 0 in i 3.701 * [taylor]: Taking taylor expansion of 0 in y 3.703 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 3.703 * [taylor]: Taking taylor expansion of (* t c) in c 3.703 * [taylor]: Taking taylor expansion of t in c 3.703 * [taylor]: Taking taylor expansion of c in c 3.703 * [taylor]: Taking taylor expansion of (* i y) in c 3.703 * [taylor]: Taking taylor expansion of i in c 3.703 * [taylor]: Taking taylor expansion of y in c 3.703 * [taylor]: Taking taylor expansion of (- (* i y)) in t 3.703 * [taylor]: Taking taylor expansion of (* i y) in t 3.703 * [taylor]: Taking taylor expansion of i in t 3.703 * [taylor]: Taking taylor expansion of y in t 3.703 * [taylor]: Taking taylor expansion of (- (* i y)) in i 3.703 * [taylor]: Taking taylor expansion of (* i y) in i 3.703 * [taylor]: Taking taylor expansion of i in i 3.703 * [taylor]: Taking taylor expansion of y in i 3.706 * [taylor]: Taking taylor expansion of 0 in y 3.706 * [taylor]: Taking taylor expansion of 0 in t 3.706 * [taylor]: Taking taylor expansion of 0 in i 3.706 * [taylor]: Taking taylor expansion of 0 in y 3.706 * [taylor]: Taking taylor expansion of 0 in i 3.706 * [taylor]: Taking taylor expansion of 0 in y 3.706 * [taylor]: Taking taylor expansion of 0 in y 3.706 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in (j c t i y) around 0 3.706 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y 3.706 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 3.706 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 3.706 * [taylor]: Taking taylor expansion of (* t c) in y 3.706 * [taylor]: Taking taylor expansion of t in y 3.706 * [taylor]: Taking taylor expansion of c in y 3.706 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 3.706 * [taylor]: Taking taylor expansion of (* i y) in y 3.706 * [taylor]: Taking taylor expansion of i in y 3.707 * [taylor]: Taking taylor expansion of y in y 3.707 * [taylor]: Taking taylor expansion of j in y 3.707 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i 3.707 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 3.707 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 3.707 * [taylor]: Taking taylor expansion of (* t c) in i 3.707 * [taylor]: Taking taylor expansion of t in i 3.707 * [taylor]: Taking taylor expansion of c in i 3.707 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 3.707 * [taylor]: Taking taylor expansion of (* i y) in i 3.707 * [taylor]: Taking taylor expansion of i in i 3.707 * [taylor]: Taking taylor expansion of y in i 3.708 * [taylor]: Taking taylor expansion of j in i 3.708 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t 3.708 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 3.708 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 3.708 * [taylor]: Taking taylor expansion of (* t c) in t 3.708 * [taylor]: Taking taylor expansion of t in t 3.708 * [taylor]: Taking taylor expansion of c in t 3.708 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 3.708 * [taylor]: Taking taylor expansion of (* i y) in t 3.708 * [taylor]: Taking taylor expansion of i in t 3.708 * [taylor]: Taking taylor expansion of y in t 3.708 * [taylor]: Taking taylor expansion of j in t 3.708 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c 3.708 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 3.709 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 3.709 * [taylor]: Taking taylor expansion of (* t c) in c 3.709 * [taylor]: Taking taylor expansion of t in c 3.709 * [taylor]: Taking taylor expansion of c in c 3.709 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 3.709 * [taylor]: Taking taylor expansion of (* i y) in c 3.709 * [taylor]: Taking taylor expansion of i in c 3.709 * [taylor]: Taking taylor expansion of y in c 3.709 * [taylor]: Taking taylor expansion of j in c 3.709 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 3.709 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 3.709 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 3.709 * [taylor]: Taking taylor expansion of (* t c) in j 3.709 * [taylor]: Taking taylor expansion of t in j 3.709 * [taylor]: Taking taylor expansion of c in j 3.709 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 3.709 * [taylor]: Taking taylor expansion of (* i y) in j 3.709 * [taylor]: Taking taylor expansion of i in j 3.709 * [taylor]: Taking taylor expansion of y in j 3.709 * [taylor]: Taking taylor expansion of j in j 3.710 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 3.710 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 3.710 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 3.710 * [taylor]: Taking taylor expansion of (* t c) in j 3.710 * [taylor]: Taking taylor expansion of t in j 3.710 * [taylor]: Taking taylor expansion of c in j 3.710 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 3.710 * [taylor]: Taking taylor expansion of (* i y) in j 3.710 * [taylor]: Taking taylor expansion of i in j 3.710 * [taylor]: Taking taylor expansion of y in j 3.710 * [taylor]: Taking taylor expansion of j in j 3.710 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 3.710 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 3.710 * [taylor]: Taking taylor expansion of (* t c) in c 3.710 * [taylor]: Taking taylor expansion of t in c 3.710 * [taylor]: Taking taylor expansion of c in c 3.711 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 3.711 * [taylor]: Taking taylor expansion of (* i y) in c 3.711 * [taylor]: Taking taylor expansion of i in c 3.711 * [taylor]: Taking taylor expansion of y in c 3.711 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.711 * [taylor]: Taking taylor expansion of t in t 3.711 * [taylor]: Taking taylor expansion of 1 in i 3.713 * [taylor]: Taking taylor expansion of 0 in c 3.713 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in t 3.713 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 3.713 * [taylor]: Taking taylor expansion of (* i y) in t 3.713 * [taylor]: Taking taylor expansion of i in t 3.713 * [taylor]: Taking taylor expansion of y in t 3.714 * [taylor]: Taking taylor expansion of 0 in i 3.714 * [taylor]: Taking taylor expansion of 1 in y 3.716 * [taylor]: Taking taylor expansion of 0 in c 3.716 * [taylor]: Taking taylor expansion of 0 in t 3.717 * [taylor]: Taking taylor expansion of 0 in t 3.718 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in i 3.718 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 3.718 * [taylor]: Taking taylor expansion of (* i y) in i 3.718 * [taylor]: Taking taylor expansion of i in i 3.718 * [taylor]: Taking taylor expansion of y in i 3.718 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.718 * [taylor]: Taking taylor expansion of y in y 3.719 * [taylor]: Taking taylor expansion of 0 in i 3.719 * [taylor]: Taking taylor expansion of 0 in y 3.719 * [taylor]: Taking taylor expansion of 0 in y 3.722 * [taylor]: Taking taylor expansion of 0 in c 3.722 * [taylor]: Taking taylor expansion of 0 in t 3.723 * [taylor]: Taking taylor expansion of 0 in t 3.724 * [taylor]: Taking taylor expansion of 0 in t 3.724 * [taylor]: Taking taylor expansion of 0 in i 3.724 * [taylor]: Taking taylor expansion of 0 in i 3.725 * [taylor]: Taking taylor expansion of 0 in i 3.725 * [taylor]: Taking taylor expansion of 0 in i 3.726 * [taylor]: Taking taylor expansion of 0 in y 3.726 * [taylor]: Taking taylor expansion of 0 in y 3.726 * [taylor]: Taking taylor expansion of 0 in y 3.726 * [taylor]: Taking taylor expansion of 0 in y 3.731 * [taylor]: Taking taylor expansion of 0 in c 3.731 * [taylor]: Taking taylor expansion of 0 in t 3.731 * [taylor]: Taking taylor expansion of 0 in t 3.731 * [taylor]: Taking taylor expansion of 0 in t 3.734 * [taylor]: Taking taylor expansion of 0 in t 3.734 * [taylor]: Taking taylor expansion of 0 in i 3.734 * [taylor]: Taking taylor expansion of 0 in i 3.734 * [taylor]: Taking taylor expansion of 0 in i 3.734 * [taylor]: Taking taylor expansion of 0 in i 3.734 * [taylor]: Taking taylor expansion of 0 in i 3.735 * [taylor]: Taking taylor expansion of 0 in i 3.735 * [taylor]: Taking taylor expansion of 0 in i 3.735 * [taylor]: Taking taylor expansion of 0 in y 3.735 * [taylor]: Taking taylor expansion of 0 in y 3.735 * [taylor]: Taking taylor expansion of 0 in y 3.735 * [taylor]: Taking taylor expansion of 0 in y 3.737 * [taylor]: Taking taylor expansion of 0 in y 3.737 * [taylor]: Taking taylor expansion of 0 in y 3.737 * [taylor]: Taking taylor expansion of 0 in y 3.737 * [taylor]: Taking taylor expansion of 0 in y 3.738 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in (j c t i y) around 0 3.738 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y 3.738 * [taylor]: Taking taylor expansion of -1 in y 3.738 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y 3.738 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 3.738 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 3.738 * [taylor]: Taking taylor expansion of (* t c) in y 3.738 * [taylor]: Taking taylor expansion of t in y 3.738 * [taylor]: Taking taylor expansion of c in y 3.738 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 3.738 * [taylor]: Taking taylor expansion of (* i y) in y 3.738 * [taylor]: Taking taylor expansion of i in y 3.738 * [taylor]: Taking taylor expansion of y in y 3.738 * [taylor]: Taking taylor expansion of j in y 3.739 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i 3.739 * [taylor]: Taking taylor expansion of -1 in i 3.739 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i 3.739 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 3.739 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 3.739 * [taylor]: Taking taylor expansion of (* t c) in i 3.739 * [taylor]: Taking taylor expansion of t in i 3.739 * [taylor]: Taking taylor expansion of c in i 3.739 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 3.739 * [taylor]: Taking taylor expansion of (* i y) in i 3.739 * [taylor]: Taking taylor expansion of i in i 3.739 * [taylor]: Taking taylor expansion of y in i 3.739 * [taylor]: Taking taylor expansion of j in i 3.739 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t 3.739 * [taylor]: Taking taylor expansion of -1 in t 3.739 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t 3.739 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 3.739 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 3.739 * [taylor]: Taking taylor expansion of (* t c) in t 3.739 * [taylor]: Taking taylor expansion of t in t 3.739 * [taylor]: Taking taylor expansion of c in t 3.740 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 3.740 * [taylor]: Taking taylor expansion of (* i y) in t 3.740 * [taylor]: Taking taylor expansion of i in t 3.740 * [taylor]: Taking taylor expansion of y in t 3.740 * [taylor]: Taking taylor expansion of j in t 3.740 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c 3.740 * [taylor]: Taking taylor expansion of -1 in c 3.740 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c 3.740 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 3.740 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 3.740 * [taylor]: Taking taylor expansion of (* t c) in c 3.740 * [taylor]: Taking taylor expansion of t in c 3.740 * [taylor]: Taking taylor expansion of c in c 3.740 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 3.740 * [taylor]: Taking taylor expansion of (* i y) in c 3.740 * [taylor]: Taking taylor expansion of i in c 3.740 * [taylor]: Taking taylor expansion of y in c 3.741 * [taylor]: Taking taylor expansion of j in c 3.741 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in j 3.741 * [taylor]: Taking taylor expansion of -1 in j 3.741 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 3.741 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 3.741 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 3.741 * [taylor]: Taking taylor expansion of (* t c) in j 3.741 * [taylor]: Taking taylor expansion of t in j 3.741 * [taylor]: Taking taylor expansion of c in j 3.741 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 3.741 * [taylor]: Taking taylor expansion of (* i y) in j 3.741 * [taylor]: Taking taylor expansion of i in j 3.741 * [taylor]: Taking taylor expansion of y in j 3.741 * [taylor]: Taking taylor expansion of j in j 3.741 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in j 3.741 * [taylor]: Taking taylor expansion of -1 in j 3.741 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 3.741 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 3.741 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 3.741 * [taylor]: Taking taylor expansion of (* t c) in j 3.741 * [taylor]: Taking taylor expansion of t in j 3.741 * [taylor]: Taking taylor expansion of c in j 3.741 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 3.741 * [taylor]: Taking taylor expansion of (* i y) in j 3.741 * [taylor]: Taking taylor expansion of i in j 3.741 * [taylor]: Taking taylor expansion of y in j 3.741 * [taylor]: Taking taylor expansion of j in j 3.742 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* t c)) (/ 1 (* i y)))) in c 3.742 * [taylor]: Taking taylor expansion of -1 in c 3.742 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 3.742 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 3.742 * [taylor]: Taking taylor expansion of (* t c) in c 3.742 * [taylor]: Taking taylor expansion of t in c 3.742 * [taylor]: Taking taylor expansion of c in c 3.742 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 3.742 * [taylor]: Taking taylor expansion of (* i y) in c 3.742 * [taylor]: Taking taylor expansion of i in c 3.742 * [taylor]: Taking taylor expansion of y in c 3.743 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.743 * [taylor]: Taking taylor expansion of -1 in t 3.743 * [taylor]: Taking taylor expansion of t in t 3.743 * [taylor]: Taking taylor expansion of -1 in i 3.745 * [taylor]: Taking taylor expansion of 0 in c 3.745 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 3.745 * [taylor]: Taking taylor expansion of (* i y) in t 3.745 * [taylor]: Taking taylor expansion of i in t 3.745 * [taylor]: Taking taylor expansion of y in t 3.746 * [taylor]: Taking taylor expansion of 0 in i 3.746 * [taylor]: Taking taylor expansion of -1 in y 3.749 * [taylor]: Taking taylor expansion of 0 in c 3.749 * [taylor]: Taking taylor expansion of 0 in t 3.751 * [taylor]: Taking taylor expansion of 0 in t 3.751 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 3.751 * [taylor]: Taking taylor expansion of (* i y) in i 3.751 * [taylor]: Taking taylor expansion of i in i 3.751 * [taylor]: Taking taylor expansion of y in i 3.751 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.751 * [taylor]: Taking taylor expansion of y in y 3.752 * [taylor]: Taking taylor expansion of 0 in i 3.752 * [taylor]: Taking taylor expansion of 0 in y 3.752 * [taylor]: Taking taylor expansion of 0 in y 3.756 * [taylor]: Taking taylor expansion of 0 in c 3.756 * [taylor]: Taking taylor expansion of 0 in t 3.756 * [taylor]: Taking taylor expansion of 0 in t 3.759 * [taylor]: Taking taylor expansion of 0 in t 3.759 * [taylor]: Taking taylor expansion of 0 in i 3.759 * [taylor]: Taking taylor expansion of 0 in i 3.759 * [taylor]: Taking taylor expansion of 0 in i 3.760 * [taylor]: Taking taylor expansion of 0 in i 3.760 * [taylor]: Taking taylor expansion of 0 in y 3.760 * [taylor]: Taking taylor expansion of 0 in y 3.760 * [taylor]: Taking taylor expansion of 0 in y 3.760 * [taylor]: Taking taylor expansion of 0 in y 3.766 * [taylor]: Taking taylor expansion of 0 in c 3.766 * [taylor]: Taking taylor expansion of 0 in t 3.766 * [taylor]: Taking taylor expansion of 0 in t 3.766 * [taylor]: Taking taylor expansion of 0 in t 3.769 * [taylor]: Taking taylor expansion of 0 in t 3.769 * [taylor]: Taking taylor expansion of 0 in i 3.769 * [taylor]: Taking taylor expansion of 0 in i 3.769 * [taylor]: Taking taylor expansion of 0 in i 3.769 * [taylor]: Taking taylor expansion of 0 in i 3.769 * [taylor]: Taking taylor expansion of 0 in i 3.770 * [taylor]: Taking taylor expansion of 0 in i 3.770 * [taylor]: Taking taylor expansion of 0 in i 3.771 * [taylor]: Taking taylor expansion of 0 in y 3.771 * [taylor]: Taking taylor expansion of 0 in y 3.771 * [taylor]: Taking taylor expansion of 0 in y 3.771 * [taylor]: Taking taylor expansion of 0 in y 3.772 * [taylor]: Taking taylor expansion of 0 in y 3.772 * [taylor]: Taking taylor expansion of 0 in y 3.772 * [taylor]: Taking taylor expansion of 0 in y 3.772 * [taylor]: Taking taylor expansion of 0 in y 3.772 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 3.772 * [approximate]: Taking taylor expansion of (- (* t c) (* i y)) in (c t i y) around 0 3.772 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in y 3.772 * [taylor]: Taking taylor expansion of (* t c) in y 3.772 * [taylor]: Taking taylor expansion of t in y 3.772 * [taylor]: Taking taylor expansion of c in y 3.772 * [taylor]: Taking taylor expansion of (* i y) in y 3.772 * [taylor]: Taking taylor expansion of i in y 3.772 * [taylor]: Taking taylor expansion of y in y 3.773 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in i 3.773 * [taylor]: Taking taylor expansion of (* t c) in i 3.773 * [taylor]: Taking taylor expansion of t in i 3.773 * [taylor]: Taking taylor expansion of c in i 3.773 * [taylor]: Taking taylor expansion of (* i y) in i 3.773 * [taylor]: Taking taylor expansion of i in i 3.773 * [taylor]: Taking taylor expansion of y in i 3.773 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in t 3.773 * [taylor]: Taking taylor expansion of (* t c) in t 3.773 * [taylor]: Taking taylor expansion of t in t 3.773 * [taylor]: Taking taylor expansion of c in t 3.773 * [taylor]: Taking taylor expansion of (* i y) in t 3.773 * [taylor]: Taking taylor expansion of i in t 3.773 * [taylor]: Taking taylor expansion of y in t 3.773 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 3.773 * [taylor]: Taking taylor expansion of (* t c) in c 3.773 * [taylor]: Taking taylor expansion of t in c 3.773 * [taylor]: Taking taylor expansion of c in c 3.773 * [taylor]: Taking taylor expansion of (* i y) in c 3.773 * [taylor]: Taking taylor expansion of i in c 3.773 * [taylor]: Taking taylor expansion of y in c 3.773 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 3.773 * [taylor]: Taking taylor expansion of (* t c) in c 3.773 * [taylor]: Taking taylor expansion of t in c 3.773 * [taylor]: Taking taylor expansion of c in c 3.773 * [taylor]: Taking taylor expansion of (* i y) in c 3.773 * [taylor]: Taking taylor expansion of i in c 3.773 * [taylor]: Taking taylor expansion of y in c 3.773 * [taylor]: Taking taylor expansion of (- (* i y)) in t 3.773 * [taylor]: Taking taylor expansion of (* i y) in t 3.773 * [taylor]: Taking taylor expansion of i in t 3.773 * [taylor]: Taking taylor expansion of y in t 3.773 * [taylor]: Taking taylor expansion of (- (* i y)) in i 3.773 * [taylor]: Taking taylor expansion of (* i y) in i 3.773 * [taylor]: Taking taylor expansion of i in i 3.773 * [taylor]: Taking taylor expansion of y in i 3.774 * [taylor]: Taking taylor expansion of 0 in y 3.774 * [taylor]: Taking taylor expansion of t in t 3.774 * [taylor]: Taking taylor expansion of 0 in i 3.774 * [taylor]: Taking taylor expansion of 0 in y 3.775 * [taylor]: Taking taylor expansion of 0 in i 3.775 * [taylor]: Taking taylor expansion of 0 in y 3.775 * [taylor]: Taking taylor expansion of (- y) in y 3.775 * [taylor]: Taking taylor expansion of y in y 3.777 * [taylor]: Taking taylor expansion of 0 in t 3.777 * [taylor]: Taking taylor expansion of 0 in i 3.777 * [taylor]: Taking taylor expansion of 0 in y 3.777 * [approximate]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in (c t i y) around 0 3.777 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 3.777 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 3.777 * [taylor]: Taking taylor expansion of (* t c) in y 3.777 * [taylor]: Taking taylor expansion of t in y 3.777 * [taylor]: Taking taylor expansion of c in y 3.777 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 3.777 * [taylor]: Taking taylor expansion of (* i y) in y 3.777 * [taylor]: Taking taylor expansion of i in y 3.777 * [taylor]: Taking taylor expansion of y in y 3.777 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 3.777 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 3.777 * [taylor]: Taking taylor expansion of (* t c) in i 3.777 * [taylor]: Taking taylor expansion of t in i 3.777 * [taylor]: Taking taylor expansion of c in i 3.778 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 3.778 * [taylor]: Taking taylor expansion of (* i y) in i 3.778 * [taylor]: Taking taylor expansion of i in i 3.778 * [taylor]: Taking taylor expansion of y in i 3.778 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 3.778 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 3.778 * [taylor]: Taking taylor expansion of (* t c) in t 3.778 * [taylor]: Taking taylor expansion of t in t 3.778 * [taylor]: Taking taylor expansion of c in t 3.778 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 3.778 * [taylor]: Taking taylor expansion of (* i y) in t 3.778 * [taylor]: Taking taylor expansion of i in t 3.778 * [taylor]: Taking taylor expansion of y in t 3.778 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 3.779 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 3.779 * [taylor]: Taking taylor expansion of (* t c) in c 3.779 * [taylor]: Taking taylor expansion of t in c 3.779 * [taylor]: Taking taylor expansion of c in c 3.779 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 3.779 * [taylor]: Taking taylor expansion of (* i y) in c 3.779 * [taylor]: Taking taylor expansion of i in c 3.779 * [taylor]: Taking taylor expansion of y in c 3.779 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 3.779 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 3.779 * [taylor]: Taking taylor expansion of (* t c) in c 3.779 * [taylor]: Taking taylor expansion of t in c 3.779 * [taylor]: Taking taylor expansion of c in c 3.779 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 3.779 * [taylor]: Taking taylor expansion of (* i y) in c 3.779 * [taylor]: Taking taylor expansion of i in c 3.780 * [taylor]: Taking taylor expansion of y in c 3.780 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.780 * [taylor]: Taking taylor expansion of t in t 3.780 * [taylor]: Taking taylor expansion of 1 in i 3.781 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in t 3.781 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 3.781 * [taylor]: Taking taylor expansion of (* i y) in t 3.781 * [taylor]: Taking taylor expansion of i in t 3.781 * [taylor]: Taking taylor expansion of y in t 3.781 * [taylor]: Taking taylor expansion of 0 in i 3.781 * [taylor]: Taking taylor expansion of 1 in y 3.783 * [taylor]: Taking taylor expansion of 0 in t 3.783 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in i 3.783 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 3.783 * [taylor]: Taking taylor expansion of (* i y) in i 3.783 * [taylor]: Taking taylor expansion of i in i 3.783 * [taylor]: Taking taylor expansion of y in i 3.783 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.783 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.783 * [taylor]: Taking taylor expansion of y in y 3.784 * [taylor]: Taking taylor expansion of 0 in i 3.784 * [taylor]: Taking taylor expansion of 0 in y 3.784 * [taylor]: Taking taylor expansion of 0 in y 3.786 * [taylor]: Taking taylor expansion of 0 in t 3.786 * [taylor]: Taking taylor expansion of 0 in i 3.787 * [taylor]: Taking taylor expansion of 0 in i 3.788 * [taylor]: Taking taylor expansion of 0 in i 3.789 * [taylor]: Taking taylor expansion of 0 in y 3.789 * [taylor]: Taking taylor expansion of 0 in y 3.789 * [taylor]: Taking taylor expansion of 0 in y 3.789 * [taylor]: Taking taylor expansion of 0 in y 3.791 * [taylor]: Taking taylor expansion of 0 in t 3.791 * [taylor]: Taking taylor expansion of 0 in i 3.792 * [taylor]: Taking taylor expansion of 0 in i 3.792 * [taylor]: Taking taylor expansion of 0 in i 3.793 * [taylor]: Taking taylor expansion of 0 in i 3.793 * [taylor]: Taking taylor expansion of 0 in y 3.793 * [taylor]: Taking taylor expansion of 0 in y 3.793 * [taylor]: Taking taylor expansion of 0 in y 3.794 * [taylor]: Taking taylor expansion of 0 in y 3.794 * [taylor]: Taking taylor expansion of 0 in y 3.794 * [taylor]: Taking taylor expansion of 0 in y 3.794 * [taylor]: Taking taylor expansion of 0 in y 3.795 * [approximate]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in (c t i y) around 0 3.795 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 3.795 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 3.795 * [taylor]: Taking taylor expansion of (* t c) in y 3.795 * [taylor]: Taking taylor expansion of t in y 3.795 * [taylor]: Taking taylor expansion of c in y 3.795 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 3.795 * [taylor]: Taking taylor expansion of (* i y) in y 3.795 * [taylor]: Taking taylor expansion of i in y 3.795 * [taylor]: Taking taylor expansion of y in y 3.795 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 3.795 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 3.796 * [taylor]: Taking taylor expansion of (* t c) in i 3.796 * [taylor]: Taking taylor expansion of t in i 3.796 * [taylor]: Taking taylor expansion of c in i 3.796 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 3.796 * [taylor]: Taking taylor expansion of (* i y) in i 3.796 * [taylor]: Taking taylor expansion of i in i 3.796 * [taylor]: Taking taylor expansion of y in i 3.796 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 3.796 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 3.796 * [taylor]: Taking taylor expansion of (* t c) in t 3.796 * [taylor]: Taking taylor expansion of t in t 3.796 * [taylor]: Taking taylor expansion of c in t 3.796 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 3.796 * [taylor]: Taking taylor expansion of (* i y) in t 3.796 * [taylor]: Taking taylor expansion of i in t 3.796 * [taylor]: Taking taylor expansion of y in t 3.797 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 3.797 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 3.797 * [taylor]: Taking taylor expansion of (* t c) in c 3.797 * [taylor]: Taking taylor expansion of t in c 3.797 * [taylor]: Taking taylor expansion of c in c 3.797 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 3.797 * [taylor]: Taking taylor expansion of (* i y) in c 3.797 * [taylor]: Taking taylor expansion of i in c 3.797 * [taylor]: Taking taylor expansion of y in c 3.797 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 3.797 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 3.797 * [taylor]: Taking taylor expansion of (* t c) in c 3.797 * [taylor]: Taking taylor expansion of t in c 3.797 * [taylor]: Taking taylor expansion of c in c 3.797 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 3.797 * [taylor]: Taking taylor expansion of (* i y) in c 3.798 * [taylor]: Taking taylor expansion of i in c 3.798 * [taylor]: Taking taylor expansion of y in c 3.798 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.798 * [taylor]: Taking taylor expansion of t in t 3.798 * [taylor]: Taking taylor expansion of 1 in i 3.801 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in t 3.801 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 3.801 * [taylor]: Taking taylor expansion of (* i y) in t 3.801 * [taylor]: Taking taylor expansion of i in t 3.801 * [taylor]: Taking taylor expansion of y in t 3.802 * [taylor]: Taking taylor expansion of 0 in i 3.802 * [taylor]: Taking taylor expansion of 1 in y 3.803 * [taylor]: Taking taylor expansion of 0 in t 3.803 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in i 3.803 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 3.803 * [taylor]: Taking taylor expansion of (* i y) in i 3.803 * [taylor]: Taking taylor expansion of i in i 3.803 * [taylor]: Taking taylor expansion of y in i 3.803 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.803 * [taylor]: Taking taylor expansion of y in y 3.804 * [taylor]: Taking taylor expansion of 0 in i 3.804 * [taylor]: Taking taylor expansion of 0 in y 3.804 * [taylor]: Taking taylor expansion of 0 in y 3.806 * [taylor]: Taking taylor expansion of 0 in t 3.806 * [taylor]: Taking taylor expansion of 0 in i 3.806 * [taylor]: Taking taylor expansion of 0 in i 3.807 * [taylor]: Taking taylor expansion of 0 in i 3.808 * [taylor]: Taking taylor expansion of 0 in y 3.808 * [taylor]: Taking taylor expansion of 0 in y 3.808 * [taylor]: Taking taylor expansion of 0 in y 3.808 * [taylor]: Taking taylor expansion of 0 in y 3.811 * [taylor]: Taking taylor expansion of 0 in t 3.811 * [taylor]: Taking taylor expansion of 0 in i 3.811 * [taylor]: Taking taylor expansion of 0 in i 3.811 * [taylor]: Taking taylor expansion of 0 in i 3.812 * [taylor]: Taking taylor expansion of 0 in i 3.812 * [taylor]: Taking taylor expansion of 0 in y 3.812 * [taylor]: Taking taylor expansion of 0 in y 3.812 * [taylor]: Taking taylor expansion of 0 in y 3.813 * [taylor]: Taking taylor expansion of 0 in y 3.813 * [taylor]: Taking taylor expansion of 0 in y 3.813 * [taylor]: Taking taylor expansion of 0 in y 3.813 * [taylor]: Taking taylor expansion of 0 in y 3.814 * * * [progress]: simplifying candidates 3.815 * [simplify]: Simplifying using # : (* x (- (* y z) (* t a))) (+ (log x) (log (- (* y z) (* t a)))) (log (* x (- (* y z) (* t a)))) (exp (* x (- (* y z) (* t a)))) (* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a)))) (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a)))) (* (* (* x (- (* y z) (* t a))) (* x (- (* y z) (* t a)))) (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a)))) (* (sqrt x) (sqrt (- (* y z) (* t a)))) (* (sqrt x) (sqrt (- (* y z) (* t a)))) (* x (* y z)) (* x (- (* t a))) (* x (* y z)) (* x (- (* t a))) (* (* y z) x) (* (- (* t a)) x) (* (* y z) x) (* (- (* t a)) x) (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* x (sqrt (- (* y z) (* t a)))) (* x 1) (* (cbrt x) (- (* y z) (* t a))) (* (sqrt x) (- (* y z) (* t a))) (* x (- (* y z) (* t a))) (* x (- (pow (* y z) 3) (pow (* t a) 3))) (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (* b (- (* c z) (* i a))) (+ (log b) (log (- (* c z) (* i a)))) (log (* b (- (* c z) (* i a)))) (exp (* b (- (* c z) (* i a)))) (* (* (* b b) b) (* (* (- (* c z) (* i a)) (- (* c z) (* i a))) (- (* c z) (* i a)))) (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))) (* (* (* b (- (* c z) (* i a))) (* b (- (* c z) (* i a)))) (* b (- (* c z) (* i a)))) (sqrt (* b (- (* c z) (* i a)))) (sqrt (* b (- (* c z) (* i a)))) (* (sqrt b) (sqrt (- (* c z) (* i a)))) (* (sqrt b) (sqrt (- (* c z) (* i a)))) (* b (* c z)) (* b (- (* i a))) (* b (* c z)) (* b (- (* i a))) (* (* c z) b) (* (- (* i a)) b) (* (* c z) b) (* (- (* i a)) b) (* b (* (cbrt (- (* c z) (* i a))) (cbrt (- (* c z) (* i a))))) (* b (sqrt (- (* c z) (* i a)))) (* b 1) (* (cbrt b) (- (* c z) (* i a))) (* (sqrt b) (- (* c z) (* i a))) (* b (- (* c z) (* i a))) (* b (- (pow (* c z) 3) (pow (* i a) 3))) (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (* j (- (* c t) (* i y))) (+ (log j) (log (- (* c t) (* i y)))) (log (* j (- (* c t) (* i y)))) (exp (* j (- (* c t) (* i y)))) (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y)))) (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))) (* (* (* j (- (* c t) (* i y))) (* j (- (* c t) (* i y)))) (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* j (* c t)) (* j (- (* i y))) (* j (* c t)) (* j (- (* i y))) (* (* c t) j) (* (- (* i y)) j) (* (* c t) j) (* (- (* i y)) j) (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (* j (sqrt (- (* c t) (* i y)))) (* j 1) (* (cbrt j) (- (* c t) (* i y))) (* (sqrt j) (- (* c t) (* i y))) (* j (- (* c t) (* i y))) (* j (- (pow (* c t) 3) (pow (* i y) 3))) (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (/ (exp (* c t)) (exp (* i y))) (log (- (* c t) (* i y))) (exp (- (* c t) (* i y))) (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y))) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y))) (sqrt (- (* c t) (* i y))) (sqrt (- (* c t) (* i y))) (- (pow (* c t) 3) (pow (* i y) 3)) (+ (* (* c t) (* c t)) (+ (* (* i y) (* i y)) (* (* c t) (* i y)))) (- (* i y)) (- (* (* c t) (* c t)) (* (* i y) (* i y))) (+ (* c t) (* i y)) (- (* i y)) 0 (- (* x (* z y)) (* a (* x t))) (- (* x (* z y)) (* a (* x t))) 0 (- (* z (* b c)) (* a (* i b))) (- (* z (* b c)) (* a (* i b))) 0 (- (* t (* j c)) (* i (* j y))) (- (* t (* j c)) (* i (* j y))) 0 (- (* t c) (* i y)) (- (* t c) (* i y)) 3.819 * * [simplify]: iteration 0 : 166 enodes (cost 1155 ) 3.854 * * [simplify]: iteration 1 : 421 enodes (cost 1141 ) 3.943 * * [simplify]: iteration 2 : 1176 enodes (cost 1007 ) 4.356 * * [simplify]: iteration 3 : 3902 enodes (cost 1007 ) 5.322 * * [simplify]: iteration done : 5000 enodes (cost 1007 ) 5.323 * [simplify]: Simplified to: (* (- (* y z) (* t a)) x) (log (* x (- (* y z) (* t a)))) (log (* x (- (* y z) (* t a)))) (exp (* x (- (* y z) (* t a)))) (pow (* (- (* y z) (* t a)) x) 3) (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a)))) (pow (* (- (* y z) (* t a)) x) 3) (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a)))) (* (sqrt x) (sqrt (- (* y z) (* t a)))) (* (sqrt x) (sqrt (- (* y z) (* t a)))) (* (* y z) x) (- (* a (* x t))) (* (* y z) x) (- (* a (* x t))) (* (* y z) x) (- (* a (* x t))) (* (* y z) x) (- (* a (* x t))) (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* x (sqrt (- (* y z) (* t a)))) x (* (cbrt x) (- (* y z) (* t a))) (* (sqrt x) (- (* y z) (* t a))) (* (- (* y z) (* t a)) x) (* x (- (pow (* y z) 3) (pow (* t a) 3))) (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (* b (- (* c z) (* i a))) (log (* b (- (* c z) (* i a)))) (log (* b (- (* c z) (* i a)))) (exp (* b (- (* c z) (* i a)))) (pow (* b (- (* c z) (* i a))) 3) (* (cbrt (* b (- (* c z) (* i a)))) (cbrt (* b (- (* c z) (* i a))))) (cbrt (* b (- (* c z) (* i a)))) (pow (* b (- (* c z) (* i a))) 3) (sqrt (* b (- (* c z) (* i a)))) (sqrt (* b (- (* c z) (* i a)))) (* (sqrt b) (sqrt (- (* c z) (* i a)))) (* (sqrt b) (sqrt (- (* c z) (* i a)))) (* z (* b c)) (* (- (* i a)) b) (* z (* b c)) (* (- (* i a)) b) (* z (* b c)) (* (- (* i a)) b) (* z (* b c)) (* (- (* i a)) b) (* b (* (cbrt (- (* c z) (* i a))) (cbrt (- (* c z) (* i a))))) (* b (sqrt (- (* c z) (* i a)))) b (* (cbrt b) (- (* c z) (* i a))) (* (sqrt b) (- (* c z) (* i a))) (* b (- (* c z) (* i a))) (* b (- (pow (* c z) 3) (pow (* i a) 3))) (* b (- (* (* c z) (* c z)) (* (* i a) (* i a)))) (* j (- (* t c) (* i y))) (log (* j (- (* c t) (* i y)))) (log (* j (- (* c t) (* i y)))) (exp (* j (- (* c t) (* i y)))) (pow (* j (- (* t c) (* i y))) 3) (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))) (pow (* j (- (* t c) (* i y))) 3) (sqrt (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* t (* j c)) (- (* i (* j y))) (* t (* j c)) (- (* i (* j y))) (* t (* j c)) (- (* i (* j y))) (* t (* j c)) (- (* i (* j y))) (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (* j (sqrt (- (* c t) (* i y)))) j (* (cbrt j) (- (* c t) (* i y))) (* (sqrt j) (- (* c t) (* i y))) (* j (- (* t c) (* i y))) (* j (- (pow (* c t) 3) (pow (* i y) 3))) (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (exp (- (* t c) (* i y))) (log (- (* c t) (* i y))) (exp (- (* t c) (* i y))) (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y)))) (cbrt (- (* c t) (* i y))) (pow (- (* t c) (* i y)) 3) (sqrt (- (* c t) (* i y))) (sqrt (- (* c t) (* i y))) (- (pow (* c t) 3) (pow (* i y) 3)) (+ (* (* c t) (* c t)) (* (* i y) (+ (* c t) (* i y)))) (- (* i y)) (- (* (* c t) (* c t)) (* (* i y) (* i y))) (+ (* c t) (* i y)) (- (* i y)) 0 (* (- (* y z) (* t a)) x) (* (- (* y z) (* t a)) x) 0 (* b (- (* c z) (* i a))) (* b (- (* c z) (* i a))) 0 (* j (- (* t c) (* i y))) (* j (- (* t c) (* i y))) 0 (- (* t c) (* i y)) (- (* t c) (* i y)) 5.324 * * * [progress]: adding candidates to table 5.676 * * [progress]: iteration 2 / 4 5.676 * * * [progress]: picking best candidate 5.739 * * * * [pick]: Picked # 5.739 * * * [progress]: localizing error 5.761 * * * [progress]: generating rewritten candidates 5.761 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 5.770 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 5.777 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 5.786 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 5.794 * * * [progress]: generating series expansions 5.794 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 5.794 * [approximate]: Taking taylor expansion of (* x (- (* z y) (* t a))) in (x y z t a) around 0 5.794 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in a 5.794 * [taylor]: Taking taylor expansion of x in a 5.794 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in a 5.794 * [taylor]: Taking taylor expansion of (* z y) in a 5.794 * [taylor]: Taking taylor expansion of z in a 5.794 * [taylor]: Taking taylor expansion of y in a 5.794 * [taylor]: Taking taylor expansion of (* t a) in a 5.795 * [taylor]: Taking taylor expansion of t in a 5.795 * [taylor]: Taking taylor expansion of a in a 5.795 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in t 5.795 * [taylor]: Taking taylor expansion of x in t 5.795 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in t 5.795 * [taylor]: Taking taylor expansion of (* z y) in t 5.795 * [taylor]: Taking taylor expansion of z in t 5.795 * [taylor]: Taking taylor expansion of y in t 5.795 * [taylor]: Taking taylor expansion of (* t a) in t 5.795 * [taylor]: Taking taylor expansion of t in t 5.795 * [taylor]: Taking taylor expansion of a in t 5.795 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in z 5.795 * [taylor]: Taking taylor expansion of x in z 5.795 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in z 5.795 * [taylor]: Taking taylor expansion of (* z y) in z 5.795 * [taylor]: Taking taylor expansion of z in z 5.795 * [taylor]: Taking taylor expansion of y in z 5.795 * [taylor]: Taking taylor expansion of (* t a) in z 5.795 * [taylor]: Taking taylor expansion of t in z 5.795 * [taylor]: Taking taylor expansion of a in z 5.795 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in y 5.795 * [taylor]: Taking taylor expansion of x in y 5.795 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y 5.795 * [taylor]: Taking taylor expansion of (* z y) in y 5.795 * [taylor]: Taking taylor expansion of z in y 5.795 * [taylor]: Taking taylor expansion of y in y 5.795 * [taylor]: Taking taylor expansion of (* t a) in y 5.795 * [taylor]: Taking taylor expansion of t in y 5.795 * [taylor]: Taking taylor expansion of a in y 5.795 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x 5.795 * [taylor]: Taking taylor expansion of x in x 5.795 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x 5.795 * [taylor]: Taking taylor expansion of (* z y) in x 5.795 * [taylor]: Taking taylor expansion of z in x 5.795 * [taylor]: Taking taylor expansion of y in x 5.795 * [taylor]: Taking taylor expansion of (* t a) in x 5.795 * [taylor]: Taking taylor expansion of t in x 5.795 * [taylor]: Taking taylor expansion of a in x 5.795 * [taylor]: Taking taylor expansion of (* x (- (* z y) (* t a))) in x 5.795 * [taylor]: Taking taylor expansion of x in x 5.795 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in x 5.795 * [taylor]: Taking taylor expansion of (* z y) in x 5.795 * [taylor]: Taking taylor expansion of z in x 5.795 * [taylor]: Taking taylor expansion of y in x 5.795 * [taylor]: Taking taylor expansion of (* t a) in x 5.795 * [taylor]: Taking taylor expansion of t in x 5.795 * [taylor]: Taking taylor expansion of a in x 5.796 * [taylor]: Taking taylor expansion of 0 in y 5.796 * [taylor]: Taking taylor expansion of 0 in z 5.796 * [taylor]: Taking taylor expansion of 0 in t 5.796 * [taylor]: Taking taylor expansion of 0 in a 5.797 * [taylor]: Taking taylor expansion of (- (* z y) (* t a)) in y 5.797 * [taylor]: Taking taylor expansion of (* z y) in y 5.797 * [taylor]: Taking taylor expansion of z in y 5.797 * [taylor]: Taking taylor expansion of y in y 5.797 * [taylor]: Taking taylor expansion of (* t a) in y 5.797 * [taylor]: Taking taylor expansion of t in y 5.797 * [taylor]: Taking taylor expansion of a in y 5.797 * [taylor]: Taking taylor expansion of (- (* t a)) in z 5.797 * [taylor]: Taking taylor expansion of (* t a) in z 5.797 * [taylor]: Taking taylor expansion of t in z 5.797 * [taylor]: Taking taylor expansion of a in z 5.797 * [taylor]: Taking taylor expansion of (- (* t a)) in t 5.797 * [taylor]: Taking taylor expansion of (* t a) in t 5.797 * [taylor]: Taking taylor expansion of t in t 5.797 * [taylor]: Taking taylor expansion of a in t 5.797 * [taylor]: Taking taylor expansion of 0 in a 5.798 * [taylor]: Taking taylor expansion of 0 in z 5.798 * [taylor]: Taking taylor expansion of 0 in t 5.798 * [taylor]: Taking taylor expansion of 0 in a 5.798 * [taylor]: Taking taylor expansion of 0 in t 5.798 * [taylor]: Taking taylor expansion of 0 in a 5.798 * [taylor]: Taking taylor expansion of 0 in a 5.798 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in (x y z t a) around 0 5.798 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a 5.798 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a 5.798 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 5.798 * [taylor]: Taking taylor expansion of (* z y) in a 5.798 * [taylor]: Taking taylor expansion of z in a 5.798 * [taylor]: Taking taylor expansion of y in a 5.798 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 5.798 * [taylor]: Taking taylor expansion of (* t a) in a 5.798 * [taylor]: Taking taylor expansion of t in a 5.798 * [taylor]: Taking taylor expansion of a in a 5.798 * [taylor]: Taking taylor expansion of x in a 5.799 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t 5.799 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t 5.799 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 5.799 * [taylor]: Taking taylor expansion of (* z y) in t 5.799 * [taylor]: Taking taylor expansion of z in t 5.799 * [taylor]: Taking taylor expansion of y in t 5.799 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 5.799 * [taylor]: Taking taylor expansion of (* t a) in t 5.799 * [taylor]: Taking taylor expansion of t in t 5.799 * [taylor]: Taking taylor expansion of a in t 5.799 * [taylor]: Taking taylor expansion of x in t 5.799 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z 5.799 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z 5.799 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.799 * [taylor]: Taking taylor expansion of (* z y) in z 5.799 * [taylor]: Taking taylor expansion of z in z 5.799 * [taylor]: Taking taylor expansion of y in z 5.800 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 5.800 * [taylor]: Taking taylor expansion of (* t a) in z 5.800 * [taylor]: Taking taylor expansion of t in z 5.800 * [taylor]: Taking taylor expansion of a in z 5.800 * [taylor]: Taking taylor expansion of x in z 5.800 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y 5.800 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y 5.800 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.800 * [taylor]: Taking taylor expansion of (* z y) in y 5.800 * [taylor]: Taking taylor expansion of z in y 5.800 * [taylor]: Taking taylor expansion of y in y 5.800 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 5.800 * [taylor]: Taking taylor expansion of (* t a) in y 5.800 * [taylor]: Taking taylor expansion of t in y 5.800 * [taylor]: Taking taylor expansion of a in y 5.800 * [taylor]: Taking taylor expansion of x in y 5.801 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x 5.801 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x 5.801 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.801 * [taylor]: Taking taylor expansion of (* z y) in x 5.801 * [taylor]: Taking taylor expansion of z in x 5.801 * [taylor]: Taking taylor expansion of y in x 5.801 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 5.801 * [taylor]: Taking taylor expansion of (* t a) in x 5.801 * [taylor]: Taking taylor expansion of t in x 5.801 * [taylor]: Taking taylor expansion of a in x 5.801 * [taylor]: Taking taylor expansion of x in x 5.801 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x 5.801 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x 5.801 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.801 * [taylor]: Taking taylor expansion of (* z y) in x 5.801 * [taylor]: Taking taylor expansion of z in x 5.801 * [taylor]: Taking taylor expansion of y in x 5.801 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 5.801 * [taylor]: Taking taylor expansion of (* t a) in x 5.801 * [taylor]: Taking taylor expansion of t in x 5.801 * [taylor]: Taking taylor expansion of a in x 5.801 * [taylor]: Taking taylor expansion of x in x 5.802 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y 5.802 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.802 * [taylor]: Taking taylor expansion of (* z y) in y 5.802 * [taylor]: Taking taylor expansion of z in y 5.802 * [taylor]: Taking taylor expansion of y in y 5.802 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 5.802 * [taylor]: Taking taylor expansion of (* t a) in y 5.802 * [taylor]: Taking taylor expansion of t in y 5.802 * [taylor]: Taking taylor expansion of a in y 5.802 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.802 * [taylor]: Taking taylor expansion of z in z 5.802 * [taylor]: Taking taylor expansion of 1 in t 5.804 * [taylor]: Taking taylor expansion of 0 in y 5.805 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in z 5.805 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 5.805 * [taylor]: Taking taylor expansion of (* t a) in z 5.805 * [taylor]: Taking taylor expansion of t in z 5.805 * [taylor]: Taking taylor expansion of a in z 5.805 * [taylor]: Taking taylor expansion of 0 in t 5.805 * [taylor]: Taking taylor expansion of 1 in a 5.807 * [taylor]: Taking taylor expansion of 0 in y 5.808 * [taylor]: Taking taylor expansion of 0 in z 5.809 * [taylor]: Taking taylor expansion of 0 in z 5.809 * [taylor]: Taking taylor expansion of (- (/ 1 (* t a))) in t 5.809 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 5.809 * [taylor]: Taking taylor expansion of (* t a) in t 5.809 * [taylor]: Taking taylor expansion of t in t 5.809 * [taylor]: Taking taylor expansion of a in t 5.809 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a 5.809 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.809 * [taylor]: Taking taylor expansion of a in a 5.810 * [taylor]: Taking taylor expansion of 0 in t 5.810 * [taylor]: Taking taylor expansion of 0 in a 5.810 * [taylor]: Taking taylor expansion of 0 in a 5.814 * [taylor]: Taking taylor expansion of 0 in y 5.814 * [taylor]: Taking taylor expansion of 0 in z 5.814 * [taylor]: Taking taylor expansion of 0 in z 5.815 * [taylor]: Taking taylor expansion of 0 in z 5.815 * [taylor]: Taking taylor expansion of 0 in t 5.815 * [taylor]: Taking taylor expansion of 0 in t 5.816 * [taylor]: Taking taylor expansion of 0 in t 5.816 * [taylor]: Taking taylor expansion of 0 in t 5.817 * [taylor]: Taking taylor expansion of 0 in a 5.817 * [taylor]: Taking taylor expansion of 0 in a 5.817 * [taylor]: Taking taylor expansion of 0 in a 5.817 * [taylor]: Taking taylor expansion of 0 in a 5.822 * [taylor]: Taking taylor expansion of 0 in y 5.822 * [taylor]: Taking taylor expansion of 0 in z 5.822 * [taylor]: Taking taylor expansion of 0 in z 5.822 * [taylor]: Taking taylor expansion of 0 in z 5.824 * [taylor]: Taking taylor expansion of 0 in z 5.824 * [taylor]: Taking taylor expansion of 0 in t 5.825 * [taylor]: Taking taylor expansion of 0 in t 5.825 * [taylor]: Taking taylor expansion of 0 in t 5.825 * [taylor]: Taking taylor expansion of 0 in t 5.825 * [taylor]: Taking taylor expansion of 0 in t 5.825 * [taylor]: Taking taylor expansion of 0 in t 5.826 * [taylor]: Taking taylor expansion of 0 in t 5.826 * [taylor]: Taking taylor expansion of 0 in a 5.826 * [taylor]: Taking taylor expansion of 0 in a 5.826 * [taylor]: Taking taylor expansion of 0 in a 5.826 * [taylor]: Taking taylor expansion of 0 in a 5.827 * [taylor]: Taking taylor expansion of 0 in a 5.827 * [taylor]: Taking taylor expansion of 0 in a 5.827 * [taylor]: Taking taylor expansion of 0 in a 5.827 * [taylor]: Taking taylor expansion of 0 in a 5.828 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in (x y z t a) around 0 5.828 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in a 5.828 * [taylor]: Taking taylor expansion of -1 in a 5.828 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in a 5.828 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in a 5.828 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 5.828 * [taylor]: Taking taylor expansion of (* z y) in a 5.828 * [taylor]: Taking taylor expansion of z in a 5.828 * [taylor]: Taking taylor expansion of y in a 5.828 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 5.828 * [taylor]: Taking taylor expansion of (* t a) in a 5.828 * [taylor]: Taking taylor expansion of t in a 5.828 * [taylor]: Taking taylor expansion of a in a 5.829 * [taylor]: Taking taylor expansion of x in a 5.829 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in t 5.829 * [taylor]: Taking taylor expansion of -1 in t 5.829 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in t 5.829 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in t 5.829 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 5.829 * [taylor]: Taking taylor expansion of (* z y) in t 5.829 * [taylor]: Taking taylor expansion of z in t 5.829 * [taylor]: Taking taylor expansion of y in t 5.829 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 5.829 * [taylor]: Taking taylor expansion of (* t a) in t 5.829 * [taylor]: Taking taylor expansion of t in t 5.829 * [taylor]: Taking taylor expansion of a in t 5.829 * [taylor]: Taking taylor expansion of x in t 5.829 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in z 5.829 * [taylor]: Taking taylor expansion of -1 in z 5.829 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in z 5.829 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in z 5.830 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 5.830 * [taylor]: Taking taylor expansion of (* z y) in z 5.830 * [taylor]: Taking taylor expansion of z in z 5.830 * [taylor]: Taking taylor expansion of y in z 5.830 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 5.830 * [taylor]: Taking taylor expansion of (* t a) in z 5.830 * [taylor]: Taking taylor expansion of t in z 5.830 * [taylor]: Taking taylor expansion of a in z 5.830 * [taylor]: Taking taylor expansion of x in z 5.830 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in y 5.830 * [taylor]: Taking taylor expansion of -1 in y 5.830 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in y 5.830 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y 5.830 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.830 * [taylor]: Taking taylor expansion of (* z y) in y 5.830 * [taylor]: Taking taylor expansion of z in y 5.830 * [taylor]: Taking taylor expansion of y in y 5.831 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 5.831 * [taylor]: Taking taylor expansion of (* t a) in y 5.831 * [taylor]: Taking taylor expansion of t in y 5.831 * [taylor]: Taking taylor expansion of a in y 5.831 * [taylor]: Taking taylor expansion of x in y 5.831 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x 5.831 * [taylor]: Taking taylor expansion of -1 in x 5.831 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x 5.831 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x 5.831 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.831 * [taylor]: Taking taylor expansion of (* z y) in x 5.831 * [taylor]: Taking taylor expansion of z in x 5.831 * [taylor]: Taking taylor expansion of y in x 5.831 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 5.831 * [taylor]: Taking taylor expansion of (* t a) in x 5.831 * [taylor]: Taking taylor expansion of t in x 5.831 * [taylor]: Taking taylor expansion of a in x 5.831 * [taylor]: Taking taylor expansion of x in x 5.831 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x)) in x 5.831 * [taylor]: Taking taylor expansion of -1 in x 5.831 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* z y)) (/ 1 (* t a))) x) in x 5.831 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in x 5.831 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 5.831 * [taylor]: Taking taylor expansion of (* z y) in x 5.831 * [taylor]: Taking taylor expansion of z in x 5.831 * [taylor]: Taking taylor expansion of y in x 5.831 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in x 5.831 * [taylor]: Taking taylor expansion of (* t a) in x 5.831 * [taylor]: Taking taylor expansion of t in x 5.831 * [taylor]: Taking taylor expansion of a in x 5.832 * [taylor]: Taking taylor expansion of x in x 5.832 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* z y)) (/ 1 (* t a)))) in y 5.832 * [taylor]: Taking taylor expansion of -1 in y 5.832 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* t a))) in y 5.832 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.832 * [taylor]: Taking taylor expansion of (* z y) in y 5.832 * [taylor]: Taking taylor expansion of z in y 5.832 * [taylor]: Taking taylor expansion of y in y 5.832 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 5.832 * [taylor]: Taking taylor expansion of (* t a) in y 5.832 * [taylor]: Taking taylor expansion of t in y 5.832 * [taylor]: Taking taylor expansion of a in y 5.833 * [taylor]: Taking taylor expansion of (/ -1 z) in z 5.833 * [taylor]: Taking taylor expansion of -1 in z 5.833 * [taylor]: Taking taylor expansion of z in z 5.833 * [taylor]: Taking taylor expansion of -1 in t 5.835 * [taylor]: Taking taylor expansion of 0 in y 5.835 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 5.836 * [taylor]: Taking taylor expansion of (* t a) in z 5.836 * [taylor]: Taking taylor expansion of t in z 5.836 * [taylor]: Taking taylor expansion of a in z 5.836 * [taylor]: Taking taylor expansion of 0 in t 5.836 * [taylor]: Taking taylor expansion of -1 in a 5.839 * [taylor]: Taking taylor expansion of 0 in y 5.839 * [taylor]: Taking taylor expansion of 0 in z 5.841 * [taylor]: Taking taylor expansion of 0 in z 5.841 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 5.841 * [taylor]: Taking taylor expansion of (* t a) in t 5.841 * [taylor]: Taking taylor expansion of t in t 5.841 * [taylor]: Taking taylor expansion of a in t 5.841 * [taylor]: Taking taylor expansion of (/ 1 a) in a 5.841 * [taylor]: Taking taylor expansion of a in a 5.842 * [taylor]: Taking taylor expansion of 0 in t 5.842 * [taylor]: Taking taylor expansion of 0 in a 5.842 * [taylor]: Taking taylor expansion of 0 in a 5.846 * [taylor]: Taking taylor expansion of 0 in y 5.847 * [taylor]: Taking taylor expansion of 0 in z 5.847 * [taylor]: Taking taylor expansion of 0 in z 5.849 * [taylor]: Taking taylor expansion of 0 in z 5.849 * [taylor]: Taking taylor expansion of 0 in t 5.849 * [taylor]: Taking taylor expansion of 0 in t 5.849 * [taylor]: Taking taylor expansion of 0 in t 5.850 * [taylor]: Taking taylor expansion of 0 in t 5.850 * [taylor]: Taking taylor expansion of 0 in a 5.850 * [taylor]: Taking taylor expansion of 0 in a 5.850 * [taylor]: Taking taylor expansion of 0 in a 5.850 * [taylor]: Taking taylor expansion of 0 in a 5.856 * [taylor]: Taking taylor expansion of 0 in y 5.856 * [taylor]: Taking taylor expansion of 0 in z 5.856 * [taylor]: Taking taylor expansion of 0 in z 5.856 * [taylor]: Taking taylor expansion of 0 in z 5.859 * [taylor]: Taking taylor expansion of 0 in z 5.859 * [taylor]: Taking taylor expansion of 0 in t 5.859 * [taylor]: Taking taylor expansion of 0 in t 5.859 * [taylor]: Taking taylor expansion of 0 in t 5.859 * [taylor]: Taking taylor expansion of 0 in t 5.859 * [taylor]: Taking taylor expansion of 0 in t 5.860 * [taylor]: Taking taylor expansion of 0 in t 5.860 * [taylor]: Taking taylor expansion of 0 in t 5.860 * [taylor]: Taking taylor expansion of 0 in a 5.860 * [taylor]: Taking taylor expansion of 0 in a 5.860 * [taylor]: Taking taylor expansion of 0 in a 5.860 * [taylor]: Taking taylor expansion of 0 in a 5.861 * [taylor]: Taking taylor expansion of 0 in a 5.861 * [taylor]: Taking taylor expansion of 0 in a 5.861 * [taylor]: Taking taylor expansion of 0 in a 5.861 * [taylor]: Taking taylor expansion of 0 in a 5.862 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 5.862 * [approximate]: Taking taylor expansion of (* -1 (* a (* i b))) in (i a b) around 0 5.862 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in b 5.862 * [taylor]: Taking taylor expansion of -1 in b 5.862 * [taylor]: Taking taylor expansion of (* a (* i b)) in b 5.862 * [taylor]: Taking taylor expansion of a in b 5.862 * [taylor]: Taking taylor expansion of (* i b) in b 5.862 * [taylor]: Taking taylor expansion of i in b 5.862 * [taylor]: Taking taylor expansion of b in b 5.862 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in a 5.862 * [taylor]: Taking taylor expansion of -1 in a 5.862 * [taylor]: Taking taylor expansion of (* a (* i b)) in a 5.862 * [taylor]: Taking taylor expansion of a in a 5.862 * [taylor]: Taking taylor expansion of (* i b) in a 5.862 * [taylor]: Taking taylor expansion of i in a 5.862 * [taylor]: Taking taylor expansion of b in a 5.862 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in i 5.862 * [taylor]: Taking taylor expansion of -1 in i 5.862 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 5.862 * [taylor]: Taking taylor expansion of a in i 5.862 * [taylor]: Taking taylor expansion of (* i b) in i 5.862 * [taylor]: Taking taylor expansion of i in i 5.862 * [taylor]: Taking taylor expansion of b in i 5.862 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in i 5.862 * [taylor]: Taking taylor expansion of -1 in i 5.862 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 5.862 * [taylor]: Taking taylor expansion of a in i 5.862 * [taylor]: Taking taylor expansion of (* i b) in i 5.862 * [taylor]: Taking taylor expansion of i in i 5.862 * [taylor]: Taking taylor expansion of b in i 5.863 * [taylor]: Taking taylor expansion of 0 in a 5.863 * [taylor]: Taking taylor expansion of 0 in b 5.864 * [taylor]: Taking taylor expansion of (- (* a b)) in a 5.864 * [taylor]: Taking taylor expansion of (* a b) in a 5.864 * [taylor]: Taking taylor expansion of a in a 5.864 * [taylor]: Taking taylor expansion of b in a 5.864 * [taylor]: Taking taylor expansion of 0 in b 5.864 * [taylor]: Taking taylor expansion of 0 in b 5.866 * [taylor]: Taking taylor expansion of 0 in a 5.866 * [taylor]: Taking taylor expansion of 0 in b 5.866 * [taylor]: Taking taylor expansion of (- b) in b 5.866 * [taylor]: Taking taylor expansion of b in b 5.869 * [approximate]: Taking taylor expansion of (/ -1 (* a (* i b))) in (i a b) around 0 5.869 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in b 5.869 * [taylor]: Taking taylor expansion of -1 in b 5.869 * [taylor]: Taking taylor expansion of (* a (* i b)) in b 5.869 * [taylor]: Taking taylor expansion of a in b 5.869 * [taylor]: Taking taylor expansion of (* i b) in b 5.869 * [taylor]: Taking taylor expansion of i in b 5.869 * [taylor]: Taking taylor expansion of b in b 5.870 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in a 5.870 * [taylor]: Taking taylor expansion of -1 in a 5.870 * [taylor]: Taking taylor expansion of (* a (* i b)) in a 5.870 * [taylor]: Taking taylor expansion of a in a 5.870 * [taylor]: Taking taylor expansion of (* i b) in a 5.870 * [taylor]: Taking taylor expansion of i in a 5.870 * [taylor]: Taking taylor expansion of b in a 5.871 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in i 5.871 * [taylor]: Taking taylor expansion of -1 in i 5.871 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 5.871 * [taylor]: Taking taylor expansion of a in i 5.871 * [taylor]: Taking taylor expansion of (* i b) in i 5.871 * [taylor]: Taking taylor expansion of i in i 5.871 * [taylor]: Taking taylor expansion of b in i 5.871 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in i 5.871 * [taylor]: Taking taylor expansion of -1 in i 5.871 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 5.871 * [taylor]: Taking taylor expansion of a in i 5.871 * [taylor]: Taking taylor expansion of (* i b) in i 5.871 * [taylor]: Taking taylor expansion of i in i 5.871 * [taylor]: Taking taylor expansion of b in i 5.872 * [taylor]: Taking taylor expansion of (/ -1 (* a b)) in a 5.872 * [taylor]: Taking taylor expansion of -1 in a 5.872 * [taylor]: Taking taylor expansion of (* a b) in a 5.872 * [taylor]: Taking taylor expansion of a in a 5.872 * [taylor]: Taking taylor expansion of b in a 5.873 * [taylor]: Taking taylor expansion of (/ -1 b) in b 5.873 * [taylor]: Taking taylor expansion of -1 in b 5.873 * [taylor]: Taking taylor expansion of b in b 5.874 * [taylor]: Taking taylor expansion of 0 in a 5.874 * [taylor]: Taking taylor expansion of 0 in b 5.876 * [taylor]: Taking taylor expansion of 0 in a 5.877 * [taylor]: Taking taylor expansion of 0 in b 5.877 * [taylor]: Taking taylor expansion of 0 in b 5.880 * [taylor]: Taking taylor expansion of 0 in a 5.880 * [taylor]: Taking taylor expansion of 0 in b 5.880 * [taylor]: Taking taylor expansion of 0 in b 5.881 * [taylor]: Taking taylor expansion of 0 in b 5.882 * [approximate]: Taking taylor expansion of (/ 1 (* a (* i b))) in (i a b) around 0 5.882 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in b 5.882 * [taylor]: Taking taylor expansion of (* a (* i b)) in b 5.882 * [taylor]: Taking taylor expansion of a in b 5.882 * [taylor]: Taking taylor expansion of (* i b) in b 5.882 * [taylor]: Taking taylor expansion of i in b 5.882 * [taylor]: Taking taylor expansion of b in b 5.883 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in a 5.883 * [taylor]: Taking taylor expansion of (* a (* i b)) in a 5.883 * [taylor]: Taking taylor expansion of a in a 5.883 * [taylor]: Taking taylor expansion of (* i b) in a 5.883 * [taylor]: Taking taylor expansion of i in a 5.883 * [taylor]: Taking taylor expansion of b in a 5.883 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in i 5.883 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 5.883 * [taylor]: Taking taylor expansion of a in i 5.883 * [taylor]: Taking taylor expansion of (* i b) in i 5.883 * [taylor]: Taking taylor expansion of i in i 5.883 * [taylor]: Taking taylor expansion of b in i 5.884 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in i 5.884 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 5.884 * [taylor]: Taking taylor expansion of a in i 5.884 * [taylor]: Taking taylor expansion of (* i b) in i 5.884 * [taylor]: Taking taylor expansion of i in i 5.884 * [taylor]: Taking taylor expansion of b in i 5.885 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 5.885 * [taylor]: Taking taylor expansion of (* a b) in a 5.885 * [taylor]: Taking taylor expansion of a in a 5.885 * [taylor]: Taking taylor expansion of b in a 5.885 * [taylor]: Taking taylor expansion of (/ 1 b) in b 5.885 * [taylor]: Taking taylor expansion of b in b 5.886 * [taylor]: Taking taylor expansion of 0 in a 5.887 * [taylor]: Taking taylor expansion of 0 in b 5.889 * [taylor]: Taking taylor expansion of 0 in a 5.889 * [taylor]: Taking taylor expansion of 0 in b 5.890 * [taylor]: Taking taylor expansion of 0 in b 5.892 * [taylor]: Taking taylor expansion of 0 in a 5.892 * [taylor]: Taking taylor expansion of 0 in b 5.892 * [taylor]: Taking taylor expansion of 0 in b 5.894 * [taylor]: Taking taylor expansion of 0 in b 5.894 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 5.894 * [approximate]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in (j c t i y) around 0 5.894 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y 5.894 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in y 5.894 * [taylor]: Taking taylor expansion of (* t c) in y 5.894 * [taylor]: Taking taylor expansion of t in y 5.894 * [taylor]: Taking taylor expansion of c in y 5.894 * [taylor]: Taking taylor expansion of (* i y) in y 5.894 * [taylor]: Taking taylor expansion of i in y 5.894 * [taylor]: Taking taylor expansion of y in y 5.894 * [taylor]: Taking taylor expansion of j in y 5.894 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i 5.894 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in i 5.894 * [taylor]: Taking taylor expansion of (* t c) in i 5.894 * [taylor]: Taking taylor expansion of t in i 5.894 * [taylor]: Taking taylor expansion of c in i 5.894 * [taylor]: Taking taylor expansion of (* i y) in i 5.894 * [taylor]: Taking taylor expansion of i in i 5.894 * [taylor]: Taking taylor expansion of y in i 5.894 * [taylor]: Taking taylor expansion of j in i 5.894 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t 5.894 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in t 5.894 * [taylor]: Taking taylor expansion of (* t c) in t 5.894 * [taylor]: Taking taylor expansion of t in t 5.894 * [taylor]: Taking taylor expansion of c in t 5.894 * [taylor]: Taking taylor expansion of (* i y) in t 5.894 * [taylor]: Taking taylor expansion of i in t 5.894 * [taylor]: Taking taylor expansion of y in t 5.894 * [taylor]: Taking taylor expansion of j in t 5.894 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in c 5.894 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 5.894 * [taylor]: Taking taylor expansion of (* t c) in c 5.894 * [taylor]: Taking taylor expansion of t in c 5.894 * [taylor]: Taking taylor expansion of c in c 5.895 * [taylor]: Taking taylor expansion of (* i y) in c 5.895 * [taylor]: Taking taylor expansion of i in c 5.895 * [taylor]: Taking taylor expansion of y in c 5.895 * [taylor]: Taking taylor expansion of j in c 5.895 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in j 5.895 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in j 5.895 * [taylor]: Taking taylor expansion of (* t c) in j 5.895 * [taylor]: Taking taylor expansion of t in j 5.895 * [taylor]: Taking taylor expansion of c in j 5.895 * [taylor]: Taking taylor expansion of (* i y) in j 5.895 * [taylor]: Taking taylor expansion of i in j 5.895 * [taylor]: Taking taylor expansion of y in j 5.895 * [taylor]: Taking taylor expansion of j in j 5.895 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in j 5.895 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in j 5.895 * [taylor]: Taking taylor expansion of (* t c) in j 5.895 * [taylor]: Taking taylor expansion of t in j 5.895 * [taylor]: Taking taylor expansion of c in j 5.895 * [taylor]: Taking taylor expansion of (* i y) in j 5.895 * [taylor]: Taking taylor expansion of i in j 5.895 * [taylor]: Taking taylor expansion of y in j 5.895 * [taylor]: Taking taylor expansion of j in j 5.895 * [taylor]: Taking taylor expansion of 0 in c 5.895 * [taylor]: Taking taylor expansion of 0 in t 5.895 * [taylor]: Taking taylor expansion of 0 in i 5.895 * [taylor]: Taking taylor expansion of 0 in y 5.896 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 5.896 * [taylor]: Taking taylor expansion of (* t c) in c 5.896 * [taylor]: Taking taylor expansion of t in c 5.896 * [taylor]: Taking taylor expansion of c in c 5.896 * [taylor]: Taking taylor expansion of (* i y) in c 5.896 * [taylor]: Taking taylor expansion of i in c 5.896 * [taylor]: Taking taylor expansion of y in c 5.896 * [taylor]: Taking taylor expansion of (- (* i y)) in t 5.896 * [taylor]: Taking taylor expansion of (* i y) in t 5.896 * [taylor]: Taking taylor expansion of i in t 5.896 * [taylor]: Taking taylor expansion of y in t 5.896 * [taylor]: Taking taylor expansion of (- (* i y)) in i 5.897 * [taylor]: Taking taylor expansion of (* i y) in i 5.897 * [taylor]: Taking taylor expansion of i in i 5.897 * [taylor]: Taking taylor expansion of y in i 5.897 * [taylor]: Taking taylor expansion of 0 in y 5.897 * [taylor]: Taking taylor expansion of 0 in t 5.897 * [taylor]: Taking taylor expansion of 0 in i 5.897 * [taylor]: Taking taylor expansion of 0 in y 5.897 * [taylor]: Taking taylor expansion of 0 in i 5.897 * [taylor]: Taking taylor expansion of 0 in y 5.897 * [taylor]: Taking taylor expansion of 0 in y 5.897 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in (j c t i y) around 0 5.897 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y 5.897 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 5.897 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 5.897 * [taylor]: Taking taylor expansion of (* t c) in y 5.897 * [taylor]: Taking taylor expansion of t in y 5.897 * [taylor]: Taking taylor expansion of c in y 5.897 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 5.897 * [taylor]: Taking taylor expansion of (* i y) in y 5.897 * [taylor]: Taking taylor expansion of i in y 5.897 * [taylor]: Taking taylor expansion of y in y 5.898 * [taylor]: Taking taylor expansion of j in y 5.898 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i 5.898 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 5.898 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 5.898 * [taylor]: Taking taylor expansion of (* t c) in i 5.898 * [taylor]: Taking taylor expansion of t in i 5.898 * [taylor]: Taking taylor expansion of c in i 5.898 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 5.898 * [taylor]: Taking taylor expansion of (* i y) in i 5.898 * [taylor]: Taking taylor expansion of i in i 5.898 * [taylor]: Taking taylor expansion of y in i 5.898 * [taylor]: Taking taylor expansion of j in i 5.899 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t 5.899 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 5.899 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 5.899 * [taylor]: Taking taylor expansion of (* t c) in t 5.899 * [taylor]: Taking taylor expansion of t in t 5.899 * [taylor]: Taking taylor expansion of c in t 5.899 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 5.899 * [taylor]: Taking taylor expansion of (* i y) in t 5.899 * [taylor]: Taking taylor expansion of i in t 5.899 * [taylor]: Taking taylor expansion of y in t 5.899 * [taylor]: Taking taylor expansion of j in t 5.899 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c 5.899 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 5.899 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 5.899 * [taylor]: Taking taylor expansion of (* t c) in c 5.899 * [taylor]: Taking taylor expansion of t in c 5.899 * [taylor]: Taking taylor expansion of c in c 5.900 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 5.900 * [taylor]: Taking taylor expansion of (* i y) in c 5.900 * [taylor]: Taking taylor expansion of i in c 5.900 * [taylor]: Taking taylor expansion of y in c 5.900 * [taylor]: Taking taylor expansion of j in c 5.900 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 5.900 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 5.900 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 5.900 * [taylor]: Taking taylor expansion of (* t c) in j 5.900 * [taylor]: Taking taylor expansion of t in j 5.900 * [taylor]: Taking taylor expansion of c in j 5.900 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 5.900 * [taylor]: Taking taylor expansion of (* i y) in j 5.900 * [taylor]: Taking taylor expansion of i in j 5.900 * [taylor]: Taking taylor expansion of y in j 5.900 * [taylor]: Taking taylor expansion of j in j 5.900 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 5.900 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 5.900 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 5.900 * [taylor]: Taking taylor expansion of (* t c) in j 5.900 * [taylor]: Taking taylor expansion of t in j 5.900 * [taylor]: Taking taylor expansion of c in j 5.900 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 5.900 * [taylor]: Taking taylor expansion of (* i y) in j 5.901 * [taylor]: Taking taylor expansion of i in j 5.901 * [taylor]: Taking taylor expansion of y in j 5.901 * [taylor]: Taking taylor expansion of j in j 5.901 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 5.901 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 5.901 * [taylor]: Taking taylor expansion of (* t c) in c 5.901 * [taylor]: Taking taylor expansion of t in c 5.901 * [taylor]: Taking taylor expansion of c in c 5.901 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 5.901 * [taylor]: Taking taylor expansion of (* i y) in c 5.901 * [taylor]: Taking taylor expansion of i in c 5.901 * [taylor]: Taking taylor expansion of y in c 5.901 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.902 * [taylor]: Taking taylor expansion of t in t 5.902 * [taylor]: Taking taylor expansion of 1 in i 5.903 * [taylor]: Taking taylor expansion of 0 in c 5.904 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in t 5.904 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 5.904 * [taylor]: Taking taylor expansion of (* i y) in t 5.904 * [taylor]: Taking taylor expansion of i in t 5.904 * [taylor]: Taking taylor expansion of y in t 5.904 * [taylor]: Taking taylor expansion of 0 in i 5.905 * [taylor]: Taking taylor expansion of 1 in y 5.907 * [taylor]: Taking taylor expansion of 0 in c 5.907 * [taylor]: Taking taylor expansion of 0 in t 5.908 * [taylor]: Taking taylor expansion of 0 in t 5.908 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in i 5.908 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 5.908 * [taylor]: Taking taylor expansion of (* i y) in i 5.908 * [taylor]: Taking taylor expansion of i in i 5.908 * [taylor]: Taking taylor expansion of y in i 5.909 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 5.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.909 * [taylor]: Taking taylor expansion of y in y 5.910 * [taylor]: Taking taylor expansion of 0 in i 5.910 * [taylor]: Taking taylor expansion of 0 in y 5.910 * [taylor]: Taking taylor expansion of 0 in y 5.913 * [taylor]: Taking taylor expansion of 0 in c 5.913 * [taylor]: Taking taylor expansion of 0 in t 5.913 * [taylor]: Taking taylor expansion of 0 in t 5.915 * [taylor]: Taking taylor expansion of 0 in t 5.915 * [taylor]: Taking taylor expansion of 0 in i 5.915 * [taylor]: Taking taylor expansion of 0 in i 5.915 * [taylor]: Taking taylor expansion of 0 in i 5.916 * [taylor]: Taking taylor expansion of 0 in i 5.917 * [taylor]: Taking taylor expansion of 0 in y 5.917 * [taylor]: Taking taylor expansion of 0 in y 5.917 * [taylor]: Taking taylor expansion of 0 in y 5.917 * [taylor]: Taking taylor expansion of 0 in y 5.922 * [taylor]: Taking taylor expansion of 0 in c 5.922 * [taylor]: Taking taylor expansion of 0 in t 5.922 * [taylor]: Taking taylor expansion of 0 in t 5.922 * [taylor]: Taking taylor expansion of 0 in t 5.924 * [taylor]: Taking taylor expansion of 0 in t 5.924 * [taylor]: Taking taylor expansion of 0 in i 5.924 * [taylor]: Taking taylor expansion of 0 in i 5.924 * [taylor]: Taking taylor expansion of 0 in i 5.924 * [taylor]: Taking taylor expansion of 0 in i 5.924 * [taylor]: Taking taylor expansion of 0 in i 5.925 * [taylor]: Taking taylor expansion of 0 in i 5.926 * [taylor]: Taking taylor expansion of 0 in i 5.926 * [taylor]: Taking taylor expansion of 0 in y 5.926 * [taylor]: Taking taylor expansion of 0 in y 5.926 * [taylor]: Taking taylor expansion of 0 in y 5.926 * [taylor]: Taking taylor expansion of 0 in y 5.927 * [taylor]: Taking taylor expansion of 0 in y 5.927 * [taylor]: Taking taylor expansion of 0 in y 5.927 * [taylor]: Taking taylor expansion of 0 in y 5.927 * [taylor]: Taking taylor expansion of 0 in y 5.928 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in (j c t i y) around 0 5.928 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y 5.928 * [taylor]: Taking taylor expansion of -1 in y 5.928 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y 5.928 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 5.928 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 5.928 * [taylor]: Taking taylor expansion of (* t c) in y 5.928 * [taylor]: Taking taylor expansion of t in y 5.928 * [taylor]: Taking taylor expansion of c in y 5.928 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 5.928 * [taylor]: Taking taylor expansion of (* i y) in y 5.928 * [taylor]: Taking taylor expansion of i in y 5.928 * [taylor]: Taking taylor expansion of y in y 5.928 * [taylor]: Taking taylor expansion of j in y 5.928 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i 5.929 * [taylor]: Taking taylor expansion of -1 in i 5.929 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i 5.929 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 5.929 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 5.929 * [taylor]: Taking taylor expansion of (* t c) in i 5.929 * [taylor]: Taking taylor expansion of t in i 5.929 * [taylor]: Taking taylor expansion of c in i 5.929 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 5.929 * [taylor]: Taking taylor expansion of (* i y) in i 5.929 * [taylor]: Taking taylor expansion of i in i 5.929 * [taylor]: Taking taylor expansion of y in i 5.929 * [taylor]: Taking taylor expansion of j in i 5.929 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t 5.929 * [taylor]: Taking taylor expansion of -1 in t 5.929 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t 5.929 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 5.929 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 5.929 * [taylor]: Taking taylor expansion of (* t c) in t 5.929 * [taylor]: Taking taylor expansion of t in t 5.929 * [taylor]: Taking taylor expansion of c in t 5.930 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 5.930 * [taylor]: Taking taylor expansion of (* i y) in t 5.930 * [taylor]: Taking taylor expansion of i in t 5.930 * [taylor]: Taking taylor expansion of y in t 5.930 * [taylor]: Taking taylor expansion of j in t 5.930 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c 5.930 * [taylor]: Taking taylor expansion of -1 in c 5.930 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c 5.930 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 5.930 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 5.930 * [taylor]: Taking taylor expansion of (* t c) in c 5.930 * [taylor]: Taking taylor expansion of t in c 5.930 * [taylor]: Taking taylor expansion of c in c 5.930 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 5.930 * [taylor]: Taking taylor expansion of (* i y) in c 5.930 * [taylor]: Taking taylor expansion of i in c 5.930 * [taylor]: Taking taylor expansion of y in c 5.930 * [taylor]: Taking taylor expansion of j in c 5.931 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in j 5.931 * [taylor]: Taking taylor expansion of -1 in j 5.931 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 5.931 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 5.931 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 5.931 * [taylor]: Taking taylor expansion of (* t c) in j 5.931 * [taylor]: Taking taylor expansion of t in j 5.931 * [taylor]: Taking taylor expansion of c in j 5.931 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 5.931 * [taylor]: Taking taylor expansion of (* i y) in j 5.931 * [taylor]: Taking taylor expansion of i in j 5.931 * [taylor]: Taking taylor expansion of y in j 5.931 * [taylor]: Taking taylor expansion of j in j 5.931 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in j 5.931 * [taylor]: Taking taylor expansion of -1 in j 5.931 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 5.931 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 5.931 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 5.931 * [taylor]: Taking taylor expansion of (* t c) in j 5.931 * [taylor]: Taking taylor expansion of t in j 5.931 * [taylor]: Taking taylor expansion of c in j 5.931 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 5.931 * [taylor]: Taking taylor expansion of (* i y) in j 5.931 * [taylor]: Taking taylor expansion of i in j 5.931 * [taylor]: Taking taylor expansion of y in j 5.931 * [taylor]: Taking taylor expansion of j in j 5.932 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* t c)) (/ 1 (* i y)))) in c 5.932 * [taylor]: Taking taylor expansion of -1 in c 5.932 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 5.932 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 5.932 * [taylor]: Taking taylor expansion of (* t c) in c 5.932 * [taylor]: Taking taylor expansion of t in c 5.932 * [taylor]: Taking taylor expansion of c in c 5.932 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 5.932 * [taylor]: Taking taylor expansion of (* i y) in c 5.932 * [taylor]: Taking taylor expansion of i in c 5.932 * [taylor]: Taking taylor expansion of y in c 5.932 * [taylor]: Taking taylor expansion of (/ -1 t) in t 5.932 * [taylor]: Taking taylor expansion of -1 in t 5.932 * [taylor]: Taking taylor expansion of t in t 5.933 * [taylor]: Taking taylor expansion of -1 in i 5.934 * [taylor]: Taking taylor expansion of 0 in c 5.935 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 5.935 * [taylor]: Taking taylor expansion of (* i y) in t 5.935 * [taylor]: Taking taylor expansion of i in t 5.935 * [taylor]: Taking taylor expansion of y in t 5.936 * [taylor]: Taking taylor expansion of 0 in i 5.936 * [taylor]: Taking taylor expansion of -1 in y 5.939 * [taylor]: Taking taylor expansion of 0 in c 5.939 * [taylor]: Taking taylor expansion of 0 in t 5.940 * [taylor]: Taking taylor expansion of 0 in t 5.940 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 5.940 * [taylor]: Taking taylor expansion of (* i y) in i 5.941 * [taylor]: Taking taylor expansion of i in i 5.941 * [taylor]: Taking taylor expansion of y in i 5.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.941 * [taylor]: Taking taylor expansion of y in y 5.942 * [taylor]: Taking taylor expansion of 0 in i 5.942 * [taylor]: Taking taylor expansion of 0 in y 5.942 * [taylor]: Taking taylor expansion of 0 in y 5.946 * [taylor]: Taking taylor expansion of 0 in c 5.946 * [taylor]: Taking taylor expansion of 0 in t 5.946 * [taylor]: Taking taylor expansion of 0 in t 5.948 * [taylor]: Taking taylor expansion of 0 in t 5.948 * [taylor]: Taking taylor expansion of 0 in i 5.948 * [taylor]: Taking taylor expansion of 0 in i 5.948 * [taylor]: Taking taylor expansion of 0 in i 5.949 * [taylor]: Taking taylor expansion of 0 in i 5.950 * [taylor]: Taking taylor expansion of 0 in y 5.950 * [taylor]: Taking taylor expansion of 0 in y 5.950 * [taylor]: Taking taylor expansion of 0 in y 5.950 * [taylor]: Taking taylor expansion of 0 in y 5.955 * [taylor]: Taking taylor expansion of 0 in c 5.955 * [taylor]: Taking taylor expansion of 0 in t 5.955 * [taylor]: Taking taylor expansion of 0 in t 5.955 * [taylor]: Taking taylor expansion of 0 in t 5.961 * [taylor]: Taking taylor expansion of 0 in t 5.961 * [taylor]: Taking taylor expansion of 0 in i 5.961 * [taylor]: Taking taylor expansion of 0 in i 5.961 * [taylor]: Taking taylor expansion of 0 in i 5.961 * [taylor]: Taking taylor expansion of 0 in i 5.961 * [taylor]: Taking taylor expansion of 0 in i 5.961 * [taylor]: Taking taylor expansion of 0 in i 5.962 * [taylor]: Taking taylor expansion of 0 in i 5.962 * [taylor]: Taking taylor expansion of 0 in y 5.962 * [taylor]: Taking taylor expansion of 0 in y 5.962 * [taylor]: Taking taylor expansion of 0 in y 5.962 * [taylor]: Taking taylor expansion of 0 in y 5.963 * [taylor]: Taking taylor expansion of 0 in y 5.963 * [taylor]: Taking taylor expansion of 0 in y 5.963 * [taylor]: Taking taylor expansion of 0 in y 5.963 * [taylor]: Taking taylor expansion of 0 in y 5.964 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 5.964 * [approximate]: Taking taylor expansion of (* z (* b c)) in (z b c) around 0 5.964 * [taylor]: Taking taylor expansion of (* z (* b c)) in c 5.964 * [taylor]: Taking taylor expansion of z in c 5.964 * [taylor]: Taking taylor expansion of (* b c) in c 5.964 * [taylor]: Taking taylor expansion of b in c 5.964 * [taylor]: Taking taylor expansion of c in c 5.964 * [taylor]: Taking taylor expansion of (* z (* b c)) in b 5.964 * [taylor]: Taking taylor expansion of z in b 5.964 * [taylor]: Taking taylor expansion of (* b c) in b 5.964 * [taylor]: Taking taylor expansion of b in b 5.964 * [taylor]: Taking taylor expansion of c in b 5.964 * [taylor]: Taking taylor expansion of (* z (* b c)) in z 5.964 * [taylor]: Taking taylor expansion of z in z 5.964 * [taylor]: Taking taylor expansion of (* b c) in z 5.964 * [taylor]: Taking taylor expansion of b in z 5.964 * [taylor]: Taking taylor expansion of c in z 5.964 * [taylor]: Taking taylor expansion of (* z (* b c)) in z 5.964 * [taylor]: Taking taylor expansion of z in z 5.964 * [taylor]: Taking taylor expansion of (* b c) in z 5.964 * [taylor]: Taking taylor expansion of b in z 5.964 * [taylor]: Taking taylor expansion of c in z 5.964 * [taylor]: Taking taylor expansion of 0 in b 5.964 * [taylor]: Taking taylor expansion of 0 in c 5.965 * [taylor]: Taking taylor expansion of (* b c) in b 5.965 * [taylor]: Taking taylor expansion of b in b 5.965 * [taylor]: Taking taylor expansion of c in b 5.965 * [taylor]: Taking taylor expansion of 0 in c 5.965 * [taylor]: Taking taylor expansion of 0 in c 5.966 * [taylor]: Taking taylor expansion of 0 in b 5.966 * [taylor]: Taking taylor expansion of 0 in c 5.966 * [taylor]: Taking taylor expansion of c in c 5.966 * [approximate]: Taking taylor expansion of (/ 1 (* z (* b c))) in (z b c) around 0 5.966 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in c 5.966 * [taylor]: Taking taylor expansion of (* z (* b c)) in c 5.966 * [taylor]: Taking taylor expansion of z in c 5.966 * [taylor]: Taking taylor expansion of (* b c) in c 5.966 * [taylor]: Taking taylor expansion of b in c 5.966 * [taylor]: Taking taylor expansion of c in c 5.967 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in b 5.967 * [taylor]: Taking taylor expansion of (* z (* b c)) in b 5.967 * [taylor]: Taking taylor expansion of z in b 5.967 * [taylor]: Taking taylor expansion of (* b c) in b 5.967 * [taylor]: Taking taylor expansion of b in b 5.967 * [taylor]: Taking taylor expansion of c in b 5.968 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in z 5.968 * [taylor]: Taking taylor expansion of (* z (* b c)) in z 5.968 * [taylor]: Taking taylor expansion of z in z 5.968 * [taylor]: Taking taylor expansion of (* b c) in z 5.968 * [taylor]: Taking taylor expansion of b in z 5.968 * [taylor]: Taking taylor expansion of c in z 5.968 * [taylor]: Taking taylor expansion of (/ 1 (* z (* b c))) in z 5.968 * [taylor]: Taking taylor expansion of (* z (* b c)) in z 5.968 * [taylor]: Taking taylor expansion of z in z 5.968 * [taylor]: Taking taylor expansion of (* b c) in z 5.968 * [taylor]: Taking taylor expansion of b in z 5.969 * [taylor]: Taking taylor expansion of c in z 5.969 * [taylor]: Taking taylor expansion of (/ 1 (* b c)) in b 5.969 * [taylor]: Taking taylor expansion of (* b c) in b 5.969 * [taylor]: Taking taylor expansion of b in b 5.969 * [taylor]: Taking taylor expansion of c in b 5.970 * [taylor]: Taking taylor expansion of (/ 1 c) in c 5.970 * [taylor]: Taking taylor expansion of c in c 5.971 * [taylor]: Taking taylor expansion of 0 in b 5.972 * [taylor]: Taking taylor expansion of 0 in c 5.973 * [taylor]: Taking taylor expansion of 0 in b 5.974 * [taylor]: Taking taylor expansion of 0 in c 5.974 * [taylor]: Taking taylor expansion of 0 in c 5.977 * [taylor]: Taking taylor expansion of 0 in b 5.977 * [taylor]: Taking taylor expansion of 0 in c 5.977 * [taylor]: Taking taylor expansion of 0 in c 5.978 * [taylor]: Taking taylor expansion of 0 in c 5.979 * [approximate]: Taking taylor expansion of (/ -1 (* z (* b c))) in (z b c) around 0 5.979 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in c 5.979 * [taylor]: Taking taylor expansion of -1 in c 5.979 * [taylor]: Taking taylor expansion of (* z (* b c)) in c 5.979 * [taylor]: Taking taylor expansion of z in c 5.979 * [taylor]: Taking taylor expansion of (* b c) in c 5.979 * [taylor]: Taking taylor expansion of b in c 5.979 * [taylor]: Taking taylor expansion of c in c 5.979 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in b 5.979 * [taylor]: Taking taylor expansion of -1 in b 5.979 * [taylor]: Taking taylor expansion of (* z (* b c)) in b 5.979 * [taylor]: Taking taylor expansion of z in b 5.979 * [taylor]: Taking taylor expansion of (* b c) in b 5.979 * [taylor]: Taking taylor expansion of b in b 5.979 * [taylor]: Taking taylor expansion of c in b 5.980 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in z 5.980 * [taylor]: Taking taylor expansion of -1 in z 5.980 * [taylor]: Taking taylor expansion of (* z (* b c)) in z 5.980 * [taylor]: Taking taylor expansion of z in z 5.980 * [taylor]: Taking taylor expansion of (* b c) in z 5.980 * [taylor]: Taking taylor expansion of b in z 5.980 * [taylor]: Taking taylor expansion of c in z 5.981 * [taylor]: Taking taylor expansion of (/ -1 (* z (* b c))) in z 5.981 * [taylor]: Taking taylor expansion of -1 in z 5.981 * [taylor]: Taking taylor expansion of (* z (* b c)) in z 5.981 * [taylor]: Taking taylor expansion of z in z 5.981 * [taylor]: Taking taylor expansion of (* b c) in z 5.981 * [taylor]: Taking taylor expansion of b in z 5.981 * [taylor]: Taking taylor expansion of c in z 5.981 * [taylor]: Taking taylor expansion of (/ -1 (* b c)) in b 5.981 * [taylor]: Taking taylor expansion of -1 in b 5.981 * [taylor]: Taking taylor expansion of (* b c) in b 5.981 * [taylor]: Taking taylor expansion of b in b 5.981 * [taylor]: Taking taylor expansion of c in b 5.982 * [taylor]: Taking taylor expansion of (/ -1 c) in c 5.982 * [taylor]: Taking taylor expansion of -1 in c 5.982 * [taylor]: Taking taylor expansion of c in c 5.983 * [taylor]: Taking taylor expansion of 0 in b 5.983 * [taylor]: Taking taylor expansion of 0 in c 5.985 * [taylor]: Taking taylor expansion of 0 in b 5.985 * [taylor]: Taking taylor expansion of 0 in c 5.986 * [taylor]: Taking taylor expansion of 0 in c 5.989 * [taylor]: Taking taylor expansion of 0 in b 5.989 * [taylor]: Taking taylor expansion of 0 in c 5.989 * [taylor]: Taking taylor expansion of 0 in c 5.990 * [taylor]: Taking taylor expansion of 0 in c 5.991 * * * [progress]: simplifying candidates 5.992 * [simplify]: Simplifying using # : (* x (- (* y z) (* t a))) (+ (log x) (log (- (* y z) (* t a)))) (log (* x (- (* y z) (* t a)))) (exp (* x (- (* y z) (* t a)))) (* (* (* x x) x) (* (* (- (* y z) (* t a)) (- (* y z) (* t a))) (- (* y z) (* t a)))) (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a)))) (* (* (* x (- (* y z) (* t a))) (* x (- (* y z) (* t a)))) (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a)))) (* (sqrt x) (sqrt (- (* y z) (* t a)))) (* (sqrt x) (sqrt (- (* y z) (* t a)))) (* x (* y z)) (* x (- (* t a))) (* x (* y z)) (* x (- (* t a))) (* (* y z) x) (* (- (* t a)) x) (* (* y z) x) (* (- (* t a)) x) (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* x (sqrt (- (* y z) (* t a)))) (* x 1) (* (cbrt x) (- (* y z) (* t a))) (* (sqrt x) (- (* y z) (* t a))) (* x (- (* y z) (* t a))) (* x (- (pow (* y z) 3) (pow (* t a) 3))) (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (* (- (* i a)) b) (+ (log (- (* i a))) (log b)) (log (* (- (* i a)) b)) (exp (* (- (* i a)) b)) (* (* (* (- (* i a)) (- (* i a))) (- (* i a))) (* (* b b) b)) (* (cbrt (* (- (* i a)) b)) (cbrt (* (- (* i a)) b))) (cbrt (* (- (* i a)) b)) (* (* (* (- (* i a)) b) (* (- (* i a)) b)) (* (- (* i a)) b)) (sqrt (* (- (* i a)) b)) (sqrt (* (- (* i a)) b)) (* (sqrt (- (* i a))) (sqrt b)) (* (sqrt (- (* i a))) (sqrt b)) (* (* i a) b) (* (- (* i a)) (* (cbrt b) (cbrt b))) (* (- (* i a)) (sqrt b)) (* (- (* i a)) 1) (* (cbrt (- (* i a))) b) (* (sqrt (- (* i a))) b) (* (- (* i a)) b) (* (* i a) b) (* a b) (* (- a) b) (* j (- (* c t) (* i y))) (+ (log j) (log (- (* c t) (* i y)))) (log (* j (- (* c t) (* i y)))) (exp (* j (- (* c t) (* i y)))) (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y)))) (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))) (* (* (* j (- (* c t) (* i y))) (* j (- (* c t) (* i y)))) (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* j (* c t)) (* j (- (* i y))) (* j (* c t)) (* j (- (* i y))) (* (* c t) j) (* (- (* i y)) j) (* (* c t) j) (* (- (* i y)) j) (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (* j (sqrt (- (* c t) (* i y)))) (* j 1) (* (cbrt j) (- (* c t) (* i y))) (* (sqrt j) (- (* c t) (* i y))) (* j (- (* c t) (* i y))) (* j (- (pow (* c t) 3) (pow (* i y) 3))) (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (* z (* b c)) (* z (* b c)) (+ (log z) (+ (log b) (log c))) (+ (log z) (log (* b c))) (log (* z (* b c))) (exp (* z (* b c))) (* (* (* z z) z) (* (* (* b b) b) (* (* c c) c))) (* (* (* z z) z) (* (* (* b c) (* b c)) (* b c))) (* (cbrt (* z (* b c))) (cbrt (* z (* b c)))) (cbrt (* z (* b c))) (* (* (* z (* b c)) (* z (* b c))) (* z (* b c))) (sqrt (* z (* b c))) (sqrt (* z (* b c))) (* z b) (* (cbrt z) (* b c)) (* (sqrt z) (* b c)) (* z (* b c)) 0 (- (* x (* z y)) (* a (* x t))) (- (* x (* z y)) (* a (* x t))) 0 (* -1 (* a (* i b))) (* -1 (* a (* i b))) 0 (- (* t (* j c)) (* i (* j y))) (- (* t (* j c)) (* i (* j y))) 0 (* z (* b c)) (* z (* b c)) 5.995 * * [simplify]: iteration 0 : 174 enodes (cost 1003 ) 6.033 * * [simplify]: iteration 1 : 445 enodes (cost 985 ) 6.156 * * [simplify]: iteration 2 : 1514 enodes (cost 855 ) 6.874 * * [simplify]: iteration done : 5001 enodes (cost 855 ) 6.874 * [simplify]: Simplified to: (* (- (* y z) (* t a)) x) (log (* x (- (* y z) (* t a)))) (log (* x (- (* y z) (* t a)))) (exp (* x (- (* y z) (* t a)))) (pow (* (- (* y z) (* t a)) x) 3) (* (cbrt (* x (- (* y z) (* t a)))) (cbrt (* x (- (* y z) (* t a))))) (cbrt (* x (- (* y z) (* t a)))) (pow (* (- (* y z) (* t a)) x) 3) (sqrt (* x (- (* y z) (* t a)))) (sqrt (* x (- (* y z) (* t a)))) (* (sqrt x) (sqrt (- (* y z) (* t a)))) (* (sqrt x) (sqrt (- (* y z) (* t a)))) (* (* y z) x) (- (* a (* x t))) (* (* y z) x) (- (* a (* x t))) (* (* y z) x) (- (* a (* x t))) (* (* y z) x) (- (* a (* x t))) (* x (* (cbrt (- (* y z) (* t a))) (cbrt (- (* y z) (* t a))))) (* x (sqrt (- (* y z) (* t a)))) x (* (cbrt x) (- (* y z) (* t a))) (* (sqrt x) (- (* y z) (* t a))) (* (- (* y z) (* t a)) x) (* x (- (pow (* y z) 3) (pow (* t a) 3))) (* x (- (* (* y z) (* y z)) (* (* t a) (* t a)))) (* (- (* i a)) b) (log (* (- (* i a)) b)) (log (* (- (* i a)) b)) (exp (* (- (* i a)) b)) (pow (* (- (* i a)) b) 3) (* (cbrt (* (- (* i a)) b)) (cbrt (* (- (* i a)) b))) (cbrt (* (- (* i a)) b)) (pow (* (- (* i a)) b) 3) (sqrt (* (- (* i a)) b)) (sqrt (* (- (* i a)) b)) (* (sqrt (- (* i a))) (sqrt b)) (* (sqrt (- (* i a))) (sqrt b)) (* a (* i b)) (* (- (* i a)) (* (cbrt b) (cbrt b))) (* (- (* i a)) (sqrt b)) (- (* i a)) (* (cbrt (- (* i a))) b) (* (sqrt (- (* i a))) b) (* (- (* i a)) b) (* a (* i b)) (* a b) (* b (- a)) (* j (- (* c t) (* i y))) (log (* j (- (* c t) (* i y)))) (log (* j (- (* c t) (* i y)))) (exp (* j (- (* c t) (* i y)))) (pow (* j (- (* c t) (* i y))) 3) (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))) (pow (* j (- (* c t) (* i y))) 3) (sqrt (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* t (* j c)) (- (* i (* j y))) (* t (* j c)) (- (* i (* j y))) (* t (* j c)) (- (* i (* j y))) (* t (* j c)) (- (* i (* j y))) (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (* j (sqrt (- (* c t) (* i y)))) j (* (cbrt j) (- (* c t) (* i y))) (* (sqrt j) (- (* c t) (* i y))) (* j (- (* c t) (* i y))) (* j (- (pow (* c t) 3) (pow (* i y) 3))) (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))) (* z (* b c)) (* z (* b c)) (log (* z (* b c))) (log (* z (* b c))) (log (* z (* b c))) (exp (* z (* b c))) (pow (* z (* b c)) 3) (pow (* z (* b c)) 3) (* (cbrt (* z (* b c))) (cbrt (* z (* b c)))) (cbrt (* z (* b c))) (pow (* z (* b c)) 3) (sqrt (* z (* b c))) (sqrt (* z (* b c))) (* z b) (* (cbrt z) (* b c)) (* (sqrt z) (* b c)) (* z (* b c)) 0 (* (- (* y z) (* t a)) x) (* (- (* y z) (* t a)) x) 0 (* (- (* i a)) b) (* (- (* i a)) b) 0 (* j (- (* c t) (* i y))) (* j (- (* c t) (* i y))) 0 (* z (* b c)) (* z (* b c)) 6.875 * * * [progress]: adding candidates to table 7.252 * * [progress]: iteration 3 / 4 7.252 * * * [progress]: picking best candidate 7.323 * * * * [pick]: Picked # 7.323 * * * [progress]: localizing error 7.354 * * * [progress]: generating rewritten candidates 7.355 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 7.360 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 7.367 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 7.371 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 7.383 * * * [progress]: generating series expansions 7.383 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 7.383 * [approximate]: Taking taylor expansion of (* a (* x t)) in (a x t) around 0 7.383 * [taylor]: Taking taylor expansion of (* a (* x t)) in t 7.383 * [taylor]: Taking taylor expansion of a in t 7.383 * [taylor]: Taking taylor expansion of (* x t) in t 7.383 * [taylor]: Taking taylor expansion of x in t 7.383 * [taylor]: Taking taylor expansion of t in t 7.383 * [taylor]: Taking taylor expansion of (* a (* x t)) in x 7.383 * [taylor]: Taking taylor expansion of a in x 7.383 * [taylor]: Taking taylor expansion of (* x t) in x 7.383 * [taylor]: Taking taylor expansion of x in x 7.383 * [taylor]: Taking taylor expansion of t in x 7.383 * [taylor]: Taking taylor expansion of (* a (* x t)) in a 7.383 * [taylor]: Taking taylor expansion of a in a 7.383 * [taylor]: Taking taylor expansion of (* x t) in a 7.383 * [taylor]: Taking taylor expansion of x in a 7.383 * [taylor]: Taking taylor expansion of t in a 7.383 * [taylor]: Taking taylor expansion of (* a (* x t)) in a 7.383 * [taylor]: Taking taylor expansion of a in a 7.383 * [taylor]: Taking taylor expansion of (* x t) in a 7.384 * [taylor]: Taking taylor expansion of x in a 7.384 * [taylor]: Taking taylor expansion of t in a 7.384 * [taylor]: Taking taylor expansion of 0 in x 7.384 * [taylor]: Taking taylor expansion of 0 in t 7.385 * [taylor]: Taking taylor expansion of (* t x) in x 7.385 * [taylor]: Taking taylor expansion of t in x 7.385 * [taylor]: Taking taylor expansion of x in x 7.385 * [taylor]: Taking taylor expansion of 0 in t 7.385 * [taylor]: Taking taylor expansion of 0 in t 7.386 * [taylor]: Taking taylor expansion of 0 in x 7.386 * [taylor]: Taking taylor expansion of 0 in t 7.387 * [taylor]: Taking taylor expansion of t in t 7.387 * [approximate]: Taking taylor expansion of (/ 1 (* a (* x t))) in (a x t) around 0 7.387 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x t))) in t 7.387 * [taylor]: Taking taylor expansion of (* a (* x t)) in t 7.387 * [taylor]: Taking taylor expansion of a in t 7.387 * [taylor]: Taking taylor expansion of (* x t) in t 7.387 * [taylor]: Taking taylor expansion of x in t 7.387 * [taylor]: Taking taylor expansion of t in t 7.388 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x t))) in x 7.388 * [taylor]: Taking taylor expansion of (* a (* x t)) in x 7.388 * [taylor]: Taking taylor expansion of a in x 7.388 * [taylor]: Taking taylor expansion of (* x t) in x 7.388 * [taylor]: Taking taylor expansion of x in x 7.388 * [taylor]: Taking taylor expansion of t in x 7.389 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x t))) in a 7.389 * [taylor]: Taking taylor expansion of (* a (* x t)) in a 7.389 * [taylor]: Taking taylor expansion of a in a 7.389 * [taylor]: Taking taylor expansion of (* x t) in a 7.389 * [taylor]: Taking taylor expansion of x in a 7.389 * [taylor]: Taking taylor expansion of t in a 7.389 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x t))) in a 7.390 * [taylor]: Taking taylor expansion of (* a (* x t)) in a 7.390 * [taylor]: Taking taylor expansion of a in a 7.390 * [taylor]: Taking taylor expansion of (* x t) in a 7.390 * [taylor]: Taking taylor expansion of x in a 7.390 * [taylor]: Taking taylor expansion of t in a 7.390 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x 7.390 * [taylor]: Taking taylor expansion of (* t x) in x 7.390 * [taylor]: Taking taylor expansion of t in x 7.390 * [taylor]: Taking taylor expansion of x in x 7.391 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.391 * [taylor]: Taking taylor expansion of t in t 7.392 * [taylor]: Taking taylor expansion of 0 in x 7.392 * [taylor]: Taking taylor expansion of 0 in t 7.394 * [taylor]: Taking taylor expansion of 0 in x 7.395 * [taylor]: Taking taylor expansion of 0 in t 7.395 * [taylor]: Taking taylor expansion of 0 in t 7.398 * [taylor]: Taking taylor expansion of 0 in x 7.398 * [taylor]: Taking taylor expansion of 0 in t 7.398 * [taylor]: Taking taylor expansion of 0 in t 7.399 * [taylor]: Taking taylor expansion of 0 in t 7.399 * [approximate]: Taking taylor expansion of (/ -1 (* a (* x t))) in (a x t) around 0 7.399 * [taylor]: Taking taylor expansion of (/ -1 (* a (* x t))) in t 7.399 * [taylor]: Taking taylor expansion of -1 in t 7.399 * [taylor]: Taking taylor expansion of (* a (* x t)) in t 7.399 * [taylor]: Taking taylor expansion of a in t 7.399 * [taylor]: Taking taylor expansion of (* x t) in t 7.399 * [taylor]: Taking taylor expansion of x in t 7.399 * [taylor]: Taking taylor expansion of t in t 7.400 * [taylor]: Taking taylor expansion of (/ -1 (* a (* x t))) in x 7.400 * [taylor]: Taking taylor expansion of -1 in x 7.400 * [taylor]: Taking taylor expansion of (* a (* x t)) in x 7.400 * [taylor]: Taking taylor expansion of a in x 7.400 * [taylor]: Taking taylor expansion of (* x t) in x 7.400 * [taylor]: Taking taylor expansion of x in x 7.400 * [taylor]: Taking taylor expansion of t in x 7.401 * [taylor]: Taking taylor expansion of (/ -1 (* a (* x t))) in a 7.401 * [taylor]: Taking taylor expansion of -1 in a 7.401 * [taylor]: Taking taylor expansion of (* a (* x t)) in a 7.401 * [taylor]: Taking taylor expansion of a in a 7.401 * [taylor]: Taking taylor expansion of (* x t) in a 7.401 * [taylor]: Taking taylor expansion of x in a 7.401 * [taylor]: Taking taylor expansion of t in a 7.402 * [taylor]: Taking taylor expansion of (/ -1 (* a (* x t))) in a 7.402 * [taylor]: Taking taylor expansion of -1 in a 7.402 * [taylor]: Taking taylor expansion of (* a (* x t)) in a 7.402 * [taylor]: Taking taylor expansion of a in a 7.402 * [taylor]: Taking taylor expansion of (* x t) in a 7.402 * [taylor]: Taking taylor expansion of x in a 7.402 * [taylor]: Taking taylor expansion of t in a 7.402 * [taylor]: Taking taylor expansion of (/ -1 (* t x)) in x 7.402 * [taylor]: Taking taylor expansion of -1 in x 7.402 * [taylor]: Taking taylor expansion of (* t x) in x 7.402 * [taylor]: Taking taylor expansion of t in x 7.402 * [taylor]: Taking taylor expansion of x in x 7.403 * [taylor]: Taking taylor expansion of (/ -1 t) in t 7.403 * [taylor]: Taking taylor expansion of -1 in t 7.403 * [taylor]: Taking taylor expansion of t in t 7.404 * [taylor]: Taking taylor expansion of 0 in x 7.405 * [taylor]: Taking taylor expansion of 0 in t 7.407 * [taylor]: Taking taylor expansion of 0 in x 7.407 * [taylor]: Taking taylor expansion of 0 in t 7.408 * [taylor]: Taking taylor expansion of 0 in t 7.410 * [taylor]: Taking taylor expansion of 0 in x 7.410 * [taylor]: Taking taylor expansion of 0 in t 7.410 * [taylor]: Taking taylor expansion of 0 in t 7.411 * [taylor]: Taking taylor expansion of 0 in t 7.411 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 7.412 * [approximate]: Taking taylor expansion of (* x (* z y)) in (y z x) around 0 7.412 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 7.412 * [taylor]: Taking taylor expansion of x in x 7.412 * [taylor]: Taking taylor expansion of (* z y) in x 7.412 * [taylor]: Taking taylor expansion of z in x 7.412 * [taylor]: Taking taylor expansion of y in x 7.412 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 7.412 * [taylor]: Taking taylor expansion of x in z 7.412 * [taylor]: Taking taylor expansion of (* z y) in z 7.412 * [taylor]: Taking taylor expansion of z in z 7.412 * [taylor]: Taking taylor expansion of y in z 7.412 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.412 * [taylor]: Taking taylor expansion of x in y 7.412 * [taylor]: Taking taylor expansion of (* z y) in y 7.412 * [taylor]: Taking taylor expansion of z in y 7.412 * [taylor]: Taking taylor expansion of y in y 7.412 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.412 * [taylor]: Taking taylor expansion of x in y 7.412 * [taylor]: Taking taylor expansion of (* z y) in y 7.412 * [taylor]: Taking taylor expansion of z in y 7.412 * [taylor]: Taking taylor expansion of y in y 7.412 * [taylor]: Taking taylor expansion of 0 in z 7.412 * [taylor]: Taking taylor expansion of 0 in x 7.413 * [taylor]: Taking taylor expansion of (* x z) in z 7.413 * [taylor]: Taking taylor expansion of x in z 7.413 * [taylor]: Taking taylor expansion of z in z 7.413 * [taylor]: Taking taylor expansion of 0 in x 7.413 * [taylor]: Taking taylor expansion of 0 in x 7.414 * [taylor]: Taking taylor expansion of 0 in z 7.414 * [taylor]: Taking taylor expansion of 0 in x 7.414 * [taylor]: Taking taylor expansion of x in x 7.414 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (y z x) around 0 7.414 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 7.414 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 7.414 * [taylor]: Taking taylor expansion of x in x 7.414 * [taylor]: Taking taylor expansion of (* z y) in x 7.414 * [taylor]: Taking taylor expansion of z in x 7.414 * [taylor]: Taking taylor expansion of y in x 7.415 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 7.415 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 7.415 * [taylor]: Taking taylor expansion of x in z 7.415 * [taylor]: Taking taylor expansion of (* z y) in z 7.415 * [taylor]: Taking taylor expansion of z in z 7.415 * [taylor]: Taking taylor expansion of y in z 7.416 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 7.416 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.416 * [taylor]: Taking taylor expansion of x in y 7.416 * [taylor]: Taking taylor expansion of (* z y) in y 7.416 * [taylor]: Taking taylor expansion of z in y 7.416 * [taylor]: Taking taylor expansion of y in y 7.416 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 7.416 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.417 * [taylor]: Taking taylor expansion of x in y 7.417 * [taylor]: Taking taylor expansion of (* z y) in y 7.417 * [taylor]: Taking taylor expansion of z in y 7.417 * [taylor]: Taking taylor expansion of y in y 7.417 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 7.417 * [taylor]: Taking taylor expansion of (* x z) in z 7.417 * [taylor]: Taking taylor expansion of x in z 7.417 * [taylor]: Taking taylor expansion of z in z 7.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.418 * [taylor]: Taking taylor expansion of x in x 7.419 * [taylor]: Taking taylor expansion of 0 in z 7.419 * [taylor]: Taking taylor expansion of 0 in x 7.421 * [taylor]: Taking taylor expansion of 0 in z 7.421 * [taylor]: Taking taylor expansion of 0 in x 7.422 * [taylor]: Taking taylor expansion of 0 in x 7.424 * [taylor]: Taking taylor expansion of 0 in z 7.424 * [taylor]: Taking taylor expansion of 0 in x 7.424 * [taylor]: Taking taylor expansion of 0 in x 7.425 * [taylor]: Taking taylor expansion of 0 in x 7.425 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (y z x) around 0 7.425 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x 7.425 * [taylor]: Taking taylor expansion of -1 in x 7.425 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 7.425 * [taylor]: Taking taylor expansion of x in x 7.425 * [taylor]: Taking taylor expansion of (* z y) in x 7.425 * [taylor]: Taking taylor expansion of z in x 7.425 * [taylor]: Taking taylor expansion of y in x 7.426 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z 7.426 * [taylor]: Taking taylor expansion of -1 in z 7.426 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 7.426 * [taylor]: Taking taylor expansion of x in z 7.426 * [taylor]: Taking taylor expansion of (* z y) in z 7.426 * [taylor]: Taking taylor expansion of z in z 7.426 * [taylor]: Taking taylor expansion of y in z 7.427 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y 7.427 * [taylor]: Taking taylor expansion of -1 in y 7.427 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.427 * [taylor]: Taking taylor expansion of x in y 7.427 * [taylor]: Taking taylor expansion of (* z y) in y 7.427 * [taylor]: Taking taylor expansion of z in y 7.427 * [taylor]: Taking taylor expansion of y in y 7.427 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y 7.427 * [taylor]: Taking taylor expansion of -1 in y 7.428 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 7.428 * [taylor]: Taking taylor expansion of x in y 7.428 * [taylor]: Taking taylor expansion of (* z y) in y 7.428 * [taylor]: Taking taylor expansion of z in y 7.428 * [taylor]: Taking taylor expansion of y in y 7.428 * [taylor]: Taking taylor expansion of (/ -1 (* x z)) in z 7.428 * [taylor]: Taking taylor expansion of -1 in z 7.428 * [taylor]: Taking taylor expansion of (* x z) in z 7.428 * [taylor]: Taking taylor expansion of x in z 7.428 * [taylor]: Taking taylor expansion of z in z 7.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.429 * [taylor]: Taking taylor expansion of -1 in x 7.429 * [taylor]: Taking taylor expansion of x in x 7.430 * [taylor]: Taking taylor expansion of 0 in z 7.431 * [taylor]: Taking taylor expansion of 0 in x 7.432 * [taylor]: Taking taylor expansion of 0 in z 7.433 * [taylor]: Taking taylor expansion of 0 in x 7.433 * [taylor]: Taking taylor expansion of 0 in x 7.436 * [taylor]: Taking taylor expansion of 0 in z 7.436 * [taylor]: Taking taylor expansion of 0 in x 7.436 * [taylor]: Taking taylor expansion of 0 in x 7.437 * [taylor]: Taking taylor expansion of 0 in x 7.437 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 7.437 * [approximate]: Taking taylor expansion of (* -1 (* a (* i b))) in (i a b) around 0 7.437 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in b 7.437 * [taylor]: Taking taylor expansion of -1 in b 7.437 * [taylor]: Taking taylor expansion of (* a (* i b)) in b 7.437 * [taylor]: Taking taylor expansion of a in b 7.437 * [taylor]: Taking taylor expansion of (* i b) in b 7.437 * [taylor]: Taking taylor expansion of i in b 7.437 * [taylor]: Taking taylor expansion of b in b 7.437 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in a 7.437 * [taylor]: Taking taylor expansion of -1 in a 7.437 * [taylor]: Taking taylor expansion of (* a (* i b)) in a 7.437 * [taylor]: Taking taylor expansion of a in a 7.437 * [taylor]: Taking taylor expansion of (* i b) in a 7.437 * [taylor]: Taking taylor expansion of i in a 7.437 * [taylor]: Taking taylor expansion of b in a 7.437 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in i 7.437 * [taylor]: Taking taylor expansion of -1 in i 7.437 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 7.437 * [taylor]: Taking taylor expansion of a in i 7.437 * [taylor]: Taking taylor expansion of (* i b) in i 7.437 * [taylor]: Taking taylor expansion of i in i 7.438 * [taylor]: Taking taylor expansion of b in i 7.438 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in i 7.438 * [taylor]: Taking taylor expansion of -1 in i 7.438 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 7.438 * [taylor]: Taking taylor expansion of a in i 7.438 * [taylor]: Taking taylor expansion of (* i b) in i 7.438 * [taylor]: Taking taylor expansion of i in i 7.438 * [taylor]: Taking taylor expansion of b in i 7.438 * [taylor]: Taking taylor expansion of 0 in a 7.438 * [taylor]: Taking taylor expansion of 0 in b 7.439 * [taylor]: Taking taylor expansion of (- (* a b)) in a 7.439 * [taylor]: Taking taylor expansion of (* a b) in a 7.439 * [taylor]: Taking taylor expansion of a in a 7.440 * [taylor]: Taking taylor expansion of b in a 7.440 * [taylor]: Taking taylor expansion of 0 in b 7.440 * [taylor]: Taking taylor expansion of 0 in b 7.441 * [taylor]: Taking taylor expansion of 0 in a 7.441 * [taylor]: Taking taylor expansion of 0 in b 7.442 * [taylor]: Taking taylor expansion of (- b) in b 7.442 * [taylor]: Taking taylor expansion of b in b 7.442 * [approximate]: Taking taylor expansion of (/ -1 (* a (* i b))) in (i a b) around 0 7.442 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in b 7.442 * [taylor]: Taking taylor expansion of -1 in b 7.442 * [taylor]: Taking taylor expansion of (* a (* i b)) in b 7.442 * [taylor]: Taking taylor expansion of a in b 7.442 * [taylor]: Taking taylor expansion of (* i b) in b 7.442 * [taylor]: Taking taylor expansion of i in b 7.442 * [taylor]: Taking taylor expansion of b in b 7.443 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in a 7.443 * [taylor]: Taking taylor expansion of -1 in a 7.443 * [taylor]: Taking taylor expansion of (* a (* i b)) in a 7.443 * [taylor]: Taking taylor expansion of a in a 7.443 * [taylor]: Taking taylor expansion of (* i b) in a 7.443 * [taylor]: Taking taylor expansion of i in a 7.443 * [taylor]: Taking taylor expansion of b in a 7.444 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in i 7.444 * [taylor]: Taking taylor expansion of -1 in i 7.444 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 7.444 * [taylor]: Taking taylor expansion of a in i 7.444 * [taylor]: Taking taylor expansion of (* i b) in i 7.444 * [taylor]: Taking taylor expansion of i in i 7.444 * [taylor]: Taking taylor expansion of b in i 7.444 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in i 7.444 * [taylor]: Taking taylor expansion of -1 in i 7.444 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 7.445 * [taylor]: Taking taylor expansion of a in i 7.445 * [taylor]: Taking taylor expansion of (* i b) in i 7.445 * [taylor]: Taking taylor expansion of i in i 7.445 * [taylor]: Taking taylor expansion of b in i 7.445 * [taylor]: Taking taylor expansion of (/ -1 (* a b)) in a 7.445 * [taylor]: Taking taylor expansion of -1 in a 7.445 * [taylor]: Taking taylor expansion of (* a b) in a 7.445 * [taylor]: Taking taylor expansion of a in a 7.445 * [taylor]: Taking taylor expansion of b in a 7.446 * [taylor]: Taking taylor expansion of (/ -1 b) in b 7.446 * [taylor]: Taking taylor expansion of -1 in b 7.446 * [taylor]: Taking taylor expansion of b in b 7.447 * [taylor]: Taking taylor expansion of 0 in a 7.448 * [taylor]: Taking taylor expansion of 0 in b 7.453 * [taylor]: Taking taylor expansion of 0 in a 7.454 * [taylor]: Taking taylor expansion of 0 in b 7.455 * [taylor]: Taking taylor expansion of 0 in b 7.457 * [taylor]: Taking taylor expansion of 0 in a 7.457 * [taylor]: Taking taylor expansion of 0 in b 7.457 * [taylor]: Taking taylor expansion of 0 in b 7.459 * [taylor]: Taking taylor expansion of 0 in b 7.459 * [approximate]: Taking taylor expansion of (/ 1 (* a (* i b))) in (i a b) around 0 7.459 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in b 7.459 * [taylor]: Taking taylor expansion of (* a (* i b)) in b 7.459 * [taylor]: Taking taylor expansion of a in b 7.459 * [taylor]: Taking taylor expansion of (* i b) in b 7.459 * [taylor]: Taking taylor expansion of i in b 7.459 * [taylor]: Taking taylor expansion of b in b 7.460 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in a 7.460 * [taylor]: Taking taylor expansion of (* a (* i b)) in a 7.460 * [taylor]: Taking taylor expansion of a in a 7.460 * [taylor]: Taking taylor expansion of (* i b) in a 7.460 * [taylor]: Taking taylor expansion of i in a 7.460 * [taylor]: Taking taylor expansion of b in a 7.460 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in i 7.461 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 7.461 * [taylor]: Taking taylor expansion of a in i 7.461 * [taylor]: Taking taylor expansion of (* i b) in i 7.461 * [taylor]: Taking taylor expansion of i in i 7.461 * [taylor]: Taking taylor expansion of b in i 7.461 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in i 7.461 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 7.461 * [taylor]: Taking taylor expansion of a in i 7.461 * [taylor]: Taking taylor expansion of (* i b) in i 7.461 * [taylor]: Taking taylor expansion of i in i 7.461 * [taylor]: Taking taylor expansion of b in i 7.462 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 7.462 * [taylor]: Taking taylor expansion of (* a b) in a 7.462 * [taylor]: Taking taylor expansion of a in a 7.462 * [taylor]: Taking taylor expansion of b in a 7.463 * [taylor]: Taking taylor expansion of (/ 1 b) in b 7.463 * [taylor]: Taking taylor expansion of b in b 7.464 * [taylor]: Taking taylor expansion of 0 in a 7.465 * [taylor]: Taking taylor expansion of 0 in b 7.467 * [taylor]: Taking taylor expansion of 0 in a 7.467 * [taylor]: Taking taylor expansion of 0 in b 7.468 * [taylor]: Taking taylor expansion of 0 in b 7.470 * [taylor]: Taking taylor expansion of 0 in a 7.470 * [taylor]: Taking taylor expansion of 0 in b 7.470 * [taylor]: Taking taylor expansion of 0 in b 7.472 * [taylor]: Taking taylor expansion of 0 in b 7.472 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 7.472 * [approximate]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in (j c t i y) around 0 7.472 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y 7.472 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in y 7.472 * [taylor]: Taking taylor expansion of (* t c) in y 7.472 * [taylor]: Taking taylor expansion of t in y 7.472 * [taylor]: Taking taylor expansion of c in y 7.472 * [taylor]: Taking taylor expansion of (* i y) in y 7.472 * [taylor]: Taking taylor expansion of i in y 7.472 * [taylor]: Taking taylor expansion of y in y 7.472 * [taylor]: Taking taylor expansion of j in y 7.472 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i 7.472 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in i 7.472 * [taylor]: Taking taylor expansion of (* t c) in i 7.472 * [taylor]: Taking taylor expansion of t in i 7.472 * [taylor]: Taking taylor expansion of c in i 7.472 * [taylor]: Taking taylor expansion of (* i y) in i 7.472 * [taylor]: Taking taylor expansion of i in i 7.472 * [taylor]: Taking taylor expansion of y in i 7.472 * [taylor]: Taking taylor expansion of j in i 7.472 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t 7.472 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in t 7.472 * [taylor]: Taking taylor expansion of (* t c) in t 7.472 * [taylor]: Taking taylor expansion of t in t 7.472 * [taylor]: Taking taylor expansion of c in t 7.472 * [taylor]: Taking taylor expansion of (* i y) in t 7.472 * [taylor]: Taking taylor expansion of i in t 7.472 * [taylor]: Taking taylor expansion of y in t 7.472 * [taylor]: Taking taylor expansion of j in t 7.472 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in c 7.473 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 7.473 * [taylor]: Taking taylor expansion of (* t c) in c 7.473 * [taylor]: Taking taylor expansion of t in c 7.473 * [taylor]: Taking taylor expansion of c in c 7.473 * [taylor]: Taking taylor expansion of (* i y) in c 7.473 * [taylor]: Taking taylor expansion of i in c 7.473 * [taylor]: Taking taylor expansion of y in c 7.473 * [taylor]: Taking taylor expansion of j in c 7.473 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in j 7.473 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in j 7.473 * [taylor]: Taking taylor expansion of (* t c) in j 7.473 * [taylor]: Taking taylor expansion of t in j 7.473 * [taylor]: Taking taylor expansion of c in j 7.473 * [taylor]: Taking taylor expansion of (* i y) in j 7.473 * [taylor]: Taking taylor expansion of i in j 7.473 * [taylor]: Taking taylor expansion of y in j 7.473 * [taylor]: Taking taylor expansion of j in j 7.473 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in j 7.473 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in j 7.473 * [taylor]: Taking taylor expansion of (* t c) in j 7.473 * [taylor]: Taking taylor expansion of t in j 7.473 * [taylor]: Taking taylor expansion of c in j 7.473 * [taylor]: Taking taylor expansion of (* i y) in j 7.473 * [taylor]: Taking taylor expansion of i in j 7.473 * [taylor]: Taking taylor expansion of y in j 7.473 * [taylor]: Taking taylor expansion of j in j 7.473 * [taylor]: Taking taylor expansion of 0 in c 7.473 * [taylor]: Taking taylor expansion of 0 in t 7.473 * [taylor]: Taking taylor expansion of 0 in i 7.473 * [taylor]: Taking taylor expansion of 0 in y 7.474 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 7.474 * [taylor]: Taking taylor expansion of (* t c) in c 7.474 * [taylor]: Taking taylor expansion of t in c 7.474 * [taylor]: Taking taylor expansion of c in c 7.474 * [taylor]: Taking taylor expansion of (* i y) in c 7.475 * [taylor]: Taking taylor expansion of i in c 7.475 * [taylor]: Taking taylor expansion of y in c 7.475 * [taylor]: Taking taylor expansion of (- (* i y)) in t 7.475 * [taylor]: Taking taylor expansion of (* i y) in t 7.475 * [taylor]: Taking taylor expansion of i in t 7.475 * [taylor]: Taking taylor expansion of y in t 7.475 * [taylor]: Taking taylor expansion of (- (* i y)) in i 7.475 * [taylor]: Taking taylor expansion of (* i y) in i 7.475 * [taylor]: Taking taylor expansion of i in i 7.475 * [taylor]: Taking taylor expansion of y in i 7.475 * [taylor]: Taking taylor expansion of 0 in y 7.475 * [taylor]: Taking taylor expansion of 0 in t 7.475 * [taylor]: Taking taylor expansion of 0 in i 7.475 * [taylor]: Taking taylor expansion of 0 in y 7.475 * [taylor]: Taking taylor expansion of 0 in i 7.475 * [taylor]: Taking taylor expansion of 0 in y 7.475 * [taylor]: Taking taylor expansion of 0 in y 7.476 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in (j c t i y) around 0 7.476 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y 7.476 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 7.476 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 7.476 * [taylor]: Taking taylor expansion of (* t c) in y 7.476 * [taylor]: Taking taylor expansion of t in y 7.476 * [taylor]: Taking taylor expansion of c in y 7.476 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 7.476 * [taylor]: Taking taylor expansion of (* i y) in y 7.476 * [taylor]: Taking taylor expansion of i in y 7.476 * [taylor]: Taking taylor expansion of y in y 7.476 * [taylor]: Taking taylor expansion of j in y 7.476 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i 7.476 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 7.476 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 7.476 * [taylor]: Taking taylor expansion of (* t c) in i 7.476 * [taylor]: Taking taylor expansion of t in i 7.476 * [taylor]: Taking taylor expansion of c in i 7.477 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 7.477 * [taylor]: Taking taylor expansion of (* i y) in i 7.477 * [taylor]: Taking taylor expansion of i in i 7.477 * [taylor]: Taking taylor expansion of y in i 7.477 * [taylor]: Taking taylor expansion of j in i 7.477 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t 7.477 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 7.477 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 7.477 * [taylor]: Taking taylor expansion of (* t c) in t 7.477 * [taylor]: Taking taylor expansion of t in t 7.477 * [taylor]: Taking taylor expansion of c in t 7.478 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 7.478 * [taylor]: Taking taylor expansion of (* i y) in t 7.478 * [taylor]: Taking taylor expansion of i in t 7.478 * [taylor]: Taking taylor expansion of y in t 7.478 * [taylor]: Taking taylor expansion of j in t 7.478 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c 7.478 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 7.478 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 7.478 * [taylor]: Taking taylor expansion of (* t c) in c 7.478 * [taylor]: Taking taylor expansion of t in c 7.478 * [taylor]: Taking taylor expansion of c in c 7.478 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 7.478 * [taylor]: Taking taylor expansion of (* i y) in c 7.478 * [taylor]: Taking taylor expansion of i in c 7.478 * [taylor]: Taking taylor expansion of y in c 7.478 * [taylor]: Taking taylor expansion of j in c 7.478 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 7.478 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 7.479 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 7.479 * [taylor]: Taking taylor expansion of (* t c) in j 7.479 * [taylor]: Taking taylor expansion of t in j 7.479 * [taylor]: Taking taylor expansion of c in j 7.479 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 7.479 * [taylor]: Taking taylor expansion of (* i y) in j 7.479 * [taylor]: Taking taylor expansion of i in j 7.479 * [taylor]: Taking taylor expansion of y in j 7.479 * [taylor]: Taking taylor expansion of j in j 7.479 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 7.479 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 7.479 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 7.479 * [taylor]: Taking taylor expansion of (* t c) in j 7.479 * [taylor]: Taking taylor expansion of t in j 7.479 * [taylor]: Taking taylor expansion of c in j 7.479 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 7.479 * [taylor]: Taking taylor expansion of (* i y) in j 7.479 * [taylor]: Taking taylor expansion of i in j 7.479 * [taylor]: Taking taylor expansion of y in j 7.479 * [taylor]: Taking taylor expansion of j in j 7.479 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 7.480 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 7.480 * [taylor]: Taking taylor expansion of (* t c) in c 7.480 * [taylor]: Taking taylor expansion of t in c 7.480 * [taylor]: Taking taylor expansion of c in c 7.480 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 7.480 * [taylor]: Taking taylor expansion of (* i y) in c 7.480 * [taylor]: Taking taylor expansion of i in c 7.480 * [taylor]: Taking taylor expansion of y in c 7.480 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.480 * [taylor]: Taking taylor expansion of t in t 7.481 * [taylor]: Taking taylor expansion of 1 in i 7.482 * [taylor]: Taking taylor expansion of 0 in c 7.483 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in t 7.483 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 7.483 * [taylor]: Taking taylor expansion of (* i y) in t 7.483 * [taylor]: Taking taylor expansion of i in t 7.483 * [taylor]: Taking taylor expansion of y in t 7.483 * [taylor]: Taking taylor expansion of 0 in i 7.483 * [taylor]: Taking taylor expansion of 1 in y 7.486 * [taylor]: Taking taylor expansion of 0 in c 7.486 * [taylor]: Taking taylor expansion of 0 in t 7.487 * [taylor]: Taking taylor expansion of 0 in t 7.487 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in i 7.487 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 7.487 * [taylor]: Taking taylor expansion of (* i y) in i 7.487 * [taylor]: Taking taylor expansion of i in i 7.487 * [taylor]: Taking taylor expansion of y in i 7.488 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 7.488 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.488 * [taylor]: Taking taylor expansion of y in y 7.489 * [taylor]: Taking taylor expansion of 0 in i 7.489 * [taylor]: Taking taylor expansion of 0 in y 7.489 * [taylor]: Taking taylor expansion of 0 in y 7.493 * [taylor]: Taking taylor expansion of 0 in c 7.493 * [taylor]: Taking taylor expansion of 0 in t 7.493 * [taylor]: Taking taylor expansion of 0 in t 7.495 * [taylor]: Taking taylor expansion of 0 in t 7.495 * [taylor]: Taking taylor expansion of 0 in i 7.495 * [taylor]: Taking taylor expansion of 0 in i 7.495 * [taylor]: Taking taylor expansion of 0 in i 7.496 * [taylor]: Taking taylor expansion of 0 in i 7.497 * [taylor]: Taking taylor expansion of 0 in y 7.497 * [taylor]: Taking taylor expansion of 0 in y 7.497 * [taylor]: Taking taylor expansion of 0 in y 7.497 * [taylor]: Taking taylor expansion of 0 in y 7.502 * [taylor]: Taking taylor expansion of 0 in c 7.502 * [taylor]: Taking taylor expansion of 0 in t 7.502 * [taylor]: Taking taylor expansion of 0 in t 7.502 * [taylor]: Taking taylor expansion of 0 in t 7.504 * [taylor]: Taking taylor expansion of 0 in t 7.504 * [taylor]: Taking taylor expansion of 0 in i 7.504 * [taylor]: Taking taylor expansion of 0 in i 7.504 * [taylor]: Taking taylor expansion of 0 in i 7.504 * [taylor]: Taking taylor expansion of 0 in i 7.504 * [taylor]: Taking taylor expansion of 0 in i 7.505 * [taylor]: Taking taylor expansion of 0 in i 7.506 * [taylor]: Taking taylor expansion of 0 in i 7.506 * [taylor]: Taking taylor expansion of 0 in y 7.506 * [taylor]: Taking taylor expansion of 0 in y 7.506 * [taylor]: Taking taylor expansion of 0 in y 7.506 * [taylor]: Taking taylor expansion of 0 in y 7.507 * [taylor]: Taking taylor expansion of 0 in y 7.507 * [taylor]: Taking taylor expansion of 0 in y 7.507 * [taylor]: Taking taylor expansion of 0 in y 7.507 * [taylor]: Taking taylor expansion of 0 in y 7.508 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in (j c t i y) around 0 7.508 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y 7.508 * [taylor]: Taking taylor expansion of -1 in y 7.508 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y 7.508 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 7.508 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 7.508 * [taylor]: Taking taylor expansion of (* t c) in y 7.508 * [taylor]: Taking taylor expansion of t in y 7.508 * [taylor]: Taking taylor expansion of c in y 7.508 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 7.508 * [taylor]: Taking taylor expansion of (* i y) in y 7.508 * [taylor]: Taking taylor expansion of i in y 7.508 * [taylor]: Taking taylor expansion of y in y 7.509 * [taylor]: Taking taylor expansion of j in y 7.509 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i 7.509 * [taylor]: Taking taylor expansion of -1 in i 7.509 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i 7.509 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 7.509 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 7.509 * [taylor]: Taking taylor expansion of (* t c) in i 7.509 * [taylor]: Taking taylor expansion of t in i 7.509 * [taylor]: Taking taylor expansion of c in i 7.509 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 7.509 * [taylor]: Taking taylor expansion of (* i y) in i 7.509 * [taylor]: Taking taylor expansion of i in i 7.509 * [taylor]: Taking taylor expansion of y in i 7.509 * [taylor]: Taking taylor expansion of j in i 7.510 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t 7.510 * [taylor]: Taking taylor expansion of -1 in t 7.510 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t 7.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 7.510 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 7.510 * [taylor]: Taking taylor expansion of (* t c) in t 7.510 * [taylor]: Taking taylor expansion of t in t 7.510 * [taylor]: Taking taylor expansion of c in t 7.510 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 7.510 * [taylor]: Taking taylor expansion of (* i y) in t 7.510 * [taylor]: Taking taylor expansion of i in t 7.510 * [taylor]: Taking taylor expansion of y in t 7.510 * [taylor]: Taking taylor expansion of j in t 7.510 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c 7.510 * [taylor]: Taking taylor expansion of -1 in c 7.510 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c 7.510 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 7.510 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 7.510 * [taylor]: Taking taylor expansion of (* t c) in c 7.510 * [taylor]: Taking taylor expansion of t in c 7.510 * [taylor]: Taking taylor expansion of c in c 7.511 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 7.511 * [taylor]: Taking taylor expansion of (* i y) in c 7.511 * [taylor]: Taking taylor expansion of i in c 7.511 * [taylor]: Taking taylor expansion of y in c 7.511 * [taylor]: Taking taylor expansion of j in c 7.511 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in j 7.511 * [taylor]: Taking taylor expansion of -1 in j 7.511 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 7.511 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 7.511 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 7.511 * [taylor]: Taking taylor expansion of (* t c) in j 7.511 * [taylor]: Taking taylor expansion of t in j 7.511 * [taylor]: Taking taylor expansion of c in j 7.511 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 7.511 * [taylor]: Taking taylor expansion of (* i y) in j 7.511 * [taylor]: Taking taylor expansion of i in j 7.511 * [taylor]: Taking taylor expansion of y in j 7.511 * [taylor]: Taking taylor expansion of j in j 7.512 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in j 7.512 * [taylor]: Taking taylor expansion of -1 in j 7.512 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 7.512 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 7.512 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 7.512 * [taylor]: Taking taylor expansion of (* t c) in j 7.512 * [taylor]: Taking taylor expansion of t in j 7.512 * [taylor]: Taking taylor expansion of c in j 7.512 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 7.512 * [taylor]: Taking taylor expansion of (* i y) in j 7.512 * [taylor]: Taking taylor expansion of i in j 7.512 * [taylor]: Taking taylor expansion of y in j 7.512 * [taylor]: Taking taylor expansion of j in j 7.512 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* t c)) (/ 1 (* i y)))) in c 7.512 * [taylor]: Taking taylor expansion of -1 in c 7.512 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 7.512 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 7.512 * [taylor]: Taking taylor expansion of (* t c) in c 7.512 * [taylor]: Taking taylor expansion of t in c 7.512 * [taylor]: Taking taylor expansion of c in c 7.513 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 7.513 * [taylor]: Taking taylor expansion of (* i y) in c 7.513 * [taylor]: Taking taylor expansion of i in c 7.513 * [taylor]: Taking taylor expansion of y in c 7.513 * [taylor]: Taking taylor expansion of (/ -1 t) in t 7.513 * [taylor]: Taking taylor expansion of -1 in t 7.513 * [taylor]: Taking taylor expansion of t in t 7.513 * [taylor]: Taking taylor expansion of -1 in i 7.515 * [taylor]: Taking taylor expansion of 0 in c 7.516 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 7.516 * [taylor]: Taking taylor expansion of (* i y) in t 7.516 * [taylor]: Taking taylor expansion of i in t 7.516 * [taylor]: Taking taylor expansion of y in t 7.517 * [taylor]: Taking taylor expansion of 0 in i 7.517 * [taylor]: Taking taylor expansion of -1 in y 7.520 * [taylor]: Taking taylor expansion of 0 in c 7.520 * [taylor]: Taking taylor expansion of 0 in t 7.522 * [taylor]: Taking taylor expansion of 0 in t 7.522 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 7.522 * [taylor]: Taking taylor expansion of (* i y) in i 7.522 * [taylor]: Taking taylor expansion of i in i 7.522 * [taylor]: Taking taylor expansion of y in i 7.522 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.522 * [taylor]: Taking taylor expansion of y in y 7.523 * [taylor]: Taking taylor expansion of 0 in i 7.523 * [taylor]: Taking taylor expansion of 0 in y 7.523 * [taylor]: Taking taylor expansion of 0 in y 7.527 * [taylor]: Taking taylor expansion of 0 in c 7.528 * [taylor]: Taking taylor expansion of 0 in t 7.528 * [taylor]: Taking taylor expansion of 0 in t 7.530 * [taylor]: Taking taylor expansion of 0 in t 7.530 * [taylor]: Taking taylor expansion of 0 in i 7.530 * [taylor]: Taking taylor expansion of 0 in i 7.530 * [taylor]: Taking taylor expansion of 0 in i 7.531 * [taylor]: Taking taylor expansion of 0 in i 7.532 * [taylor]: Taking taylor expansion of 0 in y 7.532 * [taylor]: Taking taylor expansion of 0 in y 7.532 * [taylor]: Taking taylor expansion of 0 in y 7.532 * [taylor]: Taking taylor expansion of 0 in y 7.538 * [taylor]: Taking taylor expansion of 0 in c 7.538 * [taylor]: Taking taylor expansion of 0 in t 7.538 * [taylor]: Taking taylor expansion of 0 in t 7.538 * [taylor]: Taking taylor expansion of 0 in t 7.541 * [taylor]: Taking taylor expansion of 0 in t 7.541 * [taylor]: Taking taylor expansion of 0 in i 7.541 * [taylor]: Taking taylor expansion of 0 in i 7.541 * [taylor]: Taking taylor expansion of 0 in i 7.541 * [taylor]: Taking taylor expansion of 0 in i 7.541 * [taylor]: Taking taylor expansion of 0 in i 7.542 * [taylor]: Taking taylor expansion of 0 in i 7.542 * [taylor]: Taking taylor expansion of 0 in i 7.543 * [taylor]: Taking taylor expansion of 0 in y 7.543 * [taylor]: Taking taylor expansion of 0 in y 7.543 * [taylor]: Taking taylor expansion of 0 in y 7.543 * [taylor]: Taking taylor expansion of 0 in y 7.544 * [taylor]: Taking taylor expansion of 0 in y 7.544 * [taylor]: Taking taylor expansion of 0 in y 7.544 * [taylor]: Taking taylor expansion of 0 in y 7.544 * [taylor]: Taking taylor expansion of 0 in y 7.544 * * * [progress]: simplifying candidates 7.546 * [simplify]: Simplifying using # : (* a (* x t)) (* a (* x t)) (+ (log a) (+ (log x) (log t))) (+ (log a) (log (* x t))) (log (* a (* x t))) (exp (* a (* x t))) (* (* (* a a) a) (* (* (* x x) x) (* (* t t) t))) (* (* (* a a) a) (* (* (* x t) (* x t)) (* x t))) (* (cbrt (* a (* x t))) (cbrt (* a (* x t)))) (cbrt (* a (* x t))) (* (* (* a (* x t)) (* a (* x t))) (* a (* x t))) (sqrt (* a (* x t))) (sqrt (* a (* x t))) (* a x) (* (cbrt a) (* x t)) (* (sqrt a) (* x t)) (* a (* x t)) (* (* y z) x) (* (* y z) x) (+ (+ (log y) (log z)) (log x)) (+ (log (* y z)) (log x)) (log (* (* y z) x)) (exp (* (* y z) x)) (* (* (* (* y y) y) (* (* z z) z)) (* (* x x) x)) (* (* (* (* y z) (* y z)) (* y z)) (* (* x x) x)) (* (cbrt (* (* y z) x)) (cbrt (* (* y z) x))) (cbrt (* (* y z) x)) (* (* (* (* y z) x) (* (* y z) x)) (* (* y z) x)) (sqrt (* (* y z) x)) (sqrt (* (* y z) x)) (* (* y z) (* (cbrt x) (cbrt x))) (* (* y z) (sqrt x)) (* (* y z) 1) (* z x) (* (- (* i a)) b) (+ (log (- (* i a))) (log b)) (log (* (- (* i a)) b)) (exp (* (- (* i a)) b)) (* (* (* (- (* i a)) (- (* i a))) (- (* i a))) (* (* b b) b)) (* (cbrt (* (- (* i a)) b)) (cbrt (* (- (* i a)) b))) (cbrt (* (- (* i a)) b)) (* (* (* (- (* i a)) b) (* (- (* i a)) b)) (* (- (* i a)) b)) (sqrt (* (- (* i a)) b)) (sqrt (* (- (* i a)) b)) (* (sqrt (- (* i a))) (sqrt b)) (* (sqrt (- (* i a))) (sqrt b)) (* (* i a) b) (* (- (* i a)) (* (cbrt b) (cbrt b))) (* (- (* i a)) (sqrt b)) (* (- (* i a)) 1) (* (cbrt (- (* i a))) b) (* (sqrt (- (* i a))) b) (* (- (* i a)) b) (* (* i a) b) (* a b) (* (- a) b) (* j (- (* c t) (* i y))) (+ (log j) (log (- (* c t) (* i y)))) (log (* j (- (* c t) (* i y)))) (exp (* j (- (* c t) (* i y)))) (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y)))) (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))) (* (* (* j (- (* c t) (* i y))) (* j (- (* c t) (* i y)))) (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* j (* c t)) (* j (- (* i y))) (* j (* c t)) (* j (- (* i y))) (* (* c t) j) (* (- (* i y)) j) (* (* c t) j) (* (- (* i y)) j) (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (* j (sqrt (- (* c t) (* i y)))) (* j 1) (* (cbrt j) (- (* c t) (* i y))) (* (sqrt j) (- (* c t) (* i y))) (* j (- (* c t) (* i y))) (* j (- (pow (* c t) 3) (pow (* i y) 3))) (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))) 0 (* t (* x a)) (* t (* x a)) 0 (* x (* z y)) (* x (* z y)) 0 (* -1 (* a (* i b))) (* -1 (* a (* i b))) 0 (- (* t (* j c)) (* i (* j y))) (- (* t (* j c)) (* i (* j y))) 7.552 * * [simplify]: iteration 0 : 164 enodes (cost 827 ) 7.584 * * [simplify]: iteration 1 : 409 enodes (cost 807 ) 7.726 * * [simplify]: iteration 2 : 1569 enodes (cost 687 ) 8.513 * * [simplify]: iteration done : 5000 enodes (cost 687 ) 8.513 * [simplify]: Simplified to: (* t (* x a)) (* t (* x a)) (log (* a (* x t))) (log (* a (* x t))) (log (* a (* x t))) (exp (* a (* x t))) (pow (* t (* x a)) 3) (pow (* t (* x a)) 3) (* (cbrt (* a (* x t))) (cbrt (* a (* x t)))) (cbrt (* a (* x t))) (pow (* t (* x a)) 3) (sqrt (* a (* x t))) (sqrt (* a (* x t))) (* x a) (* (cbrt a) (* x t)) (* (sqrt a) (* x t)) (* t (* x a)) (* x (* z y)) (* x (* z y)) (log (* (* y z) x)) (log (* (* y z) x)) (log (* (* y z) x)) (exp (* (* y z) x)) (pow (* x (* z y)) 3) (pow (* x (* z y)) 3) (* (cbrt (* (* y z) x)) (cbrt (* (* y z) x))) (cbrt (* (* y z) x)) (pow (* x (* z y)) 3) (sqrt (* (* y z) x)) (sqrt (* (* y z) x)) (* (* y z) (* (cbrt x) (cbrt x))) (* (* y z) (sqrt x)) (* y z) (* z x) (* (- (* i a)) b) (log (* (- (* i a)) b)) (log (* (- (* i a)) b)) (exp (* (- (* i a)) b)) (pow (* (- (* i a)) b) 3) (* (cbrt (* (- (* i a)) b)) (cbrt (* (- (* i a)) b))) (cbrt (* (- (* i a)) b)) (pow (* (- (* i a)) b) 3) (sqrt (* (- (* i a)) b)) (sqrt (* (- (* i a)) b)) (* (sqrt (- (* i a))) (sqrt b)) (* (sqrt (- (* i a))) (sqrt b)) (* (* i a) b) (* (- (* i a)) (* (cbrt b) (cbrt b))) (* (- (* i a)) (sqrt b)) (* a (- i)) (* (cbrt (- (* i a))) b) (* (sqrt (- (* i a))) b) (* (- (* i a)) b) (* (* i a) b) (* a b) (* (- a) b) (* (- (* c t) (* i y)) j) (log (* j (- (* c t) (* i y)))) (log (* j (- (* c t) (* i y)))) (exp (* j (- (* c t) (* i y)))) (pow (* j (- (* c t) (* i y))) 3) (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))) (pow (* j (- (* c t) (* i y))) 3) (sqrt (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* t (* j c)) (- (* i (* j y))) (* t (* j c)) (- (* i (* j y))) (* t (* j c)) (- (* i (* j y))) (* t (* j c)) (- (* i (* j y))) (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (* j (sqrt (- (* c t) (* i y)))) j (* (cbrt j) (- (* c t) (* i y))) (* (sqrt j) (- (* c t) (* i y))) (* (- (* c t) (* i y)) j) (* j (- (pow (* c t) 3) (pow (* i y) 3))) (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))) 0 (* t (* x a)) (* t (* x a)) 0 (* x (* z y)) (* x (* z y)) 0 (* (- (* i a)) b) (* (- (* i a)) b) 0 (* (- (* c t) (* i y)) j) (* (- (* c t) (* i y)) j) 8.514 * * * [progress]: adding candidates to table 8.918 * * [progress]: iteration 4 / 4 8.918 * * * [progress]: picking best candidate 8.994 * * * * [pick]: Picked # 8.994 * * * [progress]: localizing error 9.019 * * * [progress]: generating rewritten candidates 9.019 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 9.026 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 9.032 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 9.036 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 9.048 * * * [progress]: generating series expansions 9.048 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 9.048 * [approximate]: Taking taylor expansion of (* x (* z y)) in (y z x) around 0 9.048 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 9.048 * [taylor]: Taking taylor expansion of x in x 9.048 * [taylor]: Taking taylor expansion of (* z y) in x 9.048 * [taylor]: Taking taylor expansion of z in x 9.048 * [taylor]: Taking taylor expansion of y in x 9.048 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 9.048 * [taylor]: Taking taylor expansion of x in z 9.048 * [taylor]: Taking taylor expansion of (* z y) in z 9.048 * [taylor]: Taking taylor expansion of z in z 9.048 * [taylor]: Taking taylor expansion of y in z 9.048 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.048 * [taylor]: Taking taylor expansion of x in y 9.048 * [taylor]: Taking taylor expansion of (* z y) in y 9.048 * [taylor]: Taking taylor expansion of z in y 9.048 * [taylor]: Taking taylor expansion of y in y 9.048 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.048 * [taylor]: Taking taylor expansion of x in y 9.048 * [taylor]: Taking taylor expansion of (* z y) in y 9.048 * [taylor]: Taking taylor expansion of z in y 9.048 * [taylor]: Taking taylor expansion of y in y 9.049 * [taylor]: Taking taylor expansion of 0 in z 9.049 * [taylor]: Taking taylor expansion of 0 in x 9.050 * [taylor]: Taking taylor expansion of (* x z) in z 9.050 * [taylor]: Taking taylor expansion of x in z 9.050 * [taylor]: Taking taylor expansion of z in z 9.050 * [taylor]: Taking taylor expansion of 0 in x 9.050 * [taylor]: Taking taylor expansion of 0 in x 9.051 * [taylor]: Taking taylor expansion of 0 in z 9.051 * [taylor]: Taking taylor expansion of 0 in x 9.051 * [taylor]: Taking taylor expansion of x in x 9.052 * [approximate]: Taking taylor expansion of (/ 1 (* x (* z y))) in (y z x) around 0 9.052 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in x 9.052 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 9.052 * [taylor]: Taking taylor expansion of x in x 9.052 * [taylor]: Taking taylor expansion of (* z y) in x 9.052 * [taylor]: Taking taylor expansion of z in x 9.052 * [taylor]: Taking taylor expansion of y in x 9.052 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in z 9.052 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 9.052 * [taylor]: Taking taylor expansion of x in z 9.052 * [taylor]: Taking taylor expansion of (* z y) in z 9.052 * [taylor]: Taking taylor expansion of z in z 9.052 * [taylor]: Taking taylor expansion of y in z 9.053 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 9.053 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.053 * [taylor]: Taking taylor expansion of x in y 9.053 * [taylor]: Taking taylor expansion of (* z y) in y 9.053 * [taylor]: Taking taylor expansion of z in y 9.053 * [taylor]: Taking taylor expansion of y in y 9.054 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z y))) in y 9.054 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.054 * [taylor]: Taking taylor expansion of x in y 9.054 * [taylor]: Taking taylor expansion of (* z y) in y 9.054 * [taylor]: Taking taylor expansion of z in y 9.054 * [taylor]: Taking taylor expansion of y in y 9.055 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 9.055 * [taylor]: Taking taylor expansion of (* x z) in z 9.055 * [taylor]: Taking taylor expansion of x in z 9.055 * [taylor]: Taking taylor expansion of z in z 9.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.055 * [taylor]: Taking taylor expansion of x in x 9.059 * [taylor]: Taking taylor expansion of 0 in z 9.060 * [taylor]: Taking taylor expansion of 0 in x 9.062 * [taylor]: Taking taylor expansion of 0 in z 9.062 * [taylor]: Taking taylor expansion of 0 in x 9.062 * [taylor]: Taking taylor expansion of 0 in x 9.065 * [taylor]: Taking taylor expansion of 0 in z 9.065 * [taylor]: Taking taylor expansion of 0 in x 9.065 * [taylor]: Taking taylor expansion of 0 in x 9.065 * [taylor]: Taking taylor expansion of 0 in x 9.066 * [approximate]: Taking taylor expansion of (/ -1 (* x (* z y))) in (y z x) around 0 9.066 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in x 9.066 * [taylor]: Taking taylor expansion of -1 in x 9.066 * [taylor]: Taking taylor expansion of (* x (* z y)) in x 9.066 * [taylor]: Taking taylor expansion of x in x 9.066 * [taylor]: Taking taylor expansion of (* z y) in x 9.066 * [taylor]: Taking taylor expansion of z in x 9.066 * [taylor]: Taking taylor expansion of y in x 9.066 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in z 9.066 * [taylor]: Taking taylor expansion of -1 in z 9.066 * [taylor]: Taking taylor expansion of (* x (* z y)) in z 9.066 * [taylor]: Taking taylor expansion of x in z 9.067 * [taylor]: Taking taylor expansion of (* z y) in z 9.067 * [taylor]: Taking taylor expansion of z in z 9.067 * [taylor]: Taking taylor expansion of y in z 9.067 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y 9.067 * [taylor]: Taking taylor expansion of -1 in y 9.067 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.067 * [taylor]: Taking taylor expansion of x in y 9.067 * [taylor]: Taking taylor expansion of (* z y) in y 9.067 * [taylor]: Taking taylor expansion of z in y 9.067 * [taylor]: Taking taylor expansion of y in y 9.068 * [taylor]: Taking taylor expansion of (/ -1 (* x (* z y))) in y 9.068 * [taylor]: Taking taylor expansion of -1 in y 9.068 * [taylor]: Taking taylor expansion of (* x (* z y)) in y 9.068 * [taylor]: Taking taylor expansion of x in y 9.068 * [taylor]: Taking taylor expansion of (* z y) in y 9.068 * [taylor]: Taking taylor expansion of z in y 9.068 * [taylor]: Taking taylor expansion of y in y 9.069 * [taylor]: Taking taylor expansion of (/ -1 (* x z)) in z 9.069 * [taylor]: Taking taylor expansion of -1 in z 9.069 * [taylor]: Taking taylor expansion of (* x z) in z 9.069 * [taylor]: Taking taylor expansion of x in z 9.069 * [taylor]: Taking taylor expansion of z in z 9.069 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.069 * [taylor]: Taking taylor expansion of -1 in x 9.069 * [taylor]: Taking taylor expansion of x in x 9.071 * [taylor]: Taking taylor expansion of 0 in z 9.071 * [taylor]: Taking taylor expansion of 0 in x 9.073 * [taylor]: Taking taylor expansion of 0 in z 9.073 * [taylor]: Taking taylor expansion of 0 in x 9.074 * [taylor]: Taking taylor expansion of 0 in x 9.076 * [taylor]: Taking taylor expansion of 0 in z 9.077 * [taylor]: Taking taylor expansion of 0 in x 9.077 * [taylor]: Taking taylor expansion of 0 in x 9.077 * [taylor]: Taking taylor expansion of 0 in x 9.078 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 9.078 * [approximate]: Taking taylor expansion of (* a (* x t)) in (x a t) around 0 9.078 * [taylor]: Taking taylor expansion of (* a (* x t)) in t 9.078 * [taylor]: Taking taylor expansion of a in t 9.078 * [taylor]: Taking taylor expansion of (* x t) in t 9.078 * [taylor]: Taking taylor expansion of x in t 9.078 * [taylor]: Taking taylor expansion of t in t 9.078 * [taylor]: Taking taylor expansion of (* a (* x t)) in a 9.078 * [taylor]: Taking taylor expansion of a in a 9.078 * [taylor]: Taking taylor expansion of (* x t) in a 9.078 * [taylor]: Taking taylor expansion of x in a 9.078 * [taylor]: Taking taylor expansion of t in a 9.078 * [taylor]: Taking taylor expansion of (* a (* x t)) in x 9.078 * [taylor]: Taking taylor expansion of a in x 9.078 * [taylor]: Taking taylor expansion of (* x t) in x 9.078 * [taylor]: Taking taylor expansion of x in x 9.078 * [taylor]: Taking taylor expansion of t in x 9.078 * [taylor]: Taking taylor expansion of (* a (* x t)) in x 9.078 * [taylor]: Taking taylor expansion of a in x 9.078 * [taylor]: Taking taylor expansion of (* x t) in x 9.078 * [taylor]: Taking taylor expansion of x in x 9.078 * [taylor]: Taking taylor expansion of t in x 9.078 * [taylor]: Taking taylor expansion of 0 in a 9.078 * [taylor]: Taking taylor expansion of 0 in t 9.079 * [taylor]: Taking taylor expansion of (* a t) in a 9.079 * [taylor]: Taking taylor expansion of a in a 9.079 * [taylor]: Taking taylor expansion of t in a 9.079 * [taylor]: Taking taylor expansion of 0 in t 9.079 * [taylor]: Taking taylor expansion of 0 in t 9.080 * [taylor]: Taking taylor expansion of 0 in a 9.080 * [taylor]: Taking taylor expansion of 0 in t 9.081 * [taylor]: Taking taylor expansion of t in t 9.081 * [approximate]: Taking taylor expansion of (/ 1 (* a (* x t))) in (x a t) around 0 9.081 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x t))) in t 9.081 * [taylor]: Taking taylor expansion of (* a (* x t)) in t 9.081 * [taylor]: Taking taylor expansion of a in t 9.081 * [taylor]: Taking taylor expansion of (* x t) in t 9.081 * [taylor]: Taking taylor expansion of x in t 9.081 * [taylor]: Taking taylor expansion of t in t 9.082 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x t))) in a 9.082 * [taylor]: Taking taylor expansion of (* a (* x t)) in a 9.082 * [taylor]: Taking taylor expansion of a in a 9.082 * [taylor]: Taking taylor expansion of (* x t) in a 9.082 * [taylor]: Taking taylor expansion of x in a 9.082 * [taylor]: Taking taylor expansion of t in a 9.082 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x t))) in x 9.082 * [taylor]: Taking taylor expansion of (* a (* x t)) in x 9.082 * [taylor]: Taking taylor expansion of a in x 9.082 * [taylor]: Taking taylor expansion of (* x t) in x 9.082 * [taylor]: Taking taylor expansion of x in x 9.082 * [taylor]: Taking taylor expansion of t in x 9.083 * [taylor]: Taking taylor expansion of (/ 1 (* a (* x t))) in x 9.083 * [taylor]: Taking taylor expansion of (* a (* x t)) in x 9.083 * [taylor]: Taking taylor expansion of a in x 9.083 * [taylor]: Taking taylor expansion of (* x t) in x 9.083 * [taylor]: Taking taylor expansion of x in x 9.083 * [taylor]: Taking taylor expansion of t in x 9.084 * [taylor]: Taking taylor expansion of (/ 1 (* a t)) in a 9.084 * [taylor]: Taking taylor expansion of (* a t) in a 9.084 * [taylor]: Taking taylor expansion of a in a 9.084 * [taylor]: Taking taylor expansion of t in a 9.084 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.084 * [taylor]: Taking taylor expansion of t in t 9.085 * [taylor]: Taking taylor expansion of 0 in a 9.086 * [taylor]: Taking taylor expansion of 0 in t 9.088 * [taylor]: Taking taylor expansion of 0 in a 9.088 * [taylor]: Taking taylor expansion of 0 in t 9.089 * [taylor]: Taking taylor expansion of 0 in t 9.092 * [taylor]: Taking taylor expansion of 0 in a 9.092 * [taylor]: Taking taylor expansion of 0 in t 9.092 * [taylor]: Taking taylor expansion of 0 in t 9.093 * [taylor]: Taking taylor expansion of 0 in t 9.094 * [approximate]: Taking taylor expansion of (/ -1 (* a (* x t))) in (x a t) around 0 9.094 * [taylor]: Taking taylor expansion of (/ -1 (* a (* x t))) in t 9.094 * [taylor]: Taking taylor expansion of -1 in t 9.094 * [taylor]: Taking taylor expansion of (* a (* x t)) in t 9.094 * [taylor]: Taking taylor expansion of a in t 9.094 * [taylor]: Taking taylor expansion of (* x t) in t 9.094 * [taylor]: Taking taylor expansion of x in t 9.094 * [taylor]: Taking taylor expansion of t in t 9.095 * [taylor]: Taking taylor expansion of (/ -1 (* a (* x t))) in a 9.095 * [taylor]: Taking taylor expansion of -1 in a 9.095 * [taylor]: Taking taylor expansion of (* a (* x t)) in a 9.095 * [taylor]: Taking taylor expansion of a in a 9.095 * [taylor]: Taking taylor expansion of (* x t) in a 9.095 * [taylor]: Taking taylor expansion of x in a 9.095 * [taylor]: Taking taylor expansion of t in a 9.095 * [taylor]: Taking taylor expansion of (/ -1 (* a (* x t))) in x 9.095 * [taylor]: Taking taylor expansion of -1 in x 9.095 * [taylor]: Taking taylor expansion of (* a (* x t)) in x 9.095 * [taylor]: Taking taylor expansion of a in x 9.095 * [taylor]: Taking taylor expansion of (* x t) in x 9.095 * [taylor]: Taking taylor expansion of x in x 9.095 * [taylor]: Taking taylor expansion of t in x 9.096 * [taylor]: Taking taylor expansion of (/ -1 (* a (* x t))) in x 9.096 * [taylor]: Taking taylor expansion of -1 in x 9.096 * [taylor]: Taking taylor expansion of (* a (* x t)) in x 9.096 * [taylor]: Taking taylor expansion of a in x 9.096 * [taylor]: Taking taylor expansion of (* x t) in x 9.096 * [taylor]: Taking taylor expansion of x in x 9.096 * [taylor]: Taking taylor expansion of t in x 9.097 * [taylor]: Taking taylor expansion of (/ -1 (* a t)) in a 9.097 * [taylor]: Taking taylor expansion of -1 in a 9.097 * [taylor]: Taking taylor expansion of (* a t) in a 9.097 * [taylor]: Taking taylor expansion of a in a 9.097 * [taylor]: Taking taylor expansion of t in a 9.097 * [taylor]: Taking taylor expansion of (/ -1 t) in t 9.097 * [taylor]: Taking taylor expansion of -1 in t 9.097 * [taylor]: Taking taylor expansion of t in t 9.099 * [taylor]: Taking taylor expansion of 0 in a 9.100 * [taylor]: Taking taylor expansion of 0 in t 9.102 * [taylor]: Taking taylor expansion of 0 in a 9.102 * [taylor]: Taking taylor expansion of 0 in t 9.103 * [taylor]: Taking taylor expansion of 0 in t 9.106 * [taylor]: Taking taylor expansion of 0 in a 9.106 * [taylor]: Taking taylor expansion of 0 in t 9.106 * [taylor]: Taking taylor expansion of 0 in t 9.107 * [taylor]: Taking taylor expansion of 0 in t 9.107 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 9.107 * [approximate]: Taking taylor expansion of (* -1 (* a (* i b))) in (i a b) around 0 9.107 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in b 9.107 * [taylor]: Taking taylor expansion of -1 in b 9.107 * [taylor]: Taking taylor expansion of (* a (* i b)) in b 9.107 * [taylor]: Taking taylor expansion of a in b 9.107 * [taylor]: Taking taylor expansion of (* i b) in b 9.107 * [taylor]: Taking taylor expansion of i in b 9.108 * [taylor]: Taking taylor expansion of b in b 9.108 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in a 9.108 * [taylor]: Taking taylor expansion of -1 in a 9.108 * [taylor]: Taking taylor expansion of (* a (* i b)) in a 9.108 * [taylor]: Taking taylor expansion of a in a 9.108 * [taylor]: Taking taylor expansion of (* i b) in a 9.108 * [taylor]: Taking taylor expansion of i in a 9.108 * [taylor]: Taking taylor expansion of b in a 9.108 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in i 9.108 * [taylor]: Taking taylor expansion of -1 in i 9.108 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 9.108 * [taylor]: Taking taylor expansion of a in i 9.108 * [taylor]: Taking taylor expansion of (* i b) in i 9.108 * [taylor]: Taking taylor expansion of i in i 9.108 * [taylor]: Taking taylor expansion of b in i 9.108 * [taylor]: Taking taylor expansion of (* -1 (* a (* i b))) in i 9.108 * [taylor]: Taking taylor expansion of -1 in i 9.108 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 9.108 * [taylor]: Taking taylor expansion of a in i 9.108 * [taylor]: Taking taylor expansion of (* i b) in i 9.108 * [taylor]: Taking taylor expansion of i in i 9.108 * [taylor]: Taking taylor expansion of b in i 9.108 * [taylor]: Taking taylor expansion of 0 in a 9.108 * [taylor]: Taking taylor expansion of 0 in b 9.109 * [taylor]: Taking taylor expansion of (- (* a b)) in a 9.109 * [taylor]: Taking taylor expansion of (* a b) in a 9.109 * [taylor]: Taking taylor expansion of a in a 9.109 * [taylor]: Taking taylor expansion of b in a 9.110 * [taylor]: Taking taylor expansion of 0 in b 9.110 * [taylor]: Taking taylor expansion of 0 in b 9.111 * [taylor]: Taking taylor expansion of 0 in a 9.111 * [taylor]: Taking taylor expansion of 0 in b 9.112 * [taylor]: Taking taylor expansion of (- b) in b 9.112 * [taylor]: Taking taylor expansion of b in b 9.112 * [approximate]: Taking taylor expansion of (/ -1 (* a (* i b))) in (i a b) around 0 9.112 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in b 9.112 * [taylor]: Taking taylor expansion of -1 in b 9.112 * [taylor]: Taking taylor expansion of (* a (* i b)) in b 9.112 * [taylor]: Taking taylor expansion of a in b 9.112 * [taylor]: Taking taylor expansion of (* i b) in b 9.112 * [taylor]: Taking taylor expansion of i in b 9.112 * [taylor]: Taking taylor expansion of b in b 9.113 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in a 9.113 * [taylor]: Taking taylor expansion of -1 in a 9.113 * [taylor]: Taking taylor expansion of (* a (* i b)) in a 9.113 * [taylor]: Taking taylor expansion of a in a 9.113 * [taylor]: Taking taylor expansion of (* i b) in a 9.113 * [taylor]: Taking taylor expansion of i in a 9.113 * [taylor]: Taking taylor expansion of b in a 9.114 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in i 9.114 * [taylor]: Taking taylor expansion of -1 in i 9.114 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 9.114 * [taylor]: Taking taylor expansion of a in i 9.114 * [taylor]: Taking taylor expansion of (* i b) in i 9.114 * [taylor]: Taking taylor expansion of i in i 9.114 * [taylor]: Taking taylor expansion of b in i 9.114 * [taylor]: Taking taylor expansion of (/ -1 (* a (* i b))) in i 9.115 * [taylor]: Taking taylor expansion of -1 in i 9.115 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 9.115 * [taylor]: Taking taylor expansion of a in i 9.115 * [taylor]: Taking taylor expansion of (* i b) in i 9.115 * [taylor]: Taking taylor expansion of i in i 9.115 * [taylor]: Taking taylor expansion of b in i 9.115 * [taylor]: Taking taylor expansion of (/ -1 (* a b)) in a 9.115 * [taylor]: Taking taylor expansion of -1 in a 9.115 * [taylor]: Taking taylor expansion of (* a b) in a 9.115 * [taylor]: Taking taylor expansion of a in a 9.115 * [taylor]: Taking taylor expansion of b in a 9.116 * [taylor]: Taking taylor expansion of (/ -1 b) in b 9.116 * [taylor]: Taking taylor expansion of -1 in b 9.116 * [taylor]: Taking taylor expansion of b in b 9.117 * [taylor]: Taking taylor expansion of 0 in a 9.118 * [taylor]: Taking taylor expansion of 0 in b 9.120 * [taylor]: Taking taylor expansion of 0 in a 9.120 * [taylor]: Taking taylor expansion of 0 in b 9.121 * [taylor]: Taking taylor expansion of 0 in b 9.124 * [taylor]: Taking taylor expansion of 0 in a 9.124 * [taylor]: Taking taylor expansion of 0 in b 9.124 * [taylor]: Taking taylor expansion of 0 in b 9.125 * [taylor]: Taking taylor expansion of 0 in b 9.126 * [approximate]: Taking taylor expansion of (/ 1 (* a (* i b))) in (i a b) around 0 9.126 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in b 9.126 * [taylor]: Taking taylor expansion of (* a (* i b)) in b 9.126 * [taylor]: Taking taylor expansion of a in b 9.126 * [taylor]: Taking taylor expansion of (* i b) in b 9.126 * [taylor]: Taking taylor expansion of i in b 9.126 * [taylor]: Taking taylor expansion of b in b 9.126 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in a 9.126 * [taylor]: Taking taylor expansion of (* a (* i b)) in a 9.126 * [taylor]: Taking taylor expansion of a in a 9.127 * [taylor]: Taking taylor expansion of (* i b) in a 9.127 * [taylor]: Taking taylor expansion of i in a 9.127 * [taylor]: Taking taylor expansion of b in a 9.127 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in i 9.127 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 9.127 * [taylor]: Taking taylor expansion of a in i 9.127 * [taylor]: Taking taylor expansion of (* i b) in i 9.127 * [taylor]: Taking taylor expansion of i in i 9.127 * [taylor]: Taking taylor expansion of b in i 9.128 * [taylor]: Taking taylor expansion of (/ 1 (* a (* i b))) in i 9.128 * [taylor]: Taking taylor expansion of (* a (* i b)) in i 9.128 * [taylor]: Taking taylor expansion of a in i 9.128 * [taylor]: Taking taylor expansion of (* i b) in i 9.128 * [taylor]: Taking taylor expansion of i in i 9.128 * [taylor]: Taking taylor expansion of b in i 9.129 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 9.129 * [taylor]: Taking taylor expansion of (* a b) in a 9.129 * [taylor]: Taking taylor expansion of a in a 9.129 * [taylor]: Taking taylor expansion of b in a 9.129 * [taylor]: Taking taylor expansion of (/ 1 b) in b 9.129 * [taylor]: Taking taylor expansion of b in b 9.130 * [taylor]: Taking taylor expansion of 0 in a 9.131 * [taylor]: Taking taylor expansion of 0 in b 9.133 * [taylor]: Taking taylor expansion of 0 in a 9.133 * [taylor]: Taking taylor expansion of 0 in b 9.134 * [taylor]: Taking taylor expansion of 0 in b 9.137 * [taylor]: Taking taylor expansion of 0 in a 9.137 * [taylor]: Taking taylor expansion of 0 in b 9.137 * [taylor]: Taking taylor expansion of 0 in b 9.138 * [taylor]: Taking taylor expansion of 0 in b 9.138 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 9.139 * [approximate]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in (j c t i y) around 0 9.139 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in y 9.139 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in y 9.139 * [taylor]: Taking taylor expansion of (* t c) in y 9.139 * [taylor]: Taking taylor expansion of t in y 9.139 * [taylor]: Taking taylor expansion of c in y 9.139 * [taylor]: Taking taylor expansion of (* i y) in y 9.139 * [taylor]: Taking taylor expansion of i in y 9.139 * [taylor]: Taking taylor expansion of y in y 9.139 * [taylor]: Taking taylor expansion of j in y 9.139 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in i 9.139 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in i 9.139 * [taylor]: Taking taylor expansion of (* t c) in i 9.139 * [taylor]: Taking taylor expansion of t in i 9.139 * [taylor]: Taking taylor expansion of c in i 9.139 * [taylor]: Taking taylor expansion of (* i y) in i 9.139 * [taylor]: Taking taylor expansion of i in i 9.139 * [taylor]: Taking taylor expansion of y in i 9.139 * [taylor]: Taking taylor expansion of j in i 9.139 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in t 9.139 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in t 9.139 * [taylor]: Taking taylor expansion of (* t c) in t 9.139 * [taylor]: Taking taylor expansion of t in t 9.139 * [taylor]: Taking taylor expansion of c in t 9.139 * [taylor]: Taking taylor expansion of (* i y) in t 9.139 * [taylor]: Taking taylor expansion of i in t 9.139 * [taylor]: Taking taylor expansion of y in t 9.139 * [taylor]: Taking taylor expansion of j in t 9.139 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in c 9.139 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 9.139 * [taylor]: Taking taylor expansion of (* t c) in c 9.139 * [taylor]: Taking taylor expansion of t in c 9.139 * [taylor]: Taking taylor expansion of c in c 9.139 * [taylor]: Taking taylor expansion of (* i y) in c 9.139 * [taylor]: Taking taylor expansion of i in c 9.139 * [taylor]: Taking taylor expansion of y in c 9.139 * [taylor]: Taking taylor expansion of j in c 9.139 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in j 9.139 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in j 9.139 * [taylor]: Taking taylor expansion of (* t c) in j 9.139 * [taylor]: Taking taylor expansion of t in j 9.139 * [taylor]: Taking taylor expansion of c in j 9.139 * [taylor]: Taking taylor expansion of (* i y) in j 9.139 * [taylor]: Taking taylor expansion of i in j 9.139 * [taylor]: Taking taylor expansion of y in j 9.139 * [taylor]: Taking taylor expansion of j in j 9.139 * [taylor]: Taking taylor expansion of (* (- (* t c) (* i y)) j) in j 9.139 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in j 9.139 * [taylor]: Taking taylor expansion of (* t c) in j 9.139 * [taylor]: Taking taylor expansion of t in j 9.139 * [taylor]: Taking taylor expansion of c in j 9.140 * [taylor]: Taking taylor expansion of (* i y) in j 9.140 * [taylor]: Taking taylor expansion of i in j 9.140 * [taylor]: Taking taylor expansion of y in j 9.140 * [taylor]: Taking taylor expansion of j in j 9.140 * [taylor]: Taking taylor expansion of 0 in c 9.140 * [taylor]: Taking taylor expansion of 0 in t 9.140 * [taylor]: Taking taylor expansion of 0 in i 9.140 * [taylor]: Taking taylor expansion of 0 in y 9.141 * [taylor]: Taking taylor expansion of (- (* t c) (* i y)) in c 9.141 * [taylor]: Taking taylor expansion of (* t c) in c 9.141 * [taylor]: Taking taylor expansion of t in c 9.141 * [taylor]: Taking taylor expansion of c in c 9.141 * [taylor]: Taking taylor expansion of (* i y) in c 9.141 * [taylor]: Taking taylor expansion of i in c 9.141 * [taylor]: Taking taylor expansion of y in c 9.141 * [taylor]: Taking taylor expansion of (- (* i y)) in t 9.141 * [taylor]: Taking taylor expansion of (* i y) in t 9.141 * [taylor]: Taking taylor expansion of i in t 9.141 * [taylor]: Taking taylor expansion of y in t 9.142 * [taylor]: Taking taylor expansion of (- (* i y)) in i 9.142 * [taylor]: Taking taylor expansion of (* i y) in i 9.142 * [taylor]: Taking taylor expansion of i in i 9.142 * [taylor]: Taking taylor expansion of y in i 9.142 * [taylor]: Taking taylor expansion of 0 in y 9.142 * [taylor]: Taking taylor expansion of 0 in t 9.142 * [taylor]: Taking taylor expansion of 0 in i 9.142 * [taylor]: Taking taylor expansion of 0 in y 9.142 * [taylor]: Taking taylor expansion of 0 in i 9.142 * [taylor]: Taking taylor expansion of 0 in y 9.142 * [taylor]: Taking taylor expansion of 0 in y 9.143 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in (j c t i y) around 0 9.143 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y 9.143 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 9.143 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 9.143 * [taylor]: Taking taylor expansion of (* t c) in y 9.143 * [taylor]: Taking taylor expansion of t in y 9.143 * [taylor]: Taking taylor expansion of c in y 9.143 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 9.143 * [taylor]: Taking taylor expansion of (* i y) in y 9.143 * [taylor]: Taking taylor expansion of i in y 9.143 * [taylor]: Taking taylor expansion of y in y 9.143 * [taylor]: Taking taylor expansion of j in y 9.143 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i 9.143 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 9.143 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 9.143 * [taylor]: Taking taylor expansion of (* t c) in i 9.143 * [taylor]: Taking taylor expansion of t in i 9.143 * [taylor]: Taking taylor expansion of c in i 9.143 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 9.143 * [taylor]: Taking taylor expansion of (* i y) in i 9.143 * [taylor]: Taking taylor expansion of i in i 9.144 * [taylor]: Taking taylor expansion of y in i 9.144 * [taylor]: Taking taylor expansion of j in i 9.144 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t 9.144 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 9.144 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 9.144 * [taylor]: Taking taylor expansion of (* t c) in t 9.144 * [taylor]: Taking taylor expansion of t in t 9.144 * [taylor]: Taking taylor expansion of c in t 9.145 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 9.145 * [taylor]: Taking taylor expansion of (* i y) in t 9.145 * [taylor]: Taking taylor expansion of i in t 9.145 * [taylor]: Taking taylor expansion of y in t 9.145 * [taylor]: Taking taylor expansion of j in t 9.145 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c 9.145 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 9.145 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 9.145 * [taylor]: Taking taylor expansion of (* t c) in c 9.145 * [taylor]: Taking taylor expansion of t in c 9.145 * [taylor]: Taking taylor expansion of c in c 9.145 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 9.145 * [taylor]: Taking taylor expansion of (* i y) in c 9.145 * [taylor]: Taking taylor expansion of i in c 9.145 * [taylor]: Taking taylor expansion of y in c 9.145 * [taylor]: Taking taylor expansion of j in c 9.145 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 9.146 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 9.146 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 9.146 * [taylor]: Taking taylor expansion of (* t c) in j 9.146 * [taylor]: Taking taylor expansion of t in j 9.146 * [taylor]: Taking taylor expansion of c in j 9.146 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 9.146 * [taylor]: Taking taylor expansion of (* i y) in j 9.146 * [taylor]: Taking taylor expansion of i in j 9.146 * [taylor]: Taking taylor expansion of y in j 9.146 * [taylor]: Taking taylor expansion of j in j 9.146 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 9.146 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 9.146 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 9.146 * [taylor]: Taking taylor expansion of (* t c) in j 9.146 * [taylor]: Taking taylor expansion of t in j 9.146 * [taylor]: Taking taylor expansion of c in j 9.146 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 9.146 * [taylor]: Taking taylor expansion of (* i y) in j 9.146 * [taylor]: Taking taylor expansion of i in j 9.146 * [taylor]: Taking taylor expansion of y in j 9.146 * [taylor]: Taking taylor expansion of j in j 9.147 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 9.147 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 9.147 * [taylor]: Taking taylor expansion of (* t c) in c 9.147 * [taylor]: Taking taylor expansion of t in c 9.147 * [taylor]: Taking taylor expansion of c in c 9.147 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 9.147 * [taylor]: Taking taylor expansion of (* i y) in c 9.147 * [taylor]: Taking taylor expansion of i in c 9.147 * [taylor]: Taking taylor expansion of y in c 9.147 * [taylor]: Taking taylor expansion of (/ 1 t) in t 9.147 * [taylor]: Taking taylor expansion of t in t 9.148 * [taylor]: Taking taylor expansion of 1 in i 9.149 * [taylor]: Taking taylor expansion of 0 in c 9.150 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in t 9.150 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 9.150 * [taylor]: Taking taylor expansion of (* i y) in t 9.150 * [taylor]: Taking taylor expansion of i in t 9.150 * [taylor]: Taking taylor expansion of y in t 9.151 * [taylor]: Taking taylor expansion of 0 in i 9.151 * [taylor]: Taking taylor expansion of 1 in y 9.153 * [taylor]: Taking taylor expansion of 0 in c 9.153 * [taylor]: Taking taylor expansion of 0 in t 9.155 * [taylor]: Taking taylor expansion of 0 in t 9.155 * [taylor]: Taking taylor expansion of (- (/ 1 (* i y))) in i 9.155 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 9.155 * [taylor]: Taking taylor expansion of (* i y) in i 9.155 * [taylor]: Taking taylor expansion of i in i 9.155 * [taylor]: Taking taylor expansion of y in i 9.156 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 9.156 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.156 * [taylor]: Taking taylor expansion of y in y 9.157 * [taylor]: Taking taylor expansion of 0 in i 9.157 * [taylor]: Taking taylor expansion of 0 in y 9.157 * [taylor]: Taking taylor expansion of 0 in y 9.164 * [taylor]: Taking taylor expansion of 0 in c 9.164 * [taylor]: Taking taylor expansion of 0 in t 9.164 * [taylor]: Taking taylor expansion of 0 in t 9.165 * [taylor]: Taking taylor expansion of 0 in t 9.166 * [taylor]: Taking taylor expansion of 0 in i 9.166 * [taylor]: Taking taylor expansion of 0 in i 9.166 * [taylor]: Taking taylor expansion of 0 in i 9.167 * [taylor]: Taking taylor expansion of 0 in i 9.168 * [taylor]: Taking taylor expansion of 0 in y 9.168 * [taylor]: Taking taylor expansion of 0 in y 9.168 * [taylor]: Taking taylor expansion of 0 in y 9.168 * [taylor]: Taking taylor expansion of 0 in y 9.173 * [taylor]: Taking taylor expansion of 0 in c 9.173 * [taylor]: Taking taylor expansion of 0 in t 9.173 * [taylor]: Taking taylor expansion of 0 in t 9.173 * [taylor]: Taking taylor expansion of 0 in t 9.175 * [taylor]: Taking taylor expansion of 0 in t 9.175 * [taylor]: Taking taylor expansion of 0 in i 9.175 * [taylor]: Taking taylor expansion of 0 in i 9.175 * [taylor]: Taking taylor expansion of 0 in i 9.175 * [taylor]: Taking taylor expansion of 0 in i 9.175 * [taylor]: Taking taylor expansion of 0 in i 9.176 * [taylor]: Taking taylor expansion of 0 in i 9.177 * [taylor]: Taking taylor expansion of 0 in i 9.177 * [taylor]: Taking taylor expansion of 0 in y 9.177 * [taylor]: Taking taylor expansion of 0 in y 9.177 * [taylor]: Taking taylor expansion of 0 in y 9.177 * [taylor]: Taking taylor expansion of 0 in y 9.178 * [taylor]: Taking taylor expansion of 0 in y 9.178 * [taylor]: Taking taylor expansion of 0 in y 9.178 * [taylor]: Taking taylor expansion of 0 in y 9.178 * [taylor]: Taking taylor expansion of 0 in y 9.179 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in (j c t i y) around 0 9.179 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in y 9.179 * [taylor]: Taking taylor expansion of -1 in y 9.179 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in y 9.179 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in y 9.179 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in y 9.179 * [taylor]: Taking taylor expansion of (* t c) in y 9.179 * [taylor]: Taking taylor expansion of t in y 9.179 * [taylor]: Taking taylor expansion of c in y 9.179 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in y 9.179 * [taylor]: Taking taylor expansion of (* i y) in y 9.179 * [taylor]: Taking taylor expansion of i in y 9.179 * [taylor]: Taking taylor expansion of y in y 9.180 * [taylor]: Taking taylor expansion of j in y 9.180 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in i 9.180 * [taylor]: Taking taylor expansion of -1 in i 9.180 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in i 9.180 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in i 9.180 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in i 9.180 * [taylor]: Taking taylor expansion of (* t c) in i 9.180 * [taylor]: Taking taylor expansion of t in i 9.180 * [taylor]: Taking taylor expansion of c in i 9.180 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 9.180 * [taylor]: Taking taylor expansion of (* i y) in i 9.180 * [taylor]: Taking taylor expansion of i in i 9.180 * [taylor]: Taking taylor expansion of y in i 9.181 * [taylor]: Taking taylor expansion of j in i 9.181 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in t 9.181 * [taylor]: Taking taylor expansion of -1 in t 9.181 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in t 9.181 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in t 9.181 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in t 9.181 * [taylor]: Taking taylor expansion of (* t c) in t 9.181 * [taylor]: Taking taylor expansion of t in t 9.181 * [taylor]: Taking taylor expansion of c in t 9.181 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 9.181 * [taylor]: Taking taylor expansion of (* i y) in t 9.181 * [taylor]: Taking taylor expansion of i in t 9.181 * [taylor]: Taking taylor expansion of y in t 9.181 * [taylor]: Taking taylor expansion of j in t 9.181 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in c 9.181 * [taylor]: Taking taylor expansion of -1 in c 9.182 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in c 9.182 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 9.182 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 9.182 * [taylor]: Taking taylor expansion of (* t c) in c 9.182 * [taylor]: Taking taylor expansion of t in c 9.182 * [taylor]: Taking taylor expansion of c in c 9.182 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 9.182 * [taylor]: Taking taylor expansion of (* i y) in c 9.182 * [taylor]: Taking taylor expansion of i in c 9.182 * [taylor]: Taking taylor expansion of y in c 9.182 * [taylor]: Taking taylor expansion of j in c 9.182 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in j 9.182 * [taylor]: Taking taylor expansion of -1 in j 9.182 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 9.182 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 9.182 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 9.182 * [taylor]: Taking taylor expansion of (* t c) in j 9.182 * [taylor]: Taking taylor expansion of t in j 9.182 * [taylor]: Taking taylor expansion of c in j 9.182 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 9.182 * [taylor]: Taking taylor expansion of (* i y) in j 9.182 * [taylor]: Taking taylor expansion of i in j 9.182 * [taylor]: Taking taylor expansion of y in j 9.182 * [taylor]: Taking taylor expansion of j in j 9.183 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j)) in j 9.183 * [taylor]: Taking taylor expansion of -1 in j 9.183 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* t c)) (/ 1 (* i y))) j) in j 9.183 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in j 9.183 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in j 9.183 * [taylor]: Taking taylor expansion of (* t c) in j 9.183 * [taylor]: Taking taylor expansion of t in j 9.183 * [taylor]: Taking taylor expansion of c in j 9.183 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in j 9.183 * [taylor]: Taking taylor expansion of (* i y) in j 9.183 * [taylor]: Taking taylor expansion of i in j 9.183 * [taylor]: Taking taylor expansion of y in j 9.183 * [taylor]: Taking taylor expansion of j in j 9.183 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 (* t c)) (/ 1 (* i y)))) in c 9.183 * [taylor]: Taking taylor expansion of -1 in c 9.183 * [taylor]: Taking taylor expansion of (- (/ 1 (* t c)) (/ 1 (* i y))) in c 9.183 * [taylor]: Taking taylor expansion of (/ 1 (* t c)) in c 9.183 * [taylor]: Taking taylor expansion of (* t c) in c 9.183 * [taylor]: Taking taylor expansion of t in c 9.183 * [taylor]: Taking taylor expansion of c in c 9.184 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in c 9.184 * [taylor]: Taking taylor expansion of (* i y) in c 9.184 * [taylor]: Taking taylor expansion of i in c 9.184 * [taylor]: Taking taylor expansion of y in c 9.184 * [taylor]: Taking taylor expansion of (/ -1 t) in t 9.184 * [taylor]: Taking taylor expansion of -1 in t 9.184 * [taylor]: Taking taylor expansion of t in t 9.184 * [taylor]: Taking taylor expansion of -1 in i 9.186 * [taylor]: Taking taylor expansion of 0 in c 9.187 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in t 9.187 * [taylor]: Taking taylor expansion of (* i y) in t 9.187 * [taylor]: Taking taylor expansion of i in t 9.187 * [taylor]: Taking taylor expansion of y in t 9.188 * [taylor]: Taking taylor expansion of 0 in i 9.188 * [taylor]: Taking taylor expansion of -1 in y 9.191 * [taylor]: Taking taylor expansion of 0 in c 9.191 * [taylor]: Taking taylor expansion of 0 in t 9.193 * [taylor]: Taking taylor expansion of 0 in t 9.193 * [taylor]: Taking taylor expansion of (/ 1 (* i y)) in i 9.193 * [taylor]: Taking taylor expansion of (* i y) in i 9.193 * [taylor]: Taking taylor expansion of i in i 9.193 * [taylor]: Taking taylor expansion of y in i 9.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.193 * [taylor]: Taking taylor expansion of y in y 9.194 * [taylor]: Taking taylor expansion of 0 in i 9.194 * [taylor]: Taking taylor expansion of 0 in y 9.195 * [taylor]: Taking taylor expansion of 0 in y 9.199 * [taylor]: Taking taylor expansion of 0 in c 9.199 * [taylor]: Taking taylor expansion of 0 in t 9.199 * [taylor]: Taking taylor expansion of 0 in t 9.202 * [taylor]: Taking taylor expansion of 0 in t 9.202 * [taylor]: Taking taylor expansion of 0 in i 9.202 * [taylor]: Taking taylor expansion of 0 in i 9.202 * [taylor]: Taking taylor expansion of 0 in i 9.203 * [taylor]: Taking taylor expansion of 0 in i 9.204 * [taylor]: Taking taylor expansion of 0 in y 9.204 * [taylor]: Taking taylor expansion of 0 in y 9.204 * [taylor]: Taking taylor expansion of 0 in y 9.204 * [taylor]: Taking taylor expansion of 0 in y 9.210 * [taylor]: Taking taylor expansion of 0 in c 9.210 * [taylor]: Taking taylor expansion of 0 in t 9.210 * [taylor]: Taking taylor expansion of 0 in t 9.210 * [taylor]: Taking taylor expansion of 0 in t 9.213 * [taylor]: Taking taylor expansion of 0 in t 9.213 * [taylor]: Taking taylor expansion of 0 in i 9.213 * [taylor]: Taking taylor expansion of 0 in i 9.213 * [taylor]: Taking taylor expansion of 0 in i 9.213 * [taylor]: Taking taylor expansion of 0 in i 9.213 * [taylor]: Taking taylor expansion of 0 in i 9.214 * [taylor]: Taking taylor expansion of 0 in i 9.215 * [taylor]: Taking taylor expansion of 0 in i 9.215 * [taylor]: Taking taylor expansion of 0 in y 9.215 * [taylor]: Taking taylor expansion of 0 in y 9.215 * [taylor]: Taking taylor expansion of 0 in y 9.215 * [taylor]: Taking taylor expansion of 0 in y 9.216 * [taylor]: Taking taylor expansion of 0 in y 9.216 * [taylor]: Taking taylor expansion of 0 in y 9.216 * [taylor]: Taking taylor expansion of 0 in y 9.216 * [taylor]: Taking taylor expansion of 0 in y 9.217 * * * [progress]: simplifying candidates 9.218 * [simplify]: Simplifying using # : (* (* y z) x) (* (* y z) x) (+ (+ (log y) (log z)) (log x)) (+ (log (* y z)) (log x)) (log (* (* y z) x)) (exp (* (* y z) x)) (* (* (* (* y y) y) (* (* z z) z)) (* (* x x) x)) (* (* (* (* y z) (* y z)) (* y z)) (* (* x x) x)) (* (cbrt (* (* y z) x)) (cbrt (* (* y z) x))) (cbrt (* (* y z) x)) (* (* (* (* y z) x) (* (* y z) x)) (* (* y z) x)) (sqrt (* (* y z) x)) (sqrt (* (* y z) x)) (* (* y z) (* (cbrt x) (cbrt x))) (* (* y z) (sqrt x)) (* (* y z) 1) (* z x) (* (* x a) t) (* (* x a) t) (+ (+ (log x) (log a)) (log t)) (+ (log (* x a)) (log t)) (log (* (* x a) t)) (exp (* (* x a) t)) (* (* (* (* x x) x) (* (* a a) a)) (* (* t t) t)) (* (* (* (* x a) (* x a)) (* x a)) (* (* t t) t)) (* (cbrt (* (* x a) t)) (cbrt (* (* x a) t))) (cbrt (* (* x a) t)) (* (* (* (* x a) t) (* (* x a) t)) (* (* x a) t)) (sqrt (* (* x a) t)) (sqrt (* (* x a) t)) (* (* x a) (* (cbrt t) (cbrt t))) (* (* x a) (sqrt t)) (* (* x a) 1) (* a t) (* (- (* i a)) b) (+ (log (- (* i a))) (log b)) (log (* (- (* i a)) b)) (exp (* (- (* i a)) b)) (* (* (* (- (* i a)) (- (* i a))) (- (* i a))) (* (* b b) b)) (* (cbrt (* (- (* i a)) b)) (cbrt (* (- (* i a)) b))) (cbrt (* (- (* i a)) b)) (* (* (* (- (* i a)) b) (* (- (* i a)) b)) (* (- (* i a)) b)) (sqrt (* (- (* i a)) b)) (sqrt (* (- (* i a)) b)) (* (sqrt (- (* i a))) (sqrt b)) (* (sqrt (- (* i a))) (sqrt b)) (* (* i a) b) (* (- (* i a)) (* (cbrt b) (cbrt b))) (* (- (* i a)) (sqrt b)) (* (- (* i a)) 1) (* (cbrt (- (* i a))) b) (* (sqrt (- (* i a))) b) (* (- (* i a)) b) (* (* i a) b) (* a b) (* (- a) b) (* j (- (* c t) (* i y))) (+ (log j) (log (- (* c t) (* i y)))) (log (* j (- (* c t) (* i y)))) (exp (* j (- (* c t) (* i y)))) (* (* (* j j) j) (* (* (- (* c t) (* i y)) (- (* c t) (* i y))) (- (* c t) (* i y)))) (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))) (* (* (* j (- (* c t) (* i y))) (* j (- (* c t) (* i y)))) (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* j (* c t)) (* j (- (* i y))) (* j (* c t)) (* j (- (* i y))) (* (* c t) j) (* (- (* i y)) j) (* (* c t) j) (* (- (* i y)) j) (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (* j (sqrt (- (* c t) (* i y)))) (* j 1) (* (cbrt j) (- (* c t) (* i y))) (* (sqrt j) (- (* c t) (* i y))) (* j (- (* c t) (* i y))) (* j (- (pow (* c t) 3) (pow (* i y) 3))) (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))) 0 (* x (* z y)) (* x (* z y)) 0 (* t (* x a)) (* t (* x a)) 0 (* -1 (* a (* i b))) (* -1 (* a (* i b))) 0 (- (* t (* j c)) (* i (* j y))) (- (* t (* j c)) (* i (* j y))) 9.222 * * [simplify]: iteration 0 : 165 enodes (cost 830 ) 9.259 * * [simplify]: iteration 1 : 419 enodes (cost 808 ) 9.438 * * [simplify]: iteration 2 : 1666 enodes (cost 688 ) 10.216 * * [simplify]: iteration done : 5000 enodes (cost 688 ) 10.217 * [simplify]: Simplified to: (* x (* z y)) (* x (* z y)) (log (* (* y z) x)) (log (* (* y z) x)) (log (* (* y z) x)) (exp (* (* y z) x)) (pow (* x (* z y)) 3) (pow (* x (* z y)) 3) (* (cbrt (* (* y z) x)) (cbrt (* (* y z) x))) (cbrt (* (* y z) x)) (pow (* x (* z y)) 3) (sqrt (* (* y z) x)) (sqrt (* (* y z) x)) (* (* y z) (* (cbrt x) (cbrt x))) (* (* y z) (sqrt x)) (* y z) (* z x) (* (* x a) t) (* (* x a) t) (log (* (* x a) t)) (log (* (* x a) t)) (log (* (* x a) t)) (exp (* (* x a) t)) (pow (* (* x a) t) 3) (pow (* (* x a) t) 3) (* (cbrt (* (* x a) t)) (cbrt (* (* x a) t))) (cbrt (* (* x a) t)) (pow (* (* x a) t) 3) (sqrt (* (* x a) t)) (sqrt (* (* x a) t)) (* (* x a) (* (cbrt t) (cbrt t))) (* (* x a) (sqrt t)) (* x a) (* a t) (* (- (* i a)) b) (log (* (- (* i a)) b)) (log (* (- (* i a)) b)) (exp (* (- (* i a)) b)) (pow (* (- (* i a)) b) 3) (* (cbrt (* (- (* i a)) b)) (cbrt (* (- (* i a)) b))) (cbrt (* (- (* i a)) b)) (pow (* (- (* i a)) b) 3) (sqrt (* (- (* i a)) b)) (sqrt (* (- (* i a)) b)) (* (sqrt (- (* i a))) (sqrt b)) (* (sqrt (- (* i a))) (sqrt b)) (* (* i a) b) (* (- (* i a)) (* (cbrt b) (cbrt b))) (* (- (* i a)) (sqrt b)) (* (- i) a) (* (cbrt (- (* i a))) b) (* (sqrt (- (* i a))) b) (* (- (* i a)) b) (* (* i a) b) (* a b) (* (- a) b) (* (- (* c t) (* i y)) j) (log (* j (- (* c t) (* i y)))) (log (* j (- (* c t) (* i y)))) (exp (* j (- (* c t) (* i y)))) (pow (* j (- (* c t) (* i y))) 3) (* (cbrt (* j (- (* c t) (* i y)))) (cbrt (* j (- (* c t) (* i y))))) (cbrt (* j (- (* c t) (* i y)))) (pow (* j (- (* c t) (* i y))) 3) (sqrt (* j (- (* c t) (* i y)))) (sqrt (* j (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* (sqrt j) (sqrt (- (* c t) (* i y)))) (* (* c t) j) (- (* i (* j y))) (* (* c t) j) (- (* i (* j y))) (* (* c t) j) (- (* i (* j y))) (* (* c t) j) (- (* i (* j y))) (* j (* (cbrt (- (* c t) (* i y))) (cbrt (- (* c t) (* i y))))) (* j (sqrt (- (* c t) (* i y)))) j (* (cbrt j) (- (* c t) (* i y))) (* (sqrt j) (- (* c t) (* i y))) (* (- (* c t) (* i y)) j) (* j (- (pow (* c t) 3) (pow (* i y) 3))) (* j (- (* (* c t) (* c t)) (* (* i y) (* i y)))) 0 (* x (* z y)) (* x (* z y)) 0 (* (* x a) t) (* (* x a) t) 0 (* (- (* i a)) b) (* (- (* i a)) b) 0 (* (- (* c t) (* i y)) j) (* (- (* c t) (* i y)) j) 10.218 * * * [progress]: adding candidates to table 10.608 * [progress]: [Phase 3 of 3] Extracting. 10.608 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # #) 10.632 * * * [regime-changes]: Trying 9 branch expressions: (j i c b a t z y x) 10.632 * * * * [regimes]: Trying to branch on j from (# # # # # # # # # # # # # # # #) 10.749 * * * * [regimes]: Trying to branch on i from (# # # # # # # # # # # # # # # #) 10.864 * * * * [regimes]: Trying to branch on c from (# # # # # # # # # # # # # # # #) 11.006 * * * * [regimes]: Trying to branch on b from (# # # # # # # # # # # # # # # #) 11.122 * * * * [regimes]: Trying to branch on a from (# # # # # # # # # # # # # # # #) 11.237 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # # # # # # # #) 11.345 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # # # # # # #) 11.480 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # # # # #) 11.636 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # #) 11.761 * * * [regime]: Found split indices: #