22.251 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.470 * * * [progress]: [2/2] Setting up program. 1.477 * [progress]: [Phase 2 of 3] Improving. 1.478 * [simplify]: Simplifying using # : (+ (- (- x (* (- y 1.0) z)) (* (- t 1.0) a)) (* (- (+ y t) 2.0) b)) 1.486 * * [simplify]: iteration 0 : 576 enodes (cost 21 ) 1.486 * * [simplify]: iteration 1 : 576 enodes (cost 21 ) 1.486 * [simplify]: Simplified to: (+ x (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) 1.492 * * [progress]: iteration 1 / 4 1.492 * * * [progress]: picking best candidate 1.496 * * * * [pick]: Picked # 1.496 * * * [progress]: localizing error 1.511 * * * [progress]: generating rewritten candidates 1.511 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.517 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.524 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 1.538 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 1.548 * * * [progress]: generating series expansions 1.548 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 1.548 * [approximate]: Taking taylor expansion of (* z (- y 1.0)) in (y z) around 0 1.548 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 1.548 * [taylor]: Taking taylor expansion of z in z 1.548 * [taylor]: Taking taylor expansion of (- y 1.0) in z 1.548 * [taylor]: Taking taylor expansion of y in z 1.548 * [taylor]: Taking taylor expansion of 1.0 in z 1.548 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 1.548 * [taylor]: Taking taylor expansion of z in y 1.548 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.549 * [taylor]: Taking taylor expansion of y in y 1.549 * [taylor]: Taking taylor expansion of 1.0 in y 1.549 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 1.549 * [taylor]: Taking taylor expansion of z in y 1.549 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.549 * [taylor]: Taking taylor expansion of y in y 1.549 * [taylor]: Taking taylor expansion of 1.0 in y 1.549 * [taylor]: Taking taylor expansion of (* -1.0 z) in z 1.549 * [taylor]: Taking taylor expansion of -1.0 in z 1.549 * [taylor]: Taking taylor expansion of z in z 1.549 * [taylor]: Taking taylor expansion of z in z 1.549 * [taylor]: Taking taylor expansion of 0 in z 1.549 * [taylor]: Taking taylor expansion of 0 in z 1.549 * [taylor]: Taking taylor expansion of 0 in z 1.550 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in (y z) around 0 1.550 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 1.550 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z 1.550 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.550 * [taylor]: Taking taylor expansion of y in z 1.550 * [taylor]: Taking taylor expansion of 1.0 in z 1.550 * [taylor]: Taking taylor expansion of z in z 1.550 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y 1.550 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.550 * [taylor]: Taking taylor expansion of y in y 1.550 * [taylor]: Taking taylor expansion of 1.0 in y 1.550 * [taylor]: Taking taylor expansion of z in y 1.550 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y 1.550 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.550 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.550 * [taylor]: Taking taylor expansion of y in y 1.550 * [taylor]: Taking taylor expansion of 1.0 in y 1.550 * [taylor]: Taking taylor expansion of z in y 1.550 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.550 * [taylor]: Taking taylor expansion of z in z 1.550 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 1.550 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.550 * [taylor]: Taking taylor expansion of 1.0 in z 1.550 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.550 * [taylor]: Taking taylor expansion of z in z 1.551 * [taylor]: Taking taylor expansion of 0 in z 1.551 * [taylor]: Taking taylor expansion of 0 in z 1.551 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in (y z) around 0 1.551 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 1.551 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 1.551 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.551 * [taylor]: Taking taylor expansion of y in z 1.551 * [taylor]: Taking taylor expansion of 1.0 in z 1.551 * [taylor]: Taking taylor expansion of z in z 1.551 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 1.551 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.551 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.551 * [taylor]: Taking taylor expansion of y in y 1.552 * [taylor]: Taking taylor expansion of 1.0 in y 1.552 * [taylor]: Taking taylor expansion of z in y 1.552 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 1.552 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.552 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.552 * [taylor]: Taking taylor expansion of y in y 1.552 * [taylor]: Taking taylor expansion of 1.0 in y 1.552 * [taylor]: Taking taylor expansion of z in y 1.552 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.552 * [taylor]: Taking taylor expansion of z in z 1.552 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.552 * [taylor]: Taking taylor expansion of 1.0 in z 1.552 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.552 * [taylor]: Taking taylor expansion of z in z 1.552 * [taylor]: Taking taylor expansion of 0 in z 1.552 * [taylor]: Taking taylor expansion of 0 in z 1.553 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.553 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in (y t b) around 0 1.553 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.553 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 1.553 * [taylor]: Taking taylor expansion of (+ t y) in b 1.553 * [taylor]: Taking taylor expansion of t in b 1.553 * [taylor]: Taking taylor expansion of y in b 1.553 * [taylor]: Taking taylor expansion of 2.0 in b 1.553 * [taylor]: Taking taylor expansion of b in b 1.553 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 1.553 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 1.553 * [taylor]: Taking taylor expansion of (+ t y) in t 1.553 * [taylor]: Taking taylor expansion of t in t 1.553 * [taylor]: Taking taylor expansion of y in t 1.553 * [taylor]: Taking taylor expansion of 2.0 in t 1.553 * [taylor]: Taking taylor expansion of b in t 1.553 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.553 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.553 * [taylor]: Taking taylor expansion of (+ t y) in y 1.553 * [taylor]: Taking taylor expansion of t in y 1.553 * [taylor]: Taking taylor expansion of y in y 1.553 * [taylor]: Taking taylor expansion of 2.0 in y 1.553 * [taylor]: Taking taylor expansion of b in y 1.553 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.553 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.553 * [taylor]: Taking taylor expansion of (+ t y) in y 1.553 * [taylor]: Taking taylor expansion of t in y 1.553 * [taylor]: Taking taylor expansion of y in y 1.553 * [taylor]: Taking taylor expansion of 2.0 in y 1.553 * [taylor]: Taking taylor expansion of b in y 1.553 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t 1.553 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.553 * [taylor]: Taking taylor expansion of t in t 1.553 * [taylor]: Taking taylor expansion of 2.0 in t 1.553 * [taylor]: Taking taylor expansion of b in t 1.554 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 1.554 * [taylor]: Taking taylor expansion of -2.0 in b 1.554 * [taylor]: Taking taylor expansion of b in b 1.554 * [taylor]: Taking taylor expansion of b in t 1.554 * [taylor]: Taking taylor expansion of b in b 1.554 * [taylor]: Taking taylor expansion of b in b 1.554 * [taylor]: Taking taylor expansion of 0 in t 1.554 * [taylor]: Taking taylor expansion of 0 in b 1.554 * [taylor]: Taking taylor expansion of 0 in b 1.554 * [taylor]: Taking taylor expansion of 0 in b 1.554 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0 1.554 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 1.554 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 1.554 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 1.554 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.554 * [taylor]: Taking taylor expansion of y in b 1.554 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.554 * [taylor]: Taking taylor expansion of t in b 1.554 * [taylor]: Taking taylor expansion of 2.0 in b 1.555 * [taylor]: Taking taylor expansion of b in b 1.555 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 1.555 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 1.555 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 1.555 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.555 * [taylor]: Taking taylor expansion of y in t 1.555 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.555 * [taylor]: Taking taylor expansion of t in t 1.555 * [taylor]: Taking taylor expansion of 2.0 in t 1.555 * [taylor]: Taking taylor expansion of b in t 1.555 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.555 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.555 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.555 * [taylor]: Taking taylor expansion of y in y 1.555 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.555 * [taylor]: Taking taylor expansion of t in y 1.555 * [taylor]: Taking taylor expansion of 2.0 in y 1.555 * [taylor]: Taking taylor expansion of b in y 1.555 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.555 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.555 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.555 * [taylor]: Taking taylor expansion of y in y 1.555 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.555 * [taylor]: Taking taylor expansion of t in y 1.555 * [taylor]: Taking taylor expansion of 2.0 in y 1.555 * [taylor]: Taking taylor expansion of b in y 1.555 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.555 * [taylor]: Taking taylor expansion of b in t 1.556 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 1.556 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.556 * [taylor]: Taking taylor expansion of (* t b) in t 1.556 * [taylor]: Taking taylor expansion of t in t 1.556 * [taylor]: Taking taylor expansion of b in t 1.556 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.556 * [taylor]: Taking taylor expansion of 2.0 in t 1.556 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.556 * [taylor]: Taking taylor expansion of b in t 1.556 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.556 * [taylor]: Taking taylor expansion of b in b 1.556 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.556 * [taylor]: Taking taylor expansion of b in b 1.556 * [taylor]: Taking taylor expansion of 0 in t 1.556 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 b))) in b 1.556 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 1.556 * [taylor]: Taking taylor expansion of 2.0 in b 1.557 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.557 * [taylor]: Taking taylor expansion of b in b 1.557 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in (y t b) around 0 1.557 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in b 1.557 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 1.557 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.557 * [taylor]: Taking taylor expansion of y in b 1.557 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 1.557 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.557 * [taylor]: Taking taylor expansion of t in b 1.557 * [taylor]: Taking taylor expansion of 2.0 in b 1.557 * [taylor]: Taking taylor expansion of b in b 1.557 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in t 1.557 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 1.557 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.558 * [taylor]: Taking taylor expansion of y in t 1.558 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 1.558 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.558 * [taylor]: Taking taylor expansion of t in t 1.558 * [taylor]: Taking taylor expansion of 2.0 in t 1.558 * [taylor]: Taking taylor expansion of b in t 1.558 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 1.558 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.558 * [taylor]: Taking taylor expansion of y in y 1.558 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.558 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.558 * [taylor]: Taking taylor expansion of t in y 1.558 * [taylor]: Taking taylor expansion of 2.0 in y 1.558 * [taylor]: Taking taylor expansion of b in y 1.558 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) (+ (/ 1 t) 2.0)) b) in y 1.558 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.558 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.558 * [taylor]: Taking taylor expansion of y in y 1.558 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.558 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.558 * [taylor]: Taking taylor expansion of t in y 1.558 * [taylor]: Taking taylor expansion of 2.0 in y 1.558 * [taylor]: Taking taylor expansion of b in y 1.558 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.558 * [taylor]: Taking taylor expansion of b in t 1.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 1.558 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.558 * [taylor]: Taking taylor expansion of (* t b) in t 1.558 * [taylor]: Taking taylor expansion of t in t 1.558 * [taylor]: Taking taylor expansion of b in t 1.559 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.559 * [taylor]: Taking taylor expansion of 2.0 in t 1.559 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.559 * [taylor]: Taking taylor expansion of b in t 1.559 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.559 * [taylor]: Taking taylor expansion of b in b 1.559 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.559 * [taylor]: Taking taylor expansion of b in b 1.559 * [taylor]: Taking taylor expansion of 0 in t 1.559 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 1.559 * [taylor]: Taking taylor expansion of 2.0 in b 1.559 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.559 * [taylor]: Taking taylor expansion of b in b 1.559 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 1.560 * [approximate]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in (y t b z a) around 0 1.560 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in a 1.560 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) in a 1.560 * [taylor]: Taking taylor expansion of (* t b) in a 1.560 * [taylor]: Taking taylor expansion of t in a 1.560 * [taylor]: Taking taylor expansion of b in a 1.560 * [taylor]: Taking taylor expansion of (+ (* y b) (+ (* 1.0 z) (* 1.0 a))) in a 1.560 * [taylor]: Taking taylor expansion of (* y b) in a 1.560 * [taylor]: Taking taylor expansion of y in a 1.560 * [taylor]: Taking taylor expansion of b in a 1.560 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in a 1.560 * [taylor]: Taking taylor expansion of (* 1.0 z) in a 1.560 * [taylor]: Taking taylor expansion of 1.0 in a 1.560 * [taylor]: Taking taylor expansion of z in a 1.560 * [taylor]: Taking taylor expansion of (* 1.0 a) in a 1.560 * [taylor]: Taking taylor expansion of 1.0 in a 1.560 * [taylor]: Taking taylor expansion of a in a 1.560 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in a 1.560 * [taylor]: Taking taylor expansion of (* z y) in a 1.560 * [taylor]: Taking taylor expansion of z in a 1.560 * [taylor]: Taking taylor expansion of y in a 1.560 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in a 1.560 * [taylor]: Taking taylor expansion of (* 2.0 b) in a 1.560 * [taylor]: Taking taylor expansion of 2.0 in a 1.560 * [taylor]: Taking taylor expansion of b in a 1.560 * [taylor]: Taking taylor expansion of (* t a) in a 1.560 * [taylor]: Taking taylor expansion of t in a 1.560 * [taylor]: Taking taylor expansion of a in a 1.560 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in z 1.561 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) in z 1.561 * [taylor]: Taking taylor expansion of (* t b) in z 1.561 * [taylor]: Taking taylor expansion of t in z 1.561 * [taylor]: Taking taylor expansion of b in z 1.561 * [taylor]: Taking taylor expansion of (+ (* y b) (+ (* 1.0 z) (* 1.0 a))) in z 1.561 * [taylor]: Taking taylor expansion of (* y b) in z 1.561 * [taylor]: Taking taylor expansion of y in z 1.561 * [taylor]: Taking taylor expansion of b in z 1.561 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in z 1.561 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 1.561 * [taylor]: Taking taylor expansion of 1.0 in z 1.561 * [taylor]: Taking taylor expansion of z in z 1.561 * [taylor]: Taking taylor expansion of (* 1.0 a) in z 1.561 * [taylor]: Taking taylor expansion of 1.0 in z 1.561 * [taylor]: Taking taylor expansion of a in z 1.561 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in z 1.561 * [taylor]: Taking taylor expansion of (* z y) in z 1.561 * [taylor]: Taking taylor expansion of z in z 1.561 * [taylor]: Taking taylor expansion of y in z 1.561 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in z 1.561 * [taylor]: Taking taylor expansion of (* 2.0 b) in z 1.561 * [taylor]: Taking taylor expansion of 2.0 in z 1.561 * [taylor]: Taking taylor expansion of b in z 1.561 * [taylor]: Taking taylor expansion of (* t a) in z 1.561 * [taylor]: Taking taylor expansion of t in z 1.561 * [taylor]: Taking taylor expansion of a in z 1.561 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in b 1.561 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) in b 1.561 * [taylor]: Taking taylor expansion of (* t b) in b 1.561 * [taylor]: Taking taylor expansion of t in b 1.561 * [taylor]: Taking taylor expansion of b in b 1.561 * [taylor]: Taking taylor expansion of (+ (* y b) (+ (* 1.0 z) (* 1.0 a))) in b 1.561 * [taylor]: Taking taylor expansion of (* y b) in b 1.561 * [taylor]: Taking taylor expansion of y in b 1.561 * [taylor]: Taking taylor expansion of b in b 1.561 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in b 1.561 * [taylor]: Taking taylor expansion of (* 1.0 z) in b 1.561 * [taylor]: Taking taylor expansion of 1.0 in b 1.561 * [taylor]: Taking taylor expansion of z in b 1.561 * [taylor]: Taking taylor expansion of (* 1.0 a) in b 1.561 * [taylor]: Taking taylor expansion of 1.0 in b 1.561 * [taylor]: Taking taylor expansion of a in b 1.564 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in b 1.564 * [taylor]: Taking taylor expansion of (* z y) in b 1.564 * [taylor]: Taking taylor expansion of z in b 1.564 * [taylor]: Taking taylor expansion of y in b 1.564 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in b 1.564 * [taylor]: Taking taylor expansion of (* 2.0 b) in b 1.564 * [taylor]: Taking taylor expansion of 2.0 in b 1.564 * [taylor]: Taking taylor expansion of b in b 1.564 * [taylor]: Taking taylor expansion of (* t a) in b 1.564 * [taylor]: Taking taylor expansion of t in b 1.564 * [taylor]: Taking taylor expansion of a in b 1.564 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in t 1.564 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) in t 1.564 * [taylor]: Taking taylor expansion of (* t b) in t 1.564 * [taylor]: Taking taylor expansion of t in t 1.564 * [taylor]: Taking taylor expansion of b in t 1.564 * [taylor]: Taking taylor expansion of (+ (* y b) (+ (* 1.0 z) (* 1.0 a))) in t 1.564 * [taylor]: Taking taylor expansion of (* y b) in t 1.564 * [taylor]: Taking taylor expansion of y in t 1.564 * [taylor]: Taking taylor expansion of b in t 1.564 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in t 1.564 * [taylor]: Taking taylor expansion of (* 1.0 z) in t 1.564 * [taylor]: Taking taylor expansion of 1.0 in t 1.564 * [taylor]: Taking taylor expansion of z in t 1.564 * [taylor]: Taking taylor expansion of (* 1.0 a) in t 1.564 * [taylor]: Taking taylor expansion of 1.0 in t 1.564 * [taylor]: Taking taylor expansion of a in t 1.564 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in t 1.564 * [taylor]: Taking taylor expansion of (* z y) in t 1.564 * [taylor]: Taking taylor expansion of z in t 1.564 * [taylor]: Taking taylor expansion of y in t 1.564 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in t 1.564 * [taylor]: Taking taylor expansion of (* 2.0 b) in t 1.564 * [taylor]: Taking taylor expansion of 2.0 in t 1.564 * [taylor]: Taking taylor expansion of b in t 1.564 * [taylor]: Taking taylor expansion of (* t a) in t 1.564 * [taylor]: Taking taylor expansion of t in t 1.564 * [taylor]: Taking taylor expansion of a in t 1.564 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in y 1.564 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) in y 1.564 * [taylor]: Taking taylor expansion of (* t b) in y 1.564 * [taylor]: Taking taylor expansion of t in y 1.564 * [taylor]: Taking taylor expansion of b in y 1.564 * [taylor]: Taking taylor expansion of (+ (* y b) (+ (* 1.0 z) (* 1.0 a))) in y 1.564 * [taylor]: Taking taylor expansion of (* y b) in y 1.564 * [taylor]: Taking taylor expansion of y in y 1.564 * [taylor]: Taking taylor expansion of b in y 1.564 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in y 1.564 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 1.564 * [taylor]: Taking taylor expansion of 1.0 in y 1.565 * [taylor]: Taking taylor expansion of z in y 1.565 * [taylor]: Taking taylor expansion of (* 1.0 a) in y 1.565 * [taylor]: Taking taylor expansion of 1.0 in y 1.565 * [taylor]: Taking taylor expansion of a in y 1.565 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in y 1.565 * [taylor]: Taking taylor expansion of (* z y) in y 1.565 * [taylor]: Taking taylor expansion of z in y 1.565 * [taylor]: Taking taylor expansion of y in y 1.565 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in y 1.565 * [taylor]: Taking taylor expansion of (* 2.0 b) in y 1.565 * [taylor]: Taking taylor expansion of 2.0 in y 1.565 * [taylor]: Taking taylor expansion of b in y 1.565 * [taylor]: Taking taylor expansion of (* t a) in y 1.565 * [taylor]: Taking taylor expansion of t in y 1.565 * [taylor]: Taking taylor expansion of a in y 1.565 * [taylor]: Taking taylor expansion of (- (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) (+ (* z y) (+ (* 2.0 b) (* t a)))) in y 1.565 * [taylor]: Taking taylor expansion of (+ (* t b) (+ (* y b) (+ (* 1.0 z) (* 1.0 a)))) in y 1.565 * [taylor]: Taking taylor expansion of (* t b) in y 1.565 * [taylor]: Taking taylor expansion of t in y 1.565 * [taylor]: Taking taylor expansion of b in y 1.565 * [taylor]: Taking taylor expansion of (+ (* y b) (+ (* 1.0 z) (* 1.0 a))) in y 1.565 * [taylor]: Taking taylor expansion of (* y b) in y 1.565 * [taylor]: Taking taylor expansion of y in y 1.565 * [taylor]: Taking taylor expansion of b in y 1.565 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* 1.0 a)) in y 1.565 * [taylor]: Taking taylor expansion of (* 1.0 z) in y 1.565 * [taylor]: Taking taylor expansion of 1.0 in y 1.565 * [taylor]: Taking taylor expansion of z in y 1.565 * [taylor]: Taking taylor expansion of (* 1.0 a) in y 1.565 * [taylor]: Taking taylor expansion of 1.0 in y 1.565 * [taylor]: Taking taylor expansion of a in y 1.565 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* 2.0 b) (* t a))) in y 1.565 * [taylor]: Taking taylor expansion of (* z y) in y 1.565 * [taylor]: Taking taylor expansion of z in y 1.565 * [taylor]: Taking taylor expansion of y in y 1.565 * [taylor]: Taking taylor expansion of (+ (* 2.0 b) (* t a)) in y 1.565 * [taylor]: Taking taylor expansion of (* 2.0 b) in y 1.565 * [taylor]: Taking taylor expansion of 2.0 in y 1.565 * [taylor]: Taking taylor expansion of b in y 1.565 * [taylor]: Taking taylor expansion of (* t a) in y 1.565 * [taylor]: Taking taylor expansion of t in y 1.565 * [taylor]: Taking taylor expansion of a in y 1.566 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (+ (* 1.0 z) (* t b))) (+ (* t a) (* 2.0 b))) in t 1.566 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (+ (* 1.0 z) (* t b))) in t 1.566 * [taylor]: Taking taylor expansion of (* 1.0 a) in t 1.566 * [taylor]: Taking taylor expansion of 1.0 in t 1.566 * [taylor]: Taking taylor expansion of a in t 1.566 * [taylor]: Taking taylor expansion of (+ (* 1.0 z) (* t b)) in t 1.566 * [taylor]: Taking taylor expansion of (* 1.0 z) in t 1.566 * [taylor]: Taking taylor expansion of 1.0 in t 1.566 * [taylor]: Taking taylor expansion of z in t 1.566 * [taylor]: Taking taylor expansion of (* t b) in t 1.566 * [taylor]: Taking taylor expansion of t in t 1.566 * [taylor]: Taking taylor expansion of b in t 1.566 * [taylor]: Taking taylor expansion of (+ (* t a) (* 2.0 b)) in t 1.566 * [taylor]: Taking taylor expansion of (* t a) in t 1.566 * [taylor]: Taking taylor expansion of t in t 1.566 * [taylor]: Taking taylor expansion of a in t 1.566 * [taylor]: Taking taylor expansion of (* 2.0 b) in t 1.566 * [taylor]: Taking taylor expansion of 2.0 in t 1.566 * [taylor]: Taking taylor expansion of b in t 1.566 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 a) (* 1.0 z)) (* 2.0 b)) in b 1.566 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (* 1.0 z)) in b 1.566 * [taylor]: Taking taylor expansion of (* 1.0 a) in b 1.567 * [taylor]: Taking taylor expansion of 1.0 in b 1.567 * [taylor]: Taking taylor expansion of a in b 1.567 * [taylor]: Taking taylor expansion of (* 1.0 z) in b 1.567 * [taylor]: Taking taylor expansion of 1.0 in b 1.567 * [taylor]: Taking taylor expansion of z in b 1.567 * [taylor]: Taking taylor expansion of (* 2.0 b) in b 1.567 * [taylor]: Taking taylor expansion of 2.0 in b 1.567 * [taylor]: Taking taylor expansion of b in b 1.567 * [taylor]: Taking taylor expansion of (+ (* 1.0 a) (* 1.0 z)) in z 1.567 * [taylor]: Taking taylor expansion of (* 1.0 a) in z 1.567 * [taylor]: Taking taylor expansion of 1.0 in z 1.567 * [taylor]: Taking taylor expansion of a in z 1.567 * [taylor]: Taking taylor expansion of (* 1.0 z) in z 1.567 * [taylor]: Taking taylor expansion of 1.0 in z 1.567 * [taylor]: Taking taylor expansion of z in z 1.567 * [taylor]: Taking taylor expansion of (* 1.0 a) in a 1.567 * [taylor]: Taking taylor expansion of 1.0 in a 1.567 * [taylor]: Taking taylor expansion of a in a 1.567 * [taylor]: Taking taylor expansion of (- b z) in t 1.567 * [taylor]: Taking taylor expansion of b in t 1.567 * [taylor]: Taking taylor expansion of z in t 1.567 * [taylor]: Taking taylor expansion of (- b z) in b 1.567 * [taylor]: Taking taylor expansion of b in b 1.567 * [taylor]: Taking taylor expansion of z in b 1.567 * [taylor]: Taking taylor expansion of (neg z) in z 1.567 * [taylor]: Taking taylor expansion of z in z 1.567 * [taylor]: Taking taylor expansion of 0 in a 1.568 * [taylor]: Taking taylor expansion of (- b a) in b 1.568 * [taylor]: Taking taylor expansion of b in b 1.568 * [taylor]: Taking taylor expansion of a in b 1.568 * [taylor]: Taking taylor expansion of (neg a) in z 1.568 * [taylor]: Taking taylor expansion of a in z 1.568 * [taylor]: Taking taylor expansion of (neg a) in a 1.568 * [taylor]: Taking taylor expansion of a in a 1.568 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.568 * [taylor]: Taking taylor expansion of 2.0 in z 1.568 * [taylor]: Taking taylor expansion of (neg 2.0) in a 1.568 * [taylor]: Taking taylor expansion of 2.0 in a 1.568 * [taylor]: Taking taylor expansion of 1.0 in a 1.569 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in (y t b z a) around 0 1.569 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in a 1.569 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) in a 1.569 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in a 1.569 * [taylor]: Taking taylor expansion of (* t b) in a 1.569 * [taylor]: Taking taylor expansion of t in a 1.569 * [taylor]: Taking taylor expansion of b in a 1.569 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a)))) in a 1.569 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a 1.569 * [taylor]: Taking taylor expansion of 1.0 in a 1.569 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.569 * [taylor]: Taking taylor expansion of z in a 1.569 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))) in a 1.569 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a 1.569 * [taylor]: Taking taylor expansion of (* y b) in a 1.569 * [taylor]: Taking taylor expansion of y in a 1.569 * [taylor]: Taking taylor expansion of b in a 1.569 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.569 * [taylor]: Taking taylor expansion of 1.0 in a 1.569 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.569 * [taylor]: Taking taylor expansion of a in a 1.569 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in a 1.569 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 1.569 * [taylor]: Taking taylor expansion of (* z y) in a 1.569 * [taylor]: Taking taylor expansion of z in a 1.569 * [taylor]: Taking taylor expansion of y in a 1.570 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in a 1.570 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in a 1.570 * [taylor]: Taking taylor expansion of 2.0 in a 1.570 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.570 * [taylor]: Taking taylor expansion of b in a 1.570 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.570 * [taylor]: Taking taylor expansion of (* t a) in a 1.570 * [taylor]: Taking taylor expansion of t in a 1.570 * [taylor]: Taking taylor expansion of a in a 1.570 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in z 1.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) in z 1.570 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in z 1.570 * [taylor]: Taking taylor expansion of (* t b) in z 1.570 * [taylor]: Taking taylor expansion of t in z 1.570 * [taylor]: Taking taylor expansion of b in z 1.570 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a)))) in z 1.570 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.570 * [taylor]: Taking taylor expansion of 1.0 in z 1.570 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.570 * [taylor]: Taking taylor expansion of z in z 1.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))) in z 1.570 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in z 1.570 * [taylor]: Taking taylor expansion of (* y b) in z 1.570 * [taylor]: Taking taylor expansion of y in z 1.570 * [taylor]: Taking taylor expansion of b in z 1.570 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z 1.570 * [taylor]: Taking taylor expansion of 1.0 in z 1.570 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.570 * [taylor]: Taking taylor expansion of a in z 1.570 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in z 1.570 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.570 * [taylor]: Taking taylor expansion of (* z y) in z 1.570 * [taylor]: Taking taylor expansion of z in z 1.570 * [taylor]: Taking taylor expansion of y in z 1.570 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in z 1.570 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in z 1.570 * [taylor]: Taking taylor expansion of 2.0 in z 1.570 * [taylor]: Taking taylor expansion of (/ 1 b) in z 1.570 * [taylor]: Taking taylor expansion of b in z 1.570 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.571 * [taylor]: Taking taylor expansion of (* t a) in z 1.571 * [taylor]: Taking taylor expansion of t in z 1.571 * [taylor]: Taking taylor expansion of a in z 1.571 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in b 1.571 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) in b 1.571 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b 1.571 * [taylor]: Taking taylor expansion of (* t b) in b 1.571 * [taylor]: Taking taylor expansion of t in b 1.571 * [taylor]: Taking taylor expansion of b in b 1.571 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a)))) in b 1.571 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b 1.571 * [taylor]: Taking taylor expansion of 1.0 in b 1.571 * [taylor]: Taking taylor expansion of (/ 1 z) in b 1.571 * [taylor]: Taking taylor expansion of z in b 1.571 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))) in b 1.571 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 1.571 * [taylor]: Taking taylor expansion of (* y b) in b 1.571 * [taylor]: Taking taylor expansion of y in b 1.571 * [taylor]: Taking taylor expansion of b in b 1.571 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b 1.571 * [taylor]: Taking taylor expansion of 1.0 in b 1.571 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.571 * [taylor]: Taking taylor expansion of a in b 1.571 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in b 1.571 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b 1.571 * [taylor]: Taking taylor expansion of (* z y) in b 1.571 * [taylor]: Taking taylor expansion of z in b 1.571 * [taylor]: Taking taylor expansion of y in b 1.571 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in b 1.571 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 1.571 * [taylor]: Taking taylor expansion of 2.0 in b 1.571 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.571 * [taylor]: Taking taylor expansion of b in b 1.571 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b 1.571 * [taylor]: Taking taylor expansion of (* t a) in b 1.571 * [taylor]: Taking taylor expansion of t in b 1.571 * [taylor]: Taking taylor expansion of a in b 1.571 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in t 1.571 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) in t 1.572 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.572 * [taylor]: Taking taylor expansion of (* t b) in t 1.572 * [taylor]: Taking taylor expansion of t in t 1.572 * [taylor]: Taking taylor expansion of b in t 1.572 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a)))) in t 1.572 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t 1.572 * [taylor]: Taking taylor expansion of 1.0 in t 1.572 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.572 * [taylor]: Taking taylor expansion of z in t 1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))) in t 1.572 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t 1.572 * [taylor]: Taking taylor expansion of (* y b) in t 1.572 * [taylor]: Taking taylor expansion of y in t 1.572 * [taylor]: Taking taylor expansion of b in t 1.572 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 1.572 * [taylor]: Taking taylor expansion of 1.0 in t 1.572 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.572 * [taylor]: Taking taylor expansion of a in t 1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in t 1.572 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 1.572 * [taylor]: Taking taylor expansion of (* z y) in t 1.572 * [taylor]: Taking taylor expansion of z in t 1.572 * [taylor]: Taking taylor expansion of y in t 1.572 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in t 1.572 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.572 * [taylor]: Taking taylor expansion of 2.0 in t 1.572 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.572 * [taylor]: Taking taylor expansion of b in t 1.572 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.572 * [taylor]: Taking taylor expansion of (* t a) in t 1.572 * [taylor]: Taking taylor expansion of t in t 1.572 * [taylor]: Taking taylor expansion of a in t 1.572 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in y 1.572 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) in y 1.572 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in y 1.572 * [taylor]: Taking taylor expansion of (* t b) in y 1.572 * [taylor]: Taking taylor expansion of t in y 1.572 * [taylor]: Taking taylor expansion of b in y 1.572 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a)))) in y 1.572 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.572 * [taylor]: Taking taylor expansion of 1.0 in y 1.573 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.573 * [taylor]: Taking taylor expansion of z in y 1.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))) in y 1.573 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.573 * [taylor]: Taking taylor expansion of (* y b) in y 1.573 * [taylor]: Taking taylor expansion of y in y 1.573 * [taylor]: Taking taylor expansion of b in y 1.573 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 1.573 * [taylor]: Taking taylor expansion of 1.0 in y 1.573 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.573 * [taylor]: Taking taylor expansion of a in y 1.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in y 1.573 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.573 * [taylor]: Taking taylor expansion of (* z y) in y 1.573 * [taylor]: Taking taylor expansion of z in y 1.573 * [taylor]: Taking taylor expansion of y in y 1.573 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in y 1.573 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y 1.573 * [taylor]: Taking taylor expansion of 2.0 in y 1.573 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.573 * [taylor]: Taking taylor expansion of b in y 1.573 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.573 * [taylor]: Taking taylor expansion of (* t a) in y 1.573 * [taylor]: Taking taylor expansion of t in y 1.573 * [taylor]: Taking taylor expansion of a in y 1.573 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))))) in y 1.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))))) in y 1.573 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in y 1.573 * [taylor]: Taking taylor expansion of (* t b) in y 1.573 * [taylor]: Taking taylor expansion of t in y 1.573 * [taylor]: Taking taylor expansion of b in y 1.573 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* y b)) (* 1.0 (/ 1 a)))) in y 1.573 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.573 * [taylor]: Taking taylor expansion of 1.0 in y 1.573 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.573 * [taylor]: Taking taylor expansion of z in y 1.573 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 1.0 (/ 1 a))) in y 1.573 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.573 * [taylor]: Taking taylor expansion of (* y b) in y 1.573 * [taylor]: Taking taylor expansion of y in y 1.573 * [taylor]: Taking taylor expansion of b in y 1.574 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 1.574 * [taylor]: Taking taylor expansion of 1.0 in y 1.574 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.574 * [taylor]: Taking taylor expansion of a in y 1.574 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 2.0 (/ 1 b)) (/ 1 (* t a)))) in y 1.574 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.574 * [taylor]: Taking taylor expansion of (* z y) in y 1.574 * [taylor]: Taking taylor expansion of z in y 1.574 * [taylor]: Taking taylor expansion of y in y 1.574 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 b)) (/ 1 (* t a))) in y 1.574 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y 1.574 * [taylor]: Taking taylor expansion of 2.0 in y 1.574 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.574 * [taylor]: Taking taylor expansion of b in y 1.574 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.574 * [taylor]: Taking taylor expansion of (* t a) in y 1.574 * [taylor]: Taking taylor expansion of t in y 1.574 * [taylor]: Taking taylor expansion of a in y 1.574 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in t 1.574 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.574 * [taylor]: Taking taylor expansion of b in t 1.574 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.574 * [taylor]: Taking taylor expansion of z in t 1.575 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a)))) (+ (/ 1 (* t a)) (* 2.0 (/ 1 b)))) in t 1.575 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a)))) in t 1.575 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.575 * [taylor]: Taking taylor expansion of (* t b) in t 1.575 * [taylor]: Taking taylor expansion of t in t 1.575 * [taylor]: Taking taylor expansion of b in t 1.575 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in t 1.575 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t 1.575 * [taylor]: Taking taylor expansion of 1.0 in t 1.575 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.575 * [taylor]: Taking taylor expansion of z in t 1.575 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 1.575 * [taylor]: Taking taylor expansion of 1.0 in t 1.575 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.575 * [taylor]: Taking taylor expansion of a in t 1.576 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 2.0 (/ 1 b))) in t 1.576 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.576 * [taylor]: Taking taylor expansion of (* t a) in t 1.576 * [taylor]: Taking taylor expansion of t in t 1.576 * [taylor]: Taking taylor expansion of a in t 1.576 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.576 * [taylor]: Taking taylor expansion of 2.0 in t 1.576 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.576 * [taylor]: Taking taylor expansion of b in t 1.576 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 1.576 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.576 * [taylor]: Taking taylor expansion of b in b 1.576 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.576 * [taylor]: Taking taylor expansion of a in b 1.576 * [taylor]: Taking taylor expansion of 1 in z 1.576 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in b 1.576 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.576 * [taylor]: Taking taylor expansion of b in b 1.576 * [taylor]: Taking taylor expansion of (/ 1 z) in b 1.576 * [taylor]: Taking taylor expansion of z in b 1.576 * [taylor]: Taking taylor expansion of 1 in z 1.577 * [taylor]: Taking taylor expansion of 0 in t 1.577 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) (* 2.0 (/ 1 b))) in b 1.577 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in b 1.577 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b 1.577 * [taylor]: Taking taylor expansion of 1.0 in b 1.578 * [taylor]: Taking taylor expansion of (/ 1 z) in b 1.578 * [taylor]: Taking taylor expansion of z in b 1.578 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b 1.578 * [taylor]: Taking taylor expansion of 1.0 in b 1.578 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.578 * [taylor]: Taking taylor expansion of a in b 1.578 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 1.578 * [taylor]: Taking taylor expansion of 2.0 in b 1.578 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.578 * [taylor]: Taking taylor expansion of b in b 1.578 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.578 * [taylor]: Taking taylor expansion of 2.0 in z 1.578 * [taylor]: Taking taylor expansion of 0 in b 1.578 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in z 1.578 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.578 * [taylor]: Taking taylor expansion of a in z 1.578 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.578 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.578 * [taylor]: Taking taylor expansion of z in z 1.578 * [taylor]: Taking taylor expansion of (neg 1) in a 1.578 * [taylor]: Taking taylor expansion of 1 in a 1.578 * [taylor]: Taking taylor expansion of 1 in a 1.578 * [taylor]: Taking taylor expansion of 1 in a 1.579 * [taylor]: Taking taylor expansion of 0 in t 1.579 * [taylor]: Taking taylor expansion of 0 in b 1.580 * [taylor]: Taking taylor expansion of 0 in b 1.580 * [taylor]: Taking taylor expansion of 0 in b 1.580 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in z 1.580 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.580 * [taylor]: Taking taylor expansion of 1.0 in z 1.580 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.580 * [taylor]: Taking taylor expansion of z in z 1.580 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z 1.580 * [taylor]: Taking taylor expansion of 1.0 in z 1.580 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.580 * [taylor]: Taking taylor expansion of a in z 1.580 * [taylor]: Taking taylor expansion of 1.0 in a 1.580 * [taylor]: Taking taylor expansion of 0 in z 1.580 * [taylor]: Taking taylor expansion of 0 in z 1.580 * [taylor]: Taking taylor expansion of 0 in z 1.580 * [taylor]: Taking taylor expansion of (neg 2.0) in a 1.581 * [taylor]: Taking taylor expansion of 2.0 in a 1.581 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.581 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.581 * [taylor]: Taking taylor expansion of a in a 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.581 * [taylor]: Taking taylor expansion of 0 in a 1.581 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))))) in (y t b z a) around 0 1.582 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))))) in a 1.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in a 1.582 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in a 1.582 * [taylor]: Taking taylor expansion of (* t b) in a 1.582 * [taylor]: Taking taylor expansion of t in a 1.582 * [taylor]: Taking taylor expansion of b in a 1.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in a 1.582 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in a 1.582 * [taylor]: Taking taylor expansion of (* y b) in a 1.582 * [taylor]: Taking taylor expansion of y in a 1.582 * [taylor]: Taking taylor expansion of b in a 1.582 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in a 1.582 * [taylor]: Taking taylor expansion of 2.0 in a 1.582 * [taylor]: Taking taylor expansion of (/ 1 b) in a 1.582 * [taylor]: Taking taylor expansion of b in a 1.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))))) in a 1.582 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in a 1.582 * [taylor]: Taking taylor expansion of (* z y) in a 1.582 * [taylor]: Taking taylor expansion of z in a 1.582 * [taylor]: Taking taylor expansion of y in a 1.582 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in a 1.582 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in a 1.582 * [taylor]: Taking taylor expansion of 1.0 in a 1.582 * [taylor]: Taking taylor expansion of (/ 1 z) in a 1.582 * [taylor]: Taking taylor expansion of z in a 1.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in a 1.582 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in a 1.582 * [taylor]: Taking taylor expansion of (* t a) in a 1.582 * [taylor]: Taking taylor expansion of t in a 1.582 * [taylor]: Taking taylor expansion of a in a 1.582 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.582 * [taylor]: Taking taylor expansion of 1.0 in a 1.582 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.582 * [taylor]: Taking taylor expansion of a in a 1.582 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))))) in z 1.582 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in z 1.582 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in z 1.582 * [taylor]: Taking taylor expansion of (* t b) in z 1.582 * [taylor]: Taking taylor expansion of t in z 1.582 * [taylor]: Taking taylor expansion of b in z 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in z 1.583 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in z 1.583 * [taylor]: Taking taylor expansion of (* y b) in z 1.583 * [taylor]: Taking taylor expansion of y in z 1.583 * [taylor]: Taking taylor expansion of b in z 1.583 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in z 1.583 * [taylor]: Taking taylor expansion of 2.0 in z 1.583 * [taylor]: Taking taylor expansion of (/ 1 b) in z 1.583 * [taylor]: Taking taylor expansion of b in z 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))))) in z 1.583 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 1.583 * [taylor]: Taking taylor expansion of (* z y) in z 1.583 * [taylor]: Taking taylor expansion of z in z 1.583 * [taylor]: Taking taylor expansion of y in z 1.583 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in z 1.583 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.583 * [taylor]: Taking taylor expansion of 1.0 in z 1.583 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.583 * [taylor]: Taking taylor expansion of z in z 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in z 1.583 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in z 1.583 * [taylor]: Taking taylor expansion of (* t a) in z 1.583 * [taylor]: Taking taylor expansion of t in z 1.583 * [taylor]: Taking taylor expansion of a in z 1.583 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z 1.583 * [taylor]: Taking taylor expansion of 1.0 in z 1.583 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.583 * [taylor]: Taking taylor expansion of a in z 1.583 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))))) in b 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in b 1.583 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in b 1.583 * [taylor]: Taking taylor expansion of (* t b) in b 1.583 * [taylor]: Taking taylor expansion of t in b 1.583 * [taylor]: Taking taylor expansion of b in b 1.583 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in b 1.583 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in b 1.583 * [taylor]: Taking taylor expansion of (* y b) in b 1.583 * [taylor]: Taking taylor expansion of y in b 1.583 * [taylor]: Taking taylor expansion of b in b 1.584 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 1.584 * [taylor]: Taking taylor expansion of 2.0 in b 1.584 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.584 * [taylor]: Taking taylor expansion of b in b 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))))) in b 1.584 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in b 1.584 * [taylor]: Taking taylor expansion of (* z y) in b 1.584 * [taylor]: Taking taylor expansion of z in b 1.584 * [taylor]: Taking taylor expansion of y in b 1.584 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in b 1.584 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b 1.584 * [taylor]: Taking taylor expansion of 1.0 in b 1.584 * [taylor]: Taking taylor expansion of (/ 1 z) in b 1.584 * [taylor]: Taking taylor expansion of z in b 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in b 1.584 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in b 1.584 * [taylor]: Taking taylor expansion of (* t a) in b 1.584 * [taylor]: Taking taylor expansion of t in b 1.584 * [taylor]: Taking taylor expansion of a in b 1.584 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b 1.584 * [taylor]: Taking taylor expansion of 1.0 in b 1.584 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.584 * [taylor]: Taking taylor expansion of a in b 1.584 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))))) in t 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in t 1.584 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.584 * [taylor]: Taking taylor expansion of (* t b) in t 1.584 * [taylor]: Taking taylor expansion of t in t 1.584 * [taylor]: Taking taylor expansion of b in t 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in t 1.584 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in t 1.584 * [taylor]: Taking taylor expansion of (* y b) in t 1.584 * [taylor]: Taking taylor expansion of y in t 1.584 * [taylor]: Taking taylor expansion of b in t 1.584 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.584 * [taylor]: Taking taylor expansion of 2.0 in t 1.584 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.584 * [taylor]: Taking taylor expansion of b in t 1.584 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))))) in t 1.584 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t 1.585 * [taylor]: Taking taylor expansion of (* z y) in t 1.585 * [taylor]: Taking taylor expansion of z in t 1.585 * [taylor]: Taking taylor expansion of y in t 1.585 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in t 1.585 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t 1.585 * [taylor]: Taking taylor expansion of 1.0 in t 1.585 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.585 * [taylor]: Taking taylor expansion of z in t 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in t 1.585 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.585 * [taylor]: Taking taylor expansion of (* t a) in t 1.585 * [taylor]: Taking taylor expansion of t in t 1.585 * [taylor]: Taking taylor expansion of a in t 1.585 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 1.585 * [taylor]: Taking taylor expansion of 1.0 in t 1.585 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.585 * [taylor]: Taking taylor expansion of a in t 1.585 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))))) in y 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in y 1.585 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in y 1.585 * [taylor]: Taking taylor expansion of (* t b) in y 1.585 * [taylor]: Taking taylor expansion of t in y 1.585 * [taylor]: Taking taylor expansion of b in y 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in y 1.585 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.585 * [taylor]: Taking taylor expansion of (* y b) in y 1.585 * [taylor]: Taking taylor expansion of y in y 1.585 * [taylor]: Taking taylor expansion of b in y 1.585 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y 1.585 * [taylor]: Taking taylor expansion of 2.0 in y 1.585 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.585 * [taylor]: Taking taylor expansion of b in y 1.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))))) in y 1.585 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.585 * [taylor]: Taking taylor expansion of (* z y) in y 1.585 * [taylor]: Taking taylor expansion of z in y 1.585 * [taylor]: Taking taylor expansion of y in y 1.585 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in y 1.585 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.585 * [taylor]: Taking taylor expansion of 1.0 in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.586 * [taylor]: Taking taylor expansion of z in y 1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.586 * [taylor]: Taking taylor expansion of (* t a) in y 1.586 * [taylor]: Taking taylor expansion of t in y 1.586 * [taylor]: Taking taylor expansion of a in y 1.586 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 1.586 * [taylor]: Taking taylor expansion of 1.0 in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.586 * [taylor]: Taking taylor expansion of a in y 1.586 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))))) in y 1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (+ (/ 1 (* y b)) (* 2.0 (/ 1 b)))) in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in y 1.586 * [taylor]: Taking taylor expansion of (* t b) in y 1.586 * [taylor]: Taking taylor expansion of t in y 1.586 * [taylor]: Taking taylor expansion of b in y 1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (* y b)) (* 2.0 (/ 1 b))) in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 (* y b)) in y 1.586 * [taylor]: Taking taylor expansion of (* y b) in y 1.586 * [taylor]: Taking taylor expansion of y in y 1.586 * [taylor]: Taking taylor expansion of b in y 1.586 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in y 1.586 * [taylor]: Taking taylor expansion of 2.0 in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 b) in y 1.586 * [taylor]: Taking taylor expansion of b in y 1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))))) in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 1.586 * [taylor]: Taking taylor expansion of (* z y) in y 1.586 * [taylor]: Taking taylor expansion of z in y 1.586 * [taylor]: Taking taylor expansion of y in y 1.586 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (+ (/ 1 (* t a)) (* 1.0 (/ 1 a)))) in y 1.586 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in y 1.586 * [taylor]: Taking taylor expansion of 1.0 in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.586 * [taylor]: Taking taylor expansion of z in y 1.586 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (* 1.0 (/ 1 a))) in y 1.586 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in y 1.586 * [taylor]: Taking taylor expansion of (* t a) in y 1.586 * [taylor]: Taking taylor expansion of t in y 1.586 * [taylor]: Taking taylor expansion of a in y 1.587 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in y 1.587 * [taylor]: Taking taylor expansion of 1.0 in y 1.587 * [taylor]: Taking taylor expansion of (/ 1 a) in y 1.587 * [taylor]: Taking taylor expansion of a in y 1.587 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in t 1.587 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.587 * [taylor]: Taking taylor expansion of b in t 1.587 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.587 * [taylor]: Taking taylor expansion of z in t 1.588 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))))) in t 1.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 1.588 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.588 * [taylor]: Taking taylor expansion of (* t b) in t 1.588 * [taylor]: Taking taylor expansion of t in t 1.588 * [taylor]: Taking taylor expansion of b in t 1.588 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.588 * [taylor]: Taking taylor expansion of 2.0 in t 1.588 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.588 * [taylor]: Taking taylor expansion of b in t 1.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t a)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a)))) in t 1.588 * [taylor]: Taking taylor expansion of (/ 1 (* t a)) in t 1.588 * [taylor]: Taking taylor expansion of (* t a) in t 1.588 * [taylor]: Taking taylor expansion of t in t 1.588 * [taylor]: Taking taylor expansion of a in t 1.588 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in t 1.588 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in t 1.588 * [taylor]: Taking taylor expansion of 1.0 in t 1.588 * [taylor]: Taking taylor expansion of (/ 1 z) in t 1.588 * [taylor]: Taking taylor expansion of z in t 1.588 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in t 1.588 * [taylor]: Taking taylor expansion of 1.0 in t 1.588 * [taylor]: Taking taylor expansion of (/ 1 a) in t 1.588 * [taylor]: Taking taylor expansion of a in t 1.589 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 a)) in b 1.589 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.589 * [taylor]: Taking taylor expansion of b in b 1.589 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.589 * [taylor]: Taking taylor expansion of a in b 1.589 * [taylor]: Taking taylor expansion of 1 in z 1.589 * [taylor]: Taking taylor expansion of (- (/ 1 b) (/ 1 z)) in b 1.589 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.589 * [taylor]: Taking taylor expansion of b in b 1.589 * [taylor]: Taking taylor expansion of (/ 1 z) in b 1.589 * [taylor]: Taking taylor expansion of z in b 1.589 * [taylor]: Taking taylor expansion of 1 in z 1.589 * [taylor]: Taking taylor expansion of 0 in t 1.590 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 b)) (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a)))) in b 1.590 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 1.590 * [taylor]: Taking taylor expansion of 2.0 in b 1.590 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.590 * [taylor]: Taking taylor expansion of b in b 1.590 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in b 1.590 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in b 1.590 * [taylor]: Taking taylor expansion of 1.0 in b 1.590 * [taylor]: Taking taylor expansion of (/ 1 z) in b 1.590 * [taylor]: Taking taylor expansion of z in b 1.590 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in b 1.590 * [taylor]: Taking taylor expansion of 1.0 in b 1.590 * [taylor]: Taking taylor expansion of (/ 1 a) in b 1.590 * [taylor]: Taking taylor expansion of a in b 1.590 * [taylor]: Taking taylor expansion of 2.0 in z 1.590 * [taylor]: Taking taylor expansion of 0 in b 1.591 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in z 1.591 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.591 * [taylor]: Taking taylor expansion of a in z 1.591 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.591 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.591 * [taylor]: Taking taylor expansion of z in z 1.591 * [taylor]: Taking taylor expansion of (neg 1) in a 1.591 * [taylor]: Taking taylor expansion of 1 in a 1.591 * [taylor]: Taking taylor expansion of 1 in a 1.591 * [taylor]: Taking taylor expansion of 1 in a 1.592 * [taylor]: Taking taylor expansion of 0 in t 1.592 * [taylor]: Taking taylor expansion of 0 in b 1.592 * [taylor]: Taking taylor expansion of 0 in b 1.592 * [taylor]: Taking taylor expansion of 0 in b 1.593 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a)))) in z 1.593 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 z)) (* 1.0 (/ 1 a))) in z 1.593 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.593 * [taylor]: Taking taylor expansion of 1.0 in z 1.593 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.593 * [taylor]: Taking taylor expansion of z in z 1.593 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in z 1.593 * [taylor]: Taking taylor expansion of 1.0 in z 1.593 * [taylor]: Taking taylor expansion of (/ 1 a) in z 1.593 * [taylor]: Taking taylor expansion of a in z 1.593 * [taylor]: Taking taylor expansion of (neg 1.0) in a 1.593 * [taylor]: Taking taylor expansion of 1.0 in a 1.593 * [taylor]: Taking taylor expansion of 0 in z 1.593 * [taylor]: Taking taylor expansion of 0 in z 1.593 * [taylor]: Taking taylor expansion of 0 in z 1.593 * [taylor]: Taking taylor expansion of 2.0 in a 1.593 * [taylor]: Taking taylor expansion of (neg (/ 1 a)) in a 1.593 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.593 * [taylor]: Taking taylor expansion of a in a 1.593 * [taylor]: Taking taylor expansion of 0 in a 1.593 * [taylor]: Taking taylor expansion of 0 in a 1.593 * [taylor]: Taking taylor expansion of 0 in a 1.594 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 1.594 * [approximate]: Taking taylor expansion of (* (- t 1.0) a) in (t a) around 0 1.594 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in a 1.594 * [taylor]: Taking taylor expansion of (- t 1.0) in a 1.594 * [taylor]: Taking taylor expansion of t in a 1.594 * [taylor]: Taking taylor expansion of 1.0 in a 1.594 * [taylor]: Taking taylor expansion of a in a 1.594 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.594 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.594 * [taylor]: Taking taylor expansion of t in t 1.594 * [taylor]: Taking taylor expansion of 1.0 in t 1.594 * [taylor]: Taking taylor expansion of a in t 1.594 * [taylor]: Taking taylor expansion of (* (- t 1.0) a) in t 1.594 * [taylor]: Taking taylor expansion of (- t 1.0) in t 1.594 * [taylor]: Taking taylor expansion of t in t 1.594 * [taylor]: Taking taylor expansion of 1.0 in t 1.594 * [taylor]: Taking taylor expansion of a in t 1.595 * [taylor]: Taking taylor expansion of (* -1.0 a) in a 1.595 * [taylor]: Taking taylor expansion of -1.0 in a 1.595 * [taylor]: Taking taylor expansion of a in a 1.595 * [taylor]: Taking taylor expansion of a in a 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.595 * [taylor]: Taking taylor expansion of 0 in a 1.595 * [approximate]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in (t a) around 0 1.595 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in a 1.595 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in a 1.595 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.595 * [taylor]: Taking taylor expansion of t in a 1.595 * [taylor]: Taking taylor expansion of 1.0 in a 1.595 * [taylor]: Taking taylor expansion of a in a 1.595 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.596 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.596 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.596 * [taylor]: Taking taylor expansion of t in t 1.596 * [taylor]: Taking taylor expansion of 1.0 in t 1.596 * [taylor]: Taking taylor expansion of a in t 1.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) 1.0) a) in t 1.596 * [taylor]: Taking taylor expansion of (- (/ 1 t) 1.0) in t 1.596 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.596 * [taylor]: Taking taylor expansion of t in t 1.596 * [taylor]: Taking taylor expansion of 1.0 in t 1.596 * [taylor]: Taking taylor expansion of a in t 1.596 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.596 * [taylor]: Taking taylor expansion of a in a 1.596 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 a))) in a 1.596 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.596 * [taylor]: Taking taylor expansion of 1.0 in a 1.596 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.596 * [taylor]: Taking taylor expansion of a in a 1.596 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [taylor]: Taking taylor expansion of 0 in a 1.597 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in (t a) around 0 1.597 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in a 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in a 1.597 * [taylor]: Taking taylor expansion of (/ 1 t) in a 1.597 * [taylor]: Taking taylor expansion of t in a 1.597 * [taylor]: Taking taylor expansion of 1.0 in a 1.597 * [taylor]: Taking taylor expansion of a in a 1.597 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.597 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.597 * [taylor]: Taking taylor expansion of t in t 1.597 * [taylor]: Taking taylor expansion of 1.0 in t 1.597 * [taylor]: Taking taylor expansion of a in t 1.597 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 t) 1.0) a) in t 1.597 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 1.597 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.597 * [taylor]: Taking taylor expansion of t in t 1.597 * [taylor]: Taking taylor expansion of 1.0 in t 1.597 * [taylor]: Taking taylor expansion of a in t 1.597 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.597 * [taylor]: Taking taylor expansion of a in a 1.598 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 a)) in a 1.598 * [taylor]: Taking taylor expansion of 1.0 in a 1.598 * [taylor]: Taking taylor expansion of (/ 1 a) in a 1.598 * [taylor]: Taking taylor expansion of a in a 1.598 * [taylor]: Taking taylor expansion of 0 in a 1.598 * [taylor]: Taking taylor expansion of 0 in a 1.598 * * * [progress]: simplifying candidates 1.600 * [simplify]: Simplifying using # : (* (- y 1.0) z) (+ (log (- y 1.0)) (log z)) (log (* (- y 1.0) z)) (exp (* (- y 1.0) z)) (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* z z) z)) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (* (* (* (- y 1.0) z) (* (- y 1.0) z)) (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (* (- y 1.0) 1) (* (cbrt (- y 1.0)) z) (* (sqrt (- y 1.0)) z) (* (- y 1.0) z) (* (- (sqrt y) (sqrt 1.0)) z) (* (- y 1.0) z) (* (- (pow y 3) (pow 1.0 3)) z) (* (- (* y y) (* 1.0 1.0)) z) (* (+ y (- t 2.0)) b) (+ (log (+ y (- t 2.0))) (log b)) (log (* (+ y (- t 2.0)) b)) (exp (* (+ y (- t 2.0)) b)) (* (* (* (+ y (- t 2.0)) (+ y (- t 2.0))) (+ y (- t 2.0))) (* (* b b) b)) (* (cbrt (* (+ y (- t 2.0)) b)) (cbrt (* (+ y (- t 2.0)) b))) (cbrt (* (+ y (- t 2.0)) b)) (* (* (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b)) (* (+ y (- t 2.0)) b)) (sqrt (* (+ y (- t 2.0)) b)) (sqrt (* (+ y (- t 2.0)) b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) (* (cbrt b) (cbrt b))) (* (+ y (- t 2.0)) (sqrt b)) (* (+ y (- t 2.0)) 1) (* (cbrt (+ y (- t 2.0))) b) (* (sqrt (+ y (- t 2.0))) b) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* (+ (pow y 3) (pow (- t 2.0) 3)) b) (* (- (* y y) (* (- t 2.0) (- t 2.0))) b) (/ (exp (* (+ y (- t 2.0)) b)) (* (exp (* (- y 1.0) z)) (exp (* (- t 1.0) a)))) (/ (exp (* (+ y (- t 2.0)) b)) (exp (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (log (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (exp (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (* (cbrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (cbrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a))))) (cbrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (* (* (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a))) (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (sqrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (sqrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (- (* (* (+ (pow y 3) (pow (- t 2.0) 3)) b) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (+ (* (* (- (pow y 3) (pow 1.0 3)) z) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (* (- (pow t 3) (pow 1.0 3)) a))))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (- (* (* (+ (pow y 3) (pow (- t 2.0) 3)) b) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ t 1.0))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (+ (* (* (- (pow y 3) (pow 1.0 3)) z) (+ t 1.0)) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (* (- (* t t) (* 1.0 1.0)) a))))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ t 1.0))) (- (* (* (+ (pow y 3) (pow (- t 2.0) 3)) b) (* (+ y 1.0) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (+ (* (* (- (* y y) (* 1.0 1.0)) z) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ y 1.0) (* (- (pow t 3) (pow 1.0 3)) a))))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (* (+ y 1.0) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (- (* (* (+ (pow y 3) (pow (- t 2.0) 3)) b) (* (+ y 1.0) (+ t 1.0))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (+ (* (* (- (* y y) (* 1.0 1.0)) z) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a))))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (* (+ y 1.0) (+ t 1.0))) (- (* (* (+ (pow y 3) (pow (- t 2.0) 3)) b) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (- (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- y 1.0) z) (* (- t 1.0) a))))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (+ (pow (* (- y 1.0) z) 3) (pow (* (- t 1.0) a) 3)))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (- (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- y 1.0) z) (* (- t 1.0) a))))) (- (* (* (+ (pow y 3) (pow (- t 2.0) 3)) b) (- (* (- y 1.0) z) (* (- t 1.0) a))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (- (* (* (- y 1.0) z) (* (- y 1.0) z)) (* (* (- t 1.0) a) (* (- t 1.0) a))))) (* (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))) (- (* (- y 1.0) z) (* (- t 1.0) a))) (- (* (* (- (* y y) (* (- t 2.0) (- t 2.0))) b) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (* (- y (- t 2.0)) (+ (* (* (- (pow y 3) (pow 1.0 3)) z) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (* (- (pow t 3) (pow 1.0 3)) a))))) (* (- y (- t 2.0)) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (- (* (* (- (* y y) (* (- t 2.0) (- t 2.0))) b) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ t 1.0))) (* (- y (- t 2.0)) (+ (* (* (- (pow y 3) (pow 1.0 3)) z) (+ t 1.0)) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (* (- (* t t) (* 1.0 1.0)) a))))) (* (- y (- t 2.0)) (* (+ (* y y) (+ (* 1.0 1.0) (* y 1.0))) (+ t 1.0))) (- (* (* (- (* y y) (* (- t 2.0) (- t 2.0))) b) (* (+ y 1.0) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (* (- y (- t 2.0)) (+ (* (* (- (* y y) (* 1.0 1.0)) z) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0)))) (* (+ y 1.0) (* (- (pow t 3) (pow 1.0 3)) a))))) (* (- y (- t 2.0)) (* (+ y 1.0) (+ (* t t) (+ (* 1.0 1.0) (* t 1.0))))) (- (* (* (- (* y y) (* (- t 2.0) (- t 2.0))) b) (* (+ y 1.0) (+ t 1.0))) (* (- y (- t 2.0)) (+ (* (* (- (* y y) (* 1.0 1.0)) z) (+ t 1.0)) (* (+ y 1.0) (* (- (* t t) (* 1.0 1.0)) a))))) (* (- y (- t 2.0)) (* (+ y 1.0) (+ t 1.0))) (- (* (* (- (* y y) (* (- t 2.0) (- t 2.0))) b) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (- (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- y 1.0) z) (* (- t 1.0) a))))) (* (- y (- t 2.0)) (+ (pow (* (- y 1.0) z) 3) (pow (* (- t 1.0) a) 3)))) (* (- y (- t 2.0)) (+ (* (* (- y 1.0) z) (* (- y 1.0) z)) (- (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (* (- y 1.0) z) (* (- t 1.0) a))))) (- (* (* (- (* y y) (* (- t 2.0) (- t 2.0))) b) (- (* (- y 1.0) z) (* (- t 1.0) a))) (* (- y (- t 2.0)) (- (* (* (- y 1.0) z) (* (- y 1.0) z)) (* (* (- t 1.0) a) (* (- t 1.0) a))))) (* (- y (- t 2.0)) (- (* (- y 1.0) z) (* (- t 1.0) a))) (- (pow (* (+ y (- t 2.0)) b) 3) (pow (+ (* (- y 1.0) z) (* (- t 1.0) a)) 3)) (+ (* (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b)) (+ (* (+ (* (- y 1.0) z) (* (- t 1.0) a)) (+ (* (- y 1.0) z) (* (- t 1.0) a))) (* (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a))))) (neg (+ (* (- y 1.0) z) (* (- t 1.0) a))) (- (* (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b)) (* (+ (* (- y 1.0) z) (* (- t 1.0) a)) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (+ (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a))) (- (* (+ y (- t 2.0)) b) (* (- y 1.0) z)) (* (- t 1.0) a) (+ (log (- t 1.0)) (log a)) (log (* (- t 1.0) a)) (exp (* (- t 1.0) a)) (* (* (* (- t 1.0) (- t 1.0)) (- t 1.0)) (* (* a a) a)) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (* (* (* (- t 1.0) a) (* (- t 1.0) a)) (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (* (- t 1.0) 1) (* (cbrt (- t 1.0)) a) (* (sqrt (- t 1.0)) a) (* (- t 1.0) a) (* (- (sqrt t) (sqrt 1.0)) a) (* (- t 1.0) a) (* (- (pow t 3) (pow 1.0 3)) a) (* (- (* t t) (* 1.0 1.0)) a) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* 1.0 a) (* 1.0 z)) (* 2.0 b)) (- (* t b) (+ (* z y) (* a t))) (- (* t b) (+ (* z y) (* a t))) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) (- (* a t) (* 1.0 a)) 1.625 * * [simplify]: iteration 0 : 4985 enodes (cost 1992 ) 1.626 * * [simplify]: iteration 1 : 4985 enodes (cost 1992 ) 1.632 * [simplify]: Simplified to: (* (- y 1.0) z) (log (* (- y 1.0) z)) (log (* (- y 1.0) z)) (pow (exp (- y 1.0)) z) (pow (* (- y 1.0) z) 3) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (pow (* (- y 1.0) z) 3) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (- y 1.0) (* z (cbrt (- y 1.0))) (* z (sqrt (- y 1.0))) (* (- y 1.0) z) (* z (- (sqrt y) (sqrt 1.0))) (* (- y 1.0) z) (* z (- (pow y 3) (pow 1.0 3))) (* z (- (* y y) (* 1.0 1.0))) (* (+ y (- t 2.0)) b) (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (pow (exp (+ y (- t 2.0))) b) (pow (* (+ y (- t 2.0)) b) 3) (* (cbrt (* (+ y (- t 2.0)) b)) (cbrt (* (+ y (- t 2.0)) b))) (cbrt (* (+ y (- t 2.0)) b)) (pow (* (+ y (- t 2.0)) b) 3) (sqrt (* (+ y (- t 2.0)) b)) (sqrt (* (+ y (- t 2.0)) b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) (* (cbrt b) (cbrt b))) (* (+ y (- t 2.0)) (sqrt b)) (+ y (- t 2.0)) (* b (cbrt (+ y (- t 2.0)))) (* b (sqrt (+ y (- t 2.0)))) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* b (+ (pow y 3) (pow (- t 2.0) 3))) (* (+ y (- t 2.0)) (* (+ 2.0 (- y t)) b)) (exp (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (exp (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (log (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (exp (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (* (cbrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (cbrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a))))) (cbrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (pow (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a))) 3) (sqrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (sqrt (- (* (+ y (- t 2.0)) b) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (- (* b (* (+ (pow y 3) (pow (- t 2.0) 3)) (* (+ (* y y) (* 1.0 (+ y 1.0))) (+ (* 1.0 1.0) (* t (+ 1.0 t)))))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (+ (* z (* (- (pow y 3) (pow 1.0 3)) (+ (* 1.0 1.0) (* t (+ 1.0 t))))) (* a (* (+ (* y y) (* 1.0 (+ y 1.0))) (- (pow t 3) (pow 1.0 3))))))) (* (+ (* y y) (* 1.0 (+ y 1.0))) (* (+ (* 1.0 1.0) (* t (+ 1.0 t))) (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))))) (- (* b (* (+ (pow y 3) (pow (- t 2.0) 3)) (* (+ (* y y) (* 1.0 (+ y 1.0))) (+ 1.0 t)))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (+ (* z (* (- (pow y 3) (pow 1.0 3)) (+ 1.0 t))) (* a (* (+ (* y y) (* 1.0 (+ y 1.0))) (- (* t t) (* 1.0 1.0))))))) (* (+ (* y y) (* 1.0 (+ y 1.0))) (* (+ 1.0 t) (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))))) (- (* b (* (+ (pow y 3) (pow (- t 2.0) 3)) (* (+ (* 1.0 1.0) (* t (+ 1.0 t))) (+ y 1.0)))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (* (+ y 1.0) (+ (* (- y 1.0) (* z (+ (* 1.0 1.0) (* t (+ 1.0 t))))) (* a (- (pow t 3) (pow 1.0 3))))))) (* (+ (* 1.0 1.0) (* t (+ 1.0 t))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (+ y 1.0))) (- (* b (* (+ (pow y 3) (pow (- t 2.0) 3)) (* (+ 1.0 t) (+ y 1.0)))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (* (+ y 1.0) (+ (* (- y 1.0) (* z (+ 1.0 t))) (* a (- (* t t) (* 1.0 1.0))))))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (* (+ 1.0 t) (+ y 1.0))) (- (* b (* (+ (pow y 3) (pow (- t 2.0) 3)) (+ (* (- y 1.0) (* z (* (- y 1.0) z))) (* (- t 1.0) (* a (- (* (- t 1.0) a) (* (- y 1.0) z))))))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (+ (pow (* (- y 1.0) z) 3) (pow (* (- t 1.0) a) 3)))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (+ (* (- y 1.0) (* z (* (- y 1.0) z))) (* (- t 1.0) (* a (- (* (- t 1.0) a) (* (- y 1.0) z)))))) (* (- (* (- y 1.0) z) (* (- t 1.0) a)) (- (* b (+ (pow y 3) (pow (- t 2.0) 3))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (+ (* (- y 1.0) z) (* (- t 1.0) a))))) (* (+ (* y y) (* (- t 2.0) (- t (+ 2.0 y)))) (- (* (- y 1.0) z) (* (- t 1.0) a))) (- (* (+ (* 1.0 1.0) (* t (+ 1.0 t))) (- (* b (* (- (* y y) (* (- t 2.0) (- t 2.0))) (+ (* y y) (* 1.0 (+ y 1.0))))) (* (* z (- (pow y 3) (pow 1.0 3))) (+ 2.0 (- y t))))) (* (+ (* y y) (* 1.0 (+ y 1.0))) (* (* a (- (pow t 3) (pow 1.0 3))) (+ 2.0 (- y t))))) (* (+ (* y y) (* 1.0 (+ y 1.0))) (* (+ (* 1.0 1.0) (* t (+ 1.0 t))) (+ 2.0 (- y t)))) (- (* (+ y (- t 2.0)) (* (+ 2.0 (- y t)) (* b (* (+ (* y y) (* 1.0 (+ y 1.0))) (+ 1.0 t))))) (* (+ (* z (* (- (pow y 3) (pow 1.0 3)) (+ 1.0 t))) (* a (* (+ (* y y) (* 1.0 (+ y 1.0))) (- (* t t) (* 1.0 1.0))))) (+ 2.0 (- y t)))) (* (+ (* y y) (* 1.0 (+ y 1.0))) (* (+ 1.0 t) (+ 2.0 (- y t)))) (- (* (+ y (- t 2.0)) (* (+ 2.0 (- y t)) (* b (* (+ (* 1.0 1.0) (* t (+ 1.0 t))) (+ y 1.0))))) (* (* (+ y 1.0) (+ (* (- y 1.0) (* z (+ (* 1.0 1.0) (* t (+ 1.0 t))))) (* a (- (pow t 3) (pow 1.0 3))))) (+ 2.0 (- y t)))) (* (+ (* 1.0 1.0) (* t (+ 1.0 t))) (* (+ y 1.0) (+ 2.0 (- y t)))) (- (* (+ y (- t 2.0)) (* (+ 2.0 (- y t)) (* b (* (+ 1.0 t) (+ y 1.0))))) (* (* (+ y 1.0) (+ (* (- y 1.0) (* z (+ 1.0 t))) (* a (- (* t t) (* 1.0 1.0))))) (+ 2.0 (- y t)))) (* (+ 1.0 t) (* (+ y 1.0) (+ 2.0 (- y t)))) (- (* (+ y (- t 2.0)) (* (+ 2.0 (- y t)) (* b (+ (* (- y 1.0) (* z (* (- y 1.0) z))) (* (- t 1.0) (* a (- (* (- t 1.0) a) (* (- y 1.0) z)))))))) (* (+ (pow (* (- y 1.0) z) 3) (pow (* (- t 1.0) a) 3)) (+ 2.0 (- y t)))) (* (+ (* (- y 1.0) (* z (* (- y 1.0) z))) (* (- t 1.0) (* a (- (* (- t 1.0) a) (* (- y 1.0) z))))) (+ 2.0 (- y t))) (* (- (* (- y 1.0) z) (* (- t 1.0) a)) (- (* (+ y (- t 2.0)) (* (+ 2.0 (- y t)) b)) (* (+ 2.0 (- y t)) (+ (* (- y 1.0) z) (* (- t 1.0) a))))) (* (- (* (- y 1.0) z) (* (- t 1.0) a)) (+ 2.0 (- y t))) (- (pow (* (+ y (- t 2.0)) b) 3) (pow (+ (* (- y 1.0) z) (* (- t 1.0) a)) 3)) (+ (* (+ y (- t 2.0)) (* b (* (+ y (- t 2.0)) b))) (* (+ (* (- y 1.0) z) (* (- t 1.0) a)) (+ (* (- y 1.0) z) (+ (* (+ y (- t 2.0)) b) (* (- t 1.0) a))))) (neg (+ (* (- y 1.0) z) (* (- t 1.0) a))) (- (* (+ y (- t 2.0)) (* b (* (+ y (- t 2.0)) b))) (* (+ (* (- y 1.0) z) (* (- t 1.0) a)) (+ (* (- y 1.0) z) (* (- t 1.0) a)))) (+ (* (- y 1.0) z) (+ (* (+ y (- t 2.0)) b) (* (- t 1.0) a))) (- (* (+ y (- t 2.0)) b) (* (- y 1.0) z)) (* (- t 1.0) a) (log (* (- t 1.0) a)) (log (* (- t 1.0) a)) (pow (exp (- t 1.0)) a) (pow (* (- t 1.0) a) 3) (* (cbrt (* (- t 1.0) a)) (cbrt (* (- t 1.0) a))) (cbrt (* (- t 1.0) a)) (pow (* (- t 1.0) a) 3) (sqrt (* (- t 1.0) a)) (sqrt (* (- t 1.0) a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (sqrt (- t 1.0)) (sqrt a)) (* (- t 1.0) (* (cbrt a) (cbrt a))) (* (- t 1.0) (sqrt a)) (- t 1.0) (* a (cbrt (- t 1.0))) (* a (sqrt (- t 1.0))) (* (- t 1.0) a) (* a (- (sqrt t) (sqrt 1.0))) (* (- t 1.0) a) (* a (- (pow t 3) (pow 1.0 3))) (* a (- (* t t) (* 1.0 1.0))) (* (- y 1.0) z) (* (- y 1.0) z) (* (- y 1.0) z) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (- (* 1.0 (+ z a)) (* 2.0 b)) (- (* t (- b a)) (* y z)) (- (* t (- b a)) (* y z)) (* (- t 1.0) a) (* (- t 1.0) a) (* (- t 1.0) a) 1.632 * * * [progress]: adding candidates to table 1.786 * * [progress]: iteration 2 / 4 1.786 * * * [progress]: picking best candidate 1.791 * * * * [pick]: Picked # 1.791 * * * [progress]: localizing error 1.809 * * * [progress]: generating rewritten candidates 1.809 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 1.830 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 1.840 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.851 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 1.862 * * * [progress]: generating series expansions 1.862 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 1.863 * [approximate]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in (y t b) around 0 1.863 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.863 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 1.863 * [taylor]: Taking taylor expansion of (+ t y) in b 1.863 * [taylor]: Taking taylor expansion of t in b 1.863 * [taylor]: Taking taylor expansion of y in b 1.863 * [taylor]: Taking taylor expansion of 2.0 in b 1.863 * [taylor]: Taking taylor expansion of b in b 1.863 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 1.863 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 1.863 * [taylor]: Taking taylor expansion of (+ t y) in t 1.863 * [taylor]: Taking taylor expansion of t in t 1.863 * [taylor]: Taking taylor expansion of y in t 1.863 * [taylor]: Taking taylor expansion of 2.0 in t 1.863 * [taylor]: Taking taylor expansion of b in t 1.863 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.863 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.863 * [taylor]: Taking taylor expansion of (+ t y) in y 1.863 * [taylor]: Taking taylor expansion of t in y 1.863 * [taylor]: Taking taylor expansion of y in y 1.863 * [taylor]: Taking taylor expansion of 2.0 in y 1.863 * [taylor]: Taking taylor expansion of b in y 1.863 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.863 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.863 * [taylor]: Taking taylor expansion of (+ t y) in y 1.863 * [taylor]: Taking taylor expansion of t in y 1.863 * [taylor]: Taking taylor expansion of y in y 1.863 * [taylor]: Taking taylor expansion of 2.0 in y 1.863 * [taylor]: Taking taylor expansion of b in y 1.863 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t 1.863 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.863 * [taylor]: Taking taylor expansion of t in t 1.863 * [taylor]: Taking taylor expansion of 2.0 in t 1.863 * [taylor]: Taking taylor expansion of b in t 1.863 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 1.863 * [taylor]: Taking taylor expansion of -2.0 in b 1.863 * [taylor]: Taking taylor expansion of b in b 1.863 * [taylor]: Taking taylor expansion of b in t 1.863 * [taylor]: Taking taylor expansion of b in b 1.864 * [taylor]: Taking taylor expansion of b in b 1.864 * [taylor]: Taking taylor expansion of 0 in t 1.864 * [taylor]: Taking taylor expansion of 0 in b 1.864 * [taylor]: Taking taylor expansion of 0 in b 1.864 * [taylor]: Taking taylor expansion of 0 in b 1.864 * [approximate]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in (y t b) around 0 1.864 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 1.864 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 1.864 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 1.864 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.864 * [taylor]: Taking taylor expansion of y in b 1.864 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.864 * [taylor]: Taking taylor expansion of t in b 1.864 * [taylor]: Taking taylor expansion of 2.0 in b 1.864 * [taylor]: Taking taylor expansion of b in b 1.865 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 1.865 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 1.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 1.865 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.865 * [taylor]: Taking taylor expansion of y in t 1.865 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.865 * [taylor]: Taking taylor expansion of t in t 1.865 * [taylor]: Taking taylor expansion of 2.0 in t 1.865 * [taylor]: Taking taylor expansion of b in t 1.865 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.865 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.865 * [taylor]: Taking taylor expansion of y in y 1.865 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.865 * [taylor]: Taking taylor expansion of t in y 1.865 * [taylor]: Taking taylor expansion of 2.0 in y 1.865 * [taylor]: Taking taylor expansion of b in y 1.865 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.865 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.865 * [taylor]: Taking taylor expansion of y in y 1.865 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.865 * [taylor]: Taking taylor expansion of t in y 1.865 * [taylor]: Taking taylor expansion of 2.0 in y 1.865 * [taylor]: Taking taylor expansion of b in y 1.865 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.865 * [taylor]: Taking taylor expansion of b in t 1.866 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (* 2.0 (/ 1 b))) in t 1.866 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.866 * [taylor]: Taking taylor expansion of (* t b) in t 1.866 * [taylor]: Taking taylor expansion of t in t 1.866 * [taylor]: Taking taylor expansion of b in t 1.866 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.866 * [taylor]: Taking taylor expansion of 2.0 in t 1.866 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.866 * [taylor]: Taking taylor expansion of b in t 1.866 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.866 * [taylor]: Taking taylor expansion of b in b 1.866 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.866 * [taylor]: Taking taylor expansion of b in b 1.866 * [taylor]: Taking taylor expansion of 0 in t 1.866 * [taylor]: Taking taylor expansion of (neg (* 2.0 (/ 1 b))) in b 1.866 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in b 1.866 * [taylor]: Taking taylor expansion of 2.0 in b 1.866 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.866 * [taylor]: Taking taylor expansion of b in b 1.867 * [approximate]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) 2)) in (y t b) around 0 1.867 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) 2)) in b 1.867 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in b 1.867 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.867 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.867 * [taylor]: Taking taylor expansion of -1 in b 1.867 * [taylor]: Taking taylor expansion of b in b 1.867 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) 2) in b 1.867 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 1.867 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 1.867 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 1.867 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.868 * [taylor]: Taking taylor expansion of y in b 1.868 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 1.868 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.868 * [taylor]: Taking taylor expansion of t in b 1.868 * [taylor]: Taking taylor expansion of 2.0 in b 1.868 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) 2)) in t 1.868 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in t 1.868 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.868 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.868 * [taylor]: Taking taylor expansion of -1 in t 1.868 * [taylor]: Taking taylor expansion of b in t 1.868 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) 2) in t 1.868 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in t 1.868 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in t 1.868 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 1.868 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.868 * [taylor]: Taking taylor expansion of y in t 1.868 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 1.869 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.869 * [taylor]: Taking taylor expansion of t in t 1.869 * [taylor]: Taking taylor expansion of 2.0 in t 1.869 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) 2)) in y 1.869 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in y 1.869 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.869 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.869 * [taylor]: Taking taylor expansion of -1 in y 1.869 * [taylor]: Taking taylor expansion of b in y 1.869 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) 2) in y 1.869 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 1.869 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 1.869 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.869 * [taylor]: Taking taylor expansion of y in y 1.869 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.869 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.869 * [taylor]: Taking taylor expansion of t in y 1.869 * [taylor]: Taking taylor expansion of 2.0 in y 1.869 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) 2)) in y 1.869 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in y 1.869 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.869 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.869 * [taylor]: Taking taylor expansion of -1 in y 1.869 * [taylor]: Taking taylor expansion of b in y 1.869 * [taylor]: Taking taylor expansion of (pow (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) 2) in y 1.869 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 1.869 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 1.869 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.869 * [taylor]: Taking taylor expansion of y in y 1.869 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.870 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.870 * [taylor]: Taking taylor expansion of t in y 1.870 * [taylor]: Taking taylor expansion of 2.0 in y 1.870 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2)) in t 1.870 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in t 1.870 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.870 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.870 * [taylor]: Taking taylor expansion of -1 in t 1.870 * [taylor]: Taking taylor expansion of b in t 1.870 * [taylor]: Taking taylor expansion of (pow NAN 2) in t 1.870 * [taylor]: Taking taylor expansion of NAN in t 1.870 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2)) in b 1.870 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in b 1.870 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.870 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.870 * [taylor]: Taking taylor expansion of -1 in b 1.870 * [taylor]: Taking taylor expansion of b in b 1.871 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 1.871 * [taylor]: Taking taylor expansion of NAN in b 1.872 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2))) (+ (* 2 (/ (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2)) t)) (* 2 (* (pow (sqrt (/ -1 b)) 2) (pow NAN 4))))) in t 1.872 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2))) in t 1.872 * [taylor]: Taking taylor expansion of 4.0 in t 1.872 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2)) in t 1.872 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in t 1.872 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.872 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.872 * [taylor]: Taking taylor expansion of -1 in t 1.872 * [taylor]: Taking taylor expansion of b in t 1.872 * [taylor]: Taking taylor expansion of (pow NAN 2) in t 1.872 * [taylor]: Taking taylor expansion of NAN in t 1.872 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2)) t)) (* 2 (* (pow (sqrt (/ -1 b)) 2) (pow NAN 4)))) in t 1.872 * [taylor]: Taking taylor expansion of (* 2 (/ (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2)) t)) in t 1.872 * [taylor]: Taking taylor expansion of 2 in t 1.873 * [taylor]: Taking taylor expansion of (/ (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2)) t) in t 1.873 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2)) in t 1.873 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in t 1.873 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.873 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.873 * [taylor]: Taking taylor expansion of -1 in t 1.873 * [taylor]: Taking taylor expansion of b in t 1.873 * [taylor]: Taking taylor expansion of (pow NAN 2) in t 1.873 * [taylor]: Taking taylor expansion of NAN in t 1.873 * [taylor]: Taking taylor expansion of t in t 1.873 * [taylor]: Taking taylor expansion of (* 2 (* (pow (sqrt (/ -1 b)) 2) (pow NAN 4))) in t 1.873 * [taylor]: Taking taylor expansion of 2 in t 1.873 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow NAN 4)) in t 1.873 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in t 1.873 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.873 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.873 * [taylor]: Taking taylor expansion of -1 in t 1.873 * [taylor]: Taking taylor expansion of b in t 1.873 * [taylor]: Taking taylor expansion of (pow NAN 4) in t 1.873 * [taylor]: Taking taylor expansion of NAN in t 1.875 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2))) (* 2 (* (pow (sqrt (/ -1 b)) 2) (pow NAN 4)))) in b 1.875 * [taylor]: Taking taylor expansion of (* 4.0 (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2))) in b 1.875 * [taylor]: Taking taylor expansion of 4.0 in b 1.875 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow NAN 2)) in b 1.875 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in b 1.875 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.875 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.875 * [taylor]: Taking taylor expansion of -1 in b 1.875 * [taylor]: Taking taylor expansion of b in b 1.875 * [taylor]: Taking taylor expansion of (pow NAN 2) in b 1.875 * [taylor]: Taking taylor expansion of NAN in b 1.875 * [taylor]: Taking taylor expansion of (* 2 (* (pow (sqrt (/ -1 b)) 2) (pow NAN 4))) in b 1.875 * [taylor]: Taking taylor expansion of 2 in b 1.875 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 b)) 2) (pow NAN 4)) in b 1.875 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 b)) 2) in b 1.875 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.875 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.875 * [taylor]: Taking taylor expansion of -1 in b 1.875 * [taylor]: Taking taylor expansion of b in b 1.875 * [taylor]: Taking taylor expansion of (pow NAN 4) in b 1.875 * [taylor]: Taking taylor expansion of NAN in b 1.876 * [taylor]: Taking taylor expansion of 0 in b 1.877 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 1.877 * [approximate]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in (y t b) around 0 1.877 * [taylor]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in b 1.877 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.877 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 1.877 * [taylor]: Taking taylor expansion of (+ t y) in b 1.877 * [taylor]: Taking taylor expansion of t in b 1.877 * [taylor]: Taking taylor expansion of y in b 1.877 * [taylor]: Taking taylor expansion of 2.0 in b 1.877 * [taylor]: Taking taylor expansion of b in b 1.877 * [taylor]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in t 1.878 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 1.878 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 1.878 * [taylor]: Taking taylor expansion of (+ t y) in t 1.878 * [taylor]: Taking taylor expansion of t in t 1.878 * [taylor]: Taking taylor expansion of y in t 1.878 * [taylor]: Taking taylor expansion of 2.0 in t 1.878 * [taylor]: Taking taylor expansion of b in t 1.878 * [taylor]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in y 1.878 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.878 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.878 * [taylor]: Taking taylor expansion of (+ t y) in y 1.878 * [taylor]: Taking taylor expansion of t in y 1.878 * [taylor]: Taking taylor expansion of y in y 1.878 * [taylor]: Taking taylor expansion of 2.0 in y 1.878 * [taylor]: Taking taylor expansion of b in y 1.878 * [taylor]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in y 1.878 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.878 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.878 * [taylor]: Taking taylor expansion of (+ t y) in y 1.878 * [taylor]: Taking taylor expansion of t in y 1.878 * [taylor]: Taking taylor expansion of y in y 1.878 * [taylor]: Taking taylor expansion of 2.0 in y 1.878 * [taylor]: Taking taylor expansion of b in y 1.879 * [taylor]: Taking taylor expansion of (sqrt (* (- t 2.0) b)) in t 1.879 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t 1.879 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.879 * [taylor]: Taking taylor expansion of t in t 1.879 * [taylor]: Taking taylor expansion of 2.0 in t 1.879 * [taylor]: Taking taylor expansion of b in t 1.879 * [taylor]: Taking taylor expansion of (sqrt (* -2.0 b)) in b 1.879 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 1.879 * [taylor]: Taking taylor expansion of -2.0 in b 1.879 * [taylor]: Taking taylor expansion of b in b 1.879 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ b (- t 2.0)))) in t 1.879 * [taylor]: Taking taylor expansion of 1/2 in t 1.879 * [taylor]: Taking taylor expansion of (sqrt (/ b (- t 2.0))) in t 1.879 * [taylor]: Taking taylor expansion of (/ b (- t 2.0)) in t 1.879 * [taylor]: Taking taylor expansion of b in t 1.879 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.879 * [taylor]: Taking taylor expansion of t in t 1.879 * [taylor]: Taking taylor expansion of 2.0 in t 1.879 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (* -0.5 b))) in b 1.879 * [taylor]: Taking taylor expansion of 1/2 in b 1.879 * [taylor]: Taking taylor expansion of (sqrt (* -0.5 b)) in b 1.879 * [taylor]: Taking taylor expansion of (* -0.5 b) in b 1.879 * [taylor]: Taking taylor expansion of -0.5 in b 1.879 * [taylor]: Taking taylor expansion of b in b 1.879 * [taylor]: Taking taylor expansion of (* 1/2 (/ b (sqrt (* -2.0 b)))) in b 1.879 * [taylor]: Taking taylor expansion of 1/2 in b 1.879 * [taylor]: Taking taylor expansion of (/ b (sqrt (* -2.0 b))) in b 1.880 * [taylor]: Taking taylor expansion of b in b 1.880 * [taylor]: Taking taylor expansion of (sqrt (* -2.0 b)) in b 1.880 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 1.880 * [taylor]: Taking taylor expansion of -2.0 in b 1.880 * [taylor]: Taking taylor expansion of b in b 1.880 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ b (pow (- t 2.0) 3)))) in t 1.880 * [taylor]: Taking taylor expansion of -1/8 in t 1.880 * [taylor]: Taking taylor expansion of (sqrt (/ b (pow (- t 2.0) 3))) in t 1.880 * [taylor]: Taking taylor expansion of (/ b (pow (- t 2.0) 3)) in t 1.880 * [taylor]: Taking taylor expansion of b in t 1.880 * [taylor]: Taking taylor expansion of (pow (- t 2.0) 3) in t 1.880 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.880 * [taylor]: Taking taylor expansion of t in t 1.880 * [taylor]: Taking taylor expansion of 2.0 in t 1.880 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (* -0.125 b))) in b 1.881 * [taylor]: Taking taylor expansion of -1/8 in b 1.881 * [taylor]: Taking taylor expansion of (sqrt (* -0.125 b)) in b 1.881 * [taylor]: Taking taylor expansion of (* -0.125 b) in b 1.881 * [taylor]: Taking taylor expansion of -0.125 in b 1.881 * [taylor]: Taking taylor expansion of b in b 1.881 * [taylor]: Taking taylor expansion of (neg (* 0.0625 (/ b (sqrt (* -0.5 b))))) in b 1.881 * [taylor]: Taking taylor expansion of (* 0.0625 (/ b (sqrt (* -0.5 b)))) in b 1.881 * [taylor]: Taking taylor expansion of 0.0625 in b 1.881 * [taylor]: Taking taylor expansion of (/ b (sqrt (* -0.5 b))) in b 1.881 * [taylor]: Taking taylor expansion of b in b 1.881 * [taylor]: Taking taylor expansion of (sqrt (* -0.5 b)) in b 1.881 * [taylor]: Taking taylor expansion of (* -0.5 b) in b 1.881 * [taylor]: Taking taylor expansion of -0.5 in b 1.881 * [taylor]: Taking taylor expansion of b in b 1.881 * [approximate]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in (y t b) around 0 1.881 * [taylor]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in b 1.881 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 1.881 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 1.882 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 1.882 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.882 * [taylor]: Taking taylor expansion of y in b 1.882 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.882 * [taylor]: Taking taylor expansion of t in b 1.882 * [taylor]: Taking taylor expansion of 2.0 in b 1.882 * [taylor]: Taking taylor expansion of b in b 1.882 * [taylor]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in t 1.882 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 1.882 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 1.882 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 1.882 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.882 * [taylor]: Taking taylor expansion of y in t 1.882 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.882 * [taylor]: Taking taylor expansion of t in t 1.882 * [taylor]: Taking taylor expansion of 2.0 in t 1.882 * [taylor]: Taking taylor expansion of b in t 1.882 * [taylor]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in y 1.882 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.882 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.882 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.882 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.882 * [taylor]: Taking taylor expansion of y in y 1.882 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.882 * [taylor]: Taking taylor expansion of t in y 1.882 * [taylor]: Taking taylor expansion of 2.0 in y 1.882 * [taylor]: Taking taylor expansion of b in y 1.882 * [taylor]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in y 1.883 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.883 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.883 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.883 * [taylor]: Taking taylor expansion of y in y 1.883 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.883 * [taylor]: Taking taylor expansion of t in y 1.883 * [taylor]: Taking taylor expansion of 2.0 in y 1.883 * [taylor]: Taking taylor expansion of b in y 1.883 * [taylor]: Taking taylor expansion of 0 in t 1.883 * [taylor]: Taking taylor expansion of (/ NAN b) in t 1.883 * [taylor]: Taking taylor expansion of NAN in t 1.883 * [taylor]: Taking taylor expansion of b in t 1.883 * [taylor]: Taking taylor expansion of 0 in b 1.883 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 (* t b)) (+ (/ (pow NAN 2) (pow b 2)) (* 2.0 (/ 1 b))))) in t 1.883 * [taylor]: Taking taylor expansion of NAN in t 1.883 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (+ (/ (pow NAN 2) (pow b 2)) (* 2.0 (/ 1 b)))) in t 1.883 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.883 * [taylor]: Taking taylor expansion of (* t b) in t 1.883 * [taylor]: Taking taylor expansion of t in t 1.883 * [taylor]: Taking taylor expansion of b in t 1.884 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow b 2)) (* 2.0 (/ 1 b))) in t 1.884 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow b 2)) in t 1.884 * [taylor]: Taking taylor expansion of (pow NAN 2) in t 1.884 * [taylor]: Taking taylor expansion of NAN in t 1.884 * [taylor]: Taking taylor expansion of (pow b 2) in t 1.884 * [taylor]: Taking taylor expansion of b in t 1.884 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.884 * [taylor]: Taking taylor expansion of 2.0 in t 1.884 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.884 * [taylor]: Taking taylor expansion of b in t 1.884 * [taylor]: Taking taylor expansion of (/ NAN b) in b 1.884 * [taylor]: Taking taylor expansion of NAN in b 1.884 * [taylor]: Taking taylor expansion of b in b 1.884 * [taylor]: Taking taylor expansion of (/ NAN b) in b 1.884 * [taylor]: Taking taylor expansion of NAN in b 1.884 * [taylor]: Taking taylor expansion of b in b 1.884 * [taylor]: Taking taylor expansion of 0 in b 1.885 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 4.0 (/ (pow NAN 2) (pow b 2))) (* 2 (/ (pow NAN 4) (pow b 3)))) (* 2 (/ (pow NAN 2) (* t (pow b 2)))))) in t 1.885 * [taylor]: Taking taylor expansion of NAN in t 1.885 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ (pow NAN 2) (pow b 2))) (* 2 (/ (pow NAN 4) (pow b 3)))) (* 2 (/ (pow NAN 2) (* t (pow b 2))))) in t 1.885 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow NAN 2) (pow b 2))) (* 2 (/ (pow NAN 4) (pow b 3)))) in t 1.885 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow NAN 2) (pow b 2))) in t 1.885 * [taylor]: Taking taylor expansion of 4.0 in t 1.885 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow b 2)) in t 1.885 * [taylor]: Taking taylor expansion of (pow NAN 2) in t 1.885 * [taylor]: Taking taylor expansion of NAN in t 1.885 * [taylor]: Taking taylor expansion of (pow b 2) in t 1.885 * [taylor]: Taking taylor expansion of b in t 1.885 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow b 3))) in t 1.885 * [taylor]: Taking taylor expansion of 2 in t 1.885 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow b 3)) in t 1.885 * [taylor]: Taking taylor expansion of (pow NAN 4) in t 1.885 * [taylor]: Taking taylor expansion of NAN in t 1.885 * [taylor]: Taking taylor expansion of (pow b 3) in t 1.885 * [taylor]: Taking taylor expansion of b in t 1.886 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* t (pow b 2)))) in t 1.886 * [taylor]: Taking taylor expansion of 2 in t 1.886 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* t (pow b 2))) in t 1.886 * [taylor]: Taking taylor expansion of (pow NAN 2) in t 1.886 * [taylor]: Taking taylor expansion of NAN in t 1.886 * [taylor]: Taking taylor expansion of (* t (pow b 2)) in t 1.886 * [taylor]: Taking taylor expansion of t in t 1.886 * [taylor]: Taking taylor expansion of (pow b 2) in t 1.886 * [taylor]: Taking taylor expansion of b in t 1.887 * [taylor]: Taking taylor expansion of (* -2 (/ (pow NAN 3) (pow b 2))) in b 1.887 * [taylor]: Taking taylor expansion of -2 in b 1.887 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow b 2)) in b 1.887 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.887 * [taylor]: Taking taylor expansion of NAN in b 1.887 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.887 * [taylor]: Taking taylor expansion of b in b 1.888 * [taylor]: Taking taylor expansion of (neg (+ (/ (pow NAN 3) (pow b 2)) (* 2.0 (/ NAN b)))) in b 1.888 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 3) (pow b 2)) (* 2.0 (/ NAN b))) in b 1.888 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow b 2)) in b 1.888 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.888 * [taylor]: Taking taylor expansion of NAN in b 1.888 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.888 * [taylor]: Taking taylor expansion of b in b 1.888 * [taylor]: Taking taylor expansion of (* 2.0 (/ NAN b)) in b 1.888 * [taylor]: Taking taylor expansion of 2.0 in b 1.888 * [taylor]: Taking taylor expansion of (/ NAN b) in b 1.888 * [taylor]: Taking taylor expansion of NAN in b 1.888 * [taylor]: Taking taylor expansion of b in b 1.889 * [approximate]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in (y t b) around 0 1.889 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in b 1.889 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.889 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.889 * [taylor]: Taking taylor expansion of -1 in b 1.889 * [taylor]: Taking taylor expansion of b in b 1.889 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 1.889 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 1.889 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 1.889 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.889 * [taylor]: Taking taylor expansion of y in b 1.889 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 1.889 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.889 * [taylor]: Taking taylor expansion of t in b 1.889 * [taylor]: Taking taylor expansion of 2.0 in b 1.890 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in t 1.890 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.890 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.890 * [taylor]: Taking taylor expansion of -1 in t 1.890 * [taylor]: Taking taylor expansion of b in t 1.890 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in t 1.890 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in t 1.890 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 1.890 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.890 * [taylor]: Taking taylor expansion of y in t 1.890 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 1.890 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.890 * [taylor]: Taking taylor expansion of t in t 1.890 * [taylor]: Taking taylor expansion of 2.0 in t 1.890 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in y 1.890 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.890 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.890 * [taylor]: Taking taylor expansion of -1 in y 1.890 * [taylor]: Taking taylor expansion of b in y 1.891 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 1.891 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.891 * [taylor]: Taking taylor expansion of y in y 1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.891 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.891 * [taylor]: Taking taylor expansion of t in y 1.891 * [taylor]: Taking taylor expansion of 2.0 in y 1.891 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in y 1.891 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.891 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.891 * [taylor]: Taking taylor expansion of -1 in y 1.891 * [taylor]: Taking taylor expansion of b in y 1.891 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 1.891 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.891 * [taylor]: Taking taylor expansion of y in y 1.891 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.891 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.891 * [taylor]: Taking taylor expansion of t in y 1.891 * [taylor]: Taking taylor expansion of 2.0 in y 1.891 * [taylor]: Taking taylor expansion of 0 in t 1.891 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in t 1.891 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.891 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.892 * [taylor]: Taking taylor expansion of -1 in t 1.892 * [taylor]: Taking taylor expansion of b in t 1.892 * [taylor]: Taking taylor expansion of NAN in t 1.892 * [taylor]: Taking taylor expansion of 0 in b 1.892 * [taylor]: Taking taylor expansion of (+ (/ (* (sqrt (/ -1 b)) NAN) t) (+ (* (sqrt (/ -1 b)) (pow NAN 3)) (* 2.0 (* (sqrt (/ -1 b)) NAN)))) in t 1.892 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) NAN) t) in t 1.892 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in t 1.892 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.892 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.892 * [taylor]: Taking taylor expansion of -1 in t 1.892 * [taylor]: Taking taylor expansion of b in t 1.893 * [taylor]: Taking taylor expansion of NAN in t 1.893 * [taylor]: Taking taylor expansion of t in t 1.893 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 b)) (pow NAN 3)) (* 2.0 (* (sqrt (/ -1 b)) NAN))) in t 1.893 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.893 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.893 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.893 * [taylor]: Taking taylor expansion of -1 in t 1.893 * [taylor]: Taking taylor expansion of b in t 1.893 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.893 * [taylor]: Taking taylor expansion of NAN in t 1.893 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ -1 b)) NAN)) in t 1.893 * [taylor]: Taking taylor expansion of 2.0 in t 1.893 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in t 1.893 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.893 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.893 * [taylor]: Taking taylor expansion of -1 in t 1.893 * [taylor]: Taking taylor expansion of b in t 1.893 * [taylor]: Taking taylor expansion of NAN in t 1.893 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in b 1.893 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.893 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.893 * [taylor]: Taking taylor expansion of -1 in b 1.893 * [taylor]: Taking taylor expansion of b in b 1.893 * [taylor]: Taking taylor expansion of NAN in b 1.894 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in b 1.894 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.894 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.894 * [taylor]: Taking taylor expansion of -1 in b 1.894 * [taylor]: Taking taylor expansion of b in b 1.894 * [taylor]: Taking taylor expansion of NAN in b 1.894 * [taylor]: Taking taylor expansion of 0 in b 1.895 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) (+ (* 2 (* (sqrt (/ -1 b)) (pow NAN 5))) (* 2 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)))) in t 1.895 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) in t 1.895 * [taylor]: Taking taylor expansion of 4.0 in t 1.895 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.895 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.895 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.895 * [taylor]: Taking taylor expansion of -1 in t 1.895 * [taylor]: Taking taylor expansion of b in t 1.895 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.895 * [taylor]: Taking taylor expansion of NAN in t 1.895 * [taylor]: Taking taylor expansion of (+ (* 2 (* (sqrt (/ -1 b)) (pow NAN 5))) (* 2 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t))) in t 1.895 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt (/ -1 b)) (pow NAN 5))) in t 1.895 * [taylor]: Taking taylor expansion of 2 in t 1.895 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in t 1.895 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.895 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.895 * [taylor]: Taking taylor expansion of -1 in t 1.895 * [taylor]: Taking taylor expansion of b in t 1.895 * [taylor]: Taking taylor expansion of (pow NAN 5) in t 1.895 * [taylor]: Taking taylor expansion of NAN in t 1.895 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)) in t 1.895 * [taylor]: Taking taylor expansion of 2 in t 1.895 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t) in t 1.895 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.895 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.895 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.895 * [taylor]: Taking taylor expansion of -1 in t 1.895 * [taylor]: Taking taylor expansion of b in t 1.896 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.896 * [taylor]: Taking taylor expansion of NAN in t 1.896 * [taylor]: Taking taylor expansion of t in t 1.896 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt (/ -1 b)) (pow NAN 3))) in b 1.896 * [taylor]: Taking taylor expansion of 2 in b 1.896 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in b 1.896 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.896 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.896 * [taylor]: Taking taylor expansion of -1 in b 1.896 * [taylor]: Taking taylor expansion of b in b 1.896 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.896 * [taylor]: Taking taylor expansion of NAN in b 1.897 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 b)) (pow NAN 3)) (* 2.0 (* (sqrt (/ -1 b)) NAN))) in b 1.897 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in b 1.897 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.897 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.897 * [taylor]: Taking taylor expansion of -1 in b 1.897 * [taylor]: Taking taylor expansion of b in b 1.897 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.897 * [taylor]: Taking taylor expansion of NAN in b 1.897 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ -1 b)) NAN)) in b 1.897 * [taylor]: Taking taylor expansion of 2.0 in b 1.897 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in b 1.897 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.898 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.898 * [taylor]: Taking taylor expansion of -1 in b 1.898 * [taylor]: Taking taylor expansion of b in b 1.898 * [taylor]: Taking taylor expansion of NAN in b 1.898 * [taylor]: Taking taylor expansion of 0 in b 1.898 * [taylor]: Taking taylor expansion of 0 in b 1.900 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) (+ (* 5 (* (sqrt (/ -1 b)) (pow NAN 7))) (+ (/ (* (sqrt (/ -1 b)) (pow NAN 3)) (pow t 2)) (+ (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t))))))) in t 1.900 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) in t 1.900 * [taylor]: Taking taylor expansion of 4.0 in t 1.900 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.900 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.901 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.901 * [taylor]: Taking taylor expansion of -1 in t 1.901 * [taylor]: Taking taylor expansion of b in t 1.901 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.901 * [taylor]: Taking taylor expansion of NAN in t 1.901 * [taylor]: Taking taylor expansion of (+ (* 5 (* (sqrt (/ -1 b)) (pow NAN 7))) (+ (/ (* (sqrt (/ -1 b)) (pow NAN 3)) (pow t 2)) (+ (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)))))) in t 1.901 * [taylor]: Taking taylor expansion of (* 5 (* (sqrt (/ -1 b)) (pow NAN 7))) in t 1.901 * [taylor]: Taking taylor expansion of 5 in t 1.901 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 7)) in t 1.901 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.901 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.901 * [taylor]: Taking taylor expansion of -1 in t 1.901 * [taylor]: Taking taylor expansion of b in t 1.901 * [taylor]: Taking taylor expansion of (pow NAN 7) in t 1.901 * [taylor]: Taking taylor expansion of NAN in t 1.901 * [taylor]: Taking taylor expansion of (+ (/ (* (sqrt (/ -1 b)) (pow NAN 3)) (pow t 2)) (+ (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t))))) in t 1.901 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) (pow NAN 3)) (pow t 2)) in t 1.901 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.901 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.901 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.901 * [taylor]: Taking taylor expansion of -1 in t 1.901 * [taylor]: Taking taylor expansion of b in t 1.901 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.901 * [taylor]: Taking taylor expansion of NAN in t 1.901 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.901 * [taylor]: Taking taylor expansion of t in t 1.902 * [taylor]: Taking taylor expansion of (+ (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)))) in t 1.902 * [taylor]: Taking taylor expansion of (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) in t 1.902 * [taylor]: Taking taylor expansion of 12.0 in t 1.902 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in t 1.902 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.902 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.902 * [taylor]: Taking taylor expansion of -1 in t 1.902 * [taylor]: Taking taylor expansion of b in t 1.902 * [taylor]: Taking taylor expansion of (pow NAN 5) in t 1.902 * [taylor]: Taking taylor expansion of NAN in t 1.902 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t))) in t 1.902 * [taylor]: Taking taylor expansion of (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) in t 1.902 * [taylor]: Taking taylor expansion of 6 in t 1.902 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t) in t 1.902 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in t 1.902 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.902 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.902 * [taylor]: Taking taylor expansion of -1 in t 1.902 * [taylor]: Taking taylor expansion of b in t 1.902 * [taylor]: Taking taylor expansion of (pow NAN 5) in t 1.902 * [taylor]: Taking taylor expansion of NAN in t 1.902 * [taylor]: Taking taylor expansion of t in t 1.902 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)) in t 1.903 * [taylor]: Taking taylor expansion of 4.0 in t 1.903 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t) in t 1.903 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.903 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.903 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.903 * [taylor]: Taking taylor expansion of -1 in t 1.903 * [taylor]: Taking taylor expansion of b in t 1.903 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.903 * [taylor]: Taking taylor expansion of NAN in t 1.903 * [taylor]: Taking taylor expansion of t in t 1.905 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) (* 6 (* (sqrt (/ -1 b)) (pow NAN 5)))) in b 1.905 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) in b 1.905 * [taylor]: Taking taylor expansion of 4.0 in b 1.905 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in b 1.905 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.905 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.905 * [taylor]: Taking taylor expansion of -1 in b 1.905 * [taylor]: Taking taylor expansion of b in b 1.905 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.905 * [taylor]: Taking taylor expansion of NAN in b 1.905 * [taylor]: Taking taylor expansion of (* 6 (* (sqrt (/ -1 b)) (pow NAN 5))) in b 1.905 * [taylor]: Taking taylor expansion of 6 in b 1.905 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in b 1.905 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.905 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.905 * [taylor]: Taking taylor expansion of -1 in b 1.905 * [taylor]: Taking taylor expansion of b in b 1.905 * [taylor]: Taking taylor expansion of (pow NAN 5) in b 1.905 * [taylor]: Taking taylor expansion of NAN in b 1.910 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) (* 2 (* (sqrt (/ -1 b)) (pow NAN 5)))) in b 1.910 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) in b 1.910 * [taylor]: Taking taylor expansion of 4.0 in b 1.910 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in b 1.910 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.910 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.910 * [taylor]: Taking taylor expansion of -1 in b 1.910 * [taylor]: Taking taylor expansion of b in b 1.910 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.910 * [taylor]: Taking taylor expansion of NAN in b 1.910 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt (/ -1 b)) (pow NAN 5))) in b 1.910 * [taylor]: Taking taylor expansion of 2 in b 1.910 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in b 1.910 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.910 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.910 * [taylor]: Taking taylor expansion of -1 in b 1.910 * [taylor]: Taking taylor expansion of b in b 1.911 * [taylor]: Taking taylor expansion of (pow NAN 5) in b 1.911 * [taylor]: Taking taylor expansion of NAN in b 1.911 * [taylor]: Taking taylor expansion of 0 in b 1.912 * [taylor]: Taking taylor expansion of 0 in b 1.912 * [taylor]: Taking taylor expansion of 0 in b 1.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.913 * [approximate]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in (y t b) around 0 1.913 * [taylor]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in b 1.913 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in b 1.913 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in b 1.913 * [taylor]: Taking taylor expansion of (+ t y) in b 1.913 * [taylor]: Taking taylor expansion of t in b 1.913 * [taylor]: Taking taylor expansion of y in b 1.913 * [taylor]: Taking taylor expansion of 2.0 in b 1.913 * [taylor]: Taking taylor expansion of b in b 1.913 * [taylor]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in t 1.913 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in t 1.913 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in t 1.913 * [taylor]: Taking taylor expansion of (+ t y) in t 1.913 * [taylor]: Taking taylor expansion of t in t 1.913 * [taylor]: Taking taylor expansion of y in t 1.913 * [taylor]: Taking taylor expansion of 2.0 in t 1.913 * [taylor]: Taking taylor expansion of b in t 1.913 * [taylor]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in y 1.913 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.913 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.913 * [taylor]: Taking taylor expansion of (+ t y) in y 1.913 * [taylor]: Taking taylor expansion of t in y 1.913 * [taylor]: Taking taylor expansion of y in y 1.913 * [taylor]: Taking taylor expansion of 2.0 in y 1.913 * [taylor]: Taking taylor expansion of b in y 1.914 * [taylor]: Taking taylor expansion of (sqrt (* (- (+ t y) 2.0) b)) in y 1.914 * [taylor]: Taking taylor expansion of (* (- (+ t y) 2.0) b) in y 1.914 * [taylor]: Taking taylor expansion of (- (+ t y) 2.0) in y 1.914 * [taylor]: Taking taylor expansion of (+ t y) in y 1.914 * [taylor]: Taking taylor expansion of t in y 1.914 * [taylor]: Taking taylor expansion of y in y 1.914 * [taylor]: Taking taylor expansion of 2.0 in y 1.914 * [taylor]: Taking taylor expansion of b in y 1.914 * [taylor]: Taking taylor expansion of (sqrt (* (- t 2.0) b)) in t 1.914 * [taylor]: Taking taylor expansion of (* (- t 2.0) b) in t 1.914 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.914 * [taylor]: Taking taylor expansion of t in t 1.914 * [taylor]: Taking taylor expansion of 2.0 in t 1.914 * [taylor]: Taking taylor expansion of b in t 1.914 * [taylor]: Taking taylor expansion of (sqrt (* -2.0 b)) in b 1.914 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 1.914 * [taylor]: Taking taylor expansion of -2.0 in b 1.914 * [taylor]: Taking taylor expansion of b in b 1.914 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (/ b (- t 2.0)))) in t 1.914 * [taylor]: Taking taylor expansion of 1/2 in t 1.914 * [taylor]: Taking taylor expansion of (sqrt (/ b (- t 2.0))) in t 1.914 * [taylor]: Taking taylor expansion of (/ b (- t 2.0)) in t 1.914 * [taylor]: Taking taylor expansion of b in t 1.914 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.914 * [taylor]: Taking taylor expansion of t in t 1.914 * [taylor]: Taking taylor expansion of 2.0 in t 1.915 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt (* -0.5 b))) in b 1.915 * [taylor]: Taking taylor expansion of 1/2 in b 1.915 * [taylor]: Taking taylor expansion of (sqrt (* -0.5 b)) in b 1.915 * [taylor]: Taking taylor expansion of (* -0.5 b) in b 1.915 * [taylor]: Taking taylor expansion of -0.5 in b 1.915 * [taylor]: Taking taylor expansion of b in b 1.915 * [taylor]: Taking taylor expansion of (* 1/2 (/ b (sqrt (* -2.0 b)))) in b 1.915 * [taylor]: Taking taylor expansion of 1/2 in b 1.915 * [taylor]: Taking taylor expansion of (/ b (sqrt (* -2.0 b))) in b 1.915 * [taylor]: Taking taylor expansion of b in b 1.915 * [taylor]: Taking taylor expansion of (sqrt (* -2.0 b)) in b 1.915 * [taylor]: Taking taylor expansion of (* -2.0 b) in b 1.915 * [taylor]: Taking taylor expansion of -2.0 in b 1.915 * [taylor]: Taking taylor expansion of b in b 1.915 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (/ b (pow (- t 2.0) 3)))) in t 1.915 * [taylor]: Taking taylor expansion of -1/8 in t 1.915 * [taylor]: Taking taylor expansion of (sqrt (/ b (pow (- t 2.0) 3))) in t 1.915 * [taylor]: Taking taylor expansion of (/ b (pow (- t 2.0) 3)) in t 1.916 * [taylor]: Taking taylor expansion of b in t 1.916 * [taylor]: Taking taylor expansion of (pow (- t 2.0) 3) in t 1.916 * [taylor]: Taking taylor expansion of (- t 2.0) in t 1.916 * [taylor]: Taking taylor expansion of t in t 1.916 * [taylor]: Taking taylor expansion of 2.0 in t 1.916 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt (* -0.125 b))) in b 1.916 * [taylor]: Taking taylor expansion of -1/8 in b 1.916 * [taylor]: Taking taylor expansion of (sqrt (* -0.125 b)) in b 1.916 * [taylor]: Taking taylor expansion of (* -0.125 b) in b 1.916 * [taylor]: Taking taylor expansion of -0.125 in b 1.916 * [taylor]: Taking taylor expansion of b in b 1.916 * [taylor]: Taking taylor expansion of (neg (* 0.0625 (/ b (sqrt (* -0.5 b))))) in b 1.916 * [taylor]: Taking taylor expansion of (* 0.0625 (/ b (sqrt (* -0.5 b)))) in b 1.916 * [taylor]: Taking taylor expansion of 0.0625 in b 1.916 * [taylor]: Taking taylor expansion of (/ b (sqrt (* -0.5 b))) in b 1.916 * [taylor]: Taking taylor expansion of b in b 1.916 * [taylor]: Taking taylor expansion of (sqrt (* -0.5 b)) in b 1.916 * [taylor]: Taking taylor expansion of (* -0.5 b) in b 1.916 * [taylor]: Taking taylor expansion of -0.5 in b 1.916 * [taylor]: Taking taylor expansion of b in b 1.917 * [approximate]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in (y t b) around 0 1.917 * [taylor]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in b 1.917 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in b 1.917 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in b 1.917 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in b 1.917 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.917 * [taylor]: Taking taylor expansion of y in b 1.917 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.917 * [taylor]: Taking taylor expansion of t in b 1.917 * [taylor]: Taking taylor expansion of 2.0 in b 1.917 * [taylor]: Taking taylor expansion of b in b 1.917 * [taylor]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in t 1.917 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in t 1.917 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in t 1.917 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in t 1.917 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.917 * [taylor]: Taking taylor expansion of y in t 1.917 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.917 * [taylor]: Taking taylor expansion of t in t 1.917 * [taylor]: Taking taylor expansion of 2.0 in t 1.917 * [taylor]: Taking taylor expansion of b in t 1.918 * [taylor]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in y 1.918 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.918 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.918 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.918 * [taylor]: Taking taylor expansion of y in y 1.918 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.918 * [taylor]: Taking taylor expansion of t in y 1.918 * [taylor]: Taking taylor expansion of 2.0 in y 1.918 * [taylor]: Taking taylor expansion of b in y 1.918 * [taylor]: Taking taylor expansion of (sqrt (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b)) in y 1.918 * [taylor]: Taking taylor expansion of (/ (- (+ (/ 1 y) (/ 1 t)) 2.0) b) in y 1.918 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 t)) 2.0) in y 1.918 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 t)) in y 1.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.918 * [taylor]: Taking taylor expansion of y in y 1.918 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.918 * [taylor]: Taking taylor expansion of t in y 1.918 * [taylor]: Taking taylor expansion of 2.0 in y 1.918 * [taylor]: Taking taylor expansion of b in y 1.918 * [taylor]: Taking taylor expansion of 0 in t 1.918 * [taylor]: Taking taylor expansion of (/ NAN b) in t 1.918 * [taylor]: Taking taylor expansion of NAN in t 1.918 * [taylor]: Taking taylor expansion of b in t 1.918 * [taylor]: Taking taylor expansion of 0 in b 1.919 * [taylor]: Taking taylor expansion of (* NAN (- (/ 1 (* t b)) (+ (/ (pow NAN 2) (pow b 2)) (* 2.0 (/ 1 b))))) in t 1.919 * [taylor]: Taking taylor expansion of NAN in t 1.919 * [taylor]: Taking taylor expansion of (- (/ 1 (* t b)) (+ (/ (pow NAN 2) (pow b 2)) (* 2.0 (/ 1 b)))) in t 1.919 * [taylor]: Taking taylor expansion of (/ 1 (* t b)) in t 1.919 * [taylor]: Taking taylor expansion of (* t b) in t 1.919 * [taylor]: Taking taylor expansion of t in t 1.919 * [taylor]: Taking taylor expansion of b in t 1.919 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 2) (pow b 2)) (* 2.0 (/ 1 b))) in t 1.919 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow b 2)) in t 1.919 * [taylor]: Taking taylor expansion of (pow NAN 2) in t 1.919 * [taylor]: Taking taylor expansion of NAN in t 1.919 * [taylor]: Taking taylor expansion of (pow b 2) in t 1.919 * [taylor]: Taking taylor expansion of b in t 1.919 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 b)) in t 1.919 * [taylor]: Taking taylor expansion of 2.0 in t 1.919 * [taylor]: Taking taylor expansion of (/ 1 b) in t 1.919 * [taylor]: Taking taylor expansion of b in t 1.919 * [taylor]: Taking taylor expansion of (/ NAN b) in b 1.919 * [taylor]: Taking taylor expansion of NAN in b 1.919 * [taylor]: Taking taylor expansion of b in b 1.919 * [taylor]: Taking taylor expansion of (/ NAN b) in b 1.919 * [taylor]: Taking taylor expansion of NAN in b 1.919 * [taylor]: Taking taylor expansion of b in b 1.920 * [taylor]: Taking taylor expansion of 0 in b 1.920 * [taylor]: Taking taylor expansion of (* NAN (- (+ (* 4.0 (/ (pow NAN 2) (pow b 2))) (* 2 (/ (pow NAN 4) (pow b 3)))) (* 2 (/ (pow NAN 2) (* t (pow b 2)))))) in t 1.920 * [taylor]: Taking taylor expansion of NAN in t 1.920 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ (pow NAN 2) (pow b 2))) (* 2 (/ (pow NAN 4) (pow b 3)))) (* 2 (/ (pow NAN 2) (* t (pow b 2))))) in t 1.920 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow NAN 2) (pow b 2))) (* 2 (/ (pow NAN 4) (pow b 3)))) in t 1.920 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow NAN 2) (pow b 2))) in t 1.920 * [taylor]: Taking taylor expansion of 4.0 in t 1.920 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (pow b 2)) in t 1.920 * [taylor]: Taking taylor expansion of (pow NAN 2) in t 1.920 * [taylor]: Taking taylor expansion of NAN in t 1.921 * [taylor]: Taking taylor expansion of (pow b 2) in t 1.921 * [taylor]: Taking taylor expansion of b in t 1.921 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 4) (pow b 3))) in t 1.921 * [taylor]: Taking taylor expansion of 2 in t 1.921 * [taylor]: Taking taylor expansion of (/ (pow NAN 4) (pow b 3)) in t 1.921 * [taylor]: Taking taylor expansion of (pow NAN 4) in t 1.921 * [taylor]: Taking taylor expansion of NAN in t 1.921 * [taylor]: Taking taylor expansion of (pow b 3) in t 1.921 * [taylor]: Taking taylor expansion of b in t 1.921 * [taylor]: Taking taylor expansion of (* 2 (/ (pow NAN 2) (* t (pow b 2)))) in t 1.921 * [taylor]: Taking taylor expansion of 2 in t 1.921 * [taylor]: Taking taylor expansion of (/ (pow NAN 2) (* t (pow b 2))) in t 1.921 * [taylor]: Taking taylor expansion of (pow NAN 2) in t 1.921 * [taylor]: Taking taylor expansion of NAN in t 1.921 * [taylor]: Taking taylor expansion of (* t (pow b 2)) in t 1.921 * [taylor]: Taking taylor expansion of t in t 1.921 * [taylor]: Taking taylor expansion of (pow b 2) in t 1.921 * [taylor]: Taking taylor expansion of b in t 1.922 * [taylor]: Taking taylor expansion of (* -2 (/ (pow NAN 3) (pow b 2))) in b 1.922 * [taylor]: Taking taylor expansion of -2 in b 1.922 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow b 2)) in b 1.922 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.922 * [taylor]: Taking taylor expansion of NAN in b 1.922 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.922 * [taylor]: Taking taylor expansion of b in b 1.923 * [taylor]: Taking taylor expansion of (neg (+ (/ (pow NAN 3) (pow b 2)) (* 2.0 (/ NAN b)))) in b 1.923 * [taylor]: Taking taylor expansion of (+ (/ (pow NAN 3) (pow b 2)) (* 2.0 (/ NAN b))) in b 1.923 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) (pow b 2)) in b 1.923 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.923 * [taylor]: Taking taylor expansion of NAN in b 1.923 * [taylor]: Taking taylor expansion of (pow b 2) in b 1.924 * [taylor]: Taking taylor expansion of b in b 1.924 * [taylor]: Taking taylor expansion of (* 2.0 (/ NAN b)) in b 1.924 * [taylor]: Taking taylor expansion of 2.0 in b 1.924 * [taylor]: Taking taylor expansion of (/ NAN b) in b 1.924 * [taylor]: Taking taylor expansion of NAN in b 1.924 * [taylor]: Taking taylor expansion of b in b 1.924 * [approximate]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in (y t b) around 0 1.924 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in b 1.924 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.924 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.925 * [taylor]: Taking taylor expansion of -1 in b 1.925 * [taylor]: Taking taylor expansion of b in b 1.925 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in b 1.925 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in b 1.925 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in b 1.925 * [taylor]: Taking taylor expansion of (/ 1 y) in b 1.925 * [taylor]: Taking taylor expansion of y in b 1.925 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in b 1.925 * [taylor]: Taking taylor expansion of (/ 1 t) in b 1.925 * [taylor]: Taking taylor expansion of t in b 1.925 * [taylor]: Taking taylor expansion of 2.0 in b 1.925 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in t 1.925 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.925 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.925 * [taylor]: Taking taylor expansion of -1 in t 1.925 * [taylor]: Taking taylor expansion of b in t 1.925 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in t 1.925 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in t 1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in t 1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in t 1.926 * [taylor]: Taking taylor expansion of y in t 1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in t 1.926 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.926 * [taylor]: Taking taylor expansion of t in t 1.926 * [taylor]: Taking taylor expansion of 2.0 in t 1.926 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in y 1.926 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.926 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.926 * [taylor]: Taking taylor expansion of -1 in y 1.926 * [taylor]: Taking taylor expansion of b in y 1.926 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 1.926 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.926 * [taylor]: Taking taylor expansion of y in y 1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.926 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.926 * [taylor]: Taking taylor expansion of t in y 1.926 * [taylor]: Taking taylor expansion of 2.0 in y 1.926 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))))) in y 1.926 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in y 1.926 * [taylor]: Taking taylor expansion of (/ -1 b) in y 1.926 * [taylor]: Taking taylor expansion of -1 in y 1.926 * [taylor]: Taking taylor expansion of b in y 1.926 * [taylor]: Taking taylor expansion of (sqrt (neg (+ (/ 1 y) (+ (/ 1 t) 2.0)))) in y 1.926 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 y) (+ (/ 1 t) 2.0))) in y 1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 t) 2.0)) in y 1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.926 * [taylor]: Taking taylor expansion of y in y 1.927 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 2.0) in y 1.927 * [taylor]: Taking taylor expansion of (/ 1 t) in y 1.927 * [taylor]: Taking taylor expansion of t in y 1.927 * [taylor]: Taking taylor expansion of 2.0 in y 1.927 * [taylor]: Taking taylor expansion of 0 in t 1.927 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in t 1.927 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.927 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.927 * [taylor]: Taking taylor expansion of -1 in t 1.927 * [taylor]: Taking taylor expansion of b in t 1.927 * [taylor]: Taking taylor expansion of NAN in t 1.927 * [taylor]: Taking taylor expansion of 0 in b 1.928 * [taylor]: Taking taylor expansion of (+ (/ (* (sqrt (/ -1 b)) NAN) t) (+ (* (sqrt (/ -1 b)) (pow NAN 3)) (* 2.0 (* (sqrt (/ -1 b)) NAN)))) in t 1.928 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) NAN) t) in t 1.928 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in t 1.928 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.928 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.928 * [taylor]: Taking taylor expansion of -1 in t 1.928 * [taylor]: Taking taylor expansion of b in t 1.928 * [taylor]: Taking taylor expansion of NAN in t 1.928 * [taylor]: Taking taylor expansion of t in t 1.928 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 b)) (pow NAN 3)) (* 2.0 (* (sqrt (/ -1 b)) NAN))) in t 1.928 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.928 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.928 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.928 * [taylor]: Taking taylor expansion of -1 in t 1.928 * [taylor]: Taking taylor expansion of b in t 1.928 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.928 * [taylor]: Taking taylor expansion of NAN in t 1.928 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ -1 b)) NAN)) in t 1.928 * [taylor]: Taking taylor expansion of 2.0 in t 1.928 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in t 1.928 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.928 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.928 * [taylor]: Taking taylor expansion of -1 in t 1.928 * [taylor]: Taking taylor expansion of b in t 1.929 * [taylor]: Taking taylor expansion of NAN in t 1.929 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in b 1.929 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.929 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.929 * [taylor]: Taking taylor expansion of -1 in b 1.929 * [taylor]: Taking taylor expansion of b in b 1.929 * [taylor]: Taking taylor expansion of NAN in b 1.929 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in b 1.929 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.929 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.929 * [taylor]: Taking taylor expansion of -1 in b 1.929 * [taylor]: Taking taylor expansion of b in b 1.929 * [taylor]: Taking taylor expansion of NAN in b 1.929 * [taylor]: Taking taylor expansion of 0 in b 1.930 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) (+ (* 2 (* (sqrt (/ -1 b)) (pow NAN 5))) (* 2 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)))) in t 1.930 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) in t 1.930 * [taylor]: Taking taylor expansion of 4.0 in t 1.930 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.930 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.930 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.930 * [taylor]: Taking taylor expansion of -1 in t 1.930 * [taylor]: Taking taylor expansion of b in t 1.930 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.930 * [taylor]: Taking taylor expansion of NAN in t 1.930 * [taylor]: Taking taylor expansion of (+ (* 2 (* (sqrt (/ -1 b)) (pow NAN 5))) (* 2 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t))) in t 1.930 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt (/ -1 b)) (pow NAN 5))) in t 1.930 * [taylor]: Taking taylor expansion of 2 in t 1.930 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in t 1.930 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.930 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.930 * [taylor]: Taking taylor expansion of -1 in t 1.930 * [taylor]: Taking taylor expansion of b in t 1.931 * [taylor]: Taking taylor expansion of (pow NAN 5) in t 1.931 * [taylor]: Taking taylor expansion of NAN in t 1.931 * [taylor]: Taking taylor expansion of (* 2 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)) in t 1.931 * [taylor]: Taking taylor expansion of 2 in t 1.931 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t) in t 1.931 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.931 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.931 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.931 * [taylor]: Taking taylor expansion of -1 in t 1.931 * [taylor]: Taking taylor expansion of b in t 1.931 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.931 * [taylor]: Taking taylor expansion of NAN in t 1.931 * [taylor]: Taking taylor expansion of t in t 1.931 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt (/ -1 b)) (pow NAN 3))) in b 1.931 * [taylor]: Taking taylor expansion of 2 in b 1.931 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in b 1.931 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.932 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.932 * [taylor]: Taking taylor expansion of -1 in b 1.932 * [taylor]: Taking taylor expansion of b in b 1.932 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.932 * [taylor]: Taking taylor expansion of NAN in b 1.932 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ -1 b)) (pow NAN 3)) (* 2.0 (* (sqrt (/ -1 b)) NAN))) in b 1.932 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in b 1.932 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.932 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.932 * [taylor]: Taking taylor expansion of -1 in b 1.932 * [taylor]: Taking taylor expansion of b in b 1.933 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.933 * [taylor]: Taking taylor expansion of NAN in b 1.933 * [taylor]: Taking taylor expansion of (* 2.0 (* (sqrt (/ -1 b)) NAN)) in b 1.933 * [taylor]: Taking taylor expansion of 2.0 in b 1.933 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) NAN) in b 1.933 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.933 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.933 * [taylor]: Taking taylor expansion of -1 in b 1.933 * [taylor]: Taking taylor expansion of b in b 1.933 * [taylor]: Taking taylor expansion of NAN in b 1.933 * [taylor]: Taking taylor expansion of 0 in b 1.933 * [taylor]: Taking taylor expansion of 0 in b 1.935 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) (+ (* 5 (* (sqrt (/ -1 b)) (pow NAN 7))) (+ (/ (* (sqrt (/ -1 b)) (pow NAN 3)) (pow t 2)) (+ (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t))))))) in t 1.936 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) in t 1.936 * [taylor]: Taking taylor expansion of 4.0 in t 1.936 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.936 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.936 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.936 * [taylor]: Taking taylor expansion of -1 in t 1.936 * [taylor]: Taking taylor expansion of b in t 1.936 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.936 * [taylor]: Taking taylor expansion of NAN in t 1.936 * [taylor]: Taking taylor expansion of (+ (* 5 (* (sqrt (/ -1 b)) (pow NAN 7))) (+ (/ (* (sqrt (/ -1 b)) (pow NAN 3)) (pow t 2)) (+ (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)))))) in t 1.936 * [taylor]: Taking taylor expansion of (* 5 (* (sqrt (/ -1 b)) (pow NAN 7))) in t 1.936 * [taylor]: Taking taylor expansion of 5 in t 1.936 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 7)) in t 1.936 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.936 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.936 * [taylor]: Taking taylor expansion of -1 in t 1.936 * [taylor]: Taking taylor expansion of b in t 1.936 * [taylor]: Taking taylor expansion of (pow NAN 7) in t 1.936 * [taylor]: Taking taylor expansion of NAN in t 1.936 * [taylor]: Taking taylor expansion of (+ (/ (* (sqrt (/ -1 b)) (pow NAN 3)) (pow t 2)) (+ (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t))))) in t 1.936 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) (pow NAN 3)) (pow t 2)) in t 1.936 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.936 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.936 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.936 * [taylor]: Taking taylor expansion of -1 in t 1.936 * [taylor]: Taking taylor expansion of b in t 1.936 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.936 * [taylor]: Taking taylor expansion of NAN in t 1.936 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.936 * [taylor]: Taking taylor expansion of t in t 1.937 * [taylor]: Taking taylor expansion of (+ (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)))) in t 1.937 * [taylor]: Taking taylor expansion of (* 12.0 (* (sqrt (/ -1 b)) (pow NAN 5))) in t 1.937 * [taylor]: Taking taylor expansion of 12.0 in t 1.937 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in t 1.937 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.937 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.937 * [taylor]: Taking taylor expansion of -1 in t 1.937 * [taylor]: Taking taylor expansion of b in t 1.937 * [taylor]: Taking taylor expansion of (pow NAN 5) in t 1.937 * [taylor]: Taking taylor expansion of NAN in t 1.937 * [taylor]: Taking taylor expansion of (+ (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t))) in t 1.937 * [taylor]: Taking taylor expansion of (* 6 (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t)) in t 1.937 * [taylor]: Taking taylor expansion of 6 in t 1.937 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) (pow NAN 5)) t) in t 1.937 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in t 1.937 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.937 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.937 * [taylor]: Taking taylor expansion of -1 in t 1.937 * [taylor]: Taking taylor expansion of b in t 1.937 * [taylor]: Taking taylor expansion of (pow NAN 5) in t 1.937 * [taylor]: Taking taylor expansion of NAN in t 1.937 * [taylor]: Taking taylor expansion of t in t 1.938 * [taylor]: Taking taylor expansion of (* 4.0 (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t)) in t 1.938 * [taylor]: Taking taylor expansion of 4.0 in t 1.938 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 b)) (pow NAN 3)) t) in t 1.938 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in t 1.938 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in t 1.938 * [taylor]: Taking taylor expansion of (/ -1 b) in t 1.938 * [taylor]: Taking taylor expansion of -1 in t 1.938 * [taylor]: Taking taylor expansion of b in t 1.938 * [taylor]: Taking taylor expansion of (pow NAN 3) in t 1.938 * [taylor]: Taking taylor expansion of NAN in t 1.938 * [taylor]: Taking taylor expansion of t in t 1.940 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) (* 6 (* (sqrt (/ -1 b)) (pow NAN 5)))) in b 1.940 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) in b 1.940 * [taylor]: Taking taylor expansion of 4.0 in b 1.940 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in b 1.940 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.940 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.940 * [taylor]: Taking taylor expansion of -1 in b 1.940 * [taylor]: Taking taylor expansion of b in b 1.940 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.940 * [taylor]: Taking taylor expansion of NAN in b 1.940 * [taylor]: Taking taylor expansion of (* 6 (* (sqrt (/ -1 b)) (pow NAN 5))) in b 1.940 * [taylor]: Taking taylor expansion of 6 in b 1.940 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in b 1.940 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.940 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.940 * [taylor]: Taking taylor expansion of -1 in b 1.940 * [taylor]: Taking taylor expansion of b in b 1.940 * [taylor]: Taking taylor expansion of (pow NAN 5) in b 1.940 * [taylor]: Taking taylor expansion of NAN in b 1.942 * [taylor]: Taking taylor expansion of (+ (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) (* 2 (* (sqrt (/ -1 b)) (pow NAN 5)))) in b 1.942 * [taylor]: Taking taylor expansion of (* 4.0 (* (sqrt (/ -1 b)) (pow NAN 3))) in b 1.942 * [taylor]: Taking taylor expansion of 4.0 in b 1.942 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 3)) in b 1.942 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.942 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.942 * [taylor]: Taking taylor expansion of -1 in b 1.942 * [taylor]: Taking taylor expansion of b in b 1.942 * [taylor]: Taking taylor expansion of (pow NAN 3) in b 1.942 * [taylor]: Taking taylor expansion of NAN in b 1.942 * [taylor]: Taking taylor expansion of (* 2 (* (sqrt (/ -1 b)) (pow NAN 5))) in b 1.942 * [taylor]: Taking taylor expansion of 2 in b 1.942 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 b)) (pow NAN 5)) in b 1.942 * [taylor]: Taking taylor expansion of (sqrt (/ -1 b)) in b 1.942 * [taylor]: Taking taylor expansion of (/ -1 b) in b 1.942 * [taylor]: Taking taylor expansion of -1 in b 1.942 * [taylor]: Taking taylor expansion of b in b 1.942 * [taylor]: Taking taylor expansion of (pow NAN 5) in b 1.942 * [taylor]: Taking taylor expansion of NAN in b 1.943 * [taylor]: Taking taylor expansion of 0 in b 1.943 * [taylor]: Taking taylor expansion of 0 in b 1.943 * [taylor]: Taking taylor expansion of 0 in b 1.944 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 1.944 * [approximate]: Taking taylor expansion of (* z (- y 1.0)) in (y z) around 0 1.944 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in z 1.944 * [taylor]: Taking taylor expansion of z in z 1.944 * [taylor]: Taking taylor expansion of (- y 1.0) in z 1.944 * [taylor]: Taking taylor expansion of y in z 1.944 * [taylor]: Taking taylor expansion of 1.0 in z 1.944 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 1.944 * [taylor]: Taking taylor expansion of z in y 1.944 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.944 * [taylor]: Taking taylor expansion of y in y 1.944 * [taylor]: Taking taylor expansion of 1.0 in y 1.944 * [taylor]: Taking taylor expansion of (* z (- y 1.0)) in y 1.944 * [taylor]: Taking taylor expansion of z in y 1.944 * [taylor]: Taking taylor expansion of (- y 1.0) in y 1.944 * [taylor]: Taking taylor expansion of y in y 1.944 * [taylor]: Taking taylor expansion of 1.0 in y 1.944 * [taylor]: Taking taylor expansion of (* -1.0 z) in z 1.944 * [taylor]: Taking taylor expansion of -1.0 in z 1.944 * [taylor]: Taking taylor expansion of z in z 1.944 * [taylor]: Taking taylor expansion of z in z 1.945 * [taylor]: Taking taylor expansion of 0 in z 1.945 * [taylor]: Taking taylor expansion of 0 in z 1.945 * [taylor]: Taking taylor expansion of 0 in z 1.945 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in (y z) around 0 1.945 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in z 1.945 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in z 1.945 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.945 * [taylor]: Taking taylor expansion of y in z 1.945 * [taylor]: Taking taylor expansion of 1.0 in z 1.945 * [taylor]: Taking taylor expansion of z in z 1.945 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y 1.945 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.945 * [taylor]: Taking taylor expansion of y in y 1.945 * [taylor]: Taking taylor expansion of 1.0 in y 1.945 * [taylor]: Taking taylor expansion of z in y 1.945 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) 1.0) z) in y 1.945 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1.0) in y 1.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.945 * [taylor]: Taking taylor expansion of y in y 1.945 * [taylor]: Taking taylor expansion of 1.0 in y 1.945 * [taylor]: Taking taylor expansion of z in y 1.946 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.946 * [taylor]: Taking taylor expansion of z in z 1.946 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 z))) in z 1.946 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.946 * [taylor]: Taking taylor expansion of 1.0 in z 1.946 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.946 * [taylor]: Taking taylor expansion of z in z 1.946 * [taylor]: Taking taylor expansion of 0 in z 1.946 * [taylor]: Taking taylor expansion of 0 in z 1.947 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in (y z) around 0 1.947 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in z 1.947 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in z 1.947 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.947 * [taylor]: Taking taylor expansion of y in z 1.947 * [taylor]: Taking taylor expansion of 1.0 in z 1.947 * [taylor]: Taking taylor expansion of z in z 1.947 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 1.947 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.947 * [taylor]: Taking taylor expansion of y in y 1.947 * [taylor]: Taking taylor expansion of 1.0 in y 1.947 * [taylor]: Taking taylor expansion of z in y 1.947 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) z) in y 1.947 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 1.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.947 * [taylor]: Taking taylor expansion of y in y 1.947 * [taylor]: Taking taylor expansion of 1.0 in y 1.947 * [taylor]: Taking taylor expansion of z in y 1.947 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.948 * [taylor]: Taking taylor expansion of z in z 1.948 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 z)) in z 1.948 * [taylor]: Taking taylor expansion of 1.0 in z 1.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.948 * [taylor]: Taking taylor expansion of z in z 1.948 * [taylor]: Taking taylor expansion of 0 in z 1.948 * [taylor]: Taking taylor expansion of 0 in z 1.948 * * * [progress]: simplifying candidates 1.950 * [simplify]: Simplifying using # : (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ 1 1) (+ 1 1) (* (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b)) (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b)) (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (+ 1 1) (+ 1 1) (+ (+ (log (sqrt (+ y (- t 2.0)))) (log (sqrt b))) (+ (log (sqrt (+ y (- t 2.0)))) (log (sqrt b)))) (+ (+ (log (sqrt (+ y (- t 2.0)))) (log (sqrt b))) (log (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (+ (log (* (sqrt (+ y (- t 2.0))) (sqrt b))) (+ (log (sqrt (+ y (- t 2.0)))) (log (sqrt b)))) (+ (log (* (sqrt (+ y (- t 2.0))) (sqrt b))) (log (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (log (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (exp (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (* (* (* (* (sqrt (+ y (- t 2.0))) (sqrt (+ y (- t 2.0)))) (sqrt (+ y (- t 2.0)))) (* (* (sqrt b) (sqrt b)) (sqrt b))) (* (* (* (sqrt (+ y (- t 2.0))) (sqrt (+ y (- t 2.0)))) (sqrt (+ y (- t 2.0)))) (* (* (sqrt b) (sqrt b)) (sqrt b)))) (* (* (* (* (sqrt (+ y (- t 2.0))) (sqrt (+ y (- t 2.0)))) (sqrt (+ y (- t 2.0)))) (* (* (sqrt b) (sqrt b)) (sqrt b))) (* (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (* (* (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (* (sqrt (+ y (- t 2.0))) (sqrt (+ y (- t 2.0)))) (sqrt (+ y (- t 2.0)))) (* (* (sqrt b) (sqrt b)) (sqrt b)))) (* (* (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (* (cbrt (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (cbrt (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))))) (cbrt (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (* (* (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (* (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b)) (sqrt (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (sqrt (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (* (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (sqrt b)) (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (sqrt b))) (* (sqrt (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0))))) (sqrt (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))))) (* (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (sqrt b)) (* (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))) (sqrt b))) (* (sqrt (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0))))) (sqrt (- y (- t 2.0)))) (* (* (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))) (sqrt b)) (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (sqrt b))) (* (sqrt (- y (- t 2.0))) (sqrt (+ (* y y) (- (* (- t 2.0) (- t 2.0)) (* y (- t 2.0)))))) (* (* (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))) (sqrt b)) (* (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))) (sqrt b))) (* (sqrt (- y (- t 2.0))) (sqrt (- y (- t 2.0)))) (* (sqrt (+ y (- t 2.0))) (sqrt (+ y (- t 2.0)))) (* (sqrt b) (sqrt b)) (* 2 1/2) (* 2 1) (* 2 1) (* 2 (/ 1 2)) (* 2 1) (* 2 1) (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (sqrt (+ y (- t 2.0)))) (* (sqrt b) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (sqrt b))) (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))) (sqrt b))) (* (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (+ y (- t 2.0)) b) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) b) (+ (log (sqrt (+ y (- t 2.0)))) (log (sqrt b))) (log (* (sqrt (+ y (- t 2.0))) (sqrt b))) (exp (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (* (sqrt (+ y (- t 2.0))) (sqrt (+ y (- t 2.0)))) (sqrt (+ y (- t 2.0)))) (* (* (sqrt b) (sqrt b)) (sqrt b))) (* (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (+ y (- t 2.0)) b) (sqrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (sqrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (sqrt (+ y (- t 2.0))) (sqrt (* (cbrt b) (cbrt b)))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt 1)) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) 1) (* (cbrt (sqrt (+ y (- t 2.0)))) (sqrt b)) (* (sqrt (cbrt (+ y (- t 2.0)))) (sqrt b)) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (sqrt b)) (* (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))) (sqrt b)) (* (+ y (- t 2.0)) b) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) b) (+ (log (sqrt (+ y (- t 2.0)))) (log (sqrt b))) (log (* (sqrt (+ y (- t 2.0))) (sqrt b))) (exp (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (* (sqrt (+ y (- t 2.0))) (sqrt (+ y (- t 2.0)))) (sqrt (+ y (- t 2.0)))) (* (* (sqrt b) (sqrt b)) (sqrt b))) (* (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (* (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (+ y (- t 2.0)) b) (sqrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (sqrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (sqrt (+ y (- t 2.0))) (sqrt (* (cbrt b) (cbrt b)))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt 1)) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) 1) (* (cbrt (sqrt (+ y (- t 2.0)))) (sqrt b)) (* (sqrt (cbrt (+ y (- t 2.0)))) (sqrt b)) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (sqrt b)) (* (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))) (sqrt b)) (* (- y 1.0) z) (+ (log (- y 1.0)) (log z)) (log (* (- y 1.0) z)) (exp (* (- y 1.0) z)) (* (* (* (- y 1.0) (- y 1.0)) (- y 1.0)) (* (* z z) z)) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (* (* (* (- y 1.0) z) (* (- y 1.0) z)) (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (* (- y 1.0) 1) (* (cbrt (- y 1.0)) z) (* (sqrt (- y 1.0)) z) (* (- y 1.0) z) (* (- (sqrt y) (sqrt 1.0)) z) (* (- y 1.0) z) (* (- (pow y 3) (pow 1.0 3)) z) (* (- (* y y) (* 1.0 1.0)) z) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (+ (* y b) (* t b)) (* 2.0 b)) (- (pow NAN 4) (+ (* 2 (/ (pow NAN 6) y)) (+ (* 4.0 (/ (pow NAN 4) y)) (* 2 (/ (pow NAN 6) b))))) (- (+ (* 1/2 (/ t NAN)) (* NAN b)) (* 0.0625 (/ (* t y) NAN))) (- (+ (/ (* t (* NAN b)) y) (* NAN b)) (* 2.0 (/ (* NAN b) y))) (- (+ (/ (* t (pow NAN 2)) y) (pow NAN 2)) (* 2 (/ (* t (pow NAN 4)) (pow y 2)))) (- (+ (* 1/2 (/ t NAN)) (* NAN b)) (* 0.0625 (/ (* t y) NAN))) (- (+ (/ (* t (* NAN b)) y) (* NAN b)) (* 2.0 (/ (* NAN b) y))) (- (+ (/ (* t (pow NAN 2)) y) (pow NAN 2)) (* 2 (/ (* t (pow NAN 4)) (pow y 2)))) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) (- (* z y) (* 1.0 z)) 1.976 * * [simplify]: iteration 0 : 5228 enodes (cost 1506 ) 1.982 * [simplify]: Simplified to: 1 1 2 2 1 1 2 2 (pow (* (sqrt (+ y (- t 2.0))) (sqrt b)) 4) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (pow (* (sqrt (+ y (- t 2.0))) (sqrt b)) 4) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) 2 2 (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (log (* (+ y (- t 2.0)) b)) (pow (exp (+ y (- t 2.0))) b) (pow (* (+ y (- t 2.0)) b) 3) (pow (* (+ y (- t 2.0)) b) 3) (pow (* (+ y (- t 2.0)) b) 3) (pow (* (+ y (- t 2.0)) b) 3) (* (cbrt (* (+ y (- t 2.0)) b)) (cbrt (* (+ y (- t 2.0)) b))) (cbrt (* (+ y (- t 2.0)) b)) (pow (* (+ y (- t 2.0)) b) 3) (pow (* (sqrt (+ y (- t 2.0))) (sqrt b)) 4) (sqrt (* (+ y (- t 2.0)) b)) (sqrt (* (+ y (- t 2.0)) b)) (* b (+ (pow y 3) (pow (- t 2.0) 3))) (+ (* y y) (* (- t 2.0) (- t (+ y 2.0)))) (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (* b (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))))) (* (sqrt (+ (* y y) (* (- t 2.0) (- t (+ y 2.0))))) (sqrt (+ y (- 2.0 t)))) (* (sqrt (+ (pow y 3) (pow (- t 2.0) 3))) (* b (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))))) (* (sqrt (+ (* y y) (* (- t 2.0) (- t (+ y 2.0))))) (sqrt (+ y (- 2.0 t)))) (* b (- (* y y) (* (- t 2.0) (- t 2.0)))) (+ y (- 2.0 t)) (+ y (- t 2.0)) b 1 2 2 1 2 2 (* (+ y (- t 2.0)) (sqrt b)) (* b (sqrt (+ y (- t 2.0)))) (* (sqrt (+ y (- t 2.0))) (* b (sqrt (+ (pow y 3) (pow (- t 2.0) 3))))) (* (sqrt (+ y (- t 2.0))) (* b (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))))) (* (sqrt (+ y (- t 2.0))) (* b (sqrt (+ (pow y 3) (pow (- t 2.0) 3))))) (* (sqrt (+ y (- t 2.0))) (* b (sqrt (- (* y y) (* (- t 2.0) (- t 2.0)))))) (* (+ y (- t 2.0)) b) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) b) (log (* (sqrt (+ y (- t 2.0))) (sqrt b))) (log (* (sqrt (+ y (- t 2.0))) (sqrt b))) (pow (exp (sqrt (+ y (- t 2.0)))) (sqrt b)) (pow (* (sqrt (+ y (- t 2.0))) (sqrt b)) 3) (* (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (pow (* (sqrt (+ y (- t 2.0))) (sqrt b)) 3) (* (+ y (- t 2.0)) b) (sqrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (sqrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (sqrt (+ y (- t 2.0))) (fabs (cbrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (sqrt (+ y (- t 2.0))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (sqrt (+ y (- t 2.0))) (* (sqrt b) (cbrt (sqrt (+ y (- t 2.0))))) (* (sqrt b) (sqrt (cbrt (+ y (- t 2.0))))) (* (sqrt b) (sqrt (sqrt (+ y (- t 2.0))))) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt b) (sqrt (sqrt (+ y (- t 2.0))))) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt b) (sqrt (+ (pow y 3) (pow (- t 2.0) 3)))) (* (sqrt b) (sqrt (- (* y y) (* (- t 2.0) (- t 2.0))))) (* (+ y (- t 2.0)) b) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (+ y (- t 2.0)) b) (log (* (sqrt (+ y (- t 2.0))) (sqrt b))) (log (* (sqrt (+ y (- t 2.0))) (sqrt b))) (pow (exp (sqrt (+ y (- t 2.0)))) (sqrt b)) (pow (* (sqrt (+ y (- t 2.0))) (sqrt b)) 3) (* (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b)))) (cbrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (pow (* (sqrt (+ y (- t 2.0))) (sqrt b)) 3) (* (+ y (- t 2.0)) b) (sqrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (sqrt (* (sqrt (+ y (- t 2.0))) (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (sqrt (+ y (- t 2.0)))) (sqrt (sqrt b))) (* (sqrt (+ y (- t 2.0))) (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (sqrt (+ y (- t 2.0))) (fabs (cbrt b))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (sqrt (+ y (- t 2.0))) (* (sqrt (+ y (- t 2.0))) (sqrt (sqrt b))) (sqrt (+ y (- t 2.0))) (* (sqrt b) (cbrt (sqrt (+ y (- t 2.0))))) (* (sqrt b) (sqrt (cbrt (+ y (- t 2.0))))) (* (sqrt b) (sqrt (sqrt (+ y (- t 2.0))))) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt b) (sqrt (sqrt (+ y (- t 2.0))))) (* (sqrt (+ y (- t 2.0))) (sqrt b)) (* (sqrt b) (sqrt (+ (pow y 3) (pow (- t 2.0) 3)))) (* (sqrt b) (sqrt (- (* y y) (* (- t 2.0) (- t 2.0))))) (* (- y 1.0) z) (log (* (- y 1.0) z)) (log (* (- y 1.0) z)) (pow (exp (- y 1.0)) z) (pow (* (- y 1.0) z) 3) (* (cbrt (* (- y 1.0) z)) (cbrt (* (- y 1.0) z))) (cbrt (* (- y 1.0) z)) (pow (* (- y 1.0) z) 3) (sqrt (* (- y 1.0) z)) (sqrt (* (- y 1.0) z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (sqrt (- y 1.0)) (sqrt z)) (* (- y 1.0) (* (cbrt z) (cbrt z))) (* (- y 1.0) (sqrt z)) (- y 1.0) (* z (cbrt (- y 1.0))) (* z (sqrt (- y 1.0))) (* (- y 1.0) z) (* z (- (sqrt y) (sqrt 1.0))) (* (- y 1.0) z) (* z (- (pow y 3) (pow 1.0 3))) (* (- y 1.0) (* z (+ y 1.0))) (* (+ y (- t 2.0)) b) (* (+ y (- t 2.0)) b) (- (pow NAN 4) (+ (* 4.0 (/ (pow NAN 4) y)) (* (pow NAN 6) (+ (/ 2 y) (/ 2 b))))) (+ (* 1/2 (/ t NAN)) (- (* b NAN) (* 0.0625 (* y (/ t NAN))))) (+ (* b NAN) (* (* b (/ NAN y)) (- t 2.0))) (+ (* NAN NAN) (* (/ t y) (- (* NAN NAN) (/ 2 (/ y (pow NAN 4)))))) (+ (* 1/2 (/ t NAN)) (- (* b NAN) (* 0.0625 (* y (/ t NAN))))) (+ (* b NAN) (* (* b (/ NAN y)) (- t 2.0))) (+ (* NAN NAN) (* (/ t y) (- (* NAN NAN) (/ 2 (/ y (pow NAN 4)))))) (* (- y 1.0) z) (* (- y 1.0) z) (* (- y 1.0) z) 1.983 * * * [progress]: adding candidates to table 2.182 * [progress]: [Phase 3 of 3] Extracting. 2.182 * * [regime]: Finding splitpoints for: (# #) 2.184 * * * [regime-changes]: Trying 6 branch expressions: (b a t z y x) 2.184 * * * * [regimes]: Trying to branch on b from (# #) 2.247 * * * * [regimes]: Trying to branch on a from (# #) 2.311 * * * * [regimes]: Trying to branch on t from (# #) 2.374 * * * * [regimes]: Trying to branch on z from (# #) 2.437 * * * * [regimes]: Trying to branch on y from (# #) 2.500 * * * * [regimes]: Trying to branch on x from (# #) 2.564 * * * [regime]: Found split indices: #